(Quasi-)affineness of perverse character varieties

Technische Samenvatting: (Kwasi-)Affiniteit van Perverse Karaktervariëteiten

Probleemstelling
Het artikel behandelt de geometrische aard van perverse karaktervariëteiten, die dienen als moduli-ruimten voor semisimpele perverse schoven op een gestratificeerde ruimte $X$. Waar klassieke karaktervariëteiten (die semisimpele representaties van een fundamentele groep parametriseren) bekend staan als affiene schema's, was de affiniteit van hun generalisaties naar perverse schoven – specifiek de "goede moduli-ruimten" geassocieerd met perverse karakterstapels – nog niet op een puur stapel-theoretische wijze vastgesteld. Het centrale probleem is om te bepalen of deze moduli-ruimten kwasi-affien zijn, wat betekent dat ze kunnen worden ingebed als open deel-schema's van affiene schema's.

Methodologie
De auteurs hanteren een puur stapel-theoretische aanpak, waarbij ze constructies uit de Geometrische Invariante Theorie (GIT) vermijden. Hun methodologie rust op de volgende pijlers:

1. Goede Moduli-ruimten: Zij maken gebruik van de theorie van goede moduli-ruimten voor algebraïsche stapels (Alper, Halpern-Leistner, Heinloth). Een goede moduli-ruimte $q: \mathcal{X} \to X$ is een algebraïsche ruimte die zich gedraagt als een categorische quotiënt, waarbij de punten van $X$ corresponderen met isomorfieklassen van polystabiele objecten in $\mathcal{X}$.
2. Criterium voor Kwasi-affiniteit: Zij stellen vast dat een goede moduli-ruimte $X$ kwasi-affien is dan en slechts dan als haar structuurplaat $\mathcal{O}_X$ polystabiele punten scheidt (Corollarium 2.1.6). Dit reduceert het geometrische probleem tot een algebraïsch probleem: het construeren van voldoende globale secties van de structuurplaat om te onderscheiden tussen niet-isomorfe semisimpele objecten.
3. Hochschild-homologie en Globale Secties: De kern van de technische innovatie is het gebruik van Hochschild-homologie ($HH$) van de stabiele $\infty$-categorie van construeerbare schoven, aangeduid als $\text{Cons}_P(X; \text{Mod}_k)$. Volgend het kader van Toën-Vaquié en Antieau-Gepner, maken de auteurs gebruik van de canonieke morfisme:
   $$HOC: HH(\mathcal{C}) \to R\Gamma(\mathcal{M}_{\mathcal{C}}, \mathcal{O}_{\mathcal{M}_{\mathcal{C}}})$$
   waarbij $\mathcal{M}_{\mathcal{C}}$ de moduli-stapel van objecten in $\mathcal{C}$ is. Deze afbeelding maakt het mogelijk om globale secties van de structuurplaat van de moduli-stapel direct te construeren uit de Hochschild-homologie van de onderliggende categorie.
4. Recollement en Stratificatie: Om de gestratificeerde aard van de ruimte $X te behandelen, gebruiken de auteurs het formalisme van recollement voor construeerbare schoven. Dit stelt hen in staat om de Hochschild-homologie van de globale categorie te ontbinden in een directe som van Hochschild-homologieën van lokale systemen op de strata (Lemma 4.3.1).
5. Spoor-afbeeldingen: De via $HOC$ geconstrueerde globale secties worden expliciet beschreven als sporen van monodromie. Voor een lus $\gamma$ in een stratum evalueert de bijbehorende sectie een semisimpele perverse schof $F$ tot het spoor van de monodromie van de restrictie van $F$ tot dat stratum (Corollarium 4.3.2).

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Corollarium 5.2.6): De auteurs bewijzen dat perverse karaktervariëteiten kwasi-affien zijn. Specifiek is voor een complex Whitney-gestratificeerde ruimte $X$ en een perversiteitsfunctie $p$, de canonieke morfisme
  $${}^p\text{Perv}_P(X) \to \text{Spec}(\Gamma({}^p\text{Perv}_P(X), \mathcal{O}_{{}^p\text{Perv}_P(X)}))$$
  een kwasi-compacte open inbedding. Hierbij denotes ${}^p\text{Perv}_P(X)$ de goede moduli-ruimte (de perverse karaktervariëteit).
• Scheiding van Punten (Stelling 5.2.5): Het artikel demonstreert dat de uit Hochschild-homologie afgeleide globale secties voldoende zijn om punten in de moduli-stapel te scheiden. Specifiek geldt: als twee semisimpele perverse schoven niet-isomorf zijn, bestaat er een globale sectie (geconstrueerd uit sporen van monodromie op strata) die verschillende waarden aanneemt op hen.
• Afgeleide Context: De resultaten zijn vastgesteld binnen het kader van afgeleide algebraïsche meetkunde. De auteurs merken op dat, volgens de resultaten van Lurie, de afgeleide en niet-afgeleide uitspraken equivalent zijn, maar dat werken in de afgeleide context een natuurlijk kader biedt voor het construeren van de benodigde secties.
• Generalisatie naar Construeerbare Schoven: De technieken worden uitgebreid naar het geval van de "triviale perversiteit" (standaard t-structuur), waarbij wordt bewezen dat de goede moduli-ruimte van construeerbare schoven met platte vezels eveneens een disjuncte vereniging is van kwasi-affiene schema's (Corollarium 5.2.7).

Betekenis en Aanspraken
Het artikel claimt dat de primaire bijdrage het bieden is van een effectieve, intrinsieke manier om globale secties te construeren van de structuurplaat van perverse karaktervariëteiten, zonder afhankelijk te zijn van GIT.

• "Voorbij GIT": De auteurs benadrukken dat hun technieken vallen binnen de moduli-theorie "Voorbij GIT" (verwijzend naar Alper-Halpern-Leistner), en bieden een meer intrinsieke aanpak van moduli-problemen die geen reductieve groepswerking of specifieke linearisatie vereist.
• Expliciete Constructie: In tegenstelling tot abstracte existentiebewijzen, biedt het artikel een concrete beschrijving van de scheidende secties: het zijn sporen van monodromie geassocieerd met lussen in de strata van de onderliggende ruimte.
• Reikwijdte: De resultaten zijn van toepassing op elke perversiteit waarvoor de corresponderende perverse karaktervariëteit bestaat, inclusief de middelste perversiteit (centraal in de theorie van D-modules en de Riemann-Hilbert-correspondentie) en de triviale perversiteit.

Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige richtingen voor buiten de directe wiskundige context van het vaststellen van de kwasi-affiniteit van deze moduli-ruimten. Het positioneert zich als een fundamenteel resultaat in de meetkunde van perverse schoven, dat de kloof overbrugt tussen de stapel-theoretische beschrijving van moduli en hun affiene eigenschappen.