Failure of Weak Approximation in Adjoint Groups

1. O Problema

O artigo aborda uma questão fundamental na teoria dos grupos algébricos e na geometria aritmética: a aproximação fraca em grupos adjuntos semissimples sobre corpos arbitrários.

• Contexto: A aproximação fraca é uma propriedade que generaliza o Teorema Chinês do Resto. Um grupo algébrico $G$ definido sobre um corpo $F$ possui aproximação fraca se a imagem de $G(F)$ for densa no produto $\prod_{v \in S} G(F_v)$ (onde $S$ é um conjunto finito de valuações discretas e $F_v$ são os corpos de completamento) sob a imersão diagonal.
• A Conjectura: Em 1991, Platonov conjecturou que todos os grupos adjuntos semissimples são variedades racionais sobre corpos infinitos arbitrários e, consequentemente, possuem aproximação fraca.
• O Estado da Arte: Em 1996, Merkurjev refutou a parte da racionalidade da conjectura, construindo exemplos de grupos adjuntos que não são variedades racionais. No entanto, a questão sobre a aproximação fraca permaneceu em aberto. Sabe-se que a falha da racionalidade é uma obstrução à aproximação fraca, mas a recíproca não é necessariamente verdadeira (um grupo não racional pode ainda ter aproximação fraca). Até este trabalho, não se sabia se existiam grupos adjuntos que falhassem especificamente na aproximação fraca.

2. Metodologia

O autor constrói contraexemplos explícitos utilizando uma combinação de teoria de formas quadráticas, álgebras de divisão, teoria de R-equivalência e topologia adica. A estratégia segue os seguintes passos lógicos:

1. Construção de um Grupo com Falha de R-Universalidade:

   • O autor fixa um corpo global $F$ (característica $\neq 2$) onde $-1$ é um quadrado (ex: $\mathbb{Q}(i)$).
   • Utiliza um critério de Merkurjev para construir uma álgebra de quaterniões $Q$ e um elemento $d$ tal que $d$ é o negativo de uma norma reduzida de $Q$, mas não é uma norma reduzida de um quaternião puro.
   • Define um grupo adjunto $G$ de tipo $D_n$ (para $n$ ímpar $\ge 3$) associado a uma involução em uma álgebra de matrizes sobre $Q$.
   • Garante que $G$ falha na R-equivalência universal: existe uma extensão de corpo $E/F$ tal que o conjunto de classes de R-equivalência $G(E)/R$ não é trivial (diferente de 1), enquanto $G(F)/R = 1$.

2. Transição para um Corpo com Valuação (O "Truque" Principal):

   • O objetivo é transformar a falha de R-equivalência em uma extensão algébrica/transcendental em uma falha de aproximação fraca.
   • O autor constrói um corpo $K$ contendo $F$ e uma valuação discreta $v$ tal que o corpo residual $\kappa_v$ é isomorfo à extensão $E$ onde a R-equivalência falha.
   • Isso é feito usando uma base de transcendência separável e o Teorema do Elemento Primitivo, definindo uma valuação induzida pelo ideal primo do polinômio minimal de um gerador da extensão.
   • Resultado chave: $G(K)/R = 1$ (devido à invariância homotópica), mas $G(K_v)/R \neq 1$ (pois $K_v$ se comporta como $E$ em termos de R-equivalência local).

3. Topologia e Contradição:

   • Utiliza-se um resultado de Raghunathan (via Lema 9 e 10) para mostrar que, em um corpo completo $K_v$, a classe de R-equivalência de qualquer ponto $g \in G(K_v)$ contém uma vizinhança adica aberta de $g$.
   • Argumento de Contradição:
     • Suponha que $G$ tenha aproximação fraca.
     • Existe um ponto $g \in G(K_v)$ que não é R-equivalente a 1 (pois $G(K_v)/R \neq 1$).
     • A classe de R-equivalência de $g$ é uma vizinhança aberta $U$.
     • Pela aproximação fraca, $G(K)$ deve ser denso, logo $G(K) \cap U \neq \emptyset$.
     • Seja $h \in G(K) \cap U$. Então $h$ é R-equivalente a $g$ em $G(K_v)$.
     • Mas como $G(K)/R = 1$, todo ponto em $G(K)$ é R-equivalente a 1. Logo, $h$ é R-equivalente a 1 em $G(K)$ e, por extensão, em $G(K_v)$.
     • Isso implicaria que $g$ é R-equivalente a 1, uma contradição.

3. Contribuições Chave e Resultados

• Resolução Negativa da Conjectura: O artigo prova definitivamente que a conjectura de Platonov-Thăng é falsa. Existem grupos adjuntos semissimples que não possuem aproximação fraca.
• Teorema Principal (Teorema 11): Estabelece a existência de um grupo adjunto $G$ definido sobre um corpo $K$ com uma valuação discreta $v$, tal que a imagem de $G(K)$ não é densa em $G(K_v)$.
• Exemplo Explícito (Exemplo 12):
  • Fornece um exemplo concreto usando $F = \mathbb{Q}(i)$.
  • Considera a álgebra de quaterniões $Q = (2, 5)_F$ ramificada nas valuações $(2+i)$ e $(2-i)$.
  • Constrói o grupo $G = \text{PSim}^+(A, \sigma)$, onde $A = M_3(Q)$ e $\sigma$ é uma involução específica.
  • Demonstra que, após uma extensão de corpo $K$ com grau de transcendência limitado (até 13 sobre $F$), o grupo $G_K$ falha na aproximação fraca.
• Generalização: O método gera infinitos grupos adjuntos de tipo $D_n$ (para $n$ ímpar) que falham na aproximação fraca.

4. Significado e Impacto

• Obstrução à Racionalidade: O trabalho reforça que a falha da aproximação fraca é uma obstrução mais forte e sutil à racionalidade do que apenas a falha da R-equivalência universal. Mostra que mesmo grupos que são "localmente" bem-comportados em termos de R-equivalência (em $K$) podem falhar globalmente devido à topologia adica.
• Técnica de "Deslocamento" de Propriedades: A metodologia de construir um corpo $K$ com uma valuação cujo corpo residual herda propriedades de uma extensão transcendental $E$ é uma ferramenta poderosa que pode ser aplicada a outros problemas de aproximação em geometria algébrica.
• Fechamento de uma Questão Aberta: Resolve um problema que permaneceu em aberto por mais de duas décadas desde o trabalho de Merkurjev, esclarecendo a estrutura aritmética dos grupos adjuntos sobre corpos gerais.

Em resumo, o artigo de Biswas demonstra que a racionalidade e a aproximação fraca não são garantidas para grupos adjuntos sobre corpos arbitrários, fornecendo uma construção explícita e rigorosa que refuta uma conjectura de longa data na teoria dos grupos algébricos.