Pith. sign in

REVIEW 1 major objections 6 minor 30 references

Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian

T0 review · 1 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the equivariant K-Peterson map for SL_n is realized explicitly by a rational substitution from the relativistic Toda lattice, matching Schubert classes on the quantum and affine sides.

desk verdict A serious, well-executed explicit realization of the equivariant K-Peterson map; the main theorem holds up, and the only flagged gap (Proposition 4.1) is minor and fillable. read the letter →

arxiv 2505.02941 v3 pith:62U6IFB4 submitted 2025-05-05 math.RT math.AGmath.COmath.KT

Takeshi Ikeda , Shinsuke Iwao , Satoshi Naito , Kohei Yamaguchi This is my paper · ORCID
classification math.RTmath.AGmath.COmath.KT MSC 14N1505E1037K10
keywords equivariantquantumK-theoryaffineGrassmannianPetersonisomorphismrelativisticTodalatticek-SchurfunctionsdoubleGrothendieckpolynomialsK-theoretic
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

This paper makes the 'quantum equals affine' correspondence explicit for the flag variety of SL_n in equivariant K-theory. It proves that the K-Peterson isomorphism, an abstract identification between the torus-equivariant quantum K-ring of SL_n(C)/B and the equivariant K-homology of the affine Grassmannian of SL_n, is implemented by a concrete rational substitution. The substitution expresses the quantum-ring generators as ratios of principal-minor tau functions attached to a centralizer family, and it sends quantum double Grothendieck polynomials to K-theoretic double k-Schur functions, so the Schubert bases on both sides match. The result turns a structural isomorphism, whose existence was proved by general machinery, into a formula that can be evaluated and used.

What carries the argument

The load-bearing object is the explicit K-Peterson map $\tilde \Phi_n = \sigma \circ \Phi_n$, where $\Phi_n$ is the $R(T)$-algebra map defined by (1.3): $z_i \mapsto \tau_i\sigma_{i-1}/(\sigma_i\tau_{i-1})$ and $Q_i \mapsto \tau_{i-1}\tau_{i+1}/\tau_i^2$. The $\tau_i$ and $\sigma_i$ are the $i$-th principal-minor determinants of the centralizer matrices $ZAP$ and $ZP$, and the automorphism $\sigma$ sends $h_i(y)$ to $1+h_1(y)+\cdots+h_i(y)$, i.e., it shifts the first variable in the symmetric-function realization. This map is the mechanism because it intertwines the Demazure operators on both rings: $\tilde \Phi_n \circ D^Q_i = D_{n-i} \circ \tilde \Phi_n$ and $\tilde \Phi_n \circ D^Q_0 = D_0 \circ \tilde \Phi_n$, which promotes the direct check on $s_0$ to all Schubert classes. The affine-side functions $\tilde g^{(k)}_x(y|b)$ are the K-theoretic double $k$-Schur functions, defined by $D_x(1)$, which represent the Schubert structure sheaves of the affine Grassmannian.

What would settle it

Compute both sides of (1.5) for a small non-$k$-small example, such as $n=3$ with $x=s_2s_1s_0$ (whose associated $2$-bounded partition is $(2,1)$, a non-$k$-small example), by evaluating the rational substitution $\tilde\Phi_n$ on $Q^\xi G^Q_w(z|\eta)$ and comparing the resulting series with $\tilde g^{(k)}_{x\omega_k}(y|b)$; any mismatch in the coefficients would disprove the theorem.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.1: for every affine Grassmann element $x = w t_\xi$ with $w$ in the finite Weyl group and $\xi$ in the coroot lattice, the map $\tilde \Phi_n = \sigma \circ \Phi_n$ built from the substitution $z_i \mapsto \tau_i\sigma_{i-1}/(\sigma_i\tau_{i-1})$, $Q_i \mapsto \tau_{i-1}\tau_{i+1}/\tau_i^2$ sends $Q^\xi G^Q_w(z|\eta)$ to $\tilde g^{(k)}_{x\omega_k}(y|b)$. Here $G^Q_w$ is the quantum double Grothendieck polynomial representing the equivariant quantum Schubert class, $\tilde g^{(k)}_x$ is the closed K-theoretic double $k$-Schur function representing the affine Schubert structure sheaf, and $\omega_k$ is the $k$-conjugation involution on affine Grassmann elements. The paper proves this by checking the single class $x=s_0$ directly and then using Demazure operators $D^Q_0$ and $D^Q_i$ to propagate the identity to all $x$. It also derives determinantal formulas for $k$-small $k$-Schur functions (the case $\lambda_1+\ell(\lambda)\le n$) and, as an application, a factorization formula for the closed $k$-Schur function of the unique maximal $k$-irreducible $k$-bounded partition $\nu_n$ (Theorem 1.2).

Load-bearing premise

The argument leans on a previously proved dictionary: the coordinate ring of the centralizer family (the space of upper-triangular matrices commuting with a fixed torus element) is identified, through an explicit formula, with the ring of K-theoretic double k-Schur functions that represent affine Grassmannian Schubert classes; if that dictionary were wrong, the claimed Schubert-basis matching would not follow.

Editorial extensions

If this is right

  • Quantum double Grothendieck polynomials map to closed K-theoretic double $k$-Schur functions under $\tilde \Phi_n$, so every equivariant quantum Schubert class of the flag variety has a named symmetric-function representative on the affine Grassmannian.
  • The Demazure-operator intertwining means computations in the equivariant quantum K-ring can be transported to the affine Grassmannian K-homology ring, and vice versa.
  • The $k$-rectangle factorization $\tilde g^{(k)}_{R_i\cup\lambda}(y|b) = \tilde g^{(k)}_{R_i}(y|b)\tilde g^{(k)}_\lambda(y|\omega^i b)$ reduces the study of arbitrary $k$-Schur functions to $k$-irreducible partitions.
  • For the maximal $k$-irreducible partition $\nu_n$, the factorization formulas (1.6) and (1.7) express $\tilde g^{(k)}_{\nu_n}$ as a product of determinant-representable $k$-small factors, with an explicit rational prefactor in the even case.
  • The determinantal formulas for $k$-small partitions make those Schubert classes directly computable from the entries of the centralizer matrix.

Reading between the lines

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

  • Editorial inference: the same tau-function substitution may yield an explicit K-Peterson map for other types only if the centralizer-family coordinates admit analogous principal-minor formulas; the present argument is specific to type A, while the abstract isomorphism is known for every semisimple group.
  • Editorial inference: because the map is explicit and algebraic, it can be tested numerically for small $n$ on non-$k$-small classes, and it suggests a recursive way to compute arbitrary affine Schubert classes by breaking them into $k$-rectangle pieces.
  • Editorial inference: the identity $\sigma = \mathrm{dToda}$ observed in Appendix A hints that one step of the discrete relativistic Toda lattice implements the automorphism $\sigma$, so the Schubert-basis correspondence could be reinterpreted as a statement about successive Toda time evolution of tau functions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 6 minor

Summary. The paper gives an explicit algebraic realization of the T-equivariant K-Peterson isomorphism for SL_n(C). Concretely, for x = w t_ξ in the affine Grassmannian, Theorem 1.1 asserts that the map Φ̃_n = σ ∘ Φ_n, defined by the rational substitution (1.3) coming from the relativistic Toda lattice and the automorphism σ, sends the quantum double Grothendieck polynomial Q^ξ G^Q_w(z|η) to the closed K-theoretic double k-Schur function g̃^{(k)}_{xω_k}(y|b). The proof proceeds by proving the base case x = s_0 (Proposition 5.10), then extending via Demazure operators (Corollary 5.15 and Proposition 5.8). The paper also proves determinantal formulas for k-small partitions (Theorems 6.7 and 6.16), a k-rectangle factorization property (Theorem 7.2), and, as an application, a factorization formula for the maximal k-irreducible k-bounded partition ν_n (Theorem 1.2).

Significance. The result is significant if correct: it converts an abstract isomorphism theorem into an explicit, checkable formula that matches Schubert bases on the quantum and affine sides, with no free parameters. The determinantal formulas and the factorization theorem for ν_n are new and likely to be useful for further combinatorial and geometric applications. The paper is well structured and many technical steps are proved in detail, including the delicate base-case computation for s_0 and the Demazure-operator framework. It relies on substantial external inputs, notably the ring presentation of [24], the affine-side realization of [8], and Kato's abstract K-Peterson isomorphism, but these are clearly cited and are standard in the field. The main proof is credible, with one local but load-bearing gap that should be fixed before publication.

major comments (1)
  1. [§4.2, Proposition 4.1] The proof of Proposition 4.1 treats only the case where the removable box has residue 0, and states that the case i ≠ 0 is 'similar and easier' and is left to the reader. This omission is load-bearing: equation (4.6), which is needed for ρ_l with l ≥ 2, requires the i ≠ 0 case, and (4.6) is used directly in the base-case proof of Theorem 1.1 in §5.5, specifically in the derivation of (5.25) for Φ̃_n(Q^{-θ^∨}G^Q_{sθ}). Please write out the full induction, including the required commutation σ ∘ T_i = T_i ∘ σ for finite i and the s_i-invariance of the diagonal factor e(μ) that appears during the induction step.
minor comments (6)
  1. [§2 heading] The heading 'Relativistic Toda lattice and the centralizer famify' contains a typo: 'famify' should be 'family'.
  2. [§1.8] In the organizational section, 'relativistec Toda lattice' should be 'relativistic Toda lattice'.
  3. [List of symbols] In the List of symbols, 'mimimum-length coset representatives' should be 'minimum-length coset representatives'.
  4. [§5.1, Remark 5.1] In Remark 5.1, 'reservey' should be 'reserve' in the sentence about the variables y_i.
  5. [§7, Lemma 7.1] In the proof of Lemma 7.1, several cases are left to the reader; since this lemma is used in Theorem 7.2, please spell out the remaining cases in a sentence or two.
  6. [§5.3, Proposition 5.6] The sentence 'it is easy to see that Q-hat preserves the product of (5.13)' could be expanded with one clarifying sentence, namely that both factors are linear combinations of the standard monomials f^{(1)}_{p_1} ... f^{(n-1)}_{p_{n-1}}.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation; the explicit K-Peterson realization is proved from independent prior theorems, with a flagged but non-circular proof gap in Proposition 4.1.

full rationale

The central result, Theorem 1.1, is not obtained by fitting parameters or by defining the target into the input. The rational substitution Φ_n is constructed from the relativistic Toda/centralizer geometry (Section 2.5, in particular (1.3), (2.17), (2.18), (2.19)), not from the Schubert basis correspondence it is used to prove. The proof then derives Theorem 1.1 through an explicit base case (Proposition 5.10) and Demazure-operator intertwining (Propositions 5.14 and 5.15), with the quantum-side Schubert representative statement D^Q_x(1)=Q^ξG^Q_w proved in Appendix C from Kato's semi-infinite flag manifold theory and independent references. The affine-side identification of the closed K-theoretic double k-Schur functions with Schubert classes is imported from [8], and the quantum-side presentation from [24], [25]; several of these are by overlapping authors, but they are separate theorems whose stated assumptions do not include Theorem 1.1, so they constitute independent support under the stated rules. The only flagged defect is a proof gap, not circularity: Proposition 4.1 states the σ-image formula for all k-small λ, but the proof says 'The case when i≠0 is left to the reader since it is similar and easier.' The i≠0 case is needed for (4.6), which is used in (5.25) for the base case of Theorem 1.1. This is an omitted verification, not a circular reduction, and the surrounding argument indicates the same Demazure mechanism applies. The score reflects the presence of multiple load-bearing self-citations, but no step reduces by construction to its own conclusion.

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

The central results rely on several major external theorems: Maeno-Naito-Sagaki's presentation of the equivariant quantum K-ring, Ikeda-Shimozono-Yamaguchi's symmetric-function realization of K-homology, Kato's K-Peterson isomorphism, and the semi-infinite flag machinery for Demazure actions. These are cited with proofs elsewhere and not re-derived here. No free parameters are fitted and no new entities are introduced.

assumptions (5)
  • domain assumption QK_T(SL_n(C)/B) is isomorphic to R(T)[[Q]][z_1,...,z_n]/I^Q_n, where the ideal is generated by F_i(z,Q) - e_i(e^{-a_1},...,e^{-a_n}) for 1 <= i <= n (Maeno-Naito-Sagaki).
    Theorem 2.1 of this paper, quoted from [24], is the foundation for the quantum side and is used throughout Sections 5 and 8.
  • domain assumption The R(T)-algebra isomorphism O(Z) isomorphic to \hat \Lambda^{(n)}_{R(T)} isomorphic to K_*^T(Gr_{SL_n}), with beta(z_{ij}/z_{11}) given by (3.8) (Ikeda-Shimozono-Yamaguchi).
    Theorem 3.1, quoted from [8], identifies the affine side; formula (3.8) is used in the proof of Proposition 5.10 and in Section 8.
  • domain assumption Kato's K-Peterson isomorphism exists between the localized QK_T(G/B) and K_*^T(Gr_G).
    Quoted in Section 1.1 as the abstract form of the map; the paper provides an explicit algebraic realization rather than re-proving existence.
  • domain assumption Quantum double Grothendieck polynomials G^Q_w(z|eta) represent the Schubert classes O_w in QK_T(SL_n(C)/B) (Lenart-Maeno, Maeno-Naito-Sagaki).
    Used in Remark 2.3 and Proposition 5.8 to translate D^Q_x(1) = Q^xi O_w into (5.20).
  • domain assumption The Demazure and nil-Hecke actions on QK_T(G/B) transported from semi-infinite flag manifolds satisfy the formulas of Proposition C.2 (Kato, Kouno-Naito-Orr-Sagaki, Orr).
    Appendix C derives Proposition 5.8 using results from [26], [14], [11], and [13]; this is the bridge that makes Schubert-basis matching possible.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian." pith.science (2026). https://pith.science/paper/62U6IFB4

@misc{pith2026250502941,
  author       = {Pith},
  title        = {Pith review of: Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/62U6IFB4}},
  note         = {Machine review of arXiv:2505.02941}
}
abstract

We investigate the phenomenon known as ''quantum equals affine'' in the setting of $T$-equivariant quantum $K$-theory of the flag variety $G/B$, as established by Kato for any semisimple algebraic group $G$. In particular, we focus on the $K$-Peterson isomorphism between the $T$-equivariant quantum $K$-ring $QK_T(\mathrm{SL}_n(\mathbb{C})/B)$ and the $T$-equivariant $K$-homology ring $K_*^T(\mathrm{Gr}_{\mathrm{SL}_n})$ of the affine Grassmannian, after suitable localizations on both sides. Building on an earlier work by Ikeda, Iwao, and Maeno, we present an explicit algebraic realization of the $K$-Peterson map via a rational substitution that sends the generators of the quantum $K$-theory ring to explicit rational expressions in the fundamental generators of $K_*^T(\mathrm{Gr}_{\mathrm{SL}_n})$, thereby matching the Schubert bases on both sides. Our approach builds on recent developments in the theory of $QK_T(\mathrm{SL}_n(\mathbb{C})/B)$ by Maeno, Naito, and Sagaki, as well as the theory of $K$-theoretic double $k$-Schur functions introduced by Ikeda, Shimozono, and Yamaguchi. This concrete formulation provides new insight into the combinatorial structure of the $K$-Peterson isomorphism in the equivariant setting. As an application, we establish a factorization formula for the $K$-theoretic double $k$-Schur function associated with the maximal $k$-irreducible $k$-bounded partition.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 27 canonical work pages

  1. [8]

    Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

    T. Ikeda, M. Shimozono, and K. Yamaguchi, EquivariantK-homology of affine Grassman- nian andK-theoretic doublek-Schur functions, arXiv:2408.10956, (2024)

    work page Pith review arXiv 2024

  2. [6]

    Ikeda, S

    T. Ikeda, S. Iwao, and T. Maeno,K-theoretic Peterson isomorphism and relativistic Toda lattice, IMRN. (19) 6421–6462, (2020)

    work page 2020

  3. [24]

    Maeno, S

    T. Maeno, S. Naito, and D. Sagaki, A presentation of the torus-equivariant quantumK- theory ring of flag manifolds of type A, Part I: the defining ideal, J. Lond. Math. Soc. Vol.111:e70095, Issue 3 (2025)

    work page 2025

  4. [1]

    On the quantum K-ring of the flag manifold

    J. Anderson, L. Chen, and H-H. Tseng, On the quantumK-ring of the flag manifold, arXiv.1711.08414, (2017)

    work page Pith review arXiv 2017

  5. [2]

    Blasiak, J

    J. Blasiak, J. Morse, and G. H. Seelinger,K-theoretic Catalan functions, Adv. Math. Volume 404, 108421, (2022)

    work page 2022

  6. [3]

    C. H. Chow and N. C. Leung, QuantumK-theory ofG/PandK-homology of affine Grass- mannian, arXiv.2201.12951, (2022)

    arXiv 2022

  7. [4]

    Ginzburg

    V. Ginzburg. Perverse sheaves on a Loop group and Langlands’ duality, preprint, arXiv:alg- geom/9511007, (1995)

    work page arXiv 1995

  8. [5]

    Givental and B

    A. Givental and B. Kim. Quantum cohomology of flag manifolds and Toda lattices Commun. Math. Phys. 168, no. 3, 609–641, (1995). 46 TAKESHI IKEDA, SHINSUKE IWAO, SATOSHI NAITO, AND KOHEI YAMAGUCHI

    work page 1995

Show all 30 references
  1. [7]

    Ikeda, S

    T. Ikeda, S. Iwao, and S. Naito, Closedk-Schur Katalan functions asK-homology Schubert representatives of the affine Grassmannian, Trans. AMS. Ser. B, 11. 667–702, (2024)

    2024

  2. [9]

    Kato, Frobenius splitting of Schubert varieties of semi-infinite flag manifolds, Forum of Mathematics, Vol 9 P e5, (2021)

    S. Kato, Frobenius splitting of Schubert varieties of semi-infinite flag manifolds, Forum of Mathematics, Vol 9 P e5, (2021)

    2021

  3. [10]

    Kato, Loop structure on equivariantK-theory of semi-infinite flag manifolds, arXiv:1805.01718, (2022)

    S. Kato, Loop structure on equivariantK-theory of semi-infinite flag manifolds, arXiv:1805.01718, (2022)

    2022 arXiv

  4. [11]

    S. Kato, S. Naito, and D. Sagaki, EquivariantK-theory of semi-infinite flag manifolds and the Pieri-Chevalley formula, Duke Math. J. 169, 2421–2500, (2020)

    2020

  5. [12]

    B. Kim. Quantum cohomology of flag manifoldsG/Band quantum Toda lattices. Ann. of Math. (2) 149, no. 1, 129–148, (1999)

    1999

  6. [13]

    Ishii, S

    M. Ishii, S. Naito, and D. Sagaki, Semi-infinite Lakshmibai-Seshadri path model for level- zero extremal weight modules over quantum affine algebras, Adv. Math. 290, 967–1009, (2016)

    2016

  7. [14]

    Kouno, S

    T. Kouno, S. Naito, D. Orr, and D. Sagaki, InverseK-Chevalley formulas for semi-infinite flag manifolds, I: minuscule weights in ADE type, Forum of Mathematics, Sigma, Vol. 9, e51 1–25, (2021)

    2021

  8. [15]

    B. Kostant. The solution to a generalized Toda lattice and representation theory. Adv. in Math. 34, no. 3, 195–338. (1979)

    1979

  9. [16]

    T. Lam, C. Li, L. Mihalcea, and M. Shimozono. A conjectural Peterson isomorphism in K-theory. J. Algebra 513, 326–343, (2018)

    2018

  10. [17]

    Lenart, S

    C. Lenart, S. Naito, and D. Sagaki, A general Chevalley formula for semi-infinite flag man- ifolds and quantumK-theory, Selecta Mathematica, New Series, volume 30, issue 3, paper number 39, (2024)

    2024

  11. [18]

    Lam and M

    T. Lam and M. Shimozono. Quantum cohomology ofG/Pand homology of affine Grass- mannian, Acta Math. 204, no. 1, 49–90, (2010)

    2010

  12. [19]

    Lam and M

    T. Lam and M. Shimozono. From double quantum Schubert polynomials tok-double Schur functions via the Toda lattice, arXiv:1109.2193, (2011)

    2011 arXiv

  13. [20]

    Lam and M

    T. Lam and M. Shimozono. From quantum Schubert polynomials tok-Schur functions via the Toda lattice, Math. Res. Lett. 19 no. 1, 81–93, (2012)

    2012

  14. [21]

    T. Lam, A. Schilling, and M. Shimozono.K-theory Schubert calculus of the affine Grass- mannian. Comp. Math. 146,no. 4, 811–852, (2010)

    2010

  15. [22]

    Lenart and T

    C. Lenart and T. Maeno, Quantum Grothendieck Polynomials, arXiv:math/0608232, (2006)

    2006 arXiv

  16. [23]

    I. G. Macdonald, Notes on Schubert polynomials, Publications du LaCIM, Vol. 6, Universit´ e du Qu´ ebec ` a. Montr´ eal, (1991)

    1991

  17. [25]

    Maeno, S

    T. Maeno, S. Naito, and D. Sagaki, A presentation of the torus-equivariant quantumK- theory ring of flag manifolds of type A, Part II: quantum double Grothendieck polynomials, Forum of Mathematics, Sigma, Vol.13, e19 1–26, (2025)

    2025

  18. [26]

    Orr, EquivariantK-theory of the semi-infinite flag manifold as a nil-DAHA module, Selecta Mathematica (New Series), Vol

    D. Orr, EquivariantK-theory of the semi-infinite flag manifold as a nil-DAHA module, Selecta Mathematica (New Series), Vol. 29, Paper No. 45, (2023)

    2023

  19. [27]

    Peterson

    D. Peterson. MIT lecture notes, (1997)

    1997

  20. [28]

    Takigiku, A Pieri formula and a factorization formula for sums ofK-theoretick-Schur functions

    M. Takigiku, A Pieri formula and a factorization formula for sums ofK-theoretick-Schur functions. Algebraic Combinatorics 2.4 (2019): 447–480

    2019

  21. [29]

    S. N. M. Ruijsenaars, Relativistic Toda systems, Commun. Math. Phys. 133, 217–247 (1990)

    1990

  22. [30]

    Y. B. Suris, A discrete-time relativistic Toda lattice J. Phys. A: Math. Gen. 29(2), 451–465, (1996). RELATIVISTIC TODA AND AFFINE GRASSMANNIAN 47 F aculty of Science and Engineering, W aseda University, 3-4-1 Okubo, Shinjuku- ku, Tokyo 169-8555 Japan Email address:gakuikeda@w...

    1996

Pith tools

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