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

Resumo Técnico: Funções Geradoras de Funções P e Q K-Teóricas Duais e a Correspondência Bóson-Férmion

Enunciado do Problema
O artigo aborda a caracterização algébrica das funções de Schur P e Q K-teóricas ($GP_\lambda$ e $GQ_\lambda$) e suas duais ($gp_\lambda$ e $gq_\lambda$), introduzidas por Ikeda e Naruse. Estas funções representam classes de Schubert na K-teoria dos Grassmannianos simpléticos e ortogonais maximais isotrópicos. Embora as funções Q K-teóricas ($GQ_\lambda$) tivessem sido previamente caracterizadas usando operadores de férmions neutros $\beta$-deformados (em um trabalho anterior do autor), uma apresentação fermiônica completa para as funções P K-teóricas ($GP_\lambda$) e, crucialmente, para suas funções duais ($gp_\lambda$ e $gq_\lambda$), permanecia uma questão em aberto. Especificamente, Nakagawa-Naruse havia conjecturado funções geradoras para estas funções duais, mas uma derivação rigorosa via correspondência bóson-férmion carecia de fundamentação.

Metodologia
O autor emprega o arcabouço de operadores de férmions neutros dentro de um formalismo de espaço de Fock, estendendo a teoria padrão para incluir um parâmetro de deformação $\beta$. As principais inovações metodológicas incluem:

1. Introdução de Quatro Famílias de Operadores $\beta$-Deformados:
   O artigo define quatro famílias distintas de operadores de férmions neutros dependendo de $\beta$: $\phi^{(\beta)}_n$, $\phi^{[\beta]}_n$, $\Phi^{(\beta)}_n$ e $\Phi^{[\beta]}_n$.

   • $\phi^{(\beta)}_n$ e $\Phi^{(\beta)}_n$ são construídos para gerar as funções K-teóricas $GQ_\lambda$ e $GP_\lambda$.
   • $\phi^{[\beta]}_n$ e $\Phi^{[\beta]}_n$ são construídos para gerar as funções duais $gq_\lambda$ e $gp_\lambda$.
     Estes operadores são definidos como combinações lineares infinitas de operadores de férmions neutros padrão $\phi_n$, envolvendo deslocamentos específicos e escalonamento por $\beta$.

2. Definição de Pares Duais e Relações de Comutação:
   O autor estabelece uma relação de dualidade entre as famílias de operadores. Especificamente, as relações de anticomutador são derivadas de modo que $[(\Phi^{(\beta)}_m)^*, \phi^{[\beta]}_n]_+ = [(\Phi^{[\beta]}_m)^*, \phi^{(\beta)}_n]_+ = \delta_{m,n}$. Isso serve como o análogo $\beta$-deformado da relação de dualidade padrão no caso não deformado.

3. Correspondência Bóson-Férmion $\beta$-Deformada:
   Dois mapas lineares, $\Omega$ e $\chi$, são introduzidos como correspondências bóson-férmion $\beta$-deformadas.

   • $\Omega$ mapeia vetores no espaço de Fock fermiônico para o anel completado de funções simétricas $\widehat{\Lambda}$, correspondendo às funções K-teóricas.
   • $\chi$ mapeia vetores para um subálgebra $g\Gamma$, correspondendo às funções duais.
     Estes mapas são definidos via valores esperados de vácuo envolvendo operadores hamiltonianos $\beta$-deformados $H^{(\beta)}(x)$ e $H^{[\beta]}(x)$.

4. Derivação de Funções Geradoras:
   Ao explorar as relações de comutação entre os operadores de vértice $\beta$-deformados e os operadores de corrente, o autor deriva o kernel de Cauchy K-teórico de Nakagawa-Naruse. Este kernel conecta os valores esperados de vácuo dos operadores fermiônicos à fórmula do produto $\prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$ (onde $\bar{x}_i$ é uma variável $\beta$-deslocada).

Principais Contribuições e Resultados
Os resultados primários do artigo são a realização explícita das quatro funções K-teóricas como valores esperados de vácuo de operadores fermiônicos específicos e a derivação de funções geradoras para as funções duais K-teóricas.

1. Apresentações Fermiônicas:
   O Teorema 1.1 estabelece que, para qualquer partição estrita $\lambda$, existem quatro vetores $|\lambda\rangle_Q, |\lambda\rangle_P, |\lambda\rangle_q, |\lambda\rangle_p$ no espaço de Fock fermiônico tal 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)$
     Os vetores são construídos utilizando os respectivos operadores de férmions $\beta$-deformados definidos no texto.

2. Funções Geradoras para Funções Duais:
   Utilizando a ortonormalidade dos vetores construídos e as propriedades da correspondência bóson-férmion $\beta$-deformada, o artigo deriva explicitamente funções geradoras para as funções duais K-teóricas $gq_\lambda$ e $gp_\lambda$. Isso confirma a conjectura feita por Nakagawa-Naruse a respeito da forma destas funções geradoras.

3. Identidade de Cauchy K-Teórica:
   O artigo demonstra que as relações de comutação dos operadores $\beta$-deformados levam naturalmente à identidade de Cauchy K-teórica:
   $$\sum_{\lambda: \text{estrita}} GQ_\lambda(x) gp_\lambda(y) = \sum_{\lambda: \text{estrita}} GP_\lambda(x) gq_\lambda(y) = \prod_{i,j} \frac{1 - \bar{x}_i y_j}{1 - x_i y_j}$$
   onde $\bar{x}_i = \frac{-x_i}{1 + \beta x_i}$.

Significância
O artigo fornece um arcabouço algébrico unificado para funções simétricas K-teóricas dos tipos B, C e D. Ao estender a correspondência bóson-férmion para incluir operadores $\beta$-deformados, o autor consegue realizar as funções P K-teóricas e suas duais de maneira análoga às funções Q anteriormente conhecidas. Esta apresentação não apenas valida as funções geradoras conjecturadas para as funções duais, mas também oferece um método sistemático para estudar as propriedades algébricas destas funções através da lente dos operadores de férmions neutros. O trabalho generaliza descrições fermiônicas anteriores de funções simétricas K-teóricas de tipo A (como os polinômios de Grothendieck estáveis) para os casos ortogonais e simpléticos.