On the nilpotent residue non-abelian Hodge correspondence for higher-dimensional quasiprojective varieties

Technische Zusammenfassung: Zur nilpotenten Residuen-Nicht-Abelschen Hodge-Korrespondenz für höherdimensionale quasiprojektive Varietäten

Problemstellung
Die Arbeit befasst sich mit der topologischen Natur der nicht-Abelschen Hodge-Korrespondenz für höherdimensionale quasiprojektive Varietäten. Konkret wird eine projektive log-glatte komplexe Varietät $(\bar{X}, D)$ betrachtet, wobei $\bar{X}$ eine glatte projektive Varietät und $D$ ein einfach normaler Schneidungs-Divisor ist. Die Autoren konzentrieren sich auf zwei Modulräume:

1. $M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)$: Der Modulraum der Rang-$r$ polystabilen logarithmischen Higgs-Bündel mit nilpotenten Residuen und verschwindenden Chern-Klassen ($c_i(E)=0$).
2. $M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)$: Der Modulraum der Rang-$r$ polystabilen logarithmischen Verbindungen mit nilpotenten Residuen.
   In der Arbeit von [BBT24] wurde eine stetige Bijektion $S^{\text{nilp}}_{(\bar{X}, D)}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)(\mathbb{C}) \to M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)(\mathbb{C})$ etabliert. Während diese Abbildung bewiesen wurde, eine Homöomorphie in der euklidischen Topologie zu sein, wenn $\bar{X}$ eine Kurve ist, blieb der Fall der höheren Dimension hinsichtlich der Stetigkeit der Inversen offen. Das zentrale Problem besteht darin, zu bestimmen, ob diese stetige Bijektion tatsächlich eine Homöomorphie für höherdimensionale Varietäten ist.

Methodik
Die Arbeit verwendet eine Reduktionsstrategie mittels „Lefschetz-Kurven“, um topologische Eigenschaften vom Fall der Kurven auf den Fall der höheren Dimension zu übertragen. Die Methodik vollzieht sich durch die folgenden Schritte:

1. Lefschetz-Kurven: Die Autoren nutzen das Konzept einer Lefschetz-Kurve $\iota: \bar{C} \hookrightarrow \bar{X}$, definiert als eine glatte vollständige Schnittkurve, die transversal zu $D$ liegt, sodass die induzierte Abbildung auf die Fundamentalgruppen $\pi_1(\bar{C} \setminus D) \twoheadrightarrow \pi_1(\bar{X} \setminus D)$ surjektiv ist.
2. Restriktionsabbildungen: Eine solche Kurve induziert Restriktionsabbildungen $i^*_{\text{Dol}}$ und $i^*_{\text{DR}}$ zwischen den Modulräumen von $\bar{X}$ und $\bar{C}$. Da die Korrespondenz für Kurven bereits als Homöomorphie bekannt ist (durch [BBT24]), ist die Abbildung $S^{\text{nilp}}_{(\bar{C}, D \cap \bar{C})}$ eine Homöomorphie.
3. Kommutative Diagramme: Die Autoren konstruieren ein kommutatives Diagramm unter Einbeziehung der Hitchin-Abbildungen ($h$) für sowohl die Varietät als auch die Kurve sowie die Restriktionsabbildungen zwischen den Hitchin-Basen.
4. Eigenschaft der Stetigkeit und Injektivität: Um das Hauptergebnis zu beweisen, etablieren die Autoren zwei kritische Eigenschaften:
   • Properness (Stetigkeit) von $i^*_{\text{Dol}}$: Sie beweisen die Existenz einer Lefschetz-Kurve, so dass die Restriktionsabbildung auf dem Higgs-Modulraum proper ist. Dies wird durch das Valuative Kriterium für Properness erreicht, welches sich auf die Properness der Hitchin-Abbildung $h_{(\bar{X}, D)}$ (zitiert aus [Lan14]) und die Injektivität der Restriktionsabbildung auf der Hitchin-Basis stützt.
   • Injektivität der Restriktion der Hitchin-Basis: Sie zeigen auf, dass es eine Lefschetz-Kurve $\bar{C}$ gibt, die eine injektive Restriktion der globalen Schnitte symmetrischer Potenzen logarithmischer Differentialformen auf $\bar{X}$ zu denen auf $\bar{C}$ induziert. Dies wird durch die Konstruktion einer endlichen Menge von Punkten und Tangentenrichtungen bewiesen, an denen die Schnitte der symmetrischen Potenzen nicht verschwinden, und unter Anwendung von [ACV19], um eine Kurve zu finden, die durch diese Punkte verläuft und vorgegebene Tangenten besitzt.

Wesentliche Beiträge und Ergebnisse

• Theorem 1: Die Arbeit beweist die Existenz einer Lefschetz-Kurve $\bar{C} \subset \bar{X}$, so dass die Restriktionsabbildung $i^*_{\text{Dol}}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r) \to M^{\text{nilp}}_{\text{Dol}}(\bar{C}, D \cap \bar{C}, r)$ proper ist.
• Korollar 2: Als direkte Folge aus Theorem 1 und dem bekannten Kurvenfall ist die Vergleichsabbildung $S^{\text{nilp}}_{(\bar{X}, D)}$ eine Homöomorphie in der euklidischen Topologie für höherdimensionale projektive log-glatte Varietäten.
• Technisches Lemma (Proposition 3): Die Arbeit klärt, dass die Hitchin-Abbildung für logarithmische Higgs-Bündel mit nilpotenten Residuen und verschwindenden Chern-Klassen proper ist, wobei angemerkt wird, dass die Bedingung der verschwindenden Chern-Klassen eine abgeschlossene Untervarietät innerhalb des Modulraums der torsionsfreien Garben definiert.
• Technisches Lemma (Proposition 4): Die Arbeit stellt die Existenz einer Lefschetz-Kurve fest, die eine injektive Restriktion auf der Hitchin-Basis induziert, was ein entscheidender Schritt ist, um die Properness der Modulraum-Restriktion zu gewährleisten.

Bedeutung und Behauptungen
Die Arbeit behauptet, die topologische Frage der nicht-Abelschen Hodge-Korrespondenz im Fall der höheren Dimension für den spezifischen Fall nilpotenter Residuen gelöst zu haben. Durch den Beweis, dass die in [BBT24] etablierte stetige Bijektion eine Homöomorphie ist, bestätigen die Autoren, dass die Modulräume der logarithmischen Higgs-Bündel und der logarithmischen Verbindungen in der euklidischen Topologie topologisch äquivalent sind, wodurch die bekannten Ergebnisse für Kurven auf beliebige Dimensionen ausgeweitet werden.

Die Arbeit stützt sich maßgeblich auf das Zusammenspiel zwischen der Geometrie von Lefschetz-Kurven und den algebraischen Eigenschaften der Hitchin-Fibration. Die Bedeutung liegt in der rigorosen Erweiterung des Homöomorphie-Resultats unter Nutzung der Properness der Hitchin-Abbildung und der spezifischen geometrischen Konstruktion von Kurven, welche die notwendigen kohomologischen und fundamentelementalen Daten bewahren. Die Arbeit schlägt keine neuen Anwendungen oder zukünftige Richtungen vor, sondern konzentriert sich strikt auf die Etablierung der topologischen Äquivalenz dieser Modulräume.