$K$-Equivalence and Integral Cohomology

Resumo Técnico: K-Equivalência e Cohomologia Integral

Enunciado do Problema
Em 1995, Kontsevich estabeleceu que variedades projetivas suaves K-equivalentes compartilham os mesmos números de Hodge. Embora este resultado tenha abordado os invariantes cohomológicos racionais ou complexos (especificamente a decomposição de Hodge), a questão permanecia se a K-equivalência implica um isomorfismo dos grupos de cohomologia integral, $H^i(X, \mathbb{Z})$. Diferente dos números de Hodge, a cohomologia integral contém informações de torção, que não são capturadas pelo polinômio de Hodge padrão. Este artigo aborda essa lacuna estendendo o resultado de Kontsevich para o nível integral, provando que variedades projetivas suaves K-equivalentes possuem grupos de cohomologia integral isomorfos.

Metodologia
Os autores introduzem um novo invariante, a função de Hodge virtual integral, denotada por $H_{\text{vir}, \mathbb{Z}}$. A construção procede em várias etapas técnicas:

1. Definição da Função de Hodge Integral ($H_{\mathbb{Z}}$):
   Para uma variedade projetiva suave $X$, os autores definem uma função $H_{\mathbb{Z}}(X)$ que codifica tanto as partes livres quanto as de torção da cohomologia.

   • Parte Livre: Capturada pelos números de Hodge usuais $h^{p,q}(X)$, ponderados pelas variáveis $u$ e $v$.
   • Parte de Torção: Capturada por uma "função de Poincaré de torção" $T(X)$. Isso envolve invariantes $a_{p,i,j}(X)$, que representam o posto do espaço vetorial sobre $\mathbb{Z}/p\mathbb{Z}$ formado pelo quociente $p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$.
   • Anel Alvo: A função toma valores em um anel específico $R$ gerado pelas variáveis $s_p, r_j, u, v, t, x$ sujeitas a relações que garantem o comportamento multiplicativo da função. Crucialmente, o anel inclui relações como $tx^2 = tx - x$ e $s_p^2 = s_p$ para lidar com a estrutura combinatória da torção e a interação entre as partes livre e de torção sob a fórmula de Künneth.

2. Extensão ao Anel de Grothendieck:
   Os autores provam que $H_{\mathbb{Z}}$ se estende para uma função $H_{\text{vir}, \mathbb{Z}}$ bem definida no anel de Grothendieck de variedades, $K_0(\text{Var}_{\mathbb{C}})$. Isso requer a demonstração de duas propriedades fundamentais:

   • Multiplicatividade: $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$. A prova envolve uma análise detalhada da fórmula de Künneth para cohomologia integral, mostrando que os termos de torção no produto correspondem ao produto dos termos de torção nos fatores individuais, contabilizando a interação entre componentes livres e de torção.
   • Relação de Blow-up: A função satisfaz a relação $H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$ para um blow-up de $X$ ao longo de um centro suave $Z$ com divisor excepcional $E$. Isso permite que a função desça para o anel de Grothendieck, que é gerado por variedades projetivas suaves módulo essas relações.

3. Filtração de Grau e Completamento:
   Para lidar com a K-equivalência, os autores utilizam o anel de Grothendieck completado $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$. Eles definem um grau no anel alvo $R$ e mostram que $H_{\text{vir}, \mathbb{Z}}$ fatora através do completamento. Isso permite a aplicação do resultado de Kontsevich de que variedades K-equivalentes possuem classes iguais no anel completado.

Principais Contribuições e Resultados

• Teorema 1.1: O resultado primário afirma que, se $X$ e $X'$ são variedades projetivas suaves K-equivalentes sobre $\mathbb{C}$, então $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$ para todo $i$. Isso é alcançado mostrando que $H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$ e, como os grupos de cohomologia integral podem ser recuperados dos coeficientes de $H_{\text{vir}, \mathbb{Z}}$ (via o mapa $\phi_i$), os grupos devem ser isomorfos.
• Recuperação de Torção: O artigo fornece um mecanismo para reconstruir os grupos de cohomologia integral, incluindo seus subgrupos de torção, diretamente dos coeficientes da função de Hodge integral.
• Cohomologia Livre de Torção para Decomposições de Células: Como um corolário, os autores fornecem uma nova prova de que, se uma variedade projetiva suave admite uma decomposição de células algébricas (por exemplo, variedades com uma ação de $\mathbb{C}^*$ com pontos fixos finitos), sua cohomologia integral é livre de torção. Isso decorre do fato de que a função reduz-se ao polinômio de Hodge padrão nesses casos.
• Independência de Resoluções Crepantes: O artigo estabelece que, para uma variedade projetiva $X$ com singularidades canônicas Gorenstein no máximo, a cohomologia integral de qualquer resolução crepante $Y \to X$ é independente da escolha da resolução.

Significância e Alegações
O artigo alega estender o resultado de 1995 de Kontsevich dos números de Hodge para os grupos completos de cohomologia integral. A significância reside na construção de um invariante multiplicativo no anel de Grothendieck que é sensível à torção, uma característica anteriormente ausente na teoria de Hodge virtual.

Os autores observam que, embora o resultado (Teorema 1.1) tenha sido previamente demonstrado nos trabalhos de Gusein-Zade e Saito [GS96] e por Yasuda e Xie [XY18] (dos quais tomaram conhecimento após a postagem da versão inicial), sua contribuição é a introdução da função de Hodge virtual integral $H_{\text{vir}, \mathbb{Z}}$. Esta função serve como uma ferramenta que não apenas prova o teorema, mas também codifica a estrutura da cohomologia integral de uma forma que é bem definida no anel de Grothendieck. Os autores sugerem que este arcabouço admite futuras generalizações, como para invariantes stringy usando a medida de Gorenstein ou para o grupo de Grothendieck de stacks.