Tropical covers, tropical abelian varieties and Prym varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria tropicale, un'area che studia le varietà algebriche attraverso la loro "degenerazione" in oggetti combinatori e metrici (grafi metrici o curve tropicali).
Il problema centrale affrontato è l'estensione della teoria classica delle varietà di Prym (associate a ricoperture di curve di Riemann) al contesto tropicale.
Nella geometria classica, data una curva di Riemann $X$ e una sua ricopertura $Y \to X$, la varietà di Prym è un fattore isogeno della Jacobiana di $Y$ che cattura le informazioni geometriche specifiche della ricopertura. L'obiettivo dell'autore è definire, investigare e calcolare proprietà fondamentali (in particolare il volume) delle varietà di Prym tropicali associate a ricoperture cicliche non ramificate di curve tropicali (o grafi metrici).

2. Metodologia

L'approccio metodologico si basa su tre pilastri principali:

• Morfismi Armonici e Ricoperture Galois: L'autore utilizza la teoria dei morfismi armonici tra grafi metrici. Una ricopertura $\tilde{\Gamma} \to \Gamma$ è definita come un morfismo armonico finito. In particolare, si focalizza sulle ricoperture cicliche non ramificate (Galois) con gruppo di Galois $G = \mathbb{Z}_n$. Vengono introdotte definizioni precise per i "cicli di dilatazione" e la condizione di "non ramificazione forte".
• Azioni di Gruppo su Varietà Abeliane Tropicali: La metodologia chiave consiste nello studiare l'azione del gruppo ciclico $\mathbb{Z}_n$ sulla Jacobiana tropicale $\text{Jac}(\tilde{\Gamma})$. La Jacobiana di un grafo metrico è definita come un toro reale $\Omega(\Gamma)^*/H_1(\Gamma, \mathbb{Z})$. L'azione del gruppo induce un automorfismo $\tau$ sulla Jacobiana.
• Costruzione della Varietà di Prym: La varietà di Prym tropicale $\text{Prym}(\tilde{\Gamma}/\Gamma)$ è definita come la componente connessa dell'identità del nucleo della mappa di norma $\text{Nm}_\phi: \text{Pic}^0(\tilde{\Gamma}) \to \text{Pic}^0(\Gamma)$. L'autore dimostra che questa varietà può essere caratterizzata come l'immagine dell'operatore $(1-\tau)$ o come il nucleo dell'operatore di norma di gruppo $\text{Nm}_G = \sum_{g \in G} g$.
• Mappe di Abel-Prym: Viene generalizzata la mappa di Abel-Prym per ricoperture cicliche $\mathbb{Z}_n$, estendendo il caso noto per le doppie ricoperture.

3. Contributi Chiave e Risultati Principali

A. Definizione e Proprietà Strutturali

• Definizione Formale: Viene fornita una definizione rigorosa della varietà di Prym tropicale come varietà abeliana tropicalmente polarizzata (pptav).
• Decomposizione Isogena: Viene stabilito un isomorfismo (isogenia) tra la Jacobiana della ricopertura e il prodotto della Jacobiana della base e della varietà di Prym:
  $$\text{Jac}(\tilde{\Gamma}) \sim \text{Prym}(\tilde{\Gamma}/\Gamma) \times \mu^*\text{Jac}(\Gamma)$$
  Questo risultato conferma che la struttura della Jacobiana della ricopertura si scompone in modo controllato dalla ricopertura stessa.
• Caratterizzazione Spettrale: La varietà di Prym è identificata con il quoziente dello spazio degli 1-formi "anti-simmetrici" (sotto l'azione del gruppo) rispetto al reticolo omologico corrispondente:
  $$\text{Prym}(\tilde{\Gamma}/\Gamma) \cong \Omega(\tilde{\Gamma})_-^* / H_1(\tilde{\Gamma}, \mathbb{Z})_-$$

B. Calcolo del Volume per Ricoperture Triple ($\mathbb{Z}_3$)

Il contributo più significativo e computazionale del lavoro riguarda il calcolo esplicito del volume della varietà di Prym per il caso di ricoperture libere $\mathbb{Z}_3$.

• L'autore costruisce basi esplicite per i gruppi di omologia $H_1(\tilde{\Gamma}, \mathbb{Z})$ e $H_1(\Gamma, \mathbb{Z})$ adattate alla struttura della ricopertura.
• Viene calcolata la matrice di Gram associata alla polarizzazione indotta.
• Risultato Principale (Proposizione 4.7): Per una ricopertura libera $\mathbb{Z}_3$, il volume della varietà di Prym è dato dalla formula:
  $$\text{Vol}_2(\text{Prym}(\tilde{\Gamma}/\Gamma)) = \frac{\text{Vol}_2(\text{Jac}(\tilde{\Gamma}))}{3 \cdot \text{Vol}_2(\text{Jac}(\Gamma))}$$
  Questa formula generalizza il risultato noto per le doppie ricoperture (dove il fattore è 2 invece di 3).

C. Connessione con la Funzione Zeta di Ihara

Per verificare e calcolare i volumi in modo alternativo, l'autore utilizza la teoria delle funzioni Zeta dei grafi:

• Vengono introdotte la Funzione Zeta di Ihara $\zeta(s, \Gamma)$ e la Funzione L di Artin-Ihara $L(s, \rho, \tilde{\Gamma}/\Gamma)$.
• Viene stabilita la relazione tra la funzione Zeta della ricopertura e quella della base tramite le rappresentazioni irriducibili del gruppo di Galois.
• Il coefficiente principale dello sviluppo di Taylor della funzione Zeta inversa in $s=1$ è legato all'ordine della Jacobiana (il volume).
• Verifica Computazionale: Applicando questa teoria al caso $\mathbb{Z}_3$, l'autore dimostra che:
  $$\frac{|\text{Jac}(\tilde{\Gamma})|}{3|\text{Jac}(\Gamma)|} = \frac{1}{9} \det(Q_{\rho_1} - A_{\rho_1}) \det(Q_{\rho_2} - A_{\rho_2})$$
  dove $\rho_1, \rho_2$ sono le rappresentazioni irriducibili non banali di $\mathbb{Z}_3$. Questo calcolo conferma il risultato ottenuto tramite la geometria combinatoria (esempio 4.8: volume 49).

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione Teorica: Colma un divario nella letteratura tropicale fornendo una definizione coerente e una teoria strutturale per le varietà di Prym in contesti di ricoperture cicliche di grado $n > 2$, andando oltre il caso delle doppie ricoperture già trattato.
2. Strumenti Computazionali: Fornisce formule esplicite per il calcolo dei volumi, un invariante fondamentale nella geometria tropicale (analogamente al volume dei moduli nello spazio delle forme abeliane classiche).
3. Ponte tra Geometria e Teoria dei Numeri: L'uso delle funzioni Zeta di Ihara e delle funzioni L di Artin collega la geometria tropicale delle curve alla teoria dei grafi e alla teoria dei numeri (analogia con le funzioni Zeta di Dedekind), offrendo nuovi metodi di calcolo per invarianti geometrici.
4. Generalizzazione: Il metodo sviluppato per le ricoperture $\mathbb{Z}_3$ suggerisce una via percorribile per trattare ricoperture cicliche di grado arbitrario, stabilendo un framework per future ricerche su varietà abeliane tropicali con azioni di gruppo.

In sintesi, il paper di Mohajer stabilisce le fondamenta per lo studio delle varietà di Prym tropicali, dimostrando come le simmetrie del gruppo di Galois permettano di decomporre le Jacobiane tropicali e calcolare i loro volumi attraverso strumenti sia geometrici (polarizzazioni, basi omologiche) che analitici (funzioni Zeta).