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

Sintesi Tecnica: Funzioni Generatrici delle Funzioni P- e Q-teoriche K Duali e Corrispondenza Bosone-Fermione

Enunciato del Problema
Il saggio affronta la caratterizzazione algebrica delle funzioni P- e Q-schur k-teoriche ($G P_\lambda$ e $G Q_\lambda$) e delle loro duali ($g p_\lambda$ e $g q_\lambda$), introdotte da Ikeda e Naruse. Queste funzioni rappresentano le classi di Schubert nella K-teoria dei Grassmanniani simpletici e ortogonali massimali isotropi. Mentre le funzioni Q-teoriche K ($G Q_\lambda$) erano state precedentemente caratterizzate utilizzando operatori di fermioni neutri $\beta$-deformati (in un lavoro precedente dell'autore), una completa presentazione fermionica per le funzioni P-teoriche K ($G P_\lambda$) e, crucialmente, per le loro funzioni duali ($g p_\lambda$ e $g q_\lambda$) rimaneva una questione aperta. Nello specifico, Nakagawa-Naruse aveva ipotizzato funzioni generatrici per queste funzioni duali, ma una derivazione rigorosa tramite la corrispondenza bosone-fermione mancava.

Metodologia
L'autore utilizza il quadro degli operatori di fermioni neutri all'interno di un formalismo di spazio di Fock, estendendo la teoria standard per includere un parametro di deformazione $\beta$. Le innovazioni metodologiche centrali includono:

1. Introduzione di quattro famiglie di operatori $\beta$-deformati:
   Il saggio definisce quattro distinte famiglie di operatori di fermioni neutri a seconda di $\beta$: $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$ e $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ e $\Phi^{(\beta)}_n$ sono costruiti per generare le funzioni K-teoriche $G Q_\lambda$ e $G P_\lambda$.
   • $\phi^{[\beta]}_n$ e $\Phi^{[\beta]}_n$ sono costruiti per generare le funzioni duali $g q_\lambda$ e $g p_\lambda$.
     Questi operatori sono definiti come combinazioni lineari infinite di operatori di fermioni neutri standard $\phi_n$, coinvolgendo spostamenti specifici e scalature per $\beta$.

2. Definizione di coppie duali e relazioni di commutazione:
   L'autore stabilisce una relazione di dualità tra le famiglie di operatori. Nello specifico, vengono derivate le relazioni di anticommutatore tali che $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$. Ciò funge da analogo $\beta$-deformato della standard relazione di dualità nel caso non deformato.

3. Corrispondenza Bosone-Fermione $\beta$-deformata:
   Due mappe lineari, $\Omega$ e $\chi$, sono introdotte come corrispondenze bosone-fermione $\beta$-deformate.

   • $\Omega$ mappa i vettori nello spazio di Fock dei fermioni nell'anello completato delle funzioni simmetriche $\widehat{\Lambda}$, corrispondente alle funzioni K-teoriche.
   • $\chi$ mappa i vettori in un sottounità $g\Gamma$, corrispondente alle funzioni duali.
     Queste mappe sono definite tramite valori di aspettazione del vuoto coinvolgendo operatori hamiltoniani $\beta$-deformati $H^{(\beta)}(x)$ e $H^{[\beta]}(x)$.

4. Derivazione delle Funzioni Generatrici:
   Sfruttando le relazioni di commutazione tra gli operatori di vertice $\beta$-deformati e gli operatori di corrente, l'autore deriva il kernel di Cauchy K-teorico di Nakagawa-Naruse. Questo kernel connette i valori di aspettazione del vuoto degli operatori fermionici alla formula prodotto $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (dove $\bar{x}_i$ è una variabile $\beta$-spostata).

Contributi Chiave e Risultati
I risultati primari del saggio sono la realizzazione esplicita delle quattro funzioni K-teoriche come valori di aspettazione del vuoto di specifici operatori fermionici e la derivazione delle funzioni generatrici per le funzioni duali.

1. Presentazioni Fermioniche:
   Il Teorema 1.1 stabilisce che per ogni partizione stretta $\lambda$, esistono quattro vettori $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ nello spazio di Fock dei fermioni tali che:

   • $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)$
     I vettori sono costruiti utilizzando le rispettive serie di operatori fermionici $\beta$-deformati definiti nel testo.

2. Funzioni Generatrici per le Funzioni Duali:
   Utilizzando l'ortonormalità dei vettori costruiti e le proprietà della corrispondenza bosone-fermione $\beta$-deformata, il saggio deriva esplicitamente le funzioni generatrici per le funzioni duali K-teoriche $g q_\lambda$ e $g p_\lambda$. Ciò conferma la congettura formulata da Nakagawa-Naruse riguardo la forma di queste funzioni generatrici.

3. Identità di Cauchy K-teorica:
   Il saggio dimostra che le relazioni di commutazione degli operatori $\beta$-deformati portano naturalmente all'identità di Cauchy K-teorica:
   $$\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}$$
   dove $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Significatività
Il saggio fornisce un quadro algebrico unificato per le funzioni simmetriche K-teoriche di tipi B, C e D. Estendendo la corrispondenza bosone-fermione per includere operatori $\beta$-deformati, l'autore realizza con successo le funzioni P-teoriche K e le loro duali in modo analogo alle precedentemente note funzioni Q. Questa presentazione non solo valida le funzioni generatrici congetturate per le funzioni duali, ma offre anche un metodo sistematico per studiare le proprietà algebriche di queste funzioni attraverso la lente degli operatori di fermioni neutri. Il lavoro generalizza le precedenti descrizioni fermioniche delle funzioni simmetriche di tipo A (come i polinomi di Grothendieck stabili) ai casi ortogonale e simpletico.