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

Titel: Brauer-Gruppe von Modulstapeln parabolischer Hauptbündel über einer Kurve
Autoren: Indranil Biswas und Sujoy Chakraborty

1. Problemstellung und Motivation

Das Ziel der Arbeit ist die Untersuchung der Brauer-Gruppe (sowohl der algebraischen als auch der analytischen) von Modulstapeln parabolischer Hauptbündel über einer glatten projektiven Kurve $X$ vom Geschlecht $g \ge 2$.

Die Brauer-Gruppe $Br(Y)$ einer Varietät (oder eines Stapels) $Y$ ist ein wichtiger birationaler Invariant, der insbesondere in der Untersuchung rationaler Varietäten und der Brauer-Manin-Obstruktion eine zentrale Rolle spielt. Bisherige Arbeiten (z. B. [BB, BCD1, BCD2, BD]) haben die Brauer-Gruppe für Modulräume parabolischer Vektorbündel mit Strukturgruppen wie $SL(r, \mathbb{C})$, $PGL(r, \mathbb{C})$ und $Sp(r, \mathbb{C})$ berechnet.

Die Autoren verfolgen zwei Hauptziele:

1. Eine Verallgemeinerung eines früheren Ergebnisses für $PGL(r, \mathbb{C})$-Bündel: Sie zeigen, dass die Brauer-Gruppe des Modulstapels mit der der glatten Stelle des zugehörigen groben Modulraums übereinstimmt, und zwar für beliebige generische Systeme von Gewichten (nicht nur für Vollflaggen-Systeme).
2. Die Untersuchung des allgemeinen Falls für jede einfache und einfach zusammenhängende komplexe lineare algebraische Gruppe $G$. Hier zeigen sie, dass die Brauer-Gruppe des entsprechenden Modulstapels verschwindet.

2. Methodik und Vorgehensweise

Die Arbeit ist in zwei Hauptteile gegliedert, die unterschiedliche Techniken anwenden:

Teil A: Der Fall $PGL(r, \mathbb{C})$ (Abschnitte 3 und 4)

Hier wird die Beziehung zwischen dem Modulstapel parabolischer stabiler $PGL(r, \mathbb{C})$-Bündel und dem Modulraum parabolischer stabiler Vektorbündel mit festem Determinantenbündel $\xi$ untersucht.

• Gruppenwirkung: Die Gruppe $\Gamma$ der $r$-Torsions-Linienbündel auf $X$ wirkt auf den Modulraum $M^{m,\alpha}_X(r, \xi)$ der Vektorbündel. Der Modulstapel der $PGL(r, \mathbb{C})$-Bündel ist isomorph zum Quotientenstapel $[M^{m,\alpha}_X(r, \xi) / \Gamma]$.
• Spektralkurven und Fixpunkte: Um die Kodimension der Fixpunktmenge unter der Wirkung von $\Gamma$ zu bestimmen, nutzen die Autoren die Methode der Spektralkurven. Für ein nicht-triviales $r$-Torsionsbündel $L$ wird eine étale Galois-Überlagerung $\gamma: Y \to X$ konstruiert.
• Push-Forward-Konstruktion: Es wird gezeigt, dass die Fixpunktmenge unter der Wirkung von $L$ durch den parabolischen Push-Forward von Bündeln auf der Spektralkurve $Y$ beschrieben werden kann (Proposition 3.3).
• Kodimensionsschätzung: Ein zentrales technisches Ergebnis (Korollar 3.5) ist der Nachweis, dass für ein generisches System von Gewichten $\alpha$ die Kodimension der Fixpunktmenge $Z_\alpha$ (die Vereinigung der Fixpunkte aller nicht-trivialen $L \in \Gamma$) mindestens 3 ist. Dies ist eine Verallgemeinerung eines früheren Ergebnisses, das nur für Vollflaggen galt.
• Übertragung auf die Brauer-Gruppe: Da die Kodimension des singulären Ortes (bzw. des Ortes, wo die Gruppenwirkung nicht frei ist) mindestens 3 beträgt, bleibt die Brauer-Gruppe beim Entfernen dieses Ortes invariant. Da der Quotient nach einer freien Wirkung eines endlichen Gruppen auf einer glatten Varietät isomorph zum Stapel ist, folgt die Isomorphie der Brauer-Gruppen.

Teil B: Der Fall einfacher, einfach zusammenhängender Gruppen $G$ (Abschnitt 5)

Für eine einfache und einfach zusammenhängende Gruppe $G$ wird die Brauer-Gruppe des Stapels $M^{\text{par}}_G$ der quasi-parabolischen $G$-Bündel untersucht.

• Uniformisierungssatz: Die Autoren nutzen den Uniformisierungssatz (Theorem 5.3), der den Stapel $M^{\text{par}}_G$ als Quotientenstapel $[L_X(G) \backslash Q^{\text{par}}_G]$ darstellt, wobei $L_X(G)$ eine Ind-Gruppenschemata ist und $Q^{\text{par}}_G$ ein Ind-Grassmannian ist.
• Kohomologische Analyse:
  • Es wird die singuläre Kohomologie des Stapels berechnet (Lemma 5.4), wobei sich zeigt, dass $H^*_B(M^{\text{par}}_G, \mathbb{Z}) \cong H^*_B(M_G, \mathbb{Z}) \otimes H^*_B(F, \mathbb{Z})$ gilt, wobei $F$ ein Produkt von Flaggenvarietäten ist.
  • Es wird gezeigt, dass die Kohomologiegruppen $H^1_B$ und $H^3_B$ von $Q^{\text{par}}_G$ verschwinden (Lemma 5.6).
• Vergleich algebraischer und analytischer Brauer-Gruppen: Unter Verwendung von Proposition 5.5 (die Isomorphismen zwischen algebraischer Brauer-Gruppe, analytischer Brauer-Gruppe und Torsionsteil von $H^3_B$ herstellt) wird argumentiert, dass die algebraische Brauer-Gruppe verschwindet, sobald die analytische verschwindet und bestimmte Bedingungen an Linienbündel erfüllt sind.
• Leray-Spektralsequenz: Durch die Anwendung der Leray-Spektralsequenz für die Hauptfaserbündel-Struktur wird die analytische Brauer-Gruppe des Stapels mit der des Basisraums $Q^{\text{par}}_G$ verglichen. Da $H^3_B(Q^{\text{par}}_G, \mathbb{Z}) = 0$, folgt das Verschwinden der analytischen Brauer-Gruppe.

3. Hauptergebnisse

Satz 1.1 (Theorem 4.2):
Sei $\alpha$ ein generisches System von Gewichten. Sei $N^{m,\alpha}_X(r, \delta)^{\text{sm}}$ die glatte Stelle des groben Modulraums der stabilen parabolischen $PGL(r, \mathbb{C})$-Bündel. Dann gilt:
$$Br(N^{m,\alpha}_X(r, \delta)) \simeq Br(N^{m,\alpha}_X(r, \delta)^{\text{sm}})$$
Dies bedeutet, dass die Brauer-Gruppe des Stapels isomorph zur Brauer-Gruppe der glatten Stelle des zugehörigen groben Modulraums ist. Dies gilt für beliebige generische Gewichte, nicht nur für Vollflaggen.

Satz 1.2 (Theorem 5.8):
Sei $G$ eine einfache und einfach zusammenhängende komplexe lineare algebraische Gruppe. Dann verschwinden sowohl die analytische als auch die algebraische Brauer-Gruppe des Modulstapels der quasi-parabolischen $G$-Bündel:
$$Br(M^{\text{par}}_G(p, P)) = 0$$
Dies ist ein starkes Ergebnis, das besagt, dass diese Modulstapel keine nicht-trivialen Azumaya-Algebren (im algebraischen Sinne) oder nicht-trivialen analytischen Kohomologieklassen der Ordnung 2 besitzen.

4. Bedeutung und Beitrag zur Forschung

1. Verallgemeinerung: Die Arbeit erweitert die bekannten Ergebnisse für $PGL(r, \mathbb{C})$-Bündel von spezifischen Fällen (Vollflaggen) auf den allgemeinen Fall generischer Gewichte. Dies ist technisch anspruchsvoll, da die Struktur der Fixpunktmenge bei allgemeinen Gewichten komplexer ist.
2. Allgemeingültigkeit für $G$: Der Nachweis des Verschwindens der Brauer-Gruppe für beliebige einfache, einfach zusammenhängende Gruppen $G$ ist ein bedeutender Schritt in der Klassifikation der Invarianten von Modulstapeln parabolischer Hauptbündel. Es zeigt, dass die topologischen und algebraischen Hindernisse für die Existenz nicht-trivialer Brauer-Klassen in diesem Kontext nicht vorhanden sind.
3. Methodische Klarheit: Die Arbeit verbindet erfolgreich Techniken aus der algebraischen Geometrie (Modulräume, Quotientenstapel), der Darstellungstheorie (Wirkung von Torsionsbündeln) und der algebraischen Topologie (Kohomologie von Ind-Varietäten und Stapeln).
4. Implikationen für Rationalität: Da die Brauer-Gruppe ein birationaler Invariant ist, tragen diese Ergebnisse (insbesondere das Verschwinden für $G$) zum Verständnis der rationalen Struktur dieser Modulräume bei. Ein Verschwinden der Brauer-Gruppe ist oft eine notwendige (wenn auch nicht hinreichende) Bedingung für die Rationalität einer Varietät.

Zusammenfassend liefert die Arbeit eine vollständige Beschreibung der Brauer-Gruppen für zwei wichtige Klassen von Modulstapeln parabolischer Hauptbündel und schließt damit Lücken in der bestehenden Literatur, insbesondere im Hinblick auf generische Gewichte und allgemeine Strukturgruppen.