Approximation theorems for classifying stacks over number fields

Resumo Técnico: Teoremas de Aproximação para Estacos de Classificação sobre Corpos Numéricos

Enunciado do Problema
O artigo aborda um problema de aproximação específico para estacos algébricos sobre um corpo numérico $k$. Dado um grupo algébrico linear conexo $G$ e um conjunto finito de lugares não arquimedianos $v_1, \dots, v_n$ de $k$, a questão central é: dados um conjunto de $G$-torsores $P_v$ definidos sobre as complementações $k_{v_i}$, existe um $G$-torsor global $P$ definido sobre $k$ que aproxime os dados locais? Na linguagem de estacos, isso questiona se o mapa do conjunto de pontos de $k$ do estaco de classificação, $BG(k)$, para seus pontos adélicos, $BG(\mathbb{A}_k)$, possui uma imagem densa. O artigo investiga isso sob a restrição da obstrução de Brauer-Manin, buscando condições sob as quais torsores locais podem ser aproximados por um torsor global que seja $v$-adicamente próximo dos torsores locais prescritos.

Metodologia e Estrutura Técnica
O artigo emprega uma combinação de construções topológicas em estacos algébricos, métodos cohomológicos e técnicas de redução via grupos especiais.

1. Topologização de Pontos Adélicos de Estacos:
   Um obstáculo técnico primário abordado é a construção de uma topologia nos pontos adélicos $X(\mathbb{A}_k)$ de um estaco algébrico. O autor observa que uma construção anterior na literatura ([7]) contém um erro referente à trivialidade de módulos projetivos sobre anéis de adeles. Para corrigir isso, o artigo introduz o conceito de estacos levantáveis (Definição 2.12 e 2.14). Um estaco é $S$-levantável se admite uma apresentação $P \to X$ por um espaço algébrico separado $P$ tal que o mapa nos pontos é sobrejetivo e satisfaz condições específicas de trivialidade local.

   • Lema Chave: O artigo prova que, para um subconjunto finito $S$ de lugares, todo $GL(V)$-torsor e $SL(V)$-torsor sobre o anel de $S$-adeles é trivial (Proposição 2.2 e Corolário 2.3). Isso permite a construção de uma topologia de quociente em $X(\mathbb{A}_k)$ via uma apresentação de levantamento, garantindo que a topologia seja bem definida e independente da escolha da apresentação (Proposição 2.17).

2. O Emparelhamento de Brauer-Manin para Estacos:
   O autor estende o clássico obstáculo de Brauer-Manin para estacos algébricos.

   • Extensão (Spreading Out): Utilizando técnicas simpliciais e o sítio étale grande, o artigo estabelece que classes de cohomologia (especificamente classes de Brauer) em um estaco sobre um corpo numérico podem ser "espalhadas" para um modelo sobre um subesquema aberto do anel de inteiros (Teorema 3.7, Corolário 4.3).
   • Construção do Emparelhamento: O emparelhamento de Brauer-Manin $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$ é construído somando invariantes de Hasse locais. O artigo prova a continuidade deste emparelhamento em relação à topologia adélica (Proposição 4.5, 4.6).
   • Obstrução: O lugar de nulidade deste emparelhamento, $X(\mathbb{A}_k)^{Br}$, é mostrado como um subconjunto fechado contendo os pontos racionais $X(k)$, fornecendo uma obstrução à aproximação forte.

3. Redução a Grupos Especiais:
   A estratégia central para provar teoremas de aproximação envolve reduzir o problema para um grupo geral $G$ ao caso do grupo linear especial $SL(V)$.

   • Isomorfismo de Grupos de Brauer: Ao fixar uma representação fiel $G \hookrightarrow SL(V)$, o estaco de classificação $BG$ é identificado com o estaco de quociente $[X/SL(V)]$ onde $X = G \backslash SL(V)$. O artigo prova que o mapa de pullback $Br([X/SL(V)]) \to Br(X)$ é um isomorfismo (Proposição 5.3).
   • Aproximação Equivariante: Esta redução permite que o problema seja deslocado para a variedade $X \times_G SL(V)$. O artigo utiliza resultados conhecidos sobre aproximação forte para $SL(V)$ (um teorema de Kneser) e aproximação forte equivariante para espaços homogêneos (resultados de [5] e [8]).

Principais Contribuições e Resultados

• Correção da Construção Topológica: O artigo fornece um arcabouço corrigido e rigoroso para definir a topologia nos pontos adélicos de estacos algébricos, resolvendo questões relacionadas a módulos projetivos não triviais sobre anéis de adeles encontradas em trabalhos anteriores.
• Aproximação Forte com Obstrução de Brauer-Manin para $BG$: O principal resultado (Teorema 5.5) afirma que, para um grupo algébrico linear conexo $G$ sobre um corpo numérico $k$, e um conjunto finito de lugares $S$ contendo todos os lugares arquimedianos e pelo menos um lugar finito, a aproximação forte ocorre para o estaco de classificação $BG$ fora de $S$ em relação à obstrução de Brauer-Manin. Especificamente, a imagem de $BG(k)$ é densa no lugar de pontos fixos de Brauer-Manin de $BG(\mathbb{A}_k)$.
• Generalização para Estacos de Quociente: O Teorema 5.4 estabelece um critério para a aproximação forte para estacos de quociente $[Y/G]$. Ele mostra que, se a aproximação forte ocorre para o espaço associado $Y \times_G SL(V)$, então ela ocorre para o estaco de quociente $[Y/G]$. Isso se aplica a quocientes de variedades "groupic", incluindo certos quocientes de variedades tóricas.
• Aproximação Forte Equivariante: O artigo utiliza e esclarece a relação entre a aproximação forte para o grupo $G$ e o espaço homogêneo $G \backslash SL(V)$, demonstrando como as propriedades de aproximação do grupo se transferem para o estaco de classificação via o emparelhamento de Brauer-Manin.

Significado e Alegações
O artigo afirma responder a uma "questão muito concreta" sobre a aproximação de $G$-torsores locais por um global, enquadrando-a como uma propriedade de aproximação forte para o estaco de classificação. O significado reside em:

1. Extensão da Teoria Numérica Clássica: Ele estende a teoria clássica de aproximação forte e a obstrução de Brauer-Manin, tradicionalmente aplicadas a esquemas e variedades, para o domínio dos estacos algébricos, especificamente estacos de classificação.
2. Aplicação Concreta: Fornece uma condição definitiva (o desaparecimento da obstrução de Brauer-Manin) sob a qual um conjunto de $G$-torsores locais pode ser aproximado por um $G$-torsor global.
3. Rigor Metodológico: Ao corrigir as fundações topológicas para pontos adélicos de estacos, o artigo permite o estudo posterior das propriedades de aproximação no ambiente de estacos, o que é essencial para compreender a aritmética de problemas de moduli e torsores.

O autor nota que, embora o resultado para $BG$ dependa da conexidade de $G$ e das propriedades de $SL(V)$, o arcabouço desenvolvido é aplicável a uma classe mais ampla de estacos de quociente gerados por variedades groupic. O artigo não pretende resolver a aproximação forte para todos os estacos algébricos, mas restringe seu teorema principal aos estacos de classificação de grupos algébricos lineares conexos e a certos estacos de quociente derivados deles.