Torsion cycles on Fermat varieties

Resumo Técnico: Ciclos de Torção em Variedades de Fermat

Autor: Ramesh Sreekantan (Indian Statistical Institute Bangalore)
Data: 3 de Março de 2026
Classificação Matemática (2020): 14C25, 19E15, 14C30.

1. Problema e Contexto

O artigo aborda a questão da torção de ciclos algébricos em variedades de Fermat. O ponto de partida é o teorema clássico de Manin e Drinfeld, que estabelece que qualquer divisor de grau 0 suportado nos pontos cuspidais de uma curva modular é um elemento de torção no Jacobiano da curva. Rohrlich generalizou este resultado para curvas de Fermat ($F_d$), provando que divisores de grau 0 suportados nos "pontos de Fermat" (soluções triviais de $X_0^d + X_1^d + X_2^d = 0$) são de torção no Jacobiano.

O objetivo deste trabalho é:

1. Fornecer uma nova prova do teorema de Rohrlich utilizando a teoria de Hodge mista, seguindo a abordagem elegante de Elkik.
2. Generalizar este resultado para ciclos nulo-homólogos de codimensão superior em variedades de Fermat de dimensão $n$.
3. Estender a análise para ciclos de Chow superiores (higher Chow cycles) e seus reguladores em cohomologia de Deligne.

2. Metodologia

A metodologia central baseia-se na Teoria de Hodge Mista e na análise das extensões de estruturas de Hodge mistas (MHS).

• Abel-Jacobi e Extensões de MHS: O autor utiliza a descrição do mapa Abel-Jacobi (e sua generalização para ciclos de codimensão superior) em termos de extensões de estruturas de Hodge mistas. Um ciclo nulo-homólogo $Z$ define uma classe de extensão em $\text{Ext}^1_{\text{MHS}}(\mathbb{Q}(-p), H^{2p-1}(X))$.
• Critério de Torção: Um ciclo é de torção no Jacobiano intermediário (ou na cohomologia de Deligne) se e somente se a sequência exata de estruturas de Hodge associada ao ciclo se partir (split).
• Ação do Grupo de Simetria ($G_d^n$): A prova da partição (splitting) da sequência exata é realizada explorando a ação do grupo de raízes da unidade $G_d^n = \mu_d^{n+2} / \text{diag}$ sobre a cohomologia da variedade de Fermat e seus subconjuntos. O autor utiliza a decomposição da cohomologia em representações de caracteres de $G_d^n$ (baseado no trabalho de Shioda) para construir projetores que isolam as partes de peso puro necessárias para garantir a partição da sequência.

3. Contribuições e Resultados Principais

A. Generalização do Teorema de Rohrlich (Ciclos de Divisor)
O autor prova o Teorema 3.1, que afirma que para uma hipersuperfície de Fermat $F_d^n$ de dimensão $n$ e grau $d$, e seja $S_d^p$ a união de todas as subvariedades lineares de codimensão $p$, a sequência exata de estruturas de Hodge:
$$0 \to H^{2p-1}(F_d^n, \mathbb{Q}) \to H^{2p-1}(F_d^n - S_d^p, \mathbb{Q}) \to H^{2p}_{S_d^p}(F_d^n, \mathbb{Q})_0 \to 0$$
é uma sequência exata partida.

• Consequência (Corolário 3.2): Qualquer ciclo nulo-homólogo suportado nas subvariedades lineares de Fermat é de torção no Jacobiano intermediário $p$-ésimo.
• Caso $n=1$: Recupera-se o teorema original de Rohrlich para curvas.

B. Ciclos de Chow Superiores e Reguladores
O trabalho estende a lógica para ciclos de Chow superiores (ciclos motivicos) no grupo $CH^p(F_d^n, q)$.

• Teorema 4.2: Estabelece que a sequência exata associada a ciclos motivicos suportados em subvariedades lineares também se parte no contexto de estruturas de Hodge mistas.
• Teorema 1.3 / Corolário 4.3: O regulador de qualquer ciclo de Chow superior $y$ (com suporte em subvariedades lineares e funções com divisores suportados em subvariedades lineares) é nulo na cohomologia de Deligne $H^{2p-q}_D(F_d^n, \mathbb{Q}(p))$.
• Implicação: Sob as conjecturas de Beilinson e Bloch (que afirmam a injetividade do mapa regulador para variedades sobre corpos de números), isso implicaria que tais ciclos são de torção no próprio grupo de Chow.

C. Limitações e Exceções
O autor destaca que a prova depende criticamente da irreducibilidade das subvariedades lineares e da ação trivial do grupo de simetria sobre elas.

• Caso $n=1$ (Curvas): A prova falha para ciclos de Chow superiores em curvas de Fermat porque os pontos (subvariedades 0-dimensionais) não são irredutíveis sob a ação do grupo, permitindo a existência de ciclos não triviais (como construídos por Ross).
• Ciclos Não-Triviais: O artigo reconhece que existem ciclos não triviais em grupos de Chow de Fermat que não são capturados por esta construção "natural" baseada em subvariedades lineares. Exemplos incluem ciclos diagonais modificados de Gross-Schoen e ciclos construídos via produtos de curvas de Fermat.

4. Significado e Impacto

1. Unificação de Abordagens: O artigo oferece uma prova unificada e conceitual (via teoria de Hodge mista) para resultados conhecidos sobre curvas de Fermat, demonstrando a robustez da abordagem de Elkik.
2. Generalização para Dimensões Superiores: A principal contribuição é a extensão desses resultados de torção para variedades de Fermat de dimensão arbitrária e para ciclos de codimensão superior, algo que não era trivialmente generalizável pelos métodos anteriores de Rohrlich.
3. Conexão com Conjecturas Profundas: O trabalho conecta explicitamente a torção de ciclos em Jacobianos intermediários com as conjecturas de Beilinson-Bloch sobre a injetividade do mapa regulador, sugerindo que, para a classe específica de ciclos construídos a partir de subvariedades lineares, a estrutura de torção é completa.
4. Distinção entre Ciclos "Naturais" e "Exóticos": O artigo esclarece que, embora os ciclos construídos a partir de interseções lineares e funções racionais sejam de torção, a estrutura global dos grupos de Chow de Fermat é rica e contém ciclos não triviais (como os ciclos diagonais modificados), evitando a conclusão errônea de que todos os grupos de Chow de Fermat são triviais.

Em suma, o artigo estabelece que a "geometria linear" das variedades de Fermat impõe fortes restrições de torção sobre certos ciclos motivicos, generalizando um fenômeno clássico de curvas modulares para o contexto de variedades de dimensão superior através da maquinaria da teoria de Hodge mista.