Dualizable abelian fibrations

Resumo Técnico: Dualizable Abelian Fibrations

1. Problema e Contexto

O artigo aborda a estrutura da teorema de decomposição para fibrations abelianas (morfismos próprios e sobrejetivos $f: M \to B$ entre variedades não singulares, com fibras gerais sendo variedades abelianas).

• Contexto Histórico: Ngo [35] demonstrou que, para uma classe específica de fibrations abelianas (chamadas $\delta$-regulares), o teorema de decomposição é tratável e permite determinar os suportes e sistemas locais associados. Isso foi crucial para a prova do Fundamental Lemma do Programa de Langlands.
• O Desafio: Quando as fibras são singulares (como em Jacobianas compactificadas ou sistemas de Hitchin), a estrutura de grupo das fibras suaves não se estende globalmente. Isso impede a aplicação direta de técnicas clássicas (como a decomposição de Beauville para esquemas abelianos) e a existência de uma decomposição motivica multiplicativa.
• A Questão Central: Como generalizar as estruturas ricas de esquemas abelianos (como a transformada de Fourier, decomposições motivicas e filtragens perversas) para fibrations abelianas com fibras singulares, mantendo propriedades algébricas e topológicas desejáveis?

2. Metodologia e Definição

Os autores introduzem o conceito de Fibration Abelianas Dualizáveis, um quadro teórico que estende a dualidade de esquemas abelianos para o contexto singular.

Definição de Fibration Abelianas Dualizáveis:
Uma fibração $f: M \to B$ é dualizável se satisfizer os seguintes axiomas:

• Axioma A (Existência de Dual): Existe uma fibração dual $f^\vee: M^\vee \to B$ tal que, sobre um aberto denso $U \subset B$, as fibras são variedades abelianas duais ($M_U^\vee \cong \text{Pic}^0(M_U)$).
• Axioma B (Suporte Total): Os complexos $Rf_* \mathbb{Q}_M$ e $Rf^\vee_* \mathbb{Q}_{M^\vee}$ têm suporte total em $B$ (todos os feixes perversos simples na decomposição têm suporte em $B$).
• Axioma C (Extensão do Fibrado de Poincaré): O fibrado de Poincaré normalizado $P$ definido sobre $M^\vee_U \times_U M_U$ estende-se a um objeto $P \in D^b\text{Coh}(M^\vee \times_B M)$ que possui um inverso $P^{-1}$, permitindo uma equivalência de Fourier-Mukai global.
• Axioma C+ (Extensão "Bem Comportada"): Os objetos relacionados às potências $P^{\otimes N}$ têm suporte em codimensão $g$ (dimensão relativa) para infinitos $N$, generalizando a propriedade de "multiplicação por $N$" dos esquemas abelianos.
• Axioma D (Extensão da Convolação): O núcleo de convolução, definido via o produto diagonal pequeno, estende-se de forma que seu suporte tenha codimensão $g$ e a componente de codimensão pura seja o fecho de Zariski do gráfico da multiplicação.

Técnica Principal:
O método central é o uso de Transformadas de Fourier induzidas pelo objeto de Poincaré $P$. Os autores mostram que, mesmo na presença de singularidades, a correspondência induzida por $P$ caracteriza a decomposição de cohomologia e a filtragem perversa, atuando como uma ferramenta para "desacoplar" a estrutura algébrica da topologia singular.

3. Principais Contribuições e Resultados

A. Decomposição Motivica e Teorema de Decomposição

• Teorema 3.2: Para qualquer fibração abeliana dualizável, o Conjectura de Decomposição Motivica de Corti-Hanamura é válida. Existe uma decomposição do motivo de Chow relativo $h(M) = \bigoplus h_i(M)$ compatível com o produto cup.
• Multiplicatividade: A filtragem perversa associada à fibração é multiplicativa em relação ao produto cup. Isso significa que o produto de classes em graus perversos $i$ e $j$ reside no grau $i+j$.
• Isomorfismo de Álgebras: Existe um isomorfismo de objetos algébricos entre a cohomologia de $M$ (com produto cup) e a cohomologia de $M^\vee$ (com produto de convolação induzido pelo suporte total).

B. Relação entre Filtragem Perversa e Classes de Chern (P = C)

• O artigo prova que, para fibrations dualizáveis, a localização de classes tautológicas na filtragem perversa é determinada exatamente pelo seu grau de Chern.
• Teorema 3.7: As classes de Chern do fibrado tangente $T_M$ satisfazem $c_i(T_M) \in P_i H^{2i}(M, \mathbb{Q})$.
• Isso fornece uma prova unificada para conjecturas do tipo P = W (para sistemas de Hitchin) e P = C (para espaços de módulos de feixes), generalizando resultados anteriores que dependiam de casos específicos.

C. Anéis de Cohomologia Intrínsecos

• Um resultado surpreendente (Teorema 3.9) é que, embora a cohomologia de variedades como Jacobianas compactificadas universais dependa da escolha da condição de estabilidade (o que define a compactificação), o anel graduado associado à filtragem perversa é independente dessa escolha.
• Isso define um "anel de cohomologia intrínseco" para a família de curvas, sugerindo que a estrutura motivica captura a geometria essencial, ignorando as dependências da compactificação.

4. Exemplos e Aplicações

Os autores aplicam o quadro teórico a diversas classes de objetos geométricos importantes:

1. Jacobianas Compactificadas: Para curvas integrais localmente planares, a fibração de Jacobiana compactificada é dualizável (Teorema 2.9). Isso prova a multiplicatividade da filtragem perversa para curvas singulares arbitrárias, generalizando resultados de Oblomkov-Yun.
2. Sistemas de Hitchin Parabolicos: Enquanto o sistema de Hitchin clássico pode não ser dualizável (falha no Axioma B), o sistema de Hitchin parabólico (com resíduos gerais) é dualizável. Isso permite reduzir problemas do sistema clássico ao caso parabólico via teoria de Springer e ciclos próximos/vanishing.
3. Fibrações Lagrangianas: O artigo discute como fibrations lagrangianas em variedades simpléticas irredutíveis se encaixam neste quadro, apoiando conjecturas sobre a localização de classes de Chern.

5. Significado e Impacto

• Unificação Teórica: O trabalho fornece uma estrutura unificada que conecta a teoria de esquemas abelianos (Beauville, Deninger-Murre) com a teoria de fibrations singulares (Ngo, Hitchin, Jacobianas).
• Resolução de Conjecturas: Oferece provas robustas para conjecturas profundas em geometria algébrica e teoria de representação, especificamente sobre a relação entre filtragens perversas e estruturas de Chern (P=C) e a multiplicatividade de filtragens.
• Novas Estruturas Algébricas: A descoberta de que o anel graduado perverso é independente da compactificação abre novas vias para estudar invariantes topológicos de famílias de curvas e variedades de módulos, sugerindo que a "essência" motivica é mais estável do que a cohomologia bruta.
• Ferramentas Computacionais: A generalização da transformada de Fourier para contextos singulares oferece uma nova ferramenta poderosa para analisar a cohomologia de espaços de módulos complexos onde métodos tradicionais falham.

Em suma, o artigo estabelece que a "dualizabilidade" é a propriedade chave que restaura a riqueza estrutural (decomposição motivica, multiplicatividade, P=C) em fibrations abelianas com fibras singulares, permitindo a aplicação de técnicas poderosas de esquemas abelianos a problemas geométricos muito mais gerais.