[論文レビュー] 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

ひとこと要約

本稿は、一般化モジュール指数 $[\mathcal{O}_K : \mathbb{Z}[\rho]]$ が素数 $p$ である非単生単純立方体体 $K = \mathbb{Q}(\rho)$ の加法的構造を調査する。このような体が存在するのは $p = 3$ または $p \equiv 1 \pmod{6}$ の場合に限られ、$p = 3$ の場合に $\mathcal{O}_K$ 内の分解不能整数を完全に特定する。この構造を用いて、Pythagoras 数 $\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$ の算術的不変量、特に Pythagoras 数と $\mathcal{O}_K$ 上の普遍二次形式の最小ランクに関する境界を導出すること。
• Minkowski空間における格子点の幾何的・トレースに基づく手法を用いて、単生の場合の結果を非単生の場合に拡張すること。

提案手法

• 文献[16]の幾何的手法を用い、$\mathbb{R}^3$ におけるMinkowski空間の2つの平行多面体に含まれる格子点を特定し、それらが $\mathcal{O}_K$ の整数環に対応することを示す。
• トレース基準を用いる：代数的整数 $\alpha \in \mathcal{O}_K$ が分解不能であるとは、その双対 $\mathcal{O}_K^\vee$ 内の完全正の元に関して最小トレースが1であるときを意味する。
• $p = 3$ の場合、モジュール指数の構造を解析し、$\mathcal{O}_K$ の基底における線形ディオファントス方程式を解くことにより、分解不能元を明示的に計算する。
• すべての完全正単位が平方であるという事実を用い、単位乗法に関しての分解不能元の分類を簡略化する。
• Pythagoras 数 $\mathcal{P}(\mathcal{O}_K)$ は、要素が平方和としての表現を分析することにより計算され、特に $\gamma$ の分解能と7を表すために必要な最小平方数を用いる。
• 分解不能元の個数 $\#S$ を用いて、定理7.11（[16]）を対角的・古典的・非古典的形式に適用し、普遍二次形式の最小ランクに関する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 素数 $p$ に対して、$[\mathcal{O}_K : \mathbb{Z}[\rho]] = p$ である非単生単純立方体体 $K = \mathbb{Q}(\rho)$ が存在するのはどのような場合か？
• RQ2 $p = 3$ の場合に $\mathcal{O}_K$ 内の加法的分解不能整数の完全構造は何か？
• RQ3 分解不能整数の $\mathcal{O}_K$ 内の挙動は $\mathbb{Z}[\rho]$ 内のそれとどのように異なるか？
• RQ4 このような体に対して $\mathcal{P}(\mathcal{O}_K)$ は何か？また、要素が平方和としての表現とどのように関係するか？
• RQ5 対角的・古典的・非古典的普遍二次形式の $\mathcal{O}_K$ 上の最小ランクは何か？

主な発見

• 非単生単純立方体体 $K = \mathbb{Q}(\rho)$ で $[\mathcal{O}_K : \mathbb{Z}[\rho]] = p$ となるものが存在するのは、$p = 3$ または $p \equiv 1 \pmod{6}$ の場合に限られる。
• $p = 3$ の場合、$\mathcal{O}_K$ 内の分解不能整数の完全集合が完全に特定され、$\mathbb{Z}[\rho]$ 内の分解不能整数とは一様でない構造を持つことが判明した。
• $\mathcal{O}_K$ のPythagoras数は正確に $\mathcal{P}(\mathcal{O}_K) = 6$ である。これは7が少なくとも4個の平方和で表され、$\gamma$ が少なくとも6個の平方和で表されることから示された。
• $a \equiv 3, 21 \pmod{27}$、$a > 12$、かつ $\Delta/27$ が平方自由であるとき、$\frac{a^2 + 3a}{3} + 12a + 12$ 変数を持つ対角普遍二次形式が $\mathcal{O}_K$ 上に存在する。
• すべての古典的普遍二次形式は、少なくとも $\frac{a^2 + 3a}{54}$ 個の変数を持つ。
• $a > 64$ のとき、すべての非古典的普遍二次形式は、少なくとも $\frac{\sqrt{a^2 + 3a}}{9\sqrt{2}}$ 個の変数を持つ。