A cohomological translation of the Kaplansky radical for profinite groups

Resumo Técnico: Uma Tradução Cohomológica do Radical de Kaplansky para Grupos Profinitos

Enunciado do Problema
O radical de Kaplansky de um corpo $\mathbb{K}$ (de característica $\neq 2$) é o conjunto dos elementos não nulos representados por toda forma quadrática binária $X^2 - aY^2$. Na década de 1980, D. Kijima e M. Nishi conjecturaram que, para extensões quadráticas $\mathbb{K}(\sqrt{a})/\mathbb{K}$, os radicais de Kaplansky estão relacionados pela aplicação de norma de maneira análoga ao Teorema 90 de Hilbert. Especificamente, eles conjecturaram que $N_{\mathbb{K}(\sqrt{a})/\mathbb{K}}^{-1}(R_K(\mathbb{K})) = R_K(\mathbb{K}(\sqrt{a})) \cdot \mathbb{K}^{\times 2}$. Esta "conjectura-H" foi refutada por K.J. Becher e D.B. Leep, que construíram contraexemplos. No entanto, a conjectura é válida para várias classes importantes de corpos.

R.P. Dario e A.J. Engler posteriormente generalizaram o radical de Kaplansky para primos $p$ arbitrários. O problema central abordado neste artigo é traduzir o radical de Kapletsky e a conjectura-H para um arcabouço cohomológico aplicável a quaisquer grupos profinitos e primos $p$. Os autores visam definir um análogo grupoteórico do radical, investigar a estabilidade da "propriedade de Kijima–Nishi" associada sob várias construções de grupos e determinar quais corpos satisfazem essa propriedade com base na estrutura de seus grupos galoisianos absolutos.

Metodologia
Os autores introduzem o radical de coproduto $\mathbb{F}_p$, denotado por $R_p(G)$, para um grupo profinito $G$. Ele é definido como o complemento ortogonal do primeiro grupo de cohomologia $H^1(G, \mathbb{F}_p)$ em relação ao par de produto de coproduto (cup product):
$$R_p(G) = \{ \alpha \in H^1(G, \mathbb{F}_p) \mid \alpha \smile \beta = 0 \text{ para todo } \beta \in H^1(G, \mathbb{F}_p) \}.$$
Eles definem a propriedade $p$-Kijima–Nishi para um grupo profinito $G$ como a surjetividade da aplicação de correstrição $c_{U,G}: R_p(U) \to R_p(G)$ para todo subgrupo aberto normal $U$ de índice $p$.

A metodologia baseia-se fortemente na cohomologia de Galois e na teoria de grupos pro-$p$. As principais ferramentas técnicas incluem:

1. Dicionário Cohomológico: Estabelecer um isomorfismo entre o radical $p$-clássico de um corpo $\mathbb{K}$ (contendo uma raiz primitiva $p$-ésima) e o radical grupoteórico de seu grupo galoisiano absoluto $G_\mathbb{K}$, especificamente $R_p(\mathbb{K})/\mathbb{K}^{\times p} \cong R_p(G_\mathbb{K})$.
2. Apresentações Mínimas: Utilizar apresentações mínimas de grupos pro-$p$ para computar produtos de coproduto via filtragem de Zassenhaus (Proposição 1.3).
3. Decomposições Estruturais: Analisar o comportamento do radical sob produtos livres pro-$p$, produtos amalgamados, extensões HNN e grupos fundamentais de grafos de grupos pro-$p$ usando sequências de Mayer–Vietoris e sequências espectrais de Hochschild–Serre.
4. Reduções Aritméticas: Aplicar resultados da teoria de classes local e global, teoria de Kummer e a teoria de variedades de Severi–Brauer para construir corpos específicos e analisar seus grupos galoisianos.

Principais Contribuições e Resultados

• Definição Cohomológica e Equivalência: O artigo estabelece que, para corpos contendo uma raiz primitiva $p$-ésima, o corpo satisfaz a conjectura-H se, e somente se, seu grupo galoisiano absoluto possui a propriedade $p$-Kijima–Nishi. Isso reduz a conjectura aritmética a uma propriedade grupoteórica que depende exclusivamente do quociente galoisiano pro-$p$ máximo.
• Contraexemplos (Teorema A): Os autores provam que, para qualquer corpo $\mathbb{K}$ de característica $\neq p$, existe uma extensão $\mathbb{K}'/\mathbb{K}$ tal que $G_{\mathbb{K}'}$ não possui a propriedade $p$-Kijima–Nishi. Esta construção baseia-se na criação de extensões altamente transcendentais para quebrar álgebras simples centrais, espelhando os contraexemplos de Becher e Leep.
• Resultados Positivos para Corpos Aritméticos (Teorema B): A propriedade $p$-Kijima–Nishi é provada como válida para os grupos galoisianos absolutos de:
  • Corpos locais e globais.
  • Corpos discretamente valorados completos com corpos residuais contendo uma raiz primitiva $p$-ésima.
  • Extensões puramente transcendentais de corpos contendo uma raiz primitiva $p$-ésima.
  • Corpos cujo grupo galoisiano pro-$p$ máximo é do tipo elementar (construído a partir de $\mathbb{Z}_p$ e grupos de Demuškin via produtos livres e certos semidiretos específicos).
  • Campos pitagóricos formalmente reais de tipo finito (para $p=2$).
• Estabilidade sob Construções de Grupos (Teorema C & D): O artigo investiga a estabilidade da propriedade sob construções universais de grupos.
  • Mostra-se que a propriedade é preservada sob produtos livres pro-$p$ (Proposição 3.7).
  • Novas classes de grupos que satisfazem a propriedade são identificadas, incluindo grupos pro-$p$ de Artin à direita generalizados e grupos pro-$2$ de Artin à direita $\Delta$ (Teorema D).
  • Os autores fornecem condições sob as quais produtos amalgamados e extensões HNN preservam a propriedade (Proposições 4.2 e 4.5), observando que a surjetividade das aplicações de restrição é uma condição necessária.
• Generalização sem Raízes da Unidade (Seção 6): Os autores propõem uma generalização do radical para corpos que não contêm uma raiz primitiva $p$-ésima através da introdução de orientações $p$ e torções de Tate (Tate twists). Eles mostram que, para corpos locais e globais neste cenário mais amplo, o radical generalizado permanece trivial.

Significância
O artigo afirma que sua principal significância reside em fornecer um "alter ego grupo-cohomológico" para o radical de Kaplansky, traduzindo assim um profundo problema aritmético para a linguagem da teoria de grupos profinitos. Esta tradução permite a aplicação de poderosas ferramentas grupoteóricas (como a teoria de Bass–Serre e a teoria de grupos de tipo elementar) a problemas de teoria de corpos e formas quadráticas.

Especificamente, o trabalho demonstra que a validade da conjectura-H para um corpo depende apenas da estrutura de seu grupo galoisiano pro-$p$ máximo, alinhando-se ao espírito da Geometria Anabeliana. Ao provar a propriedade para amplas classes de grupos — incluindo aqueles que podem não surgir como grupos galoisianos de corpos (como certos grupos pro-$p$ de Artin à direita generalizados) — os autores expandem o escopo da conjectura além dos contextos aritméticos, oferecendo novos exemplos e insights estruturais sobre o comportamento de radicais cohomológicos. Os resultados também esclarecem as limitações da conjectura, mostrando que ela falha para extensões gerais, mas é robustamente válida para corpos e grupos "pequenos" ou "bem estruturados".