On the distribution of mixed Hodge loci

Technische Zusammenfassung: Über die Verteilung gemischter Hodge-Loci

Problemstellung
Diese Arbeit untersucht die Verteilung des Hodge-Locus $HL(S, V^\otimes)$, der mit einer adjunktiven, graduell-polarisierten ganzzahligen Variation gemischter Hodge-Strukturen (VMHS) $V$ über einer glatten, irreduziblen komplexen algebraischen Varietät $S$ assoziiert ist. Der Hodge-Locus ist definiert als die Menge der Punkte $s \in S^{an}$, an denen die Faser $V_s$ zusätzliche Hodge-Tensoren (rationale Tensoren in $T^{a,b}(V_s, \mathbb{Q})$, die Hodge-Klassen sind) im Vergleich zur generischen Faser aufweist.

Während die Arbeit von Brosnan-Pearlstein-Schnell etabliert hat, dass der Hodge-Locus eine abzählbare Vereinigung von strikten algebraischen Untervarietäten ist, bleibt die Verteilung dieser Untervarietäten ein zentrales Problem. Die Arbeit konzentriert sich auf die Zilber-Pink-Vermutung für gemischte Variationen, spezifisch auf die „Alles-oder-Nichts“-Dichotomie: Wenn der „typische“ Teil des Hodge-Locus nicht leer ist, ist er dann in $S$ Zariski-dicht? Darüber hinaus sucht die Arbeit nach den Bedingungen, unter denen der Hodge-Locus leer oder strikt abgeschlossen ist, insbesondere in Bezug auf das „Level“ der Variation.

Methodik
Der Autor verwendet eine Synthese aus Intersektionstheorie, o-minimaler Geometrie und der Theorie der Mumford-Tate-Gruppen. Der zentrale methodische Rahmen umfasst:

1. Intersektionstheoretische Beschreibung: Aufbauend auf der Realisierung von Klingler wird der Hodge-Locus als Vereinigung von Intersektions-Loci betrachtet. Die Arbeit verfeinert die Zerlegung des Hodge-Locus in typische und atypische Teile und führt einen entscheidenden intermediären Begriff ein: den transversalen Hodge-Locus ($HL(S, V^\otimes)_{\text{trans}}$). Eine spezielle Untervarietät ist transversal, wenn sie aus einer „transversalen Intersektion“ der Periodenabbildung mit einer Hodge-Untervarietät im Sinne der Differentialgeometrie (unter Erfüllung einer Dimensionsgleichheit) resultiert.
2. V-Wahrscheinlichkeit (V-Likelihood): Die Arbeit führt den Begriff der $V$-wahrscheinlichen gemischten Hodge-Unterklasse ein. Eine strikte gemischte Hodge-Unterklasse $(M, DM) \subset (P, DP)$ ist $V$-wahrscheinlich, wenn sie eine spezifische Dimensionsungleichung unter Verwendung der Periodenabbildung und der Quotientenabbildungen durch normale Untergruppen mit unipotenten Radikalen erfüllt. Diese Bedingung generalisiert die „faktorweise $V$-Admissibilität“ aus dem reinen Fall.
3. O-minimale und Ax-Schanuel-Werkzeuge: Die Beweise stützen sich stark auf das gemischte Ax-Schanuel-Theorem (Bakker-Brunebarbe-Tsimerman, Gao-Klingler) und den geometrischen Zilber-Pink-Satz (Baldi-Urbanik). Diese Werkzeuge ermöglichen es dem Autor, die Algebraizität der Periodenabbildung und die Verteilung von schwach speziellen Untervarietäten zu kontrollieren.
4. Lie-algebraische Analyse: Die Arbeit nutzt die Struktur der Lie-Algebra der generischen Mumford-Tate-Gruppe, indem sie speziell die Gewichtsfiltration und die Hodge-Zahlen von $\text{Lie}(P)$ analysiert, um Einschränkungen für das Vorhandensein transversaler Intersektionen abzuleiten.

Zentrale Beiträge und Ergebnisse

• Der Alles-oder-Nichts-Satz für transversale Loci: Das primäre Resultat (Theorem 1.8) stellt fest, dass für jede strikte gemischte Hodge-Unterklasse der transversale Hodge-Locus des Typs $M$, $HL(S, V^\otimes, M)_{\text{trans}}$, entweder leer oder Zariski-dicht in $S$ ist.

  • Korollar: Wenn der typische Hodge-Locus $HL(S, V^\otimes)_{\text{typ}}$ nicht leer ist, dann ist der volle Hodge-Locus $HL(S, V^\otimes)$ Zariski-dicht in $S$ (Theorem 1.4). Dies impliziert, dass der Zilber-Pink-Teil (a) (Endlichkeit des atypischen Locus) Teil (b) (Dichte des typischen Locus) impliziert.

• Charakterisierung der Dichte via Wahrscheinlichkeit: Die Arbeit beweist, dass die Nicht-Leerheit des transversalen Hodge-Locus äquivalent zum Vorhandensein einer $V$-wahrscheinlichen strikten gemischten Hodge-Unterklasse ist (Theorem 1.14).

  • Euklidische Dichte: Unter der Bedingung $\text{Gr}^W_{-2}(\text{Lie}(P)) = 0$ (was impliziert, dass die Variation keine „rein unipotenten“ Faktoren eines bestimmten Typs besitzt) ist die Existenz einer $V$-wahrscheinlichen Unterklasse äquivalent zur Tatsache, dass der transversale Locus in der euklidischen Topologie dicht ist (Theorem 1.11).
  • Gegenbeispiele: Die Arbeit liefert explizite Beispiele (Propositionen 6.2 und 6.3), die zeigen, dass im allgemeinen gemischten Fall eine $V$-wahrscheinliche Unterklasse einen transversalen Locus hervorbringen kann, der zwar Zariski-dicht, aber nicht euklidisch-dicht ist (z. B. dicht in $(\mathbb{C}^\times)^n$, aber nicht in der euklidischen Topologie aufgrund von Einheitswurzeln).

• Leerheitskriterien und Level: Die Arbeit erweitert die Ergebnisse zu den „Levels“ von reinen Variationen. Sie beweist, dass wenn die assoziierte graduierte Variation $\text{Gr}(V)$ ein Level von mindestens 3 besitzt (im Sinne von Baldi-Klingler-Ullmo) und spezifische Monodromie- und geometrische Bedingungen erfüllt (z. B. $P_0^{\text{der}} = H_0$ und kein dominanter Morphismus zu $\mathbb{G}_m$), dann der transversale Hodge-Locus leer ist (Theorem 1.19, Theorem 10.3).

  • Diese Leere impliziert, dass der volle Hodge-Locus nur aus atypischen Untervarietäten besteht.
  • Folglich ist der „faktorweise positiv dimensionale“ Teil des Hodge-Locus eine strikt Zariski-geschlossene Teilmenge (Korollar 1.21).

• Verfeinerung der Zilber-Pink-Vermutung: Die Arbeit klärt die Beziehung zwischen den atypischen und transversalen Loci. Sie zeigt, dass unter der Zilber-Pink-Vermutung die Dichte des typischen Locus äquivalent zur Dichte des transversalen Locus ist.

Bedeutung und Behauptungen
Die Arbeit beansprucht, einen umfassenden Rahmen für das Verständnis der Verteilung von Hodge-Loci im gemischten Setting zu bieten, was aufgrund der Präsenz von unipotenten Radikalen und Erweiterungen wesentlich komplexer ist als im reinen Fall.

• Auflösung der „Alles-oder-Nichts“-Eigenschaft: Der Autor stellt fest, dass das „Alles-oder-Nichts“-Prinzip, das zuvor für reine Variationen bekannt war, auch für den transversalen Hodge-Locus im gemischten Fall gilt. Dies dient als starke partielle Verifizierung der Zilber-Pink-Vermutung für gemischte Variationen.
• Neue Kriterien für die Leere: Durch die Verknüpfung der Leere des Hodge-Locus mit dem „Level“ der graduierten Variation und der Struktur des unipotenten Radikals bietet die Arbeit neue, verifizierbare Kriterien, um zu bestimmen, wann ein Hodge-Locus trivial ist. Dies verbessert die klassischen Ergebnisse von Brosnan-Pearlstein-Schnell in Situationen, in denen das Level hoch ist.
• Unterscheidung der Topologien: Die Arbeit hebt einen fundamentalen Unterschied zwischen reinen und gemischten Variationen hervor: Im gemischten Fall impliziert Zariski-Dichte nicht automatisch euklidische Dichte für vorgegebene Typen, ein Phänomen, das durch Familien von Erweiterungen von $\mathbb{Z}(0)$ durch $\mathbb{Z}(1)^n$ illustriert wird.

Die Arbeit schließt mit der Feststellung, dass die Untersuchung des transversalen Hodge-Locus der korrekte Rahmen für die Analyse von Dichtephänomenen in der gemischten Hodge-Theorie ist und dass das Zusammenspiel zwischen der „Wahrscheinlichkeit“ einer Subdatenstruktur und den geometrischen Randbedingungen (Level, Monodromie) die Verteilung des Hodge-Locus vollständig bestimmt.