Eisenstein-prime Obstruction Sieve for Monogenicity

論文要約：単一性に関するアイゼンシュタイン素数障害篩

1. 背景と問題設定 (Problem)

代数的数論における古典的な問題である単一性 (Monogenicity)、すなわち代数体の整数環 $\mathcal{O}_K$ がある元 $\theta$ によって $\mathcal{O}_K = \mathbb{Z}[\theta]$ と生成される性質について扱っています。

近年、Alpoge–Bhargava–Shnidman (ABS) は、三次および四次体の全空間において、「局所的な障害（local obstruction）がすべて解消されていても、大域的な単一性が成立しない（非単一な）体が正の割合で存在する」ことを示しました。これは、単一性が局所的な条件だけで決まるわけではないことを意味します。

本論文の核心的な問いは、**「パラメータが制約された1変数族（特に純拡大体 $K_m = \mathbb{Q}(\sqrt[n]{m})$）においても、このABS現象（局所条件と大域的性質の乖離）は持続するのか？」**という点です。

2. 手法：アイゼンシュタイン素数障害篩 (Methodology)

著者である Khai-Hoan Nguyen-Dang は、**「アイゼンシュタイン素数障害篩 (Eisenstein-prime obstruction sieve)」**という新しいモジュール的な手法を導入しました。この手法は以下の3段階のパイプラインで構成されます。

1. 局所的な剛性 (Local Rigidity):
   局所的な離散付値環 (DVR) において、指数形式 (index form) の値集合が、特定の単元（unit）のコセット（剰余類）に制限されることを証明します（Theorem 3.7）。これにより、局所的な生成元の存在条件を Kummer 理論の言葉に翻訳できます。
2. アイゼンシュタイン素数による障害の証明 (One-prime obstruction):
   純拡大体 $K_m = \mathbb{Q}(\sqrt[n]{m})$ において、パラメータ $m$ の素因数 $q$ が $X^n - m$ に対してアイゼンシュタイン的である場合、その素数 $q$ は「局所的な障害」を証明する「証明書」として機能します。Chebotarev の密度定理と Kummer 理論を組み合わせることで、特定の指数 $g$ を持つパラメータに対して、局所的な解が存在しないことを示す素数集合 $\mathcal{P}_g$ を構成します。
3. 篩法による閉鎖 (Sieve Closure):
   構成された素数集合 $\mathcal{P}_g$ は、Chebotarev の定理より正の密度を持ちます。篩法を用いることで、「$\mathcal{P}_g$ に含まれる素因数を一切持たないパラメータ」の集合は、自然密度 0 であることを示します。

3. 主な貢献と結果 (Key Contributions & Results)

• 純拡大体における密度の一致 (Theorem 1.1, 1.2):
  $n \geq 4$ の純拡大体 $K_m = \mathbb{Q}(\sqrt[n]{m})$ において、「単一性 (Monogenicity)」と「特定の生成元 $\alpha$ による単一性 ($\alpha$-monogenicity)」の自然密度は一致することを証明しました。これは、$n=2, 3$ の場合（密度が異なる）とは対照的な、高次における驚くべき性質です。
• 局所・大域原理の成立:
  全空間では局所条件が単一性を保証しませんが、アイゼンシュタイン族のような特定の構造を持つ族においては、**「局所的な障害がないならば、大域的な単一性を持つ（密度レベルにおいて）」**という局所・大域原理が成立することを示しました。
• スケーリングされたアイゼンシュタイン族への拡張 (Theorem 1.3):
  この手法が、より一般的な多項式族 $f_t(X) = X^n + t h(X)$ にも適用可能であることを示し、特定の条件（有限な指数値集合と Kummer 理論の非自明性）の下で、同様の密度 0 の結果が得られることを一般化しました。
• 反例の提示 (Theorem 7.6, 7.10):
  手法の境界条件を明確にするため、Kummer 理論が自明になる場合や、パラメータが非常に薄い（素数集合など）場合には、この原理が崩れることを示す構成例も提示しています。

4. 意義 (Significance)

本論文の意義は、単一性の統計的性質が、パラメータ空間の幾何学的構造（特に局所的な分岐の構造）に極めて敏感であることを明らかにした点にあります。

• 幾何学的視点: 一般的な高次元パラメータ空間では局所条件が破綻する（ABS現象）のに対し、アイゼンシュタイン族のような「移動する全分岐素数」を持つ族では、局所条件が強力な制約として機能することを数学的に定式化しました。
• 手法の汎用性: 導入された「アイゼンシュタイン素数障害篩」は、他の数体族や、相対的な単一性（Relative monogenicity）の研究にも応用可能な、強力で再利用可能なフレームワークを提供しています。