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

Technische Zusammenfassung: Relativistisches Toda-Gitter und äquivariante K-Homologie der affinen Grassmannian

Problemstellung
Diese Arbeit untersucht das „Quantum Equals Affine“-Phänomen im Kontext der $T$-äquivarianten Quanten-$K$-Theorie der Flaggenvarietät $G/B$ (speziell für $G=SL_n(\mathbb{C})$) und deren Beziehung zur $T$-äquivarianten $K$-Homologie der affinen Grassmannian $Gr_{SL_n}$. Während die nicht-äquivariante Version dieser Korrespondenz bereits unter Verwendung des relativistischen Toda-Gitters untersucht wurde, erforderte der äquivariante Fall eine rigorosere algebraische Realisierung. Die zentrale Herausforderung besteht in der expliziten Konstruktion des $K$-Peterson-Isomorphismus – einer Abbildung, die den lokalisierten Quanten-$K$-Ring $QK_T(SL_n(\mathbb{C})/B)$ und den äquivarianten $K$-Homologie-Ring $K_T^*(Gr_{SL_n})$ verbindet – insbesondere durch die Etablierung einer Korrespondenz zwischen deren jeweiligen Schubert-Basen.

Methodik
Die Autoren verwenden einen integrablen Systemansatz unter Nutzung des von Ruijsenaars eingeführten relativistischen Toda-Gitters. Die Methodik erfolgt in folgenden Schritten:

1. Geometrischer Aufbau: Die Autoren definieren den Phasenraum $Y$ des relativistischen Toda-Gitters und eine Zentralisatorfamilie $Z$, die mit $PGL_n(\mathbb{C})$ assoziiert ist. Sie stellen fest, dass die Koordinatenringe dieser Varietäten den polynomischen Versionen des Quanten-$K$-Rings bzw. des äquivarianten $K$-Homologie-Rings entsprechen:
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. Konstruktion einer birationalen Abbildung: Durch das Lösen der Gleichungen des relativistischen Toda-Gitters konstruieren die Autoren eine birationale Abbildung $\Phi_n$ zwischen den dicht liegenden offenen Teilmengen $Y^\circ$ und $Z^\circ$. Diese Abbildung ist über eine rationale Substitution definiert, welche die dynamischen Variablen $(z_i, Q_i)$ des Toda-Gitters auf spezifische rationale Ausdrücke involving $\tau$-Funktionen ($\tau_i$) und $\sigma$-Funktionen ($\sigma_i$) abbildet, die aus der Zentralisatorfamilie abgeleitet wurden.
3. Algebraische Realisierung: Die Arbeit nutzt jüngste Entwicklungen in der Präsentation des Quanten-$K$-Rings mittels Quanten-Doppel-Grothendieck-Polynome ($G_w^Q$) und der Realisierung der affinen $K$-Homologie mittels $K$-theoretischer Doppel-$k$-Schur-Funktionen ($\tilde{g}_x^{(k)}$).
4. Kommutatives Diagramm: Die Autoren zeigen, dass die Abbildung $\Phi_n$, wenn sie mit einem spezifischen Algebra-Automorphismus $\sigma$ modifiziert wird (bezeichnet als $\tilde{\Phi}_n = \sigma \circ \Phi_n$), in ein kommutatives Diagramm mit der abstrakten $K$-Peterson-Abbildung von Kato passt.

Wesentliche Beiträge und Ergebnisse

• Explizite algebraische Realisierung der $K$-Peterson-Abbildung: Das Hauptergebnis (Theorem 1.1) liefert eine explizite Formel für den $K$-Peterson-Isomorphismus. Die Abbildung $\tilde{\Phi}_n$ sendet die Quanten-Schubert-Klasse $Q^\xi G_w^Q(z|\eta)$ auf die affine Schubert-Klasse $\tilde{g}_{x\omega_k}^{(k)}(y|b)$, wobei $x = w t_\xi$ und $\omega_k$ eine spezifische Involution auf der affinen Weylgruppe ist. Dies etabliert eine konkrete kombinatorische Korrespondenz zwischen diesen Basen.
• Intertwining von Demazure-Operatoren: Die Autoren beweisen, dass die konstruierte Abbildung die Wirkungen der Quanten-Demazure-Operatoren ($D_i^Q$) auf der Quantenseite mit den affinen Demazure-Operatoren ($D_i$) auf der affinen Seite (bis auf die Involution $\omega_k$) verwebt. Diese Eigenschaft ist entscheidend für die Erweiterung der Korrespondenz vom längsten Element auf alle Schubert-Klassen.
• Determinantenformeln: Für $k$-kleine Partitionen (Partitionen $\lambda$, die die Bedingung $\lambda_1 + \ell(\lambda) \leq n$ erfüllen) leiten die Autoren explizite Determinantenformeln für die $K$-theoretischen Doppel-$k$-Schur-Funktionen $\tilde{g}_\lambda^{(k)}(y|b)$ und deren nicht-geschlossene Gegenstücke $g_\lambda^{(k)}(y|b)$ her. Diese Formeln drücken die Funktionen als Determinanten von Matrizen aus, die die Koordinatenfunktionen der Zentralisatorfamilie enthalten.
• Faktorisierungsformel: Als direkte Anwendung des Hauptsatzes leiten die Autoren eine Faktorisierungsformel für die $K$-theoretische Doppel-$k$-Schur-Funktion assoziiert mit der eindeutigen maximalen $k$-irreduziblen $k$-beschränkten Partition $\nu_n$ her (Theorem 1.2). Diese Formel drückt $\tilde{g}_{\nu_n}^{(k)}$ als Produkt einfacherer Funktionen und $\tau$-funktionsbezogener Terme aus und bestätigt damit eine Vermutung aus dem nicht-äquivarianten Setting.

Bedeutung
Die Arbeit beansprucht ihre Bedeutung durch die Bereitstellung einer konkreten algebraischen Formulierung des $K$-Peterson-Isomorphismus im äquivarianten Setting. Indem sie die abstrakte geometrische Korrespondenz in der Theorie des relativistischen Toda-Gitters fundiert, bieten die Autoren neue Einblicke in die kombinatorische Struktur des Isomorphismus. Insbesondere überbrückt die Arbeit die Lücke zwischen den Quanten-Doppel-Grothendieck-Polynomen und den $K$-theoretischen Doppel-$k$-Schur-Funktionen und ermöglicht so die Übersetzung von Ergebnissen zwischen der Quanten- und der affinen Geometrie. Die Ableitung der Faktorisierungsformel für die maximale $k$-irreduzible Partition dient als nicht-trivialer Nachweis für die Konsistenz und Nützlichkeit der Theorie. Die Ergebnisse stützen sich auf und erweitern vorangegangene Arbeiten von Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono und Yamaguchi und festigen so die Verbindung zwischen integrablen Systemen und äquivarianter Quanten-$K$-Theorie.