Search

In this paper we study local Hamiltonian operators for multi-component evolutionary differential-difference equations. We address two main problems: the first one is the classification of low order operators for the two-component case. On the one hand, this extends the previously known results in the scalar case; on the other hand, our results include the degenerate cases, going beyond the foundational investigation conducted by Dubrovin. The second problem is the study and the computation of the Poisson cohomology for a two-component (-1,1)-order Hamiltonian operator with degenerate leading term appearing in many integrable differential-difference systems, notably the Toda lattice. The study of its Poisson cohomology sheds light on its deformation theory and the structure of the bi-Hamiltonian pairs where it is included in, as we demonstrate in a series of examples., Comment: v1: 36 pages. Comments are welcome

For systems of evolutionary partial differential equations the tau-structure is an important notion which originated from the deep relation between integrable systems and quantum field theories. We show that, under a certain non-degeneracy condition, existence of a tau-structure implies integrability. As an example, we apply this principle to provide a new proof of the integrability of the Drinfeld--Sokolov hierarchy associated to an arbitrary Kac--Moody algebra and a choice of a vertex of its Dynkin diagram., Comment: v2: minor editing and corrections. 25 pages

Orbit spaces of the reflection representation of finite irreducible Coxeter groups provide polynomial Frobenius manifolds. Flat coordinates of the Frobenius metric $\eta$ are Saito polynomials which are distinguished basic invariants of the Coxeter group. Algebraic Frobenius manifolds are typically related to quasi-Coxeter conjugacy classes in finite Coxeter groups. We find explicit relations between flat coordinates of the Frobenius metric $\eta$ and flat coordinates of the intersection form $g$ for most known examples of algebraic Frobenius manifolds up to dimension 4. In all the cases, flat coordinates of the metric $\eta$ appear to be algebraic functions on the orbit space of the Coxeter group., Comment: 53 pages

We discuss the theory of Poisson vertex algebras and their generalizations in relation to integrability of Hamiltonian PDE. In particular, we discuss the theory of affine classical W-algebras and apply it to construct a large class of integrable Hamiltonian PDE. We also discuss non commutative Hamiltonian PDE in the framework of double PVA, and differential-difference Hamiltonian equations in the framework of multiplicative PVA., Comment: This article is the preprint version of our contribution to the book titled "Encyclopedia of Mathematical Physics 2nd edition". v2: minor editing and corrections following the referee's suggestions

The theory of triples of Poisson brackets and related integrable systems, based on a classical R-matrix R in End_F(g), where g is a finite dimensional associative algebra over a field F viewed as a Lie algebra, was developed by Oevel-Ragnisco and Li-Parmentier [OR89,LP89]. In the present paper we develop an "affine" analogue of this theory by introducing the notion of a continuous Poisson vertex algebra and constructing triples of Poisson lambda-brackets. We introduce the corresponding Adler type identities and apply them to integrability of hierarchies of Hamiltonian PDEs., Comment: 47 pages

For each affine Kac-Moody algebra $X_n^{(r)}$ of rank $\ell$, $r=1,2$, or $3$, and for every choice of a vertex $c_m$, $m=0,\dots,\ell$, of the corresponding Dynkin diagram, by using the matrix-resolvent method we define a gauge-invariant tau-structure for the associated Drinfeld-Sokolov hierarchy and give explicit formulas for generating series of logarithmic derivatives of the tau-function in terms of matrix resolvents, extending the results of [Mosc. Math. J. 21 (2021), 233-270, arXiv:1610.07534] with $r=1$ and $m=0$. For the case $r=1$ and $m=0$, we verify that the above-defined tau-structure agrees with the axioms of Hamiltonian tau-symmetry in the sense of [Adv. Math. 293 (2016), 382-435, arXiv:1409.4616] and [arXiv:math.DG/0108160].

We develop the theory of double multiplicative Poisson vertex algebras. These structures, defined at the level of associative algebras, are shown to be such that they induce a classical structure of multiplicative Poisson vertex algebra on the corresponding representation spaces. Moreover, we prove that they are in one-to-one correspondence with local lattice double Poisson algebras, a new important class among Van den Bergh's double Poisson algebras. We derive several classification results, and we exhibit their relation to non-abelian integrable differential-difference equations. A rigorous definition of double multiplicative Poisson vertex algebras in the non-local and rational cases is also provided., Comment: v3: 46 pages, 1 figure. Minor corrections following the referee's suggestions

We define a Lax operator as a monic pseudodifferential operator $L(\partial)$ of order $N\geq 1$, such that the Lax equations $\dfrac{\partial L(\partial)}{\partial t_k}=[(L^{\frac kN}(\partial))_+,L(\partial)]$ are consistent and non-zero for infinitely many positive integers $k$. Consistency of an equation means that its flow is defined by an evolutionary vector field. In the present paper we demonstrate that the traditional theory of the KP and the $N$-th KdV hierarchies holds for arbitrary scalar Lax operators., Comment: 39 pages, v2: minor editing and corrections following the referee's suggestions

We implement an algorithm for the computation of Schouten bracket of weakly nonlocal Hamiltonian operators in three different computer algebra systems: Maple, Reduce and Mathematica. This class of Hamiltonian operators encompass almost all the examples coming from the theory of (1+1)-integrable evolutionary PDEs, Comment: 30 pages. Keywords: Poisson bracket, Hamiltonian operator, Schouten bracket, partial differential equations, integrable systems

We classify all integrable triples in simple Lie algebras, up to equivalence. The importance of this problem stems from the fact that for each such equivalence class one can construct the corresponding integrable hierarchy of bi-Hamiltonian PDE. The simplest integrable triple $(f,0,e)$ in $\mathfrak{sl}_2$ corresponds to the KdV hierarchy, and the triple $(f,0,e_\theta)$, where $f$ is the sum of negative simple root vectors and $e_\theta$ is the highest root vector of a simple Lie algebra, corresponds to the Drinfeld-Sokolov hierarchy.

We prove that all classical affine W-algebras W(g,f), where g is a simple Lie algebra and f is its non-zero nilpotent element, admit an integrable hierarchy of bi-Hamiltonian PDEs, except possibly for one nilpotent conjugacy class in G_2, one in F_4, and five in E_8., Comment: 18 pages

$W$-algebras are certain algebraic structures associated to a finite dimensional Lie algebra $\mathfrak g$ and a nilpotent element $f$ via Hamiltonian reduction. In this note we give a review of a recent approach to the study of (classical affine and quantum finite) $W$-algebras based on the notion of Lax type operators. For a finite dimensional representation of $\mathfrak g$ a Lax type operator for $W$-algebras is constructed using the theory of generalized quasideterminants. This operator carries several pieces of information about the structure and properties of the $W$-algebras and shows the deep connection of the theory of $W$-algebras with Yangians and integrable Hamiltonian hierarchies of Lax type equations., Comment: 15 pages. This is a (short) review and summary of the theory of Lax type operators for $W$-algebras for the proceedings of the XIth International Symposium Quantum Theory and Symmetry in Montreal

For each partition p of an integer N \geq 2, consisting of r parts, an integrable hierarchy of Lax type Hamiltonian PDE has been constructed recently by some of us. In the present paper we show that any tau-function of the p-reduced r-component KP hierarchy produces a solution of this integrable hierarchy. Along the way we provide an algorithm for the explicit construction of the generators of the corresponding classical W-algebra W(gl_N,p), and write down explicit formulas for evolution of these generators along the Hamiltonian flows., Comment: 49 pages, v2: minor editing and corrections following the referee suggestions

We develop the notions of multiplicative Lie conformal and Poisson vertex algebras, local and non-local, and their connections to the theory of integrable differential-difference Hamiltonian equations. We establish relations of these notions to $q$-deformed $W$-algebras and lattice Poisson algebras. We introduce the notion of Adler type pseudodifference operators and apply them to integrability of differential-difference Hamiltonian equations., Comment: 42 pages

We introduce the notion of a multiplicative Poisson $\lambda$-bracket, which plays the same role in the theory of Hamiltonian differential-difference equations as the usual Poisson $\lambda$-bracket plays in the theory of Hamiltonian PDE. We classify multiplicative Poisson $\lambda$-brackets in one difference variable up to order 5. Applying the Lenard-Magri scheme to a compatible pair of multiplicative Poisson $\lambda$-brackets of order 1 and 2, we establish integrability of some differential-difference equations, generalizing the Volterra chain., Comment: 37 pages

We prove a conjecture proposed in [DSKV16] describing the Lax type operator L(z) for the quantum finite W-algebras of gl_N in terms of a PBW generating system for the W-algebra. In doing so, we extend this result to an arbitrary good grading and an arbitrary isotropic subspace of g[1/2]., Comment: 60 pages

We construct invariant measures associated to the integrals of motion of the periodic derivative nonlinear Schr\"odinger equation (DNLS) for small data in $L^2$ and we show these measures to be absolutely continuous with respect to the Gaussian measure. The key ingredient of the proof is the analysis of the gauge group of transformations associated to DNLS. As an intermediate step for our main result, we prove quasi-invariance with respect to the gauge maps of Gaussian measures on $L^2$., Comment: a new result has been included, namely quasi-invariance of Gaussian measures w.r.t. the gauge group (theorem 1.4)

For a reductive Lie algebra g, its nilpotent element f and its faithful finite dimensional representation, we construct a Lax operator L(z) with coefficients in the quantum finite W-algebra W(g,f). We show that for the classical linear Lie algebras gl_N, sl_N, so_N and sp_N, the operator L(z) satisfies a generalized Yangian identity. The operator L(z) is a quantum finite analogue of the operator of generalized Adler type which we recently introduced in the classical affine setup. As in the latter case, L(z) is obtained as a generalized quasideterminant., Comment: 31 pages. Minor editing and corrections following the referee suggestions

We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of generalized Adler type operators and of generalized quasideterminants, which we develop in the paper. Moreover, we show that under certain conditions, the product of two generalized Adler type operators is a Lax type operator. We use this fact to construct a large number of integrable Hamiltonian systems, recovering, as a special case, all KdV type hierarchies constructed by Drinfeld and Sokolov., Comment: 57 pages. v3: minor corrections

We study the quantum finite W-algebras W(gl_N,f), associated to the Lie algebra gl_N, and its arbitrary nilpotent element f. We construct for such an algebra an r_1 x r_1 matrix L(z) of Yangian type, where r_1 is the number of maximal parts of the partition corresponding to f. The matrix L(z) is the quantum finite analogue of the operator of Adler type which we introduced in the classical affine setup. As in the latter case, the matrix L(z) is obtained as a generalized quasideterminant. It should encode the whole structure of W(gl_N,f), including explicit formulas for generators and the commutation relations among them. We describe in all detail the examples of principal, rectangular and minimal nilpotent elements., Comment: 37 pages

We give an introduction to the Mathematica packages "MasterPVA" and "MasterPVAmulti used to compute lambda-brackets in Poisson vertex algebras, which play an important role in the theory of infinite-dimensional Hamiltonian systems. As an application, we give an introduction to the Mathematica package "WAlg" aimed to compute the lambda-brackets among the generators of classical affine W-algebras. The use of these packages is shown by providing some explicit examples., Comment: 29 pages, 31 figures. Revised structure and better title, improved the W(G2,f) example

We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie algebra ${\mathfrak{g}}^{(1)}$, and constructing the relevant $\Psi$-system among subdominant solutions. We then use the $\Psi$-system to prove that the generalized spectral determinants satisfy the Bethe Ansatz equations of the quantum $\mathfrak{g}$-KdV model. We also consider generalized Airy functions for twisted Kac--Moody algebras and we construct new explicit solutions to the Bethe Ansatz equations. The paper is a continuation of our previous work on the ODE/IM correspondence for simply-laced Lie algebras., Comment: 37 pages, 1 figure. Continuation of arXiv:1501.07421. Minor change in the title. New subsection 5.1 on the action of the Weyl group on the Bethe Ansatz solutions

We apply the new method for constructing integrable Hamiltonian hierarchies of Lax type equations developed in our previous paper, to show that all W-algebras W(gl_N,f) carry such a hierarchy. As an application, we show that all vector constrained KP hierarchies and their matrix generalizations are obtained from these hierarchies by Dirac reduction, which provides the former with a bi-Poisson structure., Comment: 48 pages. Minor revisions and a correction to formulas (7.25) and (7.48)

We develop a new method for constructing integrable Hamiltonian hierarchies of Lax type equations, which combines the fractional powers technique of Gelfand and Dickey, and the classical Hamiltonian reduction technique of Drinfeld and Sokolov. The method is based on the notion of an Adler type matrix pseudodifferential operator and the notion of a generalized quasideterminant. We also introduce the notion of a dispersionless Adler type series, which is applied to the study of dispersionless Hamiltonian equations. Non-commutative Hamiltonian equations are discussed in this framework as well., Comment: 35 pages, final version

We study the one dimensional periodic derivative nonlinear Schr\"odinger (DNLS) equation. This is known to be a completely integrable system, in the sense that there is an infinite sequence of formal integrals of motion $\int h_k$, $k\in \mathbb{Z}_{+}$. In each $\int h_{2k}$ the term with the highest regularity involves the Sobolev norm $\dot H^{k}(\mathbb{T})$ of the solution of the DNLS equation. We show that a functional measure on $L^2(\mathbb{T})$, absolutely continuous w.r.t. the Gaussian measure with covariance $(\mathbb{I}+(-\Delta)^{k})^{-1}$, is associated to each integral of motion $\int h_{2k}$, $k\geq1$., Comment: 31 pages, final version: minor editing and corrections following the referee suggestions

We study the ODE/IM correspondence for ODE associated to $\hat{\mathfrak g}$-valued connections, for a simply-laced Lie algebra $\mathfrak g$. We prove that subdominant solutions to the ODE defined in different fundamental representations satisfy a set of quadratic equations called $\Psi$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations., Comment: 27 pages, final and published version. Minor change in the title

We develop the formalism of double Poisson vertex algebras (local and non-local) aimed at the study of non-commutative Hamiltionan PDEs. This is a generalization of the theory of double Poisson algebras, developed by Van den Bergh, which is used in the study of Hamiltonian ODEs. We apply our theory of double Poisson vertex algebras to non-commutative KP and Gelfand-Dickey hierarchies. We also construct the related non-commutative de Rham and variational complexes., Comment: 56 pages. Minor editing and corrections and references added following the referee suggestions

First, we derive an explicit formula for the Poisson bracket of the classical finite W-algebra W^{fin}(g,f), the algebra of polynomial functions on the Slodowy slice associated to a simple Lie algebra g and its nilpotent element f. On the other hand, we produce an explicit set of generators and we derive an explicit formula for the Poisson vertex algebra structure of the classical affine W-algebra W(g,f). As an immediate consequence, we obtain a Poisson algebra isomorphism between W^{fin}(g,f) and the Zhu algebra of W(g,f). We also study the generalized Miura map for classical W-algebras., Comment: 4 pages

First, we give a brief review of the theory of the Lenard-Magri scheme for a non-local bi-Poisson structure and of the theory of Dirac reduction. These theories are used in the remainder of the paper to prove integrability of three hierarchies of bi-Hamiltonian PDE's, obtained by Dirac reduction from some generalized Drinfeld-Sokolov hierarchies., Comment: 15 pages. Corrected some typos and added missing equations in Section 5 for g=sl_n, n>2

We put the Adler-Gelfand-Dickey approach to classical W-algebras in the framework of Poisson vertex algebras. We show how to recover the bi-Poisson structure of the KP hierarchy, together with its generalizations and reduction to the N-th KdV hierarchy, using the formal distribution calculus and the lambda-bracket formalism. We apply the Lenard-Magri scheme to prove integrability of the corresponding hierarchies. We also give a simple proof of a theorem of Kupershmidt and Wilson in this framework. Based on this approach, we generalize all these results to the matrix case. In particular, we find (non-local) bi-Poisson structures of the matrix KP and the matrix N-th KdV hierarchies, and we prove integrability of the N-th matrix KdV hierarchy., Comment: 47 pages. In version 2 we fixed the proof of Corollary 4.15 (which is now Theorem 4.14), and we added some references

We construct an analogue of Dirac's reduction for an arbitrary local or non-local Poisson bracket in the general setup of non-local Poisson vertex algebras. This leads to Dirac's reduction of an arbitrary non-local Poisson structure. We apply this construction to an example of a generalized Drinfeld-Sokolov hierarchy., Comment: 31 pages. Corrected some typos and added missing equations in Section 8

We derive explicit formulas for lambda-brackets of the affine classical W-algebras attached to the minimal and short nilpotent elements of any simple Lie algebra g. This is used to compute explicitly the first non-trivial PDE of the corresponding intgerable generalized Drinfeld-Sokolov hierarchies. It turns out that a reduction of the equation corresponding to a short nilpotent is Svinolupov's equation attached to a simple Jordan algebra, while a reduction of the equation corresponding to a minimal nilpotent is an integrable Hamiltonian equation on 2h-3 functions, where h is the dual Coxeter number of g. In the case when g is sl_2 both these equations coincide with the KdV equation. In the case when g is not of type C_n, we associate to the minimal nilpotent element of g yet another generalized Drinfeld-Sokolov hierarchy., Comment: 46 pages. Corrected an error in Section 6.2 which has led to additional equations in the case of g=sl_n and its minimal nilpotent element f

We provide a description of the Drinfeld-Sokolov Hamiltonian reduction for the construction of classical W-algebras within the framework of Poisson vertex algebras. In this context, the gauge group action on the phase space is translated in terms of (the exponential of) a Lie conformal algebra action on the space of functions. Following the ideas of Drinfeld and Sokolov, we then establish under certain sufficient conditions the applicability of the Lenard-Magri scheme of integrability and the existence of the corresponding integrable hierarchy of bi-Hamiltonian equations., Comment: 43 pages. Last version with minor editing and corrections