$K$-Equivalence and Integral Cohomology

Resumen Técnico: K-Equivalencia y Cohomología Integral

Planteamiento del Probleza
En 1995, Kontsevich estableció que las variedades proyectivas suaves K-equivalentes comparten los mismos números de Hodge. Si bien este resultado abordó los invariantes cohomológicos racionales o complejos (específicamente la descomposición de Hodge), la cuestión de si la K-equivalencia implica un isomorfismo de los grupos de cohomología integral, $H^i(X, \mathbb{Z})$, permanecía abierta. A diferencia de los números de Hodge, la cohomología integral contiene información de torsión, la cual no es capturada por el polinomio de Hodge estándar. Este artículo aborda esta brecha extendiendo el resultado de Kontsevich al nivel integral, demostrando que las variedades proyectivas suaves K-equivalentes tienen grupos de cohomología integral isomorfos.

Metodología
Los autores introducen un nuevo invariante, la función de Hodge virtual integral, denotada como $H_{\text{vir}, \mathbb{Z}}$. La construcción procede en varias etapas técnicas:

1. Definición de la Función de Hodge Integral ($H_{\mathbb{Z}}$):
   Para una variedad proyectiva suave $X$, los autores definen una función $H_{\mathbb{Z}}(X)$ que codifica tanto las partes libres como las de torsión de la cohomología.

   • Parte Libre: Capturada por los números de Hodge habituales $h^{p,q}(X)$, ponderados por las variables $u$ y $v$.
   • Parte de Torsión: Capturada por una "función de Poincaré de torsión" $T(X)$. Esto involucra invariantes $a_{p,i,j}(X)$, que representan el rango del espacio vectorial sobre $\mathbb{Z}/p\mathbb{Z}$ formado por el cociente $p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$.
   • Anillo Objetivo: La función toma valores en un anillo específico $R$ generado por las variables $s_p, r_j, u, v, t, x$ sujetas a relaciones que aseguran el comportamiento multiplicativo de la función. Crucialmente, el anillo incluye relaciones como $tx^2 = tx - x$ y $s_p^2 = s_p$ para manejar la estructura combinatoria de la torsión y la interacción entre las partes libre y de torsión bajo la fórmula de Künneth.

2. Extensión al Anillo de Grothendieck:
   Los autores demuestran que $H_{\mathbb{Z}}$ se extiende a una función $H_{\text{vir}, \mathbb{Z}}$ bien definida en el anillo de Grothendieck de variedades, $K_0(\text{Var}_{\mathbb{C}})$. Esto requiere demostrar dos propiedades clave:

   • Multiplicatividad: $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$. La prueba implica un análisis detallado de la fórmula de Künneth para la cohomología integral, mostrando que los términos de torsión en el producto coinciden con el producto de los términos de torsión de los factores individuales, contabilizando la interacción entre los componentes libres y de torsión.
   • Relación de Soplo (Blow-up): La función satisface la relación $H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$ para un soplo de $X$ a lo largo de un centro suave $Z$ con divisor excepcional $E$. Esto permite que la función descienda al anillo de Grothendieck, el cual está generado por variedades proyectivas suaves módulo estas relaciones.

3. Filtración de Grado y Completación:
   Para manejar la K-equivalencia, los autores utilizan el anillo de Grothendieck completado $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$. Definen un grado en el anillo objetivo $R$ y muestran que $H_{\text{vir}, \mathbb{Z}}$ factoriza a través de la completación. Esto permite la aplicación del resultado de Kontsevich de que las variedades K-equivalentes tienen clases iguales en el anillo completado.

Contribuciones Clave y Resultados

• Teorema 1.1: El resultado principal establece que si $X$ y $X'$ son variedades proyectivas suaves K-equivalentes sobre $\mathbb{C}$, entonces $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$ para todo $i$. Esto se logra demostrando que $H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$, y dado que los grupos de cohomología integral pueden recuperarse de los coeficientes de $H_{\text{vir}, \mathbb{Z}}$ (vía el mapa $\phi_i$), los grupos deben ser isomorfos.
• Recuperación de la Torsión: El artículo proporciona un mecanismo para reconstruir los grupos de cohomología integral, incluyendo sus subgrupos de torsión, directamente desde los coeficientes de la función de Hodge integral.
• Cohomología Libre de Torsión para Descomposiciones Celulares: Como corolario, los autores proporcionan una nueva prueba de que si una variedad proyectiva suave admite una descomposición celular algebraica (por ejemplo, variedades con una acción de $\mathbb{C}^*$ con puntos fijos finitos), su cohomología integral carece de torsión. Esto se debe a que la función se reduce al polinomio de Hodge estándar en tales casos.
• Independencia de Resoluciones Crepantes: El artículo establece que para una variedad proyectiva $X$ con singularidades canónicas de tipo Gorenstein a lo sumo, la cohomología integral de cualquier resolución crepante $Y \to X$ es independiente de la elección de la resolución.

Significancia y Reivindicaciones
El artículo afirma extender el resultado de 1995 de Kontsevich desde los números de Hodge hacia los grupos completos de cohomología integral. La significancia radica en la construcción de un invariante multiplicativo en el anillo de Grothendieck que es sensible a la torsión, una característica que anteriormente faltaba en la teoría de Hodge virtual.

Los autores señalan que, si bien el resultado (Teorema 1.1) fue demostrado previamente en trabajos de Gusein-Zade y Saito [GS96] y por Yasuda y Xie [XY18] (de los cuales se enteraron después de publicar la versión inicial), su contribución es la introducción de la función de Hodge virtual integral $H_{\text{vir}, \mathbb{Z}}$. Esta función sirve como una herramienta que no solo prueba el teorema, sino que también codifica la estructura de la cohomología integral de una manera que es bien definida en el anillo de Grothendieck. Los autores sugieren que este marco admite generalizaciones adicionales, como a los invariantes stringy usando la medida de Gorenstein o al grupo de Grothendieck de los stacks.