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

TL;DR

This paper investigates the structure and geometric properties of the Zassenhaus variety associated with finite W-algebras in prime characteristic, extending previous results and establishing birational equivalence to a rational affine scheme.

Contribution

It extends earlier work on the structure of Zassenhaus varieties for finite W-algebras to weaker prime characteristic conditions and describes their geometric properties.

Findings

Zassenhaus variety is birationally equivalent to a good transverse slice.

The structure results of the center of W-algebras hold under weaker prime characteristic assumptions.

Reestablishment of rationality of Zassenhaus varieties in the case e=0.

Abstract

Let $Z(\mathcal{W})$ be the center of the finite $W$-algebra $\mathcal{W}({\mathfrak{g}},e)$ associated with $\mathfrak{g}=\text{Lie}(G)$ and a nilpotent element $e\in\mathfrak{g}$ for a connected reductive algebraic group $G$ over an algebraically closed field $\mathbf{k}$ of prime characteristic $p$ under the standard hypotheses (H1)-(H3) in [Jantzen]. In this paper, we first demonstrate that our previous results in [Shu-Zeng] on the structure and geometric properties of $Z(\mathcal{W})$ for $p>>0$ are still true under the present weakened restriction on $p$. Then we study the Zassenhaus variety $\mathscr{Z}$ of $\mathcal{W}(\mathfrak{g},e)$, which is by definition the maximal spectrum $\text{Specm}(Z(\mathcal{W}))$ of $Z({\mathcal{W}})$. On basis of the structure properties of $Z({\mathcal{W}})$, we describe $\mathscr{Z}$ via a good transverse slice $\mathcal{S}$ and show that $\mathscr{Z}$ is birationally equivalent to $\mathcal{S}$, thereby a rational affine scheme. In the special case when $e=0$, we reobtain one of the main results of [Tange] on the rationality of the Zassenhaus varieites for reductive Lie algebras in prime characteristic.