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

Resumo Técnico: Grupo de Brauer de Stacks de Moduli de Bundles Principais Parabólicos

1. Problema e Contexto

O artigo investiga o Grupo de Brauer (tanto a versão algébrica quanto a analítica) de espaços de moduli de bundles principais parabólicos sobre uma curva algébrica projetiva suave $X$ definida sobre $\mathbb{C}$ (com gênero $g \geq 2$).

O Grupo de Brauer, denotado por $Br(Y)$, é um invariante birracional estável crucial para o estudo de questões de racionalidade e obstruções de Brauer-Manin. O problema central abordado pelos autores é determinar a estrutura desse grupo para dois casos específicos:

1. O stack de moduli de bundles principais estáveis do grupo $PGL(r, \mathbb{C})$ com um sistema de pesos genérico.
2. O stack de moduli de bundles principais quasi-parabólicos para um grupo algébrico linear complexo simples e simplesmente conexo $G$.

Anteriormente, resultados sobre o Grupo de Brauer de espaços de moduli de bundles vetoriais parabólicos (estrutura $SL(r, \mathbb{C})$) haviam sido estabelecidos, mas a generalização para $PGL(r, \mathbb{C})$ e para grupos gerais $G$ no contexto de stacks (e não apenas espaços de moduli grosseiros) permanecia um desafio, especialmente para sistemas de pesos arbitrários (não apenas sistemas de bandeira completa).

2. Metodologia e Estrutura da Prova

Os autores utilizam uma combinação de geometria algébrica, teoria de representações e topologia algébrica. A metodologia divide-se em duas partes principais:

Parte A: Bundles $PGL(r, \mathbb{C})$ e Pesos Genéricos

• Relação entre Stack e Espaço Grosseiro: O objetivo é provar que o Grupo de Brauer do stack de moduli $N^{m,\alpha}_X(r, \delta)$ é isomorfo ao Grupo de Brauer da parte suave do seu espaço de moduli grosseiro correspondente.
• Ação do Grupo de Torsão: Os autores consideram a ação do grupo $\Gamma$ de fibrados de linha de ordem $r$ (torsão $r$) sobre o espaço de moduli de bundles vetoriais estáveis $M^{m,\alpha}_X(r, \xi)$. O stack de $PGL$ é essencialmente o quociente $[M^{m,\alpha}_X(r, \xi) / \Gamma]$.
• Análise de Pontos Fixos: Um passo crucial é estimar a codimensão do locus de pontos fixos da ação de $\Gamma$ não trivial.
  • Utilizam uma curva espectral $\gamma: Y \to X$ associada a um fibrado de linha de torsão $L$.
  • Demonstram que o locus de pontos fixos é coberto por imagens de espaços de moduli de bundles sobre a curva recobrindo $Y$.
  • Lema Chave (3.1 e 3.2): Estabelecem uma correspondência entre bundles fixos e bundles sobre a curva espectral com estruturas parabólicas induzidas.
  • Resultado de Codimensão: Provam que, para um sistema de pesos genérico $\alpha$, a codimensão do locus de pontos fixos no espaço de moduli é pelo menos 3.
• Conclusão via Teoria de Stacks: Como a ação é livre fora de um conjunto de codimensão $\geq 3$, e o grupo $\Gamma$ é finito, o Grupo de Brauer do stack coincide com o do espaço de moduli suave (devido à invariância do Grupo de Brauer sob remoção de subvariedades de codimensão $\geq 3$).

Parte B: Bundles Quasi-Parabólicos para Grupos Simples e Simply Connected ($G$)

• Teorema de Uniformização: Utilizam o teorema de uniformização de Laszlo e Sorger ([LS]) para expressar o stack de moduli $M^{\text{par}}_G(p, P)$ como um quociente de um esquema ind-projetivo $Q^{\text{par}}_G$ pela ação de um grupo ind-esquema $L_X(G)$ (laços de $G$).
  $$M^{\text{par}}_G \simeq [L_X(G) \backslash Q^{\text{par}}_G]$$
• Cohomologia Singular e Propriedades de Pic:
  • Calculam a cohomologia singular do stack usando o teorema de Leray-Hirsch e a estrutura do esquema $Q^{\text{par}}_G = Q_G \times F$ (onde $F$ é um produto de variedades de bandeira).
  • Demonstram que $H^3_B(Q^{\text{par}}_G, \mathbb{Z}) = 0$.
• Comparação entre Brauer Analítico e Algébrico:
  • Utilizam a Proposição 5.5 (de [BHol]), que estabelece isomorfismos entre o Grupo de Brauer algébrico, o Grupo de Brauer analítico e a torção de $H^3_B(Y, \mathbb{Z})$, sob certas condições sobre fibrados de linha holomórficos.
  • Verificam que o stack $M^{\text{par}}_G$ satisfaz essas condições (sobrejetividade da classe de Chern e existência de estrutura algébrica).
  • Usam a sequência espectral de Leray para a fibração principal $Q^{\text{par}}_G \to M^{\text{par}}_G$ para relacionar os grupos de cohomologia do stack com os do esquema base e do grupo de estrutura.

3. Resultados Principais

Teorema 1.1 (Teorema 4.2):
Para uma curva $X$ de gênero $g \geq 2$ e um sistema de pesos $\alpha$ genérico, o Grupo de Brauer do stack de moduli de bundles principais parabólicos estáveis $PGL(r, \mathbb{C})$, denotado por $N^{m,\alpha}_X(r, \delta)$, é isomorfo ao Grupo de Brauer da parte suave do seu espaço de moduli grosseiro correspondente:
$$Br(N^{m,\alpha}_X(r, \delta)) \simeq Br(N^{m,\alpha}_X(r, \delta)^{\text{sm}})$$
Nota: Este resultado generaliza trabalhos anteriores que eram restritos a sistemas de pesos de "bandeira completa" (full-flag).

Teorema 1.2 (Proposição 5.7 e Teorema 5.8):
Seja $G$ um grupo algébrico linear complexo simples e simplesmente conexo. Então, tanto o Grupo de Brauer analítico quanto o algébrico do stack de moduli de bundles principais quasi-parabólicos $M^{\text{par}}_G(p, P)$ são nulos:
$$Br(M^{\text{par}}_G(p, P)) = 0 \quad \text{e} \quad H^2(M^{\text{par}}_G, (\mathcal{O}^{\text{an}}_{M^{\text{par}}_G})^*)_{\text{tors}} = 0$$
Isso implica que não há obstruções de Brauer para a existência de certos objetos geométricos ou pontos racionais nesses stacks específicos.

4. Significado e Contribuições

1. Generalização de Pesos: O trabalho remove a restrição de que os sistemas de pesos devem ser de "bandeira completa" para o caso $PGL(r, \mathbb{C})$, provando que o isomorfismo entre o Brauer do stack e do espaço suave vale para qualquer sistema de pesos genérico. Isso amplia significativamente a aplicabilidade dos resultados anteriores.
2. Vanishing para Grupos Simples: A demonstração de que o Grupo de Brauer se anula para grupos simples e simplesmente conexos ($G$) é um resultado forte. Isso contrasta com casos onde o grupo fundamental não é trivial ou o grupo não é simplesmente conexo, onde o Grupo de Brauer pode ser não trivial (frequentemente relacionado ao grupo fundamental do grupo de estrutura).
3. Técnica de Uniformização: A aplicação sistemática do teorema de uniformização de Laszlo-Sorger para calcular cohomologia e grupos de Brauer de stacks de moduli de bundles parabólicos demonstra a eficácia dessa abordagem na geometria algébrica moderna.
4. Invariância Birracional: Ao estabelecer a igualdade entre o Brauer do stack e o do espaço suave (para $PGL$), os autores reforçam a utilidade desses invariantes no estudo da racionalidade de variedades de moduli, conectando a geometria do stack (que contém informações sobre automorfismos) com a geometria do espaço de moduli clássico.

Em suma, o artigo fornece uma compreensão completa e robusta dos invariantes de Brauer para duas classes fundamentais de espaços de moduli de bundles parabólicos, unificando resultados anteriores e estabelecendo novos limites para a teoria de grupos de Brauer em geometria algébrica.