Finite W-Algebras of Types B, C, and D

• Finite W-algebras of type B, C, and D are noncommutative filtered algebras constructed via quantum Hamiltonian reduction from classical Lie algebras and nilpotent elements.
• They feature compatible filtrations, such as the Kazhdan and loop filtrations, which yield graded structures linking to Slodowy slices and centralizer algebras.
• Explicit presentations via shifted twisted Yangians and Lax-type operators enable the systematic classification and construction of their finite-dimensional representations.

Finite W-algebras of type B, C, and D (abbreviated as BCD) are noncommutative filtered algebras associated to classical complex Lie algebras—specifically, the odd orthogonal $\mathfrak{so}_{2n+1}(\mathbb{C})$ (type B), symplectic $\mathfrak{sp}_{2n}(\mathbb{C})$ (type C), and even orthogonal $\mathfrak{so}_{2n}(\mathbb{C})$ (type D)—and a choice of nilpotent element $e$ whose Jordan type meets parity constraints. For even-multiplicity nilpotent orbits and even Dynkin grading, these algebras serve as filtered quantizations of Slodowy slices and provide a powerful, unifying framework for the structure and representation theory of the enveloping algebra $U(\mathfrak{g})$ in the neighborhood of $e$ (Brown et al., 2010, Brown, 2010, Lu et al., 6 May 2025, Brown, 2024).

1. Construction via Quantum Hamiltonian Reduction

The finite W-algebra $U(\mathfrak{g},e)$ is defined for a semisimple Lie algebra $\mathfrak{g}$ and a nilpotent element $e$ via reduction procedures rooted in the theory of invariant ideals and Slodowy slices. A standard approach is as follows (Brown et al., 2010, Brown, 2010, Brown, 2024):

1. $\mathfrak{sl}_2$-triple and Dynkin grading: Embed $\mathfrak{sp}_{2n}(\mathbb{C})$0 into an $\mathfrak{sp}_{2n}(\mathbb{C})$1-triple $\mathfrak{sp}_{2n}(\mathbb{C})$2 via the Jacobson–Morozov theorem, inducing a $\mathfrak{sp}_{2n}(\mathbb{C})$3-grading $\mathfrak{sp}_{2n}(\mathbb{C})$4, with $\mathfrak{sp}_{2n}(\mathbb{C})$5.
2. Choice of parabolic: Define subalgebras $\mathfrak{sp}_{2n}(\mathbb{C})$6, $\mathfrak{sp}_{2n}(\mathbb{C})$7. The parabolic subalgebra $\mathfrak{sp}_{2n}(\mathbb{C})$8 has Levi $\mathfrak{sp}_{2n}(\mathbb{C})$9.
3. Whittaker model/character: Identify $\mathfrak{so}_{2n}(\mathbb{C})$0 with a linear functional $\mathfrak{so}_{2n}(\mathbb{C})$1 using the invariant form. Promote $\mathfrak{so}_{2n}(\mathbb{C})$2 to $\mathfrak{so}_{2n}(\mathbb{C})$3 and define the induced module (Gelfand–Graev) $\mathfrak{so}_{2n}(\mathbb{C})$4.
4. Endomorphism algebra: The finite W-algebra is the oppositely-multiplied endomorphism algebra $\mathfrak{so}_{2n}(\mathbb{C})$5. Alternatively, $\mathfrak{so}_{2n}(\mathbb{C})$6 can be realized as a quantum Hamiltonian reduction:

$\mathfrak{so}_{2n}(\mathbb{C})$7

where $\mathfrak{so}_{2n}(\mathbb{C})$8.

For even Dynkin gradings and even-multiplicity $\mathfrak{so}_{2n}(\mathbb{C})$9, all odd degree spaces in the grading vanish, which simplifies the reduction (Brown, 2024).

2. Structure, Filtrations, and the Associated Graded

Finite W-algebras of type BCD are endowed with several compatible filtrations and associated graded structures (Brown, 2010, Sole et al., 2017, Brown, 2024):

• Kazhdan filtration: Declares $e$0 to be of degree $e$1, leading to

$e$2

where $e$3 is the Slodowy slice at $e$4.

• Loop filtration: Assigns degree $e$5 to elements of $e$6, producing

$e$7

where $e$8 is the centralizer of $e$9.

• PBW property: The associated graded is commutative and freely generated by images of a basis of $U(\mathfrak{g})$0 (with $U(\mathfrak{g})$1 from the $U(\mathfrak{g})$2-triple) (Sole et al., 2017, Brown, 2024).

The center $U(\mathfrak{g})$3 is isomorphic to the center $U(\mathfrak{g})$4 via the natural projection (Premet, Gan–Ginzburg), conferring a direct link between central characters of $U(\mathfrak{g})$5 and $U(\mathfrak{g})$6 (Brown et al., 2010).

3. Presentations via (Shifted) Twisted Yangians

Finite W-algebras in type BCD, for even nilpotent $U(\mathfrak{g})$7, admit explicit presentations in terms of twisted Yangians and their shifted/truncated versions:

• Twisted Yangians: For type B ($U(\mathfrak{g})$8, AI symmetry) and type C ($U(\mathfrak{g})$9, AII symmetry), the finite W-algebra $e$0 arises as a quotient of the appropriate twisted Yangian by level truncation determined by the Jordan block sizes (Brown, 2010, Lu et al., 6 May 2025).
• Shifted and truncated versions: For general even nilpotents, the associated finite W-algebra is isomorphic to a “truncated shifted twisted Yangian” $e$1; the data of the shift encodes the combinatorics of the orbit and the grading (Theorem F of (Lu et al., 6 May 2025)).
• Generators and relations: Fundamental generators correspond to parabolic Gauss components of the Yangian S-matrix $e$2, labeled $e$3 and $e$4. Relations include generalized Serre-like and symmetry constraints, as well as truncation conditions cutting off generators with degree exceeding the size of the Jordan blocks. In type D with more than two blocks, additional central elements (Pfaffians) are conjectured to be required (Lu et al., 6 May 2025).
• Miura map: The algebra embeds into $e$5, where $e$6 is the Levi of the grading, via the Miura transform, linking the W-algebra structure to polynomial invariants of centralizer subalgebras (Brown, 2010).

4. Representation Theory and Classification

The finite-dimensional irreducible representations of $e$7, for even-multiplicity nilpotent orbits, are classified using a highest-weight theory paralleling that for semisimple Lie algebras but adapted to the W-algebra setting (Brown et al., 2010, Brown et al., 2012, Brown, 2010):

• Levi subalgebra and canonical commutative subalgebra: Inside $e$8 there is a canonical subalgebra $e$9, with $U(\mathfrak{g},e)$0 the Weyl group of the centralizer; irreducibles are parameterized by $U(\mathfrak{g},e)$1-orbits in $U(\mathfrak{g},e)$2.
• Verma modules and their heads: Each $U(\mathfrak{g},e)$3-orbit yields a Verma module $U(\mathfrak{g},e)$4, whose irreducible head $U(\mathfrak{g},e)$5 gives all simple modules. The precise parametrization is controlled by the combinatorics of skew-symmetric fillings ("$U(\mathfrak{g},e)$6-tables" or pyramids) of the Young diagram corresponding to the Jordan type of $U(\mathfrak{g},e)$7 (Brown et al., 2010, Brown et al., 2012).
• Column-strictness and component group orbits: The module $U(\mathfrak{g},e)$8 is finite-dimensional if and only if $U(\mathfrak{g},e)$9 is $\mathfrak{g}$0-conjugate to a column-strict filling, where $\mathfrak{g}$1 is the component group $\mathfrak{g}$2. The $\mathfrak{g}$3-orbits of such fillings classify simple finite-dimensional modules with integral central character.
• Twisted Yangian realization: For rectangular nilpotent orbits (all blocks equal), representation theory parallels that of twisted Yangians; irreducibles correspond to Drinfeld polynomials obeying explicit degree and self-duality constraints (Brown, 2010).

5. Generators, Relations, and Lax-type Constructions

Recent developments provide explicit generating sets for finite W-algebras of type BCD, using Lax-type operators and generalized quasideterminants (Sole et al., 2017, Brown, 2024):

• Lax-type operators: Given a faithful representation $\mathfrak{g}$4 of $\mathfrak{g}$5, one constructs a matrix-valued operator $\mathfrak{g}$6 from the universal current $\mathfrak{g}$7 (built from $\mathfrak{g}$8 and the grading), with matrix coefficients in $\mathfrak{g}$9. The entries of $e$0 (and its right-handed variant $e$1) are shown to generate $e$2 (Sole et al., 2017, Brown, 2024).
• Yangian-type commutation relations: The series $e$3 satisfies generalized RTT or reflection-type relations (quadratic or Yangian-type), reflecting the connection to twisted Yangians. For even gradings and even-multiplicity $e$4, these relations serve as defining relations after appropriate truncations (Brown, 2024, Lu et al., 6 May 2025).
• Explicit structure and independence: The coefficients of $e$5 and $e$6 (for all highest weights $e$7 in $e$8) are algebraically independent in the graded sense, and their set generates the full $e$9-algebra as a filtered algebra (Brown, 2024).

6. Central Structure and Primitive Ideals

The central structure and applications to the enveloping algebra $\mathfrak{sl}_2$0 are well-developed (Brown et al., 2010, Lu et al., 6 May 2025):

• Center isomorphism: The projection $\mathfrak{sl}_2$1 is an isomorphism.
• Skryabin equivalence: There is an equivalence of categories between finite-dimensional $\mathfrak{sl}_2$2-modules and certain Whittaker modules for $\mathfrak{sl}_2$3 (Brown et al., 2010, Brown, 2010).
• Losev's map and primitive ideals: There exists a Losev-type map from primitive ideals of $\mathfrak{sl}_2$4 of finite codimension to primitive ideals of $\mathfrak{sl}_2$5 whose associated variety is the closure of $\mathfrak{sl}_2$6. The fibers correspond to $\mathfrak{sl}_2$7-orbits of simple modules.
• Type D conjectures: In the most general even nilpotent case of type D (more than two blocks), a new central Pfaffian generator is conjectured to be needed for a full description, with the squared Pfaffian equaling the highest Sklyanin-determinant central polynomial (Lu et al., 6 May 2025).

7. Examples and Applications

Explicit low-rank computations illustrate these structural features (Brown et al., 2010, Brown et al., 2012, Brown, 2024):

Type	Algebra	Jordan Type	# Simple Modules	Generating Invariants
B$\mathfrak{sl}_2$8	$\mathfrak{sl}_2$9	(2,2,1)	2	2 Lax-block generators
C$\mathfrak{sp}_{2n}(\mathbb{C})$00	$\mathfrak{sp}_{2n}(\mathbb{C})$01	(4,2)	3	10 Lax-type invariants
D$\mathfrak{sp}_{2n}(\mathbb{C})$02	$\mathfrak{sp}_{2n}(\mathbb{C})$03	(4,4)	4	4 Lax-block degrees

Each example confirms the correspondence between column-strict $\mathfrak{sp}_{2n}(\mathbb{C})$04-orbits in the relevant pyramid and the classification of simple finite-type modules, and recovers classical $\mathfrak{sp}_{2n}(\mathbb{C})$05-algebras (e.g., $\mathfrak{sp}_{2n}(\mathbb{C})$06 with degrees $\mathfrak{sp}_{2n}(\mathbb{C})$07) (Brown et al., 2010, Brown, 2024). The Lax-type generating sets and presentation via (truncated, shifted) twisted Yangians are explicit and computable in these settings (Lu et al., 6 May 2025, Brown, 2024).

---

References:

• (Brown et al., 2010): "Finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent orbits in classical Lie algebras"
• (Brown, 2010): "Representation theory of rectangular finite $\mathfrak{sp}_{2n}(\mathbb{C})$08-algebras"
• (Brown et al., 2012): "Representation theory of type B and C standard Levi W-algebras"
• (Sole et al., 2017): "A Lax type operator for quantum finite W-algebras"
• (Brown, 2024): "Finite $\mathfrak{sp}_{2n}(\mathbb{C})$09-algebra invariants via Lax type operators"
• (Lu et al., 6 May 2025): "Shifted twisted Yangians and finite $\mathfrak{sp}_{2n}(\mathbb{C})$10-algebras of classical type"