A cohomological translation of the Kaplansky radical for profinite groups

Sintesi Tecnica: Una Traduzione Cohomologica del Radicale di Kaplansky per Gruppi Profiniti

Enunciato del Problema
Il radicale di Kaplansky di un campo $\mathbb{K}$ (di caratteristica $\neq 2$) è l'insieme degli elementi non nulli rappresentati da ogni forma quadratica binaria $X^2 - aY^2$. Negli anni '80, D. Kijima e M. Nishi hanno congetturato che, per estensioni quadratiche $\mathbb{K}(\sqrt{a})/\mathbb{K}$, i radicali di Kaplansky siano correlati dalla mappa della norma in modo analogo al Teorema di Hilbert 90. Nello specifico, hanno congetturato che $N_{\mathbb{K}(\sqrt{a})/\mathbb{K}}^{-1}(R_K(\mathbb{K})) = R_K(\mathbb{K}(\sqrt{a})) \cdot \mathbb{K}^{\times 2}$. Questa "congettura H" è stata smentita da K.J. Becher e D.B. Leep, che hanno costruito controesempi; tuttavia, la congettura è valida per diverse classi importanti di campi.

R.P. Dario e A.J. Engler hanno successivamente generalizzato il radicale di Kaplansky a arbitrari numeri primi $p$. Il problema centrale affrontato in questo articolo è tradurre il radicale di Kaplansky e la congettura H in un quadro cohomologico applicabile ad arbitrari gruppi profiniti. Gli autori mirano a definire un analogo gruppale del radicale, investigare la stabilità della relativa "proprietà di Kijima–Nishi" sotto varie costruzioni di gruppi e determinare quali campi soddisfano tale proprietà in base alla struttura dei loro gruppi galoisiani assoluti.

Metodologia
Gli autori introducono il radicale al prodotto cup $\mathbb{F}_p$, denotato $R_p(G)$. Esso è definito come il complemento ortogonale del primo gruppo di coomologia $H^1(G, \mathbb{F}_p)$ rispetto alla pairing del prodotto cup:
$$R_p(G) = \{ \alpha \in H^1(G, \mathbb{F}_p) \mid \alpha \smile \beta = 0 \text{ per ogni } \beta \in H^1(G, \mathbb{F}_p) \}.$$
Definiscono la proprietà $p$-Kijima–Nishi per un gruppo profinito $G$ come la suriettività della mappa di corestrizione $c_{U,G}: R_p(U) \to R_p(G)$ per ogni sottogruppo aperto normale $U$ di indice $p$.

La metodologia si basa fortemente sulla coomologia di Galois e sulla teoria dei gruppi pro-$p$. Gli strumenti tecnici chiave includono:

1. Dizionario Cohomologico: Stabilire un isomorfismo tra il classico radicale $p$ di un campo $\mathbb{K}$ (contenente una radice primitiva $p$-esima) e il radicale gruppale del suo gruppo galoisiano assoluto $G_\mathbb{K}$, specificamente $R_p(\mathbb{K})/\mathbb{K}^{\times p} \cong R_p(G_\mathbb{K})$.
2. Presentazioni Minime: Utilizzare presentazioni minime di gruppi pro-$p$ per calcolare i prodotti cup tramite la filtrazione di Zassenhaus (Proposizione 1.3).
3. Decomposizioni Strutturali: Analizzare il comportamento del radicale sotto prodotti liberi pro-$p$, prodotti amalgamati, estensioni HNN e gruppi fondamentali di grafi di gruppi pro-$p$ utilizzando sequenze di Mayer–Vietoris e sequenze spettrali di Hochschild–Serre.
4. Riduzioni Aritmetiche: Applicare risultati della teoria della classe locale e globale, della teoria di Kummer e della teoria delle varietà di Severi–Brauer per costruire campi specifici e analizzare i loro gruppi galoisiani.

Contributi Chiave e Risultati

• Definizione Cohomologica ed Equivalenza: L'articolo stabilisce che, per i campi contenenti una radice primitiva $p$-esima, il campo soddisfa la congettura H se e solo se il suo gruppo galoisiano assoluto possiede la proprietà $p$-Kijima–Nishi. Ciò riduce la congettura aritmetica a una proprietà di gruppo dipendente unicamente dal quoziente pro-$p$ massimo del gruppo galoisiano.
• Controesempi (Teorema A): Gli autori dimostrano che, per ogni campo $\mathbb{K}$ di caratteristica $\neq p$, esiste un'estensione $\mathbb{K}'/\mathbb{K}$ tale che $G_{\mathbb{K}'}$ non possiede la proprietà $p$-Kijima–Nishi. Questa costruzione si basa sulla creazione di estensioni altamente trascendenti per scindere algebri semplici centrali, rispecchiando i controesempi di Becher e Leep.
• Risultati Positivi per Campi Aritmetici (Teorema B): La proprietà $p$-Kijima–Nishi è provata essere valida per i gruppi galoisiani assoluti di:
  • Campi locali e globali.
  • Campi discretamente valorizzati completi con campi residui contenenti una radice primitiva $p$-esima.
  • Estensioni puramente trascendenti di campi contenenti una radice primitiva $p$-esima.
  • Campi il cui gruppo galoisiano pro-$p$ massimo è di tipo elementare (costruiti da $\mathbb{Z}_p$ e gruppi di Demuškin tramite prodotti liberi e specifici semiprodotto diretti).
  • Campi pitagorici formalmente reali di tipo finito (per $p=2$).
• Stabilità sotto Costruzioni di Gruppi (Teoremi C & D): L'articolo investiga la stabilità della proprietà sotto costruzioni universali di gruppi.
  • Si dimostra che la proprietà è preservata sotto i prodotti liberi pro-$p$ (Proposizione 3.7).
  • Nuove classi di gruppi che soddisfano la proprietà sono identificate, inclusi i gruppi pro-$p$ di tipo Artin angolari a destra generalizzati e i gruppi pro-$2$ di tipo Artin angolari a destra $\Delta$ (Teorema D).
  • Gli autori forniscono condizioni sotto le quali i prodotti amalgamati e le estensioni HNN preservano la proprietà (Proposizioni 4.2 e 4.5), notando che la suriettività delle mappe di restrizione è una condizione necessaria.
• Generalizzazione senza Radici dell'Unità (Sezione 6): Gli autori propongono una generalizzazione del radicale per i campi che non contengono una radice primitiva $p$-esima introducendo le $p$-orientazioni e i twist di Tate. Dimostrano che, in questo ambito più ampio, il radicale generalizzato rimane banale per i campi locali e globali.

Significatività
L'articolo sostiene che la sua primaria significatività risieda nel fornire un "alter ego gruppo-cohomologico" per il radicale di Kaplansky, traducendo così un profondo problema aritmetico nel linguaggio della teoria dei gruppi profiniti. Questa traduzione permette l'applicazione di potenti strumenti di teoria dei gruppi (come la teoria di Bass–Serre e la teoria dei gruppi di tipo elementare) a problemi della teoria dei campi e delle forme quadratiche.

In particolare, il lavoro dimostra che la validità della congettura H per un campo dipende esclusivamente dalla struttura del suo gruppo galoisiano pro-$p$ massimo, allineandosi allo spirito della Geometria Anabelian. Provando la proprietà per ampie classi di gruppi — inclusi alcuni che potrebbero non derivare da gruppi galoisiani di campi (come certi gruppi pro-$p$ di tipo Artin angolari a destra generalizzati) — gli autori espandono l'ambito della congettura oltre i contesti aritmetici, offrendo nuovi esempi e intuizioni strutturali sul comportamento dei radicali cohomologici. I risultati chiariscono anche i limiti della congettura, mostrando che essa fallisce per estensioni generiche ma è robustamente valida per campi e gruppi "piccoli" o "ben strutturati".