Topology of Galois conjugate character varieties

Technische Zusammenfassung: Topologie von Galois-konjugierten Charaktervarietäten

Problemstellung
Die vorliegende Arbeit untersucht die topologische Abhängigkeit der Charaktervarietäten $M_{n,d}$ vom Gradparameter $d$. Sei $C$ eine glatte projektive Kurve vom Geschlecht $g \geq 2$, und sei $n \geq 2$ eine ganze Zahl, die teilerfremd zu $d$ ist. Die Charaktervarietät $M_{n,d}$ ist definiert als die Betti-Modulraum der Darstellungen der Fundamentalgruppe $\pi_1(C)$ in $GL_n(\mathbb{C})$ mit Determinante $\xi_n^d$, wobei $\xi_n$ eine primitive $n$-te Einheitswurzel ist.

Eine zentrale Frage, die Hausel im Jahr 2005 aufwarf (Frage 0.1), ist, ob $M_{n,d}$ und $M_{n,d'}$ für beliebige $d, d'$, die teilerfremd zu $n$ sind, homöomorph (oder homotopieäquivalent) sind. Obwohl bekannt ist, dass diese Varietäten Galois-konjugiert sind und identische Betti-Zahlen sowie rationale Kohomologieringe besitzen, bleibt die Existenz einer Homöomorphie, die die unitäre Lokalität bewahrt (welche $d$ von $d'$ über die Harder–Narasimhan-Korrespondenz unterscheidet), ein offenes Problem. Da bisherige topologische Invarianten, einschließlich der Fundamentalgruppen und höheren Homotopiegruppen, diese Räume nicht unterscheiden können, zielt die Arbeit darauf ab, zu bestimmen, ob der integrale Kohomologie-Ring eine feinere Invariante darstellt, die in der Lage ist, die Homotopietypen Galois-konjugierter Charaktervarietäten zu unterscheiden.

Methodik
Die Autoren entwickeln einen Rahmen, der integrale Strukturen, Automorphismengruppen von Kohomologie-Ringen und tautologische Relationen kombiniert, um topologische Unterschiede nachzuweisen.

1. Kohomologische Automorphismen und integrale Strukturen:
   Die Arbeit stellt fest, dass der rationale Kohomologie-Ring $H^*(M_{n,d}, \mathbb{Q})$ isomorph zu einem graduierten $\mathbb{Q}$-Algebra-Tensorprodukt mit der Kohomologie eines Torus ist, wobei $R_{g,n}$ unabhängig von $d$ ist (Theorem 0.3). Die Autoren definieren $G_{g,n}$ als die Gruppe der graduierten Automorphismen von $R_{g,n}$. Sie postulieren, dass, falls die integralen Kohomologie-Ringe von $M_{n,d}$ und $M_{n,d'}$ isomorph wären, ein Automorphismus in $G_{g,n}$ existieren müsste, der die durch unterschiedliche Grade $d$ und $d'$ induzierten integralen Gitter bewahrt.

2. Schwach diagonale Automorphismen:
   Eine zentrale strukturelle Reduktion betrifft die Untergruppe $G^{wd}_{g,n} \subset G_{g,n}$ der „schwach diagonalen“ Automorphismen, welche spezifische Geraden in den Kohomologie-Komponenten niedrigen Grades ($\mathbb{Q}\alpha_3$ und $\mathbb{Q}\beta_2$) bewahren. Theorem 0.5 besagt, dass wenn $G^{wd}_{g,n} = G_{g,n}$ gilt (d. h. alle Automorphismen schwach diagonal sind), dann die integralen Kohomologie-Ringe von $M_{n,d}$ und $M_{n,d'}$ genau dann isomorph sind, wenn $d \equiv \pm d' \pmod n$ gilt.

3. Tautologische Relationen:
   Um die Bedingung $G^{wd}_{g,n} = G_{g,n}$ zu verifizieren, analysieren die Autoren das Ideal der Relationen unter den tautologischen Generatoren ($\alpha_i, \beta_i, \psi_{i,j}$). Sie nutzen hierbei:

• Die geschlossenen Formeln für Poincaré-Polynome (Hausel–Rodriguez-Villegas, Schiffmann, Mellit), um den niedrigsten Grad zu bestimmen, in dem eine nicht-triviale Relation existieren muss.
• Die Relationen für stabile Vektorbündel (Earl–Jeffrey–Kirwan), um Kandidaten für diese Relationen im Kontext der Charaktervarietät zu identifizieren.
• Eine „distinguierte“ tautologische Relation $\Upsilon_{g,n}$ im niedrigstmöglichen Kohomologiegrad $r_{g,n} = 4g(n-1) - 2n$.

4. Komputative Verifizierung:
   Für den spezifischen Fall $(g, n) = (2, 5)$ führen die Autoren explizite lineare Algebra-Berechnungen durch, um:

• Die eindeutige homogene Relation $\Upsilon_{2,5}$ im Grad 22 zu bestimmen (Theorem 3.16).
• Die Dimension der Lie-Algebra des Stabilisators dieser Relation innerhalb der Automorphismengruppe zu berechnen.
• Zu verifizieren, dass die Dimension der vollen Automorphismengruppe klein genug ist, um die „schwach diagonale“ Bedingung zu erzwingen.

Wesentliche Beiträge und Ergebnisse

• Theorem 0.2 (Hauptresultat): Für eine Kurve des Geschlechts $g=2$ sind die topologischen Räume $M_{5,1}$ und $M_{5,2}$ nicht homotopieäquivalent. Dies liefert das erste Gegenbeispiel zu Hausels Frage aus dem Jahr 2005 und zeigt, dass Galois-konjugierte Charaktervarietäten unterschiedliche Homotopietypen besitzen können.
• Theorem 0.5: Legt ein Kriterium für die Nichtexistenz von Isomorphismen zwischen integralen Kohomologie-Ringen basierend auf der Struktur der Automorphismengruppe $G_{g,n}$ fest. Wenn alle Automorphismen schwach diagonal sind, unterscheiden die integralen Strukturen die Grade.
• Theorem 0.6: Beweist, dass für $(g, n) = (2, 5)$ die Gruppe der Automorphismen $G_{2,5}$ mit der Untergruppe der schwach diagonalen Automorphismen übereinstimmt ($G^{wd}_{2,5} = G_{2,5}$). Dies wird dadurch erreicht, dass die Dimension der Lie-Algebra des Stabilisators dieser Relation 12 beträgt, was strikt kleiner ist als die Dimension, die für das Vorhandensein nicht-diagonaler Automorphismen erforderlich wäre.
• Theorem 0.7: Identifiziert eine eindeutige distinguierte tautologische Relation $\Upsilon_{g,n} = 0$ im Grad $r_{g,n}$ für $g \geq 2, n \geq 3$. Für $(2, 5)$ wurde diese Relation explizit berechnet (Theorem 3.16) und als symplektisch-invariant nachgewiesen.
• Proposition 1.3: Bestätigt, dass höhere Homotopiegruppen $\pi_k(M_{n,d})$ für $k > 1$ unabhängig von $d$ sind, was unterstreicht, dass Homotopiegruppen allein nicht ausreichen, um diese Räume zu unterscheiden.

Bedeutung und Behauptungen
Die Arbeit behauptet, Hausels Frage von 2005 bezüglich der Homöomorphie von Galois-konjugierten Charaktervarietäten negativ zu beantworten. Die Autoren führen an, dass der integrale Kohomologie-Ring die erste bekannte topologische Invariante ist, die sensitiv gegenüber dem Grad $d$ der Charaktervarietät reagiert und somit topologische Unterschiede aufzeigt, die „tiefer verborgen“ liegen als der rationale Kohomologie-Ring oder die Betti-Zahlen.

Die Arbeit hebt hervor, dass Galois-konjugierte Varietäten zwar oft dieselben rationalen Kohomologien besitzen, ihre integralen Strukturen sich jedoch signifikant unterscheiden können. Die Methode beruht auf dem Zusammenspiel zwischen der Chern-Graduierung (die die Gewichtungsfiltration aufspaltet), den tautologischen Relationen und der Starrheit der Automorphismengruppe des Kohomologie-Rings. Die Autoren merken an, dass ihr Ansatz rechenintensiv ist; der Beweis für $(2, 5)$ erforderte die Lösung eines großen linearen Algebra-Problems bezüglich des Stabilisators einer spezifischen Relation. Sie deuten an, dass stärkere Rechenressourcen weitere Gegenbeispiele für andere Paare $(g, n)$ liefern könnten.

Die Arbeit erhebt keinen Anspruch auf eine allgemeine Klassifizierung für alle $g, n$, sondern liefert vielmehr einen strukturellen Rahmen (Konjektur 0.4) und eine konkrete Methode, um die Nicht-Existenz von Homotopieäquivalenzen in spezifischen Fällen nachzuweisen, in denen die Automorphismengruppe durch tautologische Relationen hinreichend eingeschränkt ist.