[論文レビュー] 1-smooth pro-p groups and Bloch-Kato pro-p groups

Evan E. Franchere|arXiv (Cornell University)|Apr 1, 2019

Algebraic Geometry and Number Theory被引用数 11

ひとこと要約

この論文は、有限生成のp進解析的プロ-p群に対して、1-滑らかさ（Hilbertの定理90を形式化するコhomologicalな条件）がBloch-Kato性質および原始的p乗根を含む体の最大のプロ-pガロア群としての実現可能性と同値であることを証明する。この結果は、このクラスにおける滑らかさ予想を裏付けるものであり、1-滑らかさがこれらの群に対してノーム類似同型定理（Bloch-Kato）を示すことを示している。

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 o1+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.

研究の動機と目的

• 滑らかさ予想を解決すること。この予想は、ガロア群の1-滑らかさがBloch-Kato性質を示すと述べている。
• 原始的p乗根を含む体の最大のプロ-pガロア群として現れる有限生成のp進解析的プロ-p群を同定すること。
• p進解析的設定において、1-滑らかさ、Bloch-Kato性質、およびガロア実現可能性の正確な同値性を確立すること。
• 1-滑らかさが強い構造的制約であることを示し、p=2のとき、ボクシュタイン類の消滅とコhomologicalな剛性を示すこと。

提案手法

• 1-滑らかさを、方向づけられたプロ-p群(G, θ)の任意の閉部分群が、コホモロジー的特徴付け（cyclotomic character θを介した形式的Hilbert 90条件）を満たす、すなわちKummer的であると定義する。
• 特に、局所的に均一な群としての構造と、群コホモロジーとリー代数の対応関係を用いるp進解析的プロ-p群の理論を用いる。
• ノーム類似定理（Rost-Voevodsky）を適用し、Bloch-Kato性質をコホモロジー代数が二次的であることと結びつける。
• p=2の場合を扱うために、mod 2コホモロジーにおけるボクシュタイン準同型を用い、ボクシュタインが自明であることと、すべてのα ∈ H¹(G, Z/2)に対してα²=0であることが同値であることを示す。
• 1-滑らかさがθ-アーベル構造（Ker(θ)が自由アーベルなプロ-p群）を意味することを用い、既知のBloch-Kato群に関する結果への還元を可能にする。
• p進解析的Bloch-Kato群は、コホモロジー次元と関係数の両方で最大を達成する群として分類されることを用い、1-滑らかさがこの極値的構造を強制することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成のp進解析的プロ-p群に対して、1-滑らかさはBloch-Kato性質を示すか？
• RQ2 任意の1-滑らかさを持つp進解析的プロ-p群は、原始的p乗根を含む体の最大のプロ-pガロア群として実現可能か？
• RQ3 p=2のとき、1-滑らかさはボクシュタイン準同型の消滅と同値か？
• RQ4 1-滑らかさは、p進解析的プロ-p群が局所的に均一であり、したがってコホモロジー次元と関係数の両方で最大値を達成することを強制するか？

主な発見

• 有限生成のp進解析的プロ-p群に対して、1-滑らかさはTheorem 1.1で述べられるようにBloch-Kato性質と同値である。
• Theorem 1.1における(i) ⇒ (ii)の含意は、この群のクラスにおける滑らかさ予想に対する肯定的解答を提供する。
• p=2の場合、すべてのα ∈ H¹(G, Z/2)に対してα²=0であるという条件は、ボクシュタイン準同型が自明であることと同値であり、これはBloch-Kato性質の必要十分条件である。
• 方向づけθの核は、自由アーベルなプロ-p群である。これは1-滑らかさの重要な構造的帰結である。
• 群Gは局所的に均一であり、したがってp進解析的であり、そのコホモロジー次元cd(G)は、最小生成数d(G)に等しく、これはBloch-Katoプロ-p群の中で最大である。
• p進解析的プロ-p群のクラスは、コホモロジー次元および定義関係数の観点から、Bloch-Katoプロ-p群の「上限」を表しており、1-滑らかさはこの極値的構造を強制する。