An introduction to the intersection theory of the moduli space of curves

Resumo Técnico: Uma Introdução à Teoria da Interseção do Espaço de Moduli de Curvas

Enunciado do Problema
O problema central abordado nesta revisão é a compreensão da teoria da interseção do espaço de moduli de curvas, $M_g$, especificamente em relação à estrutura de seu anel de Chow, $A^*(M_g)$. O autor investiga a relação entre o anel de Chow completo e o anel tautológico, $R^*(M_g)$, um subanel gerado por classes que surgem naturalmente da geometria da família universal. A revisão foca em duas questões fundamentais:

1. Geração: O anel de Chow $A^*(M_g)$ é gerado por classes tautológicas?
2. Relações: Qual é o conjunto completo de relações entre classes tautológicas?

O artigo destaca que, embora o anel de Chow seja bem compreendido para gêneros baixos, a situação torna-se cada vez mais complexa à medida que o gênero $g$ cresce, com a existência de classes não-tautológicas em gêneros mais altos permanecendo uma área significativa de pesquisa aberta.

Metodologia e Estrutura
O artigo emprega o aparato padrão da geometria algébrica, especificamente a teoria da interseção e os anéis de Chow, adaptados ao contexto de espaços de moduli (frequent de tratados como stacks de Deligne–Mumford).

• Ferramentas Fundamentais: A revisão examina a definição do grupo de Chow $A_*(X)$ como ciclos módulo equivalência racional. Utiliza mapas de pushforward próprio ($f_*$) e pullback plano ($f^*$), bem como a sequência de excisão para subesquemas abertos/fechados. A fórmula push-pull e as fórmulas de autointerseção (via interseção excessiva) são centrais para computar interseções.
• Classes Tautológicas: Seguindo a filosofia de Mumford, as classes tautológicas são definidas como aquelas que surgem da família universal. Para $M_g$, estas incluem:
  • Classes $\kappa$: Definidas via o pushforward de potências da primeira classe de Chern da casca dual relativa $\omega_f$ ao longo da curva universal $f: C_g \to M_g$.
  • Classes $\lambda$: Definidas como as classes de Chern do feixe de Hodge $E = f_*\omega_f$.
  • Classes $\psi$: Definidas em espaços de moduli pontuados $M_{g,n}$ via as seções da curva universal.
• Estratificação e Colagem (Gluing): A metodologia baseia-se fortemente na estratificação de espaços de moduli (por exemplo, por gonalidade ou via grafos estáveis para compactificações) e no uso de sequências de excisão para relacionar os anéis de Chow dos estratos ao todo. Para as compactificações $\overline{M}_{g,n}$, o anel tautológico é definido como o menor sistema de subanéis fechado sob pushforwards ao longo de mapas de colagem (associados a grafos estáveis) e mapas de esquecimento.
• Técnicas Computacionais: O artigo discute o uso de fórmulas de Porteous para loci de degenerescência, Grothendieck–Riemann–Roch para relacionar classes de Chern de pushforwards, e decomposições de Künneth em cohomologia para detectar classes não-tautológicas.

Principais Contribuições e Resultados

1. Revisão do Anel Tautológico:

   • O artigo revisa as conjecturas de Faber relativas à estrutura de $R^*(M_g)$, incluindo a geração por classes $\kappa$ até o grau $\lfloor g/3 \rfloor$, o desaparecimento em graus $> g-2$, e a existência de um emparelhamento perfeito no grau superior.
   • Observa que, embora as relações de Faber–Zagier (conjecturadas por Faber e Zagier e provadas por Pixton e Pandharipande) forneçam um grande conjunto de relações, permanece uma questão aberta se elas constituem todas as relações. Evidências computacionais recentes (Canning) sugerem que o emparelhamento no grau $g-2$ não é perfeito para $g=24$, implicando que ou a conjectura de Faber (parte 3) é falsa ou as relações de Faber–Zagier são incompletas.

2. Resultados de Geração (Quando $A^*(M_g) = R^*(M_g)$):

   • O artigo confirma que para $2 \le g \le 9$, o anel de Chow é gerado por classes tautológicas ($A^*(M_g) = R^*(M_g)$). Este resultado sintetiza o trabalho de Mumford, Faber, Izadi, Penev–Vakil e Canning–Larson.
   • Estudo de Caso: Gênero 3: O autor fornece um esboço detalhado de prova para $g=3$. A estratégia envolve estratificar $M_3$ no locus hiperelíptico $H$ e o locus de quarticas planas suaves $P$.
     • Mostra-se que $H$ possui um anel de Chow trivial (racionalmente) via sua relação com $M_{0,8}/S_8$.
     • $P$ é analisado como um stack de quotient $U/GL_3$, mostrando que seu anel de Chow é gerado pelas classes de Chern do feixe de Hodge (que são tautológicas).
     • Usando a sequência de excisão, a prova reduz-se a mostrar que a classe fundamental $[H]$ é tautológica. Isso é alcançado ao realizar $H$ como um locus de degenerescência de um mapa entre feixes vetoriais em $C_2$ e aplicando a fórmula de Porteous.

3. Classes Não-Tautológicas (Quando $A^*(M_g) \neq R^*(M_g)$):

   • O artigo estabelece que para $g=12$ e $g \ge 16$, o anel de Chow não é gerado por classes tautológicas.
   • Estudo de Caso: Gênero 12: O autor detalha a construção de uma classe não-tautológica por Van Zelm. A classe em questão é a classe fundamental do locus bielíptico $B_{12}$ (curvas que admitem um mapa de grau 2 para uma curva elíptica).
     • A prova utiliza o mapa de colagem $i: M_{1,11} \times M_{1,11} \to M_{12}$.
     • Ao realizar o pullback da classe $[B_{12}]$ via $i$, obtém-se uma classe envolvendo a diagonal $\Delta$ em $M_{1,11} \times M_{1,11}$.
     • O argumento baseia-se na teoria de Hodge e nos componentes de Künneth. Especificamente, $H^{11,0}(M_{1,11}) \neq 0$. A classe diagonal possui um componente não nulo em $H^{11,0} \otimes H^{0,11}$.
     • Mostra-se que classes suportadas na fronteira de $M_{12}$ (e seus pullbacks) carecem deste tipo de Hodge específico. Como as classes tautológicas puxadas via mapas de colagem devem respeitar certas restrições de Hodge (especificamente, não podem gerar o tipo de Hodge de grau ímpar específico encontrado na diagonal), $[B_{12}]$ não pode ser tautológica.

Significância e Alegações
O artigo posiciona-se como uma introdução ao estado da arte da teoria da interseção de $M_g$. Sua significância reside em:

• Estrutura Unificada: Conecta exemplos clássicos (Grassmannianos, stacks classificantes $BGL_k$) à teoria moderna de espaços de moduli de curvas, ilustrando como classes "tautológicas" surgem naturalmente de propriedades universais.
• Esclarecimento do Limite do Conhecimento: Delimita claramente os casos conhecidos onde o anel de Chow é tautológico ($g \le 9$) versus onde não é ($g=12, g \ge 16$), destacando os gêneros específicos ($10, 11, 13, 14, 15$) onde a questão permanece aberta.
• Demonstração Metodológica: Ao esboçar provas para $g=3$ (geração) e $g=12$ (não-geração), o artigo demonstra as ferramentas técnicas específicas necessárias para esses problemas: estratificação e excisão para geração, e análise de Künneth de teoria de Hodge para não-geração.

O autor afirma modestamente que, embora o anel de Chow integral seja conhecido apenas para $g=2$, o anel de Chow racional é compreendido para $g \le 9$, e a existência de classes não-tautológicas é estabelecida para gêneros superiores específicos. O artigo não pretende resolver os casos abertos, mas sim fornecer o "sabor das ferramentas de ponta" utilizadas para abordá-los.