On the distribution of shapes of sextic pure number fields

技術要約：純純六次数体における形状の分布について

問題設定と背景
本論文は、絶対判別量によって順序付けられた純六次数体 $K = \mathbb{Q}(\sqrt[6]{m})$ の「形状（shape）」の統計的分布を調査するものである。次数 $n$ の数体 $K$ の形状とは、$GL_{n-1}(\mathbb{Z})$ の作用および正のスカラー倍による直交変換の下での、整数環の格子（トレースゼロ超平面への射影）の同値類として定義される。形式的には、形状はダブル・コセット空間 $S_{n-1} = GL_{n-1}(\mathbb{Z}) \backslash GL_{n-1}(\mathbb{R}) / GO_{n-1}(\mathbb{R})$ 内に存在する。

次数 $n \le 5$ における形状の等分布の結果（Terr, Bhargava, Shnidman, Harronらによる）は確立されているが、これらは（Delone–FaddeevやBhargavaのような）単化された次数のオーダーの明示的なパラメータ化に依存しており、$n \ge 6$ の場合には存在しない。その結果、高次数の数体、特に非典型的なガロア群を持つ数体の形状の分布は未解決の問題となっている。本研究は、この空白を特定の純六次体の族に対して埋めるものである。

手法
著者らは、数論的篩法（analytic sieve techniques）と数論的幾何学（geometry of numbers）を組み合わせて用いて、指定された形状パラメータを持つ体の数を数え上げる。手法は以下のステップで進行する：

1. 分類と整数基底： 純六次体は、素数2および3における局所的な合同条件に基づき、20個の異なる「型（Type）」に分割される。各型 $(i, j)$ に対して、著者らは [Jak21] で計算された $\mathcal{O}_K$ の明示的な整数基底を利用する。
2. 形状のパラメータ化： これらの整数基底を用いて、射影された格子のグラム行列を計算する。著者らは、固定された型において、形状が対角行列 $\lambda_1(m), \lambda_2(m), \lambda_3(m)$ に作用する遷移行列 $C_{i,j}$ によって決定されることを示す。これらのパラメータは、$m = \pm a_1 a_2^2 a_3^3 a_4^4 a_5^5$ の平方フリー成分の明示的な関数である。
3. 格子点計数： 特定の領域内の形状を持つ体を数える問題は、形状パラメータと判別量の境界を満たす整数タプル $(a_1, \dots, a_5)$ を数える問題へと翻訳される。
4. 篩法： 有効な純六次体に相当するタプル（平方フリーおよび互いに素である条件を満たす必要がある）を孤立させるために、著者らは篩法を適用する。関連する格子点が（周囲の空間を葉状に分割する）無限個の低次元の「リーフ（leaf）」上に位置するという事実を扱うにあたっては、Davenportの補題とLipschitzの原理を用いて誤差項を制御しながら、各リーフへの寄与を合算する。

主要な貢献と結果

• 明示的な形状の記述： 本論文は、与えられた型のすべての純六次体に対する形状の明示的な記述を提供する。形状は、パラメータ $(\lambda_1, \lambda_2, \lambda_3)$ によって制御される、形状空間 $S_5$ 内の平行移動されたトーラス軌道上に存在することが示される。
• 漸近分布（定理A）： $m$ の符号および型 $(i, j)$ が固定されている場合、形状パラメータ $(\lambda_1(m)^3, \lambda_2(m)^3, \lambda_3(m)^{-1})$ が規定された領域 $R \subset \mathbb{R}^3$ 内に等分布することを証明する。極限分布は、第1・第2座標における連続測度と第3座標における離散測度の積である、明示的な測度 $\hat{\mu}_{i,j}$ によって与えられる。
• 算術パラメータの同時分布（定理B）： 本論文はさらに、三重項 $(a_5/a_1, a_3, a_2a_4)$ の同時分布を分析する。判別量が増大するにつれ、これらのパラメータが、連続的な測度（比 $a_5/a_1$ に対して）と離散的な測度（整数成分 $a_3$ および $a_2a_4$ に対して）の積である測度 $\hat{\nu}_{i,j}$ に関して等分布することを確立する。
• 測度の構造： 重要な知見は、極限測度が形状空間上の自然なハール測度の単純な制限ではないということである。むしろ、それらは「型」の分類によって課される算術的制約を反映して、連続成分と離散成分へと分解される。

意義と主張
著者らは、これらの結果が、自然な算術的精緻化（符号および局所的な型）が固定された場合の、純六次体の族内における形状分布の詳細な記述を提供するものであると主張している。本研究は、形状の研究における新しい現象、すなわち、連続成分と離散成分の積として分解される極限測度の出現を浮き彫りにしている。これは、素数次数の体（形状がアフィン空間上に位置する）で見られる挙動とは対照的であり、また、四次体のケースのような合成次数体の挙動とも異なる。

本論文は、純六次体の詳細な記述への扱いやすい一歩として位置づけられており、ここで開発された手法は、明示的な整数基底が利用可能な、純数体 $n = p^2$ （$p$ は素数）やその他の疎な族へと拡張できる可能性を示唆している。本研究は、任意の六次体や非純なガロア群を持つ数体の一般的な問題を解決することを主張するものではなく、構造化された特定の家族である純六次体のための厳密な枠組みを確立するものである。