Weight decomposition for toroidal abelian fibrations

Resumo Técnico: Decomposição de Peso para Fibrações Abelianas Toroidais

Enunciado do Problema
O artigo investiga a teoria de interseção e a estrutura motivica da família universal de variedades abelianas principais sobre uma compactificação toroidal parcial específica. Seja $X_g \to A_g$ o esquema abeliano universal sobre o stack de moduli de variedades abelianas principais de dimensão $g$. Os autores estendem o estudo de ciclos algébricos do interior $X_g$ para a compactificação parcial de Mumford $X'_g \to A'_g$, que parametriza degenerações de rank de toro no máximo um.

O anel de Chow racional $CH^*(X_g)$ é conhecido por admitir uma decomposição multiplicativa em espaços próprios do mapa de multiplicação-por-$N$ e possui um anel tautológico bem compreendido, mas essas propriedades não são imediatamente óbvias para a família compactificada $X'_g$. A família $X'_g$ não é mais um esquema de grupo relativo, mas sim um modelo biracional de um esquema abeliano logarítmico. O desafio central é generalizar os resultados conhecidos sobre a decomposição de peso do motivo de Chow relativo e a estrutura do anel tautológico para este cenário de fronteira singular.

Metodologia
Os autores empregam uma combinação de geometria logarítmica, transformadas de Fourier-Mukai e geometria tropical para analisar a ação do mapa de multiplicação-por-$N$ nos grupos de Chow.

1. Geometria Logarítmica e Resoluções: Os autores utilizam a teoria de esquemas abelianos logarítmicos (Kajiwara–Kato–Nakayama) para resolver a indeterminação do mapa racional de multiplicação-por-$N$. Eles constroem resoluções pequenas dos produtos internos relativos de autofibras $X'_g \times_{A'_g} \cdots \times_{A'_g} X'_g$ usando blow-ups logarítmicos. Isso permite definir rigorosamente a ação de $[N]_*$ nos grupos de Chow.
2. Tropicalização e Polinômios por Partes: Uma inovação técnica central é a redução da ação de $[N]_*$ nas classes tautológicas para cálculos combinatórios em esquemas abelianos tropicais. Ao relacionar os grupos de Chow do esquema logarítmico com o anel de polinômios por partes estritos ($sPP$) no fan de Artin associado (um complexo de cones $\Sigma^{(s)}$), os autores traduzem operações geométricas em operações sobre funções polinomiais por partes.
3. Transformada de Fourier: O artigo estende a transformada de Fourier-Mukai para a fronteira. Usando o fibrado de linha de Poincaré estendido construído em trabalhos anteriores, eles estabelecem uma autoequivalência na categoria derivada de feixes coerentes e sua realização nos grupos de Chow. Esta transformada é usada para computar a classe da seção da unidade e para provar a preservação do anel tautológico.
4. Análise de Peso: Os autores definem uma filtração de peso baseada no grau polinomial da ação de $[N]_*$. Eles provam que as classes tautológicas possuem pesos finitos e estabelecem limites precisos para esses pesos utilizando o arcabouço combinatório desenvolvido para o cenário tropical.

Principais Contribuições e Resultados

• A Classe da Seção da Unidade (Teorema A): Os autores derivam uma fórmula fechada para a classe fundamental $[e]$ da seção da unidade $e: A'_g \to X'_g$ em termos de classes tautológicas. A fórmula envolve o divisor Theta $\theta$, o divisor de fronteira e números de Bernoulli. Este resultado generaliza fórmulas anteriores para o locus semi-abeliano e confirma uma fórmula conjecturada por Grushevsky e Zakharov ($GZ_g$), resolvendo uma omissão em sua prova original relativa às contribuições de fronteira.
• Decomposição Motivica (Teorema B): O artigo prova que o motivo de Chow relativo de $X'_g$ admite uma decomposição em uma soma direta de motivos $h_k(X'_g)$ para $0 \le k \le 2g$. Esta decomposição corresponde aos espaços próprios do mapa de multiplicação-por-$N$. Especificamente, mostra-se que a classe $[\tau_N]_t$ (a transposta do gráfico de multiplicação por $N$) é um polinômio em $N$ de grau $2g$, cujos coeficientes atuam como projetores ortogonais. Isso confirma a conjectura de Corti–Hanamura para esta compactificação específica.
• Estrutura do Anel Tautológico (Teoremas C e D): Os autores fornecem uma apresentação completa do anel tautológico $R^*(X'_g)$. Eles identificam os geradores (classes de Chern do fibrado de Hodge, o divisor Theta e classes de polinômios por partes) e as relações. As relações são categorizadas em três tipos: aquelas provenientes da base, aquelas decorrentes da estrutura recursiva da fronteira e relações de "aniquilação de peso" (classes de peso maior que $2g$ que se anulam).
• Invariância de Fourier (Teorema E): Prova-se que a transformada de Fourier e sua inversa preservam o subanel tautológico $R^*(X'_g)$. Um algoritmo é fornecido para computar a transformada de Fourier de classes tautológicas, demonstrando que o anel é fechado sob mapas de pushforward de produtos internos relativos.
• Decomposição de Peso e Filtração Perversa (Teorema F & Proposição 6.11): O artigo estabelece que a filtração de peso $W_\bullet$ definida pela multiplicação-por-$N$ coincide com a filtração perversa $P_\bullet$ definida via transformada de Fourier. Este fenômeno "P=W" é provado usando os limites de peso explícitos das classes tautológicas derivados da análise combinatória.

Significância
O artigo afirma fornecer a primeira descrição estrutural abrangente do anel de Chow e da decomposição motivica para uma compactificação toroidal do esquema abeliano universal que inclui a fronteira. Ao generalizar os resultados de Beauville e Deninger–Murre do locus abeliano para a fronteira toroidal, os autores demonstram que a rica estrutura de ciclos algébricos (decomposição de peso, anéis tautológicos, invariância de Fourier) persiste mesmo na presença de singularidades e degenerações.

O trabalho serve como um passo fundamental para a compreensão da teoria de interseção de compactificações toroidais mais gerais. Os autores observam que, embora seus métodos dependam da geometria relativamente simples da fronteira de rank um, as técnicas (particularmente a resolução logarítmica e a análise combinatória de peso) devem se estender a compactificações mais profundas, embora com maior complexidade combinatória. Os resultados também conectam-se ao estudo de Jacobianos compactificados e ciclos de ramificação dupla, fornecendo um arcabouço unificado para esses objetos.