[論文レビュー] Generalized Bockstein maps and Massey products

Yeuk Hay Joshua Lam, Yuan Liu+3 more|arXiv (Cornell University)|Apr 24, 2020

Algebraic structures and combinatorial models参考文献 10被引用数 5

ひとこと要約

本稿では、非アーベル的拡張における類群の $p$-ランクの下界を導く新しい代数的枠組みを提供するとともに、ガロアコホモロジーにおける三重マッセイ積の消滅を再証明するため、一般化されたボクスタイン写像を導入する。この手法は、群 $G$ における正規開部分群 $N$ のイワサワコホモロジーと $G$ のコホモロジーとを、$G/N$ の群代数における増幅イデアルの冪によるフィルトレーションを通じて関連付ける。これらの写像の像は、制限された定義系におけるマッセイ積に対応し、特に $p$-ramified な $\mathbb{Q}(\mu_p)$ の非アーベル的 $p$-拡張における類群の $p$-ランクの下界を導く。

ABSTRACT

Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of the rational numbers and to give a new proof of the vanishing of triple Massey products in Galois cohomology.

研究の動機と目的

• プロフィニート群 $G$ のコホモロジーとその正規開部分群 $N$ のコホモロジーを、$\widehat{\mathbb{Z}}_p[[G/N]]$ の増幅イデアルの冪によるフィルトレーションを用いて比較する一般枠組みを構築すること。
• 古典的ボクスタイン同型写像の類似として、高次のフィルトレーションレベルにまで拡張されたコホモロジー制限写像を一般化した、一般化されたボクスタイン写像 $\Psi^{(n)}$ を定義すること。
• これらの写像の像が、制限されたクラスの定義系の下で $n$-重マッセイ積に対応することを示し、不確実性を低減すること。
• 理論を数論に応用し、特に双周期的およびハイゼンベルク型拡張を含む、$\mathbb{Q}(\mu_p)$ の非アーベル的 $p$-拡張における類群の $p$-ランクの下界を導出すること。
• 幾何的または位相的手法に依存しない、絶対ガロア群における三重マッセイ積の消滅を再証明する、新しい代数的証明を提供すること。

提案手法

• 著者らは、$H = G/N$ として $\widehat{\mathbb{Z}}_p[[H]]$ の増幅イデアル $I^n$ を用いたフィルトレーションを、$N$ のイワサワコホモロジーに定義し、関連する次数付き部分群を研究する。
• ホモロジー代数的手法（付録Aに記載）を用いて、関手の合成から生じるスペクトル系列における接続写像として、一般化されたボクスタイン写像 $\Psi^{(n)}$ を構成する。
• $\Psi^{(n)}$ が、フィルトレーションの第 $n$ 項の次数付き部分群と $\Psi^{(n)}$ の余核との間に、グロテンドイックスペクトル系列の議論により関係づけられることを示す。
• マッセイ積のための「適切な定義系」の新概念を導入し、不確実性を低減させ、$\Psi^{(n)}$ の像が適切な定義系におけるマッセイ積の値と一致することを可能にする。
• プロ巡回群、プロ双周期群、初等アーベル $p$-群、およびハイゼンベルク群といった特定の群型に対して、一般化されたボクスタイン写像を明示的に計算し、マッセイ積と関連付ける。
• この枠組みを用いて、$\mathbb{Q}(\mu_p)$ の $p$-ramified 拡張における類群の $p$-ランクの下界を導出するとともに、ガロアコホモロジーにおけるマッセイ消滅を再証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$N$ のイワサワコホモロジーにおける増幅イデアルの冪によるフィルトレーションを通じて、プロフィニート群 $G$ のコホモロジーと $N$ のコホモロジーとを関連付けることができるか？
• RQ2 一般化されたボクスタイン写像 $\Psi^{(n)}$ は、どのようにして古典的ボクスタイン同型写像を一般化するのか？また、ホモロジー代数的手法を用いてどのように構成されるか？
• RQ3 制限されたクラスの定義系の下で、$n$-重マッセイ積が $\Psi^{(n)}$ の像としてどの程度実現可能か？
• RQ4 ガロアコホモロジーにおける一般化されたボクスタイン写像とマッセイ積との関係から、どのような算術的帰結が得られるか？
• RQ5 この代数的枠組みを用いて、絶対ガロア群におけるマッセイ三重積の消滅を再証明できるか？

主な発見

• 増幅イデアルのフィルトレーションにおける $N$ のイワサワコホモロジーの第 $n$ 項の次数付き部分群は、一般化されたボクスタイン写像 $\Psi^{(n)}$ の余核と同型であり、明確なコホモロジー的対応関係を確立する。
• 特に、初等アーベル $p$-群やハイゼンベルク群などの特定の群 $H = G/N$ に対して、$\Psi^{(n)}$ の像は、適切な定義系の下での $n$-重マッセイ積の値の集合に正確に一致する。
• $\mathbb{Q}(\mu_p)$ の $p$-ramified な双周期的およびハイゼンベルク型有限 $p$-拡張における類群の $p$-ランクの下界を、一般化されたボクスタイン写像の構造を用いて証明する。
• 絶対ガロア群のガロアコホモロジーにおける三重マッセイ積の消滅を、一般化されたボクスタイン写像の代数的構造にのみ依存する新しい証明が得られる。
• この枠組みは、結びつきの補空間などの位相的・幾何的類似に依存しない、マッセイ積の消滅の完全に代数的説明を提供する。
• 主な結果は、グロテンドイックスペクトル系列や導来関手を含むホモロジー代数の道具を用いて得られ、付録Aの重要な補題が構成の正当性を保証する。