[論文レビュー] Counting Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions using Massey products

Ján Mináč, Nguyêñ Duy Tân|arXiv (Cornell University)|Aug 12, 2014

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

ひとこと要約

この論文は、体 $
\mathbb{F}_p$ 上のユニポテンツ $4 \times 4$ 行列からなる群 $\mathbb{U}_4(\mathbb{F}_p)$ をガロア群とする拡大体の数え上げを、マッセイ積とユニポテンツ表現を用いて新しい手法で開発する。局所体上でのこのような拡大体の数について明示的な公式を提示し、他の体に対しても同様の手法を拡張する。また、デムシュキンのプロ-$p$群における $n$-重マッセイ積の定義条件を簡略化することにも成功している。

ABSTRACT

We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with restricted ramifications, and counting the numbers of Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions of some other fields. For each Demushkin pro-$p$-group, we find a very simple version of the condition when the $n$-fold Massey product of one-dimensional cohomological elements of $G$ with coefficients in ${\mathbb F}_p$, is defined. As an easy consequence, we determine those ${\mathbb U}_n({\mathbb F}_p)$ which occur as an epimorphic image of any given Demushkin group.

研究の動機と目的

• 局所体上でのガロア群が $\mathbb{U}_4(\mathbb{F}_p)$ である拡大体をマッセイ積を用いてパラメトライズし、数えること。
• この数え上げ手法を代数的数体を含む他の体へ拡張すること。
• デムシュキンのプロ-$p$群における $n$-重マッセイ積の定義条件を簡略化すること。
• 与えられたデムシュキン群のエピモルフィックな像として現れる $\mathbb{U}_n(\mathbb{F}_p)$ 群はどのようなものかを特定すること。
• 絶対ガロア群の最大のプロ-$p$商の構造に、新たな強く制限的な条件を与えること。

提案手法

• マッセイ積とユニポテンツ表現との関係を用いて、$\mathbb{U}_4(\mathbb{F}_p)$-拡大をパラメトライズすること。
• デムシュキン群における $n$-重マッセイ積の理論を適用し、その定義に必要な条件を簡略化すること。
• デムシュキン群の自由積の構造を活用して、$\mathbb{U}_4(\mathbb{F}_p)$ への全単射な準同型の数を計算すること。
• 双線形形式 $(\cdot,\cdot)_1$ と $(\cdot,\cdot)_2$ を、$V \oplus W$ の分解上に導入し、コホモロジー的制約をモデル化すること。
• 2つの形式に関して直交性条件を満たす一次独立な三つ組 $(x,y,z)$ の数を数えること。
• これらの数え上げ結果を群論的考察とモービウス反転を組み合わせることで、拡大体の数に関する最終的な公式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 局所体 $K$ 上でガロア群が $\mathbb{U}_4(\mathbb{F}_p)$ であるガロア拡大体の数は何か？
• RQ2 マッセイ積を用いて、$p$ 乗根 $\mu_p$ を含む体上での $\mathbb{U}_4(\mathbb{F}_p)$-拡大体をどのようにパラメトライズし、数え上げることができるか？
• RQ3 デムシュキンのプロ-$p$群における $n$-重マッセイ積の定義に必要な最小の条件は何か？
• RQ4 どの $\mathbb{U}_n(\mathbb{F}_p)$ 群が与えられたデムシュキン群のエピモルフィックな像として現れるか？
• RQ5 簡略化されたマッセイ積の条件は、絶対ガロア群の最大のプロ-$p$商の構造に新たな制約をもたらすか？

主な発見

• 局所体 $K$ 上での $\mathbb{U}_4(\mathbb{F}_p)$-拡大体の数は、$p^d$、$p^e$、$p^{d+e}$ を含む閉形式の公式で与えられる。ここで $d$ と $e$ は、$G_K(p)$ の自由積分解におけるデムシュキン群のランクである。
• このような拡大体の数の公式は、$p$ のべき乗と二項係数に類似した係数を含む項の和として明示的に計算されており、コホモロジー的直交性の構造を反映している。
• 本論文は、$n$-重マッセイ積がデムシュキン群で定義可能であるための十分条件として、$q$-不変量が 2 を超えることであることを示した。これは古典的な定義を大幅に簡略化する。
• $n=4$ の場合、2つのデムシュキン群の自由積から $\mathbb{U}_4(\mathbb{F}_p)$ への全単射準同型の数は、各因子の像による場合分けの解析によって計算された。
• この手法により、コホモロジー的データと双線形形式への還元によって、他の体上での $\mathbb{U}_4(\mathbb{F}_p)$-拡大体の数え上げが可能になった。
• 結果として、高次のマッセイ積の消える条件がガロア群に強い構造的制約をもたらすことが確認され、カーネルユニポテンツ予想を支持するものとなった。