Quantization of Lax integrable systems and Conformal Field Theory
Oleg K. Sheinman
备注:
11 pages, 2 figures. Based on the talk at the conference "Homotopy algebras, deformation theory and quantization", S.Banach International Mathematical Center, Bedlewo, Poland, 2018
We present the correspondence between Lax integrable systems with spectral parameter on a Riemann surface, and Conformal Field Theories, in quite general set-up suggested earlier by the author. This correspondence turns out to give a prequantization of the integrable systems in question.
A new class of infinite-dimensional Lie algebras given a name of Lax operator algebras, and the related unifying approach to finite-dimensional integrable systems with spectral parameter on a Riemann surface, such as Calogero--Moser and Hitchin systems, are presented. In particular, our approach includes (the non-twisted) Kac--Moody algebras and integrable systems with rational spectral parameter. The presentation is based on the quite simple ideas related to gradings of semisimple Lie algebras, and their interaction with the Riemann--Roch theorem. The basic properties of the Lax operator alge…
We consider the theory of Lax equations in complex simple and reductive classical Lie algebras with the spectral parameter on a Riemann surface of finite genus. Our approach is based on the new objects -- the Lax operator algebras, and develops the approach of I.Krichever treating the $\gl(n)$ case. For every Lax operator considered as the mapping sending a point of the cotangent bundle on the space of extended Tyrin data to an element of the corresponding Lax operator algebra we construct the hierarchy of mutually commuting flows given by Lax equations and prove that those are Hamiltonian wit…
We consider integrable boundary conditions for both discrete and continuum classical integrable models. Local integrals of motion generated by the corresponding transfer matrices give rise to time evolution equations for the initial Lax operator. We systematically identify the modified Lax pairs for both discrete and continuum boundary integrable models, depending on the classical r-matrix and the boundary matrix.
The Calogero type matrix discretization scheme is applied to constructing the Lax type integrable discretizations of one wide enough class of nonlinear integrable dynamical systems on functional manifolds. Their Lie-algebraic structure and complete integrability related with co-adjoint orbits on the Markov co-algebras is discussed. It is shown that a set of conservation laws and the associated Poisson structure ensue as a byproduct of the approach devised. Based on the Lie algebras quasi-representation property the limiting procedure of finding the nonlinear dynamical systems on the correspond…
To each partition function of cohomological field theory one can associate an Hamiltonian integrable hierarchy of topological type. The Givental group acts on such partition functions and consequently on the associated integrable hierarchies. We consider the Hirota and Lax formulations of the deformation of the hierarchy of N copies of KdV obtained by an infinitesimal action of the Givental group. By first deforming the Hirota quadratic equations and then applying a fundamental lemma to express it in terms of pseudo-differential operators, we show that such deformed hierarchy admits an explici…
The Hamiltonian representation for the hierarchy of Lax-type flows on a dual space to the Lie algebra of shift operators coupled with suitable eigenfunctions and adjoint eigenfunctions evolutions of associated spectral problems is found by means of a specially constructed Backlund transformation. The Hamiltonian description for the corresponding set of squared eigenfunction symmetry hierarchies is represented. The relation of these hierarchies with Lax integrable (2+1)-dimensional differential-difference systems and their triple Lax-type linearizations is analysed. The existence problem of a H…
We obtain via Bäcklund transformation the Hamiltonian representation for a Lax type nonlinear dynamical system hierarchy on a dual space to the Lie algebra of super-integral-differential operators of one anticommuting variable, extended by evolutions of the corresponding spectral problem eigenfunctions and adjoint eigenfunctions, as well as for the hierarchies of their additional symmetries. The relation of these hierarchies with the integrable by Lax (2|1+1)-dimensional supersymmetric Davey-Stewartson system is investigated.
It is shown how a system of evolution equations can be developed both from the structure equations of a submanifold embedded in three-space as well as from a matrix SO(6) Lax pair. The two systems obtained this way correspond exactly when a constraint equation is selected and imposed on the system of equations. This allows the coefficients of the second fundamental form to be selected in a more general way so they need not be constants.
We present (2+1)-dimensional generalizations of the k-constrained Kadomtsev-Petviashvili (k-cKP) hierarchy and corresponding matrix Lax representations that consist of two integro-differential operators. Additional reductions imposed on the Lax pairs lead to matrix generalizations of Davey-Stewartson systems (DS-I,DS-II,DS-III) and (2+1)-dimensional extensions of the modified Korteweg-de Vries and the Nizhnik equation. We also present an integro-differential Lax pair for a matrix version of a (2+1)-dimensional extension of the Chen-Lee-Liu equation.
We present a method of determining a Lax representation for similarity reductions of autonomous and non-autonomous partial difference equations. This method may be used to obtain Lax representations that are general enough to provide the Lax integrability for entire hierarchies of reductions. A main result is, as an example of this framework, how we may obtain the q-Painlevé equation whose group of Bäcklund transformations is an affine Weyl group of type E_6^{(1)} as a similarity reduction of the discrete Schwarzian Korteweg-de Vries equation.
We propose a discrete Darboux-Lax scheme for deriving auto-Bäcklund transformations and constructing solutions to quad-graph equations that do not necessarily possess the 3D consistency property. As an illustrative example we use the Adler-Yamilov type system which is related to the nonlinear Schrödinger (NLS) equation [19]. In particular, we construct an auto-Bäcklund transformation for this discrete system, its superposition principle, and we employ them in the construction of the one- and two-soliton solutions of the Adler-Yamilov system.
A technique based on extended Lax Pairs is first considered to derive variable-coefficient generalizations of various Lax-integrable NLPDE hierarchies recently introduced in the literature. As illustrative examples, we consider generalizations of KdV equations and three variants of generalized MKdV equations. It is demonstrated that the techniques yield Lax- or S-integrable NLPDEs with both time- AND space-dependent coefficients which are thus more general than almost all cases considered earlier via other methods such as the Painleve Test, Bell Polynomials, and various similarity methods. How…
The integrable vector nonlinear Schrodinger (vector NLS) equation is investigated by using Zakharov-Shabat (ZS) scheme. We get a Lax pair formulation of the vector NLS model. Multi-soliton solution of the equation is also derived by using inverse scattering method of ZS scheme. We also find that there is an elastic and inelastic collision of the bright and dark multi-solitons of the system.
We introduce a class of ${\mathbb{Z}}_N$ graded discrete Lax pairs, with $N\times N$ matrices, linear in the spectral parameter. We give a classification scheme for such Lax pairs and the associated discrete integrable systems. We present two potential forms and completely classify the generic case. Many well known examples belong to our scheme for $N=2$, so many of our systems may be regarded as generalisations of these. Even at $N=3$, several new integrable systems arise. Many of our equations are mutually compatible, so can be used together to form "coloured" lattices. We also present conti…
The extension of Painlevé equations to noncommutative spaces has been considering extensively in the theory of integrable systems and it is also interesting to explore some remarkable aspects of these equations such as Painlevé property, Lax representation, Darboux transformation and their connection to well know integrable equations. This paper is devoted to the Lax formulation, Darboux transformation and Quasideterminant solution of noncommutative Painlevé second equation which is recently introduced by V. Retakh and V. Rubtsov.
A new set of discrete integrable equations, called face-centered quad equations, was recently obtained using new types of interaction-round-a-face solutions of the classical Yang-Baxter equation. These equations satisfy a new formulation of multidimensional consistency, known as consistency-around-a-face-centered-cube (CAFCC), which requires consistency of an overdetermined system of fourteen five-point equations on the face-centered cubic unit cell. In this paper a new formulation of CAFCC is introduced where so-called type-C equations are centered at faces of the face-centered cubic unit cel…
In this paper we study factorization formulae for the Lax matrices of the classical Ruijsenaars-Schneider and Calogero-Moser models. We review the already known results and discuss their possible origins. The first origin comes from the IRF-Vertex relations and the properties of the intertwining matrices. The second origin is based on the Schlesinger transformations generated by modifications of underlying vector bundles. We show that both approaches provide explicit formulae for $M$-matrices of the integrable systems in terms of the intertwining matrices (and/or modification matrices). In the…
The relation between integrable systems and algebraic geometry is known since the XIXth century. The modern approach is to represent an integrable system as a Lax equation with spectral parameter. In this approach, the integrals of the system turn out to be the coefficients of the characteristic polynomial $χ$ of the Lax matrix, and the solutions are expressed in terms of theta functions related to the curve $χ= 0$. The aim of the present paper is to show that the possibility to write an integrable system in the Lax form, as well as the algebro-geometric technique related to this possibility, …
We investigate the initial-boundary value problem for the integrable spin-1 Gross-Pitaevskii (GP) equations with a 4x4 Lax pair on the half-line. The solution of this system can be obtained in terms of the solution of a 4x4 matrix Riemann-Hilbert (RH) problem formulated in the complex k-plane. The relevant jump matrices of the RH problem can be explicitly found using the two spectral functions s(k) and S(k), which can be defined by the initial data, the Dirichlet-Neumann boundary data at x=0. The global relation is established between the two dependent spectral functions. The general mappings …
The nonlinear equations for the general nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type are derived and the integrability of these equations by the method of inverse scattering problem is proved. For these equations, the Lax pairs with a spectral parameter are presented. Moreover, we demonstrate the integrability of the equations for some especially important partial classes of compatible nonlocal Poisson brackets of hydrodynamic type, in particular, for the most important case when one of the compatible Poisson brackets is local and also for the case when one of…
It is shown that the Zakharov-Mihailov (ZM) Lagrangian structure for integrable nonlinear equations derived from a general class of Lax pairs possesses a Lagrangian multiform structure. We show that, as a consequence of this multiform structure, we can formulate a variational principle for the Lax pair itself, a problem that to our knowledge was never previously considered. As an example, we present an integrable $N\times N$ matrix system that contains the AKNS hierarchy, and we exhibit the Lagrangian multiform structure of the scalar AKNS hierarchy by presenting the components corresponding t…
Multi-component generalizations of derivative nonlinear Schrodinger (DNLS) type of equations having quadratic bundle Lax pairs related to Z_2-graded Lie algebras and A.III symmetric spaces are studied. The Jost solutions and the minimal set of scattering data for the case of local and nonlocal reductions are constructed. The latter lead to multi-component integrable equations with CPT-symmetry. Furthermore, the fundamental analytic solutions (FAS) are constructed and the spectral properties of the associated Lax operators are briefly discussed. The Riemann-Hilbert problem (RHP) for the multi-c…
In the present paper we derive two well-known integrable cases of rigid body dynamics (the Lagrange top and the Clebsch system) performing an algebraic contraction on the two-body Lax matrices governing the (classical) su(2) Gaudin models. The procedure preserves the linear r-matrix formulation of the ancestor models. We give the Lax representation of the resulting integrable systems in terms of su(2) Lax matrices with rational and elliptic dependencies on the spectral parameter. We finally give some results about the many-body extensions of the constructed systems.
We study the extension of integrable equations which possess the Lax representations to noncommutative spaces. We construct various noncommutative Lax equations by the Lax-pair generating technique and the Sato theory. The Sato theory has revealed essential aspects of the integrability of commutative soliton equations and the noncommutative extension is worth studying. We succeed in deriving various noncommutative hierarchy equations in the framework of the Sato theory, which is brand-new. The existence of the hierarchy would suggest a hidden infinite-dimensional symmetry in the noncommutative…
We reconcile the Hamiltonian formalism and the zero curvature representation in the approach to integrable boundary conditions for a classical integrable system in 1+1 space-time dimensions. We start from an ultralocal Poisson algebra involving a Lax matrix and two (dynamical) boundary matrices. Sklyanin's formula for the double-row transfer matrix is used to derive Hamilton's equations of motion for both the Lax matrix {\bf and} the boundary matrices in the form of zero curvature equations. A key ingredient of the method is a boundary version of the Semenov-Tian-Shansky formula for the genera…
We show that evolutionary Hirota type Euler-Lagrange equations in (2+1) dimensions have a symplectic Monge-Ampère form. We consider integrable equations of this type in the sense that they admit infinitely many hydrodynamic reductions and determine Lax pairs for them. For two seven-parameter families of integrable equations converted to two-component form we have constructed Lagrangians, recursion operators and bi-Hamiltonian representations. We have also presented a six-parameter family of tri-Hamiltonian systems.
Inspired by recent results on the effect of integrable boundary conditions on the bulk behavior of an integrable system, and in particular on the behavior of an existing defect we systematically formulate the Lax pairs in the simultaneous presence of integrable boundaries and defects. The respective sewing conditions as well as the relevant equations of motion on the defect point are accordingly extracted. We consider a specific prototype i.e. the vector non-linear Schrödinger (NLS) model to exemplify our construction. This model displays a highly non-trivial behavior and allows the existence …
Utilizing some conservation laws of (1+1)-dimensional integrable local evolution systems, it is conjectured that higher dimensional integrable equations may be regularly constructed by a deformation algorithm. The algorithm can be applied to Lax pairs and higher order flows. In other words, if the original lower dimensional model is Lax integrable (possesses Lax pairs) and symmetry integrable (possesses infinitely many higher order symmetries), then the deformed higher order systems are also Lax integrable and symmetry integrable. For concreteness, the deformation algorithm is applied to the u…
Two-dimensional $σ$-models with $\mathbb{Z}_N$-symmetric homogeneous target spaces have been shown to be classically integrable when introducing WZ-terms in a particular way. This article continues the search for new models of this type now allowing some kinetic terms to be absent, analogously to the Green-Schwarz superstring $σ$-model on $\mathbb{Z}_4$-symmetric homogeneous spaces. A list of such integrable $\mathbb{Z}_N$-symmetric (super)coset $σ$-models for $N \leq 6$ and their Lax pairs is presented. For arbitrary $N$, a big class of integrable models is constructed that includes both the …
Application of our algebraic approach to Liouville integrable defects is proposed for the sine-Gordon model. Integrability of the model is ensured by the underlying classical r-matrix algebra. The first local integrals of motion are identified together with the corresponding Lax pairs. Continuity conditions imposed on the time components of the entailed Lax pairs give rise to the sewing conditions on the defect point consistent with Liouville integrability.
The non-holonomic deformations of non-local integrable systems belonging to the Nonlinear Schrodinger family are studied using the Bi-Hamiltonian formalism as well as the Lax pair method. The non-local equations are first obtained by symmetry reductions of the variables in the corresponding local systems. The bi-Hamiltonian structures of these equations are explicitly derived. The bi-Hamiltonian structures are used to obtain the non-holonomic deformation following the Kupershmidt ansatz. Further, the same deformation is studied using the Lax pair approach and several properties of the deformat…
In a previous work we have introduced the concept of quasi-integrable quantum system. In the present one we determine sufficient conditions under which, given an integrable classical system, it is possible to construct a quasi-integrable quantum system by means of a quantization procedure based on the symmetrized product of operators. This procedure will be applied to concrete classes of integrable systems in two following papers.
We propose a novel semi-discrete Kadomtsev--Petviashvili equation with two discrete and one continuous independent variables, which is integrable in the sense of having the standard and adjoint Lax pairs, from the direct linearisation framework. By performing reductions on the semi-discrete Kadomtsev--Petviashvili equation, new semi-discrete versions of the Drinfel'd--Sokolov hierarchies associated with Kac--Moody Lie algebras $A_r^{(1)}$, $A_{2r}^{(2)}$, $C_r^{(1)}$ and $D_{r+1}^{(2)}$ are successfully constructed. A Lax pair involving the fraction of $\mathbb{Z}_\mathcal{N}$ graded matrices …
Motivated by recent work on quantum integrable models without U(1) symmetry, we show that the sl(2) Hirota equation admits a Lax representation with inhomogeneous terms. The compatibility of the auxiliary linear problem leads to a new consistent family of Hirota-like equations.
A family of integrable $GL(NM)$ models is described. On the one hand it generalizes the classical spin Ruijsenaars--Schneider systems (the case $N=1$), and on the other hand it generalizes the relativistic integrable tops on $GL(N)$ Lie group (the case $M=1$). The described models are obtained by means of the Lax pair with spectral parameter. Equations of motion are derived. For the construction of the Lax representation the $GL(N)$ $R$--matrix in the fundamental representation of $GL(N)$ is used.
In this thesis we study the Darboux transformations related to particular Lax operators of NLS type which are invariant under the action of the so-called reduction group. Specifically, we study the cases of: 1) the nonlinear Schrödinger equation (with no reduction), 2) the derivative nonlinear Schrödinger equation, where the corresponding Lax operator is invariant under the action of the $\mathbb{Z}_2$-reduction group and 3) a deformation of the derivative nonlinear Schrödinger equation, associated to a Lax operator invariant under the action of the dihedral reduction group. These reduction gr…
We propose a method for constructing the Lax connection of two-dimensional relativistic integrable sigma models on coset spaces by means of exponentiation of a suitable operator. We derive a simple quadratic relation that this operator must satisfy for an entire one-parameter family of connections to be flat.
We introduce a novel systematic construction for integrable (3+1)-dimensional dispersionless systems using nonisospectral Lax pairs that involve contact vector fields. In particular, we present new large classes of (3+1)-dimensional integrable dispersionless systems associated to the Lax pairs which are polynomial and rational in the spectral parameter.
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 con…
The modified Kadomtsev-Petviashvili (mKP) equation is shown in this paper to be decomposable into the first two soliton equations of the 2N-coupled Chen-Lee-Liu and Kaup-Newell hierarchies by respectively nonlinearizing two sets of symmetry Lax pairs. In these two cases, the decomposed (1+1)-dimensional nonlinear systems both have a couple of different Lax representations, which means that there are two linear systems associated with the mKP equation under the same constraint between the potential and eigenfunctions. For each Lax representation of the decomposed (1+1)-dimensional nonlinear sys…
There is developed a differential-algebraic approach to studying the representations of commuting differentiations in functional differential rings under nonlinear differential constraints. An example of the differential ideal with the only one conserved quantity is analyzed in detail, the corresponding Lax type representations of differentiations are constructed for an infinite hierarchy of nonlinear dynamical systems of the Burgers and Korteweg-de Vries type. A related infinite bi-Hamiltonian hierarchy of Lax type dynamical systems is constructed.
Hamiltonian Monodromy is the simplest topological obstruction to the existence of global action-angle coordinates in a completely integrable system. We show that this property can be studied in a neighborhood of a focus-focus singularity by a spectral Lax pair approach. From the Lax pair, we derive a Riemann surface which allows us to compute in a straightforward way the corresponding Monodromy matrix. The general results are applied to the Jaynes-Cummings model and the spherical pendulum.
In this paper, we explore the initial-boundary value (IBV) problem for an integrable spin-1 Gross-Pitaevskii system with a 4x4 Lax pair on the finite interval by extending the Fokas unified transform approach. The solution of this system can be expressed in terms of the solution of a 4x4 matrix Riemann-Hilbert (RH) problem formulated in the complex k-plane. Furthermore, the relevant jump matrices with explicit (x, t)-dependence of the matrix RH problem can be explicitly found via three spectral functions {s(k), S(k), S_L(k)} arising from the initial data and the Dirichlet-Neumann boundary cond…
We consistently develop a recently proposed scheme of matrix extension of dispersionless integrable systems for the general case of multidimensional hierarchies, concentrating on the case of dimension $d\geqslant 4$. We present extended Lax pairs, Lax-Sato equations, matrix equations on the background of vector fields and the dressing scheme. Reductions, construction of solutions and connections to geometry are discussed. We consider separately a case of Abelian extension, for which the Riemann-Hilbert equations of the dressing scheme are explicitly solvable and give an analogue of Penrose for…
A generating function of the single Hurwitz numbers of the Riemann sphere $\mathbb{CP}^1$ is a tau function of the lattice KP hierarchy. The associated Lax operator $L$ turns out to be expressed as $L = e^{\mathfrak{L}}$, where $\mathfrak{L}$ is a difference-differential operator of the form $\mathfrak{L} = \partial_s - ve^{-\partial_s}$. $\mathfrak{L}$ satisfies a set of Lax equations that form a continuum version of the Bogoyavlensky-Itoh (aka hungry Lotka-Volterra) hierarchies. Emergence of this underlying integrable structure is further explained in the language of generalized string equat…
Integrable discretisations for a class of coupled (super) nonlinear Schrodinger (NLS) type of equations are presented. The class corresponds to a Lax operator with entries in a Grassmann algebra. Elementary Darboux transformations are constructed. As a result, Grassmann generalisations of the Toda lattice and the NLS dressing chain are obtained. The compatibility (Bianchi commutativity) of these Darboux transformations leads to integrable Grassmann generalisations of the difference Toda and NLS equations. The resulting systems will have discrete Lax representations provided by the set of two c…
We present a powerful method to generate various equations which possess the Lax representations on noncommutative (1+1) and (1+2)-dimensional spaces. The generated equations contain noncommutative integrable equations obtained by using the bicomplex method and by reductions of the noncommutative (anti-)self-dual Yang-Mills equation. This suggests that the noncommutative Lax equations would be integrable and be derived from reductions of the noncommutative (anti-)self-dual Yang-Mills equation, which implies the noncommutative version of Richard Ward conjecture. The integrability and the relati…
From classical Lax ODEs to quantum integrable theories: the moduli
Sezione INFN di Bologna, Dipartimento di Fisica e Astronomia, Università di Bologna(博洛尼亚大学物理与天文学系,意大利国家核物理研究所博洛尼亚分部);Dipartimento di Fisica dell’Università della Calabria and INFN, Gruppo collegato di Cosenza(卡塔尼亚大学物理系,意大利国家核物理研究所科森扎协作组)
Yang-Baxter (YB) map systems (or set-theoretic analoga of entwining YB structures) are presented. They admit zero curvature representations with spectral parameter depended Lax triples L1, L2, L3 derived from symplectic leaves of 2 x 2 binomial matrices equipped with the Sklyanin bracket. A unique factorization condition of the Lax triple implies a 3-dimensional compatibility property of these maps. In case L1 = L2 = L3 this property yields the se--theoretic quantum Yang-Baxter equation, i.e. the YB map property. By considering periodic 'staircase' initial value problems on quadrilateral latti…