Generating functions of dual $K$-theoretic $P$- and $Q$-functions and boson-fermion correspondence

Technische Zusammenfassung: Erzeugungsfunktionen von dualen k-theoretischen P- und Q-Funktionen und die Boson-Fermion-Korrespondenz

Problemstellung
Die Arbeit befasst sich mit der algebraischen Charakterisierung der k-theoretischen Schur-P- und Q-Funktionen ($G P_\lambda$ und $G Q_\lambda$) sowie deren Dualen ($g p_\lambda$ und $g q_\lambda$), die von Ikeda und Naruse eingeführt wurden. Diese Funktionen repräsentieren Schubert-Klassen in der k-Theorie maximal isotroper symplektischer und orthogonaler Grassmannianer. Während die k-theoretischen Q-Funktionen ($G Q_\lambda$) zuvor durch $\beta$-deformierte neutrale Fermionen-Operatoren (in einer früheren Arbeit des Autors) charakterisiert werden konnten, blieb eine vollständige fermionische Präsentation für die k-theoretischen P-Funktionen ($G P_\lambda$) und entscheidend für deren duale Funktionen ($g p_\lambda$ und $g q_\lambda$) eine offene Frage. Insbesondere hatte Nakagawa-Naruse Erzeugungsfunktionen für diese dualen Funktionen vermutet, doch eine rigorose Herleitung über die Boson-Fermion-Korrespondenz fehlte.

Methodik
Der Autor verwendet den Rahmen der neutralen Fermionen-Operatoren innerhalb einer Fock-Raum-Formalisierung und erweitert die Standardtheorie um einen Deformationsparameter $\beta$. Die zentralen methodischen Innovationen umfassen:

1. Einführung von vier Familien $\beta$-deformierter Operatoren:
   Der Autor definiert vier verschiedene Familien von neutralen Fermionen-Operatoren in Abhängigkeit von $\beta$: $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$ und $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ und $\Phi^{(\beta)}_n$ sind so konstruiert, dass sie die k-theoretischen Funktionen $G Q_\lambda$ und $G P_\lambda$ erzeugen.
   • $\phi^{[\beta]}_n$ und $\Phi^{[\beta]}_n$ sind so konstruiert, dass sie die dualen Funktionen $g q_\lambda$ und $g p_\lambda$ erzeugen.
     Diese Operatoren sind als unendliche Linearkombinationen von Standard-Neutral-Fermionen-Operatoren $\phi_n$ definiert, unter Einbeziehung spezifischer Verschiebungen und Skalierungen durch $\beta$.

2. Definition von Dualpaaren und Kommutationsrelationen:
   Der Autor etabliert eine Dualitätsrelation zwischen den Operatorenfamilien. Speziell werden die Antikommutator-Relationen so hergeleitet, dass $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$ gilt. Dies dient als $\beta$-deformiertes Analogon zur Standard-Dualitätsrelation im undeformierten Fall.

3. $\beta$-deformierte Boson-Fermion-Korrespondenz:
   Zwei lineare Abbildungen, $\Omega$ und $\chi$, werden als $\beta$-deformierte Boson-Fermion-Korrespondenzen eingeführt.

   • $\Omega$ bildet Vektoren im Fermionen-Fock-Raum auf den vervollständigten Ring symmetrischer Funktionen $\widehat{\Lambda}$ ab, was den k-theoretischen Funktionen entspricht.
   • $\chi$ bildet Vektoren auf eine Unteralgebra $g\Gamma$ ab, die den dualen Funktionen entspricht.
     Diese Abbildungen werden über Vakuumerwartungswerte unter Verwendung von $\beta$-deformierten Hamilton-Operatoren $H^{(\beta)}(x)$ und $H^{[\beta]}(x)$ definiert.

4. Herleitung von Erzeugungsfunktionen:
   Durch Ausnutzung der Kommutationsrelationen zwischen den $\beta$-deformierten Vertex-Operatoren und Strom-Operatoren leitet der Autor das k-theoretische Cauchy-Kernel von Nakagawa-Naruse her. Dieses Kernel verbindet die Vakuumerwartungswerte der fermionischen Operatoren mit der Produktformel $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (wobei $\bar{x}_i$ eine $\beta$-verschobene Variable ist).

Wesentliche Beiträge und Ergebnisse
Die primären Ergebnisse der Arbeit sind die explizite Realisierung der vier k-theoretischen Funktionen als Vakuumerwartungswerte spezifischer fermionischer Operatoren und die Herleitung von Erzeugungsfunktionen für die dualen Funktionen.

1. Fermionische Präsentationen:
   Theorem 1.1 stellt fest, dass für jede strikte Partition $\lambda$ vier Vektoren $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ im Fermionen-Fock-Raum existieren, sodass:

   • $G Q_\lambda = \Omega(|\lambda\rangle_Q)$
   • $G P_\lambda = \Omega(|\lambda\rangle_P)$
   • $g q_\lambda = \chi(|\lambda\rangle_q)$
   • $g p_\lambda = \chi(|\lambda\rangle_p)$
     Die Vektoren werden unter Verwendung der im Text definierten jeweiligen $\beta$-deformierten Fermionen-Operatoren konstruiert.

2. Erzeugungsfunktionen für duale Funktionen:
   Unter Ausnutzung der Orthonormalität der konstruierten Vektoren und der Eigenschaften der $\beta$-deformierten Boson-Fermion-Korrespondenz leitet die Arbeit explizite Erzeugungsfunktionen für die dualen k-theoretischen Funktionen $g q_\lambda$ und $g p_\lambda$ ab. Dies bestätigt die von Nakagawa-Naruse vermutete Form dieser Erzeugungsfunktionen.

3. k-theoretisches Cauchy-Identität:
   Die Arbeit zeigt, dass die Kommutationsrelationen der $\beta$-deformierten Operatoren natürlich zur k-theoretischen Cauchy-Identität führen:
   $$\sum_{\lambda: \text{strict}} G Q_\lambda(x) g p_\lambda(y) = \sum_{\lambda: \text{strict}} G P_\lambda(x) g q_\lambda(y) = \prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$$
   wobei $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Bedeutung
Die Arbeit liefert einen vereinheitlichten algebraischen Rahmen für k-theoretische symmetrische Funktionen der Typen B, C und D. Durch die Erweiterung der Boson-Fermion-Korrespondenz auf $\beta$-deformierte Operatoren realisiert der Autor erfolgreich die k-theoretischen P-Funktionen und deren Duale in einer Weise, die den zuvor bekannten Q-Funktionen analog ist. Diese Präsentation validiert nicht nur die vermuteten Erzeugungsfunktionen für die dualen Funktionen, sondern bietet auch eine systematische Methode zur Untersuchung der algebraischen Eigenschaften dieser Funktionen durch die Linse neutraler Fermionen-Operatoren. Die Arbeit generalisiert frühere fermionische Beschreibungen von Typ-A k-theoretischen Funktionen (wie etwa stabile Grothendieck-Polynome) auf die orthogonalen und symplektischen Fälle.