Cohomological Obstructions for Varieties over $p$-adic Function Fields

Resumo Técnico: Obstruções Cohomológicas para Variedades sobre Corpos de Funções $p$-ádicos

Enunciado do Problema
O artigo aborda a aritmética de variedades integrais suaves definidas sobre corpos de funções $p$-ádicos (corpos de funções de curvas projetivas suaves sobre corpos $p$-ádicos). Especificamente, investiga as obstruções ao princípio local-global e à aproximação fraca. Embora a obstrução de Brauer–Manin seja bem compreendida sobre corpos numéricos, o artigo busca estabelecer uma teoria de obstrução sistemática sobre corpos de funções $p$-ádicos. Uma questão central é identificar a obstrução "mais fina" decorrente de dualidades aritméticas e determinar se a obstrução cohomológica não ramificada fornece uma restrição mais forte do que a clássica obstrução de Manin (definida via $H^3_{\text{ét}}$) ou as obstruções de descendência.

Metodologia
O autor emprega uma combinação de cohomologia étale, complexos motivicos e teorias de dualidade aritmética.

1. Estrutura Cohomológica: O estudo utiliza o sheaf étale $\mathbb{Q}/\mathbb{Z}(2)$ e complexos motivicos $\mathbb{Z}(2)$. O artigo define obstruções via emparelhamentos entre pontos adélicos $X(\mathbb{A})$ e grupos de cohomologia, especificamente $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$ (obstrução de Manin) e o grupo de cohomologia não ramificada $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$.
2. Abordagem Functorial: As obstruções são construídas usando funtores contravariantes da categoria de $K$-esquemas para conjuntos, comparando a imagem dos pontos adélicos sob mapas de avaliação contra condições de compatibilidade local-global.
3. Sequências Espectrais: A sequência espectral de Čech e a sequência espectral de Hochschild–Serre são utilizadas para computar grupos de cohomologia para construções geométricas específicas, particularmente para quocientes de espaços afins por ações de grupos.
4. Invariantes Cohomológicos: O artigo alavanca a teoria de invariantes cohomológicos (especificamente o invariante de Rost) para identificar grupos de cohomologia não ramificada com grupos de invariantes para grupos semi-simples simplesmente conexos.
5. Dualidades Aritméticas: A análise baseia-se em sequências de Poitou–Tate e invariantes locais (isomorfismos entre $H^3(K_v, \Lambda)$ e $\mathbb{Q}/\mathbb{Z}$) para estabelecer sequências exatas e emparelhamentos de dualidade.

Principais Contribuições e Resultados

• Comparação de Obstruções (Teorema 1.1):
  O artigo estabelece uma hierarquia entre obstruções cohomológicas. Prova que, para uma variedade $K$-integral suave $X$ e um grupo algébrico linear comutativo $M$ sobre $K$:

  • A obstrução não ramificada é mais fina que a obstrução de Manin: $X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$.
  • A obstrução não ramificada é mais fina que as obstruções decorrentes de qualquer elemento $\alpha \in H^i_{\text{ét}}(X, M)$ para $i \ge 1$.
  • Para $M$ finito, a obstrução não ramificada é mais fina que as obstruções de classes de cohomologia não ramificada.
  • O artigo demonstra que a obstrução não ramificada coincide com a obstrução definida por $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ via complexos motivicos.

• Existência de uma Obstrução Não Ramificada Estritamente Mais Forte (Teorema 1.2):
  O autor constrói um exemplo explícito de uma variedade $X = Y/G$ (onde $G$ é um grupo semi-simples simplesmente conexo que atua livremente em um subconjunto aberto de um espaço afim) tal que:

  • A obstrução de Manin é trivial ($X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$).
  • A obstrução não ramificada é não trivial ($X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A})$).
    Este resultado baseia-se nas propriedades do invariante de Rost $R$ e na existência de lugares $v$ onde $H^1(K_v, G) \neq 1$, mas o núcleo de Rost é trivial.

• Relação com Obstruções de Descendência (Teorema 1.3):
  O artigo compara a obstrução não ramificada com a obstrução de descendência. Prova que, para um grupo linear $K$ $G$ imerso em $SL_n$, os seguintes itens são equivalentes:

  • A obstrução não ramificada no quociente $X = SL_n/G$ coincide com o conjunto de pontos adélicos gerados por $SL_n(\mathbb{A})$ e pontos racionais $X(K)$.
  • Para qualquer variedade integral suave $Z$ e qualquer $G$-torsor $f: Y \to Z$, a obstrução não ramificada está contida na obstrução de descendência ($Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$).
    A prova utiliza produtos contraídos e o isomorfismo de cohomologia não ramificada sob torções de torsor.

Significância e Alegações
O artigo afirma fornecer uma compreensão sistemática da teoria de obstrução sobre corpos de funções $p$-ádicos, análoga aos desenvolvimentos sobre corpos numéricos.

• Refinamento de Obstruções: Identifica a obstrução não ramificada como a obstrução mais fina entre aquelas decorrentes de dualidades aritméticas e grupos de Brauer neste contexto.
• Contraexemplo: Resolve a questão de se a obstrução não ramificada é estritamente mais forte que a obstrução de Manin, fornecendo um contraexemplo concreto onde a obstrução de Manin falha em detectar uma falha no princípio local-global, enquanto a obstrução não ramificada tem sucesso.
• Conexão Motivica: Esclarece a relação entre diferentes graus cohomológicos ($H^3_{\text{nr}}$ vs. $H^4_{\text{ét}}$) via complexos motivicos, mostrando que eles definem o mesmo conjunto de obstrução.
• Limitações: O artigo nota modestamente que uma comparação total com a obstrução de descendência geral é atualmente limitada pela falta de uma generalização adequada da sequência exata de Kottwitz para corpos de funções $p$-ádicos.

O trabalho baseia-se em e estende estudos anteriores de Harari, Scheiderer, Szamuely, Tian e outros relativos a princípios local-global para grupos redutivos, e conecta-se às conjecturas de Colliot-Thélène sobre aproximação fraca.