Algebraic Hodge generic points are dense

Sintesi Tecnica: I punti algebricamente Hodge generici sono densi

Enunciato del Problema
Il saggio affronta l'abbondanza di punti "Hodge generici" all'interno di famiglie di varietà algebriche definite su campi numerici. Sia $f: X \to S$ una famiglia quasi-proiettiva di varietà definite su un campo numerico $K \subset \mathbb{Q} \subset \mathbb{C}$. Associata a questa famiglia è una variazione di strutture di Hodge miste (ZVHS), denotata con $V$. Un punto $s \in S(\mathbb{C})$ è detto Hodge generico se il suo gruppo di Mumford-Tate $G_s$ è uguale al gruppo di Mumford-Tate generico $G$ della famiglia. Equivalentemente, $s$ è Hodge generico se la fibra $X_s$ non possiede alcun "extra" tensore di Hodge (cicli algebrici) oltre a quelli imposti dalla geometria generica.

Il problema centrale è determinare se l'insieme di tali punti Hodge generici definiti su $\mathbb{Q}$ (ovvero $s \in S(\mathbb{Q})$) sia analiticamente denso in $S(\mathbb{C})$. Mentre la congettura di Hodge implica che gli extra classi di Hodge corrispondano a cicli algebrici, dimostrare l'esistenza di punti in cui non esistono tali cicli extra è difficile perché la teoria di Hodge è intrinsecamente trascendentale. I risultati precedenti erano ampiamente limitati al caso puro o si basavano su congetture non provate come la congettura di Hodge assoluta.

Metodologia
Gli autori sviluppano una strategia che riduce il problema geometrico della ricerca di punti Hodge generici a un problema analitico riguardante le relazioni algebriche soddisfatte dalle soluzioni di equazioni differenziali.

1. Riduzione a Curve: Utilizzando l'induzione noetheriana e il dévissage, il problema viene ridotto al caso in cui la base $S$ sia una curva (specificamente, un sottoinsieme Zariski aperto di $\mathbb{P}^1$).
2. Operatori G e Funzioni G: La variazione delle strutture di Hodge dà origine a una connessione di Gauss-Manin. I periodi delle fibre soddisfano un'equazione differenziale lineare con coefficienti algebrici. Seguendo André, gli autori identificano l'operatore differenziale associato come un operatore G. Di conseguenza, i periodi (e quantità correlate) sono funzioni G.
3. Controllo delle Relazioni tra Periodi: L'innovazione tecnica centrale consiste nello studiare le relazioni algebriche di grado limitato soddisfatte da questi periodi. Gli autori considerano il prodotto auto-prodotto $N$-volte della base, $S^N$, e una curva razionale generica $C \subset S^N$. Costruiscono un sistema di funzioni G corrispondenti ai periodi delle fibre su punti di questa curva.
4. Limiti di Altezza di Bombieri-André: Gli autori impiegano una strategia ispirata alla congettura di Zilber-Pink. Assumono, per assurdo, che un grande insieme di punti sulla curva non siano Hodge generici. Questa ipotesi implica l'esistenza di molte relazioni algebriche tra i periodi. Costruendo una specifica curva nel prodotto auto-prodotto, assicurano che se troppi punti non fossero generici, il sistema risultante di funzioni G soddisferebbe una relazione algebrica inaspettata di grado limitato.
5. Applicazione della Teoria della Trascendenza: Utilizzando un rafforzamento del teorema di Bombieri (dovuto ad André) riguardante l'altezza dei punti dove le funzioni G soddisfano relazioni algebriche non triviali, gli autori mostrano che tali punti "eccezionali" devono avere un'altezza limitata. Ciò implica che i punti con altezza illimitata (e quindi un insieme denso di punti) non possono soddisfare queste relazioni extra, provando così che sono Hodge generici.

Contributi Chiave

• Teorema 4.2 (Risultato Tecnico Principale): Un nuovo risultato sugli operatori G affermando che, per un operatore G $L$ di rango $n$, l'insieme dei punti razionali $x \in \mathbb{P}^1(\mathbb{Q})$ dove la matrice fondamentale della soluzione non soddisfa relazioni algebriche non triviali di grado $\le \delta$ è analiticamente denso. Inoltre, gli autori forniscono stime quantitative: per ogni intero grande $t$, almeno uno (o una specifica frazione) dei punti $t, t+D, \dots, t+n^2D$ appartiene a questo insieme.
• Teorema 1.3 (Risultato Geometrico Principale): Per ogni famiglia quasi-proiettiva $f: X \to S$ definita su un campo numerico, il locus dei punti Hodge generici in $S(\mathbb{Q})$ è analiticamente denso in $S(\mathbb{C})$. Ciò è valido senza assumere la congettura di Hodge assoluta e si estende al caso misto.
• Densità Effettiva (Teorema 1.5 e Corollario 6.7): Il saggio fornisce un metodo efficace per produrre sottoinsiemi finiti di $S(\mathbb{Q})$ dove una frazione prestabilita (ad esempio, "il 99 percento") dei punti è Hodge generica.
• Nuove Istanze della Congettura di Mumford-Tate: Sotto un'ipotesi di "grande monodromia", gli autori dimostrano che la congettura di Mumford-Tate $\ell$-adica vale per un insieme denso di punti nella famiglia. Questo si applica a famiglie oltre i motivi abeliani, come le ipersuperfici lisce.

Risultati

• Densità dei Loci Motivici: Il saggio dimostra che il locus dove la congettura di Hodge, la congettura di Tate e la congettura dei periodi di Grothendieck (fino a un grado fissato $\delta$) si verificano simultaneamente è analiticamente denso nello spazio dei parametri delle ipersuperfici lisce (Teorema 1.1) e dei fasci di Lefschetz (Teorema 1.2).
• Congettura dei Periodi: Gli autori mostrano che per ogni grado $\delta$ fissato, l'insieme dei punti in cui la congettura dei periodi di Grothendieck vale fino al grado $\delta$ è analitamente denso (Teorema 2.6).
• Realizzazione dei Diamanti di Hodge: Il Corollario 1.6 afferma che ogni diamante di Hodge primitivo irriducibile realizzabile da una varietà proiettiva liscia complessa è anche realizzabile da una varietà proiettiva liscia definita su $\mathbb{Q}$.
• Gruppi di Mumford-Tate: Il Remark 1.4 evidenzia che per infinitamente molte coppie $(a, b)$, il gruppo $GSO(2a, b)$ appare come il gruppo di Mumford-Tate della coomologia primitiva di una superficie definita su $\mathbb{Q}$. Questo include casi in cui il gruppo non è di tipo hermitiano, uno scenario precedentemente sconosciuto.

Significato e Rivendicazioni
Il saggio sostiene di aver stabilito l'abbondanza di punti Hodge generici su $\mathbb{Q}$ in modo incondizionato per famiglie generali, un risultato precedentemente noto solo sotto forti congetture o in contesti ristretti. La significatività risiede nel:

1. Collegare il Trascendentale e l'Aritmetico: Il lavoro utilizza con successo metodi trascendentali (funzioni G e limiti di altezza) per risolvere un problema aritmetico-geometrico (esistenza di punti generici su campi numerici).
2. Oltre i Motivi Abeliani: I risultati si applicano a famiglie di ipersuperfici e altri motivi non abeliani, fornendo nuove prove per la congettura di Mumford-Tate in contesti precedentemente inaccessibili.
3. Controllo Quantitativo: A differenza dei precedenti risultati di densità qualitativa, questo saggio offre stime quantitative (risultati di densità naturale uno per i punti interi nei fasci) e procedure efficaci per generare candidati punti generici.
4. Avanzamento Metodologico: La tecnica di elevare il problema a un prodotto auto-prodotto della base per generare sufficienti relazioni algebriche per attivare i limiti di altezza di Bombieri è presentata come un approccio innovativo alla congettura di Zilber-Pink per le variazioni di strutture di Hodge.

Gli autori notano con modestia che, sebbene possano produrre un insieme denso di punti Hodge generici, non possono attualmente fornire un metodo certificabile per verificare se una specifica ipersuperficie data sia Hodge generica (il Teorema 1.5 produce un insieme dove il "99 percento" è generico, ma non identifica quali siano esattamente). Inoltre, i risultati per la piena congettura dei periodi di Grothendieck (Congettura 2.4) sono condizionati dal fatto che i punti siano Hodge generici e dalla validità della congettura dei periodi fino al grado $\delta$ per tali punti.