The étale Brauer-Manin obstruction for classifying stacks

1. Problema e Contexto

O artigo aborda princípios local-globais e aproximação forte para stacks algébricos, especificamente para os stacks classificatórios $BG$, onde $G$ é um grupo algébrico linear sobre um corpo de números $k$.

• Aproximação Forte: A questão central é saber se pontos dados localmente em certos lugares de $k$ (incluindo possivelmente infinitos) podem ser aproximados arbitrariamente por um ponto racional global $k$. Formalmente, pergunta-se se a imagem do mapa natural $X(k) \to X(\mathbb{A}_k)$ é densa.
• Obstrução de Brauer-Manin: Para variedades algébricas, sabe-se que a obstrução de Brauer-Manin (relacionada ao grupo de Brauer $Br(X)$) é frequentemente a única obstrução à aproximação forte.
• O Caso dos Grupos Desconectados: Trabalhos anteriores (como o do primeiro autor em [4]) estabeleceram que a obstrução de Brauer-Manin clássica é a única obstrução para $BG$ quando $G$ é conexo. No entanto, quando $G$ é desconectado (especialmente se $G/G^\circ$ não é abeliano), a situação clássica torna-se insuficiente ou incerta.
• Objetivo: O artigo visa provar que a obstrução de Brauer-Manin étale (uma obstrução mais fina que considera torções de Galois por esquemas de grupos étale finitos) é a única obstrução à aproximação forte para $BG$, independentemente de $G$ ser conexo ou desconectado.

2. Metodologia e Ferramentas Teóricas

A prova requer o desenvolvimento de uma teoria robusta de torções de Galois (Galois twists) no contexto de 2-categorias (stacks), generalizando teorias conhecidas para variedades e esquemas.

A. Teoria de Torções e Twists para Stacks

Os autores formalizam a ação de grupos em stacks e a construção de twists de Galois:

• Torções ($G$-torsors): Definidos sobre stacks algébricos no topologia fppf.
• Twists de Galois: Dado um torção $f: X \to Y$ sob um grupo $G$ e um torção à esquerda $P$ (representando uma classe de cohomologia $\sigma \in H^1(k, G)$), define-se o twist $X_\sigma = X \times_G P$.
• Propriedades Chave: Demonstram que a operação de twist comuta com mudanças de base e que twists de torções resultam em torções sob grupos internos (inner forms) de $G$.
• Estrutura de 2-Categorias: O trabalho lida cuidadosamente com ações fracas de grupos em stacks (envolvendo transformações naturais $\alpha$ e $a$) e morfismos equivariantes, essencial para definir twists em contextos onde a ação não é estrita.

B. Topologia nos Pontos Adélicos

Utilizam a topologia desenvolvida em [4] para pontos adélicos de stacks:

• Definem pontos adélicos $X(\mathbb{A}_{k,S})$ via "espalhamento" (spreading out) sobre anéis de inteiros $O_{k,S}$.
• Utilizam apresentações de levantamento ($S$-lifting presentations) para definir a topologia quociente nos pontos adélicos, garantindo que propriedades topológicas (como ser fechado) sejam bem definidas.

C. A Obstrução de Brauer-Manin Étale

Definem o lugar de Brauer-Manin étale para um stack $X$ como:
$$X(\mathbb{A}_k)^{\text{ét,Br}} := \bigcap_{f: Y \to X \text{ é um } H\text{-torsor}} \bigcup_{\sigma \in H^1(k, H)} f_\sigma(Y_\sigma(\mathbb{A}_k)^{\text{Br}})$$
onde $H$ percorre todos os esquemas de grupos étale finitos sobre $k$. Esta definição captura fenômenos aritméticos sutis invisíveis no nível clássico.

3. Principais Resultados

O teorema central do artigo é o Teorema 1.1, que estabelece:

Teorema 1.1: Seja $G$ um grupo algébrico linear sobre um corpo de números $k$ e $S$ um conjunto finito de lugares contendo todos os lugares infinitos.

1. O lugar de Brauer-Manin étale $BG(\mathbb{A}_{S,k})^{\text{ét,Br}}$ é um conjunto fechado na topologia adélica.
2. A imagem do mapa natural $BG(k) \to BG(\mathbb{A}_{S,k})^{\text{ét,Br}}$ é densa.
   • Conclusão: A obstrução de Brauer-Manin étale é a única obstrução à aproximação forte para $BG$ fora de $S$.

Esboço da Prova (Seção 4):

1. Decomposição via Torções: Utilizando a sequência exata $1 \to G^\circ \to G \to H \to 1$ (onde $H = G/G^\circ$), o conjunto de pontos racionais $BG(k)$ é decomposto como uma união disjunta de twists $(BG^\circ)_\sigma(k)$, onde $\sigma \in H^1(k, H)$.
2. Redução ao Caso Conexo: O problema é reduzido ao estudo da aproximação forte para os twists $(BG^\circ)_\sigma$.
3. Propriedades dos Twists: Mostra-se que $(BG^\circ)_\sigma$ é isomorfo a um stack quociente $[P/G]$, onde $P$ é um espaço homogêneo com estabilizador conexo.
4. Aproximação Forte para SLn: Utiliza-se o fato de que torções sob $SL_n$ são triviais sobre anéis adélicos parciais e que a aproximação forte vale para espaços homogêneos com estabilizador conexo (baseado em resultados de [1] e [4]).
5. Densidade: Conclui-se que a imagem dos pontos racionais é densa no lugar de Brauer-Manin étale, pois este lugar é contido na união dos lugares de Brauer-Manin clássicos dos twists, onde a densidade já foi estabelecida.

4. Contribuições Técnicas

• Generalização para Stacks: A principal contribuição técnica é a formulação rigorosa da teoria de torções e twists de Galois para stacks algébricos, lidando com a complexidade das 2-categorias (ações fracas, transformações naturais e morfismos equivariantes).
• Topologia Étale: A prova de que o lugar de Brauer-Manin étale é fechado para stacks, generalizando resultados conhecidos para variedades.
• Resolução do Caso Desconectado: O artigo resolve a questão da aproximação forte para $BG$ quando $G$ é desconectado, mostrando que a obstrução clássica não é suficiente, mas a versão étale é completa.

5. Significado e Aplicações Futuras

• Teoria de Números e Geometria Aritmética: O resultado unifica a compreensão das obstruções à aproximação forte para uma classe vasta de objetos geométricos (stacks classificatórios), que codificam famílias de objetos algébricos com simetrias.
• Conjectura de Malle: O artigo destaca uma conexão profunda com a Conjectura de Malle, que prevê o número de extensões de Galois de um grupo fixo $G$ com discriminante limitado.
  • Extensões de Galois $L/k$ com grupo $G$ correspondem a $G$-torsors conexos, ou seja, pontos $k$-racionais em $BG$.
  • Trabalhos recentes (Loughran-Santens) sugerem que obstruções cohomológicas em $BG$ influenciam a contagem de pontos de altura limitada.
  • A compreensão da densidade de pontos racionais via obstrução étale abre caminho para refinar a Conjectura de Malle, possivelmente explicando desvios nas contagens esperadas devido a obstruções aritméticas finas.

Em resumo, o artigo estabelece um marco fundamental na geometria aritmética de stacks, provando que a obstrução de Brauer-Manin étale é a barreira final para a aproximação forte em stacks classificatórios, e fornece as ferramentas teóricas necessárias para explorar aplicações em problemas de contagem de extensões de Galois.