On the distribution of mixed Hodge loci

Technische Samenvatting: Over de distributie van gemengde Hodge-loci

Probleemstelling
Dit artikel onderzoekt de distributie van de Hodge-locus $HL(S, V^\otimes)$ geassocieerd met een admisseerbare, gegradeerd-gepolariseerde integrale variatie van gemengde Hodge-structuren (VMHS) $V$ over een gladde, irreducibele complexe algebraïsche variëteit $S$. De Hodge-locus wordt gedefinieerd als de verzameling punten $s \in S^{an}$ waar de vezel $V_s$ extra Hodge-tensoren toelaat (rationale tensoren in $T^{a,b}(V_s, \mathbb{Q})$ die Hodge-klassen zijn) vergeleken met de generieke vezel.

Hoewel het werk van Brosnan-Pearlstein-Schnell heeft vastgesteld dat de Hodge-locus een aftelbare vereniging is van strikte algebraïsche subvariëteiten, blijft de distributie van deze subvariëteiten een centraal probleem. Het artikel richt zich op de Zilber-Pink-conjectuur voor gemengde variaties, specifiek de "alles-of-niets"-dichotomie: als het "typische" deel van de Hodge-locus niet-leeg is, is het dan Zariski-dicht in $S$? Verder streeft het artikel ernaar om de voorwaarden te begrijpen waaronder de Hodge-locus leeg of strikt gesloten is, in relatie tot het "niveau" van de variatie.

Methodologie
De auteur hanteert een synthese van snijpunt-theorie, o-minimale meetkunde en de theorie van Mumford-Tate-groepen. Het kernmethodologische kader omvat:

1. Snijpunt-theoretische beschrijving: Voortbouwend op de realisatie van Klingler, wordt de Hodge-locus beschouwd als een vereniging van snijpunt-loci. Het artikel verfijnt de decompositie van de Hodge-locus in typische en atypische delen, en introduceert een cruciaal intermediair begrip: de transversale Hodge-locus ($HL(S, V^\otimes)_{\text{trans}}$). Een speciale subvariëteit is transversaal als deze voortkomt uit een "transversale snijding" van de afbeelding van de periode-kaart met een Hodge-subvariëteit in de zin van differentiaalmeetkunde (voldoende aan een dimensie-gelijkheid).
2. V-waarschijnlijkheid: Het artikel introduceert het begrip een $V$-waarschijnlijke gemengde Hodge-subklasse. Een strikte gemengde Hodge-subklasse $(M, DM) \subset (P, DP)$ is $V$-waarschijnlijk als deze een specifieke dimensie-ongelijkheid vervult met betrekking tot de periode-kaart en quotient-afbeeldingen door normale subgroepen met unipotente radicalen. Deze voorwaarde generaliseert "factorwise $V$-admissibiliteit" uit het pure geval.
3. O-minimale en Ax-Schanuel instrumenten: De bewijzen steunen zwaar op de Gemengde Ax-Schanuel stelling (Bakker-Brunebarbe-Tsimerman, Gao-Klingler) en de Geometrische Zilber-Pink stelling (Baldi-Urbanik). Deze instrumenten stellen de auteur in staat om de algebraïciteit van de periode-kaart en de distributie van zwak-speciale subvariëteiten te controleren.
4. Lie-algebraïsche analyse: Het artikel maakt gebruik van de structuur van de Lie-algebra van de generieke Mumford-Tate groep, waarbij specifiek de gewichtsfiltratie en Hodge-getallen van $\text{Lie}(P)$ worden geanalyseerd om beperkingen af te leiden op de existentie van transversale snijdingen.

Kernbijdragen en Resultaten

• De Alles-of-Niets-stelling voor Transversale Loci: Het primaire resultaat (Theorema 1.8) stelt vast dat voor elke strikte gemengde Hodge-subklasse $(M, DM)$, de transversale Hodge-locus van type $M$, $HL(S, V^\otimes, M)_{\text{trans}}$, ofwel leeg, ofwel Zariski-dicht in $S$ is.

  • Corollary: Als de typische Hodge-locus $HL(S, V^\otimes)_{\text{typ}}$ niet-leeg is, dan is de volledige Hodge-locus $HL(S, V^\otimes)$ Zariski-dicht in $S$ (Theorema 1.4). Dit impliceert dat het deel van de Zilber-Pink-conjectuur (a) (eindigheid van de atypische locus) deel (b) (densiteit van de typische locus) impliceert.

• Karakterisering van Densiteit via Waarschijnlijkheid: Het artikel bewijst dat de niet-leegheid van de transversale Hodge-locus equivalent is aan de existentie van een $V$-waarschijnlijke strikte gemengde Hodge-subklasse (Theorema 1.14).

  • Euclidische Densiteit: Onder de voorwaarde dat $\text{Gr}^W_{-2}(\text{Lie}(P)) = 0$ (wat impliceert dat de variatie geen "zuiver unipotente" factoren van een bepaald type heeft), is de existentie van een $V$-waarschijnlijke subklasse equivalent aan de stelling dat de transversale locus dicht is in de Euclidische topologie (Theorema 1.11).
  • Tegenvoorbeelden: Het artikel geeft expliciete voorbeelden (Proposities 6.2 en 6.3) waaruit blijkt dat in het algemene gemengde geval een $V$-waarschijnlijke subklasse een transversale locus kan opleveren die wel Zariski-dicht is, maar niet Euclidisch-dicht (bijv. dicht in $(\mathbb{C}^\times)^n$ maar niet in de Euclidische topologie vanwege wortels van eenheid).

• Leegheidscriteria en Niveau: Het artikel breidt resultaten over de "niveau" van pure variaties uit. Het bewijst dat indien de geassocieerde gegradeerde variatie $\text{Gr}(V)$ een niveau van ten minste 3 heeft (in de zin van Baldi-Klingler-Ullmo) en voldoet aan specifieke monodromie- en geometrische voorwaarden (bijv. $P_0^{\text{der}} = H_0$ en geen dominante morfisme naar $\mathbb{G}_m$), de transversale Hodge-locus leeg is (Theorema 1.19, Theorema 10.3).

  • Deze leegheid impliceert dat de volledige Hodge-locus enkel uit atypische subvariëteiten bestaat.
  • Consequentelijk is het "factorwise positive dimensional" deel van de Hodge-locus een strikt Zariski-gesloten deelverzameling (Corollary 1.21).

• Verfijning van de Zilber-Pink-conjectuur: Het artikel verheldert de relatie tussen de atypische en de transversale loci. Het toont aan dat onder de Zilber-Pink-conjectuur de densiteit van de typische locus equivalent is aan de densiteit van de transversale locus.

Betekenis en Claims
Het artikel claimt een allesomvattend kader te bieden voor het begrijpen van de distributie van Hodge-loci in de gemengde setting, die aanzienlijk complexer is dan de pure setting vanwege de aanwezigheid van unipotente radicalen en extensies.

• Resolutie van de "Alles-of-Niets"-eigenschap: De auteur stelt vast dat het "alles-of-niets"-principe, voorheen bekend voor pure variaties, ook geldt voor de transversale Hodge-locus in het gemengde geval. Dit dient als een sterke gedeeltelijke verificatie van de Zilber-Pink-conjectuur voor gemengde variaties.
• Nieuwe Criteria voor Leegheid: Door de leegheid van de Hodge-locus te koppelen aan het "niveau" van de gegradeerde variatie en de structuur van het unipotente radicaal, biedt het artikel nieuwe, verifieerbare criteria om te bepalen wanneer een Hodge-locus triviaal is. Dit verbetert de klassieke resultaten van Brosnan-Pearlstein-Schnell in situaties waar het niveau hoog is.
• Onderscheid tussen Topologieën: Het werk benadrukt een fundamenteel verschil tussen pure en gemengde variaties: in het gemengde geval impliceert Zariski-densiteit niet automatisch Euclidische densiteit voor voorgeschreven typen, een fenomeen geïllustreerd door families van extensies van $\mathbb{Z}(0)$ door $\mathbb{Z}(1)^n$.

Het artikel concludeert dat de studie van de transversale Hodge-locus de juiste setting is voor het analyseren van densiteitsfenomenen in de gemengde Hodge-theorie, en dat de wisselwerking tussen de "waarschijnlijkheid" van een subdatum en de geometrische beperkingen (niveau, monodromie) de distributie van de Hodge-locus volledig bepaalt.