pith. sign in

arxiv: 1906.09343 · v4 · submitted 2019-06-21 · 🧮 math.AG · math.QA· math.RT

On quantum K-groups of partial flag manifolds

Syu Kato This is my paper

Pith reviewed 2026-05-25 18:24 UTC · model grok-4.3

classification 🧮 math.AG math.QAmath.RT
keywords quantum K-theorypartial flag manifoldsequivariantSchubert classesquotient mapsNovikov variablesPeterson theorem
0
0 comments X

The pith

The equivariant small quantum K-group of a partial flag manifold is a quotient of that of the full flag manifold, respecting Schubert classes.

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

The paper shows that the equivariant small quantum K-group of a partial flag manifold is a quotient of that of the full flag manifold in a way that respects the Schubert classes. This construction is presented as a K-theoretic analogue of the parabolic Peterson theorem, but it behaves differently from the quantum cohomology case. A sympathetic reader would care because the result relates the quantum K-theory of full and partial flag varieties through explicit quotient maps that specialize some Novikov variables to 1. The geometric meaning of those specializations is left unclear, marking a distinction from known cohomology results.

Core claim

We show that the equivariant small quantum K-group of a partial flag manifold is a quotient of that of the full flag manifold in a way that respects the Schubert classes. This is a K-theoretic analogue of the parabolic version of Peterson's theorem that exhibits a different behavior from the case of quantum cohomology. Our quotient maps send some of the Novikov variables to 1, and the geometric meaning of this specialization is unclear in quantum K-theory.

What carries the argument

The quotient map on equivariant small quantum K-groups from full flag to partial flag that preserves the Schubert classes by specializing selected Novikov variables to 1.

If this is right

  • Quantum K-groups of partial flag manifolds are obtained directly from those of full flag manifolds via the quotient maps.
  • Schubert classes of partial flags arise as images of full flag Schubert classes under the quotient.
  • Selected Novikov variables are sent to 1 under the transition from full to partial flag quantum K-groups.
  • The resulting structure differs in its treatment of variables from the corresponding statement in quantum cohomology.

Where Pith is reading between the lines

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

  • The quotient relation could reduce the computational effort needed to determine quantum K-invariants for partial flags by leveraging full flag data.
  • The absence of a clear geometric interpretation for the Novikov specialization may point to phenomena unique to quantum K-theory.
  • The maps might extend to relate other parabolic subgroups or non-equivariant versions of the groups.

Load-bearing premise

The equivariant small quantum K-group of the full flag manifold has already been constructed with the required properties, including a parabolic Peterson theorem analogue, in prior literature.

What would settle it

Explicitly compute the equivariant small quantum K-groups for both a full flag manifold and a specific partial flag manifold such as a Grassmannian, then check whether the partial group equals the image of the full group under the proposed quotient on the Schubert class basis.

read the original abstract

We show that the equivariant small quantum $K$-group of a partial flag manifold is a quotient of that of the full flag manifold in a way that respects the Schubert classes. This is a $K$-theoretic analogue of the parabolic version of Peterson's theorem [Lam-Shimozono, Acta Math. {\bf 204} (2010)] that exhibits a different behavior from the case of quantum cohomology. Our quotient maps send some of the Novikov variables to $1$, and the geometric meaning of this specialization is unclear in quantum $K$-theory.

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 / 1 minor

Summary. The paper proves that the equivariant small quantum K-group of a partial flag manifold arises as a quotient of the corresponding group for the full flag manifold, with the quotient respecting Schubert classes. The construction is presented as the K-theoretic analogue of the parabolic Peterson theorem of Lam-Shimozono, but with the explicit difference that the quotient maps send certain Novikov variables to 1 (whose geometric interpretation remains unclear).

Significance. If the result holds, it supplies a concrete ring-theoretic relation between quantum K-groups of flag varieties that is not present in the quantum-cohomology setting. This could streamline computations of structure constants and Schubert calculus in the partial-flag case by reduction to the full-flag case already treated in the literature. The explicit note that the specialization differs from the cohomology analogue is itself a useful clarification.

minor comments (1)
  1. The abstract states that the geometric meaning of sending Novikov variables to 1 is unclear; if the manuscript contains any further discussion or conjecture on this point (e.g., in the introduction or final section), it should be highlighted for the reader.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of the paper and for noting its potential significance in providing a concrete relation between quantum K-groups that is absent in quantum cohomology. We address the observation regarding the specialization of Novikov variables below.

read point-by-point responses

  1. Referee: The construction is presented as the K-theoretic analogue of the parabolic Peterson theorem of Lam-Shimozono, but with the explicit difference that the quotient maps send certain Novikov variables to 1 (whose geometric interpretation remains unclear).

    Authors: This accurately reflects the content of our manuscript. The abstract and introduction explicitly state that the quotient maps send some Novikov variables to 1 and that the geometric meaning of this specialization is unclear in quantum K-theory, emphasizing the contrast with the cohomology case of Lam-Shimozono. The result is an algebraic statement establishing the quotient while respecting Schubert classes; the proof does not depend on a geometric interpretation of the specialization. We are not aware of such an interpretation and have therefore left the question open rather than offering speculation. This difference from the cohomology analogue is itself a noteworthy feature of the K-theoretic setting. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the equivariant small quantum K-group of a partial flag manifold explicitly as a quotient of the corresponding object for the full flag manifold (via specialization of Novikov variables), presented as a direct K-theoretic analogue of the Lam-Shimozono parabolic Peterson theorem. The abstract and stated claim contain no equations, no fitted parameters renamed as predictions, and no load-bearing self-citations; the cited theorem is external (Lam-Shimozono, different authors). The derivation is therefore self-contained as a construction on top of independently established prior results, with no reduction of the central claim to its own inputs by definition or self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only supplies no explicit free parameters, axioms, or invented entities; all such items are unknown.

pith-pipeline@v0.9.0 · 5612 in / 969 out tokens · 26650 ms · 2026-05-25T18:24:33.358539+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 4 internal anchors

  1. [1]

    The quantum K- theory of a homogeneous space is finite

    David Anderson, Linda Chen, Hsian-Hua Tseng, and Hirosh i Iritani. The quantum K- theory of a homogeneous space is finite. International Mathematics Research Notices , published online https://doi.org/10.1093/imrn/rnaa108, 2020

    work page doi:10.1093/imrn/rnaa108 2020

  2. [2]

    Braverman, M

    A. Braverman, M. Finkelberg, D. Gaitsgory, and I. Mirkov i´ c. Intersection cohomology of Drinfeld’s compactifications. Selecta Math. (N.S.) , 8(3):381–418, 2002

    work page 2002

  3. [3]

    Semi-infin ite Schubert varieties and quan- tum K-theory of flag manifolds

    Alexander Braverman and Michael Finkelberg. Semi-infin ite Schubert varieties and quan- tum K-theory of flag manifolds. J. Amer. Math. Soc. , 27(4):1147–1168, 2014

    work page 2014

  4. [4]

    W eyl modul es and q-Whittaker functions

    Alexander Braverman and Michael Finkelberg. W eyl modul es and q-Whittaker functions. Math. Ann. , 359(1-2):45–59, 2014

    work page 2014

  5. [5]

    Twisted zastava and $q$-Whittaker functions

    Alexander Braverman and Michael Finkelberg. Twisted za stava and q-Whittaker func- tions. J. London Math. Soc. , 96(2):309–325, 2017, arXiv:1410.2365

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  6. [6]

    Buch, Pierre-Emmanuel Chaput, Leonardo C

    Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mih alcea, and Nicolas Perrin. A Chevalley formula for the equivariant quantum K-theory of cominuscule varieties. Algebraic Geometry, 5(5):568–595, 2018

    work page 2018

  7. [7]

    Buch, Sjuvon Chung, Changzheng Li, and Leonard o C

    Anders S. Buch, Sjuvon Chung, Changzheng Li, and Leonard o C. Mihalcea. Euler char- acteristics in the quantum K-theory of flag varieties. Selecta Math. (N.S.) , 26:29, 2020

    work page 2020

  8. [8]

    Buch and Leonardo C

    Anders S. Buch and Leonardo C. Mihalcea. Quantum K-theory of Grassmannians. Duke Math. J. , 156(3):501–538, 2011

    work page 2011

  9. [9]

    Representation theory and complex geometry

    Neil Chriss and Victor Ginzburg. Representation theory and complex geometry . Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, M A, 2010. Reprint of the 1997 edition

    work page 2010

  10. [10]

    The Abelian/Nonabelian correspondence and Frobenius manifolds

    Ionut ¸ Ciocan-Fontanine, Bumsig Kim, and Claude Sabba h. The Abelian/Nonabelian correspondence and Frobenius manifolds. Invent. Math. , 171(2):301–343, 2008

    work page 2008

  11. [11]

    Semi-infinite flags

    Boris Feigin, Michael Finkelberg, Alexander Kuznetso v, and Ivan Mirkovi´ c. Semi-infinite flags. II. Local and global intersection cohomology of quasi maps’ spaces. In Differential topology, infinite-dimensional Lie algebras, and applicat ions, volume 194 of Amer. Math. Soc. Transl. Ser. 2 , pages 113–148. Amer. Math. Soc., Providence, RI, 1999

    work page 1999

  12. [12]

    Semi-infinite fl ags

    Michael Finkelberg and Ivan Mirkovi´ c. Semi-infinite fl ags. I. Case of global curve P1. In Differential topology, infinite-dimensional Lie algebras, and applications , volume 194 of Amer. Math. Soc. Transl. Ser. 2 , pages 81–112. Amer. Math. Soc., Providence, RI, 1999

    work page 1999

  13. [13]

    Notes on stabl e maps and quantum cohomol- ogy

    William Fulton and Rahul Pandharipande. Notes on stabl e maps and quantum cohomol- ogy. In Robert Lazarsfeld J´ anos Koll´ ar and David Morrison, editors, Algebraic Geometry: Santa Cruz 1995 . Amer Mathematical Society, 1995

    work page 1995

  14. [14]

    Homological geometry and mirror s ymmetry

    Alexander Givental. Homological geometry and mirror s ymmetry. Proceedings of the International Congress of Mathematicians 1994 , pages 472–480, 1995

    work page 1994

  15. [15]

    On the WDVV equation in quantum K-theory

    Alexander Givental. On the WDVV equation in quantum K-theory. Michigan Math. J. , 48:295–304, 2000

    work page 2000

  16. [16]

    Quantum K-theory on flag manifolds, finite- difference Toda lattices and quantum groups

    Alexander Givental and Yuan-Pin Lee. Quantum K-theory on flag manifolds, finite- difference Toda lattices and quantum groups. Invent. Math. , 151(1):193–219, 2003

    work page 2003

  17. [17]

    Givental

    Alexander B. Givental. Equivariant Gromov-Witten inv ariants. Internat. Math. Res. Notices, 13:613–663, 1996

    work page 1996

  18. [18]

    Reconstruction and Convergence in Quantum $K$-Theory via Difference Equations

    Hiroshi Iritani, Todor Milanov, and Valentin Tonita. R econstruction and convergence in quantum K-Theory via Difference Equations. International Mathematics Research Notices, 2015(11):2887–2937, 2015, 1309.3750

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  19. [19]

    Demazure character formula for semi-infinite flag varieties

    Syu Kato. Demazure character formula for semi-infinite flag varieties. Math. Ann. , 371(3):1769–1801, 2018, arXiv:1605.0279

    work page arXiv 2018

  20. [20]

    Frobenius splitting of Schubert varieties of semi-infinite flag manifolds

    Syu Kato. Frobenius splitting of Schubert varieties of semi-infinite flag manifolds. arXiv:1810.07106, 2018

    work page arXiv 2018

  21. [21]

    Loop structure on equivariant K-theory of semi-infinite flag manifolds

    Syu Kato. Loop structure on equivariant K-theory of semi-infinite flag manifolds. arXiv:1805.01718, 2018

    work page arXiv 2018

  22. [22]

    Darboux coordinates on the BFM spaces

    Syu Kato. Darboux coordinates on the BFM spaces. arXiv: 2008.01310, 2020

    work page arXiv 2008

  23. [23]

    Equivaria nt K-theory of semi-infinite flag manifolds and Pieri-Chevalley formula

    Syu Kato, Satoshi Naito, and Daisuke Sagaki. Equivaria nt K-theory of semi-infinite flag manifolds and Pieri-Chevalley formula. Duke Math. J. , to appear., 2020. 17

    work page 2020

  24. [24]

    Kim and R

    B. Kim and R. Pandharipande. The connectedness of the mo duli space of maps to homo- geneous spaces. In Symplectic geometry and mirror symmetry (Seoul, 2000) , pages 187–

    work page 2000

  25. [25]

    Publ., River Edge, NJ, 2001

    W orld Sci. Publ., River Edge, NJ, 2001

    work page 2001

  26. [26]

    Projecti ons of Richardson varieties

    Allen Knutson, Thomas Lam, and David E Speyer. Projecti ons of Richardson varieties. J. reine angew. Math. , 687:133–157, 2014

    work page 2014

  27. [27]

    Higher direct images of dualizing sheaves, I

    J´ anos Koll´ ar. Higher direct images of dualizing sheaves, I. Ann. of Math. (2) , 123(1):11– 42, 1986

    work page 1986

  28. [28]

    Cambridge University Press, Cambridge, 1998

    J´ anos Koll´ ar and Shigefumi Mori.Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Transla ted from the 1998 Japanese original

    work page 1998

  29. [29]

    Kac-Moody groups, their flag varieties and representation t heory, vol- ume 204 of Progress in Mathematics

    Shrawan Kumar. Kac-Moody groups, their flag varieties and representation t heory, vol- ume 204 of Progress in Mathematics . Birkh¨ auser Boston, Inc., Boston, MA, 2002

    work page 2002

  30. [30]

    Mihalcea, and Ma rk Shimozono

    Thomas Lam, Changzheng Li, Leonardo C. Mihalcea, and Ma rk Shimozono. A conjec- tural Peterson isomorphism in K-theory. J. Algebra , 513:326–343, 2018

    work page 2018

  31. [31]

    K-theory Schubert calculus of the affine Grassmannian

    Thomas Lam, Anne Schilling, and Mark Shimozono. K-theory Schubert calculus of the affine Grassmannian. Compositio Mathematica, 146(4):811–852, 2010, 0901.1506

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  32. [32]

    Quantum cohomology of G/P and homology of affine Grassmannian

    Thomas Lam and Mark Shimozono. Quantum cohomology of G/P and homology of affine Grassmannian. Acta Mathematica, 204(1):49–90, 2010, arXiv:0705.1386v1

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  33. [33]

    Quantum K-theory, I: Foundations

    Yuan-Pin Lee. Quantum K-theory, I: Foundations. Duke Math. J. , 121(3):389–424, 2004

    work page 2004

  34. [34]

    Functorial rel ationships between QH ∗(G/B) and QH ∗(G/P )

    Naichung Conan Leung and Changzheng Li. Functorial rel ationships between QH ∗(G/B) and QH ∗(G/P ). Journal of Differential Geometry , 86:303–354, 2010

    work page 2010

  35. [35]

    Quantum cohomology of G/P

    Dale Peterson. Quantum cohomology of G/P . Lecture at MIT, 1997

    work page 1997

  36. [36]

    W oodward

    Christopher T. W oodward. On D. Peterson’s comparison f ormula for Gromov-Witten invariants of G/P . Proc. Amer. Math. Soc. , 133(6):1601–1609, 2005. 18

    work page 2005