Twisted factorial Grothendieck polynomials and equivariant K-theory of weighted Grassmann orbifolds
Pith reviewed 2026-05-15 14:15 UTC · model grok-4.3
The pith
Twisted factorial Grothendieck polynomials represent the Schubert classes in the equivariant K-theory of weighted Grassmann orbifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that twisted factorial Grothendieck polynomials, obtained via a specific specialization of the factorial Grothendieck polynomials, represent the Schubert classes in the equivariant K-theory of weighted Grassmann orbifolds. This identification supplies an explicit algebraic basis for the ring, together with formulas for restrictions to any torus fixed point and for all structure constants with respect to the Schubert basis. The same specialization in the non-equivariant setting produces twisted Grothendieck polynomials that represent the Schubert classes in ordinary K-theory.
What carries the argument
Twisted factorial Grothendieck polynomials, defined by specializing factorial Grothendieck polynomials, which provide the explicit representatives for Schubert classes under the torus action and localization map.
If this is right
- The structure constants of the equivariant K-theory ring are given by explicit combinations of these polynomials.
- Restriction maps from the full ring to any fixed point are realized by evaluating the corresponding twisted factorial Grothendieck polynomial.
- In the non-equivariant limit the same construction yields a basis for ordinary K-theory whose structure constants can be read off directly.
- The polynomials furnish a combinatorial model for intersection theory on these orbifolds.
Where Pith is reading between the lines
- The construction may extend to other weighted homogeneous spaces where similar specializations could produce bases for their K-theory rings.
- Combinatorial positivity or recurrence properties known for ordinary Grothendieck polynomials might transfer to the twisted versions and yield new identities.
- The explicit structure constants could be used to compute K-theoretic Gromov-Witten invariants on the orbifolds.
Load-bearing premise
The chosen specialization of the factorial Grothendieck polynomials exactly matches the geometric Schubert classes under the torus action and localization map of the weighted Grassmann orbifold.
What would settle it
A direct computation at one torus fixed point showing that the polynomial restriction fails to equal the expected K-theoretic class would falsify the identification.
read the original abstract
In this paper, we provide an explicit description of the Schubert classes in the equivariant $K$-theory of weighted Grassmann orbifolds. We introduce the `twisted factorial Grothendieck polynomials', a family of symmetric polynomials by specializing the factorial Grothendieck polynomials, and prove that they represent the Schubert classes in the equivariant $K$-theory of the weighted Grassmann orbifolds. We give an explicit formula for the restriction of the Schubert classes to any torus fixed point in terms of twisted factorial Grothendieck polynomials. We give an explicit formula for the structure constants with respect to the Schubert basis in the equivariant $K$-theory of weighted Grassmann orbifolds. Eminently, we describe `twisted Grothendieck polynomials' and prove that these represent the Schubert classes in the $K$-theory of the weighted Grassmann orbifold. As a consequence, we describe the structure constants in the $K$-theory of weighted Grassmann orbifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces twisted factorial Grothendieck polynomials obtained by a specific specialization of the factorial Grothendieck polynomials (with parameters twisted by orbifold weights) and claims to prove that these polynomials represent the Schubert classes in the equivariant K-theory of weighted Grassmann orbifolds. It supplies explicit formulas for the restrictions of these classes to torus fixed points and for the structure constants in the equivariant K-theory ring, together with a parallel treatment of ordinary (non-equivariant) twisted Grothendieck polynomials.
Significance. If the central identification holds, the work supplies the first explicit algebraic model for Schubert classes in the equivariant K-theory of weighted Grassmann orbifolds, extending the classical factorial Grothendieck theory to an orbifold setting and yielding computable structure constants. This would be a useful addition to the literature on equivariant K-theory of homogeneous spaces and orbifolds.
major comments (2)
- [§3.2] §3.2, the specialization step leading to Definition 3.4: the manuscript asserts that the twisted factorial Grothendieck polynomials coincide with the localized Schubert classes under the weighted torus action, but the verification that the chosen twisting exactly reproduces the denominators and numerators arising from the localization theorem (without additional orbifold correction terms) is only sketched; an explicit comparison for a low-rank example (e.g., the first non-trivial weighted Grassmann orbifold) is needed to confirm the match.
- [§4.1] §4.1, Theorem 4.3: the proof that the structure constants are given by the stated positive formulas relies on the representation property established in §3; because the latter identification is not fully expanded, the positivity claim for the structure constants cannot yet be regarded as load-bearing.
minor comments (2)
- [§2.1] The notation distinguishing the equivariant parameters from the orbifold weights is introduced only in §2.1 and could be made more prominent (e.g., by a dedicated table) to aid readers unfamiliar with weighted Grassmann orbifolds.
- [§3.3] Several displayed equations in §3.3 contain typographical inconsistencies in the placement of the twisting factors; these should be checked against the preceding definitions.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive suggestions. The central identification of twisted factorial Grothendieck polynomials with Schubert classes holds, and we will strengthen the exposition by adding the requested low-rank verification and expanding the details of the representation property.
read point-by-point responses
-
Referee: [§3.2] §3.2, the specialization step leading to Definition 3.4: the manuscript asserts that the twisted factorial Grothendieck polynomials coincide with the localized Schubert classes under the weighted torus action, but the verification that the chosen twisting exactly reproduces the denominators and numerators arising from the localization theorem (without additional orbifold correction terms) is only sketched; an explicit comparison for a low-rank example (e.g., the first non-trivial weighted Grassmann orbifold) is needed to confirm the match.
Authors: We agree that an explicit low-rank check would make the specialization transparent. In the revision we will insert a complete computation for the first non-trivial weighted Grassmann orbifold (the weighted projective line with weights (1,2)), deriving the localized classes directly from the localization theorem and confirming that the twisted factorial Grothendieck polynomials reproduce both numerators and denominators exactly, with no extra orbifold correction terms required. revision: yes
-
Referee: [§4.1] §4.1, Theorem 4.3: the proof that the structure constants are given by the stated positive formulas relies on the representation property established in §3; because the latter identification is not fully expanded, the positivity claim for the structure constants cannot yet be regarded as load-bearing.
Authors: The proof of Theorem 4.3 indeed rests on the identification proved in §3. We will expand §3 by inserting all intermediate steps of the specialization argument and the verification that the twisted polynomials satisfy the same localization and restriction formulas as the Schubert classes. With these details supplied, the positivity of the structure constants follows directly from the combinatorial positivity already established for the twisted polynomials, rendering the claim load-bearing. revision: yes
Circularity Check
No significant circularity detected in the derivation.
full rationale
The paper explicitly defines twisted factorial Grothendieck polynomials via specialization of the known factorial Grothendieck polynomials and then proves (via localization and restriction formulas) that these represent the Schubert classes in the equivariant K-theory of the weighted Grassmann orbifolds. No load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the central identification is presented as a theorem with explicit restriction formulas to torus fixed points. The derivation remains self-contained against the geometric localization theorem.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard axioms of equivariant K-theory rings and localization at torus fixed points
- domain assumption Existence of a torus action on weighted Grassmann orbifolds whose fixed points and weights are known
invented entities (1)
-
twisted factorial Grothendieck polynomials
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce the ‘twisted factorial Grothendieck polynomials’... and prove that they represent the Schubert classes in the equivariant K-theory of the weighted Grassmann orbifolds.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem A (Theorem 6.3). There exists a surjective algebra homomorphism Ψ^c ...
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
- [1]
- [2]
-
[3]
A. Adem, J. Leida, and Y. Ruan.Orbifolds and stringy topology, volume 171 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2007
work page 2007
- [4]
- [5]
-
[6]
H. Azam, S. Nazir, and M. I. Qureshi. The equivariant cohomology of weighted flag orbifolds.Math. Z., 294(3-4):881–900, 2020
work page 2020
- [7]
-
[8]
K. Brahma and S. Sarkar. Integral generalized equivariant cohomologies of weighted Grassmann orbifolds.Algebr. Geom. Topol., 24(4):2209–2244, 2024
work page 2024
-
[9]
A. S. Buch. A Littlewood-Richardson rule for theK-theory of Grassmannians.Acta Math., 189(1):37– 78, 2002
work page 2002
-
[10]
A. Corti and M. Reid. Weighted Grassmannians. InAlgebraic geometry, pages 141–163. de Gruyter, Berlin, 2002
work page 2002
- [11]
-
[12]
Fulton.Young tableaux, volume 35 ofLondon Mathematical Society Student Texts
W. Fulton.Young tableaux, volume 35 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1997. With applications to representation theory and geometry
work page 1997
- [13]
- [14]
-
[15]
T. Ikeda. Schubert classes in the equivariant cohomology of the Lagrangian Grassmannian.Adv. Math., 215(1):1–23, 2007
work page 2007
- [16]
-
[17]
T. Ikeda and H. Naruse.K-theoretic analogues of factorial SchurP- andQ-functions.Adv. Math., 243:22–66, 2013. 30 K BRAHMA
work page 2013
-
[18]
T. Ikeda and T. Shimazaki. A proof ofK-theoretic Littlewood-Richardson rules by Bender-Knuth- type involutions.Math. Res. Lett., 21(2):333–339, 2014
work page 2014
-
[19]
V. N. Ivanov. Interpolation analogues of SchurQ-functions.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 307:99–119, 281–282, 2004
work page 2004
-
[20]
Jacobson.Finite-dimensional division algebras over fields
N. Jacobson.Finite-dimensional division algebras over fields. Springer-Verlag, Berlin, 1996
work page 1996
- [21]
-
[22]
A. Knutson and E. Miller. Gr¨ obner geometry of Schubert polynomials.Ann. of Math. (2), 161(3):1245–1318, 2005
work page 2005
-
[23]
A. Knutson and T. Tao. Puzzles and (equivariant) cohomology of Grassmannians.Duke Math. J., 119(2):221–260, 2003
work page 2003
-
[24]
B. Kostant and S. Kumar.T-equivariantK-theory of generalized flag varieties.J. Differential Geom., 32(2):549–603, 1990
work page 1990
-
[25]
T. Lam, S. J. Lee, and M. Shimozono. Back stableK-theory Schubert calculus.Int. Math. Res. Not. IMRN, 2023(24):21381–21466, 2023
work page 2023
-
[26]
T. Lam, A. Schilling, and M. Shimozono.K-theory Schubert calculus of the affine Grassmannian. Compos. Math., 146(4):811–852, 2010
work page 2010
-
[27]
A. Lascoux and M.-P. Sch¨ utzenberger. Polynˆ omes de Schubert.C. R. Acad. Sci. Paris S´ er. I Math., 294(13):447–450, 1982
work page 1982
-
[28]
A. Lascoux and M.-P. Sch¨ utzenberger. Structure de Hopf de l’anneau de cohomologie et de l’anneau de Grothendieck d’une vari´ et´ e de drapeaux.C. R. Acad. Sci. Paris S´ er. I Math., 295(11):629–633, 1982
work page 1982
-
[29]
C. Lenart. Combinatorial aspects of theK-theory of Grassmannians.Ann. Comb., 4(1):67–82, 2000
work page 2000
-
[30]
L. Manivel.Symmetric functions, Schubert polynomials and degeneracy loci, volume 6 ofSMF/AMS Texts and Monographs. American Mathematical Society, Providence, RI; Soci´ et´ e Math´ ematique de France, Paris, 2001. Translated from the 1998 French original by John R. Swallow, Cours Sp´ ecialis´ es,
work page 2001
-
[31]
[Specialized Courses]
-
[32]
P. J. McNamara. Factorial Grothendieck polynomials.Electron. J. Combin., 13(1):Research Paper 71, 40, 2006
work page 2006
-
[34]
A. I. Molev and B. E. Sagan. A Littlewood-Richardson rule for factorial Schur functions.Trans. Amer. Math. Soc., 351(11):4429–4443, 1999
work page 1999
-
[35]
O. Pechenik and A. Yong. EquivariantK-theory of Grassmannians.Forum Math. Pi, 5:e3, 128, 2017
work page 2017
-
[36]
O. Pechenik and A. Yong. EquivariantK-theory of Grassmannians II: the Knutson-Vakil conjecture. Compos. Math., 153(4):667–677, 2017
work page 2017
-
[37]
G. Segal. EquivariantK-theory.Inst. Hautes ´Etudes Sci. Publ. Math., (34):129–151, 1968. Department of Pure and Applied Mathematics, W aseda University, 3-4-1 Okubo, Shinjuku- ku, Tokyo 169-8555, Japan. Email address:w.iac24166@kurenai.waseda.jp koushikbrahma95@gmail.com
work page 1968
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.