[論文レビュー] The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most $1$

Ambrus Pál, Endre Szabó|arXiv (Cornell University)|Nov 15, 2018

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、仮想コhomological次元が1以下である体および擬似p進的閉（PpC）体について、Galoisコホモロジーと埋め込み問題に関するHaranおよびHaran–Jardenの結果を用いて、強いMassey消滅予想を証明する。さらに、n ≥ 3では弱Massey消滅を満たすがn = 4で強いMassey消滅に失敗するpro-2群を構成し、二つの性質の間に厳密な階層関係があることを示している。

ABSTRACT

We show that a strong vanishing conjecture for $n$-fold Massey products holds for fields of virtual cohomological dimension at most $1$ using a theorem of Haran. We also prove the same for PpC fields, using results of Haran--Jarden. Finally we construct a pro-$2$ group which satisfies the weak Massey vanishing property for every $n\geq3$, but does not satisfy the strong Massey vanishing property for $n=4$.

研究の動機と目的

• 仮想コホモロジー次元が1以下の体について、強いMassey消滅予想を確立すること。
• 強いMassey消滅性質を擬似p進的閉（PpC）体へ拡張すること。
• pro-2設定における反例の構成により、弱Massey消滅と強Massey消滅の違いを明確にすること。
• n ≥ 4において、強いMassey消滅性質が弱いものよりも厳密に強いことを示すこと。

提案手法

• 仮想コホモロジー次元 ≤ 1である体のGalois群の構造に関するHaranの定理を活用し、強いMassey消滅を証明する。
• PpC体に関するHaran–Jardenの結果を適用し、それらの絶対Galois群が強いMassey消滅性質を満たすことを示す。
• Dwyerの定理（埋め込み問題における障害類）を用いて、n重Massey積の消滅を分析する。
• 数体のGalois群の逆極限を用いて、中心拡張と障害理論を用いてpro-2群を構成する。
• インフレーション・制限完全系列とコホモロジー的技法を用いて、群コホモロジーにおける引き戻し写像の核を分析する。
• 障害類の自然性を適用し、群準同型および商群を通じて埋め込み問題の解を比較する。

実験結果

リサーチクエスチョン

• RQ1 仮想コホモロジー次元が1以下の体について、強いMassey消滅予想は成り立つか？
• RQ2 擬似p進的閉体は、すべての素数について強いMassey消滅性質を満たすか？
• RQ3 すべてのn ≥ 3で弱Massey消滅を満たすがn = 4で強いMassey消滅に失敗するpro-2群は存在するか？
• RQ4 p-進的プロ有限群の文脈において、弱Massey消滅と強Massey消滅の正確な関係は何か？

主な発見

• すべての素数pについて、K(i)の次元cd(K(i)) ≤ 1であるような体Kについて、強いMassey消滅予想が成り立つ。
• すべての素数について、擬似p進的閉（PpC）体について強いMassey消滅予想が成立する。
• すべてのn ≥ 3で弱Massey消滅性質を満たすがn = 4で強いMassey消滅性質に失敗するpro-2群Gが構成された。
• 障害類o(F₄(ψ̄⋆β))は非ゼロであり、τ*の核に属する。この核は高々1次元であるため、群拡張を通じて解の比較が可能である。
• n重Massey積⟨κ₅¹∘ρₖ, κ₅²∘ρₖ, κ₅³∘ρₖ⟩はゼロを含むため、元の群Gにおける積に対しても同様にゼロを含む。
• 構成により、n = 4において強いMassey消滅性質が弱いものよりも厳密に強いことが示された。弱い条件は満たされるが、強い条件は満たされない。