[Paper Review] Shifted Yangians and finite W-algebras

Jonathan Brundan, Alexander Kleshchev|ArXiv.org|Jul 1, 2004

Advanced Topics in Algebra10 references19 citations

TL;DR

This paper presents a presentation of finite W-algebras associated to nilpotent elements in gl_n(C) using generalized Yangians, termed shifted Yangians. It establishes an isomorphism between the Yangian of level l and the finite W-algebra when the nilpotent element has n Jordan blocks of equal size l, extending earlier results by Ragoucy and Sorba.

ABSTRACT

We give a presentation for the finite W-algebra associated to a nilpotent matrix inside the general linear Lie algebra over C. In the special case that the nilpotent matrix consists of n Jordan blocks each of the same size l, the presentation is that of the Yangian of level l associated to the Lie algebra gl_n, as was first observed by Ragoucy and Sorba. In the general case, we are lead to introduce some generalizations of the Yangian which we call the shifted Yangians.

Motivation & Objective

• To provide a presentation of finite W-algebras associated to nilpotent elements in the general linear Lie algebra gl_n(C).
• To generalize the Yangian structure to accommodate arbitrary nilpotent orbits by introducing shifted Yangians.
• To extend the known isomorphism between finite W-algebras and Yangians from the case of regular nilpotent elements to arbitrary nilpotent orbits with a good grading.
• To establish a filtered algebra isomorphism between the shifted Yangian and the finite W-algebra using the Miura transform and Kazhdan filtration.
• To prove injectivity of the Miura transform and isomorphism of the associated graded algebras via dimension counting and PBW arguments.

Proposed method

• Introduce a good grading on gl_n(C) associated to a nilpotent element e, using the adjoint action of an sl_2-triple (e,h,f).
• Define the finite W-algebra W(χ) as the endomorphism algebra of a generalized Gelfand-Graev module Q_χ via quantum Hamiltonian reduction.
• Use the Kazhdan filtration on U(g) and induce it on W(χ), leading to a filtered algebra structure.
• Define shifted Yangians as deformations of the universal enveloping algebra of a Heisenberg-like subalgebra, generalizing the standard Yangian.
• Construct the Miura transform μ: W(π) → U(h) as a composition of projections and shift maps, mapping generators T_{i,j}^{(r)} to sums of matrix units in U(h).
• Prove that the Miura transform is injective and that the image matches the image of the standard Yangian embedding, using dimension comparison via PBW bases.

Experimental results

Research questions

• RQ1 How can finite W-algebras for arbitrary nilpotent orbits in gl_n(C) be presented using Yangian-type algebras?
• RQ2 What generalization of the Yangian algebra is required to describe finite W-algebras beyond the regular case?
• RQ3 Is there a filtered algebra isomorphism between a generalized Yangian and the finite W-algebra in the case of equal-sized Jordan blocks?
• RQ4 Can the Miura transform from the W-algebra to the universal enveloping algebra of a Levi subalgebra be shown to be injective and compatible with the filtration?
• RQ5 Does the associated graded algebra of the finite W-algebra match the symmetric algebra of the centralizer of e under the Kazhdan grading?

Key findings

• The finite W-algebra W(π) associated to a nilpotent element with n Jordan blocks of size l is isomorphic to the Yangian of level l for gl_n.
• The isomorphism is filtered, preserving the Kazhdan filtration on both sides, and maps generators T_{i,j}^{(r)} of the Yangian to the corresponding elements in W(π).
• The Miura transform μ: W(π) → U(h) is injective and its image coincides with the image of the standard Yangian embedding into U(h).
• The associated graded algebra of W(π) with respect to the Kazhdan filtration is isomorphic to the symmetric algebra S(c_g(e)) of the centralizer of e in g.
• Dimension counting via PBW bases and the Miura transform shows that the filtered subspaces of W(π) and Y_{n,l} have equal dimension at each degree, proving the isomorphism.
• The map θ in the diagram (8.4) is an isomorphism, confirming compatibility between the Miura transform and the filtration structure.