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

Technische Samenvatting: Genererende Functies van Duale K-theoretische P- en Q-functies en Boson-Fermion Correspondentie

Probleemstelling
Het artikel behandelt de algebraïsche karakterisering van K-theoretische Schur P- en Q-functies ($G P_\lambda$ en $G Q_\lambda$) en hun dualen ($g p_\lambda$ en $g q_\lambda$), geïntroduceerd door Ikeda en Naruse. Deze functies representeren Schubert-klassen in de K-theorie van maximale isotrope symplectische en orthogonale Grassmannianen. Hoewel de K-theoretische Q-functies ($G Q_\lambda$) eerder al waren gekarakteriseerd met behulp van $\beta$-gedeformeerde neutrale fermion-operatoren (in een eerder werk van de auteur), bleef een volledige fermionische presentatie voor de K-theoretische P-functies ($G P_\lambda$) en, cruciaal, voor hun duale functies ($g p_\lambda$ en $g q_\lambda$), een open vraag. Specifiek hadden Nakagawa-Naruse genererende functies voor deze duale functies geconstateerd, maar een rigoureuze afleiding via de boson-fermion correspondentie ontbrak.

Methodologie
De auteur maakt gebruik van het raamwerk van neutrale fermion-operatoren binnen een Fock-ruimte formalisme, waarbij de standaardtheorie wordt uitgebreid met een deformatieparameter $\beta$. De kern van de methodologische innovaties omvat:

1. Introductie van vier families $\beta$-gedeformeerde operatoren:
   Het artikel definieert vier verschillende families van neutrale fermion-operatoren afhankelijk van $\beta$: $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$, en $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ en $\Phi^{(\beta)}_n$ zijn geconstrueerd om de K-theoretische functies $G Q_\lambda$ en $G P_\lambda$ te genereren.
   • $\phi^{[\beta]}_n$ en $\Phi^{[\beta]}_n$ zijn geconstrueerd om de duale functies $g q_\lambda$ en $g p_\lambda$ te genereren.
     Deze operatoren worden gedefinieerd als oneindige lineaire combinaties van standaard neutrale fermion-operatoren $\phi_n$, waarbij specifieke verschuivingen en schalingen door $\beta$ worden toegepast.

2. Definitie van duale paren en commutatierelaties:
   De auteur stelt een dualiteitsrelatie vast tussen de operatorfamilies. Specifiek zijn de anticommutatierelaties afgeleid zodat $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$. Dit dient als de $\beta$-gedeformeerde analogon van de standaard dualiteitsrelatie in het niet-gedeformeerde geval.

3. $\beta$-gedeformeerde Boson-Fermion Correspondentie:
   Twee lineaire afbeeldingen, $\Omega$ en $\chi$, worden geïntroduceerd als $\beta$-gedeformeerde boson-fermion correspondenties.

   • $\Omega$ brengt vectoren in de fermion Fock-ruimte in naar de voltooide ring van symmetrische functies $\widehat{\Lambda}$, wat overeenkomt met de K-theoretische functies.
   • $\chi$ brengt vectoren in naar een subalgebra $g\Gamma$, wat overeenkomt met de duale functies.
     Deze afbeeldingen worden gedefinieerd via vacuümverwachtingswaarden betrokken bij $\beta$-gedeformeerde Hamilton-operatoren $H^{(\beta)}(x)$ en $H^{[\beta]}(x)$.

4. Afleiding van Genererende Functies:
   Door gebruik te maken van de commutatierelaties tussen de $\beta$-gedeformeerde vertex-operatoren en stroom-operatoren (current operators), leidt de auteur de K-theoretische Cauchy-kern van Nakagawa-Naruse af. Deze kern verbindt de vacuümverwachtingswaarden van de fermionische operatoren met de productformule $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (waarbij $\bar{x}_i$ een $\beta$-verschoven variabele is).

Belangrijkste Bijdragen en Resultaten
De primaire resultaten van het artikel zijn de expliciete realisatie van de vier K-theoretische functies als vacuümverwachtingswaarden van specifieke fermionische operatoren en de afleiding van genererende functies voor de duale functies.

1. Fermische Presentaties:
   Stelling 1.1 stelt vast dat er voor elke strikte partitie $\lambda$ vier vectoren $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ in de fermion Fock-ruimte bestaan zodanig dat:

   • $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)$
     De vectoren worden geconstrueerd met behulp van de respectievelijke $\beta$-gedeformeerde fermion-operatoren gedefinieerd in de tekst.

2. Genererende Functies voor Duale Functies:
   Door gebruik te maken van de orthonormaliteit van de geconstrueerde vectoren en de eigenschappen van de $\beta$-gedeformeerde boson-fermion correspondentie, leidt het artikel expliciete genererende functies af voor de duale K-theoretische functies $g q_\lambda$ en $g p_\lambda$. Dit bevestigt de conjectuur van Nakagawa-Naruse met betrekking tot de vorm van deze genererende functies.

3. K-Theoretische Cauchy-identiteit:
   Het artikel demonstreert dat de commutatierelaties van de $\beta$-gedeformeerde operatoren op natuurlijke wijze leiden tot de K-theoretische Cauchy-identiteit:
   $$\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}$$
   waarbij $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Betekenis
Het artikel biedt een verenigd algebraïsch raamwerk voor K-theoretische symmetrische functies van typen B, C en D. Door de boson-fermion correspondentie uit te breiden met $\beta$-gedeformeerde operatoren, slaagt de auteur erin de K-theoretische P-functies en hun dualen te realiseren op een wijze die analoog is aan de reeds bekende Q-functies. Deze presentatie valideert niet alleen de geconstateerde genererende functies voor de duale functies, maar biedt ook een systematische methode om de algebraïsche eigenschappen van deze functies te bestuderen door de lens van neutrale fermion-operatoren. Het werk generaliseert eerdere fermionische beschrijvingen van type A K-theoretische functies (zoals stabiele Grothendieck-polynomen) naar de orthogonale en symplectische gevallen.