Torsion cycles on Fermat varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica e della teoria dei cicli algebrici, focalizzandosi sulle varietà di Fermat. Il problema centrale deriva da un celebre teorema di Manin e Drinfeld, il quale afferma che qualsiasi divisore di grado 0 supportato sui punti cuspidali di una curva modulare è un elemento di torsione nel Jacobiano della curva.

Rohrlich ha generalizzato questo risultato alle curve di Fermat ($F_d$), dimostrando che qualsiasi divisore di grado 0 supportato sui "punti di Fermat" (le soluzioni banali dell'equazione $X_0^d + X_1^d + X_2^d = 0$) è di torsione nel Jacobiano.

L'obiettivo di questo articolo è duplice:

1. Fornire una nuova dimostrazione del teorema di Rohrlich, basandosi sulla teoria di Hodge mista (seguendo l'approccio "puro pensiero" di Elkik e Deligne), piuttosto che sui metodi espliciti originali di Rohrlich.
2. Generalizzare questo risultato a varietà di Fermat di dimensione superiore ($F_d^n$) e a cicli di codimensione superiore, inclusi i cicli di Chow superiori (higher Chow cycles).

2. Metodologia

L'autore adotta un approccio basato sulla teoria di Hodge mista e sulle estensioni di strutture di Hodge miste. La metodologia si articola nei seguenti punti chiave:

• Mappatura di Abel-Jacobi ed Estensioni: Il cuore dell'argomentazione risiede nella descrizione della mappatura di Abel-Jacobi (e della sua versione superiore, il regolatore) in termini di estensioni di strutture di Hodge miste (MHS). Un ciclo nullo-omologico (null-homologous) $Z$ supportato su un insieme $|D|$ definisce una classe in $\text{Ext}^1_{\text{MHS}}(\mathbb{Z}(-p), H^{2p-1}(X))$.
• Criterio di Torsione: Secondo il teorema di Carlson, se l'estensione è "separata" (il peso massimo del sottogruppo è minore del peso minimo del quoziente), la classe è di torsione se e solo se l'estensione si spezza (split) come sequenza esatta di strutture di Hodge.
• Struttura delle Varietà di Fermat: Sfruttando il lavoro di Shioda sulla congettura di Hodge per le varietà di Fermat, l'autore analizza l'azione del gruppo di simmetria $G_d^n$ (quoziente del gruppo delle radici dell'unità) sulle coomologie.
  • Si dimostra che l'azione di $G_d^n$ è banale sulle classi dei sottovarietà lineari (intersezioni di iperpiani $X_i=0$).
  • Si utilizza un operatore di media $T = \frac{1}{|G_d^n|} \sum g$ per proiettare sulla parte di peso puro, dimostrando che la sequenza esatta di coomologia relativa si spezza.

3. Contributi Chiave e Risultati Principali

A. Generalizzazione alle Varietà di Fermat (Teorema 1.2 e 3.1)

L'autore dimostra che per una varietà di Fermat $F_d^n$ di dimensione $n$ e grado $d$, e per $S_d^p$ l'unione di tutte le sottovarietà lineari di codimensione $p$, la seguente sequenza esatta di strutture di Hodge si spezza:
$$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$$
Dove $H^{2p}_{S_d^p}(F_d^n, \mathbb{Q})_0$ è il nucleo della mappa classe di ciclo (generato da combinazioni lineari di sottovarietà lineari nulle-omologhe).

Conseguenza: Qualsiasi ciclo nullo-omologico supportato su $S_d^p$ è di torsione nella $p$-esima Jacobiana intermedia (intermediate Jacobian).

• Per $n=1$, questo riproduce il teorema di Rohrlich.
• Per $n > 1$, estende il risultato a cicli di codimensione superiore.

B. Cicli di Chow Superiori e Regolatori (Teorema 1.3 e 4.2)

Il lavoro estende l'analisi ai cicli di Chow superiori (Higher Chow cycles), che sono elementi di $CH^p(X, q)$.
L'autore considera cicli della forma $y = \sum (Z_I, f_{I_1}, \dots, f_{I_q})$, dove $Z_I$ sono sottovarietà lineari e le funzioni $f$ hanno divisori supportati su altre sottovarietà lineari.

Risultato Principale (Teorema 4.2/Corollario 4.3):
Per tali cicli motivici supportati su sottovarietà lineari di una varietà di Fermat (con $n > 1$), il regolatore (reg) è nullo nella coomologia di Deligne $H^{2p-q}_D(F_d^n, \mathbb{Q}(p))$.
Ciò implica che questi cicli sono di torsione nella Jacobiana intermedia generalizzata (spazio di Deligne).

C. Limiti e Eccezioni

L'autore nota che l'argomento di spezzamento (splitting) fallisce nel caso delle curve di Fermat ($n=1$) per cicli di Chow superiori ($q \ge 1$), poiché i punti di supporto non sono necessariamente fissi dall'azione del gruppo $G_d^1$ (le sottovarietà 0-dimensionali non sono irriducibili). In questo caso esistono cicli non banali (es. costruiti da Ross).

4. Significato e Implicazioni

1. Nuova Prova del Teorema di Rohrlich: Offre una dimostrazione concettuale basata sulla teoria di Hodge mista, che è più flessibile per generalizzazioni rispetto ai metodi espliciti originali.
2. Generalizzazione in Alta Dimensione: Stabilisce che le "costruzioni naturali" di cicli basati su sottovarietà lineari e funzioni con divisori lineari su varietà di Fermat non producono nuovi cicli non di torsione nella Jacobiana intermedia. Questo delimita il confine tra cicli banali e cicli interessanti.
3. Connessione con le Congetture di Beilinson-Bloch: Il paper discute come, se le congetture di Beilinson-Bloch (sull'iniettività della mappa di regolatore per varietà su campi di numeri) fossero vere, la torsione nella Jacobiana intermedia implicherebbe la torsione nel gruppo di Chow stesso.
4. Distinzione tra Cicli "Naturali" e Cicli "Interessanti": L'articolo conclude evidenziando che, sebbene i cicli costruiti tramite sottovarietà lineari siano di torsione, esistono cicli non di torsione su varietà di Fermat derivanti da strutture induttive (come i cicli diagonali modificati di Gross-Schoen su prodotti di curve di Fermat, che mappano in varietà di dimensione dispari). Questo suggerisce che la ricchezza dei gruppi di Chow delle varietà di Fermat risiede in costruzioni più complesse, non nelle semplici intersezioni lineari.

In sintesi, il paper fornisce un quadro teorico robusto per comprendere la torsione dei cicli sulle varietà di Fermat, utilizzando la potenza della teoria di Hodge mista per unificare risultati noti su curve e generalizzarli a dimensioni superiori, pur lasciando aperta la questione dei cicli non banali derivanti da strutture di prodotto.