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

Résumé Technique : Fonctions génératrices des fonctions P et Q de la K-théorie duales et correspondance Boson-Fermion

Énoncé du Problème
L'article traite de la caractérisation algébrique des fonctions P et Q de la K-théorie de Schur ($G P_\lambda$ et $G Q_\lambda$) et de leurs duales ($g p_\lambda$ et $g q_\lambda$), introduites par Ikeda et Naruse. Ces fonctions représentent les classes de Schubert dans la K-théorie des Grassmanniennes symplectiques et orthogonales maximales isotropiques. Bien que les fonctions Q de la K-théorie ($G Q_\lambda$) aient été précédemment caractérisées à l'aide d'opérateurs de fermions neutres $\beta$-déformés (dans un travail antérieur de l'auteur), une présentation fermionienne complète pour les fonctions P de la K-théorie ($G P_\lambda$) et, plus crucialement, pour leurs fonctions duales ($g p_\lambda$ et $g q_\lambda$) restait une question ouverte. Spécifiquement, Nakagawa-Naruse avait conjecturé des fonctions génératrices pour ces fonctions duales, mais une dérivation rigoureuse via la correspondance boson-fermion faisait défaut.

Méthodologie
L'auteur emploie le cadre des opérateurs de fermions neutres au sein d'un formalisme d'espace de Fock, étendant la théorie standard pour inclure un paramètre de déformation $\beta$. Les innovations méthodologiques centrales comprennent :

1. Introduction de quatre familles d'opérateurs $\beta$-déformés :
   L'article définit quatre familles distinctes d'opérateurs de fermions neutres dépendant de $\beta$ : $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$, et $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ et $\Phi^{(\beta)}_n$ sont construits pour générer les fonctions de la K-théorie $G Q_\lambda$ et $G P_\lambda$.
   • $\phi^{[\beta]}_n$ et $\Phi^{[\beta]}_n$ sont construits pour générer les fonctions duales $g q_\lambda$ et $g p_\lambda$.
     Ces opérateurs sont définis comme des combinaisons linéaires infinies d'opérateurs de fermions neutres standards $\phi_n$, impliquant des décalages spécifiques et une mise à l'échelle par $\beta$.

2. Définition de paires duales et relations de commutation :
   L'auteur établit une relation de dualité entre les familles d'opérateurs. Spécifiquement, les relations d'anticommutateur sont dérivées telles que $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$. Cela sert d'analogue $\beta$-déformé de la relation de dualité standard dans le cas non déformé.

3. Correspondance Boson-Fermion $\beta$-déformée :
   Deux applications linéaires, $\Omega$ et $\chi$, sont introduites comme des correspondances boson-fermion $\beta$-déformées.

   • $\Omega$ associe des vecteurs de l'espace de Fock fermionien à l'anneau complété des fonctions symétriques $\widehat{\Lambda}$, correspondant aux fonctions de la K-théorie.
   • $\chi$ associe des vecteurs à une sous-algèbre $g\Gamma$, correspondant aux fonctions duales.
     Ces applications sont définies via des valeurs d'espérance du vide impliquant des opérateurs hamiltoniens $\beta$-déformés $H^{(\beta)}(x)$ et $H^{[\beta]}(x)$.

4. Dérivation des fonctions génératrices :
   En exploitant les relations de commutation parmi les opérateurs de vertex $\beta$-déformés et les opérateurs de courant, l'auteur dérive le noyau de Cauchy de la K-théorie de Nakagawa-Naruse. Ce noyau relie les valeurs d'espérance du vide des opérateurs fermioniens à la formule produit $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (où $\bar{x}_i$ est une variable décalée par $\beta$).

Contributions Clés et Résultats
Les principaux résultats de l'article sont la réalisation explicite des quatre fonctions de la K-théorie comme valeurs d'espérance du vide d'opérateurs fermioniens spécifiques et la dérivation des fonctions génératrices pour les fonctions duales.

1. Présentations Fermioniennes :
   Le Théorème 1.1 établit que pour toute partition stricte $\lambda$, il existe quatre vecteurs $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ dans l'espace de Fock fermionien tels que :

   • $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)$
     Les vecteurs sont construits en utilisant les opérateurs de fermions $\beta$-déformés respectifs définis dans le texte.

2. Fonctions Génératrices pour les Fonctions Duales :
   En utilisant l'orthonormalité des vecteurs construits et les propriétés de la correspondance boson-fermion $\beta$-déformée, l'article dérive des fonctions génératrices explicites pour les fonctions duales de la K-théorie $g q_\lambda$ et $g p_\lambda$. Ceci confirme la conjecture faite par Nakagawa-Naruse concernant la forme de ces fonctions génératrices.

3. Identité de Cauchy de la K-théorie :
   L'article démontre que les relations de commutation des opérateurs $\beta$-déformés mènent naturellement à l'identité de Cauchy de la K-théorie :
   $$\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}$$
   où $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Signification
L'article fournit un cadre algébrique unifié pour les fonctions symétriques de la K-théorie des types B, C et D. En étendant la correspondance boson-fermion pour inclure des opérateurs $\beta$-déformés, l'auteur réalise avec succès les fonctions P de la K-théorie et leurs duales de manière analogue aux fonctions Q précédemment connues. Cette présentation non seulement valide les fonctions génératrices conjecturées pour les fonctions duales, mais offre également une méthode systématique pour étudier les propriétés algébriques de ces fonctions à travers le prisme des opérateurs de fermions neutres. Ce travail généralise les descriptions fermioniennes antérieures des fonctions symétriques de la K-théorie de type A (telles que les polynômes de Grothendieck stables) aux cas orthogonaux et symplectiques.