[論文レビュー] One half log discriminant

Lucien Szpiro, Thomas J. Tucker|ArXiv.org|Mar 17, 2006

Advanced Differential Equations and Dynamical Systems参考文献 10被引用数 3

ひとこと要約

本稿は、数体上の楕円曲線上の乗法2マップの前周期的点に対する局所等分布公式の幾何的証明を提供する。2- torsion を除く n- torsion 点の正規化局所高さの極限が、Weierstrass多項式の対数判別式の半分に収束することを示している。主な結果は、Néronモデル上の吹き上げと特別ファイバー解析を通じて、算術的交差理論と力学的等分布の間の関係を確立する。

ABSTRACT

We give a geometric proof that one may compute a particular generalized Mahler integral using equidistribution of preperiodic points of a dynamical system on the sphere. The dynamical system is associated to the multiplication by 2 map on an elliptic curve over a number field K with Weierstrass equation y^2 = P(x) (a Lattes dynamical system).

研究の動機と目的

• 数体上の楕円曲線における乗法2マップに関連するLattès写像の前周期的点に対する局所等分布公式を確立すること。
• 2- torsion を除く n- torsion 点の正規化局所高さの極限が、Weierstrass多項式の対数判別式の半分に収束することを証明すること。
• ディオファントス近似技術を避けるために、吹き上げと算術的表面における交差理論を用いた幾何的証明を提供すること。
• 特異点の解消とNéronモデルの特別ファイバー解析を用いて、有限素点への等分布結果を拡張すること。
• 等特徴および非等特徴の両方の設定、特に局所算術の場合においても公式の有効性を示すこと。

提案手法

• 多重度2の点における逐次的な吹き上げを用いて特異点を解消し、算術的表面 $\mathbb{P}^1_{\mathcal{O}_K}$ 上の分岐を分離すること。
• 体の拡大 $\operatorname{Spec}V[X]/(X^n - \pi) \to \operatorname{Spec}V$ の後、最小モデル $\mathcal{E}'$ 上で射影公式を用いて交差数 $ (H_n \cdot D)_v $ を計算すること。
• 楕円曲線のNéronモデルの特別ファイバーの解析、特に成分の配置とそれらが torsion 点とどのように交差するかを調べること。
• 特別ファイバーの成分における n- torsion 点の多重度を用いて、各例外的 divisor $F_j$ が交差数に与える寄与を追跡すること。
• 交差数の漸近的推定に基づいて導かれる公式 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = \frac{1}{2} \log |\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)|_v $ の適用。
• 積分公式と正規化を用いて、局所交差極限を全球判別式に関連付けること。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線上の乗法2マップによって誘導される力学系における前周期的点の局所等分布を、ディオファントス近似を用いずに幾何的に証明できるか。
• RQ2 有限素点 $v$ における $n$- torsion 点（2- torsion を除く）の正規化局所高さの正確な極限は何か。
• RQ3 $n \to \infty$ のとき、交差数 $ (H_n \cdot D)_v $ はどのように漸近的に振る舞い、Weierstrass多項式の判別式と何の関係があるか。
• RQ4 特異点の解消を用いて、等特徴および非等特徴の局所体への等分布公式を拡張できるか。
• RQ5 Néronモデルの特別ファイバーの成分は、torsion 点と例外的 divisor の交差多重度を計算する際に果たす役割は何か。

主な発見

• 各有限素点 $v$ に対して、$ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ が成り立つ。ここで $k$ は導子の付値、または還元型に関連する値である。
• 局所等分布結果から、公式 $ \frac{1}{2}\log|\operatorname{Norm}_{K/\mathbb{Q}}(\Delta)| = \sum_{\sigma:K\to\mathbb{C}} \int_{\mathbb{P}^1(\mathbb{C})} \log|P(x)|_\sigma \frac{dx \wedge d\bar{x}}{\Im(\tau)_\sigma |P(x)|_\sigma^2} $ が導かれる。
• 交差数 $ (H_n \cdot D)_v $ は、$ \left| (H_n \cdot D)_v - (n - r)nk \right| \leq k(k-1)2n $ を満たし、$ r = n \mod 2k $ である。極限 $ \lim_{n\to\infty} \frac{1}{n^2} (H_n \cdot D)_v = k $ が確認された。
• 証明は等特徴および非等特徴の両方の状況で有効であり、特に局所算術の場合にも成立する。
• ディオファントス近似を避けて、代わりに吹き上げによる特異点の解消とNéronモデルの特別ファイバーの解析に依拠している。
• 各例外的 divisor $F_j$ の交差への寄与は漸近的に $ 2n \frac{n - r}{2k} $ であり、$j \leq k $ について総和を取ることで合計極限 $k$ が得られる。