Symmetric spaces for groups over involutive algebras and applications to Higgs bundles

Technische Samenvatting: Symmetrische Ruimten voor Groepen over Involutieve Algebra's en Toepassingen op Higgs-bundels

Probleemstelling
Het artikel behandelt de uitdaging van het generaliseren van de theorie van Lie-groepen en hun geassocieerde symmetrische ruimten naar de setting van niet-commutatieve ringen, specifiek involutieve algebra's $(A, \sigma)$. Hoewel de theorie van Lie-groepen over commutatieve velden goed gevestigd is, presenteert het niet-commutatieve geval aanzienlijke moeilijkheden, zoals het gebrek aan een canonieke determinant, wat de definitie van subgroepen zoals $SL_n$ bemoeilijkt. De auteurs richten zich op symplectische groepen $Sp_2(A, \sigma)$ en indefiniete orthogonale groepen $O(1,1)(A, \sigma)$ over Hermitische involutieve algebra's en hun complexificaties. Het primaire doel is het construeren van expliciete geometrische modellen voor de Riemannse symmetrische ruimten $G/K$ die geassocieerd zijn met deze groepen, het beschrijven van hun raakruimten en diffeomorfismen, en het toepassen van dit kader op de theorie van Higgs-bundels om representaties van fundamentele groepen van Riemannse oppervlakken te bestuderen.

Methodologie
Het artikel is verdeeld in twee afzonderlijke delen:

• Deel 1: Geometrische Modellen van Symmetrische Ruimten:
  De auteurs construeren en analyseren systematisch vier verschillende modellen voor de symmetrische ruimten geassocieerd met groepen over Hermitische algebra's:

  1. Ruimte van Indefiniete Involutieve Operatoren: Gedefinieerd via operatoren $J$ die voldoen aan $J^2 = \text{Id}$ (of $J^2 = -\text{Id}$ voor complexe structuren) en compatibiliteit met een sesquilineaire vorm.
  2. Projectieve Ruimte Model: Gerealiseerd als open domeinen binnen de projectieve ruimte van lijnen in $A^2$ (of diens complexe/quaternionische uitbreidingen), specifiek de lijnen die voldoen aan positiviteits- of isotropiecondities ten opzichte van de definiërende vormen.
  3. Half-ruimte Modellen: Affiene charts afgeleid van de projectieve modellen, geïdentificeerd met deelverzamelingen van de algebra $A$ (of diens uitbreidingen) gedefinieerd door condities op de reële en imaginaire delen van elementen (bijv. $y \in A^\sigma_+$).
  4. Precompacte Modellen: Begrensde domeinen verkregen via Möbius-transformaties van de half-ruimte modellen, analoog aan het eenheidsbolmodel in hyperbolische geometrie.

  Voor elk model berekenen de auteurs expliciet de (complexifiekeerde) raakruimten, beschrijven ze de actie van de groep $G$ en de bijbehorende maximale compacte subgroep $K$, en leiden ze de differentiaal van de equivariante diffeomorfismen af die de modellen verbinden. Ze definiëren ook de invariante Riemannse metrieken op deze ruimten. De analyse beslaat groepen over reële Hermitische algebra's ($Sp_2(A, \sigma)$, $O(1,1)(A, \sigma)$, $A^\times$) en hun complexificaties ($Sp_2(A^C, \sigma^C)$, $O(A^C, \sigma^C)$).

• Deel 2: Toepassingen op Higgs-bundels:
  Door gebruik te maken van de geometrische modellen uit Deel 1, herinterpreteren de auteurs de data van $G$-Higgs-bundels. Gegeven een reductieve representatie $\rho: \pi_1(X) \to G$, garandeert de stelling van Corlette een $\rho$-equivariante harmonische afbeelding naar de symmetrische ruimte $G/K$. De pullback van de complexifiekeerde raakbundel levert het Higgs-veld op. Door verschillende geometrische modellen voor $G/K$ te kiezen, bieden de auteurs alternatieve geometrische realisaties van de Higgs-bundel data $(E, \phi)$.

  • Component Telling: Door gebruik te maken van de topologie van de maximale compacte subgroepen $K$ in plaats van de standaard Morse–Bott theorie, leiden de auteurs exacte tellingen af voor de verbonden componenten van de moduli ruimten van polystabiele Higgs-bundels voor $Sp_2(A^C, \sigma^C)$ en $O(A^C, \sigma^C)$.
  • Hitchin Morphism Factorisatie: De auteurs construeren een factorisatie van het Hitchin-morfisme voor deze groepen. Deze factorisatie verloopt via tussenliggende affine Geometric Invariant Theory (GIT) quotienten. De afbeelding wordt geïnduceerd door kwadratische norm-afbeeldingen van de raakmodellen naar formeel reële Jordan-algebra's (specifiek, algebra's van Hermitische of symmetrische elementen).

Kernbijdragen en Resultaten

1. Expliciete Geometrische Modellen: Het artikel biedt een verenigd kader voor het realiseren van symmetrische ruimten van groepen over involutieve algebra's. Het details de raakruimten en transitiekaarten tussen de operator-, projectieve, half-ruimte- en precompacte modellen voor $Sp_2$, $O(1,1)$ en hun complexificaties.
2. Topologische Invarianten: De auteurs vestigen het aantal verbonden componenten en de fundamentele groepen van de groepen $Sp_2(A^C, \sigma^C)$ en $O(A^C, \sigma^C)$ in termen van de structuur van de onderliggende algebra $A$ (specifiek het aantal quaternionische en complexe factoren in de Artin–Wedderburn decompositie).
3. Moduli Ruimte Component Telling: Een nieuwe methode wordt geïntroduceerd om de verbonden componenten van Higgs-bundel moduli ruimten te tellen door de topologie van de maximale compacte subgroepen te analyseren, waarbij de noodzaak voor Morse–Bott theorie wordt omzeild.
4. Factorisatie van het Hitchin Morphism: Het artikel toont aan dat het Hitchin-morfisme voor $Sp_2(A^C, \sigma^C)$-Higgs-bundels (en reële analogen) factoriseert door tussenliggende GIT-quotienten. Deze factorisatie wordt beheerst door kwadratische norm-afbeeldingen naar Jordan-algebra's.
5. Dimensionale Efficiëntie: De auteurs tonen aan dat de doelruimten van deze norm-afbeeldingen (de complexifiekeerde Jordan-algebra's) strikt kleinere dimensies hebben dan de oorspronkelijke complexifiekeerde raakmodellen. Deze reductie in algebraïsche complexiteit maakt een meer expliciete karakterisering van de Hitchin-basis en het beeld van het Hitchin-morfisme mogelijk.

Betekenis en Claims
Het artikel claimt dat dit niet-commutatieve perspectief een "geometrisch woordenboek" biedt voor de Hitchin-basis, waarbij abstracte holomorfe differentiaalvormen worden geïnterpreteerd als invarianten afgeleid van kwadratische norm-afbeeldingen op Jordan-algebraïsche doelwitten. De auteurs stellen dat deze benadering bijzonder vruchtbaar is voor het bestuderen van positieve representaties van fundamentele groepen van gesloten oppervlakken, gemotiveerd door generalisaties van totale positiviteit.

De betekenis van het werk ligt in het vermogen om:

• De behandeling van diverse klassieke Lie-groepen (zoals $Sp_{2n}(\mathbb{R})$, $O(n,n)$, $U(n,n)$, $Sp(n,n)$, etc.) te verenigen onder de paraplu van groepen over involutieve algebra's.
• Expliciete, berekenbare modellen te bieden voor symmetrische ruimten in niet-commutatieve settings, die voorheen minder ontwikkeld waren.
• De algebraïsche complexiteit bij het beschrijven van de Hitchin-basis voor deze groepen te vereenvoudigen door de factorisatie van het Hitchin-morfisme.
• Nieuwe geometrische interpretaties te bieden voor Higgs-bundel data die direct gekoppeld zijn aan de specifieke geometrie van de symmetrische ruimte modellen.

De auteurs blijven bescheiden over de reikwijdte, waarbij zij opmerken dat de factorisatie en de resultaten voor het tellen van componenten specifiek zijn voor de groepen $Sp_2(A^C, \sigma^C)$ en $O(A^C, \sigma^C)$ (en hun reële vormen) binnen de context van de ontwikkelde theorie, in plaats van een universele oplossing voor alle niet-commutatieve Lie-groepen. Het werk wordt gepresenteerd als een fundamentele stap voor verdere toepassingen in de niet-abelse Hodge-theorie en de studie van positieve representaties.