On the unit equation $\varepsilon+\delta=n$ in cubic fields

技術的要約：3次体における単数方程式 $\varepsilon + \delta = n$ について

問題設定
本論文は、3次体 $L$ の整数環 $\mathcal{O}_L$ における単数 $\varepsilon$ および $\delta$ と、非ゼロの整数 $n$ に関する単数方程式 $\varepsilon + \delta = n$ を調査している。この方程式は、穴あき曲線 $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$ 上の $L$ 点に対応する。特に、著者らは「新しい」点、すなわち $L$ 上で定義されているが、$\mathbb{Q}$ のより小さな拡大体上では定義されていない点である $X(\mathcal{O}_L)^{\text{new}}$ に焦点を当てている。中心となる問いは、絶対判別数によって順序付けられた際に、これらの解がどのような統計的挙動を示すかである。

手法
著者らは、明示的な代数的パラメータ化と算術統計を組み合わせて用いている。

1. 解のパラメータ化:
   論文ではまず、単数方程式の解と特定の3次多項式の根との間の対応関係を確立している。

   • $n \geq 3$ の場合、補題5は、$L = \mathbb{Q}(\varepsilon)$ が3次体であるならば、$\varepsilon$ の最小多項式はある整数 $a$ を用いて $X^3 + aX^2 - (n^2 + an)X + 1$ という形をとることを示している。
   • $n=2$ および $n=1$ の場合、補題6および補題7は同様の明示的なパラメータ化を提供し、関連する体を生成する特定の3次多項式の族を特定している。
   • また、著者らは2次のケース（セクション2）についても分析しており、任意の $n$ に対して、解を含む2次体は有限個しか存在しないことを証明している。これは3次のケースとは対照的である。

2. 算術統計とガロア理論:
   統計的結果を証明するために、著者らは、彼らの以前の著作 [6] および Bhargava, Taniguchi, Thorne [1] による結果から導かれた最新の定理（定理8）を利用している。この定理は、多項式 $F(t, X)$ によって定義される3次体の族が、「薄い（thin）」集合（すなわち、判別数によって順序付けられたすべての3次体のうち0%の集合）を構成するための判定基準を提供する。

   • 著者らは、補題で得られたパラメータ化に基づき、二変数多項式 $F(T, X)$ を構築する。
   • 著者らは、$F$ の $X$ に関する判別式 $\Delta_X(F)$ を分析する。この判別式を $g(T) \cdot h(T)^2$ に分解する（ここで $g(T)$ は平方フリーである）。
   • 証明は、$g(T)$ に関する以下の2つの条件の検証に基づいている：
     1. $g(T)$ は有理数根を持たない（関連する種数1の曲線 $E: Y^2 + Y = X^3$ の研究を通じて検証される）。
     2. ガロア群 $G = \text{Gal}(g)$ は、$g$ の根に自由に作用する要素を含む。

主要な貢献と結果
本論文は、方程式 $\varepsilon + \delta = n$ に関して2つの主要な結果を提示している：

• 定理 3(I): 新しい点の集合 $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ が空でないような3次体 $L$ は無限に存在する。これは、補題5、6、および7における明示的な構成を通じて、無限の3次体の族を構築することによって確立される。
• 定理 3(II): 3次体が絶対判別数によって順序付けられるとき、100%の3次体が $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$ を満たす。
  • この結果は、単数方程式の解によって生成される3次体の族が、定理8で記述されている「薄い」集合に属することを示すことで証明される。
  • 著者らは、$n \geq 3$ の場合、判別式多項式 $g(T)$ が有理数根を持たず、そのガロア群が不動点を持たない要素を含むことを検証している。$n=1$ および $n=2$ のケースも同様であるが、より初等的なものであると注記されている。

意義と主張
本論文は、自身の知見を「双曲曲線の統計的ディオファントス安定性予想（予想1）」をさらに支持する証拠として位置づけている。この予想は、双曲曲線 $X$ に対して、許容される族における $L$ 拡大における $L$-新しい点の集合は、100%の拡大において空であると述べている。

• 予想との整合性: この結果は、特定の双曲曲線 $\mathbb{P}^1 \setminus \{0, n, \infty\}$ に対して、この予想が3次体の族において成立することを裏付けている。
• 2次体との対比: 著者らは、2次体と3次体の間の明確な違いを強調している。定理 3(II) の2次版の類似物は（解が有限個しか存在しないため）自明に成り立つが、3次の場合は、解が無限に存在するにもかかわらず、それらが稀（密度0）であることを示すために、非自明な統計的議論を必要とする。
• 謙虚な姿勢: 著者らは、本研究を、すべての双曲曲線に対する当該予想の完全な証明ではなく、当該予想への「さらなる証拠」を提供するものとして位置づけている。彼らは、一般的な枠組みおよび $n=1$ の特定の場合（定理2）について、以前の著作 [6] を明示的に参照しており、本論文はこれを任意の非ゼロ整数 $n$ へと一般化したものであると述べている。

論文は、判別式多項式の性質を検証するために使用された支援的な計算コード（Magma）が、公開リポジトリで利用可能である旨を記して締めくくられている。