Showing 1–33 of 33 results for author: Valeri, D

Remarks on intersection numbers and integrable hierarchies. II. Tau-structure

Authors: Daniele Valeri, Di Yang

Abstract: 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 Drinfel… ▽ More 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. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 25 pages

Flat coordinates of algebraic Frobenius manifolds in small dimensions

Authors: Misha Feigin, Daniele Valeri, Johan Wright

Abstract: Orbit spaces of the reflection representation of finite irreducible Coxeter groups provide polynomial Frobenius manifolds. Flat coordinates of the Frobenius metric $η$ 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 betwe… ▽ More Orbit spaces of the reflection representation of finite irreducible Coxeter groups provide polynomial Frobenius manifolds. Flat coordinates of the Frobenius metric $η$ 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 $η$ 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 $η$ appear to be algebraic functions on the orbit space of the Coxeter group. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Comments: 53 pages

Poisson vertex algebras and Hamiltonian PDE

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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… ▽ More 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. △ Less

Submitted 11 July, 2023; v1 submitted 16 June, 2023; originally announced June 2023.

Comments: 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

Adler-Oevel-Ragnisco type operators and Poisson vertex algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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… ▽ More 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. △ Less

Submitted 30 July, 2022; originally announced August 2022.

Comments: 47 pages

MSC Class: 17B69; 37K10; 37K30

Affine Kac-Moody Algebras and Tau-Functions for the Drinfeld-Sokolov Hierarchies: the Matrix-Resolvent Method

Authors: Boris Dubrovin, Daniele Valeri, Di Yang

Abstract: 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 te… ▽ More 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]. △ Less

Submitted 14 October, 2022; v1 submitted 13 October, 2021; originally announced October 2021.

Journal ref: SIGMA 18 (2022), 077, 32 pages

Double Multiplicative Poisson Vertex Algebras

Authors: Maxime Fairon, Daniele Valeri

Abstract: 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 importa… ▽ More 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. △ Less

Submitted 23 August, 2022; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: v3: 46 pages, 1 figure. Minor corrections following the referee's suggestions

Report number: Roma01.Math

Journal ref: International Mathematics Research Notices (2022); rnac245

On Lax operators

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 de… ▽ More 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. △ Less

Submitted 1 December, 2021; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 39 pages, v2: minor editing and corrections following the referee's suggestions

MSC Class: Primary: 35Q53; Secondary: 35Q51; 37K10; 37K30

Weakly nonlocal Poisson brackets: tools, examples, computations

Authors: Matteo Casati, Paolo Lorenzoni, Daniele Valeri, Raffaele Vitolo

Abstract: 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 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 △ Less

Submitted 15 February, 2022; v1 submitted 16 January, 2021; originally announced January 2021.

Comments: 30 pages. Keywords: Poisson bracket, Hamiltonian operator, Schouten bracket, partial differential equations, integrable systems

Journal ref: Computer Physics Communications, 274 (2022)

Integrable triples in semisimple Lie algebras

Authors: Alberto De Sole, Mamuka Jibladze, Victor G. Kac, Daniele Valeri

Abstract: 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_θ)$, where $f$ is the sum of negati… ▽ More 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_θ)$, where $f$ is the sum of negative simple root vectors and $e_θ$ is the highest root vector of a simple Lie algebra, corresponds to the Drinfeld-Sokolov hierarchy. △ Less

Submitted 8 January, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Integrability of classical affine W-algebras

Authors: Alberto De Sole, Mamuka Jibladze, Victor G. Kac, Daniele Valeri

Abstract: 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. 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. △ Less

Submitted 26 January, 2021; v1 submitted 2 July, 2020; originally announced July 2020.

Comments: 18 pages

$W$-algebras via Lax type operators

Authors: Daniele Valeri

Abstract: $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… ▽ More $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. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: 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

A Case Study of the May 30th, 2017 Italian Fireball

Authors: A. Carbognani, D. Barghini, D. Gardiol, M. di Martino, G. B. Valsecchi, P. Trivero, A. Buzzoni, S. Rasetti, D. Selvestrel, C. Knapic, E. Londero, S. Zorba, C. A. Volpicelli, M. Di Carlo, J. Vaubaillon, C. Marmo, F. Colas, D. Valeri, F. Zanotti, M. Morini, P. Demaria, B. Zanda, S. Bouley, P. Vernazza, J. Gattacceca , et al. (3 additional authors not shown)

Abstract: On May 30th, 2017 at about 21h 09m 17s UTC a green bright fireball crossed the sky of north-eastern Italy. The fireball path was observed from some all-sky cameras starting from a mean altitude of $81.1 \pm 0.2$ km (Lat. $44.369^{\circ} \pm 0.002^{\circ}$ N; Long. $11.859^{\circ} \pm 0.002^{\circ}$ E) and extinct at $23.3 \pm 0.2$ km (Lat. $45.246^{\circ} \pm 0.002^{\circ}$ N; Long.… ▽ More On May 30th, 2017 at about 21h 09m 17s UTC a green bright fireball crossed the sky of north-eastern Italy. The fireball path was observed from some all-sky cameras starting from a mean altitude of $81.1 \pm 0.2$ km (Lat. $44.369^{\circ} \pm 0.002^{\circ}$ N; Long. $11.859^{\circ} \pm 0.002^{\circ}$ E) and extinct at $23.3 \pm 0.2$ km (Lat. $45.246^{\circ} \pm 0.002^{\circ}$ N; Long. $12.046^{\circ} \pm 0.002^{\circ}$ E), between the Italian cities of Venice and Padua. In this paper, on the basis of simple physical models, we will compute the atmospheric trajectory, analize the meteoroid atmospheric dynamics, the dark flight phase (with the strewn field) and compute the best heliocentric orbit of the progenitor body. Search for meteorites on the ground has not produced any results so far. △ Less

Submitted 2 February, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: 19 pages, 17 figures. Accepted for publication in The European Physical Journal PLUS

p-reduced multicomponent KP hierarchy and classical W-algebras W(gl_N,p)

Authors: Sylvain Carpentier, Alberto De Sole, Victor G. Kac, Daniele Valeri, Johan van de Leur

Abstract: 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… ▽ More 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. △ Less

Submitted 31 July, 2020; v1 submitted 7 September, 2019; originally announced September 2019.

Comments: 49 pages, v2: minor editing and corrections following the referee suggestions

MSC Class: Primary 17B69; Secondary 17B63; 17B08; 17B80; 35Q53; 37K10; 37K30

Local and non-local multiplicative Poisson vertex algebras and differential-difference equations

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri, Minoru Wakimoto

Abstract: 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… ▽ More 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. △ Less

Submitted 5 September, 2018; originally announced September 2018.

Comments: 42 pages

Poisson $λ$-brackets for differential-difference equations

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri, Minoru Wakimoto

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

Submitted 18 June, 2018; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: 37 pages

Generators of the quantum finite W-algebras in type A

Authors: Alberto De Sole, Laura Fedele, Daniele Valeri

Abstract: 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]. 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]. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 60 pages

MSC Class: 17B08; 17B63; 17B35; 17B80

Invariant measures for the periodic derivative nonlinear Schrödinger equation

Authors: Giuseppe Genovese, Renato Lucà, Daniele Valeri

Abstract: We construct invariant measures associated to the integrals of motion of the periodic derivative nonlinear Schrödinger 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 resul… ▽ More We construct invariant measures associated to the integrals of motion of the periodic derivative nonlinear Schrödinger 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$. △ Less

Submitted 10 September, 2018; v1 submitted 9 January, 2018; originally announced January 2018.

Comments: a new result has been included, namely quasi-invariance of Gaussian measures w.r.t. the gauge group (theorem 1.4)

A Lax type operator for quantum finite W-algebras

Authors: Alberto De Sole, Victor Kac, Daniele Valeri

Abstract: 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 o… ▽ More 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. △ Less

Submitted 19 September, 2018; v1 submitted 12 July, 2017; originally announced July 2017.

Comments: 31 pages. Minor editing and corrections following the referee suggestions

MSC Class: 17B08; 17B63; 17B35; 17B80

Classical affine W-algebras and the associated integrable Hamiltonian hierarchies for classical Lie algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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… ▽ More 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. △ Less

Submitted 12 March, 2018; v1 submitted 29 May, 2017; originally announced May 2017.

Comments: 57 pages. v3: minor corrections

MSC Class: Primary 17B69; Secondary 17B63; 17B08; 17B80; 35Q53; 37K10; 37K30

Journal ref: Comm. Math. Phys. 360 (2018), no. 3, 851-918

Finite W-algebras for gl_N

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 s… ▽ More 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. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Comments: 37 pages

Report number: Roma01.Math.RT MSC Class: 17B08; 17B63; 17B35; 17B80

Journal ref: Adv. Math. 327 (2018), 173-224

MasterPVA and WAlg: Mathematica packages for Poisson vertex algebras and classical affine $\mathcal{W}$-algebras

Authors: Matteo Casati, Daniele Valeri

Abstract: 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. T… ▽ More 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. △ Less

Submitted 6 February, 2017; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: 29 pages, 31 figures. Revised structure and better title, improved the W(G2,f) example

MSC Class: Primary 17B69; Secondary 37K30; 17-08; 37-04; 17B63; 17B80; 17B08;

Journal ref: Bollettino dell'Unione Matematica Italiana, 2017

Bethe Ansatz and the Spectral Theory of affine Lie algebra--valued connections II. The non simply--laced case

Authors: Davide Masoero, Andrea Raimondo, Daniele Valeri

Abstract: 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 $Ψ$-system among subdominant solutions. We then use the $Ψ$-system to prove that the generalized sp… ▽ More 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 $Ψ$-system among subdominant solutions. We then use the $Ψ$-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. △ Less

Submitted 16 June, 2016; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: 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

MSC Class: 82B23; 17B67; 34M40; 37K30

Journal ref: Commun. Math. Phys. (2017) 349: 1063

Classical W-algebras for gl_N and associated integrable Hamiltonian hierarchies

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 stru… ▽ More 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. △ Less

Submitted 2 June, 2016; v1 submitted 23 September, 2015; originally announced September 2015.

Comments: 48 pages. Minor revisions and a correction to formulas (7.25) and (7.48)

Report number: Roma01.Math.RT MSC Class: Primary 17B69; Secondary 17B63; 17B08; 17B80; 35Q53; 37K10; 37K30 (Secondary)

Journal ref: Communications in Mathematical Physics, 2016, 348(1), 265-319

A new scheme of integrability for (bi)Hamiltonian PDE

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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… ▽ More 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. △ Less

Submitted 5 September, 2018; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: 35 pages, final version

Report number: Roma01.Math.RT MSC Class: 17B69 (Primary); 35Q53; 37K10; 37K30 (Secondary)

Journal ref: Comm. Math. Phys. 347 (2016), n. 2, 449-488

Gibbs measures associated to the integrals of motion of the periodic derivative nonlinear Schrödinger equation

Authors: Giuseppe Genovese, Renato Lucà, Daniele Valeri

Abstract: We study the one dimensional periodic derivative nonlinear Schrödinger (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.… ▽ More We study the one dimensional periodic derivative nonlinear Schrödinger (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}+(-Δ)^{k})^{-1}$, is associated to each integral of motion $\int h_{2k}$, $k\geq1$. △ Less

Submitted 1 February, 2016; v1 submitted 20 February, 2015; originally announced February 2015.

Comments: 31 pages, final version: minor editing and corrections following the referee suggestions

MSC Class: 35BXX; 37K05; 37L50; 35Q55; 37K10; 37K30; 17B69; 17B80

Bethe Ansatz and the Spectral Theory of affine Lie algebra-valued connections I. The simply-laced case

Authors: Davide Masoero, Andrea Raimondo, Daniele Valeri

Abstract: 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 $Ψ$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations. 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 $Ψ$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations. △ Less

Submitted 16 June, 2016; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: 27 pages, final and published version. Minor change in the title

MSC Class: 82B23; 17B67; 34M40; 37K30

Journal ref: Communications in Mathematical Physics, 344(3), 719-750, 2016

Double Poisson vertex algebras and non-commutative Hamiltonian equations

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 cons… ▽ More 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. △ Less

Submitted 22 May, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: 56 pages. Minor editing and corrections and references added following the referee suggestions

MSC Class: 17B69 (Primary) 17B80; 17B63; 35Q53; 37K10 (secondary)

Journal ref: Adv. Math. 281 (2015), 1025-1099

Structure of classical (finite and affine) W-algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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… ▽ More 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. △ Less

Submitted 2 April, 2014; originally announced April 2014.

Comments: 4 pages

Report number: Roma01.Math.RT MSC Class: Primary 17B63; Secondary 17B69; 17B80; 37K30; 17B08

Journal ref: J. Eur. Math. Soc. 18 (2016), n. 9, 1873-1908

Integrability of Dirac reduced bi-Hamiltonian equations

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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. 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. △ Less

Submitted 23 July, 2014; v1 submitted 23 January, 2014; originally announced January 2014.

Comments: 15 pages. Corrected some typos and added missing equations in Section 5 for g=sl_n, n>2

Report number: Roma01.Math.RT MSC Class: 17B69 (Primary); 35Q53; 37K10; 37K30 (Secondary)

Journal ref: Trends in Contemporary Mathematics, Springer INdAM Series, Vol. 8 (2014), 13-32

Adler-Gelfand-Dickey approach to classical W-algebras within the theory of Poisson vertex algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 correspond… ▽ More 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. △ Less

Submitted 16 January, 2014; v1 submitted 9 January, 2014; originally announced January 2014.

Comments: 47 pages. In version 2 we fixed the proof of Corollary 4.15 (which is now Theorem 4.14), and we added some references

Report number: Roma01.Math.RT MSC Class: 35Q53 (Primary) 37K10; 17B80; 17B69; 37K30 (Secondary)

Journal ref: Int. Math. Res. Not. 21 (2015), 11186-11235

Dirac reduction for Poisson vertex algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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. 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. △ Less

Submitted 23 July, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: 31 pages. Corrected some typos and added missing equations in Section 8

Report number: Roma01.Math.RT MSC Class: 17B69 (Primary) 35Q53; 37K10; 37K30 (Secondary)

Journal ref: Comm. Math. Phys. 331 (2014), n. 3, 1155-1190

Classical W-algebras and generalized Drinfeld-Sokolov hierarchies for minimal and short nilpotents

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 equ… ▽ More 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. △ Less

Submitted 23 July, 2014; v1 submitted 7 June, 2013; originally announced June 2013.

Comments: 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

Report number: Roma01.Math.RT MSC Class: 35Q53 (Primary) 37K10; 17B80; 17B69; 37K30 (Secondary)

Journal ref: Comm. Math. Phys. 331 (2014), n. 2, 623-676

Classical W-algebras and generalized Drinfeld-Sokolov bi-Hamiltonian systems within the theory of Poisson vertex algebras

Authors: Alberto De Sole, Victor G. Kac, Daniele Valeri

Abstract: 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 ce… ▽ More 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. △ Less

Submitted 12 August, 2013; v1 submitted 26 July, 2012; originally announced July 2012.

Comments: 43 pages. Last version with minor editing and corrections

Report number: Roma01.Math.RT MSC Class: 35Q53 (Primary) 37K10; 17B80; 17B69; 37K30 (Secondary)

Journal ref: Comm. Math. Phys. 323 (2013), n. 2, 663-711