Distinct differences of singular moduli

技術的要約：特異モジュライの相異なる差

問題提起
本論文は、複素数体 $\mathbb{C}$ 上の複素乗法（CM）を持つ非同型な楕円曲線対の特性付けに関する問題を扱う。具体的には、それらの $j$ 不変量の差が、同型を除いてそのペアを一意に決定するかどうかを調査している。特異モジュライ（CM 楕円曲線の $j$ 不変量）の言葉を用いれば、著者らは、方程式 $x_1 - x_2 = x_3 - x_4$ が項の自明な並べ替えを意味するかどうかを追求している。中心となる問いは、異なるペア $(x_1, x_2) \neq (x_3, x_4)$ かつ $(x_1, x_3) \neq (x_2, x_4)$ に対して、差 $x_1 - x_2$ が $x_3 - x_4$ と等しくなり得るかという点である。

主要な結果
著者らは定理 1.1を証明する：$x_1, x_2, x_3, x_4$ を特異モジュライとする。もし $x_1 - x_2 = x_3 - x_4$ ならば、$(x_1, x_2) = (x_3, x_4)$ または $(x_1, x_3) = (x_2, x_4)$ のいずれかが成立する。
この結果は、非同型な CM 楕円体のペア $(E_1, E_2)$ が、ペアにおける曲線の順序を入れ替えるという自明な対称性を除いて、その差 $j(E_1) - j(E_2)$ によって一意に特徴付けられることを確立している。

手法
証明は、非自明な関係を持つ解が存在すると仮定する背理法によって進められる。その手法は、特異モジュライの解析的な評価と、類体論およびシムラ多様体の理論からの深い結果を組み合わせたものである。

1. 解析的境界と支配的なモジュライ：
   著者らは、モジュラー $j$ 関数の $q$ 展開を利用して、与えられた判別式 $\Delta$ に対して、絶対値が約 $e^{\pi\sqrt{|\Delta|}}$ である一意の「支配的な」特異モジュライが存在し、他の共役数はそれよりも指数関数的に小さい（およそ $e^{\pi\sqrt{|\Delta|}/2}$）ことを確立している。ガロア自己同型を適用することで、$x_1$ が支配的であると仮定する。証明は、他の変数（$x_2, x_3, x_4$）がどれだけ支配的であるかに基づいて層別化される。

2. ガロア自己同型による簡約：
   証明の重要な構成要素は、クラス体論（具体的には転送体に関する Cohn の結果）から導かれる命題 3.1である。この命題は、判別式 $\Delta$ が「2-elementary」（環の類体に関するガロア群に関連する特定の性質）でない場合、異なる基本判別式の特異モジュライを固定し、$\Delta$ の特異モジュライを動かす自己同型 $\sigma$ が存在することを述べている。これにより、著者らは方程式における支配的な項の数を減らすことができ、多くの場合、解析的な境界を通じて矛盾へと導くことができる。

3. 2-elementary 判別式の処理：
   自己同型による簡約が失敗するケースは、「2-elementary」な判別式に対応する。著者らは、命題 3.6および命題 3.7を活用し、そのような判別式が高度に制限されていることを示す：それらの基本判別式は、特定の大きな値（$D^* = -8399$）であるか、あるいは小さな類数（$h(\Delta) \le 16$）を持ち、その導手は有界である。これにより、探索空間が計算可能な有限集合に限定される。

4. 類体論的制約：
   証明では、命題 4.4および特異モジュライの線形結合によって生成される体に関する結果を用いている。これらの結果は、線形関係（$x_1 - x_2 = x_3 - x_4$ のような）が成立する場合の判別式間の可能な関係を制約し、関与する判別式の間の特定の等価性や「ほぼ 2-elementary」な性質を強制する。

5. ケース分析と計算：
   証明は、$x_2, x_3, x_4$ の中にある支配的なモジュライの数に基づいてケース分けされる：

• 0 または 1 個の支配的項： 支配的な項がより小さい項の和によって相殺できないことを示す直接的な解析的不等式によって処理される。
• 2 または 3 個の支配的項： これらは最も複雑なケースである。著者らは、クラス体論の結果を用いて、これらを 2-elementary な判別式を含む有限のシナリオのリストへと簡約する。その後、PARI/GP コンピュータ代数システムを用いて明示的な計算を行い、導出された境界（例：$|\Delta| \le 7452$）の範囲内で非自明な解が存在しないことを検証する。

主な貢献

• 明示的な特性付け： 本論文は、$\mathbb{C}^4$ 内の 3 次元部分多様体（$x-y-w+z=0$ で定義される）において、自明な特殊点のみを含むことを初めて明示的に特徴付けており、明示的な André-Oort の結果の範囲を曲線や曲面を超えて拡張している。
• 有効な境界： 以前の非有効な結果（Pila などによる）や、天文学的な大きさの境界を持つ結果（Bilu および Kühne などによる）とは異なり、本研究は、現在のリソースで実行可能な有限のチェックへと問題を還元する、有効に計算可能な証明を提供している。
• 洗練された類体論の適用： 著者らは、典型的な有効な André-Oort 証明に見られる「天文学的な定数」を回避する、Cohn の転送体の結果（命題 3.1）の洗練された適用を導入しており、これはすべての解を明示的に見つけることに適している。

意義
本論文は、$\mathbb{C}^4$ における 3 次元の部分多様体に対する初の明示的な André-Oort の結果であると主張している。これは、2 つの特異モジュライの差が、ペアを唯一に特定する硬直的な不変量であることを示しており、これは等しくない係数を持つより一般的な線形方程式には共有されない性質である。本研究は、定性的有限性の結果（André-Oort 予想）と、特定の線形方程式のすべての解を明示的かつ有効に決定することとの間の溝を埋めるものである。著者らは、彼らの手法は係数の絶対値が等しい（$\pm 1$）方程式に合わせて作られており、非自明な解が存在することが知られている不等しい係数を持つ方程式には直ちに一般化できないことを注記している。