🔢 mathematics

Structure constants of Peterson Schubert calculus

This paper provides an explicit, positive, and type-uniform formula for all equivariant structure constants of Peterson Schubert calculus in arbitrary Lie types using only the Cartan matrix, thereby solving a long-standing open problem posed by Harada and Tymoczko and yielding a new formula for mixed $\Phi$ -Eulerian numbers.

Original authors: Tao Gui, Yuqi Jia, Xinkai Yu, Zhexi Zhang, Yuchen Zhu

Published 2026-04-09

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Tao Gui, Yuqi Jia, Xinkai Yu, Zhexi Zhang, Yuchen Zhu

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to solve a massive, multi-dimensional puzzle. This puzzle isn't made of cardboard pieces, but of abstract mathematical shapes called Lie groups and flag varieties. These are the "atoms" of symmetry in mathematics, appearing in everything from particle physics to cryptography.

For decades, mathematicians have been trying to figure out how to multiply specific pieces of this puzzle together. When you multiply two pieces, you get a new piece (or a combination of pieces). The question is: What is the exact recipe for this multiplication?

This paper, by Tao Gui and his team, finally writes down the "Universal Recipe Book" for a very specific, tricky part of this puzzle called the Peterson Schubert Calculus.

Here is the breakdown in simple terms:

1. The Setting: The "Peterson Variety"

Think of a Flag Variety as a giant, complex city with millions of streets and intersections. It's where all the symmetries of a system live.
Inside this city, there is a special, slightly broken (singular) neighborhood called the Peterson Variety. It's like a secret garden within the city that holds the keys to understanding "Quantum Cohomology" (a fancy way of describing how the city behaves when you add a little bit of "quantum" magic to it).

Mathematicians have a set of "landmarks" in this garden called Peterson Schubert classes. Think of these as specific, named buildings in the garden.

The Problem: If you take two buildings (say, Building A and Building B) and "multiply" them (which in math means combining their geometric properties), what new buildings do you get? And how many of each?

2. The Old Way vs. The New Way

Before this paper, figuring out this multiplication was a nightmare.

The Old Way: Mathematicians had to solve the puzzle case-by-case. If the city was shaped like a triangle (Type A), they used one rule. If it was shaped like a square (Type B), they used a totally different rule. It was like having a different instruction manual for every different Lego set.
The New Way (This Paper): The authors found a single, universal formula that works for every shape of city, whether it's a triangle, a square, a star, or something never seen before.

3. The Secret Ingredient: The "Cartan Matrix"

The authors discovered that the entire recipe depends on just one thing: the Cartan Matrix.

The Analogy: Imagine the Cartan Matrix is the DNA or the blueprint of the city. It's a simple grid of numbers that tells you how the basic building blocks (roots) connect to each other.
The Breakthrough: The authors realized that you don't need to know the complex geometry of the garden. You just need to look at this simple DNA grid, do some matrix math (multiplying and inverting grids of numbers), and the answer pops out.

4. The "Universal Recipe"

The paper provides a formula that looks like this (simplified):

Result = (Some Matrix Math using the DNA) × (A few other numbers)

It's "positive" and "explicit," which means:

Explicit: You can just plug in the numbers and get the answer. No guessing.
Positive: The answers are always positive numbers (or polynomials with positive numbers). In math, this is a huge deal because it often means the answer corresponds to something real and physical, not just a theoretical abstraction.

5. Why Should You Care? (The "Eulerian" Connection)

The paper also shows that this recipe helps calculate something called Mixed Eulerian Numbers.

The Analogy: Imagine you have a bunch of different colored balloons (representing different geometric shapes). You want to know the volume of the space they occupy when you blow them all up together in a specific way.
The Application: These numbers tell you the "volume" of these abstract shapes. Previously, calculating this volume required a different method for every type of shape. Now, thanks to this paper, you can use the same "Universal Recipe" to calculate the volume for any shape instantly.

Summary

Think of this paper as the Google Maps API for the universe of symmetry.

Before: To get from Point A to Point B in a strange city, you had to ask a local guide who only knew that specific city.
After: The authors built a single, universal GPS algorithm. You just feed it the city's "DNA" (the Cartan Matrix), and it instantly tells you the exact route (the structure constants) for any journey, no matter how complex the city is.

They solved a problem that had been open for years, providing a clean, algebraic, and universal tool that mathematicians can now use to explore the deepest structures of geometry and symmetry without getting lost in the weeds of individual cases.

1. Problem Statement

The paper addresses a fundamental open problem in algebraic combinatorics and Schubert calculus regarding the Peterson variety.

Context: The Peterson variety ( $Pet_G$ ) is a singular subvariety of the flag variety $G/B$ associated with a complex semisimple Lie group $G$ . Its cohomology ring, known as the Peterson Schubert calculus, admits a distinguished basis $\{p_I\}_{I \subset \Delta}$ (where $\Delta$ is the set of simple roots), dual to the fundamental classes of Peterson Schubert cycles.
The Core Question: While the structure constants $c^K_{I,J}$ defined by the product $p_I \cdot p_J = \sum_K c^K_{I,J} p_K$ were known to be polynomials in the equivariant parameter $t$ with non-negative integer coefficients (positivity), no explicit, positive, and type-uniform formula existed for calculating them for arbitrary Lie types.
Previous Limitations: Existing results were either:
- Restricted to Type A (e.g., Goldin–Gorbutt, Abe et al.).
- Dependent on case-by-case analysis (e.g., Drellich).
- Lacked a direct algebraic derivation from intrinsic Lie-theoretic data (specifically the Cartan matrix).
- Did not provide a uniform formula for the mixed $\Phi$ -Eulerian numbers, which are related to the non-equivariant structure constants.

2. Methodology

The authors adopt a purely algebraic approach, distinct from previous geometric or combinatorial models. Their methodology relies on the following key steps:

Borel-Type Presentation: They utilize the Harada–Horiguchi–Masuda presentation of the equivariant cohomology ring $H^*_S(Pet_G)$ , which is isomorphic to a quotient of a polynomial ring by relations derived from the Cartan matrix $C$ .
Monomial Identification: They establish an explicit correspondence between the Peterson Schubert classes $p_I$ and specific monomials $\varpi_I = \prod_{i \in I} \varpi_i$ in the cohomology ring, scaled by determinants of Cartan sub-matrices and orders of parabolic Weyl subgroups.
Matrix Series Expansion: To compute the product of these monomials, they transform the problem into calculating the structure constants of the monomial basis $\{\varpi_I\}$ . They express these constants via an infinite matrix series involving the Coxeter adjacency matrix $A_K = 2E - C_K$ .
Convergence and Inversion:
- They apply the Perron–Frobenius theorem to prove the convergence of the matrix series related to the Coxeter adjacency matrix.
- They utilize the Sherman–Morrison formula to explicitly compute the inverse of the matrix $(E - B^K_s)$ , where $B^K_s$ is a modified version of the adjacency matrix.
Derivation of Formulas: By combining the matrix inversion results with the scaling factors, they derive closed-form expressions for the structure constants entirely in terms of the Cartan matrix and its inverse.

3. Key Contributions and Results

A. Main Theorem: Uniform Formula for Equivariant Structure Constants

The paper provides Theorem 1.3, an explicit formula for the equivariant structure constants $c^K_{I,J}$ :
$c^K_{I,J} = \frac{|W_K|}{|W_I| |W_J| \det(C_K)} \det(C_I) \det(C_J) \left[ D_{i_1} \cdots D_{i_\ell} \right]_{J,K}$
where:

$I = \{i_1, \dots, i_\ell\}$ .
$D_i$ is a matrix with entries $d^K_{i,J}$ defined explicitly using entries of the inverse Cartan matrix $C^{-1}_K$ and the equivariant parameter $t$ .
The formula depends only on the Cartan matrix of the root system $\Phi$ , making it type-uniform (applicable to all Lie types $A, B, C, D, E, F, G$ ).

B. Non-Equivariant Case

By setting $t=0$ , the authors derive Theorem 1.4, a simplified formula for the non-equivariant structure constants $n^K_{I,J}$ . This serves as a new proof for the positivity of these constants.

C. Positivity Proof

The authors prove Corollary 3.12, establishing that the structure constants are polynomials in $t$ with non-negative coefficients. This is achieved by showing that the entries of the inverse Cartan matrix are non-negative and that the matrix operations preserve this property. This provides a new, purely algebraic proof of positivity, independent of geometric transversality arguments.

D. Criterion for Non-Zero Constants

Corollary 3.13 provides a simple combinatorial criterion for when $c^K_{I,J} \neq 0$ :

$K \supseteq I \cup J$ .
For every connected component $K_k$ of $K$ , $|K_k| \le |K_k \cap I| + |K_k \cap J|$ .

E. Application: Mixed $\Phi$ -Eulerian Numbers

As a significant application, the paper derives Theorem 1.5 (and Theorem 4.4), a type-uniform formula for the mixed $\Phi$ -Eulerian numbers ( $A^\Phi_{c_1, \dots, c_n}$ ). These numbers compute the mixed volumes of $\Phi$ -hypersimplices.
$A^\Phi_{c_1, \dots, c_n} = \frac{|W_\Phi|}{\det(C_\Phi)} \left[ M_1^{c_1} \cdots M_n^{c_n} \right]_{\emptyset, \Delta}$
where $M_i$ are matrices derived from the non-equivariant structure constants. This formula avoids the case-by-case analysis of sub-root systems required in previous works (e.g., Horiguchi).

4. Significance and Impact

Resolution of an Open Problem: The paper completely solves the question posed by Harada and Tymoczko regarding the existence of a positive, type-uniform formula for Peterson Schubert structure constants.
First Explicit Uniform Formula: It is the first example of an explicit, complete, and type-uniform positive algebraic formula in general Schubert calculus.
Computational Efficiency: The formula relies on matrix operations involving the Cartan matrix, which are computationally efficient and sparse, as demonstrated by examples in Types $B_3$ and $A_9$ .
Unification: It unifies the study of Peterson varieties and mixed Eulerian numbers across all Lie types, removing the need for separate treatments for different root systems.
New Proof Techniques: The use of the Sherman–Morrison formula and Perron–Frobenius theory to analyze the cohomology ring structure offers a novel algebraic perspective that may be applicable to other problems in equivariant cohomology and Schubert calculus.

In summary, this work transforms the Peterson Schubert calculus from a field relying on case-specific geometric insights into one governed by a unified, explicit algebraic framework determined solely by the Cartan matrix.