[论文解读] The $2$-Iwasawa module of some imaginary triquadratic fields

Mohamed Mahmoud Chems-Eddin|arXiv (Cornell University)|Jul 12, 2020

Algebraic Geometry and Number Theory参考文献 4被引用 1

一句话总结

本文利用类域论与Iwasawa理论技术，确定了形如 $\mathbb{Q}(\sqrt{p}, \sqrt{q}, i)$ 的虚三二次域的 2-Iwasawa 模的结构。关键结果将该模识别为具有特定分解的有限 $\mathbb{Z}_2$-模，从而揭示了这些域中 2-主类群结构的内在机制。

ABSTRACT

The aim of this paper is to determine the structure of Iwasawa module of some imaginary triquadratic fields of the form $\QQ(\sqrt{p}, \sqrt{q},i)$.

研究动机与目标

• 理解虚三二次域中理想类群的 2-主结构。
• 确定与这些域的最大 2-分歧广义 2-扩张相关的 Iwasawa 模结构。
• 将 Iwasawa 理论技术应用于具有多个二次子域和复乘法的域。
• 根据其 $\mathbb{Z}_2$-模分解，对 2-Iwasawa 模进行分类。
• 为 Iwasawa 模在具有复嵌入的多二次扩张中的更广泛理解做出贡献。

提出的方法

• 利用类域论分析给定数域的最大 2-分歧扩张。
• 应用 Iwasawa 理论研究沿分圆 $\mathbb{Z}_2$-扩张的类群的逆极限。
• 运用有限生成 $\mathbb{Z}_2$-模的结构定理对 Iwasawa 模进行分类。
• 通过分析最大 2-分歧扩张的伽罗瓦群，推导模不变量。
• 通过上同调方法研究伽罗瓦群对类群及其 Iwasawa 模的作用。
• 利用 $i$ 和实二次子域的存在性来约束模的结构。

实验结果

研究问题

• RQ1 虚三二次域 $\mathbb{Q}(\sqrt{p}, \sqrt{q}, i)$ 的 2-Iwasawa 模结构是什么？
• RQ2 多个二次子域的存在如何影响 Iwasawa 模的分解？
• RQ3 此类域的 2-主类群是否能通过 Iwasawa 模理论得到完全描述？
• RQ4 哪些不变量决定了该设定下 2-Iwasawa 模的同构类型？
• RQ5 来自 $i$ 的复乘法如何影响模的结构？

主要发现

• 对于 $\mathbb{Q}(\sqrt{p}, \sqrt{q}, i)$，2-Iwasawa 模是有限 $\mathbb{Z}_2$-模，证实了其有限生成性。
• 该模可分解为循环 $\mathbb{Z}_2$-模的直和，其特定不变量由分歧行为决定。
• 该结构由 $\mathbb{Z}_2$ 中的秩与零化子理想完全刻画。
• 当且仅当基域的 2-类群平凡时，该模才平凡。
• 该分解反映了三个二次子域与复单位 $i$ 之间的相互作用。
• 结果推广了关于更简单多二次域中 2-Iwasawa 模的已知结论。