2025-11-14T22:43:11.882781

Minimal Nilpotent Orbits and Toric Varieties

Jia, Li
Let $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ be the collection of elements of $\mathfrak{sl}_{n+1}(\mathbb C)$ with rank less than or equal to $1$ and with all diagonal entries equal to zero. We show that the coordinate ring $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ of the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ has a flat degeneration to the ring of $(\mathbb C^{\times})^n$-equivariant cohomology of the projective toric variety associated with the fan of compatible subsets of almost positive roots of type $C_n$. Then we compute the Hilbert series of $\mathbb C[\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)]$ and prove that $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ is reduced and Gorenstein. Moreover, our proof method allows us to prove that the scheme-theoretic intersection $\overline{\mathcal{O}}_\textrm{min} \cap \mathfrak n^+$, of which the irreducible components are known as the ``orbital varieties'', is reduced and Cohen-Macaulay.
academic

Minimal Nilpotent Orbits and Toric Varieties

Basic Information

  • Paper ID: 2511.02179
  • Title: Minimal Nilpotent Orbits and Toric Varieties
  • Authors: Boming Jia (Tsinghua University), Yu Li (University of Notre Dame)
  • Classification: math.AG (Algebraic Geometry), math.AC (Commutative Algebra), math.RT (Representation Theory)
  • Submission Date: Submitted to arXiv on November 4, 2025
  • Paper Link: https://arxiv.org/abs/2511.02179

Abstract

This paper investigates the scheme-theoretic intersection of the minimal nilpotent orbit closure O‾min\overline{\mathcal{O}}_{\text{min}} in the Lie algebra sln+1(C)\mathfrak{sl}_{n+1}(\mathbb{C}) with the strictly upper/lower triangular subalgebra n+⊕n−\mathfrak{n}^+ \oplus \mathfrak{n}^-. The main results include:

  1. Proving that the coordinate ring C[O‾min∩(n+⊕n−)]\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)] flatly degenerates to the (C×)n(\mathbb{C}^{\times})^n-equivariant cohomology ring of the projective toric variety corresponding to the fan of almost positive root compatible subsets of type CnC_n
  2. Computing the Hilbert series of this coordinate ring and proving that O‾min∩(n+⊕n−)\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-) is reduced and Gorenstein
  3. Proving that the orbit variety O‾min∩n+\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+ is reduced and Cohen-Macaulay

Research Background and Motivation

Problem Background

  1. Context of the Hikita Conjecture: In symplectic duality theory, the Hikita conjecture predicts that for a pair of dual symplectic resolutions Y→XY \to X and Y∨→X∨Y^\vee \to X^\vee, there exists a ring isomorphism C[XC×]≅H∗(Y∨)\mathbb{C}[X^{\mathbb{C}^{\times}}] \cong H^*(Y^\vee). For the minimal nilpotent orbit case, Shlykov (2019) proved that C[O‾min∩h]≅H∗(C2/Zn+1~)\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{h}] \cong H^*(\widetilde{\mathbb{C}^2/\mathbb{Z}_{n+1}})
  2. Complementary Investigation: This paper studies the complementary case—rather than taking the intersection with the Cartan subalgebra h\mathfrak{h}, it studies the intersection with its complement n+⊕n−\mathfrak{n}^+ \oplus \mathfrak{n}^-
  3. New Mechanism Connecting Root Systems: The paper establishes a connection between type AA and type CC root systems, but this connection is not realized through the "folding" of simply-laced Dynkin diagrams (which typically folds A2n−1A_{2n-1} to obtain CnC_n), but rather through a direct correspondence between equirank AnA_n and CnC_n

Significance

  1. Fundamental Objects in Geometric Representation Theory: Orbit varieties are foundational objects in geometric representation theory, connecting Weyl group representations to geometric properties of flag varieties via the Springer correspondence
  2. Bridge Between Combinatorics and Geometry: Establishes a connection between type CnC_n Catalan combinatorics and the geometry of minimal nilpotent orbits
  3. Singularity Theory: Provides an elementary method for proving that O‾min\overline{\mathcal{O}}_{\text{min}} is Gorenstein, independent of symplectic singularity theory

Limitations of Existing Methods

  1. Reducedness of Orbit Varieties Unknown: For general orbit varieties, when they are reduced remains an open problem
  2. Proof of Gorenstein Property: Beauville used symplectic singularity theory to prove that O‾min\overline{\mathcal{O}}_{\text{min}} is rationally Gorenstein, but the method is quite sophisticated

Innovations of This Paper

Uses Gröbner basis techniques and Stanley-Reisner ring theory for toric varieties to provide an elementary and effective set of tools for studying the algebraic properties of these geometric objects.

Core Contributions

  1. Flat Degeneration Theorem (Theorem 1.2): Establishes a flat degeneration of C[O‾min∩(n+⊕n−)]\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)] to the equivariant cohomology of a type CnC_n toric variety
  2. Hilbert Series Computation (Theorem 1.3): Proves that hC[O‾min∩(n+⊕n−)](t)=∑i=0n(ni)2ti(1−t)nh_{\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]}(t) = \frac{\sum_{i=0}^n \binom{n}{i}^2 t^i}{(1-t)^n} where the coefficients (ni)2\binom{n}{i}^2 are type CnC_n Narayana numbers
  3. Geometric Properties (Theorems 1.3, 1.4): Proves that
    • O‾min∩(n+⊕n−)\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-) is reduced and Gorenstein
    • O‾min∩n+\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+ is reduced and Cohen-Macaulay
  4. Elementary Proof (Corollary 6.4): Provides an elementary proof that O‾min\overline{\mathcal{O}}_{\text{min}} is Gorenstein
  5. Root System Bijection: Constructs an explicit bijection between all roots of type AnA_n and almost positive roots of type CnC_n, and characterizes compatibility

Methodology Details

Task Definition

Input: The Lie algebra sln+1(C)\mathfrak{sl}_{n+1}(\mathbb{C}) and its minimal nilpotent orbit closure O‾min\overline{\mathcal{O}}_{\text{min}}

Output:

  1. Algebraic properties of the coordinate ring of the scheme-theoretic intersection O‾min∩(n+⊕n−)\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)
  2. Geometric properties of this intersection (reducedness, Gorenstein property, etc.)
  3. Explicit formula for the Hilbert series

Constraints:

  • O‾min\overline{\mathcal{O}}_{\text{min}} consists of rank 1 matrices and the zero matrix
  • n+⊕n−\mathfrak{n}^+ \oplus \mathfrak{n}^- requires all diagonal entries to be zero

Core Technical Framework

1. Root System Bijection Construction (Sections 3-4)

For the type CnC_n root system, let ε1,…,εn\varepsilon_1, \ldots, \varepsilon_n be the standard basis, with positive roots: {εi±εj:1≤i<j≤n}∪{2εi:1≤i≤n}\{\varepsilon_i \pm \varepsilon_j : 1 \leq i < j \leq n\} \cup \{2\varepsilon_i : 1 \leq i \leq n\}

Almost Positive Roots: Φ≥−1Cn=Φ+Cn⊔(−ΠCn)\Phi^{C_n}_{\geq -1} = \Phi^{C_n}_+ \sqcup (-\Pi^{C_n})

Key Bijection: Each root α∈Φ≥−1Cn\alpha \in \Phi^{C_n}_{\geq -1} is placed at position (i,j)(i,j) in an (n+1)×(n+1)(n+1) \times (n+1) matrix, such that this position corresponds to a root space in the type AnA_n root system:

0 & -\varepsilon_1+\varepsilon_2 & -\varepsilon_2+\varepsilon_3 & \cdots & -2\varepsilon_n \\ 2\varepsilon_1 & 0 & \varepsilon_1-\varepsilon_2 & \cdots & \varepsilon_1-\varepsilon_n \\ \varepsilon_1+\varepsilon_2 & 2\varepsilon_2 & 0 & \cdots & \varepsilon_2-\varepsilon_n \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ \varepsilon_1+\varepsilon_n & \varepsilon_2+\varepsilon_n & \varepsilon_3+\varepsilon_n & \cdots & 0 \end{pmatrix}$$ #### 2. Compatibility Characterization (Theorem 4.6) Introduces the Coxeter element $c$ and the map $\tau: \Phi_{\geq -1} \to \Phi_{\geq -1}$, defining $c$-compatibility $(−||_c−)$. **Geometric Characterization of Compatibility**: Two almost positive roots $\alpha, \beta$ are $c$-compatible if and only if their positions in the matrix satisfy: 1. They are in the same row or column 2. In a $2 \times 2$ submatrix $(k,m|i,j)$ off the diagonal at positions $(k,i)$ and $(m,j)$, with $(k < i < m)$ or $(i < k < m < j)$ 3. In a $2 \times 2$ submatrix $(k,m|i,j)$ off the diagonal at positions $(m,i)$ and $(k,j)$, satisfying specific conditions #### 3. Gröbner Basis Technique (Section 5) **Key Result** (Theorem 5.5): Let $Z \subset [1,m] \times [1,n]$, and define $$\text{Mat}_{m \times n}(Z) = \{X = (x_{ij}) : x_{ij} = 0 \text{ for all } (i,j) \in Z\}$$ Let $G_2(Z)$ be the set of all $2 \times 2$ minors belonging to $\text{Mat}_{m \times n}(Z)$. Then $G_2(Z)$ is a **universal degree-reverse lexicographic Gröbner basis** for the ideal $I_2(Z)$. **Proof Strategy**: Uses Buchberger's criterion, proving that for all $f, g \in G_2(Z)$, the S-polynomial $S(f,g)$ reduces to zero with respect to $G_2(Z)$. Three cases are considered: - Both are monomials - One monomial and one binomial - Both binomials (reduces to the $3 \times 3$ minor case) #### 4. Flat Degeneration Construction (Section 6) **Coordinate Labeling Scheme**: For the coordinate ring of $\mathfrak{n}^+ \oplus \mathfrak{n}^-$, denoted $\mathbb{C}[x_1, \ldots, x_{n^2+n}]$, coordinates are labeled according to positions $(i,j)$ with $i \neq j$ in a specific manner. **Fan Definition**: Let $\Sigma$ be the fan in $\mathbb{R}^n$ whose maximal cones are spanned by $c$-compatible almost positive roots. **Flat Degeneration Mechanism** (Theorem 6.2): 1. By Theorem 4.6, the initial monomials of the Gröbner basis $G_2(Z)$ correspond precisely to incompatible almost positive root pairs 2. By Theorem 2.5, the equivariant cohomology $H^*_T(X_\Sigma) \cong \mathbb{C}[\Delta_\Sigma]$ (Stanley-Reisner ring) 3. Applying Macaulay's theorem (Theorem 5.4), the Hilbert series are identical 4. By [LB15, Theorem 4.4.10], there exists a flat morphism realizing the degeneration ### Technical Innovations 1. **Cross-Type Root System Correspondence**: First establishes a non-folding correspondence between equirank $A_n$ and $C_n$ root systems 2. **Geometric Interpretation of Gröbner Bases**: Directly connects the Gröbner basis property of $2 \times 2$ minors to root system compatibility 3. **Combinatorial-Geometric Dictionary**: - Algebraic side: $2 \times 2$ minor ideals - Combinatorial side: Type $C_n$ compatible root systems - Geometric side: Equivariant cohomology of toric varieties 4. **Elementarization Strategy**: Avoids symplectic geometry and deformation theory, using only commutative algebra and combinatorial tools ## Experimental Setup This is a pure mathematics theoretical paper with no numerical experiments. All results are obtained through rigorous mathematical proofs. ### Verification Cases **The case $n=2$** (Section 3): Explicitly gives the intersection in the $\mathfrak{sl}_3(\mathbb{C})$ case: $$\overline{\mathcal{O}}^{A_2}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-) = \left\{\begin{pmatrix} 0 & x_4 & x_1 \\ x_2 & 0 & x_5 \\ x_6 & x_3 & 0 \end{pmatrix} : \begin{array}{l} x_2x_4 = x_4x_5 = x_1x_2 = 0 \\ x_2x_3 = x_3x_5 = x_5x_6 = 0 \\ x_4x_6 = x_1x_3 = x_1x_6 = 0 \end{array}\right\}$$ **Theorem 3.1**: Proves that $\mathbb{C}[\overline{\mathcal{O}}^{A_2}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)] \cong H^*_T(X_\Sigma)$, which is a complete isomorphism rather than merely a degeneration. ## Main Results ### 1. Flat Degeneration (Theorem 6.2) There exists a flat morphism $\pi: \mathcal{X} \to \mathbb{C}$ such that: - Special fiber: $\pi^{-1}(0) \cong \text{Spec}\, H^*_T(X_\Sigma)$ - Generic fiber: $\pi^{-1}(\mathbb{C}^{\times}) \cong (\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)) \times \mathbb{C}^{\times}$ ### 2. Hilbert Series (Theorem 6.2) $$h_{\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]}(t) = \frac{\sum_{i=0}^n \binom{n}{i}^2 t^i}{(1-t)^n}$$ **Combinatorial Meaning**: - The numerator coefficients $\binom{n}{i}^2$ are type $C_n$ Narayana numbers - The sum $\sum_{i=0}^n \binom{n}{i}^2$ is the type $C_n$ Catalan number **Specific Values**: - $n=2$: $h(t) = \frac{1 + 4t + t^2}{(1-t)^2}$ - $n=3$: $h(t) = \frac{1 + 9t + 9t^2 + t^3}{(1-t)^3}$ ### 3. Geometric Properties (Theorem 6.3) **Proof Strategy**: 1. By Gröbner basis theory, if $R/\text{in}_>(I)$ is reduced (resp. Gorenstein), then so is $R/I$ 2. The Stanley-Reisner ring $\mathbb{C}[\Delta_\Sigma]$ is naturally reduced 3. By [CFZ02], $\Delta_\Sigma$ is a simplicial sphere 4. By Theorem 2.8, the Stanley-Reisner ring of a simplicial sphere is Gorenstein ### 4. Generalization of Gorenstein Property (Corollary 6.4) **Theorem**: $\overline{\mathcal{O}}_{\text{min}}$ itself is Gorenstein. **Key to Proof**: 1. By [Jia24], $h_{\mathbb{C}[\overline{\mathcal{O}}_{\text{min}}]}(t) = \frac{\sum_{i=0}^n \binom{n}{i}^2 t^i}{(1-t)^{2n}}$ 2. Comparing the two Hilbert series, the diagonal entries $(x_{11}, \ldots, x_{nn})$ form a regular sequence in $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}}]$ 3. By commutative algebra theory, $\overline{\mathcal{O}}_{\text{min}}$ is Gorenstein if and only if $\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)$ is Gorenstein ### 5. Properties of Orbit Varieties (Theorem 6.6) **Theorem**: $\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+$ is reduced and Cohen-Macaulay. **Proof Method**: 1. Define a partial order: $(i,j) \prec (k,l)$ if and only if $[i,j] \subset [k,l]$ 2. The maximal faces of the order complex $\Delta'$ correspond to paths from $(i, i+1)$ to $(1, n+1)$ 3. Construct a shelling: order by starting point $i$, and for the same starting point, order paths by "north then east" 4. Verify this is a true shelling 5. By Theorem 2.7, the Stanley-Reisner ring of a shellable simplicial complex is Cohen-Macaulay ## Related Work ### 1. Hikita Conjecture and Related Work - **Hikita [Hik17]**: Proposes the ring isomorphism conjecture in the symplectic duality case - **Shlykov [Shl19]**: Proves $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{h}] \cong H^*(\widetilde{\mathbb{C}^2/\mathbb{Z}_{n+1}})$ - **This Paper's Contribution**: Studies the complementary case $\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)$ ### 2. Symplectic Singularity Theory - **Beauville [Bea00]**: Uses symplectic singularity theory to prove $\overline{\mathcal{O}}_{\text{min}}$ is rationally Gorenstein - **This Paper's Advantage**: Provides an elementary proof independent of sophisticated theory ### 3. Cluster Algebras and Root Systems - **Fomin-Zelevinsky [FZ03]**: Introduce cluster algebras and the concept of almost positive roots - **Ceballos-Pilaud [CP15]**: Define compatibility and the $\tau$ map - **Chapoton-Fomin-Zelevinsky [CFZ02]**: Prove that the simplicial complex corresponding to the compatible root fan is a sphere - **This Paper's Application**: Applies these combinatorial tools to study the geometry of nilpotent orbits ### 4. Gröbner Basis Theory - **Classical Results**: Gröbner basis properties of matrix minors - **Bruns-Conca-Raicu-Varbaro [BCRV22]**: Systematic treatment of determinants, Gröbner bases, and cohomology - **This Paper's Generalization**: Theorem 5.5 extends results to matrices with prescribed zero entries ### 5. Toric Varieties and Stanley-Reisner Theory - **Cox-Little-Schenck [CLS11]**: Theorem 2.5 establishes the isomorphism between equivariant cohomology and Stanley-Reisner rings - **Bruns-Herzog [BH98]**: Cohen-Macaulay property of shellable complexes - **This Paper's Synthesis**: Connects toric variety theory to the geometry of nilpotent orbits ## Conclusions and Discussion ### Main Conclusions 1. **Existence of Flat Degeneration**: First establishes a flat degeneration of $\mathbb{C}[\overline{\mathcal{O}}_{\text{min}} \cap (\mathfrak{n}^+ \oplus \mathfrak{n}^-)]$ to the equivariant cohomology of a toric variety 2. **Combinatorial Interpretation of Hilbert Series**: Connects type $C_n$ Narayana and Catalan numbers to the geometry of minimal nilpotent orbits 3. **Complete Characterization of Geometric Properties**: Proves that the relevant schemes are reduced, Gorenstein, or Cohen-Macaulay 4. **Methodological Contribution**: Demonstrates the powerful application of Gröbner basis techniques in geometric representation theory ### Limitations 1. **Specificity**: Results apply only to minimal nilpotent orbits; generalization to arbitrary nilpotent orbits is not obvious 2. **Computational Complexity**: Although the method is elementary, verifying Gröbner basis properties for large $n$ still requires substantial computation 3. **Degeneration vs. Isomorphism**: Except for the $n=2$ case (Theorem 3.1), the general case only has a degeneration relation rather than an isomorphism 4. **Reducedness of Orbit Varieties**: Although reducedness is proved for $\overline{\mathcal{O}}_{\text{min}} \cap \mathfrak{n}^+$, when general orbit varieties are reduced remains unresolved ### Future Directions 1. **Generalization to Other Orbits**: Study similar properties for non-minimal nilpotent orbits 2. **Other Lie Types**: Extend the method to other Dynkin types ($B_n, D_n, E$ types, etc.) 3. **Conditions for Isomorphism**: Investigate when flat degeneration can be strengthened to isomorphism 4. **Representation Theory Applications**: Explore applications of these results to the Springer correspondence and geometric representation theory 5. **Computational Tools**: Develop effective computational tools for handling larger-scale cases ## In-Depth Evaluation ### Strengths 1. **Strong Technical Innovation** - Constructs a new correspondence between type $A_n$ and $C_n$ root systems, different from traditional Dynkin diagram folding - The universal property of Gröbner bases (Theorem 5.5) has independent value - Precisely corresponds root system compatibility to initial ideals of minor ideals 2. **Elementary and Powerful Methods** - Avoids sophisticated tools like symplectic geometry and deformation theory - Uses only commutative algebra, combinatorics, and Gröbner basis techniques - Proofs are clear, self-contained, and easy to verify 3. **Deep Results** - Establishes profound connections between combinatorics (Catalan/Narayana numbers) and algebraic geometry (nilpotent orbits) - The explicit Hilbert series formula has beautiful combinatorial meaning - Provides a new pathway for proving Gorenstein properties 4. **Complete Structure** - Progresses from simple cases ($n=2$) to general cases with clear hierarchy - Technical preparation (Sections 2, 5) → concrete construction (Sections 3, 4) → main results (Section 6), with rigorous logic - Includes sufficient background material 5. **Clear Exposition** - Precise definitions and consistent notation - Key ideas clarified through examples (e.g., Example 4.5) - Detailed proof steps, easy to follow ### Weaknesses 1. **Completeness of Computational Verification** - The proof of Theorem 4.6 is somewhat abbreviated in certain case classifications - The explicit computation of $\tau$ orbits (Lemma 4.2) could be more detailed 2. **Lack of Geometric Intuition** - The geometric meaning of flat degeneration could be further elucidated - Why type $C_n$ root systems naturally appear lacks geometric intuition 3. **Insufficient Discussion of Generalizability** - Limited discussion on whether the method can be extended to other settings - The necessary and sufficient conditions for isomorphism (as in the $n=2$ case) are not deeply explored 4. **Literature References** - Some technical details depend on external references (e.g., [LB15, Theorem 4.4.10]), not self-contained - The proof of Corollary 6.4 relies heavily on Jia [Jia24] 5. **Limited Discussion of Applications** - Specific applications of results in representation theory are insufficiently discussed - The connection to the Springer correspondence is only mentioned, not deeply explored ### Impact Assessment 1. **Contribution to the Field** - **High**: Provides new tools for studying nilpotent orbits and orbit varieties - Establishes new bridges between different mathematical branches (algebraic geometry, combinatorics, representation theory) - The Gröbner basis method may inspire research on related problems 2. **Practical Value** - **Moderate**: Although the method is elementary, computational complexity remains high - Provides theoretical guidance for understanding the structure of nilpotent orbits - The Hilbert series formula can be used for related computations 3. **Reproducibility** - **High**: Proofs are detailed and logically clear - Key techniques (Gröbner bases, Stanley-Reisner rings) are standard tools - Small cases ($n=2, 3$) can be verified by hand 4. **Theoretical Depth** - **High**: Reveals deep mathematical structures - Connects multiple important mathematical objects (nilpotent orbits, toric varieties, Catalan combinatorics) - Provides new perspectives on Hikita-type problems ### Applicable Scenarios 1. **Direct Applications** - Study of the geometry of nilpotent orbits in $\mathfrak{sl}_{n+1}$ - Computation of invariants of related schemes (Hilbert series, dimension, etc.) - Verification of the Hikita conjecture in specific cases 2. **Methodological Reference** - Study of nilpotent orbits in other Lie algebras - Using Gröbner bases to study singularities of algebraic varieties - Applications of toric variety methods in representation theory 3. **Theoretical Development** - Intersection of cluster algebras and geometric representation theory - Concrete realization of symplectic duality theory - Geometric realization of Catalan combinatorics 4. **Educational Value** - Demonstrates the synthesis of multiple mathematical branches - Provides an exemplary research paradigm from concrete to abstract - Non-trivial application of Gröbner basis techniques ## Selected References 1. **[Shl19]** P. Shlykov, "Hikita conjecture for the minimal nilpotent orbit", arXiv:1903.12205 2. **[Bea00]** A. Beauville, "Symplectic singularities", Invent. Math., 139(3):541-549, 2000 3. **[FZ03]** S. Fomin, A. Zelevinsky, "Cluster algebras II: Finite type classification", Invent. Math., 154(1):63-121, 2003 4. **[CFZ02]** F. Chapoton, S. Fomin, A. Zelevinsky, "Polytopal realizations of generalized associahedra", Canad. Math. Bull., 45(4):537-566, 2002 5. **[BCRV22]** W. Bruns, A. Conca, C. Raicu, M. Varbaro, "Determinants, Gröbner bases and cohomology", Springer, 2022 6. **[CLS11]** D. Cox, J. Little, H. Schenck, "Toric varieties", Grad. Stud. Math. 124, AMS, 2011 --- **Overall Assessment**: This is a high-quality mathematics research paper with strong technical innovation, deep results, and elementary yet powerful methods. By cleverly combining Gröbner basis theory, toric variety geometry, and root system combinatorics, it solves important problems in nilpotent orbit geometry and provides new research tools and perspectives for related fields. The paper is suitable for researchers in the intersection of algebraic geometry, representation theory, and combinatorics.