pith. sign in

arxiv: 2508.05457 · v3 · submitted 2025-08-07 · 🧮 math.AG · math.CO

Structure constants of Peterson Schubert calculus

Tao Gui , Yuqi Jia , Xinkai Yu , Zhexi Zhang , Yuchen Zhu This is my paper

Pith reviewed 2026-05-19 00:32 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords Peterson Schubert calculusequivariant structure constantsCartan matrixroot systemsLie typesmixed Eulerian numbersSchubert calculus
0
0 comments X

The pith

Equivariant structure constants of Peterson Schubert calculus admit an explicit positive formula from the Cartan matrix alone, uniform across all Lie types.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an explicit, positive formula for every equivariant structure constant in the Peterson Schubert calculus that depends only on the Cartan matrix of the root system and requires no type-specific adjustments. This expression works identically for every Lie type, solving an open problem that began in type A. A reader would care because the same input matrix then produces a uniform formula for the associated mixed Eulerian numbers. The approach replaces separate case-by-case calculations with one matrix-driven rule that applies to arbitrary root systems.

Core claim

The authors give an explicit, positive, and type-uniform formula for all equivariant structure constants of the Peterson Schubert calculus in arbitrary Lie types, expressed using only the Cartan matrix of the corresponding root system Φ. This solves the open problem posed by Harada--Tymoczko in type A and extends it to all types. As a direct consequence, the same formula yields a type-uniform expression for the mixed Φ-Eulerian numbers.

What carries the argument

The Cartan matrix of the root system Φ, which encodes all necessary relations and supplies the sole data needed to produce the structure constants through a uniform rule.

If this is right

  • All structure constants in any Lie type can be read off directly from the entries of the Cartan matrix without further input.
  • The mixed Φ-Eulerian numbers likewise receive a single formula that holds uniformly for every root system.
  • No separate proofs or adjustments are required when the root system changes from type A to type E or G.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The matrix-based rule could support direct algorithmic computation of intersections on Peterson varieties in any type.
  • It may uncover combinatorial interpretations of the constants in terms of paths or labelings determined by matrix entries.
  • Verification against tabulated values in small-rank cases such as A2 or B3 would provide immediate consistency checks.

Load-bearing premise

The structure constants admit a single explicit positive expression that depends only on the Cartan matrix and needs no extra type-specific data or case distinctions.

What would settle it

Compute a specific equivariant structure constant in type G2 by independent geometric or combinatorial means and check whether the value matches the number produced by feeding the G2 Cartan matrix into the proposed formula.

read the original abstract

We give an explicit, positive, and type-uniform formula for all equivariant structure constants of the Peterson Schubert calculus in arbitrary Lie types, using only the Cartan matrix of the corresponding root system $\Phi$. This solves an open problem originally asked by Harada--Tymoczko in type A for all Lie types. As an application, we derive a type-uniform formula for the mixed $\Phi$-Eulerian numbers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript claims to furnish an explicit, positive, and type-uniform formula for every equivariant structure constant appearing in the Peterson Schubert calculus, valid in arbitrary Lie type and depending only on the Cartan matrix of the root system Φ. The same formula is then applied to obtain a type-uniform expression for the mixed Φ-Eulerian numbers, thereby resolving an open question posed by Harada–Tymoczko in type A.

Significance. If the derivation is correct, the result would constitute a substantial advance in equivariant Schubert calculus: it supplies the first uniform, positive, parameter-free expression that works across all root systems without type-specific case distinctions or additional combinatorial data. The explicit dependence on the Cartan matrix alone is a genuine strength and aligns with the paper’s emphasis on reproducibility from standard root-system input.

minor comments (3)
  1. The introduction should state the precise reference (including arXiv number or journal details) for the Harada–Tymoczko question that is being solved.
  2. A short computational table or example in a non-simply-laced type (e.g., B₂ or G₂) would make the uniformity claim more immediately verifiable for readers.
  3. Notation for the mixed Φ-Eulerian numbers is introduced without a self-contained definition; adding one sentence or a small example would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report and for recommending minor revision. We appreciate the positive assessment of the manuscript's contribution, particularly the recognition that the explicit dependence on the Cartan matrix alone constitutes a genuine strength for a type-uniform result across all root systems. As no specific major comments appear in the report, we have no individual points requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from Cartan matrix

full rationale

The paper claims an explicit positive type-uniform formula for equivariant structure constants derived directly from the Cartan matrix of the root system Φ, solving a prior open problem without reference to fitted parameters, self-defined quantities, or load-bearing self-citations that reduce the result to its inputs by construction. The abstract and application to mixed Φ-Eulerian numbers are presented as following from standard root system data and combinatorial derivations that remain independent of the target constants themselves. No quoted equations or steps in the available description exhibit self-definitional loops, renamed predictions, or ansatz smuggling; the central result is therefore treated as a genuine closed-form contribution rather than a tautological restatement of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a positive explicit expression for the structure constants that is fully determined by the Cartan matrix; no free parameters, new entities, or non-standard axioms are mentioned in the abstract.

axioms (1)
  • standard math Standard properties of Cartan matrices and root systems in Lie theory
    The formula is stated to use only the Cartan matrix, presupposing its usual definition and properties from Lie theory.

pith-pipeline@v0.9.0 · 5589 in / 1206 out tokens · 61181 ms · 2026-05-19T00:32:25.785164+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 1 internal anchor

  1. [1]

    Groups 25 (2020), no

    Hiraku Abe, Naoki Fujita, and Haozhi Zeng, Geometry of regular Hessenberg varieties, Trans- form. Groups 25 (2020), no. 2, 305–333 (English)

    work page 2020

  2. [2]

    Hiraku Abe and Tatsuya Horiguchi, A survey of recent developments on Hessenberg varieties , International Conference on the Trends in Schubert Calculus, Springer, 2017, pp. 251–279

    work page 2017

  3. [3]

    Hiraku Abe, Tatsuya Horiguchi, Hideya Kuwata, and Haozhi Zeng, Geometry of Peterson Schubert calculus in type A and left-right diagrams , Algebr. Comb. 7 (2024), no. 2, 383–412 (English)

    work page 2024

  4. [4]

    Hiraku Abe and Haozhi Zeng, Peterson varieties and toric orbifolds associated to Cartan matrices, 2023, arXiv:2310.02818

    work page arXiv 2023

  5. [5]

    Theory 21 (2017), 132–150 (English)

    Ana B˘ alibanu,The Peterson variety and the wonderful compactification , Represent. Theory 21 (2017), 132–150 (English)

    work page 2017

  6. [6]

    2, 115–132

    Darius Bayegan and Megumi Harada, A Giambelli formula for the S1-equivariant cohomology of type A Peterson varieties , Involve, a Journal of Mathematics 5 (2013), no. 2, 115–132

    work page 2013

  7. [7]

    Andrew Berget, Hunter Spink, and Dennis Tseng, Log-concavity of matroid h-vectors and mixed Eulerian numbers, Duke Math. J. 172 (2023), no. 18, 3475–3520 (English)

    work page 2023

  8. [8]

    Gel’fand, and S.I

    I.N Bernstein, I.M. Gel’fand, and S.I. Gel’fand, Schubert cells and cohomology of the spaces G/P, Russian Mathematical Surveys 28 (1973), no. 3, 1

    work page 1973

  9. [9]

    1, 115–207

    Armand Borel, Sur la cohomologie des espaces fibr´ es principaux et des espaces homogenes de groupes de Lie compacts, Annals of Mathematics 57 (1953), no. 1, 115–207

    work page 1953

  10. [10]

    3, 821–891

    Petter Br¨ and´ en and June Huh,Lorentzian polynomials, Annals of Mathematics 192 (2020), no. 3, 821–891

    work page 2020

  11. [11]

    On the characteristic polynomial of Cartan matrices and Chebyshev polynomials

    Pantelis A. Damianou, On the characteristic polynomial of Cartan matrices and Chebyshev polynomials, arXiv:1110.6620, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  12. [12]

    2, 529–534

    Filippo De Mari, Claudio Procesi, and Mark A Shayman, Hessenberg varieties, Transactions of the American Mathematical Society 332 (1992), no. 2, 529–534

    work page 1992

  13. [13]

    2, 539–575

    Elizabeth Drellich, Monk’s rule and Giambelli’s formula for Peterson varieties of all Lie types, Journal of Algebraic Combinatorics 41 (2015), no. 2, 539–575

    work page 2015

  14. [14]

    Chris Godsil and Gordon Royle, Algebraic Graph Theory, Springer New York, NY, 2001

    work page 2001

  15. [15]

    3, 618–665

    Rebecca Goldin and Brent Gorbutt, A positive formula for type A Peterson Schubert calculus, La Matematica 1 (2022), no. 3, 618–665

    work page 2022

  16. [16]

    Rebecca Goldin, Leonardo Mihalcea, and Rahul Singh, Positivity of Peterson Schubert cal- culus, Adv. Math. 455 (2024), 34 (English), Id/No 109879

    work page 2024

  17. [17]

    Rebecca Goldin and Rahul Singh, Equivariant Chevalley, Giambelli, and Monk formulae for the Peterson variety , arXiv:2111.15663, 2021

    work page arXiv 2021

  18. [18]

    Tao Gui, Hongsheng Hu, and Minhua Liu, Weyl group symmetries of the toric variety asso- ciated with Weyl chambers , Bulletin of the London Mathematical Society (2025)

    work page 2025

  19. [19]

    1, 80–90

    Megumi Harada, Tatsuya Horiguchi, and Mikiya Masuda, The equivariant cohomology rings of Peterson varieties in all Lie types , Canadian Mathematical Bulletin 58 (2015), no. 1, 80–90. STRUCTURE CONSTANTS OF PETERSON SCHUBERT CALCULUS 21

    work page 2015

  20. [20]

    Megumi Harada and Julianna Tymoczko, A positive Monk formula in the S1-equivariant cohomology of type A Peterson varieties , Proc. Lond. Math. Soc. (3) 103 (2011), no. 1, 40–72 (English)

    work page 2011

  21. [21]

    Tatsuya Horiguchi, Mixed Eulerian numbers and Peterson Schubert calculus , Int. Math. Res. Not. 2024 (2024), no. 2, 1422–1471 (English)

    work page 2024

  22. [22]

    Humphreys, Introduction to Lie Algebras and Representation Theory , Graduate Texts in Mathematics, vol

    James E. Humphreys, Introduction to Lie Algebras and Representation Theory , Graduate Texts in Mathematics, vol. 9, Springer-Verlag, New York-Berlin, 1972

    work page 1972

  23. [23]

    3, 287–297

    Steven L Kleiman, The transversality of a general translate , Compositio Mathematica 28 (1974), no. 3, 287–297

    work page 1974

  24. [24]

    A. A. Klyachko, Orbits of a maximal torus on a flag space , Funct. Anal. Appl. 19 (1985), 65–66 (English)

    work page 1985

  25. [25]

    Collected papers

    , Toric varieties and flag varieties , Number theory, algebra and algebraic geometry. Collected papers. In honor of the seventieth birthday of Academician Igor Rostislavovich Shafarevich, Moscow: Maik Nauka/Interperiodica Publishing, 1995, pp. 124–145 (English)

    work page 1995

  26. [26]

    1, 43–91

    Bertram Kostant, Flag manifold quantum cohomology, the Toda lattice, and the representa- tion with highest weight ρ, Selecta Mathematica 2 (1996), no. 1, 43–91

    work page 1996

  27. [27]

    Thomas Lam and Konstanze Rietsch, Total positivity, Schubert positivity, and geometric Satake, Journal of Algebra 460 (2016), 284–319

    work page 2016

  28. [28]

    204 (2010), no

    Thomas Lam and Mark Shimozono, Quantum cohomology of G/P and homology of affine Grassmannian, Acta Math. 204 (2010), no. 1, 49–90 (English)

    work page 2010

  29. [29]

    Alain Lascoux and Marcel-Paul Sch¨ utzenberger, Polynˆ omes de Schubert, C. R. Acad. Sci., Paris, S´ er. I294 (1982), 447–450 (French)

    work page 1982

  30. [30]

    George Lusztig and Jacques Tits, The inverse of a Cartan matrix , An. Univ. Timisoara Ser. Stiint. Mat 30 (1992), no. 1, 17–23

    work page 1992

  31. [31]

    Philippe Nadeau and Vasu Tewari, The permutahedral variety, mixed Eulerian numbers, and principal specializations of Schubert polynomials , Int. Math. Res. Not. 2023 (2023), no. 5, 3615–3670 (English)

    work page 2023

  32. [32]

    Dale Peterson, Quantum cohomology of G/P, lecture course , 1997

    work page 1997

  33. [33]

    Alexander Postnikov, Permutohedra, associahedra, and beyond , Int. Math. Res. Not. 2009 (2009), no. 6, 1026–1106 (English)

    work page 2009

  34. [34]

    Konstanze Rietsch, Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties., J. Am. Math. Soc. 16 (2003), no. 2, 363–392 (English)

    work page 2003

  35. [35]

    1, 124–127

    Jack Sherman and Winifred J Morrison, Adjustment of an inverse matrix corresponding to a change in one element of a given matrix , The Annals of Mathematical Statistics 21 (1950), no. 1, 124–127

    work page 1950

  36. [36]

    Julianna S Tymoczko, Paving Hessenberg varieties by affines, Selecta Mathematica 13 (2007), no. 2, 353. 22 TAO GUI, YUQI JIA, XINKAI YU, ZHEXI ZHANG, AND YUCHEN ZHU (Tao Gui) Beijing International Center for Mathematical Research, Peking University, No. 5 Yiheyuan Road, Haidian District, Beijing 100871, P.R. China Email address: guitao18(at)mails(dot)ucas...

    work page 2007