Brauer group of moduli of stable parabolic $\text{SL}(r,\mathbb{C})$ and $\text{PGL}(r,\mathbb{C})$-connections and Higgs bundles over a curve

Resumo Técnico: Grupos de Brauer de Moduli de Conexões Parabolicas e Fibrados de Higgs

1. Problema e Contexto

O artigo aborda o cálculo dos grupos de Brauer de espaços de moduli de certas estruturas geométricas sobre uma superfície de Riemann compacta $X$ de gênero $g \geq 3$. O grupo de Brauer cohomológico, definido como o subgrupo de torção de $H^2_{\text{\'et}}(Y, \mathbb{G}_m)$, é um invariante fundamental que mede a obstrução à existência de um fibrado universal sobre o espaço de moduli e desempenha um papel central em questões de racionalidade.

O foco específico do trabalho recai sobre:

1. O espaço de moduli de conexões parabólicas estáveis do grupo $SL(r, \mathbb{C})$ com determinante fixo.
2. O espaço de moduli de fibrados de Higgs parabólicos fortemente estáveis do grupo $SL(r, \mathbb{C})$ com determinante fixo.
3. A relação entre o grupo de Brauer do pilha de moduli (stack) de conexões parabólicas $PGL(r, \mathbb{C})$ e o grupo de Brauer da locais suaves de seu espaço de moduli grosseiro (coarse moduli space).

O trabalho estende resultados anteriores conhecidos para fibrados vetoriais parabólicos e conexões logarítmicas (estudados em [BBS, BD]) para o contexto de conexões parabólicas e fibrados de Higgs.

2. Metodologia

Os autores utilizam uma combinação de geometria algébrica, teoria de representações e topologia algébrica. A metodologia principal envolve:

• Análise de Dimensão e Singularidades:

  • Estabelecem que o espaço de moduli de conexões parabólicas $M_{pc}^{m,\alpha}(r, \xi)$ é uma variedade quasi-projetiva suave.
  • Demonstram que o subconjunto fechado $Z$ de conexões cujo fibrado subjacente não é estável tem codimensão pelo menos 2 (para $SL(r)$) e codimensão pelo menos 3 (para o caso de $PGL(r)$ e pontos fixos de torção).
  • Utilizam o princípio de pureza cohomológica (Cohomological Purity), que afirma que se $U$ é um aberto denso de uma variedade $Y$ e o complementar $Y \setminus U$ tem codimensão $\geq 2$, então o grupo de Brauer de $Y$ é isomorfo ao de $U$.

• Estrutura de Fibrado e Torsor:

  • Para conexões $SL(r, \mathbb{C})$, utilizam o morfismo de esquecimento $\pi: U \to N^{m,\alpha}(r, \xi)$ (onde $N$ é o espaço de moduli de fibrados parabólicos estáveis).
  • Mostram que o espaço de conexões estáveis sobre um fibrado fixo forma um torsor sobre o fibrado cotangente $T^*N^{m,\alpha}(r, \xi)$.
  • Como o grupo de Brauer é invariante sob fibrados vetoriais (e torsores afins), reduzem o cálculo do grupo de Brauer das conexões ao cálculo do grupo de Brauer do espaço de moduli de fibrados parabólicos subjacentes.

• Ação de Grupos de Torção (Caso $PGL$):

  • Para o caso $PGL(r, \mathbb{C})$, consideram a ação do grupo finito $\Gamma$ de fibrados de linha de torção $r$-ésima ($M^{\otimes r} \cong \mathcal{O}_X$) sobre o espaço de moduli $SL(r)$.
  • Analisam o locus de pontos fixos desta ação. Utilizam curvas espectrais associadas a seções de fibrados de torção para descrever a estrutura dos pontos fixos.
  • Demonstram que o locus de pontos fixos tem codimensão $\geq 3$, o que permite concluir que o grupo de Brauer da pilha (stack) é isomorfo ao do espaço de moduli grosseiro suave.

3. Contribuições e Resultados Principais

Teorema 1.1 (Grupos de Brauer para $SL(r, \mathbb{C})$):
Seja $X$ uma superfície de Riemann de gênero $g \geq 3$. Seja $\alpha$ um sistema genérico de pesos. Os grupos de Brauer dos espaços de moduli de:

1. Conexões parabólicas estáveis $M_{pc}^{m,\alpha}(r, \xi)$.
2. Fibrados de Higgs parabólicos fortemente estáveis $M_{Higgs}^{m,\alpha}(r, \xi)$.

São ambos isomorfos ao grupo cíclico $\mathbb{Z}/\nu\mathbb{Z}$, onde:
$$\nu = \gcd(r, d, m_1^1, m_1^2, \dots, m_{\ell_1}^1, \dots, m_{\ell_n}^n)$$
Aqui, $d$ é o grau do determinante fixo, e $m_j^i$ são as multiplicidades das flags nos pontos parabólicos.

Teorema 1.2 (Igualdade para $PGL(r, \mathbb{C})$):
Para o espaço de moduli grosseiro $N_{pc}^{m,\alpha}(r, i)$ de conexões parabólicas estáveis $PGL(r, \mathbb{C})$ e sua pilha de moduli correspondente $\mathcal{N}_{pc}^{m,\alpha}(r, i)$, estabelece-se a seguinte igualdade:
$$\text{Br}\left(\mathcal{N}_{pc}^{m,\alpha}(r, i)\right) \simeq \text{Br}\left(N_{pc}^{m,\alpha}(r, i)^{sm}\right)$$
Onde $N_{pc}^{m,\alpha}(r, i)^{sm}$ denota o lugar suave do espaço de moduli grosseiro.

4. Significado e Implicações

• Generalização de Resultados Clássicos: O trabalho generaliza resultados conhecidos para fibrados vetoriais e conexões logarítmicas para o contexto mais rico de conexões e fibrados de Higgs parabólicos, confirmando que a estrutura do grupo de Brauer é robusta sob essas deformações.
• Obstrução ao Fibrado Universal: O resultado explícito $\mathbb{Z}/\nu\mathbb{Z}$ quantifica exatamente a obstrução à existência de um fibrado universal sobre esses espaços de moduli. Se $\nu > 1$, não existe um fibrado universal; a obstrução é medida por este grupo cíclico.
• Relação Stack-Espaço Grosseiro: O Teorema 1.2 é significativo porque resolve uma questão sobre a equivalência entre a cohomologia da pilha de moduli (que contém informações sobre automorfismos) e a cohomologia do espaço de moduli grosseiro (que ignora automorfismos). A prova de que a diferença tem codimensão $\geq 3$ garante que, para o grupo de Brauer, essas duas estruturas são indistinguíveis no lugar suave.
• Aplicações em Teoria de Campos e Geometria: O cálculo do grupo de Brauer é crucial para a teoria de representações de grupos fundamentais, a correspondência de Langlands geométrica e questões de racionalidade de variedades de moduli.

Em suma, o artigo fornece uma descrição completa e precisa dos invariantes de Brauer para sistemas integráveis e fibrados de Higgs parabólicos, unificando a teoria de conexões e Higgs no contexto de grupos de Lie $SL$e$PGL$.