論文「有理点の多高さ解析：トーリック多様体」の技術的サマリー

著者: Nicolas Bongiorno
対象: 滑らか、射影的、かつ分裂した $\mathbb{Q}$ 上のトーリック多様体
主題: 有理点の多高さ（multi-height）分布の漸近挙動の証明

1. 問題設定と背景

1.1 背景

代数多様体 $V$ 上の有理点の分布を研究する際、通常はアンチカノニカル線形束 $\omega^{-1}_V$ に関連付けられた単一の「高さ」関数 $H$ を用いて、高さが $B$ 以下である有理点の個数を漸近的に評価する（Manin の予想）。
しかし、Peyre はより一般的な枠組みとして、すべての可能な線形束に対する高さを同時に考慮する「多高さ（multi-height）」の概念を提案した。これは、有理点 $P$ に対して、$\text{Pic}(V)^\vee_{\mathbb{R}}$ 上の線形形式 $h(P)$ として定義される。

1.2 研究課題

トーリック多様体において、Peyre が提案した多高さ分布に関する予想（Conjecture 2.11）が成立するかどうかを証明すること。
具体的には、双対有効錐 $(C_{\text{eff}}(V)^\vee)^\circ$ の内部にあるベクトル $u$ とコンパクトな多面体 $D_1$ に対して、高さが $D_B = D_1 + \log(B)u$ に属する有理点の個数の漸近挙動を決定し、予想される主項と誤差項を明確にすること。

2. 手法とアプローチ

この論文は、Salberger がトーリック多様体の有理点の数を研究するために導入した**普遍トールソル（Universal Torsors）**への下降（descent）法を基盤としている。

2.1 普遍トールソルへのリフト

トーリック多様体 $X$ 上の有理点の数を数える問題を、その普遍トールソル $T$ 上の格子点の数を数える問題に変換する。

• $X$ はファンの $\Sigma$ によって定義され、その普遍トールソル $T_\Sigma$ は、アフィン空間 $\mathbb{A}^{\Sigma(1)}$ から特定の閉集合 $Z(\Sigma)$ を除いた開集合として記述される。
• 有理点 $P \in X(\mathbb{Q})$ は、普遍トールソル上の点 $y \in T(\mathbb{Z})$ にリフトされ、その高さはトールソル上の局所高さに対応する。

2.2 局所高さと測度の構成

• 局所高さ: 普遍トールソル上の点 $y$ に対して、各素点 $v$ における局所高さを定義し、これらを積して大域的高さを構成する。
• 測度の対応: トーリック多様体上の Tamagawa 数 $\tau(X)$ と、普遍トールソル上の自然な測度 $\omega_T$ の関係を明確にする。特に、実数点 $T(\mathbb{R})$ 上の測度と、$\text{Pic}(X)^\vee_{\mathbb{R}}$ 上の測度 $\nu$ の間の関係を証明する（Proposition 3.29）。

2.3 数論的解析と誤差評価

• メビウス反転: 普遍トールソル上の整点 $T(\mathbb{Z})$ の条件（最大公約数が 1 であること）を、Salberger が定義したメビウス関数 $\mu$ を用いた反転公式を用いて処理する。
• 幾何学の数（Geometry of Numbers）: Davenport の定理（格子点の個数と領域の体積の差の評価）を適用し、有界領域内の格子点の数を体積で近似する。
• 誤差項の制御: 有効錐の境界からの距離や、ファンの構造（$l$：ある錐に含まれない最小の射線数）に基づき、誤差項のオーダーを精密に評価する。

3. 主要な結果

3.1 主定理（Theorem 2.15 & 4.16）

滑らか、射影的、分裂した $\mathbb{Q}$ 上のトーリック多様体 $X$ に対して、以下の漸近公式が成り立つ。
$D_1$ を $\text{Pic}(X)^\vee_{\mathbb{R}}$ のコンパクトな多面体の有限和、$u \in (C_{\text{eff}}(X)^\vee)^\circ$ とする。$B > 1$ に対して $D_B = D_1 + \log(B)u$ と定義すると、任意の $\epsilon \in (0, 1 - 1/l)$ に対して：

$$\# \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to \infty} \nu(D_1) \cdot \tau(X) \cdot B^{\langle \omega^{-1}_X, u \rangle} \left( 1 + O\left( B^{-(1 - \frac{1}{l} - \epsilon) \min_{\rho} \langle [D_\rho], u \rangle} \right) \right)$$

ここで、

• $\nu(D_1)$ は $\text{Pic}(X)^\vee_{\mathbb{R}}$ 上の測度（アンチカノニカル束と関連付けられた指数関数的重みを持つ）。
• $\tau(X)$ は $X$ の Tamagawa 数。
• $l$ は、ファンの射線の集合 $\Sigma(1)$ において、ある単錐に含まれない最小の射線の数。
• 誤差項は、$B$ のべき乗で減衰し、その指数は $l$ と $u$ の方向に依存する。

3.2 蓄積部分集合の不存在

多高さ分布において、有理点が特定の部分集合に「蓄積（accumulate）」することはないことを示している。これは、高さを双対有効錐の内部で定義しているため、すべての方向で高さが均等に増加し、特異な挙動が生じないためである。

3.3 既存結果との整合性

• Peyre の予想（Conjecture 2.11）を、トーリック多様体の場合に完全に証明した。
• Peyre の以前の研究 [11] において、条件 $\beta = \pi^\vee(u)$ が明示されていなかった可能性について言及し、本論文の手法（下降法）がその欠陥を補完し、より厳密な結果を与えることを示唆している。

4. 意義と貢献

1. Manin-Peyre 予想の多高さ版の解決: 従来の単一高さに限定されず、多高さの文脈における有理点の分布を、トーリック多様体という重要なクラスで初めて厳密に証明した。
2. 手法の洗練: Salberger の普遍トールソルを用いた手法を、多高さの枠組みに拡張し、局所高さとトールソル上の測度の関係を明確に定式化した。
3. 誤差項の精密化: 幾何学の数とメビウス反転を組み合わせることで、誤差項のオーダーを具体的に評価し、収束速度に関する定量的な知見を提供した。
4. 理論的基盤の確立: この結果は、より一般的な準ファノ多様体（quasi-Fano varieties）における多高さ分布の研究への道を開くものであり、Peyre が提唱した新しい枠組みの有効性を示す重要なステップとなった。

5. 結論

本論文は、トーリック多様体上の有理点の多高さ分布が、Peyre の予想通りに振る舞うことを証明し、その主項が Tamagawa 数と測度の積で与えられ、誤差項が明確に制御されることを示した。これは、数論的代数幾何学における有理点の分布理論、特に多高さの文脈における重要な進展である。