Level structures on cyclic covers of $\mathbb{P}^n$ and the homology of Fermat hypersurfaces

1. Il Problema

Il lavoro affronta la relazione tra le strutture di livello (level structures) sulla coomologia primitiva di una varietà algebrica e quella del suo rivestimento ciclico. Nello specifico, si considera:

• $Z' \subset \mathbb{P}^n$: una varietà ipersuperficie proiettiva liscia di grado $d > 1$.
• $Z \to \mathbb{P}^n$: il rivestimento $\mu_d$-ciclico totalmente ramificato lungo $Z'$.

L'obiettivo principale è stabilire un collegamento esplicito tra le strutture di livello $d$ sulla coomologia primitiva di $Z'$ (la varietà base) e quelle sulla coomologia primitiva di $Z$ (il rivestimento). Un caso particolare di grande interesse è quello in cui $d=n=3$ (superficie cubica e cubica tridimensionale), dove il lavoro risponde a una domanda aperta di Beauville riguardante la determinazione di una struttura di livello 3 su una cubica tridimensionale associata a una superficie cubica marcata.

Il contesto teorico si inserisce nella topologia algebrica classica, cercando di esprimere la relazione tra la coomologia equivariante di uno spazio su cui agisce un gruppo finito e la coomologia del suo insieme di punti fissi, ma applicata a rivestimenti ciclici di ipersuperfici.

2. Metodologia

L'autore utilizza un approccio che combina la teoria di Lefschetz classica con coefficienti interi, la teoria dei moduli su anelli di gruppo e la geometria delle varietà di Fermat.

• Struttura dei Moduli: Si analizza un modulo $M$ sull'anello di gruppo $\mathbb{Z}G$ (dove $G = \mu_d$). Vengono definite due mappe fondamentali associate a tale modulo:
  1. Una mappa $r_M$ che lega i co-invarianti del quoziente $M/M^G$ agli invarianti $M^G$ ridotti modulo $d$.
  2. Una mappa duale $s_M$ che lega il prodotto tensoriale del gruppo abelizzato $G^{ab}$ con gli invarianti ai co-invarianti.
• Applicazione Geometrica: Queste mappe astratte vengono applicate al modulo specifico $M = \tilde{H}_n(\mathring{Z})$, dove $\mathring{Z} = Z \setminus Z'$ è l'ipersuperficie affine. Si sfrutta il fatto che la coomologia primitiva di $Z'$ è isomorfa agli invarianti di $M$, mentre la coomologia primitiva di $Z$ è legata ai co-invarianti (o viceversa, a seconda della dualità).
• Caso di Fermat: Per la dimostrazione rigorosa dei teoremi, l'autore riduce il problema al caso in cui $Z'$ è un'ipersuperficie di Fermat ($F = \sum z_i^d = 0$). Questo permette di descrivere esplicitamente l'azione di $\mu_d$ sulla coomologia come un modulo su un anello di polinomi quoti, facilitando il calcolo algebrico delle mappe $r_{Z'}$ e $s_{Z'}$.
• Dualità e Intersezioni: Si utilizza la teoria di Lefschetz con coefficienti interi per analizzare le sequenze esatte che legano la coomologia di $Z$, $Z'$ e il complemento affine, sfruttando la forma di intersezioni hermitiana definita sull'azione del gruppo.

3. Contributi Chiave e Risultati

Teorema Principale (Teorema 3.3)

Il risultato centrale stabilisce una suriettività naturale tra le strutture di livello ridotte modulo $d$:

• Se $n$ è pari: La mappa $r_{Z'}: H_P(Z)^{\mu_d} \to \mathbb{Z}/d \otimes H_P(Z')$ è suriettiva. Il diagramma che collega la coomologia primitiva di $Z$ e $Z'$ commuta, e il nucleo di questa suriezione è un sottogruppo di $\mathbb{Z}/d$.
• Se $n$ è dispari: La mappa duale $s_{Z'}: \mathbb{Z}/d \otimes H_P(Z') \to H_P(Z)^{\mu_d}$ è suriettiva.
  In entrambi i casi, quando $d$ è un numero primo $p$, queste mappe diventano isomorfismi su spazi vettoriali su $\mathbb{F}_p$ (Corollario 3.4), identificando l'immagine della mappa di inclusione con il quoziente non degenere.

Risoluzione della Domanda di Beauville (Esempio 3.5)

Nel caso specifico $n=3$ (dove $Z'$ è una superficie cubica liscia e $Z$ è una cubica tridimensionale):

• La coomologia primitiva della superficie cubica $H_P(Z')$ è legata al reticolo delle radici $Q(E_6)$.
• Il lavoro dimostra che una marcatura (marking) di una superficie cubica liscia induce naturalmente una struttura di livello 3 sulla cubica tridimensionale associata.
• Questo fornisce una prova diretta del fatto che lo spazio dei moduli delle superfici cubiche marcate è un quoziente della sfera complessa (ball quotient), confermando e semplificando i risultati di Allcock-Carlson-Toledo.

Descrizione della Coomologia di Fermat

Il paper fornisce una descrizione precisa della coomologia primitiva delle ipersuperfici di Fermat lisce come moduli sul loro gruppo di simmetria.

• Correzione di un Errore: Il lavoro corregge un errore presente in una precedente pubblicazione dell'autore (e in lavori correlati di Gvirtz e Skorobogatov) riguardante la struttura modulare della coomologia di Fermat (Corollario 4.2). Viene dimostrato che per $n$ dispari la mappa è un isomorfismo, mentre per $n$ pari ha nucleo e conucleo isomorfi a $\mathbb{Z}/d$.

Generalizzazioni

L'autore discute come questi risultati si applichino ad altri casi, come:

• Rivestimenti doppi di $\mathbb{P}^2$ ramificati su curve piane (superfici del Pezzo di grado 2).
• Superfici K3 come rivestimenti doppi di superfici del Pezzo o come rivestimenti $\mu_3$ di $\mathbb{P}^1 \times \mathbb{P}^1$.
  Questi casi sono rilevanti per le descrizioni di spazi dei moduli di curve di genere 3 e 4 come quozienti di sfere (ball quotient descriptions) di Kondō.

4. Significato

Il lavoro di Looijenga è significativo per diversi motivi:

1. Ponte tra Geometria e Teoria dei Gruppi: Fornisce un meccanismo algebrico robusto per tradurre proprietà di strutture di livello su varietà base a quelle sui loro rivestimenti ciclici, un problema che ha implicazioni profonde nella teoria degli spazi dei moduli.
2. Risoluzione di Problemi Aperti: Risponde positivamente alla domanda di Beauville, collegando direttamente la marcatura delle superfici cubiche alle strutture di livello sulle cubiche tridimensionali, unendo così due aree di ricerca apparentemente distinte.
3. Correzione e Precisione: Corregge errori tecnici nella letteratura precedente sulla coomologia delle varietà di Fermat, offrendo una descrizione modulare corretta e completa.
4. Strumenti per la Teoria degli Spazi dei Moduli: I risultati supportano e generalizzano le descrizioni degli spazi dei moduli di curve e superfici come quozienti di sfere complesse, suggerendo che l'imposizione di strutture di livello (come livello 2 o 3) è la chiave per ottenere queste strutture geometriche eleganti.

In sintesi, il paper offre un quadro teorico unificato per comprendere come la topologia dei rivestimenti ciclici codifichi informazioni sulle strutture di livello delle varietà di base, con applicazioni dirette alla geometria aritmetica e alla teoria degli spazi dei moduli.