Tautological modular forms of level two and degree two

Sintesi Tecnica: Forme Modulari Tautologiche di Grado Due e Livello Due

Enunciato del Problema
Il lavoro affronta la costruzione e la descrizione esplicita dell'anello delle forme modulari di Siegel a valori vettoriali di grado 2 e livello 2, denotato $R(A_2[2])$. A differenza del caso di livello 1, dove l'anello delle forme modulari è finitamente generato (dalle serie di Eisenstein $E_4, E_6$ per le curve ellittiche o da forme specifiche per il genere 2), l'anello delle forme modulari a valori vettoriali per grado 2 è noto per non essere finitamente generato (Grundh [2]). Gli autori cercano un metodo per descrivere questo anello non finitamente generato utilizzando forme "tautologiche" – forme intimamente connesse all'interpretazione modulare dello spazio – e per immergere tale anello in una struttura finitamente generata per facilitare il calcolo esplicito.

Metodologia
Gli autori adottano un approccio geometrico che combina la teoria degli stack modulari, la teoria degli invarianti e le funzioni theta.

1. Interpretazione dello Stack Modulare: Lo spazio modulare $A_2[2]$ delle superfici abeliane polarizzate principalmente con struttura di livello 2 completa è interpretato come un quoziente di stack. Nello specifico, lo spazio modulare $M_2[2]$ delle curve di genere 2 con punti di Weierstrass marcati è identificato con lo stack $[P/GL_2]$, dove $P$ è lo spazio delle coppie $(p_1, \dots, p_6, f)$ costituite da sei punti su $\mathbb{P}^1$ e da una sestina binaria $f$ che si annulla in tali punti. Il gruppo simmetrico $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$ agisce su questo spazio permutando i sei punti di Weierstrass.
2. Costruzione Geometrica delle Forme: Gli autori costruiscono forme modulari a valori vettoriali interpretando i divisori sul fibrato di Hodge proiettivizzato $\mathbb{P}(E)$. I sei punti di Weierstrass sulla curva universale definiscono sei sezioni, i cui chiusi producono i divisori $W_i$. Gli autori mettono in relazione questi divisori con i gradienti delle sei funzioni theta dispari, denotati $G_1, \dots, G_6$.
3. Teoria degli Invarianti e Covarianti: Il problema è tradotto nel linguaggio della teoria classica degli invarianti. Le forme modulari a valori vettoriali su $A_2[2]$ sono identificate con i covarianti dell'azione di $GL_2$ sullo spazio $V^{\oplus 6}$ (sei forme lineari in due variabili). L'anello dei covarianti $C(V^{\oplus 6})$ è finitamente generato (per il teorema di Gordan), mentre l'anello delle forme modulari non lo è.
4. L'Omomorfismo $\mu$ e $\nu$:
   • Viene definito un omomorfismo $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$, che mappa le forme modulari nei covarianti con vincoli specifici sul grado.
   • Viene costruito un omomorfismo inverso $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$ sostituendo le forme modulari $G_i$ (e le costanti theta) nei polinomi covarianti. Questa applicazione ha come immagine l'anello delle forme modulari meromorfe.
5. Criterio di Olomorfia: Per recuperare l'anello delle forme modulari olomorfe, gli autori stabiliscono un criterio algebrico di regolarità. Un covariante $C$ produce una forma modulare olomorfa se e solo se la sua valutazione $v_\pi(C)$ lungo i divisori al bordo $H_\pi$ (corrispondenti alle partizioni dei sei punti) è non negativa per tutte le partizioni $\pi$.

Contributi e Risultati Chiave

• Forme Tautologiche: Il lavoro costruisce forme modulari a valori vettoriali "tautologiche" definite da divisori, coefficienti della sestina binaria universale e gradienti di funzioni theta dispari. Nello specifico, le forme $G_i$ (gradienti di funzioni theta dispari) e $\chi_5$ (la radice quadrata del discriminante, prodotto di costanti theta pari) fungono da mattoni fondamentali.
• Isomorfismo Esplicito: L'anello delle forme modulari di Siegel a valori vettoriali di livello 2 è esplicitamente identificato come un sottogruppo dell'anello finitamente generato dei covarianti:
  $$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ per ogni } \pi \}$$
  Ciò fornisce una descrizione concreta di un anello non finitamente generato tramite un anello ambiente finitamente generato.
• Costruzione di Forme Specifiche: Gli autori dimostrano il metodo costruendo basi esplicite per vari spazi di forme modulari (ad esempio, $S_{2,5}$, $S_{4,4}$, $S_{4,5}$, $S_{6,4}$). Calcolano gli sviluppi di Fourier e gli autovalori di Hecke per queste forme, verificandone le proprietà rispetto a dati noti (ad esempio, il conteggio dei punti su campi finiti).
• Livelli Intermedi: Il quadro teorico è esteso ai livelli intermedi tra livello 1 e livello 2 (ad esempio, $A_2[w]$, il moduli delle curve con un punto di Weierstrass marcato). Suddividendo la sestina binaria universale in fattori (ad esempio, una quintica e una forma lineare), gli autori costruiscono forme modulari per questi livelli intermedi utilizzando covarianti di forme binarie di grado inferiore.

Significato
Il lavoro afferma che questo metodo di costruzione offre una "buona compensazione" per la mancanza di un insieme finito di generatori per l'anello delle forme modulari a valori vettoriali di grado 2. Immergendo l'anello in un anello finitamente generato di covarianti, gli autori forniscono un modo sistematico per generare esplicitamente tutte le forme modulari. Inoltre, gli autori notano che questo metodo è "pronto per la costruzione automatica di forme modulari", facilitando il calcolo degli sviluppi di Fourier e di altri invarianti. Il lavoro generalizza risultati precedenti sul genere 2 (livello 1) e sui moduli di genere 3, suggerendo una via per estendere queste tecniche al genere 3. Il lavoro non afferma di risolvere il problema della generazione finita, ma piuttosto di fornire una descrizione pratica ed esplicita della struttura e degli elementi dell'anello.