Gamma conjecture I for flag varieties
Pith reviewed 2026-05-23 05:17 UTC · model grok-4.3
The pith
Gamma conjecture I holds for all flag varieties.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove Gamma conjecture I for all flag varieties by following a strategy proposed by Galkin and Iritani. The main new ingredient is showing that the totally positive part of the Rietsch mirror is mirror to the hat-Gamma-class and contains the critical point of the superpotential that corresponds to the Perron-Frobenius eigenvalue on the A-side.
What carries the argument
The totally positive part of the Rietsch mirror, shown to be mirror to the hat-Gamma-class while containing the superpotential critical point for the Perron-Frobenius eigenvalue.
If this is right
- Gamma conjecture I holds for all flag varieties.
- The totally positive part of the Rietsch mirror is mirror to the hat-Gamma-class.
- This part of the mirror contains the critical point corresponding to the Perron-Frobenius eigenvalue on the A-side.
- The Galkin-Iritani strategy extends to flag varieties.
Where Pith is reading between the lines
- Similar mirror verifications could apply to other classes of varieties with known mirrors.
- The result may aid in computing the Gamma class in quantum cohomology settings for flag varieties.
- Explicit checks on low-rank flag varieties could test the critical point location numerically.
Load-bearing premise
The Galkin and Iritani strategy applies directly to flag varieties and the verification that the totally positive Rietsch mirror contains the relevant critical point holds without extra restrictions.
What would settle it
Observation of a flag variety where the totally positive part of the Rietsch mirror does not contain the critical point of the superpotential for the Perron-Frobenius eigenvalue.
read the original abstract
We prove Gamma conjecture I for all flag varieties by following a strategy proposed by Galkin and Iritani. The main new ingredient is showing that the totally positive part of the Rietsch mirror is mirror to the $\widehat{\Gamma}$-class and contains the critical point of the superpotential that corresponds to the Perron-Frobenius eigenvalue on the A-side.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Gamma conjecture I for all flag varieties by following the Galkin-Iritani strategy. The central new ingredient is the verification that the totally positive part of the Rietsch mirror is mirror to the hat-Gamma class and contains the critical point of the superpotential corresponding to the Perron-Frobenius eigenvalue on the A-side.
Significance. If the result holds, this completes a uniform proof of Gamma conjecture I for the entire class of flag varieties, extending the Galkin-Iritani framework with a geometric check on the Rietsch mirror that directly links the hat-Gamma class to the totally positive locus. The argument supplies a falsifiable mirror correspondence without introducing free parameters or ad-hoc reductions.
minor comments (2)
- §1, paragraph 3: the statement that the strategy 'applies directly' would benefit from a one-sentence recap of the precise hypotheses from Galkin-Iritani that are being invoked for flag varieties.
- Notation: the hat on Gamma is introduced in the abstract but first defined only in §3; a forward reference in the introduction would improve readability.
Simulated Author's Rebuttal
We thank the referee for their positive assessment and recommendation to accept the manuscript. The report accurately summarizes the main contribution.
Circularity Check
No significant circularity detected
full rationale
The paper states it proves Gamma conjecture I for flag varieties by following the external Galkin-Iritani strategy, with the sole new ingredient being an independent geometric verification that the totally positive part of the Rietsch mirror is mirror to the hat-Gamma class and contains the relevant critical point. No derivation step is shown to reduce by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim rests on an external method plus a fresh check that does not presuppose the target result.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of algebraic geometry and properties of quantum cohomology rings for flag varieties
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove Gamma conjecture I for any flag varieties by following a strategy proposed by Galkin and Iritani. The main ingredient is to prove that the ˆΓ-class of a flag variety is mirror to the totally positive part of the corresponding Rietsch mirror.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.6 ... S(ℏ,h,τ(t))(ℏ−μℏc1 ˆΓG∨/P∨) = ℏ−ℓ/2 ∑v∈WP (∫(XP,t)>0 e−fP,t/ℏ γh/ℏP,t Φ−1mir(σv)(−ℏ,h,t)) σv
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.
Forward citations
Cited by 1 Pith paper
-
Exponential concentration for quantum periods via mirror symmetry
Modified hypergeometric series respect the exponential concentration property, implying the same for quantum periods of Fano manifolds admitting convenient weak Landau-Ginzburg models with non-negative coefficients.
Reference graph
Works this paper leans on
-
[1]
P . Baumann, J. Kamnitzer and A. Knuston, The Mirkovi´ c-Vilonen basis and Duistermaat- Heckman measures. With an appendix by A. Dranowski, J. Kamni tzer and C. Morton- Ferguson, Acta Math. 227 (2021), no. 1, 1-101
work page 2021
-
[2]
A. Berenstein and D. Kazhdan, Geometric and unipotent crystals , Geom. Funct. Anal., Spe- cial V olume, Part I (2000), 188-236
work page 2000
-
[3]
A. Berenstein and D. Kazhdan, Geometric and unipotent crystals. II. From unipotent bicry s- tals to crystal bases , in: Quantum groups, Contemp. Math. 433, American Mathematical Society, Providence, RI, 2007, 13-88
work page 2007
-
[4]
A. Berenstein and A. Zelevinsky, Tensor product multiplicities, canonical bases and totall y positive varieties, Invent. Math. 143 (2001), no. 1, 77-128
work page 2001
-
[5]
A. Berenstein and A. Zelevinsky, Total positivity in Schubert varieties, Comment. Math. Helv. 72 (1997), no. 1, 128-166
work page 1997
-
[6]
D. Cheong and C. Li, On the Conjecture O of GGI forG/P , Adv. Math. 306 (2017), 704-721
work page 2017
-
[7]
Littelmann path model for geometric crystals, Whittaker functions on Lie groups and Brownian motion
R. Chhaibi, Littelmann path model for geometric crystals, Whittaker fu nctions on Lie groups and Brownian motion, Ph.D. Thesis, available at https://arxiv.org/abs/1302.0902. 46 CHI HONG CHOW
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
C.H. Chow, TheDℏ-module mirror conjecture for flag varieties , Preprint (2023), available at https://arxiv.org/abs/2311.15523
- [9]
- [10]
- [11]
-
[12]
S. Galkin and H. Iritani, Gamma conjecture via mirror symmetry , in: Primitive forms and related subjects- Kavli IPMU 2014, Adv. Stud. Pure Math., 83, Math. Soc. Japan, 2019, 55- 115
work page 2014
-
[13]
A. Gerasimov, S. Kharchev, D. Lebedev and S. Oblezin, On a Gauss-Givental representation of quantum Toda chain wave function , Int. Math. Res. Not. IMRN, Art. ID 96489, 1-23
-
[14]
A. Gerasimov, D. Lebedev and S. Oblezin, Baxter operator and Archimedean Hecke algebra , Comm. Math. Phys. 284 (2008), no. 3, 867-896
work page 2008
-
[15]
A. Gerasimov, D. Lebedev and S. Oblezin, New integral representations of Whittaker func- tions for classical Lie groups , Russ. Math. Surv. 67 (2012), no. 1, 1-92
work page 2012
-
[16]
A. Givental, Stationary phase integrals, quantum Toda lattices, flag man ifolds and the mir- ror conjecture, in: Topics in singularity theory: V . I. Arnold’s 60th anniv ersary collection, American Mathematical Society Translations: Series 2, 180, American Mathematical Soci- ety, Providence, RI, 1997, 103-115
work page 1997
-
[17]
V . Golyshev and D. Zagier, Proof of the gamma conjecture for Fano 3-folds of Picard rank 1, Izv. Ross. Akad. Nauk Ser. Mat., 80 (2016), no. 1, 27-54
work page 2016
-
[18]
M. Gross, Tropical geometry and mirror symmetry, in: CB MS regional conference series in Mathematics, 114, American Mathematical Society, Providence, RI, 2011
work page 2011
-
[19]
J. Hu, H. Ke, C. Li and T. Y ang, Gamma conjecture I for del Pezzo surfaces , Adv. Math. 386 (2021)
work page 2021
-
[20]
K. Hugtenburg, On the quantum differential equations for a family of non-Kä hler monotone symplectic manifolds, Preprint (2024), available at https://arxiv.org/abs/2402.10867
-
[21]
Iritani, An integral structure in quantum cohomology and mirror symm etry for toric orb- ifolds, Adv
H. Iritani, An integral structure in quantum cohomology and mirror symm etry for toric orb- ifolds, Adv. Math. 222 (2009), no. 3, 1016-1079
work page 2009
-
[22]
Kashiwara, The crystal base and Littelmann’s refined Demazure characte r formula, Duke Math
M. Kashiwara, The crystal base and Littelmann’s refined Demazure characte r formula, Duke Math. J. 71 (1993), no. 3, 839-858. GAMMA CONJECTURE I FOR FLAG V ARIETIES 47
work page 1993
-
[23]
Kim, Quantum cohomology of flag manifolds G/B and quantum Toda lattices , Ann
B. Kim, Quantum cohomology of flag manifolds G/B and quantum Toda lattices , Ann. of Math. (2) 149 (1999), no. 1, 129-148
work page 1999
-
[24]
A. Knutson, T. Lam and D.E. Speyer, Projections of Richardson varieties , J. Reine Angew. Math. 687 (2014), 133-157
work page 2014
-
[25]
S. Kumar and M. Nori, Positivity of the cup product in cohomology of flag varieties associated to Kac-Moody groups, Int. Math. Res. Not. IMRN 1998 (1998), no. 14, 757-763
work page 1998
-
[26]
T. Lam, Whittaker functions, geometric crystals, and quantum Schubert calculus, in: Schubert calculus - Osaka 2012, Adv. Stud. Pure Math., 71, Math. Soc. Japan, 2016, 211-250
work page 2012
- [27]
- [28]
- [29]
- [30]
-
[31]
G. Lusztig, Total positivity in reductive groups , in: Lie Theory and Geometry: In Honor of Bertram Kostant, Progr. in Math. 123, Birkhäuser, 1994, 531-568
work page 1994
-
[32]
Manin, Frobenius manifolds, quantum cohomology and moduli spaces, in: Amer
Y . Manin, Frobenius manifolds, quantum cohomology and moduli spaces, in: Amer. Math. Soc. Colloq. Publ. 47, American Mathematical Society, Providence, RI, 2002
work page 2002
-
[33]
I. Mirkovi ´c and K. Vilonen, Geometric Langlands duality and representations of algebr aic groups over commutative rings , Ann. of Math. (2) 166 (2007), 95-143
work page 2007
-
[34]
Peterson, Quantum cohomology of G/P , Lecture course at MIT, Spring 1997
D. Peterson, Quantum cohomology of G/P , Lecture course at MIT, Spring 1997. Notes type- set by Arun Ram and Gil Azaria. Available at Lectures 1-5; 6-10; 11-15; 16-18
work page 1997
-
[35]
Rietsch, Totally positive Toeplitz matrices and quantum cohomology of partial flag mani- folds, J
K. Rietsch, Totally positive Toeplitz matrices and quantum cohomology of partial flag mani- folds, J. Amer. Math. Soc. 16 (2003), no. 2, 363-392
work page 2003
-
[36]
Rietsch, A mirror symmetric construction of qH ∗ T (G/P )(q), Adv
K. Rietsch, A mirror symmetric construction of qH ∗ T (G/P )(q), Adv. Math. 217 (2008), no. 6, 2401-2442
work page 2008
-
[37]
Rietsch, A mirror symmetric solution to the quantum Toda lattice , Comm
K. Rietsch, A mirror symmetric solution to the quantum Toda lattice , Comm. Math. Phys. 309 (2012), no. 1, 23-49
work page 2012
-
[38]
Z. Y un and X. Zhu, Integral homology of loop groups via Langlands dual groups , Represent. Theory 15 (2011), 347-369. 48 CHI HONG CHOW MAX PLANCK INSTITUTE FOR MATHEMATICS , 53111 B ONN , G ERMANY Email address: chow@mpim-bonn.mpg.de
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.