Chow rings, cohomology rings, and point counts of moduli spaces of curves

Resumo Técnico: Anéis de Chow, Anéis de Cohomologia e Contagens de Pontos de Espaços Moduli de Curvas

Enunciado do Problema
Este artigo expositivo investiga três invariantes intimamente relacionados dos espaços moduli de curvas: o anel de Chow $A^*(M)$, o anel de cohomologia $H^*(M)$ e as contagens de pontos sobre corpos finitos $\#M(\mathbb{F}_q)$. Os objetos primários de estudo são $M_{g,n}$, o espaço moduli de curvas suaves de gênero $g$ com $n$ pontos marcados, e $\overline{M}_{g,n}$, sua compactificação de Deligne–Mumford por curvas estáveis. O problema central é determinar até que ponto esses invariantes são "tautológicos". Especificamente, o artigo aborda três questões:

1. Para quais $(g, n)$ o anel de Chow (ou o anel de cohomologia) é gerado por classes tautológicas?
2. Para quais $(g, n)$ a contagem de pontos $\#M_{g,n}(\mathbb{F}_q)$ (ou $\#\overline{M}_{g,n}(\mathbb{F}_q)$) é dada por um polinômio em $q$?
3. Como esses invariantes se relacionam entre si, particularmente na presença de classes não-tautológicas ou contagens de pontos não-polinomiais?

Metodologia e Estrutura
O artigo sintetiza avanços recentes em geometria algébrica, geometria aritmética e teoria das representações. A metodologia baseia-se no estabelecimento de um arcabouço rigoroso que conecta os três invariantes:

• Subanéis Tautológicos: O estudo é guiado pelos subanéis tautológicos $R^*(M) \subset A^*(M)$ e $RH^*(M) \subset H^*(M)$, definidos como os menores sistemas fechados sob pushforwards ao longo de mapas de colagem (gluing) e de esquecimento. Eles são gerados por "estratos de fronteira decorados" envolvendo classes $\psi$ e $\kappa$.
• Invariantes Comparativos: O artigo utiliza a sequência de excisão para grupos de Chow, o mapa de classe de ciclo $cl: A^*(M) \to H^*(M)$ e a sequência espectral de pesos de Deligne para relacionar a cohomologia de $M_{g,n}$ com a de $\overline{M}_{g,n}$.
• Ferramentas Aritméticas: A fórmula do traço de Grothendieck–Lefschetz é empregada para ligar contagens de pontos aos traços do endomorfismo de Frobenius na cohomologia $\ell$-ádica com suporte compacto. O artigo distingue entre cohomologia de "tipo Tate" (onde os autovalores são potências de $q$) e cohomologia não-Tate (envolvendo formas modulares).
• Contagens de Pontos Equivariantes: Para lidar com os estratos de fronteira, que envolvem quocientes por grupos finitos, o artigo utiliza contagens equivariantes e a fórmula de Getzler–Kapranov, que relaciona as contagens equivariantes de $M_{g,n}$ com as de $\overline{M}_{g,n}$.
• Argumentos Indutivos: Uma ferramenta metodológica fundamental é o uso de argumentos indutivos sobre o gênero e o número de marcações, frequentemente baseando-se na "Propriedade de Geração Chow–Künneth" (CKgP) para decompor produtos de espaços moduli.

Contribuições Principais e Resultados

1. Relações Entre Invariantes
O artigo esclarece as condições sob as quais os invariantes se alinham.

• Se $A^*(\overline{M}_{g,n}) = R^*(\overline{M}_{g,n})$ e o espaço satisfaz a CKgP, então o mapa de classe de ciclo é um isomorfismo, e $\#\overline{M}_{g,n}(\mathbb{F}_q)$ é um polinômio em $q$.
• Inversamente, se $\#\overline{M}_{g,n}(\mathbb{F}_q)$ é um polinômio, a cohomologia é Tate pura (vanishing da cohomologia ímpar e cohomologia par pura), embora isso não implique automaticamente que o anel de Chow seja tautológico sem suposições adicionais.
• Para espaços moduli abertos $M_{g,n}$, a relação é mais complexa; a cohomologia não-Tate pode existir mesmo que o anel de Chow seja tautológico, e as contagens de pontos podem falhar em ser polinômios devido a contribuições de cohomologia de peso ímpar.

2. Tautologização de Anéis de Chow e de Cohomologia
O artigo faz um levantamento do estado atual do conhecimento sobre quando $A^*(M)$ e $H^*(M)$ são gerados por classes tautológicas, resumido via tabelas para $(g, n)$:

• Gênero 0: $A^*(M_{0,n})$ é trivial; $A^*(\overline{M}_{0,n})$ é tautológico.
• Gênero 1: $A^*(M_{1,n}) = R^*(M_{1,n})$ para $n \le 10$. Para $n \ge 11$, $A^*(M_{1,n})$ é de dimensão infinita e não-tautológico devido à existência de cohomologia ímpar não-nula $H^{11}(M_{1,11})$. No entanto, a cohomologia par de $M_{1,n}$ permanece tautológica.
• Gêneros 2–9: Resultados extensos estabelecem a tautologização para pares específicos de $(g, n)$ (ex: $g=2, n \le 9$; $g=3, n \le 9$; $g=7, n \le 3$). Esses resultados frequentemente dependem de estratificações explícitas (ex: loci hiperelípticos vs. não-hiperelípticos) e modelos de curvas como interseções completas.
• Classes Não-Tautológicas: O artigo identifica os loci de coberturas duplas (curvas bielípticas) como uma fonte primária de classes não-tautológicas. Para $g+m \ge 12$, a classe do locus de curvas bielípticas é não-tautológica. Isso leva à conclusão de que $A^*(\overline{M}_{g,n}) \neq R^*(\overline{M}_{g,n})$ para $2g+n \ge 24$ (e limites superiores para $g$ específicos).
• Cohomologia em Baixos Pesos: O artigo detalha resultados sobre o desaparecimento da cohomologia ímpar. $H^k(M_{g,n}) = 0$ para $k$ ímpar $\le 9$ (exceto $H^{11}(M_{1,11})$). Para $k=11, 13, 15$, descrições explícitas da cohomologia como representações de Galois são fornecidas, frequentemente envolvendo formas modulares (ex: a função $\tau$ de Ramanujan para $k=11$).

3. Contagens de Pontos e Polinomialidade

• Contagens de Pontos Polinomiais: O artigo estabelece que $\#\overline{M}_{g,n}(\mathbb{F}_q)$ é um polinômio em $q$ se, e somente se, a cohomologia é Tate pura. Isso é confirmado para $3g + 2n < 25$.
• Não-Polinomialidade: Para $M_{g,n}$, as contagens de pontos geralmente não são polinômios quando a cohomologia ímpar é não-nula. O artigo prova que $\#\overline{M}_{g,n}(\mathbb{F}_q)$ não é um polinômio para muitos casos onde $2g+n \ge 24$, impulsionado pelo não-desaparecimento de $\chi_k(M_{g,n})$ para $k$ ímpar.
• Conjectura: O artigo apresenta a Conjectura 5.1: $\#\overline{M}_{g,n}(\mathbb{F}_q)$ é um polinômio em $q$ se, e somente se, $3g + 2n < 25$. Isso é provado para $n=0$ e verificado computacionalmente para $g+n < 150$.
• Polinomialidade Aproximada: Mesmo quando não são estritamente polinomiais, as contagens de pontos são bem aproximadas por polinômios, com correções determinadas pelos coeficientes de formas modulares (ex: formas modulares de Siegel).

Significância e Alegações
O artigo alega fornecer um levantamento abrangente e atualizado da interação entre os invariantes algébricos, topológicos e aritméticos dos espaços moduli de curvas. Sua significância reside em:

1. Unificação: Ele conecta sistematicamente a natureza tautológica dos anéis de Chow, a estrutura dos anéis de cohomologia e a aritmética das contagens de pontos, mostrando como falhas em um domínio (ex: classes não-tautológicas) se manifestam em outros (ex: contagens de pontos não-polinomiais).
2. Esclarecimento de Limites: Ele delineia os intervalos precisos de $(g, n)$ onde esses espaços se comportam de maneira "bem comportada" (anéis tautológicos, contagens polinomiais) versus onde exibem comportamento complexo (anéis de Chow de dimensão infinita, cohomologia não-Tate).
3. Síntese de Trabalhos Recentes: Ele consolida resultados de vários autores (incluindo Canning, Payne, Faber, Bergström e outros) para resolver muitas questões abertas em baixos gêneros e fornecer um roteiro claro para os casos desconhecidos restantes.
4. Evidência para Conjecturas: O artigo fornece evidências fortes para as conjecturas do programa de Langlands sobre as representações de Galois que aparecem na cohomologia desses espaços moduli, confirmando especificamente a Conjectura 2.20 para pesos $k \le 15$.

O artigo não pretende resolver o problema geral para todos os $g$ e $n$, reconhecendo que para gêneros elevados, os espaços moduli são de tipo geral e as técnicas atuais (que dependem de uniracionalidade ou estratificações explícitas) falham. Em vez disso, ele oferece um mapa detalhado do território conhecido e os obstáculos específicos (como os loci bielípticos e a cohomologia ímpar) que impedem uma descrição completa no caso geral.