Brauer group of moduli stacks of parabolic principal bundles over a curve

Titel en Context

Titel: Brauer-groep van moduli-stacks van parabolische principale bundels over een kromme.
Auteurs: Indranil Biswas en Sujoy Chakraborty.
Onderwerp: Algebraïsche meetkunde, specifiek de studie van moduli-ruimten van parabolische bundels en hun cohomologische invarianten (Brauer-groepen).

---

1. Het Probleem

De auteurs bestuderen de cohomologische Brauer-groep, aangeduid als $Br(Y)$, van moduli-stacks van parabolische principale bundels over een gladde projectieve kromme $X$ van genus $g \geq 2$. De Brauer-groep is gedefinieerd als het torsiegedeelte van de tweede étale cohomologiegroep $H^2_{\text{ét}}(Y, \mathbb{G}_m)$.

De centrale vragen die in dit artikel worden aangepakt zijn:

1. Wat is de relatie tussen de Brauer-groep van de moduli-stack van parabolische stabiele $PGL(r, \mathbb{C})$-bundels en de Brauer-groep van de gladde deelruimte van de bijbehorende grove moduli-ruimte (coarse moduli space)?
2. Wat is de Brauer-groep van de moduli-stack van quasi-parabolische principale $G$-bundels, waarbij $G$ een enkelvoudige en simpel samenhangende complexe lineaire algebraïsche groep is?

Vorige werken (zoals [BCD1]) hadden resultaten voor specifieke gevallen (bijv. volledige vlag-systemen of specifieke structuregroepen), maar een generalisatie voor willekeurige generieke gewichten en algemene groepen $G$ ontbrak.

---

2. Methodologie

De auteurs gebruiken een combinatie van technieken uit de algebraïsche meetkunde, de theorie van moduli-ruimten, en topologische methoden (singuliere cohomologie).

A. Analyse van $PGL(r, \mathbb{C})$-bundels (Hoofdstuk 3 & 4)

• Actie van torsie-lijnbundels: Ze beschouwen de moduli-ruimte $M^{m,\alpha}_X(r, \xi)$ van stabiele parabolische vectorbundels met determinant $\xi$. De groep $\Gamma$ van $r$-torsie lijnbundels op $X$ werkt op deze ruimte via tensorproduct.
• Spectrale krommen: Om de vaste punten van deze actie te analyseren, construeren de auteurs een spectrale kromme $Y \to X$ (een étale Galois-overdekking) geassocieerd met een niet-triviale element $L \in \Gamma$.
• Push-forward constructie: Ze gebruiken een "parabolische push-forward" constructie om een relatie te leggen tussen bundels op de spectrale kromme $Y$ en de vaste punten op de oorspronkelijke moduli-ruimte.
• Codimensie-schatting: Een cruciale stap is het bewijzen dat de codimensie van de vaste punt-locus (onder de actie van niet-triviale elementen van $\Gamma$) in de moduli-ruimte minimaal 3 is. Dit wordt gedaan door de dimensie van de moduli-ruimte te vergelijken met de dimensie van de deelruimten die corresponderen met de vaste punten, gebruikmakend van de eigenschappen van generieke gewichten.
• Overgang naar de stack: Ze gebruiken het feit dat de moduli-stack $N^{m,\alpha}_X(r, \delta)$ deeltjes is van de moduli-ruimte $M^{m,\alpha}_X(r, \xi)$ onder de actie van $\Gamma$. Omdat de complementaire deelruimte (de vaste punten) codimensie $\geq 3$ heeft, en omdat het quotiënt door een eindige groep codimensie behoudt, kunnen ze de Brauer-groep van de stack relateren aan die van de gladde deelruimte van het quotiënt.

B. Analyse van $G$-bundels voor enkelvoudige $G$ (Hoofdstuk 5)

• Uniformisatiestelling: Ze maken gebruik van de uniformisatiestelling (uit [LS]), die de moduli-stack $M^{\text{par}}_G$ uitdrukt als een quotiënt-stack $[L_X(G) \backslash Q^{\text{par}}_G]$, waarbij $L_X(G)$ een ind-groepschema is en $Q^{\text{par}}_G$ een ind-variëteit.
• Cohomologische analyse: Ze analyseren de singuliere cohomologie $H^*_B$ van de stack door deze te relateren aan de cohomologie van de basisvariëteit $Q^{\text{par}}_G$ en de groep $L_X(G)$.
• Vergelijking van Brauer-groepen: Ze passen een stelling toe (Propositie 5.5) die stelt dat voor bepaalde stacks de algebraïsche Brauer-groep, de analytische Brauer-groep en de torsie in de derde singuliere cohomologie ($H^3_B(Y, \mathbb{Z})_{\text{tors}}$) isomorf zijn.
• Vernietiging van cohomologie: Ze tonen aan dat voor de relevante variëteiten (directe limieten van projectieve variëteiten en vlagvariëteiten) de cohomologiegroepen $H^1_B$ en $H^3_B$ verdwijnen. Hieruit volgt dat de Brauer-groep triviaal is.

---

3. Belangrijkste Bijdragen en Resultaten

Resultaat 1: Generalisatie voor $PGL(r, \mathbb{C})$

Stelling 1.1 (Theorem 4.2): Laat $\alpha$ een generiek systeem van gewichten zijn. Laat $N^{m,\alpha}_X(r, \delta)$ de moduli-stack zijn van parabolische stabiele $PGL(r, \mathbb{C})$-bundels en $N^{m,\alpha}_X(r, \delta)^{\text{sm}}$ de gladde deelruimte van de bijbehorende grove moduli-ruimte. Dan geldt:
$$Br(N^{m,\alpha}_X(r, \delta)) \simeq Br(N^{m,\alpha}_X(r, \delta)^{\text{sm}})$$

• Betekenis: Dit generaliseert eerdere resultaten (die alleen golden voor volledige vlag-systemen) naar willekeurige generieke systemen van gewichten. Het toont aan dat de singulariteiten van de moduli-ruimte (die ontstaan door de actie van $\Gamma$) geen invloed hebben op de Brauer-groep, zolang ze codimensie $\geq 3$ hebben.

Resultaat 2: Vernietiging voor Enkelvoudige $G$

Stelling 1.2 (Propositie 5.7 en Theorem 5.8): Laat $G$ een enkelvoudige en simpel samenhangende complexe lineaire algebraïsche groep zijn. Dan zijn zowel de analytische als de algebraïsche Brauer-groep van de moduli-stack van quasi-parabolische $G$-bundels nul:
$$Br(M^{\text{par}}_G(p, P)) = 0$$
en
$$H^2(M^{\text{par}}_G, (\mathcal{O}^{\text{an}}_{M^{\text{par}}_G})^*)_{\text{tors}} = 0$$

• Betekenis: Dit is een sterk negatief resultaat: er bestaan geen niet-triviale Brauer-elementen voor deze specifieke klasse van moduli-stacks. Dit geldt voor elke keuze van parabolische punten en parabolische subgroepen.

---

4. Significatie en Impact

1. Verduidelijking van de relatie tussen Stack en Ruimte: Het artikel lost een fundamenteel probleem op in de theorie van moduli-stacks: het bevestigt dat voor $PGL(r, \mathbb{C})$-bundels met generieke gewichten, de Brauer-groep van de stack (die de automorfismen van de objecten meeneemt) identiek is aan die van de onderliggende grove moduli-ruimte (die de automorfismen "vergeet"). Dit is cruciaal voor het begrijpen van de geometrische structuur van deze ruimten.
2. Generalisatie van eerdere werken: Het doorbreekt de beperking tot "volle vlag-systemen" in eerdere literatuur, waardoor de theorie nu van toepassing is op een veel bredere klasse van parabolische structuren.
3. Trivialiteit voor simpel samenhangende groepen: Het bewijs dat de Brauer-groep verdwijnt voor simpel samenhangende groepen (zoals $SL(r, \mathbb{C})$) contrasteert met het geval van $PGL(r, \mathbb{C})$ (waar de Brauer-groep niet noodzakelijk triviaal is). Dit benadrukt het fundamentele verschil in de topologische en algebraïsche structuur tussen deze groepen in de context van moduli-problemen.
4. Methodologische bijdrage: De combinatie van spectrale krommen, push-forward constructies en de toepassing van de uniformisatiestelling met cohomologische methoden biedt een robuust raamwerk voor toekomstige studies naar invariants van moduli-ruimten.

Kortom, dit artikel levert een volledig en rigoureus antwoord op de vraag naar de Brauer-groepen van deze belangrijke moduli-ruimten, waarbij het zowel de structuur van de singulariteiten als de invloed van de keuze van de structuurgroep ($PGL$ vs. simpel samenhangend $G$) helder in kaart brengt.