On the Zassenhaus varieties of finite $W$-algebras in prime characteristic

This paper extends previous results on the structure of the center of finite $W$-algebras to a broader range of prime characteristics and demonstrates that their Zassenhaus varieties are rational affine schemes birationally equivalent to a good transverse slice.

The Gist

Imagine you are a master architect trying to understand the blueprint of a massive, invisible city called The Finite W-Algebra. This city isn't made of bricks and mortar, but of abstract mathematical rules and symmetries.

For a long time, mathematicians could only study this city if the "weather" (a mathematical concept called characteristic $p$) was perfect—specifically, if the number $p$ was huge. If the weather was "bad" (meaning $p$ was small or just "okay"), the blueprints seemed too blurry to read.

This paper, by Bin Shu and Yang Zeng, is like a team of explorers who say: "We don't need perfect weather anymore. We can map this city even when the conditions are a bit rough."

Here is the story of their journey, broken down into simple concepts:

1. The City and the "Center"

Think of the Finite W-Algebra as a complex, multi-dimensional city. Every city has a "Center"—a central hub where the most important rules of the city are written down. In math, this is called the Center ($Z(W)$).

• The Problem: For a long time, we only knew how to read the rules in this Center when the mathematical "weather" ($p$) was extremely large.
• The Breakthrough: The authors prove that the rules they discovered for the "perfect weather" scenario actually hold true even when the weather is just "standard" (satisfying some basic safety checks called hypotheses H1-H3). They didn't just guess; they rebuilt the foundation to be stronger.

2. The "Zassenhaus Variety": The City's Map

The authors focus on a specific part of the Center called the Zassenhaus Variety.

• The Analogy: Imagine the Center is a library of all possible laws. The Zassenhaus Variety is the index or the map of that library. It tells you, "If you want to find a specific type of rule, look in this section."
• The Goal: They wanted to know: What does this map actually look like? Is it a messy scribble, or is it a clean, organized grid?

3. The "Good Transverse Slice": A Shortcut Through the Jungle

To understand the map, they used a clever trick involving something called a "Good Transverse Slice."

• The Metaphor: Imagine the city is a dense, tangled jungle. Trying to walk through the whole jungle to find your way is impossible. But, there is a specific, straight path (a "slice") that cuts right through the jungle, perpendicular to the main chaos.
• The Discovery: The authors showed that the complex map of the city (the Zassenhaus Variety) is actually birationally equivalent to this simple, straight path.
  • Translation: "Birationally equivalent" is a fancy way of saying, "If you zoom out and ignore a few tiny, messy details, the complex city map looks exactly like a simple, straight line."

4. The "Rationality" Result: It's All Just a Grid

The biggest punchline of the paper is Theorem 1.3.

• The Concept: In math, a shape is called "Rational" if it can be smoothly stretched and twisted to look like a simple flat sheet of paper (or a standard grid).
• The Result: The authors proved that the Zassenhaus Variety is Rational.
• The Analogy: Before this, people thought the map of the city might be a twisted, knotted ball of yarn that could never be untangled. Shu and Zeng proved that, actually, it's just a flat sheet of paper. You can flatten it out, and it makes perfect, logical sense.

5. Why Does This Matter?

• The "Special Case" (When $e=0$): If you take the nilpotent element $e$ (which acts like a specific "twist" in the city's structure) and set it to zero, the city becomes a standard, well-known Lie algebra.
• The Victory: In this special case, their result re-proves a famous conjecture by Tange, confirming that even for these standard cities, the map is a simple, rational grid. But their work goes further: it works for all these twisted, complex cities, not just the simple ones.

Summary in One Sentence

Bin Shu and Yang Zeng proved that the complex, abstract "map" of a specific type of mathematical city (the Finite W-Algebra) is actually just a simple, flat grid in disguise, and they managed to prove this even when the mathematical conditions weren't perfect.

The Takeaway: They took a problem that seemed to require "perfect conditions" to solve, relaxed the rules, and showed that the underlying structure is beautifully simple and organized, just like a well-drawn map.

Technical Summary

Here is a detailed technical summary of the paper "On the Zassenhaus Varieties of Finite W-Algebras in Prime Characteristic" by Bin Shu and Yang Zeng.

1. Problem Statement

The paper addresses the structural and geometric properties of the center $Z(W)$ of finite W-algebras $W(\mathfrak{g}, e)$ associated with a reductive Lie algebra $\mathfrak{g}$ and a nilpotent element $e$ over an algebraically closed field $k$ of prime characteristic $p$.

Specifically, the authors aim to:

1. Weaken the characteristic restriction: Previous results on the structure of $Z(W)$ (specifically regarding its generators and the Azumaya property) were established under the assumption that $p \gg 0$ (sufficiently large). The authors seek to prove these results under the standard hypotheses (H1)-(H3) (derived group simply connected, $p$ is a good prime, existence of a non-degenerate invariant bilinear form), which allows for a broader range of primes.
2. Describe the Zassenhaus Variety: Investigate the geometric structure of the maximal spectrum $\text{Specm}(Z(W))$, known as the Zassenhaus variety.
3. Establish Rationality: Prove that the Zassenhaus variety is a rational affine variety (i.e., its function field is purely transcendental over $k$).

2. Methodology

The authors employ a combination of representation theory, algebraic geometry, and modular Lie algebra theory.

• Alternative Formulation of W-Algebras: Instead of relying on the "reduction modulo $p$" of complex W-algebras (which requires $p \gg 0$), the authors utilize the formulation by Goodwin and Topley. This defines $W(\mathfrak{g}, e)$ directly over $k$ as the invariants of a Gelfand-Graev-Premet module $Q_\chi$ under the action of a unipotent group $M$. This formulation is valid under the standard hypotheses (H1)-(H3).
• Good Transverse Slices: The core geometric tool is the good transverse slice $S = e + \mathfrak{v}$, where $\mathfrak{v}$ is a $T[e]$-stable complement to $[\mathfrak{g}, e]$ in $\mathfrak{g}$. The authors analyze the coordinate ring of the Frobenius twist of this slice, $\kappa(S)^{(1)}$, to describe the $p$-center of the W-algebra.
• Frobenius Twists and Invariants: The paper heavily utilizes the Frobenius twist $(\cdot)^{(1)}$ and the study of invariants under the Weyl group $W$ and the unipotent group $M$. They relate the center $Z(W)$ to the intersection of the $p$-center $Z_0(W)$ and the Harish-Chandra center $Z_1(W)$.
• Birational Geometry: To prove rationality, the authors construct specific open dense subsets of the Zassenhaus variety and demonstrate that they are isomorphic to open subsets of affine spaces. They utilize the properties of regular semisimple elements within the transverse slice.

3. Key Contributions and Results

A. Structure of the Center $Z(W)$ (Theorem 1.1)

The authors generalize previous results to the setting of standard hypotheses (H1)-(H3). They prove:

1. Generators: $Z(W)$ is generated by the $p$-center $Z_0(W)$ and the Harish-Chandra center $Z_1(W)$.
2. Module Structure: $Z(W)$ is a free module of rank $p^r$ over $Z_0(W)$, where $r$ is the rank of $\mathfrak{g}$.
3. Tensor Product Isomorphism: The multiplication map $\mu: Z_0(W) \otimes_{Z_0(W) \cap Z_1(W)} Z_1(W) \to Z(W)$ is an isomorphism of $k$-algebras.
4. Geometric Characterization: The locus of points in $\text{Specm}(Z(W))$ that annihilate irreducible modules of maximal dimension coincides with the smooth locus of the variety.

B. Description of the Zassenhaus Variety (Theorem 1.2)

The paper provides a precise geometric description of the Zassenhaus variety $Z = \text{Specm}(Z(W))$.

• Isomorphism: There is a canonical isomorphism of schemes:
  $$Z \cong \kappa(S)^{(1)} \times_V \mathfrak{h}^*/W$$
  where:
  • $S = e + \mathfrak{v}$ is the good transverse slice.
  • $\kappa(S)^{(1)}$ is the Frobenius twist of the slice (via the Killing isomorphism).
  • $V$ is the affine variety defined by the intersection $Z_0(W) \cap Z_1(W)$, which is a polynomial ring of rank $r$.
  • $\mathfrak{h}^*/W$ is the quotient of the dual Cartan subalgebra by the Weyl group.
• This result generalizes the known structure for reductive Lie algebras (where $e=0$) to the case of finite W-algebras.

C. Rationality of the Zassenhaus Variety (Theorem 1.3 & 5.7)

The main geometric result is the proof that the Zassenhaus variety is rational.

• Strategy: The authors construct an open dense subset $Z^\flat \subset Z$ (corresponding to regular semisimple elements).
• Isomorphism: They prove that $Z^\flat$ is isomorphic to $\kappa(S)_{rss}$ (the regular semisimple part of the transverse slice).
• Conclusion: Since $\kappa(S)$ is an affine space (isomorphic to $\mathfrak{v}$), and $Z^\flat$ is a dense open subset of $Z$ isomorphic to a dense open subset of an affine space, $Z$ is birationally equivalent to an affine space. Thus, $Z$ is a rational variety.

4. Significance

• Relaxation of Constraints: The paper removes the restrictive "sufficiently large prime" ($p \gg 0$) condition from the theory of finite W-algebra centers, replacing it with the standard Jantzen hypotheses. This significantly broadens the applicability of the theory to more modular cases.
• Geometric Insight: By establishing the isomorphism between the Zassenhaus variety and a fiber product involving the transverse slice, the paper provides a concrete geometric model for the spectrum of the center, linking representation theory directly to the geometry of nilpotent orbits.
• Rationality Confirmation: The proof of rationality confirms a conjecture (related to J. Alev's work) for finite W-algebras, extending Tange's earlier results on reductive Lie algebras. This is crucial for understanding the classification of irreducible representations in prime characteristic, as the geometry of the center dictates the structure of the representation theory (via the Kac-Weisfeiler conjecture and related frameworks).
• Methodological Advancement: The use of Goodwin-Topley's direct definition over $k$ combined with the analysis of Frobenius twists and transverse slices offers a robust framework for future studies of modular W-algebras without relying on complex reduction techniques.

In summary, Shu and Zeng successfully extend the structural theory of finite W-algebras to a wider range of prime characteristics and provide a definitive geometric description and proof of rationality for their associated Zassenhaus varieties.