[论文解读] Additive structure of non-monogenic simplest cubic fields

Daniel Gil-Muñoz, Magdaléna Tinková|arXiv (Cornell University)|Dec 1, 2022

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文研究了非单生成的最简三次域 $K = \mathbb{Q}(\rho)$ 的加法结构，其中广义模指数 $[\mathcal{O}_K : \mathbb{Z}[\rho]]$ 为素数 $p$。本文证明此类域存在的充要条件是 $p = 3$ 或 $p \equiv 1 \pmod{6}$，并完全确定了当 $p = 3$ 时 $\mathcal{O}_K$ 中的不可约整数。利用该结构，作者推导出毕达哥拉斯数 $\mathcal{P}(\mathcal{O}_K) = 6$，并建立了 $K$ 上通用二次型最小秩的界限，包括一个具有 $\frac{a^2 + 3a}{3} + 12a + 12$ 个变量的对角通用二次型。

ABSTRACT

We consider Shanks' simplest cubic fields $K$ for which the index $[\mathcal{O}_K:\mathbb{Z}[ρ]]$ of a root $ρ$ of the defining parametric polynomial is $3$. For them, we study the additive indecomposables of $K$ and provide a complete list of them. Moreover, we use the knowledge of the indecomposables to prove some interesting consequences on the arithmetic of $K$. Mainly, we obtain good bounds on the ranks of universal quadratic forms over $K$ and prove that the Pythagoras number of $\mathcal{O}_K$ is $6$.

研究动机与目标

• 刻画非单生成最简三次域 $K = \mathbb{Q}(\rho)$ 的加法结构，其中指数 $[\mathcal{O}_K : \mathbb{Z}[\rho]]$ 为素数 $p$。
• 确定当 $p = 3$ 时 $\mathcal{O}_K$ 中所有加法不可约整数的完整集合，并分析其相对于 $\mathbb{Z}[\rho]$ 的行为。
• 推导 $K$ 的算术不变量，包括毕达哥拉斯数及 $\mathcal{O}_K$ 上通用二次型最小秩的界限。
• 通过闵可夫斯基空间中格点的几何与迹方法，将单生成最简三次域的结果推广至非单生成情形。

提出的方法

• 采用文献 [16] 中的几何方法，作者在闵可夫斯基空间 $\mathbb{R}^3$ 中识别出对应于整数环 $\mathcal{O}_K$ 的两个平行六面体内的格点。
• 利用迹判别法：若代数整数 $\alpha \in \mathcal{O}_K$ 对某个完全正元素在余微分模 $\mathcal{O}_K^\vee$ 中具有最小迹 1，则其为不可约整数。
• 当 $p = 3$ 时，作者通过分析模指数的结构并求解 $\mathcal{O}_K$ 基下的线性丢番图方程组，显式计算出不可约整数。
• 他们利用 $K$ 中每个完全正单位元均为平方数这一事实，简化了不可约整数在单位乘法下的分类。
• 通过分析元素表示为平方和的方式，特别是将 $\gamma$ 分解为不可约整数并确定表示 7 所需的最少平方数，计算出毕达哥拉斯数 $\mathcal{P}(\mathcal{O}_K)$。
• 基于不可约整数的数量 $\#S$，应用文献 [16] 中的定理 7.11，推导出对角型、经典型及非经典型通用二次型的最小秩界限。

实验结果

研究问题

• RQ1 对于哪些素数 $p$，存在非单生成的最简三次域 $K = \mathbb{Q}(\rho)$，使得 $[\mathcal{O}_K : \mathbb{Z}[\rho]] = p$？
• RQ2 当 $p = 3$ 时，$\mathcal{O}_K$ 中加法不可约整数的完整结构是什么？
• RQ3 在 $\mathcal{O}_K$ 中不可约整数的行为与在 $\mathbb{Z}[\rho]$ 中有何不同？
• RQ4 此类域的毕达哥拉斯数 $\mathcal{P}(\mathcal{O}_K)$ 是多少？它与元素表示为平方和的关系如何？
• RQ5 对角型、经典型及非经典型通用二次型在 $\mathcal{O}_K$ 上的最小秩是多少？

主要发现

• 非单生成最简三次域满足 $[\mathcal{O}_K : \mathbb{Z}[\rho]] = p$ 当且仅当 $p = 3$ 或 $p \equiv 1 \pmod{6}$。
• 当 $p = 3$ 时，$\mathcal{O}_K$ 中不可约整数的完整集合已被完全确定，且其结构与 $\mathbb{Z}[\rho]$ 中的不可约整数不一致。
• 该整数环的毕达哥拉斯数恰好为 $\mathcal{P}(\mathcal{O}_K) = 6$，这由 7 至少需要 4 个平方和、$\gamma$ 至少需要 6 个平方和所证实。
• 存在一个对角通用二次型，其变量数为 $\frac{a^2 + 3a}{3} + 12a + 12$，对所有满足 $a \equiv 3, 21 \pmod{27}$，$a > 12$ 且 $\Delta/27$ 为无平方因子的 $a$ 成立。
• 每个经典通用二次型在 $\mathcal{O}_K$ 上至少包含 $\frac{a^2 + 3a}{54}$ 个变量。
• 当 $a > 64$ 时，每个非经典通用二次型在 $\mathcal{O}_K$ 上至少包含 $\frac{\sqrt{a^2 + 3a}}{9\sqrt{2}}$ 个变量。