Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

Resumo Técnico: Insuficiência da obstrução de Brauer–Manin algébrica para espaços homogêneos

Enunciado do Problema
O artigo aborda a falha do princípio de Hasse (princípio local-global) para pontos racionais em variedades algébricas. Especificamente, investiga se a obstrução de Brauer–Manin, um mecanismo cohomológico introduzido por Manin, é suficiente para explicar todas essas falhas para espaços homogêneos de grupos algébricos lineares conexos.

Embora a suficiência da obstrução de Brauer–Manin esteja estabelecida para variedades com geometria "tame" (ex: variedades geometricamente racionalmente conexas) e para espaços homogêneos com estabilizadores conexos ou comutativos, o caso de estabilizadores finitos não abelianos permanece amplamente em aberto. Trabalhos anteriores de Demarche, Lucchini Arteche, Neftin, Demeio e Lagarde demonstraram que a parte algébrica da obstrução de Brauer–Manin é insuficiente para a aproximação fraca no caso de estabilizadores metabelianos constantes finitos. No entanto, a existência de espaços homogêneos onde a obstrução algébrica falha em explicar a própria falha do princípio de Hasse era desconhecida. Este artigo visa construir tal contraexemplo.

Metodologia
Os autores constroem um contraexemplo específico usando um espaço homogêneo $X$ do grupo linear especial $SL_n$ sobre um corpo numérico $k$ contendo uma raiz p-ésima primitiva (onde $p$ é um primo ímpar). A construção baseia-se na maquinaria desenvolvida por Borovoi e Kunyavskii, posteriormente refinada pelo autor em trabalho anterior [Lin24].

1. Construção do Grupo: O estabilizador geométrico $F$ do espaço homogêneo é construído como uma extensão central de $M \oplus M$ por $Z$, onde $M = \mathbb{F}_p^d$ e $Z$ é um quociente de $M \otimes M$. A extensão é definida via um homomorfismo sobrejetivo e não degenerado $\phi: M \otimes M \to Z$.
2. Dados Numéricos: Os autores escolhem $d = [k:\mathbb{Q}] + 3$ e definem a inclusão $A \otimes A \to M \otimes M$ (onde $A=\mathbb{F}_p$) mapeando o gerador para a matriz identidade $Id$. O grupo $F$ possui classe de nilpotência 2 e ordem $p^{d^2+2d-1}$.
3. Configuração Cohomológica: Uma classe $\beta \in H^2(k, Z)$ é construída usando a teoria de classes de campos globais. Esta classe desaparece em todos os lugares exceto para um conjunto de lugares finitos distintos $\{v_1, \dots, v_d\}$, onde seus invariantes locais correspondem às imagens de matrizes de posto um $e_i \otimes e_i$ sob $\phi$.
4. Análise Local vs. Global:
   • Existência Local: Usando a dualidade local de Tate e o fato de que o posto dos grupos de cohomologia local $H^1(k_v, \mathbb{F}_p)$ é pequeno (limitado por 2 para lugares que não dividem $p$), os autores mostram que soluções locais $x_v, y_v$ existem para a equação $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ em cada lugar $v$. Isso garante que $X(k_v) \neq \emptyset$ para todos os $v$.
   • Não Existência Global: Os autores provam que nenhuma solução global existe. Eles utilizam um limite uniforme no posto da matriz $A_v = \text{Inv}_v(x \cup y)$ derivado da dimensão de $H^1(k_v, \mathbb{F}_p)$. Para $d$ suficientemente grande, as restrições locais forçam $A_v$ a ser exatamente $e_i \otimes e_i$ nos lugares específicos e $0$ nos demais. A soma desses invariantes locais resulta na matriz identidade $Id$, que é não nula, contradizendo a lei de reciprocidade global (que exige que a soma dos invariantes locais seja zero).

Contribuições Principais e Resultados
O artigo estabelece o seguinte resultado principal (Teorema 1):

• Construção de Contraexemplo: Existe um espaço homogêneo $X$ de $SL_n$ sobre $k$ com estabilizadores de grupos $p$-finitos de classe de nilpotência 2 tal que:

  1. $X$ possui pontos em cada completamento $k_v$ (solubilidade local).
  2. $X$ não possui pontos racionais ($X(k) = \emptyset$).
  3. O grupo de Brauer algébrico não ramificado satisfaz $Br_{nr,1}(X) = Br_0(X)$.

• Obstrução Transcendental: Como a parte algébrica da obstrução de Brauer–Manin é trivial (igual à parte constante), a falha do princípio de Hasse não pode ser explicada por classes algébricas. Os autores demonstram que o grupo de Brauer não ramificado completo $Br_{nr}(X)$ é isomorfo a $\mathbb{Z}/p$ módulo constantes. Ao construir uma classe transcendental explícita $A_L \in Br_{nr}(X)$ usando uma forma linear $L: M \otimes M \to \mathbb{F}_p$, eles mostram que esta classe produz um emparelhamento de Brauer–Manin não nulo:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Isso confirma que a falha do princípio de Hasse é explicada por uma obstrução de Brauer–Manin transcendental.

Significância
O artigo fornece o primeiro exemplo de um espaço homogêneo de um grupo algébrico linear conexo onde o princípio de Hasse falha devido a uma obstrução de Brauer–Manin transcendental, enquanto a obstrução algébrica é insuficiente. Este resultado destaca a necessidade de considerar classes transcendentais na aritmética de espaços homogêneos com estabilizadores finitos não abelianos. Ele confirma que, para tais espaços, as conjecturas de geometria "tame" (que frequentemente dependem de dualidade abeliana) não são suficientes, e todo o poder da obstrução de Brauer–Manin, incluindo elementos transcendentais, é necessário para controlar pontos racionais. O método explora a interação entre a classe de nilpotência do estabilizador, o posto dos grupos de cohomologia local e as leis de reciprocidade global.