The multiplicative structure of the K-theoretical McKay correspondence for the Hilbert scheme of points in the complex plane

Resumo Técnico: A Estrutura Multiplicativa da Correspondência de McKay K-Teórica para o Esquema de Hilbert de Pontos no Plano Complexo

Enunciado do Problema
O artigo investiga a K-teoria do esquema de Hilbert de $n$ pontos no plano complexo, denotado $Hilb^n(\mathbb{A}^2_{\mathbb{C}})$. Sob a correspondência de McKay K-teórica, a K-teoria equivariante deste esquema, $K^{S_n}(\mathbb{C}^{2n})$, é isomorfa ao espaço das funções simétricas de grau $n$, $\Lambda_n$. Os autores abordam duas questões principais relativas à estrutura multiplicativa induzida em $\Lambda_n$ pelo produto tensorial no anel de K-teoria $K(Hilb^n)$:

1. O Problema do Endomorfismo (A): Para uma dada classe $F \in K(Hilb^n)$, determinar uma fórmula compacta para o endomorfismo induzido $E_F: \Lambda_n \to \Lambda_n$ tal que o diagrama envolvendo o isomorfismo de McKay $\Theta$ e a multiplicação tensorial por $F$ comute. Especificamente, os autores focam em $F$ sendo as potências de Adams $\psi^k B_n$ do fibrado vetorial tautológico $B_n$, que geram o anel de K-teoria.
2. O Problema das Constantes de Estrutura (B): Descrever as constantes de estrutura $c^\mu_{\lambda_1, \lambda_2}$ para a multiplicação $\odot$ em $\Lambda_n$ induzida pelo produto tensorial, especificamente na base das somas de potências.

Metodologia
Os autores empregam uma combinação de intuição geométrica e redução combinatória.

• Redução Geométrica: Embora a ação toroidal padrão $T = (\mathbb{C}^*)^2$ no esquema de Hilbert produza um conjunto finito de pontos fixos, a combinatória dos pesos tangentes é complexa. Os autores introduzem uma redução para um subtoro coordenado unidimensional $T_q \subset T$. Sob esta restrição (correspondendo à substituição $t=1$ nas fórmulas combinatórias), o conjunto de pontos fixos $Hilb^{T_q}_n$ torna-se uma união disjunta de espaços afins. Isso simplifica a geometria do conjunto de pontos fixos e, crucialmente, simplifica a combinatória dos pesos tangentes.
• Análise Combinatória: A prova baseia-se nas propriedades dos polinômios de Macdonald $\tilde{H}_\lambda(q,t)$ e sua restrição a $t=1$. Os autores utilizam o mapa de característica de Frobenius para relacionar a K-teoria do esquema de Hilbert com funções simétricas. Eles analisam os operadores $\nabla_F$ (adjuntos dos operadores de multiplicação) e demonstram que, sob a restrição a $T_q$, esses operadores satisfazem a regra de Leibniz, uma propriedade ausente no contexto equivariante completo.
• Localização e Bases Próprias: Utilizando o teorema de localização, os autores trabalham com a base das classes fundamentais dos pontos fixos. Eles estabelecem que os polinômios de Macdonald modificados (restritos a $t=1$) formam uma base própria para os operadores relevantes, permitindo o cálculo explícito da ação das potências de Adams.

Principais Contribuições e Resultados

1. Prova da Conjectura de Boissière: O resultado principal é a prova de uma fórmula conjecturada por Boissière [Boi06b] para o endomorfismo $E_{\psi^k B_n}$. Os autores estabelecem que, para qualquer número natural $k$:
   $$E_{\psi^k B} = \sum_{\lambda} \frac{k^{l(\lambda)-1} s(\lambda)}{\prod_{i \in \mathbb{N}} a_i(\lambda)!} p_{s(\lambda)} \partial_\lambda$$
   onde a soma percorre partições $\lambda$, $l(\lambda)$ é o comprimento, $s(\lambda)$ é a soma, $a_i(\lambda)$ é a multiplicidade da parte $i$, e $\partial_\lambda$ é o operador diferencial associado à partição. Isso é apresentado como o Teorema 5.15. Uma formulação equivalente envolvendo o operador $\nabla^*_k$ também é fornecida.

2. Regra de Leibniz via Restrição a Subtoros: Uma contribuição técnica central é a demonstração de que a restrição do operador $\nabla_k$ ao subtoro $T_q$ (definindo $t=1$) satisfaz a regra de Leibniz: $\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$. Esta propriedade permite aos autores derivar fórmulas fechadas para os operadores calculando sua ação nos geradores (somas de potências) e estendendo via regra do produto.

3. Constantes de Estrutura para Produto Tensorial: Na Seção 7, os autores derivam uma fórmula para as constantes de estrutura $c^\mu_{\lambda_1, \lambda_2}$ da multiplicação $\odot$ em $\Lambda_n$. O Teorema 7.3 expressa essas constantes como coeficientes de uma série de potências específica envolvendo o produto interno de funções simétricas e uma função de peso $W_\nu(q)$. A fórmula é dada por:
   $$c^\mu_{\lambda_1, \lambda_2} = \text{Coeff}_{q-1} \left( l(\lambda_1) + l(\lambda_2) - n - l(\mu); \frac{[\mu]_q}{z_\mu [\lambda_1]_q [\lambda_2]_q} \cdot \sum_{\nu \vdash n} \frac{\langle p_{\lambda_1}, h_\nu \rangle \langle p_{\lambda_2}, h_\nu \rangle \langle p_\mu, m_\nu \rangle}{W_\nu(q)} \right)$$
   Este resultado esclarece as condições de anulação para essas constantes com base nos graus das partições.

4. Correção da Literatura Anterior: Os autores notam uma discrepância nos resultados computacionais de [Boi06b] relativos ao produto $p_{22} \odot p_{22}$. Usando sua fórmula derivada e argumentos dimensionais (Observação 7.5), eles afirmam que o produto deve ser zero, sugerindo um erro de impressão no trabalho anterior.

Significado e Alegações
O artigo afirma resolver uma conjectura específica relativa à correspondência de McKay K-teórica, fornecendo uma expressão de forma fechada para a ação das potências de Adams do fibrado tautológico sobre funções simétricas. Os autores enfatizam que sua prova é "puramente combinatória", mas fundamentada na intuição geométrica de restringir a ação toroidal a um subtoro para simplificar a geometria dos pontos fixos.

O significado reside em:

• Fornecer a primeira prova da conjectura de Boissière para $k$ arbitrário.
• Estabelecer as constantes de estrutura multiplicativa para o produto induzido pela K-teoria em funções simétricas, uma estrutura distinta do caso cohomológico devido à natureza não graduada da K-teoria.
• Demonstrar que a restrição a um subtoro $T_q$ é uma ferramenta poderosa para simplificar cálculos complexos de K-teoria equivariante, transformando-os em problemas combinatórios tratáveis envolvendo a regra de Leibniz.

Os autores não afirmam estender esses resultados a outras variedades ou grupos neste trabalho, nem propõem novas aplicações experimentais. O trabalho é apresentado como uma solução definitiva para os problemas algébricos e combinatórios específicos impostos pela correspondência de McKay K-teórica para o esquema de Hilbert de pontos no plano.