[Paper Review] Highest weight theory for finite W-algebras

Jonathan Brundan, Simon M. Goodwin+1 more|ArXiv.org|Jan 9, 2008

Algebraic structures and combinatorial models16 references4 citations

TL;DR

This paper establishes a highest weight theory for finite W-algebras by constructing Verma modules via parabolic induction from a minimal Levi subalgebra containing a nilpotent element e. It proves that finite-dimensional irreducible representations correspond precisely to highest weights whose row equivalence classes admit column-strict tableaux, providing a complete classification in the standard Levi type case via the Robinson-Schensted correspondence.

ABSTRACT

We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type.

Motivation & Objective

• To develop a highest weight theory for finite W-algebras analogous to classical Lie theory.
• To define Verma modules for finite W-algebras using parabolic induction from the smaller W-algebra U(g₀,e) where e is distinguished in a minimal Levi subalgebra g₀.
• To classify finite-dimensional irreducible representations of U(g,e) by identifying which highest weights yield finite-dimensional irreducible quotients.
• To formulate and verify conjectures on the finite-dimensionality of irreducible modules in the standard Levi type case.
• To connect the representation theory of finite W-algebras to the Robinson-Schensted correspondence and associated varieties of primitive ideals in U(g).

Proposed method

• Construct Verma modules M(Λ,e) by parabolically inducing finite-dimensional irreducible U(g₀,e)-modules VΛ to U(g,e), where g₀ is a minimal Levi subalgebra containing e.
• Define a category O(e) of U(g,e)-modules with composition series built from irreducible quotients L(Λ,e), generalizing the BGG category O.
• Use the restricted root system of U(g,e) to define a positive system of roots, which determines the highest weight structure.
• Leverage the isomorphism between U(g,e) and a quotient of a shifted Yangian in type A to import known results on highest weight modules.
• Apply the Robinson-Schensted row insertion algorithm to associate a tableau A(λ) to each highest weight λ, linking representation theory to combinatorics.
• Prove that L(Λ,e) is finite-dimensional if and only if the row equivalence class of Λ admits a column-strict tableau representative.

Experimental results

Research questions

• RQ1 Which highest weight modules for finite W-algebras have finite-dimensional irreducible quotients?
• RQ2 How can Verma modules be systematically constructed for finite W-algebras, given the absence of a Cartan subalgebra?
• RQ3 What combinatorial condition on highest weights ensures the finite-dimensionality of the corresponding irreducible representation?
• RQ4 How does the associated variety of the annihilator of an irreducible U(g)-module relate to the finite-dimensionality of the corresponding U(g,e)-module?
• RQ5 To what extent does the Robinson-Schensted correspondence control the classification of finite-dimensional irreducible representations of finite W-algebras?

Key findings

• The Verma module M(Λ,e) associated to a highest weight Λ ∈ L has a unique irreducible quotient L(Λ,e), establishing the standard highest weight module structure.
• The set of finite-dimensional irreducible U(g,e)-modules is parametrized by the subset L⁺ ⊆ L, where L⁺ consists of weights Λ for which the corresponding Verma module has finite-dimensional irreducible quotient.
• L(Λ,e) is finite-dimensional if and only if the row equivalence class of Λ admits a column-strict tableau representative, providing a combinatorial criterion.
• This criterion is equivalent to the associated variety of the annihilator of the corresponding U(g)-module being equal to the closure of the orbit G·e, linking representation theory to nilpotent orbit geometry.
• The classification recovers and extends the type A results from [BK2], with the finite-dimensionality condition fully characterized via the Robinson-Schensted correspondence.