[論文レビュー] On a certain nilpotent extension over Q of degree 64 and the 4-th multiple residue symbol

Fumiya Amano|arXiv (Cornell University)|Nov 6, 2013

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

ひとこと要約

本稿は、4つの素数 $p_1, p_2, p_3, p_4$ でしか分岐しない、64次の中間的アーベル的ガロア拡大 $K/\mathbb{Q}$ を構成し、$p_4$ の分解法則を記述する4重のレジデューサル記号 $[p_1,p_2,p_3,p_4]$ を導入する。主な結果は、この記号が $(-1)^{\mu_2(1234)}$ に等しいことである。ここで $\mu_2(1234)$ は4番目の算術ミルナー不変量であり、高次相互法則と算術的リンク不変量の直接的な関係を確立する。

ABSTRACT

In this paper, we introduce the 4-th multiple residue symbol $[p_1, p_2, p_3, p_4]$ for certain four prime numbers $p_1, p_2, p_3, p_4$, which extends the Legendre symbol and the Rédei triple symbol in a natural manner. For this we construct concretely a certain nilpotent extension K over Q of degree 64, where ramified prime numbers are $p_1$, $p_2$ and $p_3$, such that the symbol $[p_1, p_2, p_3, p_4]$ describes the decomposition law of $p_4$ in the extension K/Q. We then establish the relation of our symbol and the 4-th arithmetic Milnor invariant (an arithmetic analogue of the 4-th order linking number).

研究の動機と目的

• 64次の中間的ガロア拡大 $K/\mathbb{Q}$ を具体的に構成し、そのガロア群が $N_4(\mathbb{F}_2)$、すなわち $\mathbb{F}_2$ 上の $4\times4$ ユニポテンツ上三角行列の群に同型であり、$p_1, p_2, p_3$ の3素数でのみ分岐する。
• この拡大における $p_4$ の分解法則を記述する4重の多重レジデューサル記号 $[p_1,p_2,p_3,p_4]$ を定義する。
• ガロア群 $\mathrm{Gal}(K/\mathbb{Q}) \cong N_4(\mathbb{F}_2)$ の構造を用いて、$[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$ を証明することで、算術的・幾何的対応を明確にする。ここで $\mu_2(1234)$ は4番目の算術的ミルナー不変量である。
• リーディの三重記号と二次相互法則の理論を、中間的拡大と算術的リンク不変量を用いて高次相互法則に拡張する。

提案手法

• 拡大 $K = k_{\{p_1,p_2\}} \cdot k_{\{p_3,p_2\}}(\sqrt{\theta_4})$ を構成する。ここで $k_{\{p_i,p_j\}}$ は8次の中間的ディードラル拡大である。
• ガロア群 $\mathrm{Gal}(K/\mathbb{Q}) \cong N_4(\mathbb{F}_2)$ の中で、$p_4$ のフロベニウス元を用いて4重の多重レジデューサル記号 $[p_1,p_2,p_3,p_4]$ を定義する。$N_4(\mathbb{F}_2)$ は位数64の中間的群である。
• 群 $N_4(\mathbb{F}_2)$ の群論的構造とその関連するリー代数を用い、マグナス展開と mod 2 マッセイ積を用いて算術的ミルナー不変量 $\mu_2(1234)$ を計算する。
• 自由群の4生成元から $N_4(\mathbb{F}_2)$ への準同型 $\varphi$ を用い、フロベニウス元の像と記号 $[p_1,p_2,p_3,p_4]$ を関連付ける。$\varphi$ の核を用いて不変量を解析する。
• 算術的ミルナー不変量のシャッフルおよび巡回関係を用い、4重の多重レジデューサル記号が満たす代数的恒等式を導出する。
• 群元のマグナス展開における係数を比較し、下部中心列の構造を用いることで、主恒等式 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$ を検証する。

実験結果

リサーチクエスチョン

• RQ1 中間的ガロア拡大 $K/\mathbb{Q}$ を具体的に構成できるか。その次数は64であり、ガロア群は $N_4(\mathbb{F}_2)$、すなわち $\mathbb{F}_2$ 上の $4\times4$ ユニポテンツ上三角行列の群に同型であり、$p_1, p_2, p_3$ の3素数でのみ分岐するか。
• RQ2 この拡大において、$p_4$ の分解法則を記述する4重の多重レジデューサル記号 $[p_1,p_2,p_3,p_4]$ が存在するか。これは、レジデューサル記号やリーディの三重記号に類似する。
• RQ3 4重の多重レジデューサル記号が $(-1)^{\mu_2(1234)}$ に等しいか。ここで $\mu_2(1234)$ は4番目の算術的ミルナー不変量であり、高次相互法則と算術的トポロジーの不変量を結びつける。
• RQ4 4重の多重レジデューサル記号は、期待されるミルナー不変量のシャッフルおよび巡回対称性を満たすか。

主な発見

• 本稿は、$p_1, p_2, p_3$ の3素数でのみ分岐する64次の中間的ガロア拡大 $K/\mathbb{Q}$ を具体的に構成し、そのガロア群が $N_4(\mathbb{F}_2)$、すなわち $\mathbb{F}_2$ 上の $4\times4$ ユニポテンツ上三角行列の群に同型であることを示した。
• 4重の多重レジデューサル記号 $[p_1,p_2,p_3,p_4]$ は、$p_4$ が $K/\mathbb{Q}$ で完全に分解するかどうかに応じて $1$ または $-1$ と定義され、$\mathrm{Gal}(K/\mathbb{Q})$ 内の $p_4$ のフロベニウスの共役類を記述する。
• 主な結果として、$[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$ が成り立ち、高次相互法則と算術的リンク不変量の間の直接的な対応関係を確立する。
• 記号はシャッフル関係を満たす：$|I|+|J|=3$ を満たす多重インデックス $I,J$ に対して、$\prod_{(ijk)\in\mathrm{PSH}(I,J)}[p_i,p_j,p_k,p_l] = 1$ が成り立つ。これはミルナー不変量のシャッフル関係の結果である。
• 明示的な例を計算した：$(p_1,p_2,p_3,p_4) = (5,8081,101,449)$ のとき、記号の値は $-1$ であり、すべてのペアワイズのリーマン記号は $1$、すべてのリーディ三重記号も $1$ である。これにより、4重記号の非自明性が確認された。
• 本稿は、記号が構成に用いられる補助的要素 $\theta_i$ の選び方に依存しないことを示した。ただし、定義条件 (1.1.1) および (3.2.1) を満たしていればよい。これにより、記号が適切に定義されていることが保証される。