Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety

Titel: Werking van de Mapping Class Group op de Cohomologie van de SLn-Character Variëteit

Auteur: Anne Larsen
Datum: 16 maart 2026 (arXiv:2603.12484v1)

---

1. Probleemstelling en Context

Het artikel onderzoekt de werking van de Mapping Class Group (MCG), genoteerd als $\text{Mod}(\Sigma_g \setminus p)$, op de cohomologie van de ge-twiste karaktervariëteit voor $\text{SL}_n$-local systemen op een oppervlak $\Sigma_g$ van genus $g \geq 2$ met één punctuur $p$.

Deze variëteit, aangeduid als $M_{SL}$, wordt gedefinieerd als de quotiëntruimte:
$$M_{SL} := \{ \phi \in \text{Hom}(\pi_1(\Sigma_g \setminus p), \text{SL}_n(\mathbb{C})) : \phi(\gamma_p) = e^{2\pi i d/n} \text{Id}_n \} / \text{PGL}_n(\mathbb{C})$$
waarbij $n$ en $d$ relatief priem gehele getallen zijn, en de monodromie rond de punctuur $p$ vastligt op een specifieke scalair.

Het centrale probleem:
De werking van de MCG op de cohomologie $H^*(M_{SL})$ is lastig te beschrijven omdat deze ruimte niet wordt gegenereerd door "tautologische" klassen (zoals Chern-classes van een universeel lokaal systeem), in tegenstelling tot de analoog gedefinieerde $\text{GL}_n$-variëteit $M_{GL}$. Voor $M_{GL}$ is bekend dat de monodromiegroep de symplectische groep $\text{Sp}_{2g}(\mathbb{Z})$ is. Voor $M_{SL}$ is de situatie complexer door het bestaan van "variant" klassen die niet triviaal zijn onder de actie van de eindige groep $\Gamma \cong H^1(C, \mathbb{Z}/n)$.

De vraag is: Wat is de kern van de werking van de MCG op $H^*(M_{SL})$, en wat is de bijbehorende algebraïsche monodromiegroep?

---

2. Methodologie

De auteur gebruikt een combinatie van topologische methoden en de niet-abeliaanse Hodge-correspondentie om het probleem te vertalen naar de moduli-ruimte van stabiele $\text{SL}_n$-Higgs-bundels.

A. Vertaling naar Higgs-bundels

Via de niet-abeliaanse Hodge-correspondentie is $M_{SL}$ diffeomorf met de moduli-ruimte van stabiele $\text{SL}_n$-Higgs-bundels van graad $d$ op een complexe algebraïsche kromme $C$ van genus $g$. Moduli-ruimten van Higgs-bundels zijn beter toegankelijk voor algebraïsch-geometrische methoden.

B. Relativisering van de Maulik-Shen Constructie

De kern van de methode is een relatieve versie (compatibel met de monodromie-actie) van de endoscopische decompositie ontwikkeld door Maulik en Shen [MS21].

1. Endoscopische Correspondentie: Maulik en Shen relateerden de variant klassen van de moduli-ruimte van $\text{SL}_n$-Higgs-bundels op een kromme $C$ aan de cohomologie van moduli-ruimten van $\text{GL}_{n/m}$-Higgs-bundels op $m$-voudige overdekkingen van $C$.
2. Relatieve Opstelling: Larsen bouwt deze constructie uit tot een surjectie van lokale systemen over een dekkende ruimte van de moduli-ruimte van krommen $\mathcal{M}_{g,1}$. Dit vereist het definiëren van universele families van Higgs-bundels en hun spectrale krommen over een basis $M = \mathcal{M}_{g,1} \times_{\mathcal{M}_g} \mathcal{M}_g[n]$.
3. Technische Hulpmiddelen:
   • Gebruik van vanishing cycles (verdwijnende cycli) om de cohomologie van Higgs-bundels met verschillende graden met elkaar te verbinden.
   • Analyse van de actie van de Galois-groepen $\Gamma$ en $G_\gamma$ op de cohomologie van de moduli-ruimten.
   • Constructie van een cohomologische correspondentie via de sluiting van een graaf van een morfisme tussen moduli-ruimten.

C. Reductie naar Overdekkingen

De methode reduceert het probleem van de werking op $H^*(M_{SL})$ tot het bestuderen van de werking op de cohomologie van een kanonieke eindige overdekking $\tilde{\Sigma}_g^n \to \Sigma_g$. Deze overdekking correspondeert met de surjectie $\pi_1(\Sigma_g) \twoheadrightarrow H_1(\Sigma_g, \mathbb{Z}/n)$.

---

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.1 & Theorem 3.4)

De kern van de werking van de Mapping Class Group $\text{Mod}(\Sigma_g \setminus p)$ op de cohomologie $H^*(M_{SL}, \mathbb{Z})$ is commensurabel met de kern van de werking op de eerste homologie van de canonieke eindige overdekking $H_1(\tilde{\Sigma}_g^n, \mathbb{Z})$.

• Commensurabel betekent dat de doorsnede van de twee subgroepen een eindige index heeft in beide groepen.
• Dit impliceert dat de monodromie-actie op de cohomologie van de karaktervariëteit in wezen wordt bepaald door de actie op de overdekking van het oppervlak, en niet door de standaard homologie van het oppervlak zelf.

Corollarium over de Algebraïsche Monodromiegroep (Corollary 1.2 & Corollary 3.5)

Voor $g > 2$, of voor $g=2$ met $(n, 6)=1$, is de algebraïsche monodromiegroep (de verbonden component van de Zariski-sluiting van het beeld van de MCG in $\text{GL}(H^*(M_{SL}, \mathbb{C}))$) de commutatorondergroep van de groep van inverteerbare lineaire transformaties die zowel de intersectie-vorm als de Galois-actie respecteren.

Concreet is deze groep isomorf met een product van speciale lineaire en symplectische groepen, afhankelijk van de pariteit van $n$:

• Als $n$ even is: $\text{SL}_{2(g-1)}(\mathbb{C})^{\dots} \times \text{Sp}_{2(g-1)}(\mathbb{C})^{\dots} \times \text{Sp}_{2g}(\mathbb{C})$.
• Als $n$ oneven is: $\text{SL}_{2(g-1)}(\mathbb{C})^{\dots} \times \text{Sp}_{2g}(\mathbb{C})$.

Voor het geval $g=2$ en $(n, 6) \neq 1$ is de algebraïsche monodromie een ondergroep van deze groep.

---

4. Significatie en Bijdrage

1. Oplossing van een Open Probleem: Het artikel geeft een expliciete beschrijving van de monodromie-actie op de cohomologie van $\text{SL}_n$-karaktervariëteiten, een gebied waarvoor eerdere resultaten beperkt waren tot het $\text{GL}_n$-geval of specifieke kleine $n$.
2. Relatie met Looijenga's Werk: Het resultaat verbindt de cohomologie van niet-abeliaanse karaktervariëteiten met de klassieke theorie van de werking van de MCG op abelse overdekkingen van oppervlakken (werk van Looijenga [Loo97]). Dit toont aan dat de "variant" klassen in de cohomologie van $M_{SL}$ precies de informatie dragen die nodig is om de actie op de overdekking $\tilde{\Sigma}_g^n$ te beschrijven.
3. Technische Innovatie: De ontwikkeling van een relatieve versie van de endoscopische decompositie van Maulik-Shen is een belangrijke methodologische bijdrage. Het stelt onderzoekers in staat om monodromie-vragen voor families van moduli-ruimten aan te pakken, wat essentieel is voor het begrijpen van de globale structuur van deze ruimten.
4. Verbinding met Spiegelbeeldsymmetrie: De resultaten bevestigen en verfijnen de intuïtie uit de SYZ-spiegelbeeldsymmetrie (Hausel-Thaddeus), waarbij de variant klassen van $M_{SL}$ corresponderen met de cohomologie van de spiegelvariëteit (in dit geval gerelateerd aan de overdekkingen).

Conclusie

Anne Larsen toont aan dat de complexe werking van de Mapping Class Group op de cohomologie van de $\text{SL}_n$-character variëteit fundamenteel wordt gereduceerd tot de werking op de homologie van een specifieke eindige overdekking van het oppervlak. Door gebruik te maken van de niet-abeliaanse Hodge-correspondentie en geavanceerde endoscopische technieken, wordt de algebraïsche monodromiegroep volledig gekarakteriseerd, wat een dieper inzicht biedt in de topologische en algebraïsche structuur van deze moduli-ruimten.