技術的要約：トーリック多様体における有理点の等分布性と幾何学的篩法

1. 問題設定と背景

本論文は、代数多様体の有界な高さを持つ有理点の漸近的分布に関する予想である**マニン・ペイアの原理（Manin–Peyre principle）**を取り扱う。具体的には、$\mathbb{Q}$ 上の滑らかな固有な分解可能トーリック多様体 $X$（大域的に生成される反標準的線束を持つもの）において、有理点が「薄い（thin）」部分集合を除外した上で、タメガワ測度に関してアデール空間 $X(\mathbb{A}_{\mathbb{Q}})$ 内に等分布するかどうかを調査している。

マニンの予想（点の総数を数え上げる問題）については、調和解析（Batyrev–Tschinkel）や普遍的トスル法（Salberger）を通じてトーリック多様体に対して確立されているが、等分布の原理（原理 1.1）および開部分多様体への拡張（原理 1.3、または「等分布の純粋性」）は、稀な例外を除いて、依然としてほとんど証明されていない。

本論文の目的は以下の通りである：

1. 滑らかな固有な分解可能トーリック多様体に対する有理点の等分布を証明すること。
2. この等分布の**有効的な（effective）**バージョンを確立し、アデール近傍に依存する明示的な誤差項を持つ漸近公式を提供すること。
3. これらの多様体に対する**有効的な幾何学的篩法（effective geometric sieve）**を証明し、大きな素数に対して余次元 $\ge 2$ の部分多様体へと特殊化する有理点が無視できるほど小さいことを示すこと。
4. ファイブレーションから生じる局所条件を満たす有理点の計数、および $S$-整数点の推定にこれらの結果を適用すること。

2. 手法

核心となる手法は、普遍的トスル法（Salberger）の洗練された形態であり、これに解析的数論の手法、および新しい「トーリック・ヴァン・デル・コルプト法（toric van der Corput method）」を組み合わせたものである。

2.1. 普遍的トスルのパラメータ化

著者らは、分解可能トーリック多様体 $X$ 上の有理点は、準アフィン・トーリック多様体である普遍的トスル $X_0$ 上の整数点へと持ち上げられるという事実を利用している。

• 持ち上げ（Lifting）: $X(\mathbb{Q})$ の計数問題は、$X_0(\mathbb{Z})$ 上の特定の互いに素な条件と高さの境界を満たす整数点の計数問題へと変換される。
• パラメータ化: $X$ を定義する扇形（fan）の幾何学的構造により、$X_0$ 上の点は $\mathbb{Z}^n$ における座標を用いて明示的にパラメータ化できる。$X$ 上の高さ関数は、$X_0$ 上の単項式の積へと持ち上げられる。

2.2. 有効的な等分布条件

論文では、**有効的な等分布（Effective Equidistribution, EE）**条件（条件 EE）および、それに対応する普遍的トスル上の条件（条件 EEUT）を定式化し、検証している。

• これらの条件は、アデール近傍（実条件および合同条件によって定義される）における整数点の数が、その近傍のタメガワ測度を、合同剰余の大きさに関して**一様（uniform）**な誤差項で近似することを主張している。
• 命題 4.6 は、トスルが (EEUT) を満たすならば、基底となる多様体が (EE) を満たすことを示している。

2.3. トーリック・ヴァン・デル・コルプト法

主要な技術的革新は、トーリック・ヴァン・デル・コルプト法（定理 7.1）である。

• 目的: 「不均衡な（lopsided）」ボックス（座標が高さの境界に対して相対的に小さい領域）に含まれる整数点の寄与が無視できることを示すこと。
• 技法: 標準的な指数和の評価の代わりに、格子点の計数をネロン・セヴェリ・トーラス $T_{NS}$ 上の積分と比較する。特定のトーリック幾何学と定義される扇形の構造を利用することで、特定の座標が小さい（例：$< (\log B)^A$）領域に制限した場合の誤差項を制御する。これにより、計数問題における境界効果の精密な取り扱いが可能となる。

2.4. 篩法（Sieving Techniques）

• セルベル・篩法（Selberg Sieve）: 「無限に多くの」局所条件（例：すべての $p$ に対して因子を避ける点）を扱うために使用される。著者らは、素数冪（prime powers）を法とする截断された局所条件を捉える有効的なバージョン（定理 3.11）を開発した。
• 幾何学的篩法: エケダールの篩法の有効的なバージョン（定理 1.5）が証明されており、大きな素数 $p$ に対して余次元 $\ge 2$ の部分多様体へと還元される点は希薄であることを示している。これは、射影のファイバーに対するラング＝ヴィイル（Lang–Weil）推定の定量的バージョンに基づいている。

3. 主要な結果

3.1. 等分布に関する主要定理

• 定理 1.4 (有効的な等分布): 大域的に生成される $K_X^{-1}$ を持つ、$\mathbb{Q}$ 上の滑らかな固有な分解可能トーリック多様体 $X$ について、標準的なアデール集合 $F$ 内の高さ $\le B$ の有理点の数は以下の通りである：
  $$\# \{P \in F \cap T_O(\mathbb{Q}) : H_{tor}(P) \le B\} = \alpha(X)\omega_{tor}(F) B(\log B)^{r-1} + O_{F_\infty, \epsilon} \left( L(F_f)^{r+2\dim X + \epsilon} B(\log B)^{\frac{r-3}{2} + \epsilon} \right)$$
  ここで、$L(F_f)$ はアデール集合の有限部分の被覆指数である。これは、明示的な誤差項（アデール近傍のサイズに多項式的に依存する）を伴う形で、原理 1.1 を裏付けている。

• 定理 1.5 (幾何学的篩法): 余次元 $\ge 2$ の $Z \subset X$ という代数的に閉じた部分集合に対し、ある素数 $p \ge N$ を法として $Z$ に還元される点の数は以下のように抑えられる：
  $$\ll_Z \frac{B(\log B)^{r-1}}{N \log N} + B(\log B)^{r-2} \log \log B$$
  これは、分布の「純粋性」を確立している。すなわち、点は余次元 $\ge 2$ の部分多様体に集中することはない。

3.2. ファイブレーションと局所条件への応用

• 定理 1.6 (ファイブレーション): ファイブレーション $f: Y \to X$ の像における有理点の定量的推定を提供する。
  • $f$ が次数 $>1$ の幾何学的に有限な射である場合、計数は $O(B(\log B)^{r-1-\iota})$ である。
  • $f$ が幾何学的に整な生成ファイバーを持つ場合、計数は余次元 1 の点における分岐の振る舞いに依存する。すべてのファイバーが擬似分解可能（pseudo-split）であれば、点は正の密度で等分布するが、非擬似分解可能なファイバーが存在する場合、密度はゼロとなる（特定の対数的な減衰率を伴う）。
• 定理 1.8 (整数点と素数): セクション $s$ が $S$-整数または素数値をとる点の数を推定する。座標が素数値をとる点の密度は無視できる（$O(B(\log B)^{r-1} / (\log \log B)^\theta)$）ことを示している。

3.3. 等分布の純粋性

• 原理 1.3: 補集合が余次元 $\ge 2$ である任意の代数的に稠密な開集合 $W \subset X$ に対して、等分布の原理が成立することを証明している。これは、強近似の算術的純粋性（APSA）の定量的なバージョンである。

4. 意義と主張

本論文の意義は以下の通りである：

1. トーリック多様体における初の証明: マニンの予想は既知であったが、より微細な等分布の性質は未解明であった分解可能トーリック多様体に対し、マニン・ペイアの等分布原理の最初の証明を提供した。
2. 有効性: 非有効的な従来の証明とは異なり、本研究は明示的な誤差項を持つ漸近公式を提供する。決定的なのは、誤差項がアデール近傍の「サイズ」（被覆指数）に明示的に依存しており、これにより一様な結果が得られる点である。
3. 幾何学的篩法: 高次元の（次数 $>1$ の）多様体に対する（二次超曲面を超えた）初の有効的な幾何学的篩法を確立し、有理点が余次元 $\ge 2$ の部分多様体に集積しないことを示した。
4. 定量的 APSA: 分解可能トーリック多様体に対する強近似の算術的純粋性の定量的なバージョンを提供し、点の分布を多様体の幾何学およびファイブレーションにおけるファイバーの分裂（splitting）に関連付けた。
5. 手法の革新: 「トーリック・ヴァン・デル・コルプト法」は、標準的な指数和の評価や通常の篩法を補完する、尖った形状の領域における格子点計数のための新しいツールとして提示されている。

著者らは、彼らの手法が（非分解可能ケースを扱う最近の Santens の研究とは異なり）分解可能（split）という条件に依存していることを注記しているが、彼らのアプローチは、アデール近状への明示的な依存関係を持つ有効的な誤差項を提供しており、これは他の手法からは抽出が困難と思われる点である。また、非分解可能ケースやより一般的な線束に関する結果、および素数値をとる点に関する非自明な下界の確立は、シンケル予想に関連する未解決の問題であることを認めている。