Pith. sign in

REVIEW 2 major objections 4 minor 37 references

Quantum Schubert calculus for smooth Schubert divisors of $F\ell_n$

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper gives the first complete quantum Schubert calculus for a smooth Schubert divisor of the complete flag variety, including a ring presentation, a quantum Chevalley formula, and matching quantum Schubert polynomials.

desk verdict First real quantum Schubert calculus for a smooth Schubert divisor of Fl_n; the paper deserves refereeing, but the vanishing proof for exceptional degrees has a load-bearing gap that needs closing. read the letter →

arxiv 2509.17857 v2 pith:4UCGODGT submitted 2025-09-22 math.AG

Changzheng Li , Jiayu Song , Rui Xiong , Mingzhi Yang This is my paper · ORCID
classification math.AG MSC 14N3514M1505E05
keywords quantumSchubertcalculusdivisorscohomologycompleteflagvarietyGromov-WitteninvariantsBorelpresentationMonk-Chevalleyformulapolynomials
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper builds a quantum Schubert calculus for the smooth Schubert divisor $X$ of the complete flag variety $\operatorname{Fl}_n$ defined by the incidence $F_1 \subset V_{n-1}$. It proves a Borel-type presentation for the quantum cohomology ring $QH^*(X,\mathbb{Z})$ using deformed elementary symmetric polynomials, derives a quantum Monk–Chevalley formula that describes all products of Schubert divisor classes, and shows that the quantum Schubert polynomials of $X$ are exactly those of $\operatorname{Fl}_n$. A quantum Lefschetz homomorphism from $QH^*(\operatorname{Fl}_n)$ to $QH^*(X)$ is also constructed. If correct, this is the first complete quantum Schubert calculus for a smooth non-homogeneous Schubert variety.

What carries the argument

The key objects are the matrices $M_{\operatorname{Fl}_n}$ and $M_X$, whose characteristic polynomials define the quantum relations $E^n_i$ and $\hat{E}^n_i$; these quantize the elementary symmetric polynomials and give the Borel presentation. The proof of the quantum Chevalley formula uses the geometry of two-pointed stable maps $M_{0,2}(X,d)$, comparing it with $M_{0,2}(\operatorname{Fl}_n,d)$. For degrees with $d_{n-1} \ge 2$ the curve-neighborhood method is used to show that most Gromov–Witten invariants vanish; the remaining 'two-chain' degrees are handled by a dimension count on a related moduli space. The transition equation for quantum Schubert polynomials then drives an induction that establishes the polynomial identity.

What would settle it

For $n=4$, compute the quantum product $\xi_{s_1} \star \xi_{s_2}$ in the ring of Theorem 1.2; if the coefficient of $q_1 q_2 q_3^2$ (degree $(1,1,2)$) is nonzero, the geometric vanishing of Proposition 4.11 fails, and the quantum Chevalley formula would need correction.

Watch

Extended reading notes

Core claim

The central claim is that $QH^*(X,\mathbb{Z})$ is a deformation of $H^*(X,\mathbb{Z})$ with a canonical presentation as $\mathbb{Z}[x_1,\ldots,x_n,q_1,\ldots,q_{n-1}]/(\hat{E}^n_1,\ldots,\hat{E}^n_{n-1},E^{n-1}_{n-1})$, where the $\hat{E}^n_i$ are quantizations of elementary symmetric polynomials built from a tridiagonal matrix. The quantum product is governed by a Monk–Chevalley formula whose terms come directly from Gromov–Witten invariants; a distinctive minus sign in the formula corrects for nodal stable curves. The paper shows that for all Bruhat-constrained permutations, the quantum Schubert class $\xi_w$ is represented by the same quantum Schubert polynomial $S^q_w$ as its counterpart in $\operatorname{Fl}_n$, even though the multiplication laws diff

Load-bearing premise

The proof that all quantum corrections in degrees with $d_{n-1} \ge 2$ vanish depends on the claim that a certain map between moduli spaces of stable maps is not surjective; if that claim fails, the quantum product would acquire extra high-degree terms.

Editorial extensions

If this is right

  • The ring presentation gives an explicit finite presentation of QH^*(X,Z), reducing quantum product computations to polynomial arithmetic.
  • The quantum Monk–Chevalley formula determines all quantum structure constants of X in principle, since the divisor classes generate QH^*(X) as a Z[q]-algebra.
  • The quantum Schubert polynomials for X coincide with those of Fl_n, so the known combinatorial and positivity properties of those polynomials apply directly.
  • The quantum Lefschetz homomorphism exhibits a functoriality of quantum cohomology under the inclusion ι: X → Fl_n, which is generally false for arbitrary subvarieties.
  • This provides the first complete quantum Schubert calculus for a smooth Schubert divisor, opening the door to similar results for other smooth Schubert varieties.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The geometric vanishing argument for degrees with d_{n-1} ≥ 2 likely extends to other smooth Schubert divisors of flag varieties, though the dimension count may need refinement for more complicated curve neighborhoods.
  • The quantum Lefschetz homomorphism might be a special case of a general quantum hyperplane-section map for any smooth hypersurface in a flag variety, giving a systematic construction of quantum cohomology for such divisors.
  • The authors' note that the equivariant version follows immediately suggests that the equivariant quantum Monk–Chevalley formula could be tested against known equivariant quantum Schubert calculus for Fl_n, providing an independent check.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops quantum Schubert calculus for the smooth Schubert divisor X = X_{w_0 s_{n-1}} of the complete flag variety Fl_n, defined by the condition F^1 ⊂ V^{n-1}. The main results are: a Borel-type presentation of QH^*(X) as a quotient by the deformed elementary symmetric relations (Theorem 1.2); a quantum Monk-Chevalley formula for products with divisor classes (Theorem 1.3); the statement that the Fomin-Gelfand-Postnikov quantum Schubert polynomials represent the pullback Schubert classes of X under this presentation (Theorem 1.6); and an explicit quantum Lefschetz-type ring homomorphism from QH^*(Fl_n) to QH^*(X) (Theorem 1.7). The presentation is derived from Givental's J-function and the quantum Lefschetz theorem, the quantum Chevalley formula from a mix of low-degree moduli computations and curve-neighborhood vanishing, and the Schubert-polynomial statement from a transition-equation induction.

Significance. If the proofs are fully valid, the paper would provide the first complete quantum Schubert calculus for a smooth Schubert divisor of the complete flag variety: a ring presentation, a quantum Chevalley rule, and quantum Giambelli-type polynomials. The results are concrete and falsifiable, and the techniques — Givental's J-function, the quantum Lefschetz theorem, curve neighborhoods, and transition equations — are standard and well matched to the problem. A notable strength is that the ring presentation is derived geometrically rather than fitted, and Theorem 1.3 gives an explicit correction term whose geometric origin is explained. The paper also spells out a surprising failure of functoriality for the naive pullback and a corrected quantum Lefschetz map. However, a central vanishing statement in Section 4 is not proved at the required level of detail, and this gap is load-bearing for the main quantum Chevalley formula.

major comments (2)
  1. [§4.2.2, Prop. 4.11, case i < n-1] The proof of the vanishing for d = α_{in} + α_{n-1,n} hinges on the assertion that the induced map \hat\pi : M_{0,2}(X,d) → M_{0,2}(P,π_*d) 'cannot be surjective, since any stable map in the image has an extra constraint that C intersects with Y', and on the resulting one-codimension drop dim im(\hat\pi) ≤ dim M_{0,2}(P,π_*d) - 1. This step is not proved. Non-surjectivity alone does not give a proper closed image unless the target is irreducible, and the statement that 'C intersects Y' is a codimension-one condition is not established; Y has codimension 2 in P, so a genuine incidence-count argument is needed. The subsequent dimension estimate for ev_*[M_{0,2}(X,d)]^{vir}, and the equality case via [BCMP13, Lemma 3.8], both depend on this one-codimension drop. If the image of \hat\pi has full dimension, the contradiction disappears and no vanishing is obtained for these exceptional degree
  2. [§4.2.2, Prop. 4.11, equality case] Even if the asserted non-surjectivity is granted, the final dimension contradiction assumes that the equality cases can be identified precisely: that ev_P restricts to a finite-degree morphism Z_1 → Z_2, that Z_1 is a codimension-one component of im(\hat\pi), and that Z_2 is a component of im(ev_P) contained in Y×Y. The citation to 'the proof of [BCMP13, Lemma 3.8]' is used to describe the fiber of the projection of Z_2 to Y_1 as the curve neighborhood Γ^P_{π_*d}(y), of dimension ℓ(z^P_{π_*d}) = ℓ(t_{in}) - 1. This identification requires that the relevant components of the moduli space and the evaluation images are ordinary cycles of the asserted dimension, which is not justified independently of the missing codimension-one statement. Because the proof of Proposition 4.11 is the only support for the 'specific degrees' vanishing, this should be made into a complete geometric argument.
minor comments (4)
  1. [§1, Introduction] There are several typographical errors: 'gezus-0' should be 'genus-0', 'tiangular' should be 'triangular', 'polynimals' should be 'polynomials', and 'contract' should be 'contrast'.
  2. [§4.1.2, Proof of Prop. 4.5] In the displayed computation, the notation appears as Fℓ3: 'Z_{[M_{0,3}(Fℓ3, ι∗d′)]}' should presumably be Fℓ_n. Please correct the subscript to avoid confusion.
  3. [§4.2.2, Prop. 4.11] The phrase 'C intersects with Y' is ambiguous: it should say explicitly that the image f(C) meets the subvariety Y (or the appropriate incidence condition on the stable map), and not the domain curve as an abstract curve.
  4. [§2.3] The notation 'deg q_j' in Equation (2.13) is not formally defined; it is clear from context that it means the degree in the quantum grading, but a short sentence would help.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: central claims rest on external Givental/quantum-Lefschetz and curve-neighborhood results; self-citations are not load-bearing. The only flagged issue is a non-circular proof gap in Prop. 4.11.

full rationale

The derivation chain is self-contained. Theorem 1.2 is obtained from Givental's J-function (Prop. 3.2, [BCK08]), the quantum Lefschetz theorem (Prop. 3.3, [CG07]), Givental's differential-equation criterion (Prop. 3.9, [Gi96]) and the Siebert-Tian/Fulton-Pandharipande presentation criterion; the paper explicitly says the ring presentation was 'first predicted in [LRY]', but that prediction is not used as a proof. The quantum Monk-Chevalley formula (Theorem 1.3) is derived geometrically: Propositions 4.5 and 4.6 reduce low-degree GW invariants to those of FL_n, while Propositions 4.10 and 4.11 use the external curve-neighborhood theorems [BM15] and [BCMP13]; no parameter is fitted and no low-degree prediction is used to kill high-degree invariants. Theorem 1.6 follows by induction from the FGP transition equation and the geometrically proved Theorem 1.3. The self-citations ([LRY], [LRY25], [HKLS25], [GLLX25]) are contextual and do not carry the argument. One explicit non-circular correctness gap should be weighed separately: in Prop. 4.11, case i<n-1, the assertion 'Moreover the map \hat{\pi} cannot be surjective, since any stable map in the image has an extra constrain that C intersects with Y' is unproved; the subsequent codimension-one drop and dimension count depend on it. This is a missing geometric justification for vanishing of the exceptional degrees d=alpha_{in}+alpha_{n-1,n}, not a circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters or invented entities. The paper relies on standard theorems in Gromov-Witten theory and Schubert calculus, cited explicitly. The matrix M_X is an algebraic construction, not an empirical fit.

assumptions (6)
  • domain assumption Givental-Kim presentation of QH^*(Fl_n)
    Used in Section 3.2 as the starting point for the J-function operators (Theorem 3.4).
  • domain assumption Quantum Lefschetz theorem (Coates-Givental)
    Identifies the J-function of X in Proposition 3.3; external theorem [CG07, Corollary 7].
  • domain assumption Buch-Mihalcea curve neighborhood formula Γ_d^{Fl_n}(X_u)=X_{u•z_d}
    Used in Section 4.2.1, Proposition 4.8, from [BM15, Theorem 5.1].
  • domain assumption FGP quantum Monk's formula and transition equation
    Proposition 4.1 and Theorem 5.3 / Proposition 5.1 from [FGP97].
  • domain assumption Siebert-Tian / Fulton-Pandharipande criterion for quantum cohomology presentations
    Used in proof of Theorem 1.2 to pass from quantum differential equations to the ring presentation ([ST97, Prop 2.2], [FP97, Prop 11]).
  • standard math Standard facts about Schubert varieties and cohomology (Borel presentation, cell decomposition)
    Propositions 2.1 and 2.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum Schubert calculus for smooth Schubert divisors of $F\ell_n$." pith.science (2026). https://pith.science/paper/4UCGODGT

@misc{pith2026250917857,
  author       = {Pith},
  title        = {Pith review of: Quantum Schubert calculus for smooth Schubert divisors of $F\ell_n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4UCGODGT}},
  note         = {Machine review of arXiv:2509.17857}
}
read the original abstract

We propose to study the quantum Schubert calculus for Schubert varieties, and investigate the smooth Schubert divisors X of the complete flag variety Fl_n. We provide a Borel-type ring presentation of the quantum cohomology of X. We derive the quantum Chevalley formula for X by geometric arguments. We also show that the quantum Schubert polynomials for X are the same as that for Fl_n introduced by Fomin, Gelfand and Postnikov.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 4 linked inside Pith

  1. [1]

    Akyıldız, A

    E. Akyıldız, A. Lascoux and P. Pragacz, Cohomology of Schubert subvarieties of GL_n/P , J. Differential Geom. 35 (1992), no. 3, 511--519

    1992

  2. [2]

    Berstein, I.M

    I.N. Berstein, I.M. Gelfand, and S.I. Gelfand, Schubert cells, and the cohomology of the spaces G/P , Uspehi Mat. Nauk 28 (1973), no. 3(171), 3--26

    1973

  3. [3]

    Bj\"orner, F

    A. Bj\"orner, F. Brenti,\, Combinatorics of Coxeter groups , Graduate Texts in Mathematics, 231. Springer, New York, 2005

    2005

  4. [4]

    Borel, Sur la cohomologie des espaces fibr\'es principaux et des espaces homog e nes des groupes de Lie compacts , Ann

    A. Borel, Sur la cohomologie des espaces fibr\'es principaux et des espaces homog e nes des groupes de Lie compacts , Ann. of Math.(2) 57(1953), 115-207

    1953

  5. [5]

    S. C. Billey, Y. Gao, and B. Pawlowski, Introduction to the Cohomology of the Flag Variety , arXiv: math.CO/2506.21064 https://arxiv.org/abs/2506.21064, 2025

    arXiv 2025

  6. [6]

    Buch, P.-E

    A.S. Buch, P.-E. Chaput, L.C. Mihalcea and N. Perrin, Finiteness of cominuscule quantum K -theory , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 46 (2013), no. 3, 477--494 (2013)

    2013

  7. [7]

    Buch and L.C

    A.S. Buch and L.C. Mihalcea, Curve neighborhoods of Schubert varieties , J. Differential Geom. 99 (2015), no. 2, 255--283

    2015

  8. [8]

    Behrend and B

    K. Behrend and B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), 45--88

    1997

Show all 37 references
  1. [9]

    Behrend, Yu

    K. Behrend, Yu. Manin. Stacks of stable maps and Gromov-Witten invariants. Duke Math. J. 85 (1996), no. 1, 1--60

    1996

  2. [10]

    Bertram, I

    A. Bertram, I. Ciocan-Fontanine and B. Kim, Gromov-Witten invariants for abelian and nonabelian quotients , J. Algebraic Geom. 17 (2008), no. 2, 275--294

    2008

  3. [11]

    Chow, On D

    C.H. Chow, On D. Peterson's presentation of quantum cohomology of G/P , arXiv: math.AG/2210.17382 https://arxiv.org/abs/2210.17382, 2022

    2022 arXiv

  4. [12]

    Coates and A

    T. Coates and A. Givental, Quantum Riemann-Roch, Lefschetz and Serre , Ann. of Math. (2) 165 (2007), no. 1, 15--53

    2007

  5. [13]

    D. A. Cox, and S. Katz, Mirror symmetry and algebraic geometry , Mathematical Surveys and Monographs, 68. American Mathematical Society, Providence, RI, 1999

    1999

  6. [14]

    Develin, J

    M. Develin, J. L. Martin and V. Reiner, Classification of Ding's Schubert varieties: finer rook equivalence , Canad. J. Math. 59 (2007), no. 1, 36--62

    2007

  7. [15]

    A. St. Dizier and A. Yong, Presenting the cohomology of a Schubert variety: proof of the minimality conjecture , J. Lond. Math. Soc. (2) 109 (2024), no. 1, Paper No. e12832, 22 pp

    2024

  8. [16]

    Fomin, S

    S. Fomin, S. Gelfand and A. Postnikov, Quantum Schubert polynomials , J. Amer. Math. Soc. 10(1997), 565--596

    1997

  9. [17]

    Fulton and R

    W. Fulton and R. Pandharipande,\,Notes on stable maps and quantum cohomology, Proc. Sympos. Pure Math. 62, Part 2, Amer. Math. Soc., Providence, RI, 1997

    1997

  10. [18]

    Fulton, C

    W. Fulton, C. Woodward,\,On the quantum product of Schubert classes, J. Algebraic Geom. 13 (2004), no. 4, 641--661

    2004

  11. [19]

    Galkin and H

    S. Galkin and H. Iritani, Quantum ring and quantum Lefschetz , in preparation; for preliminary notes, see https://www.math.kyoto-u.ac.jp/ iritani/quantum_ring_quantum_Lefschetz.pdf

  12. [20]

    Galkin, N

    S. Galkin, N. C. Leung, C. Li and R. Xiong, A-D-E diagrams, Hodge-Tate hyperplane sections and semisimple quantum cohomology , arXiv: math.AG/2509.01101 https://arxiv.org/abs/2509.01101, 2025

    2025

  13. [21]

    Gasharov and V

    V. Gasharov and V. Reiner, Cohomology of smooth Schubert varieties in partial flag manifolds , J. London Math. Soc. (2) 66 (2002), no. 3, 550--562

    2002

  14. [22]

    Givental

    Alexander B. Givental. Equivariant Gromov-Witten invariants. Internat. Math. Res. Notices 1996, no. 13, 613--663

    1996

  15. [23]

    Givental, B

    A. Givental, B. Kim,\,Quantum cohomology of flag manifolds and Toda lattices, Comm. Math. Phys. 168 (1995), no. 3, 609--641

    1995

  16. [24]

    Hu, H.-Z

    J. Hu, H.-Z. Ke, C. Li and L. Song, On the quantum cohomology of blow-ups of four-dimensional quadrics, Acta Math. Sin. (Engl. Ser.) 40(2024), no.1, 313--328

    2024

  17. [25]

    Hu, H.-Z

    J. Hu, H.-Z. Ke, C. Li and L. Song, Mirror symmetry for certain blowups of Grassmannians , arXiv: math.AG/2502.13545 https://arxiv.org/abs/2502.13545, 2025

    2025 arXiv

  18. [26]

    Lascoux and M

    A. Lascoux and M. P. Sch\"utzenberger, Polyn o mes de Schubert , C. R. Acad. Sci. Paris 294(1982), 447-450

    1982

  19. [27]

    T. Le, S. Ouyang, L. Tao, J. Restivo and A. Zhang, Quantum bumpless pipe dreams , Forum Math. Sigma 13 (2025), Paper No. e28, 21

    2025

  20. [28]

    Leung and C

    N.C. Leung and C. Li, An update of quantum cohomology of homogeneous varieties , Adv. Lect. Math. (ALM), 37, International Press, Somerville, MA, 2017, 211--235

    2017

  21. [29]

    C. Li, K. Rietsch and M. Yang, An anticanonical perspective on G/P Schubert varieties , arXiv: math.AG/2506.18388 https://arxiv.org/abs/2506.18388, 2025

    2025 arXiv

  22. [30]

    C. Li, K. Rietsch and M. Yang, A Lie-theoretic mirror symmetry for Schubert varieties and an extended Peterson program , in preparation

  23. [31]

    Mihalcea and R

    L. Mihalcea and R. M. Shifler, Equivariant quantum cohomology of the odd symplectic Grassmannian , Math. Z. 291 (2019), no. 3-4, 1569--1603

    2019

  24. [32]

    Pech, Quantum cohomology of the odd symplectic Grassmannian of lines , J

    C. Pech, Quantum cohomology of the odd symplectic Grassmannian of lines , J. Algebra 375 (2013), 188--215

    2013

  25. [33]

    Peterson, Quantum cohomology of G/P , in: Lecture Course, Spring Term, M.I.T, 1997; notes by J

    D. Peterson, Quantum cohomology of G/P , in: Lecture Course, Spring Term, M.I.T, 1997; notes by J. Lu and K. Rietsch

    1997

  26. [34]

    Reiner, A

    V. Reiner, A. Woo and A. Yong, Presenting the cohomology of a Schubert variety , Trans. Amer. Math. Soc. 363 (2011), no. 1, 521--543

    2011

  27. [35]

    Rietsch, Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties , J

    K. Rietsch, Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties , J. Amer. Math. Soc. 16 (2003), no. 2, 363--392

    2003

  28. [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

    2008

  29. [37]

    On quantum cohomology rings of Fano manifolds and a formula of Vafa and Intriligator

    Bernd Siebert, Gang Tian. On quantum cohomology rings of Fano manifolds and a formula of Vafa and Intriligator. Asian J. Math. 1 (1997), no. 4, 679--695

    1997

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.