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

Resumen Técnico: Funciones Generatrices de las Funciones P y Q K-teóricas Duales y la Correspondencia Bóson-Fermión

Planteamiento del Problema
El artículo aborda la caracterización algebraica de las funciones P y Q k-teóricas de Schur ($GP_\lambda$ y $GQ_\lambda$) y sus duales ($gp_\lambda$ y $gq_\lambda$), introducidas por Ikeda y Naruse. Estas funciones representan clases de Schubert en la K-teoría de los Grassmannianos simplécticos y ortogonales máximos isotrópicos. Si bien las funciones Q k-teóricas ($GQ_\lambda$) habían sido caracterizadas previamente mediante operadores de fermiones neutros con deformación $\beta$ (en un trabajo anterior del autor), una presentación fermiónica completa para las funciones P k-teóricas ($GP_\lambda$) y, crucialmente, para sus funciones duales ($gp_\lambda$ y $gq_\lambda$), seguía siendo una cuestión abierta. Específicamente, Nakagawa-Naruse había conjeturado las funciones generatrices para estas funciones duales, pero faltaba una derivación rigurosa mediante la correspondencia bóson-fermión.

Metodología
El autor emplea el marco de los operadores de fermiones neutros dentro de un formalismo de espacio de Fock, extendiendo la teoría estándar para incluir un parámetro de deformación $\beta$. Las innovaciones metodológicas centrales incluyen:

1. Introducción de cuatro familias de operadores $\beta$-deformados:
   El artículo define cuatro familias distintas de operadores de fermiones neutros dependiendo de $\beta$: $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$ y $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ y $\Phi^{(\beta)}_n$ están construidos para generar las funciones k-teóricas $GQ_\lambda$ y $GP_\lambda$.
   • $\phi^{[\beta]}_n$ y $\Phi^{[\beta]}_n$ están construidos para generar las funciones duales $gq_\lambda$ y $gp_\lambda$.
     Estos operadores se definen como combinaciones lineales infinitas de operadores de fermiones neutros estándar $\phi_n$, involucrando desplazamientos específicos y escalamiento por $\beta$.

2. Definición de pares duales y relaciones de conmutación:
   El autor establece una relación de dualidad entre las familias de operadores. Específicamente, se derivan las relaciones de anticonmutador tales que $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$. Esto sirve como el análogo $\beta$-deformado de la relación de dualidad estándar en el caso no deformado.

3. Correspondencia Bóson-Fermión $\beta$-deformada:
   Se introducen dos mapas lineales, $\Omega$ y $\chi$, como correspondencias bóson-fermión $\beta$-deformadas.

   • $\Omega$ mapea vectores en el espacio de Fock de fermiones al anillo completado de funciones simétricas $\widehat{\Lambda}$, correspondiente a las funciones k-teóricas.
   • $\chi$ mapea vectores a una subálgebra $g\Gamma$, correspondiente a las funciones duales.
     Estos mapas se definen mediante valores de expectedación del vacío involucrando operadores hamiltonianos $\beta$-deformados $H^{(\beta)}(x)$ y $H^{[\beta]}(x)$.

4. Derivación de Funciones Generatrices:
   Al explotar las relaciones de conmutación entre los operadores de vértice $\beta$-deformados y los operadores de corriente, el autor deriva el núcleo de Cauchy k-teórico de Nakagawa-Naruse. Este núcleo conecta los valores de expectedación del vacío de los operadores fermiónicos con la fórmula de producto $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (donde $\bar{x}_i$ es una variable con desplazamiento $\beta$).

Contribuciones Clave y Resultados
Los resultados primordiales del artículo son la realización explícita de las cuatro funciones k-teóricas como valores de expectedación del vacío de operadores fermiónicos específicos y la derivación de las funciones generatrices para las funciones duales.

1. Presentaciones Fermiónicas:
   El Teorema 1.1 establece que para cualquier partición estricta $\lambda$, existen cuatro vectores $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ en el espacio de Fock de fermiones tales que:

   • $GQ_\lambda = \Omega(|\lambda\rangle_Q)$
   • $GP_\lambda = \Omega(|\lambda\rangle_P)$
   • $gq_\lambda = \chi(|\lambda\rangle_q)$
   • $gp_\lambda = \chi(|\lambda\rangle_p)$
     Los vectores se construyen utilizando los respectivos operadores de fermiones $\beta$-deformados definidos en el texto.

2. Funciones Generatrices para Funciones Duales:
   Utilizando la ortonormalidad de los vectores construidos y las propiedades de la correspondencia bóson-fermión $\beta$-deformada, el artículo deriva funciones generatrices explícitas para las funciones duales k-teóricas $gq_\lambda$ y $gp_\lambda$. Esto confirma la conjetura realizada por Nakagawa-Naruse respecto a la forma de estas funciones generatrices.

3. Identidad de Cauchy k-teórica:
   El artículo demuestra que las relaciones de conmutación de los operadores $\beta$-deformados conducen naturalmente a la identidad de Cauchy k-teórica:
   $$\sum_{\lambda: \text{estricta}} GQ_\lambda(x) gp_\lambda(y) = \sum_{\lambda: \text{estricta}} GP_\lambda(x) gq_\lambda(y) = \prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$$
   donde $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Significancia
El artículo proporciona un marco algebraico unificado para las funciones simétricas k-teóricas de tipos B, C y D. Al extender la correspondencia bóson-fermión para incluir operadores $\beta$-deformados, el autor logra realizar las funciones P k-teóricas y sus duales de manera análoga a las funciones Q previamente conocidas. Esta presentación no solo valida las funciones generatrices conjeturadas para las funciones duales, sino que también ofrece un método sistemático para estudiar las propiedades algebraicas de estas funciones a través de la lente de los operadores de fermiones neutros. El trabajo generaliza las descripciones fermiónicas previas de las funciones k-teóricas de tipo A (como los polinomios de Grothendieck estables) a los casos ortogonales y simplécticos.