1-smooth pro-p groups and Bloch-Kato pro-p groups

Abstract

Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G\to 1+p{\mathbb{Z}}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, are 1-smooth. We prove that a finitely generated $p$-adic analytic pro-$p$ group is 1-smooth if, and only if, it occurs as the maximal pro-$p$ Galois group of a field containing a root of 1 of order $p$. This gives a positive answer to De Clerq-Florence's "Smoothness Conjecture" - which states that the Rost-Voevodsky Theorem (a.k.a. Bloch-Kato Conjecture) follows from 1-smoothness - for the class of finitely generated $p$-adic analytic pro-$p$ groups.

To appear on 'Homology, Homotopy and Applications'. The current version of this paper is only one half of the original paper (versions v1--v4), as the author decided to split the original paper after its rejection from the referred journal which it was submitted to, more than 2 years ago (see Remark 1.2 for details)

References in corpus (3)

• Encoding Equivariant Commutativity via Operads
• Genuine equivariant operads
• Equivariant homotopy commutativity for $G=C_{pqr}$

Cited by in corpus (2)

• Global transfer systems of abelian compact Lie groups
• Saturated and linear isometric transfer systems for cyclic groups of order $p^m{q}^n$