Yun's Minimal Reduction Conjecture

• The conjecture uniquely assigns a minimal nilpotent orbit from regular semisimple, topologically nilpotent elements on affine Springer fibers.
• It unifies geometric, representation-theoretic, and combinatorial insights by aligning Weyl group conjugacy classes with specific nilpotent orbits through Lusztig’s and Kazhdan–Lusztig maps.
• Recent proofs in classical and parahoric cases use Newton polygon analysis and j-induction techniques, establishing concrete uniqueness and canonicity in the reduction process.

Yun's Minimal Reduction Conjecture addresses the uniqueness of minimal nilpotent orbits arising as reductions from regular semisimple, topologically nilpotent points on affine Springer fibers. It unifies geometric, representation-theoretic, and cohomological phenomena at the interface of affine Springer theory, Weyl group combinatorics, and the study of nilpotent orbits. The conjecture, formulated by Zhiwei Yun, posits a canonical assignment from conjugacy classes in the Weyl group to the set of nilpotent orbits such that, generically, the set of minimal reductions is a singleton. This has been resolved in progressively broad generality, from hyperspecial and classical groups, to all parahoric subgroups, and has established equivalence with Lusztig’s geometric maps and the Kazhdan–Lusztig section.

1. Background and Formulation of the Conjecture

Consider a connected reductive group $G$ over $\mathbb{C}$ with Lie algebra $\mathfrak{g}$. The loop algebra $$L\mathfrak{g} = \mathfrak{g} \otimes_{\mathbb{C}} \mathbb{C}((t))$$ and its integral form $$L^+\mathfrak{g} = \mathfrak{g} \otimes_{\mathbb{C}} \mathbb{C}[[t]]$$ play a central role. Elements $\gamma \in L\mathfrak{g}$ are deemed regular semisimple if, over $\mathbb{C}((t))$, the centralizer is a maximal torus, and topologically nilpotent if all eigenvalues belong to the maximal ideal of $\mathbb{C}[[t]]$. The set $L^{\heartsuit}$ parametrizes such elements.

The affine Springer fiber for $\gamma \in L^{\heartsuit}$ is defined as

$$\mathrm{Gr}_\gamma = \{ gL^+G \in G((t))/G[[t]] \mid g^{-1} \gamma g \in L^+G \}$$

with an associated evaluation map

$$\mathrm{ev}_\gamma: \mathrm{Gr}_\gamma \to \underline{\mathcal{N}}$$

sending $g L^+ G$ to $g^{-1} \gamma g \mod t$, which falls in a nilpotent $G$-orbit in $\mathfrak{g}$. One sets $RT(\gamma)$ to be the set of nilpotent orbits meeting the image of $\mathrm{ev}_\gamma$, and $RT_{\min}(\gamma)$ the subset consisting of minimal elements with respect to the closure ordering.

Yun's Minimal Reduction Conjecture (Yun, 2020):

For every $\gamma \in L^{\heartsuit}$, the set $RT_{\min}(\gamma)$ consists of exactly one nilpotent orbit.

This conjecture is designed to offer geometric and representation-theoretic canonicity in the passage from loop algebra data to nilpotent orbits and is particularly subtle for non-hyperspecial parahoric subgroups and nontrivial fibers.

2. Geometric Framework: Affine Springer Fibers and Reduction Maps

Affine Springer fibers $\mathrm{Gr}_y$ and their variants (affine flag varieties $\mathrm{Fl}_y$ or more general partial flag varieties $\mathrm{Fl}_{P,y}$ for parahoric $P$) are reduced ind-schemes parametrizing $g$ such that $\mathrm{Ad}(g^{-1})y$ lies in the corresponding integral subalgebra. The fibers over nilpotent orbits under the reduction map partition these spaces into discrete strata.

Minimal reduction types are defined as those nilpotent orbits in the image of the evaluation map that are minimal with respect to the closure ordering. Crucially, the action of the centralizer group $LG_y$ plays a role in understanding the symmetry and transitivity on the fibers.

Yun's framework introduces the shallow locus—elements where the discriminant function achieves its minimal possible valuation for a given Weyl group type—and proves existence and uniqueness of minimal reduction types generically on these loci for each Weyl class $[w] \in W$ (Yun, 2020, Wang et al., 11 Jan 2026).

3. Key Theorems, Proof Techniques, and Relation to Lusztig's Maps

The conjecture is linked to two central combinatorial-geometric maps:

• The minimal-reduction-type map $RT_{\min}: W \to \mathcal{N}$, assigning to each Weyl conjugacy class $[w]$ a unique minimal nilpotent orbit associated to shallow elements of type $[w]$.
• The Kazhdan–Lusztig map $KL: \mathcal{N} \to W$, which is a section of $RT_{\min}$.

Yun shows that $RT_{\min}$ coincides with Lusztig's $\Phi$ and $KL$ with Lusztig's $\Psi$, establishing a canonical bijection between Weyl group combinatorics and the poset of nilpotent orbits (Yun, 2020). For classical groups, these claims are proved by an explicit analysis of fixed-point loci (the "skeleta") for loop torus actions on affine Grassmannians, while for exceptional groups, flatness results for arc-space maps and dimension computations establish irreducibility and uniqueness.

The main geometric innovations include:

• Root-valuation stratification of the arc space $L^+\mathfrak{c}$ (the Chevalley base) via the map $x: L\mathfrak{g} \to L^+\mathfrak{c}$, facilitating codimension counting and irreducibility arguments.
• The construction and explicit analysis of skeleta $X_w$ in affine Grassmannians, providing fine control over the number and types of minimal orbits appearing as reductions.

4. Complete Resolution in Classical and Parahoric Cases

For classical groups (types A, B, C, D), Wang–Wen–Wen offer constructive proofs for the conjecture, giving an explicit algorithm for determining $RT_{\min}(\gamma)$ in terms of the Newton polygon of the characteristic polynomial of $\gamma$ (Wang et al., 11 Jan 2026). The assignment involves:

• Computing the slopes and corresponding balanced partitions from the Newton polygon.
• In types B/D, enforcing Spaltenstein’s admissibility/parity conditions on partitions to identify the unique minimal admissible orbit.
• A step-by-step combinatorial procedure yields the partition labeling the minimal reduction orbit.

The work of Chua extends the conjecture to all standard parahorics, introducing refined invariants tied to representation theory:

• The set of j-induced Springer representations $R(y)$, defined via the action of combinatorial j-induction from Springer representations of Levi factors.
• The cohomological statement that for generic $y$, there is exactly one irreducible 2-special $W$-summand of maximal Bezrukavnikov $b$-value in the top stable cohomology of the affine Springer fiber, thus realizing a representation-theoretic refinement of minimal reduction (Chua, 7 Apr 2025).
• Theorem 7 of (Chua, 7 Apr 2025) identifies the parahoric Kazhdan–Lusztig class with the unique j-induced Springer module, establishing the compatibility between loop group geometry and classical Springer theory.

5. Examples, Algorithmic Procedure, and Structural Consequences

In type $SO_5$ (type B), a concrete example illustrates the algorithm:

• Given $$\chi_\gamma(\lambda) = (\lambda^2 + t^2)^2 \cdot \lambda$$, balanced partitioning and the parity adjustment for type B yield the unique minimal nilpotent orbit $[2,2,1]$ (Wang et al., 11 Jan 2026).

The explicit multi-step computation clarifies the concrete realization of the conjecture: compute characteristic polynomial, decompose into single-slope factors, form balanced blocks, apply admissibility rules, and obtain the unique minimal orbit.

Structurally, $RT_{\min}$ and $KL$ are order-preserving maps between the partially ordered sets $W$ (with the Spaltenstein order) and the nilpotent cone $\mathcal{N}$ (with closure ordering). The image of $KL$ corresponds to the so-called special conjugacy classes in the affine sense (Yun, 2020).

6. Parahoric Refinements and Cohomological Uniqueness

The naive extension of the conjecture to arbitrary parahorics fails at the level of nilpotent orbits—minimal elements in the fiber can be non-unique. However, j-induction restores uniqueness: for each $y$, the set of j-induced Springer representations attached to minimal reduction types is a singleton (Chua, 7 Apr 2025).

This cohomological realization is expressed in terms of the top stable cohomology, where exactly one irreducible 2-special $W$-summand appears. Example 33 in (Chua, 7 Apr 2025) demonstrates this phenomenon for $G=Sp(12)$ and a parahoric with Levi type $C_3 \times C_3$: two poset-incomparable nilpotent orbits appear, yet their j-induced Springer modules coincide, preserving the uniqueness at the representation-theoretic level.

7. Impact, Settled Conjectures, and Related Directions

The following foundational results have been established:

• Uniqueness and constructibility of minimal reduction types for all classical groups and $G_2$ (Yun, 2020, Wang et al., 11 Jan 2026).
• Equivalence of $RT_{\min}$ and Lusztig's $\Phi$, and of $KL$ and $\Psi$, yielding a conceptual geometric proof of longstanding conjectures on maps between Weyl groups and nilpotent orbits (Yun, 2020).
• Generic constancy of $RT_{\min}$ and transitivity of $LG_y$ on reduction fibers for shallow loci and many elliptic classes.
• Parahoric-level uniqueness of j-induced Springer modules and confirmation of Lusztig's strata conjecture (Chua, 7 Apr 2025).

The blend of affine Springer geometry, arc-space flatness, root-valuation stratification, and Springer-theoretic representation theory provides a robust, uniform mechanism for passing between loop group data and classical nilpotent invariants, answering several conjectures on the structure and classification of nilpotent orbits arising from loop algebras.