[论文解读] 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

一句话总结

本文构造了一个具体的64次幂零伽罗瓦扩张 $K/\mathbb{Q}$，其伽罗瓦群同构于 $N_4(\mathbb{F}_2)$，即 $\mathbb{F}_2$ 上的 $4\times4$ 幂零上三角矩阵群，仅在四个素数 $p_1, p_2, p_3, p_4$ 处有分歧。文中引入了一个四重勒赫日符号 $[p_1,p_2,p_3,p_4]$，用于描述 $p_4$ 在 $K/\mathbb{Q}$ 中的分解行为。关键结果为该符号等于 $(-1)^{\mu_2(1234)}$，其中 $\mu_2(1234)$ 是四阶算术米尔诺不变量，从而建立了高次互反律与算术链不变量之间的直接联系。

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}$，其分歧仅限于三个素数 $p_1, p_2, p_3$，且伽罗瓦群同构于 $N_4(\mathbb{F}_2)$，即 $\mathbb{F}_2$ 上的 $4\times4$ 幂零上三角矩阵群。
• 定义一个四重多重勒赫日符号 $[p_1,p_2,p_3,p_4]$，用于编码该扩张中 $p_4$ 的分解律。
• 通过证明 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$ 建立精确的算术-几何对应关系，其中 $\mu_2(1234)$ 是四阶算术米尔诺不变量。
• 通过幂零扩张与算术链不变量，将雷代伊的三重符号与二次互反律理论推广至更高阶互反律。

提出的方法

• 构造扩张 $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$ 的弗罗贝尼乌斯元素定义四重多重勒赫日符号 $[p_1,p_2,p_3,p_4]$，该群为阶为64的幂零群。
• 利用 $N_4(\mathbb{F}_2)$ 的群论结构及其对应的李代数，通过麦克斯韦展开与模2的梅塞积计算算术米尔诺不变量 $\mu_2(1234)$。
• 通过自由群到 $N_4(\mathbb{F}_2)$ 的同态 $\varphi$，将符号 $[p_1,p_2,p_3,p_4]$ 与弗罗贝尼乌斯元素的像联系起来，并利用 $\varphi$ 的核分析该不变量。
• 应用算术米尔诺不变量的杂交关系与循环关系，推导出四重多重勒赫日符号满足的代数恒等式。
• 通过比较群元素的麦克斯韦展开中的系数，并利用下中心列的结构，验证主恒等式 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$。

实验结果

研究问题

• RQ1 能否显式构造一个64次幂零伽罗瓦扩张 $K/\mathbb{Q}$，其伽罗瓦群同构于 $N_4(\mathbb{F}_2)$，即 $\mathbb{F}_2$ 上的 $4\times4$ 幂零上三角矩阵群，且仅在三个素数 $p_1, p_2, p_3$ 处分歧？
• RQ2 是否存在一个四重多重勒赫日符号 $[p_1,p_2,p_3,p_4]$，用于描述该扩张中 $p_4$ 的分解行为，类似于勒赫日符号与雷代伊三重符号？
• RQ3 四重多重勒赫日符号是否等于 $(-1)^{\mu_2(1234)}$，其中 $\mu_2(1234)$ 是四阶算术米尔诺不变量，从而将高次互反律与算术拓扑联系起来？
• RQ4 四重多重勒赫日符号是否满足杂交关系与循环对称性，正如其背后的米尔诺不变量所预期的那样？

主要发现

• 本文构造了一个具体的64次幂零伽罗瓦扩张 $K/\mathbb{Q}$，其分歧仅限于三个素数 $p_1, p_2, p_3$，且伽罗瓦群同构于 $N_4(\mathbb{F}_2)$，即 $\mathbb{F}_2$ 上的 $4\times4$ 幂零上三角矩阵群。
• 四重多重勒赫日符号 $[p_1,p_2,p_3,p_4]$ 定义为 $1$ 或 $-1$，取决于 $p_4$ 在 $K/\mathbb{Q}$ 中是否完全分裂，其编码了 $p_4$ 在 $\mathrm{Gal}(K/\mathbb{Q})$ 中的弗罗贝尼乌斯共轭类。
• 主要结果为 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$，其中 $\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$，从而确认了四重符号的非平凡性。
• 本文证明了四重多重勒赫日符号不依赖于构造中使用的辅助元素 $\theta_i$ 的选择，只要满足定义条件 (1.1.1) 与 (3.2.1)，从而确保该符号是良定义的。