-
RE-algebras, quasi-determinants and the full Toda system
Authors:
Dmitry V. Talalaev
Abstract:
In 1991, Gelfand and Retakh embodied the idea of a noncommutative Dieudonne determinant in the case of RTT algebra, namely, they found a representation of the quantum determinant of RTT algebra in the form of a product of principal quasi-determinants. In this note we construct an analogue of the above statement for the RE-algebra corresponding to the Drinfeld R-matrix for the order $n=2,3$. Namely…
▽ More
In 1991, Gelfand and Retakh embodied the idea of a noncommutative Dieudonne determinant in the case of RTT algebra, namely, they found a representation of the quantum determinant of RTT algebra in the form of a product of principal quasi-determinants. In this note we construct an analogue of the above statement for the RE-algebra corresponding to the Drinfeld R-matrix for the order $n=2,3$. Namely, we have found a family of quasi-determinants that are principal with respect to the antidiagonal, commuting among themselves, whose product turns out to be the quantum determinant of this algebra. This family generalizes the construction of integrals of the full Toda system due to Deift et al. for the quantum case of RE-algebras. In our opinion, this result also clarifies the role of RE-algebras as a quantum homogeneous spaces and can be used to construct effective quantum field theories with a boundary.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
n-valued quandles and associated bialgebras
Authors:
Valeriy G. Bardakov,
Tatyana A. Kozlovskaya,
Dmitry V. Talalaev
Abstract:
The principal aim of this article is to introduce and study n-valued quandles and n-corack bialgebras. We elaborate the basic methods of this theory, reproduce the coset construction known in the theory of n-valued groups. We also consider a construction of n-valued quandles using n-multi-quandles. In contrast to the case of n-valued groups this construction turns out to be quite rich in algebraic…
▽ More
The principal aim of this article is to introduce and study n-valued quandles and n-corack bialgebras. We elaborate the basic methods of this theory, reproduce the coset construction known in the theory of n-valued groups. We also consider a construction of n-valued quandles using n-multi-quandles. In contrast to the case of n-valued groups this construction turns out to be quite rich in algebraic and topological applications. An important part of the work is the study of the properties of n-corack bialgebras those role is analogous to the group bialgebra.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Full symmetric Toda system: QR-solution for complete DLNT-family
Authors:
Yury B. Chernyakov,
Georgy I. Sharygin,
Dmitry V. Talalaev
Abstract:
The paper is devoted to the algebraic and geometric aspects of the full symmetric Toda system. We construct a solution to the complete Deift-Li-Nanda-Tomei flows system using the QR decomposition method. For this purpose we introduce specialized invariant tensor operations on the Lax operator of the model. These operations have a direct interpretation in terms of the representation theory of Lie a…
▽ More
The paper is devoted to the algebraic and geometric aspects of the full symmetric Toda system. We construct a solution to the complete Deift-Li-Nanda-Tomei flows system using the QR decomposition method. For this purpose we introduce specialized invariant tensor operations on the Lax operator of the model. These operations have a direct interpretation in terms of the representation theory of Lie algebras. We expect that this approach can be effective in studying the geometry of flag varieties.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
Extensions of Yang-Baxter sets
Authors:
Valeriy G. Bardakov,
Dmitry V. Talalaev
Abstract:
The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of solutions for the Yang-Baxter equation on the product of B and C if given B and C correspond to two linear (set-theoretic) solutions of the Yang-Baxter equation. On…
▽ More
The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of solutions for the Yang-Baxter equation on the product of B and C if given B and C correspond to two linear (set-theoretic) solutions of the Yang-Baxter equation. One of the key observation is the relation of this question with the virtual pure braid group.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Vertex electrical model: lagrangian and non-negative properties
Authors:
Dmitry Talalaev
Abstract:
This note is a modest addition to the work arXiv:2109.13952. Here we construct an embedding of the space of electrical networks to the totally non-negative Lagrangian Grassmannian in a generic situation with the help of the technique of vertex integrable models of statistical mechanics.
This note is a modest addition to the work arXiv:2109.13952. Here we construct an embedding of the space of electrical networks to the totally non-negative Lagrangian Grassmannian in a generic situation with the help of the technique of vertex integrable models of statistical mechanics.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
Electrical Networks, Lagrangian Grassmannians and Symplectic Groups
Authors:
Boris Bychkov,
Vassily Gorbounov,
Anton Kazakov,
Dmitry Talalaev
Abstract:
We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction…
▽ More
We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.
△ Less
Submitted 4 March, 2024; v1 submitted 28 September, 2021;
originally announced September 2021.
-
Functional Relations on Anisotropic Potts Models: from Biggs Formula to the Tetrahedron Equation
Authors:
Boris Bychkov,
Anton Kazakov,
Dmitry Talalaev
Abstract:
We explore several types of functional relations on the family of multivariate Tutte polynomials: the Biggs formula and the star-triangle ($Y-Δ$) transformation at the critical point $n=2$. We deduce the theorem of Matiyasevich and its inverse from the Biggs formula, and we apply this relation to construct the recursion on the parameter $n$. We provide two different proofs of the Zamolodchikov tet…
▽ More
We explore several types of functional relations on the family of multivariate Tutte polynomials: the Biggs formula and the star-triangle ($Y-Δ$) transformation at the critical point $n=2$. We deduce the theorem of Matiyasevich and its inverse from the Biggs formula, and we apply this relation to construct the recursion on the parameter $n$. We provide two different proofs of the Zamolodchikov tetrahedron equation satisfied by the star-triangle transformation in the case of $n=2$ multivariate Tutte polynomial, we extend the latter to the case of valency 2 points and show that the Biggs formula and the star-triangle transformation commute.
△ Less
Submitted 7 April, 2021; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Electrical varieties as vertex integrable statistical models
Authors:
Vassily Gorbounov,
Dmitry Talalaev
Abstract:
We propose a new approach to studying electrical networks interpreting the Ohm law as the operator which solves certain Local Yang-Baxter equation. Using this operator and the medial graph of the electrical network we define a vertex integrable statistical model and its boundary partition function. This gives an equivalent description of electrical networks We show that in the important case of an…
▽ More
We propose a new approach to studying electrical networks interpreting the Ohm law as the operator which solves certain Local Yang-Baxter equation. Using this operator and the medial graph of the electrical network we define a vertex integrable statistical model and its boundary partition function. This gives an equivalent description of electrical networks We show that in the important case of an electrical network on the standard graph introduced by Curtis, Ingerman and Morrow, the response matrix of an electrical network, its most important feature, and the boundary partition function of our statistical model can be recovered from each other.
Defining the electrical varieties in the usual way we compare them to the theory of the Lusztig varieties developed by Berenstein, Fomin and Zelevinsky. In our picture the former turns out to be a deformation of the latter. We describe how our approach produces new interesting mathematical structures on the electrical varieties. Our results should be compared to the earlier work started in Lam and Pylyavskyy on the connection between the Lusztig varieties and the electrical varieties.
△ Less
Submitted 9 May, 2019;
originally announced May 2019.
-
KZ equations and Bethe subalgebras in generalized Yangians related to compatible R-matrices
Authors:
Dimitri Gurevich,
Pavel Saponov,
Dmitry Talalaev
Abstract:
The notion of compatible braidings was introduced by Isaev, Ogievetsky and Pyatov. On the base of this notion they defined certain quantum matrix algebras generalizing the RTT algebras and Reflection Equation ones. They also defined analogs of some symmetric polynomials in these algebras and showed that these polynomials generate commutative subalgebras, called Bethe. By using a similar approach w…
▽ More
The notion of compatible braidings was introduced by Isaev, Ogievetsky and Pyatov. On the base of this notion they defined certain quantum matrix algebras generalizing the RTT algebras and Reflection Equation ones. They also defined analogs of some symmetric polynomials in these algebras and showed that these polynomials generate commutative subalgebras, called Bethe. By using a similar approach we introduce certain new algebras called generalized Yangians and define analogs of some symmetric polynomials in these algebras. We claim that they commute with each other and thus generate a commutative Bethe subalgebra in each generalized Yangian. Besides, we define some analogs (also arising from couples of compatible braidings) of the Knizhnik-Zamolodchikov equation--classical and quantum.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
The Full Symmetric Toda Flow and Intersections of Bruhat Cells
Authors:
Yuri B. Chernyakov,
Georgy I. Sharygin,
Alexander S. Sorin,
Dmitry V. Talalaev
Abstract:
In this short note we show that the Bruhat cells in real normal forms of semisimple Lie algebras enjoy the same property as their complex analogs: for any two elements $w$, $w'$ in the Weyl group $W(\mathfrak g)$, the corresponding real Bruhat cell $X_w$ intersects with the dual Bruhat cell $Y_{w'}$ iff $w\prec w'$ in the Bruhat order on $W(\mathfrak g)$. Here $\mathfrak g$ is a normal real form o…
▽ More
In this short note we show that the Bruhat cells in real normal forms of semisimple Lie algebras enjoy the same property as their complex analogs: for any two elements $w$, $w'$ in the Weyl group $W(\mathfrak g)$, the corresponding real Bruhat cell $X_w$ intersects with the dual Bruhat cell $Y_{w'}$ iff $w\prec w'$ in the Bruhat order on $W(\mathfrak g)$. Here $\mathfrak g$ is a normal real form of a semisimple complex Lie algebra $\mathfrak g_\mathbb C$. Our reasoning is based on the properties of the Toda flows rather than on the analysis of the Weyl group action and geometric considerations.
△ Less
Submitted 12 November, 2020; v1 submitted 22 October, 2018;
originally announced October 2018.
-
Asymmetric Hopfield neural network and twisted tetrahedron equation
Authors:
Dmitry V. Talalaev
Abstract:
We generalize the approach of arXiv:1805.04138 for the case of the Hopfield neural network in the recall stage on a triangular lattice with isotropic weights. It appears that some properties of this model, in particular the probability of passing a trajectory in time dynamics, obeys the Gibbs distribution with a partition function having a vertex realization. Moreover the corresponding weight matr…
▽ More
We generalize the approach of arXiv:1805.04138 for the case of the Hopfield neural network in the recall stage on a triangular lattice with isotropic weights. It appears that some properties of this model, in particular the probability of passing a trajectory in time dynamics, obeys the Gibbs distribution with a partition function having a vertex realization. Moreover the corresponding weight matrix satisfies the TTE - some deformation of the Zamolodchikov tetrahedron equation, the latter playing the role analogous to the Yang-Baxter equation in 3-dimensional statistical models.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Towards integrable structure in 3d Ising model
Authors:
Dmitry V. Talalaev
Abstract:
We construct a weight matrix for the 3D Ising model satisfying the so-called twisted tetrahedron equation. The result is based on the theory of the n-simplicial complex and the invented recursion procedure on the space of n-simplex solutions in correspondences. The weight matrix reveals some properties intrinsic for the hypercube combinatorics.
We construct a weight matrix for the 3D Ising model satisfying the so-called twisted tetrahedron equation. The result is based on the theory of the n-simplicial complex and the invented recursion procedure on the space of n-simplex solutions in correspondences. The weight matrix reveals some properties intrinsic for the hypercube combinatorics.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
-
Drinfeld-Sokolov reduction in quantum algebras
Authors:
Dimitri Gurevich,
Pavel Saponov,
Dmitry Talalaev
Abstract:
Applying the method of the paper [CT], we perform a quantum version of the Drinfeld-Sokolov reduction in Reflection Equation algebras and braided Yangians, associated with involutive and Hecke symmetries of general forms. This reduction is based on the Cayley-Hamilton identity valid for the generating matrices of these algebras.
Applying the method of the paper [CT], we perform a quantum version of the Drinfeld-Sokolov reduction in Reflection Equation algebras and braided Yangians, associated with involutive and Hecke symmetries of general forms. This reduction is based on the Cayley-Hamilton identity valid for the generating matrices of these algebras.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Cohomology of the tetrahedral complex and quasi-invariants of 2-knots
Authors:
I. G. Korepanov,
G. I. Sharygin,
D. V. Talalaev
Abstract:
This paper explores a particular statistical model on 6-valent graphs with special properties which turns out to be invariant with respect to certain Roseman moves if the graph is the singular point graph of a diagram of a 2-knot. The approach uses the technic of the tetrahedral complex cohomology. We emphasize that this model considered on regular 3d-lattices appears to be integrable. We also set…
▽ More
This paper explores a particular statistical model on 6-valent graphs with special properties which turns out to be invariant with respect to certain Roseman moves if the graph is the singular point graph of a diagram of a 2-knot. The approach uses the technic of the tetrahedral complex cohomology. We emphasize that this model considered on regular 3d-lattices appears to be integrable. We also set out some ideas about the possible connection of this construction with the area of topological quantum field theories in dimension 4.
△ Less
Submitted 11 October, 2015;
originally announced October 2015.
-
Zamolodchikov Tetrahedral Equation and Higher Hamiltonians of 2d Quantum Integrable Systems
Authors:
Dmitry V. Talalaev
Abstract:
The main aim of this work is to develop a method of constructing higher Hamiltonians of quantum integrable systems associated with the solution of the Zamolodchikov tetrahedral equation. As opposed to the result of V.V. Bazhanov and S.M. Sergeev the approach presented here is effective for generic solutions of the tetrahedral equation without spectral parameter. In a sense, this result is a two-di…
▽ More
The main aim of this work is to develop a method of constructing higher Hamiltonians of quantum integrable systems associated with the solution of the Zamolodchikov tetrahedral equation. As opposed to the result of V.V. Bazhanov and S.M. Sergeev the approach presented here is effective for generic solutions of the tetrahedral equation without spectral parameter. In a sense, this result is a two-dimensional generalization of the method by J.-M. Maillet. The work is a part of the project relating the tetrahedral equation with the quasi-invariants of 2-knots.
△ Less
Submitted 22 May, 2017; v1 submitted 25 May, 2015;
originally announced May 2015.
-
Cohomologies of $n$-simplex relations
Authors:
Igor Korepanov,
Georgy Sharygin,
Dmitry Talalaev
Abstract:
A theory of (co)homologies related to set-theoretic $n$-simplex relations is constructed in analogy with the known quandle and Yang--Baxter (co)homologies, with emphasis made on the tetrahedron case. In particular, this permits us to generalize Hietarinta's idea of "permutation-type" solutions to the quantum (or "tensor") $n$-simplex equations. Explicit examples of solutions to the tetrahedron equ…
▽ More
A theory of (co)homologies related to set-theoretic $n$-simplex relations is constructed in analogy with the known quandle and Yang--Baxter (co)homologies, with emphasis made on the tetrahedron case. In particular, this permits us to generalize Hietarinta's idea of "permutation-type" solutions to the quantum (or "tensor") $n$-simplex equations. Explicit examples of solutions to the tetrahedron equation involving nontrivial cocycles are presented.
△ Less
Submitted 18 December, 2014; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Deformation quantization of integrable systems
Authors:
Georgy Sharygin,
Dmitry Talalaev
Abstract:
In this paper we address the following question: is it always possible to choose a deformation quantization of a Poisson algebra A so that certain Poisson-commutative subalgebra C in it remains commutative? We define a series of cohomological obstructions to this, that take values in the Hochschild cohomology of C with coefficients in A. In some particular case of the pair (A,C) we reduce these cl…
▽ More
In this paper we address the following question: is it always possible to choose a deformation quantization of a Poisson algebra A so that certain Poisson-commutative subalgebra C in it remains commutative? We define a series of cohomological obstructions to this, that take values in the Hochschild cohomology of C with coefficients in A. In some particular case of the pair (A,C) we reduce these classes to the classes of the Poisson relative cohomology of the Hochschild cohomology. We show, that in the case, when the algebra C is polynomial, these obstructions coincide with the previously known ones, those which were defined by Garay and van Straten.
△ Less
Submitted 11 November, 2013; v1 submitted 10 October, 2012;
originally announced October 2012.
-
Quantum generic Toda system
Authors:
D. Talalaev
Abstract:
The Toda chains take a particular place in the theory of integrable systems, in contrast with the linear group structure for the Gaudin model this system is related to the corresponding Borel group and mediately to the geometry of flag varieties. The main goal of this paper is to reconstruct a "spectral curve" in a wider context of the generic Toda system. This appears to be an efficient way to fi…
▽ More
The Toda chains take a particular place in the theory of integrable systems, in contrast with the linear group structure for the Gaudin model this system is related to the corresponding Borel group and mediately to the geometry of flag varieties. The main goal of this paper is to reconstruct a "spectral curve" in a wider context of the generic Toda system. This appears to be an efficient way to find its quantization which is obtained here by the technique of quantum characteristic polynomial for the Gaudin model and an appropriate AKS reduction. We discuss also some relations of this result with the recent consideration of the Drinfeld Zastava space, the monopole space and corresponding Borel Yangian symmetries.
△ Less
Submitted 15 December, 2010;
originally announced December 2010.
-
Manin Matrices, Quantum Elliptic Commutative Families and Characteristic Polynomial of Elliptic Gaudin Model
Authors:
Vladimir Rubtsov,
Alexey Silantyev,
Dmitri Talalaev
Abstract:
In this paper we construct the quantum spectral curve for the quantum dynamical elliptic gl(n) Gaudin model. We realize it considering a commutative family corresponding to the Felder's elliptic quantum group and taking the appropriate limit. The approach of Manin matrices here suits well to the problem of constructing the generation function of commuting elements which plays an important role i…
▽ More
In this paper we construct the quantum spectral curve for the quantum dynamical elliptic gl(n) Gaudin model. We realize it considering a commutative family corresponding to the Felder's elliptic quantum group and taking the appropriate limit. The approach of Manin matrices here suits well to the problem of constructing the generation function of commuting elements which plays an important role in SoV and Langlands concept.
△ Less
Submitted 24 December, 2009; v1 submitted 27 August, 2009;
originally announced August 2009.
-
Bethe ansatz and Isomonodromic deformations
Authors:
D. Talalaev
Abstract:
We study symmetries of the Bethe equations for the Gaudin model appeared naturally in the framework of the geometric Langlands correspondence under the name of Hecke operators and under the name of Schlesinger transformations in the theory of isomonodromic deformations, and particularly in the theory of Painlevé transcendents.
We study symmetries of the Bethe equations for the Gaudin model appeared naturally in the framework of the geometric Langlands correspondence under the name of Hecke operators and under the name of Schlesinger transformations in the theory of isomonodromic deformations, and particularly in the theory of Painlevé transcendents.
△ Less
Submitted 22 November, 2008; v1 submitted 4 February, 2008;
originally announced February 2008.
-
On the Bethe Ansatz for the Jaynes-Cummings-Gaudin model
Authors:
Olivier Babelon,
Dmitri Talalaev
Abstract:
We investigate the quantum Jaynes-Cummings model - a particular case of the Gaudin model with one of the spins being infinite. Starting from the Bethe equations we derive Baxter's equation and from it a closed set of equations for the eigenvalues of the commuting Hamiltonians. A scalar product in the separated variables representation is found for which the commuting Hamiltonians are Hermitian.…
▽ More
We investigate the quantum Jaynes-Cummings model - a particular case of the Gaudin model with one of the spins being infinite. Starting from the Bethe equations we derive Baxter's equation and from it a closed set of equations for the eigenvalues of the commuting Hamiltonians. A scalar product in the separated variables representation is found for which the commuting Hamiltonians are Hermitian. In the semi classical limit the Bethe roots accumulate on very specific curves in the complex plane. We give the equation of these curves. They build up a system of cuts modeling the spectral curve as a two sheeted cover of the complex plane. Finally, we extend some of these results to the XXX Heisenberg spin chain.
△ Less
Submitted 13 March, 2007;
originally announced March 2007.
-
KZ equation, G-opers, quantum Drinfeld-Sokolov reduction and quantum Cayley-Hamilton identity
Authors:
A. Chervov,
D. Talalaev
Abstract:
The Lax operator of the Gaudin type models is a 1-form on the classical level. In virtue of the quantization scheme proposed in [Talalaev04] (hep-th/0404153) it is natural to treat the quantum Lax operator as a connection; this connection is a particular case of the Knizhnik-Zamolodchikov connection [ChervovTalalaev06] (hep-th/0604128). In this paper we find a gauge transformation which produces…
▽ More
The Lax operator of the Gaudin type models is a 1-form on the classical level. In virtue of the quantization scheme proposed in [Talalaev04] (hep-th/0404153) it is natural to treat the quantum Lax operator as a connection; this connection is a particular case of the Knizhnik-Zamolodchikov connection [ChervovTalalaev06] (hep-th/0604128). In this paper we find a gauge transformation which produces the "second normal form" or the "Drinfeld-Sokolov" form. Moreover the differential operator naturally corresponding to this form is given precisely by the quantum characteristic polynomial [Talalaev04] of the Lax operator (this operator is called the G-oper or Baxter equation). This observation allows to relate solutions of the KZ and Baxter equations in an obvious way, and to prove that the immanent KZ-equations has only meromorphic solutions. As a corollary we obtain the quantum Cayley-Hamilton identity for the Gaudin-type Lax operators (including the general gl(n)[t] case). The presented construction sheds a new light on a geometric Langlands correspondence. We also discuss the relation with the Harish-Chandra homomorphism.
△ Less
Submitted 9 August, 2006; v1 submitted 31 July, 2006;
originally announced July 2006.
-
Quantum spectral curves, quantum integrable systems and the geometric Langlands correspondence
Authors:
A. Chervov,
D. Talalaev
Abstract:
The spectral curve is the key ingredient in the modern theory of classical integrable systems. We develop a construction of the ``quantum spectral curve'' and argue that it takes the analogous structural and unifying role on the quantum level also. In the simplest, but essential case the ``quantum spectral curve'' is given by the formula "det"(L(z)-dz) [Talalaev04] (hep-th/0404153). As an easy a…
▽ More
The spectral curve is the key ingredient in the modern theory of classical integrable systems. We develop a construction of the ``quantum spectral curve'' and argue that it takes the analogous structural and unifying role on the quantum level also. In the simplest, but essential case the ``quantum spectral curve'' is given by the formula "det"(L(z)-dz) [Talalaev04] (hep-th/0404153). As an easy application of our constructions we obtain the following: quite a universal receipt to define quantum commuting hamiltonians from the classical ones, in particular an explicit description of a maximal commutative subalgebra in U(gl(n)[t])/t^N and in U(\g[t^{-1}])\otimes U(t\g[t]); its relation with the center on the of the affine algebra; an explicit formula for the center generators and a conjecture on W-algebra generators; a receipt to obtain the q-deformation of these results; the simple and explicit construction of the Langlands correspondence; the relation between the ``quantum spectral curve'' and the Knizhnik-Zamolodchikov equation; new generalizations of the KZ-equation; the conjecture on rationality of the solutions of the KZ-equation for special values of level. In the simplest cases we observe the coincidence of the ``quantum spectral curve'' and the so-called Baxter equation. Connection with the KZ-equation offers a new powerful way to construct the Baxter's Q-operator.
△ Less
Submitted 12 September, 2006; v1 submitted 19 April, 2006;
originally announced April 2006.
-
On the Lie-formality of Poisson manifolds
Authors:
G. Sharygin,
D. Talalaev
Abstract:
Starting from the problem of describing cohomological invariants of Poisson manifolds we prove in a sense a ``no-go'' result: the differential graded Lie algebra of de Rham forms on a smooth Poisson manifold is formal.
Starting from the problem of describing cohomological invariants of Poisson manifolds we prove in a sense a ``no-go'' result: the differential graded Lie algebra of de Rham forms on a smooth Poisson manifold is formal.
△ Less
Submitted 28 March, 2005;
originally announced March 2005.
-
Universal G-oper and Gaudin eigenproblem
Authors:
A. Chervov,
D. Talalaev
Abstract:
This paper is devoted to the eigenvalue problem for the quantum Gaudin system. We prove the universal correspondence between eigenvalues of Gaudin Hamiltonians and the so-called G-opers without monodromy in general gl(n) case modulo a hypothesys on the analytic properties of the solution of a KZ-type equation.
Firstly we explore the quantum analog of the characteristic polynomial which is a dif…
▽ More
This paper is devoted to the eigenvalue problem for the quantum Gaudin system. We prove the universal correspondence between eigenvalues of Gaudin Hamiltonians and the so-called G-opers without monodromy in general gl(n) case modulo a hypothesys on the analytic properties of the solution of a KZ-type equation.
Firstly we explore the quantum analog of the characteristic polynomial which is a differential operator in a variable $u$ with the coefficients in U(gl(n))^{\otimes N}. We will call it "universal G-oper". It is constructed by the formula "Det"(L(u)-\partial_u) where L(u) is the quantum Lax operator for the Gaudin model and "Det" is appropriate definition of the determinant. The coefficients of this differential operator are quantum Gaudin Hamiltonians obtained by one of the authors (D.T. hep-th/0404153). We establish the correspondence between eigenvalues and $G$-opers as follows: taking eigen-values of the Gaudin's hamiltonians on the joint eigen-vector in the tensor product of finite-dimensional representation of gl(n) and substituting them into the universal G-oper we obtain the scalar differential operator (scalar G-oper) which conjecturally does not have monodromy. We strongly believe that our quantization of the Gaudin model coincides with quantization obtained from the center of universal envelo** algebra on the critical level and that our scalar G-oper coincides with the G-oper obtained by the geometric Langlands correspondence, hence it provides very simple and explicit map (Langlands correspondence) from Hitchin D-modules to G-opers in the case of rational base curves. It seems to be easy to generalize the constructions to the case of other semisimple Lie algebras and models like XYZ.
△ Less
Submitted 13 July, 2006; v1 submitted 1 September, 2004;
originally announced September 2004.
-
Quantization of the Gaudin System
Authors:
D. Talalaev
Abstract:
In this article we exploit the known commutative family in Y(gl(n)) - the Bethe subalgebra - and its special limit to construct quantization of the Gaudin integrable system. We give explicit expressions for quantum hamiltonians QI_k(u), k=1,..., n. At small order k=1,...,3 they coincide with the quasiclassic ones, even in the case k=4 we obtain quantum correction.
In this article we exploit the known commutative family in Y(gl(n)) - the Bethe subalgebra - and its special limit to construct quantization of the Gaudin integrable system. We give explicit expressions for quantum hamiltonians QI_k(u), k=1,..., n. At small order k=1,...,3 they coincide with the quasiclassic ones, even in the case k=4 we obtain quantum correction.
△ Less
Submitted 21 April, 2004;
originally announced April 2004.
-
Rational Lax operators and their quantization
Authors:
A. Chervov,
L. Rybnikov,
D. Talalaev
Abstract:
We investigate the construction of the quantum commuting hamiltonians for the Gaudin integrable model. We prove that [Tr L^k(z), Tr L^m(u) ]=0, for k,m < 4 . However this naive receipt of quantization of classically commuting hamiltonians fails in general, for example we prove that [Tr L^4(z), Tr L^2(u) ] \ne 0. We investigate in details the case of the one spin Gaudin model with the magnetic fi…
▽ More
We investigate the construction of the quantum commuting hamiltonians for the Gaudin integrable model. We prove that [Tr L^k(z), Tr L^m(u) ]=0, for k,m < 4 . However this naive receipt of quantization of classically commuting hamiltonians fails in general, for example we prove that [Tr L^4(z), Tr L^2(u) ] \ne 0. We investigate in details the case of the one spin Gaudin model with the magnetic field also known as the model obtained by the "argument shift method". Mathematically speaking this method gives maximal Poisson commutative subalgebras in the symmetric algebra S(gl(N)). We show that such subalgebras can be lifted to U(gl(N)), simply considering Tr L(z)^k, k\le N for N<5. For N=6 this method fails: [Tr L_{MF}(z)^6, L_{MF}(u)^3]\ne 0 . All the proofs are based on the explicit calculations using r-matrix technique. We also propose the general receipt to find the commutation formula for powers of Lax operator. For small power exponents we find the complete commutation relations between powers of Lax operators.
△ Less
Submitted 15 April, 2004;
originally announced April 2004.
-
Hitchin systems on singular curves II. Gluing subschemes
Authors:
A. Chervov,
D. Talalaev
Abstract:
In this paper we continue our studies of Hitchin systems on singular curves (started in hep-th/0303069). We consider a rather general class of curves which can be obtained from the projective line by gluing two subschemes together (i.e. their affine part is: Spec $\{f \in \CC[z]: f(A(\ep))=f((B(\ep)); \ep^N=0 \}$, where $A(\ep), B(\ep)$ are arbitrary polynomials) . The most simple examples are t…
▽ More
In this paper we continue our studies of Hitchin systems on singular curves (started in hep-th/0303069). We consider a rather general class of curves which can be obtained from the projective line by gluing two subschemes together (i.e. their affine part is: Spec $\{f \in \CC[z]: f(A(\ep))=f((B(\ep)); \ep^N=0 \}$, where $A(\ep), B(\ep)$ are arbitrary polynomials) . The most simple examples are the generalized cusp curves which are projectivizations of Spec $\{f \in \CC[z]: f'(0)=f''(0)=...f^{N-1}(0)=0 \}$). We describe the geometry of such curves; in particular we calculate their genus (for some curves the calculation appears to be related with the iteration of polynomials $A(\ep), B(\ep)$ defining the subschemes). We obtain the explicit description of moduli space of vector bundles, the dualizing sheaf, Higgs field and other ingredients of the Hitchin integrable systems; these results may deserve the independent interest. We prove the integrability of Hitchin systems on such curves. To do this we develop $r$-matrix formalism for the functions on the truncated loop group $GL_n(\CC[z]), z^N=0$. We also show how to obtain the Hitchin integrable systems on such curves as hamiltonian reduction from the more simple system on some finite-dimensional space.
△ Less
Submitted 10 September, 2003; v1 submitted 4 September, 2003;
originally announced September 2003.
-
Riemann bilinear form and Poisson structure in Hitchin-type systems
Authors:
D. Talalaev
Abstract:
In this paper we reinterpret the Poisson structure of the Hitchin-type system in cohomological terms. The principal ingredient of a new interpretation in the case of the Beauville system is the meromorphic cohomology of the spectral curve, and the main result is the identification of the Riemann bilinear form and the symplectic structure of the model. Eventual perspectives of this approach lie i…
▽ More
In this paper we reinterpret the Poisson structure of the Hitchin-type system in cohomological terms. The principal ingredient of a new interpretation in the case of the Beauville system is the meromorphic cohomology of the spectral curve, and the main result is the identification of the Riemann bilinear form and the symplectic structure of the model. Eventual perspectives of this approach lie in the quantization domain.
△ Less
Submitted 10 April, 2003;
originally announced April 2003.
-
Hitchin system on singular curves I
Authors:
A. Chervov,
D. Talalaev
Abstract:
In this paper we study Hitchin system on singular curves. Some examples of such system were first considered by N. Nekrasov (hep-th/9503157), but our methods are different. We consider the curves which can be obtained from the projective line by gluing several points together or by taking cusp singularities. (More general cases of gluing subschemas will be considered in the next paper). It appea…
▽ More
In this paper we study Hitchin system on singular curves. Some examples of such system were first considered by N. Nekrasov (hep-th/9503157), but our methods are different. We consider the curves which can be obtained from the projective line by gluing several points together or by taking cusp singularities. (More general cases of gluing subschemas will be considered in the next paper). It appears that on such curves all ingredients of Hitchin integrable system (moduli space of vector bundles, dualizing sheaf, Higgs field etc.) can be explicitly described, which may deserve independent interest. As a main result we find explicit formulas for the Hitchin hamiltonians. We also show how to obtain the Hitchin integrable system on such a curve as a hamiltonian reduction from a more simple system on some finite-dimensional space. In this paper we also work out the case of a degenerate curve of genus two and find the analogue of the Narasimhan-Ramanan parameterization of SL(2)-bundles. We describe the Hitchin system in such coordinates. As a demonstration of the efficiency of our approach we also rederive the rational and trigonometric Calogero systems from the Hitchin system on cusp and node with a marked point.
△ Less
Submitted 8 March, 2003;
originally announced March 2003.
-
The elliptic Gaudin system with spin
Authors:
D. Talalaev
Abstract:
The elliptic Gaudin model was obtained as the Hitchin system on an elliptic curve with two fixed points. In the present paper the algebraic-geometrical structure of the system with two fixed points is clarified. We identify this system with poles dynamics of the finite gap solutions of Davey-Stewartson equation. The solutions of this system in terms of theta-functions and the action-angle variab…
▽ More
The elliptic Gaudin model was obtained as the Hitchin system on an elliptic curve with two fixed points. In the present paper the algebraic-geometrical structure of the system with two fixed points is clarified. We identify this system with poles dynamics of the finite gap solutions of Davey-Stewartson equation. The solutions of this system in terms of theta-functions and the action-angle variables are constructed. We also discuss the geometry of its degenerations.
△ Less
Submitted 17 January, 2002; v1 submitted 31 January, 2001;
originally announced January 2001.
-
Universal R-matrix formalism for the spin Calogero-Moser system and its difference counterpart
Authors:
D. Talalaev
Abstract:
The expression of the quantum Ruijsenaars-Schneider Hamiltonian is obtained in the framework of the dynamical $R$-matrix formalism. This generalizes to the case of $U_q(sl_n)$ the result obtained by O. Babelon, D. Bernard and E. Billey for $U_q(sl_2)$ which is the higher difference Lame operator. The general method involved is the universal $R$-matrix construction.
The expression of the quantum Ruijsenaars-Schneider Hamiltonian is obtained in the framework of the dynamical $R$-matrix formalism. This generalizes to the case of $U_q(sl_n)$ the result obtained by O. Babelon, D. Bernard and E. Billey for $U_q(sl_2)$ which is the higher difference Lame operator. The general method involved is the universal $R$-matrix construction.
△ Less
Submitted 6 September, 1999; v1 submitted 2 September, 1999;
originally announced September 1999.