[论文解读] 1-smooth pro-p groups and the Bloch-Kato conjecture

Claudio Quadrelli|arXiv (Cornell University)|Apr 1, 2019

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

本文通過證明 De Clerq-Florence 的光滑性猜想，確立了 p-進解析的 pro-p 群上 Bloch-Kato 猜想成立，該猜想透過至 1 + pℤ_p 的連續同態，將 Bloch-Kato 猜想與形式 Hilbert 90 條件聯繫起來。此結果將 Kummer 理論中的伽羅瓦群結構推廣至更廣泛的 pro-p 群類別。

ABSTRACT

Let $p$ be a prime. We study pro-$p$ groups $G$ endowed with a continuous homomorphism $G o1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. These pro-$p$ groups are particularly important in Galois theory because by Kummer theory maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, satisfy such property. In particular, we prove that De Clerq-Florence's `Smoothness Conjecture', which states that the Bloch-Kato conjecture follows from this formal version of Hilbert 90, holds true in the class of $p$-adic analytic pro-$p$ groups.

研究动机与目标

• 透過至 1 + pℤ_p 的連續同態，研究形式 Hilbert 90 條件對 pro-p 群的影響。
• 驗證 De Clerq 與 Florence 提出的光滑性猜想，該猜想主張此形式 Hilbert 90 條件可推出 Bloch-Kato 猜想。
• 將已知的 Kummer 理論結果——即包含 p 次單位根的域之最大 pro-p 伽羅瓦群滿足此條件——推廣至 p-進解析的 pro-p 群。
• 在 pro-p 伽羅瓦理論中，建立上同調性質與群論條件之間的結構性連結。
• 證明在 p-進解析的 pro-p 群類別中，Bloch-Kato 猜想可由形式 Hilbert 90 性質推出。

提出的方法

• 利用形式 Hilbert 90 的版本，以從 pro-p 群 G 到 1 + pℤ_p 的連續同態編碼上同調行為。
• 應用 p-進解析群理論的技巧，分析滿足形式 Hilbert 90 條件的 pro-p 群結構。
• 以分圓特徵與 Kummer 理論為基礎範例，激發形式條件的提出。
• 依賴 p-進解析的 pro-p 群已知的上同調性質，推導其對 Bloch-Kato 猜想的影響。
• 利用 G 為具有至 1 + pℤ_p 的連續同態的 pro-p 群之結構，推導出上同調消去定理。
• 透過群論與上同調論論證，確立形式 Hilbert 90 條件在 p-進解析設定下可推出 Bloch-Kato 猜想。

实验结果

研究问题

• RQ1 透過至 1 + pℤ_p 的連續同態，形式 Hilbert 90 條件在 pro-p 群 G 上是否可推出 Bloch-Kato 猜想？
• RQ2 De Clerq 與 Florence 提出的光滑性猜想是否可在 p-進解析的 pro-p 群類別中得到驗證？
• RQ3 滿足形式 Hilbert 90 條件的 Kummer 理論伽羅瓦群，在多大程度上可作為所研究廣泛群類的範例？
• RQ4 p-進解析的 pro-p 群結構如何與形式 Hilbert 90 條件等上同調條件相互作用？
• RQ5 形式 Hilbert 90 條件對非交換的 pro-p 群設定下 Bloch-Kato 猜想的有效性有何影響？

主要发现

• De Clerq 與 Florence 提出的光滑性猜想在 p-進解析的 pro-p 群上被確認成立。
• 在 p-進解析的 pro-p 群類別中，Bloch-Kato 猜想可由形式 Hilbert 90 條件推出。
• 具備至 1 + pℤ_p 的連續同態的 pro-p 群，滿足 Bloch-Kato 猜想所要求的上同調性質。
• 此結果推廣了已知的 Kummer 理論情形：即包含 p 次單位根的域之最大 pro-p 伽羅瓦群滿足形式 Hilbert 90 條件。
• p-進解析的 pro-p 群的上同調結構確保形式 Hilbert 90 條件可推出 Bloch-Kato 猜想中至關重要的某些伽羅瓦上同調群的消去。
• 證明在群論條件與伽羅瓦上同調中的深層算術猜想之間建立了一座橋樑。