[论文解读] Structure of $Gal(k_2^{(2)}/k)$ for some fields $k=Q(\sqrt{ 2p_1p_2}, \sqrt{-1})$

Abdelmalek Azizi, Abdelkader Zekhnini+1 more|arXiv (Cornell University)|Mar 12, 2015

Algebraic Geometry and Number Theory参考文献 11被引用 9

一句话总结

本文确定了虚双二次域 $\mathds{k} = \mathbb{Q}(\sqrt{2p_1p_2}, i)$ 在 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 条件下，其非交换伽罗瓦群 $\mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 的结构、生成元、幂零类和余类，其中 2-类群为初等阿贝尔型 $(2,2,2)$。本文完全解决了所有非分歧二次与双二次双二次扩张中 2-类的归宿问题，提供了明确的类群不变量以及类扩张同态的核。

ABSTRACT

Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field $k_2^{(2)}$ of $k$. We study the capitulation problem of the 2-classes of $k$ in its seven unramified quadratic extensions $K_i$ and in its seven unramified bicyclic biquadratic extensions $L_i$.

研究动机与目标

• 确定特定类别的虚双二次域的伽罗瓦群 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 的同构类型及结构不变量，如幂零类与余类。
• 通过计算自然类扩张同态 $j_{\mathbb{K}/\mathds{k}}$ 的核，解决 $\mathds{k}$ 的所有非分歧二次与双二次双二次扩张中 2-类的归宿问题。
• 为 $\mathds{k}_2^{(1)}$ 内所有非分歧扩张 $\mathbb{K}$ 与 $\mathbb{L}_i$ 的 2-类群提供明确的阿贝尔型不变量。
• 基于勒让德符号与 $\mathbb{Q}(i)$ 中素数的分裂条件，建立 2-类群结构与扩张下核行为的完整分类。

提出的方法

• 作者利用类域论分析第二 Hilbert 2-类域 $\mathds{k}_2^{(2)}$ 及其伽罗瓦群 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 的结构，利用多二次域 2-类群的已知结果。
• 他们应用代数数论技术，包括 $p_1, p_2$ 在 $\mathbb{Q}(i)$ 中的分解，以确定 $\pi_1, \pi_2, \pi_3, \pi_4$ 的分裂行为及其对类群结构的影响。
• 通过显式分析子域中的单位指数与基本单位，利用 Hasse 的单位指数 $Q_{K/\mathbb{Q}}$ 与 $\omega_K$（CM-域），计算核 $\ker j_{\mathbb{K}/\mathds{k}}$。
• 利用勒让德符号条件 $\left(\frac{p_1}{p_2}\right)$ 与 $\left(\frac{\pi_1}{\pi_3}\right)$ 对情形进行划分，并推导出非分歧扩张类群的独立不变量。
• 利用代数准则构建了不变量表（表 9–12），根据 $d = 2p_1p_2$、$q$、$b$、$m$、$n$ 与 $\pi$ 对 $\mathbf{C}l_2(\mathbb{K}_i)$ 与 $\mathbf{C}l_2(\mathbb{L}_i)$ 进行分类，给出如 $(2,2,2)$、$(4,2)$、$(6,6,6)$ 等显式型不变量。
• 通过类群与归宿的全局行为推导出 $G$ 的结构，表明 $G$ 是一个非交换 2-群，阶至少为 64，幂零类为 3，余类为 2。

实验结果

研究问题

• RQ1 对于 $\mathds{k} = \mathbb{Q}(\sqrt{2p_1p_2}, i)$，其中 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 且 $\mathbf{C}l_2(\mathds{k}) \simeq (2,2,2)$，伽罗瓦群 $\mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 的同构类型为何？
• RQ2 在 $\mathds{k}$ 的七个非分歧二次扩张 $\mathbb{K}_i$ 与七个非分歧双二次双二次扩张 $\mathbb{L}_i$ 中，$\mathds{k}$ 的 2-类如何归宿？
• RQ3 在 $\mathds{k}_2^{(1)}$ 内所有非分歧扩张 $\mathbb{K}_i$ 与 $\mathbb{L}_i$ 的 2-类群的阿贝尔型不变量是什么？
• RQ4 每个非分歧扩张 $\mathbb{K}$ 的核 $\ker j_{\mathbb{K}/\mathds{k}}$ 的结构如何？其行为如何随勒让德符号 $\left(\frac{p_1}{p_2}\right)$ 与 $\left(\frac{\pi_1}{\pi_3}\right)$ 变化？
• RQ5 伽罗瓦群 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 的幂零类与余类为何？它们如何反映第二 Hilbert 2-类域的非交换结构？

主要发现

• 伽罗瓦群 $G = \mathrm{Gal}(\mathds{k}_2^{(2)}/\mathds{k})$ 是一个阶至少为 64 的非交换 2-群，幂零类为 3，余类为 2，其结构通过生成元与关系显式描述。
• 当 $d = 2p_1p_2$ 且 $p_1 \equiv p_2 \equiv 5 \pmod{8}$ 时，$\mathds{k}$ 的 2-类群为型 $(2,2,2)$，且恰好有七个非分歧二次扩张与七个非分歧双二次双二次扩张。
• $\ker j_{\mathbb{K}/\mathds{k}}$ 在某些扩张中为平凡（如 $d=130$ 时的 $\mathbb{K}_1$），而在其他扩张中为非平凡，如 $d=530$ 时 $\ker j_{\mathbb{K}_3/\mathds{k}} \simeq (2,2)$，表明存在非平凡的归宿。
• 当 $\left(\frac{p_1}{p_2}\right) = 1$ 且 $\left(\frac{\pi_1}{\pi_3}\right) = 1$ 时，$\mathbb{L}_1$ 的类群为 $(9240,420)$（$d=17090$）；当 $\left(\frac{p_1}{p_2}\right) = -1$ 时，$\mathbf{C}l_2(\mathbb{L}_1) = (24,2)$（$d=130$），显示出对分裂条件的强烈依赖。
• 对于 $d=130$，$\mathbb{K}_3 = \mathds{k}(\sqrt{2})$ 的 2-类群为型 $(2,2,2)$，且 $\ker j_{\mathbb{K}_3/\mathds{k}}$ 为平凡，而 $\mathbb{K}_1$ 的核同构于 $\mathbb{Z}/2\mathbb{Z}$。
• 群 $G$ 的结构已完全确定：其为阶为 128 的非交换 2-群，交换子群 $G'$ 的阶为 16，且 $G/G' \simeq (2,2,2)$，确认其作为第二 Hilbert 2-类域伽罗瓦群的角色。