arXiv subjects

Leonid Rybnikov

Publications and source records attributed to Leonid Rybnikov.

31 records · Page 2Linked to original sources

arXiv2016

A proof of the Gaudin Bethe Ansatz conjecture

Gaudin algebra is the commutative subalgebra in $U(\mathfrak{g})^{\otimes N}$ generated by higher integrals of the quantum Gaudin magnet chain attached to a semisimple Lie algebra $\mathfrak{g}$. This algebra depends on a collection of pairwise distinct complex numbers $z_1,\ldots,z_N$. We prove that this subalgebra has a cyclic vector in the space of singular vectors of the tensor product of any finite-dimensional irreducible $\mathfrak{g}$-modules, for all values of the parameters $z_1,\ldots,z_N$. We deduce from this result the Bethe Ansatz conjecture in the Feigin-Frenkel form which states that the joint eigenvalues of the higher Gaudin Hamiltonians on the tensor product of irreducible finite-dimensional $\mathfrak{g}$-modules are in 1-1 correspondence with monodromy-free ${}^LG$-opers on the projective line with regular singularities at the points $z_1,\ldots,z_N,\infty$ and the prescribed residues at the singular points.

math.QA↗

arXiv2016

Cactus group and monodromy of Bethe vectors

Cactus group is the fundamental group of the real locus of the Deligne-Mumford moduli space of stable rational curves. This group appears naturally as an analog of the braid group in coboundary monoidal categories. We define an action of the cactus group on the set of Bethe vectors of the Gaudin magnet chain corresponding to arbitrary semisimple Lie algebra $\mathfrak{g}$. Cactus group appears in our construction as a subgroup in the Galois group of Bethe Ansatz equations. Following the idea of Pavel Etingof, we conjecture that this action is isomorphic to the action of the cactus group on the tensor product of crystals coming from the general coboundary category formalism. We prove this conjecture in the case $\mathfrak{g}=\mathfrak{s}\mathfrak{l}_2$ (in fact, for this case the conjecture almost immediately follows from the results of Varchenko on asymptotic solutions of the KZ equation and crystal bases). We also present some conjectures generalizing this result to Bethe vectors of shift of argument subalgebras and relating the cactus group with the Berenstein-Kirillov group of piecewise-linear symmetries of the Gelfand-Tsetlin polytope.

math.QA↗

arXiv2014

Quantization of Drinfeld Zastava in type C

Drinfeld zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of an affine Lie algebra $\hat g$. In case $g$ is the symplectic Lie algebra $sp_N$, we introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the zastava space isomorphically in characteristic 0. The natural Poisson structure on the zastava space $Z$ can be described in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization $Y$ of the coordinate ring of $Z$. The same quantization was obtained in the finite (as opposed to the affine) case generically in arXiv:math/0409031 . We prove that $Y$ is a quotient of the affine Borel Yangian. The analogous results for $g=sl_N$ were obtained in our previous work arXiv:1009.0676 .

math.AG↗

arXiv2014

Quantization of Drinfeld Zastava in type A

Drinfeld Zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of the affine Lie algebra $\hat{sl}_n$. We introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the Zastava space bijectively at the level of complex points. The natural Poisson structure on the Zastava space can be described on $Z$ in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization $Y$ of the coordinate ring of $Z$. The same quantization was obtained in the finite (as opposed to the affine) case generically in arXiv:math/0409031. We prove that, for generic values of quantization parameters, $Y$ is a quotient of the affine Borel Yangian.

math.AG↗

arXiv2012

A finite analog of the AGT relation I: finite W-algebras and quasimaps' spaces

Recently Alday, Gaiotto and Tachikawa proposed a conjecture relating 4-dimensional super-symmetric gauge theory for a gauge group G with certain 2-dimensional conformal field theory. This conjecture implies the existence of certain structures on the (equivariant) intersection cohomology of the Uhlenbeck partial compactification of the moduli space of framed G-bundles on P^2. More precisely, it predicts the existence of an action of the corresponding W-algebra on the above cohomology, satisfying certain properties. We propose a "finite analog" of the (above corollary of the) AGT conjecture. Namely, we replace the Uhlenbeck space with the space of based quasi-maps from P^1 to any partial flag variety G/P of G and conjecture that its equivariant intersection cohomology carries an action of the finite W-algebra U(g,e) associated with the principal nilpotent element in the Lie algebra of the Levi subgroup of P; this action is expected to satisfy some list of natural properties. This conjecture generalizes the main result of arXiv:math/0401409 when P is the Borel subgroup. We prove our conjecture for G=GL(N), using the works of Brundan and Kleshchev interpreting the algebra U(g,e) in terms of certain shifted Yangians.

math.AG↗

arXiv2011

Gelfand-Tsetlin algebras and cohomology rings of Laumon spaces

Laumon moduli spaces are certain smooth closures of the moduli spaces of maps from the projective line to the flag variety of GL_n. We calculate the equivariant cohomology rings of the Laumon moduli spaces in terms of Gelfand-Tsetlin subalgebra of U(gl_n), and formulate a conjectural answer for the small quantum cohomology rings in terms of certain commutative shift of argument subalgebras of U(gl_n).

math.AG↗

arXiv2011

Yangians and cohomology rings of Laumon spaces

Laumon moduli spaces are certain smooth closures of the moduli spaces of maps from the projective line to the flag variety of $GL_n$. We construct the action of the Yangian of $sl_n$ in the cohomology of Laumon spaces by certain natural correspondences. We construct the action of the affine Yangian (two-parametric deformation of the universal enveloping algebra of the universal central extension of $sl_n[s^{\pm1},t]$) in the cohomology of the affine version of Laumon spaces. We compute the matrix coefficients of the generators of the affine Yangian in the fixed point basis of cohomology. This basis is an affine analogue of the Gelfand-Tsetlin basis. The affine analogue of the Gelfand-Tsetlin algebra surjects onto the equivariant cohomology rings of the affine Laumon spaces. The cohomology ring of the moduli space $M_{n,d}$ of torsion free sheaves on the plane, of rank $n$ and second Chern class $d$, trivialized at infinity, is naturally embedded into the cohomology ring of certain affine Laumon space. It is the image of the center $Z$ of the Yangian of $gl_n$ naturally embedded into the affine Yangian. In particular, the first Chern class of the determinant line bundle on $M_{n,d}$ is the image of a noncommutative power sum in $Z$.

math.AG↗

arXiv2009

Limits of Gaudin Systems: Classical and Quantum Cases

We consider the XXX homogeneous Gaudin system with $N$ sites, both in classical and the quantum case. In particular we show that a suitable limiting procedure for letting the poles of its Lax matrix collide can be used to define new families of Liouville integrals (in the classical case) and new "Gaudin" algebras (in the quantum case). We will especially treat the case of total collisions, that gives rise to (a generalization of) the so called Bending flows of Kapovich and Millson. Some aspects of multi-Poisson geometry will be addressed (in the classical case). We will make use of properties of "Manin matrices" to provide explicit generators of the Gaudin Algebras in the quantum case.

math.QA↗

arXiv2009

On the endomorphisms of Weyl modules over affine Kac-Moody algebras at the critical level

We present an independent short proof of the main result of arXiv:0706.3725 that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. We derive this from the results of arXiv:0712.1183 about the shift of argument subalgebras.

math.QA↗

arXiv2008

Opers with irregular singularity and spectra of the shift of argument subalgebra

The universal enveloping algebra of any simple Lie algebra g contains a family of commutative subalgebras, called the quantum shift of argument subalgebras math.RT/0606380, math.QA/0612798. We prove that generically their action on finite-dimensional modules is diagonalizable and their joint spectra are in bijection with the set of monodromy-free opers for the Langlands dual group of G on the projective line with regular singularity at one point and irregular singularity of order two at another point. We also prove a multi-point generalization of this result, describing the spectra of commuting Hamiltonians in Gaudin models with irregular singulairity. In addition, we show that the quantum shift of argument subalgebra corresponding to a regular nilpotent element of g has a cyclic vector in any irreducible finite-dimensional g-module. As a byproduct, we obtain the structure of a Gorenstein ring on any such module. This fact may have geometric significance related to the intersection cohomology of Schubert varieties in the affine Grassmannian.

math.QA↗

arXiv2006

Argument Shift Method and Gaudin Model

We construct a family of maximal commutative subalgebras in the tensor product of n copies of the universal enveloping algebra U(g) of a semisimple Lie algebra g. This family is parameterized by collections μ; z_1,...,z_n, where μ\in g^*, and z_1,...,z_n are pairwise distinct complex numbers. The construction presented here generalizes the famous construction of the higher Gaudin hamiltonians due to Feigin, Frenkel, and Reshetikhin. For n=1, our construction gives a quantization of the family of maximal Poisson-commutative subalgebras in S(g) obtained by the argument shift method. Next, we describe natural representations of commutative algebras of our family in tensor products of finite-dimensional g-modules as certain degenerations of the Gaudin model. In the case of g=sl_r we prove that our commutative subalgebras have simple spectrum in tensor products of finite-dimensional g-modules for generic μand z_i. This implies simplicity of spectrum in the "generic" sl_r Gaudin model.

math.RT↗

arXiv2006

Centralizers of certain quadratic elements in Poisson--Lie algebras and Argument Shift method

We study maximal Poisson-commutative subalgebras in the Poisson algebra $S(\mathfrak{g})$ of a semisimple Lie algebra $\mathfrak{g}$ constructed by Mischenko and Fomenko with the help of the argument shift method. We prove that these subalgebras are Poisson centralizers of certain quadratic elements of $S(\mathfrak{g})$. We deduce from this that there is a unique quantization of Mischenko--Fomenko subalgebras, i.e. there is a unique way to lift Mischenko--Fomenko subalgebras to commutative subalgebras of the universal enveloping algebra $U(\mathfrak{g})$.

math.QA↗

arXiv2006

Uniqueness of higher Gaudin hamiltonians

For any semisimple Lie algebra $\mathfrak{g}$, the universal enveloping algebra of the infinite-dimensional pro-nilpotent Lie algebra $\mathfrak{g}_-:=\mathfrak{g}\otimes t^{-1}\mathbb{C}[t^{-1}]$ contains a large commutative subalgebra $\mathcal{A}\subset U(\mathfrak{g}_-)$. This subalgebra comes from the center of the universal enveloping of the affine Kac--Moody algebra $\hat{\mathfrak{g}}$ at the critical level and gives rise to the construction of higher hamiltonians of the Gaudin model (due to Feigin, Frenkel and Reshetikhin). Though there are no explicit formulas for the generators of $\mathcal{A}$ known in general, the "classical analogue" of this subalgebra, i.e. the associated graded subalgebra in the Poisson algebra $A\subset S(\mathfrak{g}_-)$, can be easily described. In this note we show that the "classical" subalgebra $A\subset S(\mathfrak{g}_-)$ is the Poisson centralizer of some of its quadratic elements, and deduce from this that the "quantum" subalgebra $\mathcal{A}\subset U(\mathfrak{g}_-)$ is uniquely determined by the space of quadratic elements of the classical one. In particular, this means that some different constructions of higher Gaudin hamiltonians (namely, Feigin-Frenkel-Reshetikhin's method and Talalaev-Chervov's method), give the same family of commuting operators. The proof uses some ideas of the previous paper math.QA/0608586.

math.QA↗