[论文解读] Pólya-Ostrowski Group and Unit Index in Real Biquadratic Fields

Al-Jabbari, Huda Naeem Hleeb, Maarefparvar, Abbas|arXiv (Cornell University)|Aug 4, 2021

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文建立了实双二次域中Pólya-Ostrowski群阶的显式公式，该公式将Hasse单位指标、分歧指数以及具有负范数基本单位的二次子域数量联系起来。利用上同调方法及Bennett Setzer与Zantema的结果，本文改进了Zantema对Pólya实双二次域中分歧素数数量的上界，表明该上界取决于子域中基本单位的范数符号，分歧素数最多为5、4或3个，具体取决于负范数单位的数量。

ABSTRACT

The Pólya-Ostrowski group of a Galois number field $K$, is the subgroup $Po(K)$ of the ideal class group $Cl(K)$ of $K$ generated by the classes of all the strongly ambiguous ideals of $K$. The number field $K$ is called a Pólya field, whenever $Po(K)$ is trivial. In this paper, using some results of Bennett Setzer \cite{Bennett} and Zantema \cite{Zantema}, we give an explicit relation between the order of Pólya groups and the Hasse unit indices in real biquadratic fields. As an application, we refine Zantema's upper bound on the number of ramified primes in Pólya real biquadratic fields.

研究动机与目标

• 通过上同调与单位理论数据，推导实双二次域中Pólya-Ostrowski群阶的显式统一公式。
• 将Pólya群阶与Hasse单位指标[UK : Uk1Uk2Uk3]、分歧指数以及具有负范数基本单位的二次子域数量联系起来。
• 通过引入子域中基本单位范数符号的信息，改进Zantema对Pólya实双二次域中分歧素数数量的5个上界。
• 提供一个上同调框架，统一Bennett Setzer与Zantema在双二次情形下分析Pólya域的结果。
• 建立Pólya实双二次域中分歧素数数量的定量界限，该界限依赖于子域的结构不变量。

提出的方法

• 利用Zantema的精确上同调序列（1.1），将H¹(Gal(K/Q), UK)与Po(K)及分歧指数联系起来。
• 应用Bennett Setzer在实双二次域中对H¹(Gal(K/Q), UK)的结构定理，特别是2-torsion子群与单位范数条件。
• 将Hasse单位指标[UK : Uk1Uk2Uk3]整合进#Po(K)的统一公式中，根据2是否完全分歧以及子域是否包含范数为±2的元素来区分情况。
• 利用命题2.3分析二次子域中单位生成元范数的无平方部分，将其与判别式整除性联系起来。
• 通过结合上同调序列与单位群结构，推导出主公式（定理2.2），根据t（具有负范数基本单位的子域数量）区分情况。
• 基于t ∈ {0,1,2,3}及2的完全分歧性进行情形分析，以单位指标与分歧积表示#Po(K)。

实验结果

研究问题

• RQ1 实双二次域中Pólya-Ostrowski群的阶如何依赖于Hasse单位指标与素数的分歧指数？
• RQ2 具有负范数基本单位的二次子域数量与Pólya群结构之间的确切关系是什么？
• RQ3 能否基于子域中基本单位的范数符号，改进Zantema对Pólya实双二次域中分歧素数数量的5个上界？
• RQ4 在何种条件下，上同调群H¹(Gal(K/Q), UK)的阶为2⁴或2³，这又如何影响Pólya群的阶？
• RQ5 2在K/Q中完全分歧，且每个子域中存在范数为±2的元素时，如何影响Pólya群的阶？

主要发现

• 实双二次域K中Pólya-Ostrowski群的阶由一个显式公式给出，该公式涉及Hasse单位指标[UK : Uk1Uk2Uk3]、分歧指数的乘积∏p|dK ep(K/Q)，以及一个依赖于t（具有负范数基本单位的二次子域数量）的2的幂次。
• 当t = 0或1时，若2完全分歧且子域包含范数为±2的元素，则#Po(K) = [UK : Uk1Uk2Uk3] × ∏p|dK ep(K/Q) / 2^{t−5}；否则分母为2^{t−5}，并根据情形区分进行调整。
• 当t = 2或3时，在完全分歧情况下有#Po(K) = [UK : Uk1Uk2Uk3] × ∏p|dK ep(K/Q) / 2^{t−3}，否则为/2³，表明当t = 2与t = 3时Po(K)的阶相同。
• 当t = 2或3时，Pólya实双二次域中分歧素数的数量sK至多为3，优于Zantema的5个上界。
• 当t = 1时，sK的上界为4；当t = 0时，上界为5，表明该上界依赖于具有负范数基本单位的子域数量。
• 定理2.2中的公式仅需Hasse单位指标、分歧数据与t即可计算#Po(K)，因此是分类双二次情形下Pólya域的实用工具。