Counting points on generic character varieties

Technische Samenvatting: Het tellen van punten op generieke karaktervariëteiten

Probleemstelling
Het artikel behandelt de enumeratie van punten op karaktervariëteiten geassocieerd met gepuncteerde oppervlaktegroepen en reguliere semisimpele conjunctieklassen in willekeurige reductieve groepen $G$ over eindige velden. Terwijl de geometrie en topologie van $GL_n$-karaktervariëteiten goed begrepen zijn—dankzij het fundamentele werk van Hausel, Letellier en Rodriguez-Villegas [HRV08, HLRV11]—is het begrip van karaktervariëteiten voor algemene reductieve groepen beperkt. Specifiek zoeken de auteurs naar het aantal $\mathbb{F}_q$-punten voor zowel multiplicatieve karaktervariëteiten (geassocieerd met de fundamentele groep van een gepuncteerd oppervlak) als hun additieve analogen (geassocieerd met de Lie-algebra $\mathfrak{g}$). De studie richt zich op "generieke" tupels van conjunctieklassen, een conditie die ervoor zorgt dat de variëteiten glad en equidimensionaal zijn.

Methodologie
De auteurs maken gebruik van een combinatie van de representatietheorie van eindige groepen van Lie-type, Deligne-Lusztig-theorie en harmonische analyse op Lie-algebra's.

1. Multiplicatief geval:

   • Het vertrekpunt is de Frobenius Mass Formula, die het aantal punten op de representatievariëteit uitdrukt in termen van irreducibele complexe karakters van de eindige groep $G(\mathbb{F}_q)$.
   • Gebruikmakend van de aanname dat de conjunctieklassen generiek zijn en elementen bevatten die sterk regulier zijn, passen de auteurs een stelling van Deligne en Lusztig [DL76] toe. Dit beperkt de bijdragende karakters tot de hoofdserie-representaties (principal series).
   • De som over karakters wordt geherorganiseerd door representaties te groeperen in "typen" $\tau = [L, \rho]$, waarbij $L$ een standaard endoscopie-groep is (een pseudo-Levi subgroep) en $\rho$ een irreducibel karakter is van de Weyl-groep van $L$.
   • De karakter-sommen worden geëvalueerd met behulp van Möbius-inversie op de poset van endoscopie-groepen. Een cruciale stap is het analyseren van de stabilisatoren van de Frobenius-actie op de duale torus, wat een eindige basisverandering vereist om te waarborgen dat bepaalde componentgroepen splitsen.

2. Additief geval:

   • De additieve karaktervariëteit wordt gedefinieerd via de Lie-algebra $\mathfrak{g}$ en adjoint-banen. Het telprobleem wordt benaderd via een additieve analogon van de Frobenius Mass Formula, die de Fourier-transformaties van karakterfuncties van adjoint-banen omvat.
   • De auteurs maken gebruik van resultaten door Kazhdan en Letellert [Let05] om deze Fourier-transformaties te evalueren. Het niet-verdwijnen van de transformatie is gekoppeld aan "gesplitste" elementen in de Lie-algebra.
   • Net als in het multiplicatieve geval wordt de som gedecomposeerd door "typen" $\tau = [L, N]$, waarbij $L$ een Levi-subgroep is en $N$ een nilpotente baan.
   • De evaluatie steunt op de eigenschappen van Green-functies en Springer-vezels. De auteurs merken op dat voor groepen met een $E_8$-factor een kwadratische basisverandering vereist kan zijn om te waarborgen dat het aantal punten een polynoom is.

Belangrijkste Bijdragen en Resultaten

1. Polynomiale telling voor multiplicatieve variëteiten:

   • Stelling 2: De auteurs bewijzen dat er voor een generieke karaktervariëteit $X$ geassocieerd met een reductieve groep $G$, een positief geheel getal $r$ bestaat zodanig dat het aantal punten $|X(\mathbb{F}_{q^{rm}})|$ een polynoom $f_X(q^{rm})$ is voor alle $m \geq 1$.
   • Palindromische Eigenschap: De tellende polynoom $f_X(t)$ blijkt palindromisch (symmetrische coëfficiënten) te zijn. Dit suggereert dat de variëteit een "curieuze" Poincaré-dualiteit en een "curieuze" Hard Lefschetz-eigenschap bezit, wat de $P=W$-vermoedens voor deze variëteiten ondersteunt.
   • Verbonden Componenten: Het aantal verbonden componenten van $X$ wordt bepaald als $|\pi_0(Z(\check{G}))|$, waarbij $\check{G}$ de Langlands-duale groep is.
   • Onafhankelijkheid: De polynoom $f_X$ hangt enkel af van de groep $G$, de genus $g$ en het aantal punctures $n$, maar is onafhankelijk van de specifiek gekozen generieke conjunctieklassen.

2. Polynomiale telling voor additieve variëteiten:

   • Stelling 6: De auteurs stellen vast dat de additieve karaktervariëteit $Y$ eveneens een polynomiale telling heeft, specifiek na een kwadratische basisverandering (d.w.z. $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$).
   • Niet-negatieve Coëfficiënten: Hoewel een algemeen bewijs ontbreekt vanwege het ontbreken van een directe link naar quiver-variëteiten (die alleen bestaat voor $GL_n$), suggereert computationeel bewijs voor groepen van rang minder dan 7 dat de coëfficiënten van $f_Y$ niet-negatief zijn. Dit ondersteunt de conjectuur dat de cohomologie van $Y$ puur is.
   • Samenhang: De additieve variëteit $Y$ is bewezen verbonden te zijn.

3. Expliciete Formules en Voorbeelden:

   • Het artikel biedt expliciete rationale functievergelijkingen voor de tellende polynomen $f_X$ en $f_Y$ in termen van wortelstelsel-data, Weyl-groep karakters en Green-polynomen.
   • Sectie 7 presenteert gedetailleerde tabellen en expliciete polynomen voor groepen van lage rang ($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$) en specifieke waarden van genus en punctures.

Betekenis en Claims
Het artikel claimt de baanbrekende resultaten van Hausel, Letellier en Rodriguez-Villegas van type $A$ ($GL_n$) te generaliseren naar willekeurige reductieve groepen.

• Structureel Inzicht: Het aantonen dat generieke karaktervariëteiten een polynomiale telling hebben en palindromisch zijn, levert sterk bewijs voor diepe topologische eigenschappen (Hodge-Tate structuur, Poincaré-dualiteit, Hard Lefschetz) in de reductieve setting, wat de bekende gedragingen voor $GL_n weerspiegelt.
• Reductieve Analoog van Kac-polynomen: De tellende polynomen voor de additieve variëteiten worden voorgesteld als de reductieve analogen van Kac-polynomen voor comet-vormige quivers. De niet-negativiteit van hun coëfficiënten wordt geconjectureerd, wat de geometrie van additieve karaktervariëteiten verbindt met de representatietheorie van Borcherd-algebra's.
• Fundament voor Toekomstige Conjecturen: De auteurs merken op dat hun resultaten de noodzakelijke data bieden om conjecturen te formuleren over gemengde Hodge-polynomen in de reductieve setting, analoog aan de bekende Macdonald-polynoomformules voor $GL_n$. Zij benadrukken dat het bewijzen van de niet-negativiteit van coëfficiënten voor algemene $G$ een niet-triviaal open probleem blijft vanwege het gebrek aan een directe correspondentie met quiver-variëteiten.

Het werk leunt zwaar op de aanname dat het centrum $Z(G)$ verbonden is en dat de karakteristiek van het veld "goed" is voor $G$. De auteurs erkennen dat het versoepelen van de aanname van een verbonden centrum de formules zou compliceren vanwege gedisconnecteerde centralisatoren in de duale groep, en dat de generieke aanname cruciaal is voor de gladheid en equidimensionaliteit van de variëteiten.