Topology of Galois conjugate character varieties

Technische Samenvatting: Topologie van Galois-geconjugeerde Karaktervariëteiten

Probleemstelling
Het artikel onderzoekt de topologische afhankelijkheid van karaktervariëteiten $M_{n,d}$ van de graadparameter $d$. Laat $C$ een niet-singuliere projectieve curve zijn van genus $g \geq 2$, en laat $n \geq 2$ een geheel getal zijn die relatief priem is aan $d$. De karaktervariëteit $M_{n,d}$ wordt gedefinieerd als de Betti-modulairruimte van representaties van $\pi_1(C)$ naar $GL_n(\mathbb{C})$ met determinant $\xi_n^d$, waarbij $\xi_n$ een primitieve $n$-de eenheidswortel is.

Een centrale vraag, gesteld door Hausel in 2005 (Vraag 0.1), is of $M_{n,d}$ en $M_{n,d'}$ homeomorf (of homotopisch equivalent) zijn voor elke $d, d'$ die relatief priem zijn aan $n$. Hoewel het bekend is dat deze variëteiten Galois-geconjugeerd zijn en identieke Betti-getallen en rationale cohomologieringen delen, blijft het bestaan van een homeomorfisme dat de unitaire locus behoudt (die $d$ van $d'$ onderscheidt via de Harder–Narasimhan-correspondentie) een open probleem. Eerdere topologische invarianten, waaronder fundamentele groepen en hogere homotopiegroepen, slagen er niet in om deze ruimtes te onderscheiden. De auteurs beogen te bepalen of de integrala cohomologiering een fijnere invariant biedt die in staat is om de homotopietypes van Galois-geconjugeerde karaktervariëteiten te onderscheiden.

Methodologie
De auteurs ontwikkelen een raamwerk dat integrale structuren, automorfisme groepen van cohomologieringen en tautologische relaties combineert om topologische verschillen te detecteren.

1. Cohomologische Automorfismen en Integrale Structuren:
   Het artikel stelt vast dat de rationale cohomologiering $H^*(M_{n,d}, \mathbb{Q})$ isomorphic is aan een gegradeerde $\mathbb{Q}$-algebra $R_{g,n}$ getenseerd met de cohomologie van een torus, waarbij $R_{g,n}$ onafhankelijk is van $d$ (Theorema 0.3). De auteurs definiëren $G_{g,n}$ als de groep van gegradeerde automorfismen van $R_{g,n}$. Zij stellen voor dat indien de integrale cohomologieringen van $M_{n,d}$ en $M_{n,d'}$ isomorphic zouden zijn, er een automorfisme in $G_{g,n}$ zou bestaan dat de integrale roosters behoudt die geïnduceerd worden door verschillende graden $d$ en $d'$.

2. Zwakweg Diagonale Automorfismen:
   Een cruciale structurele reductie betreft de subgroep $G^{wd}_{g,n} \subset G_{g,n}$ van "zwakweg diagonale" automorfismen die specifieke lijnen in lage-graad cohomologiecomponenten ($\mathbb{Q}\alpha_3$ en $\mathbb{Q}\beta_2$) behouden. Theorema 0.5 stelt dat indien $G^{wd}_{g,n} = G_{g,n}$ (oftewel alle automorfismen zwakweg diagonaal zijn), de integrale cohomologieringen van $M_{n,d}$ en $M_{n,d'}$ isomorphic zijn dan en slechts dan als $d \equiv \pm d' \pmod n$.

3. Tautologische Relaties:
   Om de voorwaarde $G^{wd}_{g,n} = G_{g,n}$ te verifiëren, analyseren de auteurs de ideaal van relaties tussen tautologische generatoren ($\alpha_i, \beta_i, \psi_{i,j}$). Zij maken gebruik van:

   • De gesloten formules voor Poincaré-polynomen (Hausel–Rodriguez-Villegas, Schiffmann, Mellit) om de laagste graad te bepalen waarin een niet-triviale relatie moet bestaan.
   • De relaties voor stabiele vectorbundels (Earl–Jeffrey–Kirwan) om kandidaten voor deze relaties in de karaktervariëteit-setting te identificeren.
   • Een "uitgedifferentieerde" tautologische relatie $\Upsilon_{g,n}$ in de laagst mogelijke cohomologische graad $r_{g,n} = 4g(n-1) - 2n$.

4. Computationele Verificatie:
   Voor het specifieke geval $(g, n) = (2, 5)$ voeren de auteurs expliciete lineaire algebra-berekeningen uit om:

   • De unieke homogene relatie $\Upsilon_{2,5}$ in graad 22 te bepalen (Theorema 3.16).
   • De dimensie van de Lie-algebra van de stabilizer van deze relatie binnen de automorfisme groep te berekenen.
   • Te verifiëren dat de dimensie van de volledige automorfisme groep klein genoeg is om de "zwakweg diagonale" conditie af te dwingen.

Belangrijkste Bijdragen en Resultaten

• Theorema 0.2 (Hoofdresultaat): Voor een curve van genus $g=2$ zijn de topologische ruimten $M_{5,1}$ en $M_{5,2}$ niet homotopisch equivalent. Dit levert het eerste tegenvoorbeeld voor de vraag van Hausel uit 2005, en toont aan dat Galois-geconjugeerde karaktervariëteiten verschillende homotopietypes kunnen hebben.
• Theorema 0.5: Stelt een criterium vast voor het niet-bestaan van isomorfismen tussen integrale cohomologieringen op basis van de structuur van de automorfisme groep $G_{g,n}$. Indien alle automorfismen zwakweg diagonaal zijn, onderscheiden de integrale structuren de graden.
• Theorema 0.6: Bewijst dat voor $(g, n) = (2, 5)$ de groep van automorfismen $G_{2,5}$ samenvalt met de subgroep van zwakweg diagonale automorfismen ($G^{wd}_{2,5} = G_{2,5}$). Dit wordt bereikt door aan te tonen dat de dimensie van de Lie-algebra van de stabilizer van de relatie $\Upsilon_{2,5}$ gelijk is aan 12, wat strikt minder is dan de dimensie die vereist is voor het bestaan van niet-diagonale automorfismen.
• Theorema 0.7: Identificeert een unieke uitgedifferentieerde tautologische relatie $\Upsilon_{g,n} = 0$ in graad $r_{g,n}$ voor $g \geq 2, n \geq 3$. Voor $(2, 5)$ is deze relatie expliciet berekend (Theorema 3.16) en aangetoond als symplectisch-invariant.
• Propositie 1.3: Bevestigt dat hogere homotopiegroepen $\pi_k(M_{n,d})$ voor $k > 1$ onafhankelijk zijn van $d$, wat onderstreept dat homotopiegroepen onvoldoende zijn om deze ruimten te onderscheiden.

Betekenis en Claims
Het artikel beweert negatief antwoord te geven op de vraag van Hausel uit 2005 over de homeomorfisme van Galois-geconjugeerde karaktervariëteiten. De auteurs stellen dat de integrale cohomologiering de eerste bekende topologische invariant is die gevoelig is voor de graad $d$ van de karaktervariëteit, waardoor topologische verschillen aan het licht komen die "dieper verborgen" liggen dan rationale cohomologie of Betti-getallen.

Het werk benadrukt dat hoewel Galois-geconjugeerde variëteiten vaak dezelfde rationale cohomologie delen, hun integrale structuren aanzienlijk kunnen verschillen. De methode berust op de interactie tussen de Chern-graduering (het splitsen van de gewichtsfiltratie), de tautologische relaties en de rigiditeit van de automorfisme groep van de cohomologiering. De auteurs merken op dat hun benadering computationeel intensief is; het bewijs voor $(2, 5)$ vereiste het oplossen van een grote lineaire algebra-opgave met betrekking tot de stabilizer van een specifieke relatie. Zij suggereren dat sterkere computationele middelen verdere tegenvoorbeelden voor andere paren $(g, n)$ zouden kunnen opleveren.

Het artikel claimt geen algemene classificatie te bieden voor alle $g, n$, maar biedt een structureel raamwerk (Conjectuur 0.4) en een concrete methode om homotopie-equivalentie in specifieke gevallen te weerleggen waar de automorfisme groep voldoende beperkt is door tautologische relaties.