Algebraicity of Hodge classes on some generalized Prym Varieties

Sintesi Tecnica: Algebraicità delle Classi di Hodge su Alcune Varietà di Prym Generalizzate

Enunciato del Problema
Il lavoro affronta l'algebraicità di specifiche classi di Hodge su varietà di Prym generalizzate. Nello specifico, indaga se certe classi di Hodge, costruite mediante il metodo di "tipo Weil" su varietà abeliane associate a rappresentazioni non banali di un gruppo abeliano finito $G$, siano rappresentate da cicli algebrici. Questo lavoro generalizza risultati precedenti di Chad Schoen, che aveva stabilito l'algebraicità di tali classi per ricoprimenti ciclici (in particolare per caratteri primitivi), estendendola al contesto più ampio dei ricoprimenti abeliani.

Metodologia
Gli autori adottano un approccio geometrico radicato nella teoria dei campi di classe geometrica non ramificata per le curve. La metodologia centrale prevede i seguenti passaggi:

1. Impostazione Geometrica: Gli autori considerano un ricoprimento étale $G$ di curve lisce proiettive $C \to C^1$, dove $G$ è un gruppo abeliano finito. Utilizzano la mappa standard di Abel–Jacobi $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ e il suo comportamento per gradi specifici, in particolare $h = 2g(C^1) - 2$.
2. Diagrammi Cartesiani e Teoria dei Campi di Classe: Uno strumento centrale è la costruzione di un diagramma cartesiano che collega la curva $C$, il suo prodotto simmetrico e la Jacobiana. Gli autori dimostrano che ogni ricoprimento abeliano di curve deriva dal cambio di base di ricoprimenti finiti di varietà Jacobiane. Questa impostazione permette di relazionare la coomologia del prodotto simmetrico del ricoprimento alla coomologia della varietà di Prym.
3. Decomposizione Cohomologica: Gli autori analizzano la coomologia del ricoprimento abeliano $W$ del prodotto simmetrico $\text{Sym}^h(C^1)$. Decompongono la coomologia $H^*(W, \mathbb{Q})$ in componenti isotipiche corrispondenti ai caratteri di $G$.
4. Fattorizzazione delle Mappe: Stabiliscono una fattorizzazione della mappa di Abel–Jacobi per la curva $C$ attraverso il ricoprimento $W$. Ciò comporta lo studio dell'azione del gruppo $G$ e del gruppo simmetrico $S_h$ sul prodotto $C^h$ e sui suoi quozienti.
5. Formula di Macdonald e Operatori di Lefschetz: Utilizzando la formula di Macdonald per la coomologia dei prodotti simmetrici e le proprietà dell'operatore di Lefschetz sulle varietà abeliane, gli autori tracciano i cicli algebrici dal prodotto simmetrico alla varietà di Prym. Si basano sulla congettura standard sulle varietà abeliane (in particolare, che l'operatore di Lefschetz inverso sia algebrico) per concludere l'algebraicità delle classi target.

Contributi e Risultati Chiave

• Teorema 1.1 (Coomologia del Ricoprimento): Gli autori dimostrano un isomorfismo naturale di strutture di Hodge per la coomologia del ricoprimento abeliano $W$ di $\text{Sym}^h(C^1)$. Nello specifico, per $n=h$, la coomologia si scinde nella coomologia del prodotto simmetrico base e in un addendo $U(-h/2)$. L'addendo $U$ è generato da classi algebriche, ha dimensione $|G|-1$, e la sua complessificazione si decompone in una somma di componenti isotipiche $\chi$ per tutti i caratteri non banali $\chi$ di $G$.
• Teorema 1.2 (Algebraicità delle Classi di Hodge di Weil): Il risultato principale stabilisce che le "classi di Hodge di Weil" $U_{\text{Weil}}$ sulla varietà di Prym $B$ (la componente connessa del nucleo della mappa Norma $J(C) \to J(C^1)$) sono rappresentate da cicli algebrici. Queste classi sono definite come l'ultima potenza esterna della parte non banale della prima coomologia di $B$ sull'anello $\mathbb{Q}[G]_{\text{nt}}$.
• Generalizzazione del Lavoro di Schoen: Mentre il lavoro originale di Schoen si concentrava su ricoprimenti ciclici e caratteri primitivi, questo articolo estende la costruzione a tutti i caratteri non banali di qualsiasi gruppo abeliano finito. Gli autori mostrano che i cicli algebrici richiesti sorgono naturalmente dalla geometria della mappa di Abel–Jacobi e dalla teoria dei campi di classe geometrica, fornendo una prospettiva unificata che semplifica e generalizza il metodo di Schoen.

Significato e Affermazioni
Il lavoro afferma di fornire un punto di vista alternativo che generalizza e semplifica la costruzione di cicli algebrici per le classi di Hodge sulle varietà di Prym. Inquadrando il problema attraverso la teoria dei campi di classe geometrica non ramificata, gli autori dimostrano che l'algebraicità di queste classi di Hodge è una diretta conseguenza della geometria della mappa di Abel–Jacobi e della struttura dei ricoprimenti abeliani.

Gli autori dichiarano esplicitamente che il loro approccio:

• Generalizza i risultati di Schoen dai ricoprimenti ciclici ai ricoprimenti abeliani.
• Tratta tutti i caratteri non banali, mentre Schoen si limitava ai caratteri primitivi nel caso ciclico.
• Offre una prospettiva che potrebbe potenzialmente essere adattata a contesti ramificati (coinvolgenti Jacobiane con modulo) e casi di dimensione superiore (superfici), sebbene questi non siano trattati nel presente articolo.
• Si basa sulla congettura standard sulle varietà abeliane riguardante l'algebraicità dell'operatore di Lefschetz inverso, un risultato noto per le varietà abeliane.

Il lavoro non afferma di dimostrare la congettura di Hodge nella sua generalità, ma piuttosto di confermarla per una specifica e importante classe di classi di Hodge (di tipo Weil) su varietà di Prym generalizzate, estendendo così i casi noti in cui la congettura vale.