On the Hodge and Tate conjectures for moduli spaces of curves

Resumo Técnico: Sobre as Conjeturas de Hodge e Tate para Espaços de Módulos de Curvas

Enunciado do Problema
As conjeturas de Hodge e Tate são problemas centrais, ainda em grande parte em aberto, que relacionam a cohomologia de variedades algébricas a ciclos algébricos. Embora o progresso tenha historicamente dependido de variedades que se movem em famílias não triviais (por exemplo, variedades abelianas, superfícies K3) ou possuam endomorfismos especiais, os espaços de módulos de curvas estáveis, $\mathcal{M}_{g,n}$, apresentam um terreno de teste distinto. Esses espaços não se deformam em famílias, mas formam uma coleção infinita e discreta com estruturas de Hodge e representações de Galois ricas e complicadas. O artigo aborda a verificação das conjeturas de Hodge e Tate, particularmente em suas formas de coniveau generalizadas, para a cohomologia de $\mathcal{M}_{g,n}$. As formas generalizadas perguntam se subestruturas específicas na cohomologia (subestruturas de Hodge ou subrepresentações de Galois) são suportadas em subconjuntos algébricos de uma codimensão prevista, em vez de meramente perguntar se classes de grau par surgem de ciclos.

Metodologia
O artigo sintetiza cálculos cohomológicos recentes com o quadro indutivo estabelecido por Arbarello e Cornalba. A metodologia baseia-se em três pilares principais:

1. Estratificação Indutiva da Fronteira: A estratégia de prova utiliza a estratificação de $\mathcal{M}_{g,n}$ pelos tipos topológicos de curvas estáveis. O divisor de fronteira $\bar{D}_{g,n}$ é uma união disjunta de produtos de espaços de módulos menores. Usando a sequência de localização e argumentos de peso, classes de cohomologia em $\mathcal{M}_{g,n}$ são relacionadas a classes em espaços de módulos menores e à parte de peso puro da cohomologia interior.
2. Geração Tautológica: Uma técnica central é determinar se os grupos de cohomologia são gerados por classes tautológicas (geradas por classes $\kappa$, $\psi$ e de fronteira). Se $H^{2k}(\mathcal{M}_{g,n})$ for tautológica, as conjeturas de Hodge e Tate valem para ciclos de codimensão $k$. O artigo emprega "extensões semi-tautológicas" para controlar a cohomologia de alto grau, reduzindo questões a casos base.
3. Inspiração Arithmética e Classificação: Os resultados são guiados pela classificação das representações automórficas de peso motivico $\le 22$ por Chenevier e Lannes. Esta classificação prevê as estruturas motivicas específicas (por exemplo, $S_{12}$, $S_{16}$) que aparecem na cohomologia de variedades suaves e próprias sobre $\mathbb{Z}$. O artigo usa essas previsões para identificar os locais de suporte esperados para classes não tautológicas, particularmente em graus ímpares.
4. Verificação de Casos Base: Os argumentos indutivos exigem a verificação explícita de casos base para pequenos $g$ e $n$. Estes são estabelecidos usando:
   • Contagem de pontos sobre corpos finitos e a fórmula do traço de Behrend–Grothendieck–Lefschetz.
   • A propriedade de geração Chow–Künneth.
   • Construções geométricas explícitas (por exemplo, a descrição de curvas canônicas por Mukai).
   • Teoremas de anulação topológica (por exemplo, limites de Harer sobre a dimensão cohomológica virtual).

Contribuições e Resultados Principais

• Verificação das Conjeturas em Intervalos Específicos: O artigo prova que as conjeturas de Hodge e Tate generalizadas valem para $\mathcal{M}_{g,n}$ em um intervalo surpreendentemente amplo de graus:

  • Codimensão 1 e 2: Vale para todos $g, n$.
  • Codimensão 3: Vale para todos $n$ e $g \notin \{7, 8, 9\}$.
  • Dimensão $\le 7$: Vale para todos $g, n$.
  • Conjetura de Hodge Generalizada: Vale para $H^k(\mathcal{M}_{g,n})$ para $k$ par $\le 4$ (todos $g,n$), $k=6$ ($g \notin \{7,8,9\}$), $k$ ímpar $\le 13$ (todos $g,n$), e $k = 2d-j$ para $0 \le j \le 15$.
  • Conjetura de Tate Generalizada: Vale sobre corpos finitamente gerados $L$ nos mesmos intervalos, sujeita a condições de ordinariedade na característica $p$ de $L$ (especificamente, $p$ não deve dividir a função $\tau$ de Ramanujan para $S_{12}$ ou os coeficientes de Fourier da forma de cusp de peso 16 para $S_{16}$).

• Estrutura dos Grupos de Cohomologia:

  • Graus Pares: Para baixos graus pares ($k \le 6$, com exceções para $g \in \{7,8,9\}$ em $k=6$), a cohomologia é gerada por classes tautológicas.
  • Graus Ímpares: $H^k(\mathcal{M}_{g,n}) = 0$ para $k$ ímpar $< 11$. Para $k=11$, a cohomologia é uma soma direta de torções de Tate de $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$, que está relacionada à forma de cusp de Ramanujan $\Delta$. Para $k=13$, a cohomologia é suportada em divisores (estratos de fronteira) e consiste em torções de Tate de $S_{12}$.
  • Altos Graus: Pela dualidade de Poincaré e Hard Lefschetz, os resultados para baixos graus implicam resultados para altos graus ($2d-k$).

• Estruturas Motivicas: O artigo confirma que as estruturas motivicas que aparecem em $H^*(\mathcal{M}_{g,n})$ até peso 15 alinham-se com a classificação de Chenevier–Lannes. Especificamente, a cohomologia ímpar desaparece abaixo do grau 11, $H^{11}$ surge de $S_{12}$, e $H^{13}$ surge de torções de Tate suportadas na fronteira de $S_{12}$.

• Conjeturas sobre Grupos de Chow: O artigo propõe a Conjetura de Chow 10, afirmando que o grupo de Chow racional $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$ é gerado por ciclos tautológicos para $k \le 10$. Isso implica que o mapa de classe de ciclo é um isomorfismo para $k \le 10$.

Significado e Alegações
O artigo alega que a estrutura indutiva da estratificação da fronteira, combinada com previsões aritméticas modernas e cálculos explícitos de baixo gênero, verifica as conjeturas de Hodge e Tate generalizadas em um intervalo anteriormente inacessível.

• Novidade da Abordagem: Diferente das abordagens tradicionais que dependem de variação em famílias, este trabalho demonstra que a "colagem tautológica e morfismos de esquecimento" e a estratificação da fronteira de $\mathcal{M}_{g,n}$ fornecem estrutura suficiente para verificar essas conjeturas profundas.
• Ponte entre Aritmética e Geometria: O artigo destaca como previsões aritméticas (Chenevier–Lannes) sobre motivos sobre $\mathbb{Z}$ servem como guia para provas geométricas. Os resultados geométricos confirmam essas previsões incondicionalmente para espaços de módulos de curvas.
• Problemas Abertos: O artigo identifica desafios específicos remanescentes, incluindo:
  • Provar a geração tautológica para $H^6(\mathcal{M}_{g,n})$ quando $g \in \{7, 8, 9\}$.
  • Verificar a conjetura de Hodge generalizada para $H^{15}(\mathcal{M}_{g,n})$.
  • Investigar o suporte da cohomologia em primos não ordinários (onde $p | \tau(p)$), onde o coniveau previsto salta.
  • Construir ciclos algébricos para estruturas motivicas isomórficas que aparecem em diferentes espaços de módulos (por exemplo, $S_{18}$ em $\mathcal{M}_{1,17}$ e $\mathcal{M}_{2,14}$) sem uma explicação geométrica conhecida.

O trabalho estabelece $\mathcal{M}_{g,n}$ como um terreno de teste robusto para conjeturas motivicas, fornecendo um "intervalo surpreendentemente amplo" de casos verificados enquanto delimita as fronteiras precisas onde novos fenômenos (como classes não tautológicas e primos não ordinários) emergem.