Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

Resumo Técnico: Dicotomia para a Obstrução de Brauer–Manin $p$-primária em Característica $p$

Enunciado do Problema
O artigo investiga o comportamento da obstrução de Brauer–Manin $p$-primária para variedades suaves, projetivas e geometricamente íntegras $X$ sobre um corpo de funções globais $k$ de característica $p > 0$. Especificamente, aborda a questão de quais lugares $v$ de $k$ são "potencialmente relevantes" para a obstrução de Brauer–Manin $p$-primária. Um lugar é potencialmente relevante se existe uma extensão finita $L/k$, um lugar $w$ de $L$ sobre $v$, e um elemento $A \in \text{Br}(X_L)$ tal que o mapa de avaliação $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$ é não constante.

Esta investigação é motivada por resultados recentes no caso de corpos numéricos (Bright e Newton; Ambrosi, Newton e Pagano), que mostram que, se $H^0(X, \Omega^2) \neq 0$, então quase todos os lugares são potencialmente relevantes. Os autores buscam determinar se uma dicotomia análoga existe em característica positiva, particularmente em relação ao papel da parte unipotente do grupo de Brauer.

Estrutura Matemática e Metodologia
A análise baseia-se na estrutura do subgrupo de torção $p$-primária do grupo de Brauer geométrico, $\text{Br}(X_{\bar{k}})[p^\infty]$. Seguindo Milne e Serre, o quociente deste grupo pelo seu subgrupo divisível é identificado com os pontos $\bar{k}$ de um grupo quase-algébrico $G_X$. Este grupo $G_X$ é uma extensão de um grupo étale finito $D_X$ por um grupo unipotente suave conexo $U_X$. Os autores definem $U_X$ como o grupo de Brauer unipotente de $X$.

A metodologia combina duas ferramentas técnicas primárias:

1. Representabilidade da Cohomologia Plana: O artigo utiliza os resultados de representabilidade genérica de Bragg e Olsson [BO] para feixes de cohomologia plana $R^q\pi_*\mu_{p^n}$ associados a uma extensão (spreading out) $\pi: \mathcal{X} \to C$ da variedade $X$.
2. Filtração de Avaliação: Para o caso em que $U_X \neq 0$, os autores empregam resultados recentes de Krishna e Majumder [KM] relativos à filtração de Kato para o grupo de Brauer local em equicaracterística $p$. Esta filtração permite a caracterização de elementos no grupo de Brauer que produzem mapas de avaliação não constantes.

As provas envolvem a construção de modelos suaves $\pi: \mathcal{X} \to C$ sobre uma curva $C$ com corpo de funções $k$ e a análise do comportamento dos feixes $R^2\pi_*\mu_{p^n}$ e $R^3\pi_*\mu_{p^n}$ sobre $C$. A dimensão de $U_X$ está relacionada às inclinações (slopes) dos grupos de cohomologia cristalina de $X_{\bar{k}}$.

Contribuições Principais e Resultados
O resultado central é uma dicotomia baseada no desaparecimento do grupo de Brauer unipotente $U_X$:

• Teorema A (i): Se $U_X = 0$ e o esquema de Picard de $X$ é livre de $p$-torção, então apenas finitos lugares de $k$ são potencialmente relevantes para a obstrução de Brauer–Manin $p$-primária. Neste caso, o conjunto de lugares potencialmente relevantes está contido no conjunto de lugares onde uma extensão suave específica $\pi: \mathcal{X} \to C$ falha em possuir a propriedade de que $R^2\pi_*\mu_p$ é um esquema de grupo plano finito e $R^3\pi_*\mu_p$ é um esquema de grupo afim.
• Teorema A (ii): Se $U_X \neq 0$, então quase todos os lugares de $k$ são potencialmente relevantes para a obstrução de Brauer–Manin $p$-primária. A prova demonstra que, para qualquer lugar $v$ no suporte de um modelo adequado, é possível construir uma classe de Brauer cujo mapa de avaliação é não constante, explorando a não trivialidade do grupo esquema unipotente $R^2\pi_*\mu_p$.

Corolários e Casos Especiais:

• Corolário B: Combinando o resultado $p$-primário com resultados conhecidos para o caso $\ell$-primário ($\ell \neq p$), se $U_X = 0$ e o esquema de Picard é livre de torção, apenas finitos lugares são relevantes para a obstrução de Brauer–Manin completa.
• Variedades Constantes (Teorema C): Se $X$ é definida sobre um corpo finito $\mathbb{F}$ (ou seja, $X$ é uma variedade constante sobre $k$):
  • Se $U_X = 0$ e o esquema de Picard é livre de torção, o emparelhamento de Brauer–Manin é identicamente zero.
  • Se $U_X \neq 0$, cada lugar de $k$ é potencialmente relevante.
• Grupo de Brauer Geometricamente Livre de $p$-torção (Proposição 4.1): Se $\text{Br}(X_{\bar{k}})[p^\infty] = 0$ (o que implica $U_X=0$), qualquer lugar onde $X$ possui redução boa não é potencialmente relevante. O artigo fornece exemplos de superfícies K3 não-isotriviais que satisfazem estas condições, mostrando que este caso é distinto do caso da variedade constante.

Significância e Alegações
O artigo afirma estabelecer uma dicotomia fundamental no comportamento da obstrução de Brauer–Manin em característica positiva, impulsionada pela presença ou ausência do grupo de Brauer unipotente.

• Quando $U_X = 0$, a obstrução é "pequena" no sentido de que apenas um conjunto finito de lugares pode obstruir o princípio de Hasse via a parte $p$-primária.
• Quando $U_X \neq 0$, a obstrução é "grande", sendo quase todos os lugares potencialmente relevantes.

Os autores observam que, embora a existência da curva $C$ necessária para as provas seja garantida por Bragg–Olsson, a determinação precisa do conjunto excepcional de lugares é geralmente difícil de tornar explícita, exceto em casos específicos como variedades constantes ou aquelas com redução boa. O trabalho amplia a compreensão da obstrução de Brauer–Manin de corpos numéricos para corpos de funções globais, destacando o papel distinto dos fenômenos unipotentes em característica $p$.