Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian

Resumo Técnico: Toda de Relativística e K-Homologia Equivariante do Grassmanniano Afim

Enunciado do Problema
Este artigo investiga o fenômeno "quantum equals affine" no contexto da teoria $K$-quântica $T$-equivariante da variedade de flagas $G/B$ (especificamente para $G=SL_n(\mathbb{C})$) e sua relação com a $K$-homologia $T$-equivariante do Grassmanniano afim $Gr_{SL_n}$. Embora a versão não-equivariante dessa correspondência tenha sido explorada anteriormente utilizando a rede de Toda relativística, o caso equivariante exigia uma realização algébrica mais rigorosa. O desafio central abordado é a construção explícita do isomorfismo de $K$-Peterson — um mapa que conecta o anel $K$-quântico localizado $QK_T(SL_n(\mathbb{C})/B)$ e o anel de $K$-homologia $K_T^*(Gr_{SL_n})$ — estabelecendo especificamente uma correspondência entre suas respectivas bases de Schubert.

Metodologia
Os autores empregam uma abordagem de sistemas integráveis, utilizando a rede de Toda relativística introduzida por Ruijsenaars. A metodologia procede através dos seguintes passos:

1. Configuração Geométrica: Os autores definem o espaço de fase $Y$ da rede de Toda relativística e uma família de centralizadores $Z$ associada a $PGL_n(\mathbb{C})$. Eles estabelecem que os anéis de coordenadas dessas variedades correspondem às versões polinomiais do anel $K$-quântico e do anel de $K$-homologia equivariante, respectivamente:
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. Construção do Mapa Biracional: Ao resolver as equações da rede de Toda relativística, os autores constroem um mapa biracional $\Phi_n$ entre os subconjuntos abertos densos $Y^\circ$ e $Z^\circ$. Este mapa é definido via uma substituição racional que envia as variáveis dinâmicas $(z_i, Q_i)$ da rede de Toda para expressões racionais envolvendo funções $\tau$ ($\tau_i$) e funções $\sigma$ ($\sigma_i$) derivadas da família de centralizadores.
3. Realização Algébrica: O artigo utiliza desenvolvimentos recentes na apresentação do anel $K$-quântico via polinômios de Grothendieck duplos quânticos ($G_w^Q$) e a realização da $K$-homologia afim via funções de Schur-$k$ duplas $K$-teóricas ($\tilde{g}_x^{(k)}$).
4. Diagrama Comutativo: Os autores demonstram que o mapa $\Phi_n$, quando torcido por um automorfismo de álgebra específico $\sigma$ (denotado como $\tilde{\Phi}_n = \sigma \circ \Phi_n$), se ajusta em um diagrama comutativo com o mapa $K$-Peterson abstrato de Kato.

Contribuições Principais e Resultados

• Realização Algébrica Explícita do Mapa $K$-Peterson: O resultado primário (Teorema 1.1) fornece uma fórmula explícita para o isomorfismo $K$-Peterson. O mapa $\tilde{\Phi}_n$ envia a classe de Schubert quântica $Q^\xi G_w^Q(z|\eta)$ para a classe de Schubert afim $\tilde{g}_{x\omega_k}^{(k)}(y|b)$, onde $x = w t_\xi$ e $\omega_k$ é uma involução específica no grupo de Weyl afim. Isso estabelece uma correspondência combinatória concreta entre essas duas bases.
• Intercalação de Operadores de Demazure: Os autores provam que o mapa construído interpola as ações dos operadores de Demazure quânticos ($D_i^Q$) no lado quântico com os operadores de Demazure afins ($D_i$) no lado afim (até a involução $\omega_k$). Esta propriedade é crucial para estender a correspondência do elemento mais longo para todas as classes de Schubert.
• Fórmulas Determinantes: Para partições $k$-pequenas (partições $\lambda$ que satisfazem $\lambda_1 + \ell(\lambda) \leq n$), o artigo deriva fórmulas determinantes explícitas para as funções de Schur-$k$ duplas $K$-teóricas $\tilde{g}_\lambda^{(k)}(y|b)$ e suas contrapartes não-fechadas $g_\lambda^{(k)}(y|b)$. Estas fórmulas expressam as funções como determinantes de matrizes envolvendo as funções de coordenada da família de centralizadores.
• Fórmula de Fatoração: Como aplicação direta do teorema principal, os autores derivam uma fórmula de fatoração para a função de Schur-$k$ dupla $K$-teórica associada à única partição $k$-irredutível $k$-limitada máxima $\nu_n$ (Teorema 1.2). Esta fórmula expressa $\tilde{g}_{\nu_n}^{(k)}$ como um produto de funções mais simples e termos relacionados às funções $\tau$, confirmando uma conjectura do cenário não-equivariante.

Significância
O artigo afirma sua significância ao fornecer uma formulação algébrica concreta do isomorfismo $K$-Peterson no cenário equivariante. Ao fundamentar a correspondência geométrica abstrata na teoria da rede de Toda relativística, os autores oferecem novos insights sobre a estrutura combinatória do isomorfismo. Especificamente, o trabalho une os polinômios de Grothendieck duplos quânticos e as funções de Schur-$k$ duplas $K$-teóricas, permitindo a tradução de resultados entre as geometrias quântica e afim. A derivação da fórmula de fatoração para a partição $k$-irredutível máxima serve como uma verificação não trivial da consistência e utilidade da teoria. Os resultados baseiam-se em e estendem o trabalho prévio de Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono e Yamaguchi, solidificando a conexão entre sistemas integráveis e a teoria $K$-quântica equivariante.