-
Gelfand-Dickey Realizations of the supersymmetric classical W-algebras for $\mathfrak{gl}(n+1|n)$ and $\mathfrak{gl}(n|n)$
Authors:
Sylvain Carpentier,
UhiRinn Suh
Abstract:
In this paper we realize the supersymmetric classical $W$-algebras $\mathcal{W}(\overline{\mathfrak{gl}}(n+1|n))$ and $\mathcal{W}(\overline{\mathfrak{gl}}(n|n))$ as differential algebras generated by the coefficients of a monic superdifferential operator $L$. In the case of $\mathcal{W}(\overline{\mathfrak{gl}}(n|n))$ (resp. $\mathcal{W}(\overline{\mathfrak{gl}}(n+1|n))$) this operator is even (r…
▽ More
In this paper we realize the supersymmetric classical $W$-algebras $\mathcal{W}(\overline{\mathfrak{gl}}(n+1|n))$ and $\mathcal{W}(\overline{\mathfrak{gl}}(n|n))$ as differential algebras generated by the coefficients of a monic superdifferential operator $L$. In the case of $\mathcal{W}(\overline{\mathfrak{gl}}(n|n))$ (resp. $\mathcal{W}(\overline{\mathfrak{gl}}(n+1|n))$) this operator is even (resp. odd). We show that the supersymmetric Poisson vertex algebra bracket on these supersymmetric W-algebras is the supersymmetric analogue of the quadratic Gelfand-Dickey bracket associated to the operator $L$. Finally, we construct integrable hierarchies of evolutionary Hamiltonian PDEs on both W-algebras. A key observation is that to construct these hierarchies on the algebra $\mathcal{W}(\overline{\mathfrak{gl}}(n+1|n))$ one needs to introduce a new concept of even supersymmetric Poisson vertex algebras.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Hamiltonians for the quantised Volterra hierarchy
Authors:
Sylvain Carpentier,
Alexander V. Mikhailov,
Jing Ping Wang
Abstract:
This paper builds upon our recent work, published in Lett. Math. Phys., 112: 94, 2022, where we established that the integrable Volterra lattice on a free associative algebra and the whole hierarchy of its symmetries admits a quantisation dependent on a parameter $ω$. We also uncovered an intriguing aspect: all odd-degree symmetries of the hierarchy admits an alternative, non-deformation quantisat…
▽ More
This paper builds upon our recent work, published in Lett. Math. Phys., 112: 94, 2022, where we established that the integrable Volterra lattice on a free associative algebra and the whole hierarchy of its symmetries admits a quantisation dependent on a parameter $ω$. We also uncovered an intriguing aspect: all odd-degree symmetries of the hierarchy admits an alternative, non-deformation quantisation, resulting in a non-commutative algebra for any choice of the quantisation parameter $ω$. In this study, we demonstrate that each equation within the quantum Volterra hierarchy can be expressed in the Heisenberg form. We provide explicit expressions for all quantum Hamiltonians and establish their commutativity. In the classical limit, these quantum Hamiltonians yield explicit expressions for the classical ones of the commutative Volterra hierarchy. Furthermore, we present Heisenberg equations and their Hamiltonians in the case of non-deformation quantisation. Finally, we discuss commuting first integrals, central elements of the quantum algebra, and the integrability problem for periodic reductions of the Volterra lattice in the context of both quantisations.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Integrable systems on rectangular $\mathcal{W}$-superalgebras via super Adler-type operators
Authors:
Sylvain Carpentier,
Gahng Sahn Lee,
Uhi Rinn Suh
Abstract:
In this paper, we introduce a class of super Adler-type operators associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We show that these operators generate Poisson vertex superalgebras which are isomorphic to the classical $\mathcal{W}$-superalgebras associated with $\mathfrak{gl}(m|n)$ and some rectangular nilpotent elements. We use this isomorphism to construct integrable hierarchies on t…
▽ More
In this paper, we introduce a class of super Adler-type operators associated with the Lie superalgebra $\mathfrak{gl}(m|n)$. We show that these operators generate Poisson vertex superalgebras which are isomorphic to the classical $\mathcal{W}$-superalgebras associated with $\mathfrak{gl}(m|n)$ and some rectangular nilpotent elements. We use this isomorphism to construct integrable hierarchies on these rectangular $\mathcal{W}$-superalgebras.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Quantisations of the Volterra hierarchy
Authors:
Sylvain Carpentier,
Alexander V. Mikhailov,
Jing Ping Wang
Abstract:
In this paper we explore a recently emerged approach to the problem of quantisation based on the notion of quantisation ideals. We explicitly prove that the nonabelian Volterra together with the whole hierarchy of its symmetries admit a deformation quantisation. We show that all odd-degree symmetries of the Volterra hierarchy admit also a non-deformation quantisation. We discuss the quantisation p…
▽ More
In this paper we explore a recently emerged approach to the problem of quantisation based on the notion of quantisation ideals. We explicitly prove that the nonabelian Volterra together with the whole hierarchy of its symmetries admit a deformation quantisation. We show that all odd-degree symmetries of the Volterra hierarchy admit also a non-deformation quantisation. We discuss the quantisation problem for periodic Volterra hierarchy including their quantum Hamiltonians, central elements of the quantised algebras, and demonstrate super-integrability of the quantum systems obtained. We show that the Volterra system with period $3$ admits a bi-quantum structure, which can be regarded as a quantum deformation of its classical bi-Hamiltonian structure.
△ Less
Submitted 3 January, 2023; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Lax-Sato formulation of the Novikov-Veselov Hierarchy
Authors:
Sylvain Carpentier
Abstract:
We construct a hierarchy of pairwise commuting flows $d/dt_{i,n}$ indexed by $i \in \{1,2 \}$ and $n \in \mathbb{Z}_{\geq 0}$ on triples $(\mathcal{L}_1, \mathcal{L}_2, \mathcal{H})$ where $\partial_1$ and $\partial_2$ are two commuting derivations, $\partial_i \mathcal{L}_i$ is a self-adjoint pseudodifferential operator in $\partial_i$ and $\mathcal{H}$ is the formal Schrödinger operator…
▽ More
We construct a hierarchy of pairwise commuting flows $d/dt_{i,n}$ indexed by $i \in \{1,2 \}$ and $n \in \mathbb{Z}_{\geq 0}$ on triples $(\mathcal{L}_1, \mathcal{L}_2, \mathcal{H})$ where $\partial_1$ and $\partial_2$ are two commuting derivations, $\partial_i \mathcal{L}_i$ is a self-adjoint pseudodifferential operator in $\partial_i$ and $\mathcal{H}$ is the formal Schrödinger operator $\mathcal{H}=\partial_1 \partial_2 +u$. $\mathcal{L}_1, \mathcal{L}_2$ and $\mathcal{H}$ are coupled by the relations $\mathcal{H} \mathcal{L}_i+\mathcal{L}_i^* \mathcal{H}=0$. We show that the flows $d/dt_{1,n}+d/dt_{2,n}$ commute with the involution $(\mathcal{L}_1, \mathcal{L}_2, \mathcal{H}) \mapsto (\mathcal{L}_2, \mathcal{L}_1, \mathcal{H})$ and that the first equation of this reduced hierarchy is the Novikov-Veselov equation.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
Supersymmetric Bi-Hamiltonian Systems
Authors:
Sylvain Carpentier,
Uhi Rinn Suh
Abstract:
We construct super Hamiltonian integrable systems within the theory of Supersymmetric Poisson vertex algebras (SUSY PVAs). We provide a powerful tool for the understanding of SUSY PVAs called the super master formula. We attach some Lie superalgebraic data to a generalized SUSY W-algebra and show that it is equipped with two compatible SUSY PVA brackets. We reformulate these brackets in terms of o…
▽ More
We construct super Hamiltonian integrable systems within the theory of Supersymmetric Poisson vertex algebras (SUSY PVAs). We provide a powerful tool for the understanding of SUSY PVAs called the super master formula. We attach some Lie superalgebraic data to a generalized SUSY W-algebra and show that it is equipped with two compatible SUSY PVA brackets. We reformulate these brackets in terms of odd differential operators and obtain super bi-Hamiltonian hierarchies after performing a supersymmetric analog of the Drinfeld-Sokolov reduction on these operators. As an example, an integrable system is constructed from $\mathfrak{g}=\mathfrak{osp}(2|2)$.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
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.
-
PreHamiltonian and Hamiltonian operators for differential-difference equations
Authors:
Sylvain Carpentier,
Alexander V. Mikhailov,
Jing Ping Wang
Abstract:
In this paper we are developing a theory of rational (pseudo) difference Hamiltonian operators, focusing in particular on its algebraic aspects. We show that a pseudo--difference Hamiltonian operator can be represented as a ratio $AB^{-1}$ of two difference operators with coefficients from a difference field $\mathcal{F}$ where $A$ is preHamiltonian. A difference operator $A$ is called preHamilton…
▽ More
In this paper we are developing a theory of rational (pseudo) difference Hamiltonian operators, focusing in particular on its algebraic aspects. We show that a pseudo--difference Hamiltonian operator can be represented as a ratio $AB^{-1}$ of two difference operators with coefficients from a difference field $\mathcal{F}$ where $A$ is preHamiltonian. A difference operator $A$ is called preHamiltonian if its image is a Lie subalgebra with respect to the Lie bracket of evolutionary vector fields on $\mathcal{F}$. We show that a skew-symmetric difference operator is Hamiltonian if and only if it is preHamiltonian and satisfies simply verifiable conditions on its coefficients. We show that if $H$ is a rational Hamiltonian operator, then to find a second Hamiltonian operator $K$ compatible with $H$ is the same as to find a preHamiltonian pair $A$ and $B$ such that $AB^{-1}H$ is skew-symmetric. We apply our theory to non-trivial multi-Hamiltonian structures of Narita-Itoh-Bogoyavlensky and Adler-Postnikov equations.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
A sufficient condition for a Rational Differential Operator to generate an Integrable System
Authors:
Sylvain Carpentier
Abstract:
For a rational differential operator $L=AB^{-1}$, the Lenard-Magri scheme of integrability is a sequence of functions $F_n, n\geq 0$, such that (1) $B(F_{n+1})=A(F_n)$ for all $n \geq 0$ and (2) the functions $B(F_n)$ pairwise commute. We show that, assuming that property $(1)$ holds and that the set of differential orders of $B(F_n)$ is unbounded, property $(2)$ holds if and only if $L$ belongs t…
▽ More
For a rational differential operator $L=AB^{-1}$, the Lenard-Magri scheme of integrability is a sequence of functions $F_n, n\geq 0$, such that (1) $B(F_{n+1})=A(F_n)$ for all $n \geq 0$ and (2) the functions $B(F_n)$ pairwise commute. We show that, assuming that property $(1)$ holds and that the set of differential orders of $B(F_n)$ is unbounded, property $(2)$ holds if and only if $L$ belongs to a class of rational operators that we call integrable. If we assume moreover that the rational operator $L$ is weakly non-local and preserves a certain splitting of the algebra of functions into even and odd parts, we show that one can always find such a sequence $(F_n)$ starting from any function in Ker B. This result gives some insight in the mechanism of recursion operators, which encode the hierarchies of the corresponding integrable equations.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Singular degree of a rational matrix pseudodifferential operator
Authors:
Sylvain Carpentier,
Alberto De Sole,
Victor G. kac
Abstract:
In our previous work we studied minimal fractional decompositions of a rational matrix pseudodifferential operator: H=A/B, where A and B are matrix differential operators, and B is non-degenerate of minimal possible degree deg(B). In the present paper we introduce the singular degree sdeg(H)=deg(B), and show that for an arbitrary rational expression H=sum_a (A^a_1)/(B^a_1)...(A^a_n)/(B^a_n), we ha…
▽ More
In our previous work we studied minimal fractional decompositions of a rational matrix pseudodifferential operator: H=A/B, where A and B are matrix differential operators, and B is non-degenerate of minimal possible degree deg(B). In the present paper we introduce the singular degree sdeg(H)=deg(B), and show that for an arbitrary rational expression H=sum_a (A^a_1)/(B^a_1)...(A^a_n)/(B^a_n), we have that sdeg(H) is less than or equal to sum_{a,i} deg(B^a_i). If the equality holds, we call such an expression minimal. We study the properties of the singular degree and of minimal rational expressions. These results are important for the computations involved in the Lenard-Magri scheme of integrability.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Some remarks on non-commutative principal ideal rings
Authors:
Sylvain Carpentier,
Alberto De Sole,
Victor G. Kac
Abstract:
We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.
We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.
△ Less
Submitted 2 May, 2013;
originally announced May 2013.
-
Rational matrix pseudodifferential operators
Authors:
Sylvain Carpentier,
Alberto De Sole,
Victor G. Kac
Abstract:
The skewfield K(d) of rational pseudodifferential operators over a differential field K is the skewfield of fractions of the algebra of differential operators K[d]. In our previous paper we showed that any H from K(d) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of K[d], B is non-zero, and any common right divisor of A and B is a non-zero element of K. Moreover, any rig…
▽ More
The skewfield K(d) of rational pseudodifferential operators over a differential field K is the skewfield of fractions of the algebra of differential operators K[d]. In our previous paper we showed that any H from K(d) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of K[d], B is non-zero, and any common right divisor of A and B is a non-zero element of K. Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-zero element of K[d]. In the present paper we study the ring M_n(K(d)) of nxn matrices over the skewfield K(d). We show that similarly, any H from M_n(K(d)) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of M_n(K[d]), B is non-degenerate, and any common right divisor of A and B is an invertible element of the ring M_n(K[d]). Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-degenerate element of M_n(K [d]). We give several equivalent definitions of the minimal fractional decomposition. These results are applied to the study of maximal isotropicity property, used in the theory of Dirac structures.
△ Less
Submitted 19 June, 2012;
originally announced June 2012.
-
Some algebraic properties of differential operators
Authors:
Sylvain Carpentier,
Alberto De Sole,
Victor G. Kac
Abstract:
First, we study the subskewfield of rational pseudodifferential operators over a differential field K generated in the skewfield of pseudodifferential operators over K by the subalgebra of all differential operators.
Second, we show that the Dieudonne' determinant of a matrix pseudodifferential operator with coefficients in a differential subring A of K lies in the integral closure of A in K, an…
▽ More
First, we study the subskewfield of rational pseudodifferential operators over a differential field K generated in the skewfield of pseudodifferential operators over K by the subalgebra of all differential operators.
Second, we show that the Dieudonne' determinant of a matrix pseudodifferential operator with coefficients in a differential subring A of K lies in the integral closure of A in K, and we give an example of a 2x2 matrix differential operator with coefficients in A whose Dieudonne' determiant does not lie in A.
△ Less
Submitted 10 January, 2012;
originally announced January 2012.
