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

Technische Samenvatting: Relativistische Toda-rooster en Equivariante K-homologie van de Affiene Grassmanniaan

Probleemstelling
Dit artikel onderzoekt het "quantum equals affine"-fenomeen binnen de context van de $T$-equivariante quantum $K$-theorie van de vlagvariëteit $G/B$ (specifiek voor $G=SL_n(\mathbb{C})$) en de relatie met de $T$-equivariante $K$-homologie van de affiene Grassmanniaan $Gr_{SL_n}$. Terwijl de niet-equivariante versie van deze correspondentie eerder werd verkend met behulp van het relativistische Toda-rooster, vereiste het equivariante geval een meer rigoureuze algebraïsche realisatie. De centrale uitdaging die wordt aangepakt, is de expliciete constructie van de $K$-Peterson-isomorfisme—een afbeelding die de gelokaliseerde quantum $K$-ring $QK_T(SL_n(\mathbb{C})/B)$ verbindt met de equivariante $K$-homologie-ring $K_T^*(Gr_{SL_n})$—met name het vaststellen van een correspondentie tussen hun respectieve Schubert-bases.

Methodologie
De auteurs maken gebruik van een integrabele systemen-benadering, waarbij zij het door Ruijsenaars geïntroduceerde relativistische Toda-rooster gebruiken. De methodologie verloopt via de volgende stappen:

1. Geometrische Setup: De auteurs definiëren de faseruimte $Y$ van het relativistische Toda-rooster en een centralisatorfamilie $Z$ geassocieerd met $PGL_n(\mathbb{C})$. Zij stellen vast dat de coördinateringen van deze variëteiten overeenkomen met de polynomiale versies van de quantum $K$-ring en de equivariante $K$-homologie-ring, respectievelijk:
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. Constructie van een Birationele Afbeelding: Door de vergelijkingen van het relativistische Toda-rooster op te lossen, construeren de auteurs een birationele afbeelding $\Phi_n$ tussen de open dichte deelverzamelingen $Y^\circ$ en $Z^\circ$. Deze afbeelding wordt gedefinieerd via een rationale substitutie die de dynamische variabelen $(z_i, Q_i)$ van het Toda-rooster naar specifieke rationale expressies stuurt die betrokken zijn bij $\tau$-functies ($\tau_i$) en $\sigma$-functies ($\sigma_i$) afgeleid van de centralisatorfamilie.
3. Algebraïsche Realisatie: Het artikel maakt gebruik van recente ontwikkelingen in de presentatie van de quantum $K$-ring via quantum dubbele Grothendieck-polynomen ($G_w^Q$) en de realisatie van de affiene $K$-homologie via $K$-theoretische dubbele $k$-Schur-functies ($\tilde{g}_x^{(k)}$).
4. Commutatief Diagram: De auteurs tonen aan dat de afbeelding $\Phi_n$, wanneer getwist door een specifieke algebra-automorfisme $\sigma$ (aangeduid als $\tilde{\Phi}_n = \sigma \circ \Phi_n$), past in een commutatief diagram met de abstracte $K$-Peterson-afbeelding van Kato.

Belangrijkste Bijdragen en Resultaten

• Expliciete Algebraïsche Realisatie van de $K$-Peterson-afbeelding: Het primaire resultaat (Theorem 1.1) biedt een expliciete formule voor het $K$-Peterson-isomorfisme. De afbeelding $\tilde{\Phi}_n$ stuurt de quantum Schubert-klasse $Q^\xi G_w^Q(z|\eta)$ naar de affiene Schubert-klasse $\tilde{g}_{x\omega_k}^{(k)}(y|b)$, waarbij $x = w t_\xi$ en $\omega_k$ een specifieke inversie op de affiene Weyl-groep is. Dit vestigt een concrete combinatorische correspondentie tussen de twee bases.
• Intertwining van Demazure-operatoren: De auteurs bewijzen dat de geconstrueerde afbeelding de werking van de quantum Demazure-operatoren ($D_i^Q$) op de quantum-zijde intertwint met de affiene Demazure-operatoren ($D_i$) op de affiene zijde (tot de inversie $\omega_k$). Deze eigenschap is cruciaal voor het uitbreiden van de correspondentie van het langste element naar alle Schubert-klassen.
• Determinantale Formula's: Voor $k$-kleine partities (partities die voldoen aan $\lambda_1 + \ell(\lambda) \leq n$), leidt het artikel expliciete determinantale formules af voor de $K$-theoretische dubbele $k$-Schur-functies $\tilde{g}_\lambda^{(k)}(y|b)$ en hun niet-gesloten tegenhangers $g_\lambda^{(k)}(y|b)$. Deze formules drukken de functies uit als determinanten van matrices die de coördinatendoorfuncties van de centralisatorfamilie bevatten.
• Factorisatieformule: Als directe toepassing van de hoofdstelling leiden de auteurs een factorisatieformule af voor de $K$-theoretische dubbele $k$-Schur-functie geassocieerd met de unieke maximale $k$-irreducibele $k$-begrensde partitie $\nu_n$ (Theorem 1.2). Deze formule drukt $\tilde{g}_{\nu_n}^{(k)}$ uit als een product van eenvoudigere functies en $\tau$-functie gerelateerde termen, waarmee een conjectuur uit de niet-equivariante setting wordt bevestigd.

Significantie
Het artikel claimt significant te zijn door een concrete algebraïsche formulering van het $K$-Peterson-isomorfisme in de equivariante setting te bieden. Door de abstracte geometrische correspondentie te funderen in de theorie van het relativistische Toda-rooster, bieden de auteurs nieuwe inzichten in de combinatorische structuur van het isomorfisme. Specifiek overbrugt het werk de kloof tussen de quantum dubbele Grothendieck-polynomen en de $K$-theoretische dubbele $k$-Schur-functies, wat de vertaling van resultaten tussen de quantum en de affiene geometrie mogelijk maakt. De afleiding van de factorisatieformule voor de maximale $k$-irreducibele partitie dient als een niet-triviale verificatie van de consistentie en bruikbaarheid van de theorie. De resultaten steunen op en breiden het eerdere werk van Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono en Yamaguchi uit, en verstevigen hiermee de verbinding tussen integrabele systemen en equivariante quantum $K$-theorie.