Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Resumo Técnico: Invariância Cohomológica e Combinatória de Fronteira em Jacobianas Compactificadas Universais

1. O Problema

O artigo aborda a estrutura cohomológica das Jacobianas Compactificadas Universais ($J^d_{g,n}(\sigma)$), que são extensões das Jacobianas universais sobre o espaço de módulos de curvas estáveis ($\mathcal{M}_{g,n}$).

• Contexto: Para um grau $d$ e uma condição de estabilidade $\sigma$ (no sentido de Pagani-Tommasi), constrói-se um espaço de módulos $J^d_{g,n}(\sigma)$ que é um stack de Deligne-Mumford próprio e não singular.
• A Questão Central: A cohomologia desses espaços depende das escolhas arbitrárias do grau $d$ e da condição de estabilidade $\sigma$?
• O Paradoxo: Resultados anteriores de Migliorini-Shende-Viviani sugerem que a cohomologia é independente de $d$ e $\sigma$. No entanto, do ponto de vista da geometria da fronteira (combinatória dos estratos), isso é surpreendente. Diferentes condições de estabilidade $\sigma$ e $\sigma'$ geram decomposições em estratos (toros sobre produtos de espaços menores) completamente diferentes. Não é óbvio como a soma das contribuições de estratos distintos poderia resultar no mesmo invariante cohomológico.

2. Metodologia

Os autores desenvolvem uma prova direta e combinatória para estabelecer a invariância, evitando depender exclusivamente de teoremas profundos de decomposição (como o Teorema de Decomposição de Goresky-MacPherson). A metodologia divide-se em três pilares principais:

1. Rigidez de Estruturas de Hodge:

   • Utilizam um teorema de rigidez para variações de estrutura de Hodge (Schmid) estendido a stacks (Proposição 2.2).
   • Demonstram que, para as Jacobianas não compactificadas ($J^d_{g,n}$), as variações de cohomologia $R^q\pi_* \mathbb{Q}$ são isomorfas independentemente de $d$, permitindo isomorfismos compatíveis com a estrutura de Hodge mista e a ação do grupo simétrico $S_n$.

2. Estratificação Combinatória da Fronteira:

   • Descrevem a compactificação $J^d_{g,n}(\sigma)$ através de uma estratificação indexada por triplos $(\Gamma, \Gamma_0, d)$, onde $\Gamma$ é um grafo estável, $\Gamma_0$ um subgrafo conectado, e $d$ uma função de graus.
   • Cada estrato é um fibrado de toros sobre um produto de Jacobianas menores, módulo um grupo de automorfismos.
   • O objetivo é calcular o característico de Euler de Hodge ($\chi_c$) somando as contribuições de cada estrato.

3. Argumento Combinatório de Emparelhamento (O Núcleo da Prova):

   • O desafio é que os conjuntos de estratos para $\sigma$ e $\sigma'$ são diferentes.
   • Os autores provam uma afirmação combinatória (Lema 3.7): Para qualquer par $(\Gamma, \Gamma_0)$ fixo, existe uma bijeção equivariante entre os conjuntos de graus $d$ permitidos por $\sigma$ e os graus $d'$ permitidos por $\sigma'$.
   • Essa bijeção é construída usando propriedades do grupo de Picard de grafos ($\text{Pic}(\Gamma)$) e ações de automorfismos, demonstrando que as contribuições cohomológicas dos estratos correspondentes se cancelam ou emparelham perfeitamente, tornando a soma total independente de $\sigma$ e $d$.

3. Principais Contribuições e Resultados

• Teorema 1.2 (Invariância Cohomológica):
  Para todo $2g-2+n > 0$, e quaisquer graus $d, d' \in \mathbb{Z}$ e condições de estabilidade $\sigma, \sigma'$, existe um isomorfismo de estruturas de Hodge sobre $\mathbb{Q}$:
  $$H^*(J^d_{g,n}(\sigma); \mathbb{Q}) \cong H^*(J^{d'}_{g,n}(\sigma'); \mathbb{Q})$$
  Este isomorfismo é compatível com a ação do grupo simétrico $S_n$ (ou subgrupos $S_\lambda$) e preserva a estrutura de Hodge mista.

• Prova Combinatória Direta:
  Diferente de provas anteriores que dependiam de teoremas de suporte, esta prova explícita como a soma das contribuições dos estratos (via polinômios de Hodge-Deligne) é invariante, resolvendo a aparente contradição entre a dependência da decomposição estratificada e a invariância do resultado final.

• Apêndice A (Resultados de Feusi e Yin):

  • Jeremy Feusi: Caracteriza quando as Jacobianas universais $J^d_{g,n}$ e $J^{d'}_{g,n}$ são isomorfas de forma equivariante sob $S_n$. O resultado mostra que isso ocorre se e somente se $d \equiv d'$ ou $-d \equiv d' \pmod{\gcd(2g-2, n)}$.
  • Qizheng Yin: Demonstra que, embora a cohomologia seja invariante, as classes no Grupo de Grothendieck de Variedades ($K_0(\text{Var}_{\mathbb{C}})$) não são necessariamente iguais. Ou seja, $[J^d_g] \neq [J^{d'}_g]$ em geral, a menos que $d' \equiv \pm d \pmod{2g-2}$ (para $g \geq 22$). Isso destaca que a invariância cohomológica é uma propriedade mais fraca do que a equivalência de classes de variedades.

4. Significado e Impacto

• Resolução de uma Conjectura Combinatória: O trabalho fornece uma compreensão profunda de como a geometria da fronteira de espaços de módulos complexos pode variar drasticamente (mudando a estrutura dos estratos) sem alterar os invariantes cohomológicos globais.
• Ferramentas Computacionais: O método desenvolvido permite calcular os números de Hodge de $J^d_{g,n}(\sigma)$ assumindo o conhecimento das características de Euler equivariantes dos espaços não compactificados ($J_{g',n'}$). Isso abre caminho para cálculos explícitos em baixos gêneros.
• Distinção entre Invariantes: O artigo esclarece a distinção sutil entre invariância cohomológica (que se mantém) e invariância no grupo de Grothendieck (que falha), sugerindo que a estrutura derivada ou a geometria birracional desses espaços pode ser mais sensível às escolhas de estabilidade do que a cohomologia simples.
• Conexões com Teoria de Representação: A prova envolve interações profundas entre a teoria de grafos, grupos de Picard de grafos e representações do grupo simétrico, oferecendo novas ferramentas para o estudo de espaços de módulos de curvas e feixes.

Em suma, o artigo estabelece que a cohomologia das Jacobianas compactificadas universais é um invariante robusto, "cego" às escolhas de estabilidade e grau, e fornece a primeira prova puramente combinatória e direta desse fato, desvendando a mecânica de como as contribuições da fronteira se equilibram.