Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

Sintesi Tecnica: Invarianti di Humbert Raffinati e Sottovarietà di $\mathcal{A}_2(\mathbb{C})$: Il Caso di Rango 3

Enunciato del Problema
Il saggio investiga la geometria del locus di Humbert $H(q)$ all'interno dello spazio dei moduli $\mathcal{A}_2(\mathbb{C})$ delle superficie abeliane principalmente polarizzate. Nello specifico, affronta il caso in cui $q$ è una forma quadratica integrale ternaria (rango 3). Il locus di Humbert $H(q)$ è definito come l'insieme delle superficie abeliane $(A, \lambda)$ tali che l'invariante di Humbert raffinato $q(A, \lambda)$ rappresenta primitivamente la forma quadratica $q$. Mentre il caso di rango 1 (classiche superfici di Humbert $H_\Delta$) e varie intersezioni di rango 2 sono stati ampiamente studiati, una completa caratterizzazione geometrica del locus di rango 3 in $\mathcal{A}_2(\mathbb{C})$ non era stata precedentemente stabilita. La questione centrale è descrivere la struttura e la cardinalità di $H(q)$ quando esso è non vuoto.

Metodologia
Gli autori impiegano una sintesi di geometria aritmetica, della teoria della moltiplicazione complessa (CM) e della struttura algebrica degli anelli di endomorfismi.

1. Riduzione Strutturale: Utilizzando la classificazione di Albert e i risultati di Shioda e Mitani, gli autori stabiliscono che se $H(q) \neq \emptyset$ per una forma $q$ di rango 3, ogni superficie $(A, \lambda) \in H(q)$ è isogena a un prodotto di due curve ellittiche con CM $A \simeq E_1 \times E_2$, che condividono lo stesso campo CM $K = \mathbb{Q}(\sqrt{d})$.
2. Coniugatezza di Galois (Proposizione 2.1): La dimostrazione inizia mostrando che se due superficie $(A, \lambda)$ e $(A', \lambda')$ condividono lo stesso invariante di Humbert raffinato, le loro varietà abeliane sottostanti $A$ e $A'$ devono essere congiugate di Galois. Ciò viene ottenuto analizzando l'equivalenza delle forme quadratiche binarie associate che descrivono le isogenie tra i fattori CM, collegandole alle classi di ideali nell'anello di endomorfismi tramite la mappa di Artin.
3. Lattice e Rappresentazione Matriciale: Gli autori modellano esplicitamente il gruppo di Néron-Severi $NS(A)$ come un lattice di matrici ermitiane "ritorte" (twisted), denotato $Hermtwist_2(\mathcal{O})$, dove $\mathcal{O}$ è l'ordine massimale di $K$. L'invariante di Humbert raffinato corrisponde al determinante su questo lattice.
4. Analisi del Gruppo Teorico: Il problema viene ridotto alla classificazione delle polarizzazioni principali su una data $A$ che soddisfano la condizione dell'invariante. Ciò comporta l'analisi del gruppo quoziente $G_A / H_A$, dove $G_A$ è il gruppo delle isometrie di $(NS(A), q_A)$ che preserva il cono ampio, e $H_A$ è l'immagine del gruppo di automorfismi geometrici $\text{Aut}(A)$.
5. Contenuto Ritorto (Twisted Content): Un nuovo strumento, il "contenuto ritorto" di una matrice $M \in GL_2(K)$, viene introdotto per caratterizzare l'azione delle isometrie sul lattice. Ciò permette agli autori di costruire espliciti rappresentanti per i cosetti di $G_A / H_A$ e di relazionarli al sottogruppo 2-torsione del gruppo di classi degli ideali, $\text{Cl}(\mathcal{O})[2]$.

Contributi Chiave e Risultati

• Teorema 1.2 (Risultato Principale): Gli autori dimostrano che se $q$ è una forma quadratica ternaria con discriminante $-16d$ (dove $d < 0$ è un discriminante fondamentale) e $H(q) \neq \emptyset$, allora $H(q)$ consiste precisamente nell'orbita $\text{Gal}(\bar{K}/K)$ di una singola superficie abeliana principalmente polarizzata $(E_1 \times E_2, \lambda)$. Qui, $E_1$ ed $E_2$ sono curve ellittiche con CM per l'ordine massimale $\mathcal{O}$ del campo quadratico immaginario $K = \mathbb{Q}(\sqrt{d})$.
• Classificazione delle Polarizzazioni: Il saggio stabilisce una biiezione tra l'insieme delle classi di isomorfismo di polarizzazioni principali su $A$ con un dato invariante di Humbert raffinato e l'insieme $G_A / H_A$.
• Cardinalità e Struttura: Si dimostra che $\#(G_A / H_A) = 2 \cdot \#\text{Cl}(\mathcal{O})[2]$. Gli autori costruiscono espliciti rappresentanti per questi cosetti utilizzando matrici derivate dalle classi di ideali in $\text{Cl}(\mathcal{O})[2]$ e un involuzione $\tau$.
• Interpretazione Geometrica: L'azione della componente $\text{Cl}(\mathcal{O})[2]$ sulle polarizzazioni è interpretata geometricamente come il pullback della polarizzazione su una superficie coniugata di Galois. L'azione della componente $\mathbb{Z}/2\mathbb{Z}$ (generata da $\tau$) è mostrata essere banale in termini di produzione di nuove classi di isomorfismo di polarizzazioni.
• Verifica Sperimentale: Gli autori notano che i loro risultati teorici sono stati confermati sperimentalmente per discriminanti fondamentali fino a $d = -199$ utilizzando codice esistente e i risultati di Narayanan (2024).

Significatività
Il saggio fornisce la prima caratterizzazione geometrica del locus di Humbert di rango 3 in $\mathcal{A}_2(\mathbb{C})$. Dimostra che, contrariamente a potenzialmente complessi descrizioni dei moduli, questi loci sono insiemi finiti di coniugati di Galois di specifici prodotti CM. Il lavoro colma il divario tra le proprietà algebriche degli invarianti di Humbert raffinati e l'aritmetica delle curve ellittiche con CM. Introducendo il "contenuto ritorto" e descrivendo esplicitamente l'azione del gruppo di isometria sul lattice di Néron-Severi, gli autori offrono un quadro concreto per manipolare questi loci. I risultati raffinano la comprensione di come le intersezioni delle superfici di Humbert si comportino nel caso di rango 3, mostrando che esse sono governate dal 2-torsione del gruppo di classi del campo quadratico immaginario sottostante. Gli autori riconoscono che, sebbene la condizione sull'ordine massimale nel Teorema 1.2 possa essere rilassata con ulteriori lavori, l'attuale framework risolve con successo la descrizione geometrica per il caso dell'ordine massimale.