Algebraic Hodge generic points are dense

Technische Samenvatting: Algebraïsche Hodge-generieke punten zijn dicht

Probleemstelling
Het artikel behandelt de overvloed aan "Hodge-generieke" punten binnen families van algebraïsche variëteiten gedefinieerd over getalsvelden. Laat $f: X \to S$ een quasi-projectieve familie zijn van variëteiten gedefinieerd over een getalsveld $K \subset \mathbb{Q} \subset \mathbb{C}$. Aan deze familie is een variatie van gemengde Hodge-structuren (ZVHS) verbonden, aangeduid met $V$. Een punt $s \in S(\mathbb{C})$ wordt Hodge-generiek genoemd als zijn Mumford-Tate-groep $G_s$ gelijk is aan de generieke Mumford-Tate-groep $G$ van de familie. Evenredig hiermee is $s$ Hodge-generiek als de vezel $X_s$ geen "extra" Hodge-tensoren (algebraïsche cycli) bevat buiten de door de generieke geometrie afgedwongen structuren.

Het centrale probleem is om te bepalen of de verzameling van dergelijke Hodge-generieke punten gedefinieerd over $\mathbb{Q}$ (d.w.z. $s \in S(\mathbb{Q})$) analytisch dicht is in $S(\mathbb{C})$. De Hodge-conjectuur impliceert dat extra Hodge-klassen overeenkomen met algebraïsche cycli, maar het bewijzen van de existentie van punten waar geen dergelijke extra cycli aanwezig zijn, is moeilijk omdat de Hodge-theorie inherent transcendent is. Eerdere resultaten waren grotendeels beperkt tot het zuivere geval of vertrouwden op onbewezen conjecturen zoals de absolute Hodge-conjectuur.

Methodologie
De auteurs ontwikkelen een strategie die het geometrische probleem van het vinden van Hodge-generieke punten reduceert tot een analytisch probleem betreffende de algebraïsche relaties waaraan oplossingen van differentiaalvergelijkingen voldoen.

1. Reductie naar krommen: Met behulp van Noetherian inductie en dévissage wordt het probleem gereduceerd tot het geval waarbij de basis $S$ een kromme is (specifiek een Zariski-open deel van $\mathbb{P}^1$).
2. G-operatoren en G-functies: De variatie van Hodge-structuren geeft een Gauss-Manin-verbinding op. De perioden van de vezels voldoen aan een lineaire differentiaalvergelijking met algebraïsche coëfficiënten. Volgens André identificeren de auteurs de bijbehorende differentiaaloperator als een G-operator. Gevolgelijk zijn de perioden (en gerelateerde grootheden) G-functies.
3. Beheersing van perioderelaties: De kern van de technische innovatie betreft het bestuderen van de algebraïsche relaties van begrensde graad waaraan de perioden voldoen. De auteurs beschouwen het $N$-voudige zelfproduct van de basis, $S^N$, en een generieke rationale kromme $C \subset S^N$. Zij construeren een systeem van G-functies die overeenkomen met de perioden van vezels over punten op deze kromme.
4. Bombieri-André Hoogtegrenzen: De auteurs maken gebruik van een strategie geïnspireerd door de Zilber-Pink-conjectuur. Zij nemen, uit bewijs door tegenspraak, aan dat een grote verzameling punten op de kromme niet Hodge-generiek zijn. Deze aanname impliceert het bestaan van veel algebraïsche relaties tussen de perioden. Door een specifieke kromme in het zelfproduct te construeren, zorgen zij ervoor dat indien te veel punten niet-generiek zouden zijn, het resulterende systeem van G-functies een onverwachte algebraïsche relatie van begrensde graad zou bevredigen.
5. Toepassing van Transcendentietheorie: Door gebruik te maken van een versterking van de stelling van Bombieri (toegekend aan André) betreffende de hoogte van punten waar G-functies niet-triviale algebraïsche relaties bevredigen, tonen de auteurs aan dat dergelijke "exceptionele" punten een begrensde hoogte moeten hebben. Dit impliceert dat punten met onbegrensde hoogte (en dus een dichte verzameling punten) deze extra relaties niet kunnen bevredigen, waarmee zij bewijzen dat zij Hodge-generiek zijn.

Belangrijkste Bijdragen

• Stelling 4.2 (Hoofdtechnisch resultaat): Een nieuw resultaat over G-operatoren stellende dat voor een G-operator $L$ van rang $n$, de verzameling rationale punten $x \in \mathbb{P}^1(\mathbb{Q})$ waar de fundamentele oplossingmatrix geen niet-triviale algebraïsche relaties van graad $\le \delta$ bevredigt, analytisch dicht is. Voorts leveren de auteurs kwantitatieve schattingen: voor elk groot geheel getal $t$ ligt ten minste één (of een specifiek deel) van de punten $t, t+D, \dots, t+n^2D$ in deze verzameling.
• Stelling 1.3 (Hoofdgeometrisch resultaat): Voor elke quasi-projectieve familie $f: X \to S$ gedefinieerd over een getalsveld, is de locus van Hodge-generieke punten in $S(\mathbb{Q})$ analytisch dicht in $S(\mathbb{C})$. Dit geldt zonder aanname van de absolute Hodge-conjectuur en breidt zich uit naar het gemengde geval.
• Effectieve Dichtheid (Stelling 1.5 & Corolarium 6.7): Het artikel biedt een effectieve methode om eindige deelverzamelingen van $S(\mathbb{Q})$ te produceren waar een voorgeschreven fractie (bijv. "99 procent") van de punten Hodge-generiek is.
• Nieuwe instanties van de Mumford-Tate-conjectuur: Onder een aanname van "grote monodromie" bewijzen de auteurs dat de $\ell$-adische Mumford-Tate-conjectuur geldt voor een dichte verzameling punten in de familie. Dit is van toepassing op families die verder gaan dan abelse motieven, zoals gladde hypersurfaces.

Resultaten

• Dichtheid van Motivische Loci: Het artikel bewijst dat de locus waar de Hodge-conjectuur, de Tate-conjectuur en de Grothendieck-periode-conjectuur (tot een vaste graad $\delta$) simultaan gelden, analytisch dicht is in de parameterruimte van gladde hypersurfaces (Stelling 1.1) en Lefschetz-pencils (Stelling 1.2).
• Periode-conjectuur: De auteurs tonen aan dat voor elke vaste graad $\delta$, de verzameling punten waar de Grothendieck-periode-conjectuur tot graad $\delta$ geldt, analytisch dicht is (Stelling 2.6).
• Realisatie van Hodge-diamanten: Corolarium 1.6 stelt dat elke irreducibele primitive Hodge-diamant die realiseerbaar is door een gladde projectieve complexe variëteit, ook realiseerbaar is door een gladde projectieve variëteit gedefinieerd over $\mathbb{Q}$.
• Mumford-Tate Groepen: Opmerking 1.4 benadrukt dat voor oneindig veel paren $(a, b)$, de groep $GSO(2a, b)$ voorkomt als de Mumford-Tate-groep van de primitive cohomologie van een oppervlak gedefinieerd over $\mathbb{Q}$. Dit omvat gevallen waarbij de groep niet van Hermitische type is, een scenario dat voorheen onbekend was.

Betekenis en Claims
Het artikel claimt de overvloed van Hodge-generieke punten over $\mathbb{Q}$ onvoorwaardelijk vast te stellen voor algemene families, een resultaat dat voorheen alleen bekend was onder sterke conjecturen of in beperkte settings. De betekenis ligt in:

1. Brug tussen Transcendent en Arithmetisch: Het werk slaagt erin transcendente methoden (G-functies en hoogtegrenzen) te gebruiken om een arithmetisch-geometrisch probleem (existentie van generieke punten over getalsvelden) op te lossen.
2. Voorbij Abelse Motieven: De resultaten zijn van toepassing op families van hypersurfaces en andere niet-abelse motieven, wat nieuw bewijs levert voor de Mumford-Tate-conjectuur in contexten waar dit voorheen ontoegankelijk was.
3. Kwantitatieve Controle: In tegen tegenstelling tot eerdere kwalitatieve dichtheidsresultaten, biedt dit artikel kwantitatieve schattingen (resultaten van natuurlijke dichtheid één voor gehele punten in pencils) en effectieve procedures voor het genereren van kandidaat-generieke punten.
4. Methodologische Vooruitgang: De techniek om het probleem te tillen naar een zelfproduct van de basis om voldoende algebraïsche relaties te genereren om de hoogtegrenzen van Bombieri te triggeren, wordt gepresenteerd als een nieuwe benadering van de Zilber-Pink-conjectuur voor variaties van Hodge-structuren.

De auteurs merken bescheiden op dat, hoewel zij een dichte verzameling Hodge-generieke punten kunnen produceren, zij momenteel geen certificeerbare methode kunnen bieden om te verifiëren of een specifiek gegeven hypersurface Hodge-generiek is (Stelling 1.5 produceert een verzameling waar "99 procent" generiek is, maar identificeert niet welke specifieke punten dit zijn). Daarnaast zijn de resultaten voor de volledige Grothendieck-periode-conjectuur (Conjectuur 2.4) afhankelijk van het feit dat de punten Hodge-generiek zijn en de geldigheid van de periode-conjectuur tot graad $\delta$ voor die punten.