Resumo Técnico: Teorema de Suporte dos Jacobianos Compactificados Universais

1. Formulação do Problema

O artigo aborda a estrutura geométrica e cohomológica do jacobiano compactificado universal $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ sobre o stack de moduli das curvas estáveis marcadas $\mathcal{M}_{g,n}$. Embora se saiba que a cohomologia desses espaços é invariante sob a escolha do grau $d$ e das condições de estabilidade não degeneradas $\phi$ (prova de Migliorini–Shende–Viviani [MSV21]), a geometria torna-se significativamente mais complexa quando $\phi$ é degenerada. No caso degenerado, a presença de feixes estritamente semiestáveis introduz singularidades severas sobre as estratificações de fronteira de $\mathcal{M}_{g,n}$.

O problema central é determinar o suporte dos somandos diretos que aparecem na decomposição BBDG (Beilinson–Bernstein–Deligne–Gabber) do empurrado derivado do complexo de cohomologia de interseção, $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$, onde $\overline{\pi}$ é o mapa de esquecimento para a base. Especificamente, o autor busca provar que cada somando direto possui suporte total na base $\mathcal{M}_{g,n}$, estendendo o "teorema de suporte" conhecido para fibrados de Hitchin e jacobianos não degenerados a este contexto universal mais singular.

2. Metodologia

O artigo emprega duas abordagens metodológicas distintas para estabelecer o resultado principal:

Abordagem A: Teorema de Suporte de Ngô Generalizado

A prova principal sintetiza técnicas da teoria das fibras abelianas fracas e feixes perversos equivariantes.

1. Rigidificação e Bons Espaços de Moduli: A aplicação direta do teorema de suporte de Ngô é obstruída porque o stack do jacobiano compactificado universal não é próprio sobre $\mathcal{M}_{g,n}$, e a ação de tradução natural do grupo de Picard relativo não desce ao espaço de moduli grosseiro devido a automorfismos. Para resolver isso, o autor trabalha com o bom espaço de moduli relativo $\overline{\mathcal{J}}^{d,\phi}_{g,n}$, que rigidifica os automorfismos verticais enquanto preserva a base $\mathcal{M}_{g,n}$.
2. Mudança de Base: Para evitar sutilezas técnicas relacionadas a stacks de quociente finitos, o morfismo é mudado de base ao longo de uma cobertura étale finita $B \to \mathcal{M}_{g,n}$ (um espaço de estrutura de nível de Teichmüller), resultando em uma variedade suave $B$.
3. Verificação de Hipóteses: O autor verifica que a tripla $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$, onde $P$ é a variedade de Picard relativa, forma uma fibra abeliana fraca no sentido de Maulik e Shen [MS23]. Isso envolve verificar:
   • Propriedade e dimensão pura das fibras.
   • Estabilizadores afins para a ação do grupo.
   • $\delta$-regularidade: Uma condição que relaciona a codimensão das estratificações na base com a dimensão da parte afim do grupo estabilizador.
4. Teorema de Decomposição: Usando o teorema de suporte generalizado (Teorema 2.2), o autor prova que qualquer suporte $Z$ da decomposição deve satisfazer $\text{codim } Z \leq \delta_Z$. Combinado com a $\delta$-regularidade, isso força $Z$ a ser toda a base.
5. Descida: O resultado é descido da cobertura $B$ de volta a $\mathcal{M}_{g,n}$ usando o formalismo da categoria derivada equivariante.

Abordagem B: Variação das Condições de Estabilidade

Uma segunda prova independente é fornecida para o caso $n \geq 1$ (e adaptada para $n=0$ via vizinhanças étale).

1. Cruzamento de Paredes: O autor utiliza a estrutura de paredes e câmaras do espaço de estabilidade $V^d_{g,n}$. Para uma condição de estabilidade degenerada $\phi$, é escolhida uma condição não degenerada próxima $\phi'$.
2. Morfismo Propício: Uma inclusão de stacks de moduli induz um morfismo próprio e sobrejetivo $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$ entre seus bons espaços de moduli relativos.
3. Redução: Como $\mathcal{J}^{d,\phi'}_{g,n}$ é suave (para $\phi'$ não degenerado), seu complexo de interseção é um feixe constante deslocado. O teorema de suporte conhecido para jacobianos não degenerados [MSV21] aplica-se ao empurrado deste feixe constante.
4. Argumento de Somando Direto: O complexo de interseção $IC(\mathcal{J}^{d,\phi}_{g,n})$ é mostrado como um somando direto do empurrado do feixe constante vindo do lado não degenerado. Consequentemente, as propriedades de suporte do caso não degenerado transferem-se para o caso degenerado.

3. Contribuições e Resultados Chave

Teorema Principal (Teorema 1.1)

O artigo prova que, para inteiros $g, n \geq 0$ com $2g-2+n > 0$, e para o bom espaço de moduli relativo $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ sobre $\mathcal{M}_{g,n}$:

1. Suporte Total: Cada somando direto do empurrado derivado $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ possui suporte total em $\mathcal{M}_{g,n}$.
2. Decomposição Explícita: Há um isomorfismo na categoria derivada limitada de módulos de Hodge mistos sobre $\mathcal{M}_{g,n}$:
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   onde $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ é a curva universal.

Corolários

• Espaço de Moduli Grosseiro (Corolário 1.2): A propriedade de suporte total vale para o empurrado do complexo de interseção do espaço de moduli grosseiro $J$ de $\overline{\mathcal{J}}^{d,\phi}_{g,n}$.
• Invariância Topológica (Corolário 1.3): Os grupos de cohomologia de interseção $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ são isomorfos como estruturas de Hodge $\mathbb{Q}$ para quaisquer inteiros $d, d'$ e quaisquer condições de estabilidade $\phi, \phi'$ (degeneradas ou não degeneradas). Isso estende a invariância conhecida dos grupos de cohomologia para o contexto degenerado.

4. Significado e Afirmativas

O artigo afirma fornecer um teorema de suporte total para o jacobiano compactificado universal, um resultado que anteriormente era obstruído pela complexidade das estratificações de fronteira e pela falta de uma ação de grupo própria no espaço de moduli grosseiro.

• Síntese Metodológica: O trabalho adapta com sucesso a maquinaria do teorema de suporte de Ngô (originalmente desenvolvido para o fibrado de Hitchin) ao moduli de curvas. Resolve a obstrução da não-propriedade e dos grupos de automorfismo utilizando o bom espaço de moduli relativo e categorias derivadas equivariantes.
• Tratamento da Degenerescência: O artigo aborda explicitamente o caso de condições de estabilidade degeneradas, onde a geometria é singular e existem feixes estritamente semiestáveis. Demonstra que, apesar dessas singularidades, a invariância topológica da cohomologia de interseção persiste.
• Independência das Provas: Ao fornecer duas provas distintas — uma dependendo do teorema de suporte generalizado para fibras abelianas fracas e a outra na variação das condições de estabilidade — o autor reforça a robustez do resultado.
• Motivação para Trabalhos Futuros: Os resultados motivam a questão de se o "anel de cohomologia intrínseco" (uma degenerescência da estrutura do anel de cohomologia definida para condições não degeneradas) pode ser estendido ao contexto de condições de estabilidade degeneradas.

O autor mantém um tom modesto quanto ao escopo, observando que, embora os grupos de cohomologia sejam invariantes, a estrutura do anel de cohomologia geralmente depende das escolhas de $d$ e $\phi$, e o artigo não resolve a estrutura do anel para o caso degenerado.