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

Resumen Técnico: La Estructura Multiplicativa de la Correspondencia de McKay K-teórica para el Esquema de Hilbert de Puntos en el Plano Complejo

Enunciado del Problema
El artículo investiga la K-teoría del esquema de Hilbert de $n$ puntos en el plano complejo, denotado $Hilb^n(\mathbb{A}^2_{\mathbb{C}})$. Bajo la correspondencia de McKay K-teórica, la K-teoría equivariante de este esquema, $K^{S_n}(\mathbb{C}^{2n})$, es isomorfa al espacio de funciones simétricas de grado $n$, $\Lambda_n$. Los autores abordan dos preguntas principales sobre la estructura multiplicativa inducida en $\Lambda_n$ por el producto tensorial en el anillo de K-teoría $K(Hilb^n)$:

1. El Problema del Endomorfismo (A): Para una clase dada $F \in K(Hilb^n)$, determinar una fórmula compacta para el endomorfismo inducido $E_F: \Lambda_n \to \Lambda_n$ tal que el diagrama que involucra el isomorfismo de McKay $\Theta$ y la multiplicación tensorial por $F$ conmute. Específicamente, los autores se centran en que $F$ sean las potencias de Adams $\psi^k B_n$ del fibrado vectorial tautológico $B_n$, las cuales generan el anillo de K-teoría.
2. El Problema de las Constantes de Estructura (B): Describir las constantes de estructura $c^\mu_{\lambda_1, \lambda_2}$ para la multiplicación $\odot$ en $\Lambda_n$ inducida por el producto tensorial, específicamente en la base de sumas de potencias.

Metodología
Los autores emplean una combinación de intuición geométrica y reducción combinatoria.

• Reducción Geométrica: Mientras que la acción del toro estándar $T = (\mathbb{C}^*)^2$ sobre el esquema de Hilbert produce un conjunto finito de puntos fijos, la combinatoria de los pesos tangentes es compleja. Los autores introducen una reducción a un subtoro coordenado unidimensional $T_q \subset T$. Bajo esta restricción (correspondiente a la sustitución $t=1$ en fórmulas combinatorias), el conjunto de puntos fijos $Hilb^{T_q}_n$ se convierte en una unión disjunta de espacios afines. Esto simplifica la geometría del conjunto de puntos fijos y, crucialmente, simplifica la combinatoria de los pesos tangentes.
• Análisis Combinatorio: La demostración se basa en las propiedades de los polinomios de Macdonald $\tilde{H}_\lambda(q,t)$ y su restricción a $t=1$. Los autores utilizan el mapa de característica de Frobenius para relacionar la K-teoría del esquema de Hilbert con las funciones simétricas. Analizan los operadores $\nabla_F$ (adjuntos de los operadores de multiplicación) y demuestran que, bajo la restricción a $T_q$, estos operadores satisfacen la regla de Leibniz, una propiedad ausente en el contexto equivariante completo.
• Localización y Bases Propias: Utilizando el teorema de localización, los autores trabajan con la base de las clases fundamentales de los puntos fijos. Establecen que los polinomios de Macdonald modificados (restringidos a $t=1$) forman una base propia para los operadores relevantes, lo que permite el cálculo explícito de la acción de las potencias de Adams.

Contribuciones y Resultados Clave

1. Demostración de la Conjetura de Boissière: El resultado principal es la demostración de una fórmula conjeturada por Boissière [Boi06b] para el endomorfismo $E_{\psi^k B_n}$. Los autores establecen que para cualquier 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$$
   donde la suma recorre las particiones $\lambda$, $l(\lambda)$ es la longitud, $s(\lambda)$ es la suma, $a_i(\lambda)$ es la multiplicidad de la parte $i$, y $\partial_\lambda$ es el operador diferencial asociado a la partición. Esto se presenta como el Teorema 5.15. También se proporciona una formulación equivalente que involucra al operador $\nabla^*_k$.

2. Regla de Leibniz mediante Restricción a Subtoro: Una contribución técnica central es la demostración de que la restricción del operador $\nabla_k$ al subtoro $T_q$ (estableciendo $t=1$) satisface la regla de Leibniz: $\nabla^q_k(fg) = \nabla^q_k(f)g + f\nabla^q_k(g)$. Esta propiedad permite a los autores derivar fórmulas cerradas para los operadores calculando su acción sobre los generadores (sumas de potencias) y extendiéndolas mediante la regla del producto.

3. Constantes de Estructura para el Producto Tensorial: En la Sección 7, los autores derivan una fórmula para las constantes de estructura $c^\mu_{\lambda_1, \lambda_2}$ de la multiplicación $\odot$ en $\Lambda_n$. El Teorema 7.3 expresa estas constantes como coeficientes de una serie de potencias específica que involucra el producto interno de funciones simétricas y una función de peso $W_\nu(q)$. La fórmula viene 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 aclara las condiciones de anulación para estas constantes basándose en los grados de las particiones.

4. Corrección de Literatura Anterior: Los autores señalan una discrepancia en los resultados computacionales de [Boi06b] con respecto al producto $p_{22} \odot p_{22}$. Utilizando su fórmula derivada y argumentos dimensionales (Observación 7.5), afirman que el producto debería ser cero, sugiriendo un error tipográfico en el trabajo anterior.

Significado y Afirmaciones
El artículo afirma resolver una conjetura específica sobre la correspondencia de McKay K-teórica, proporcionando una expresión de forma cerrada para la acción de las potencias de Adams del fibrado tautológico sobre las funciones simétricas. Los autores enfatizan que su demostración es "puramente combinatoria", pero se fundamenta en la intuición geométrica de restringir la acción del toro a un subtoro para simplificar la geometría de los puntos fijos.

El significado radica en:

• Proporcionar la primera demostración de la conjetura de Boissière para $k$ arbitrario.
• Establecer las constantes de estructura multiplicativa para el producto inducido por la K-teoría en las funciones simétricas, una estructura distinta del caso cohomológico debido a la naturaleza no graduada de la K-teoría.
• Demostrar que la restricción a un subtoro $T_q$ es una herramienta poderosa para simplificar cálculos complejos de K-teoría equivariante, transformándolos en problemas combinatorios manejables que involucran la regla de Leibniz.

Los autores no afirman extender estos resultados a otras variedades o grupos dentro de este trabajo, ni proponen nuevas aplicaciones experimentales. El trabajo se presenta como una solución definitiva a los problemas algebraicos y combinatorios específicos planteados por la correspondencia de McKay K-teórica para el esquema de Hilbert de puntos en el plano.