Geometric Batyrev-Manin-Peyre for equivariant compactifications of additive groups

Loïs Faisant の論文「GEOMETRIC BATYREV-MANIN-PEYRE FOR EQUIVARIANT COMPACTIFICATIONS OF ADDITIVE GROUPS（加法群の等変コンパクト化に対する幾何学的バティレフ・マニン・ペイレ予想）」の技術的な要約を以下に示します。

1. 研究の背景と問題設定

背景:
代数多様体上の有理点の分布を記述する「バティレフ・マニン・ペイレ予想（Batyrev-Manin-Peyre conjectures）」は、数体上の代数多様体における有界高さを持つ有理点の個数の漸近挙動を予測するものです。この予想の関数体版（幾何学的版）では、有理点の個数に代わって、ある曲線 $C$ から多様体 $X$ への写像（セクション）のモジュライ空間のクラスを、Grothendieck 環（多様体の圏における加群）の中で研究します。

問題:
本論文は、加法群 $\mathbb{G}_a^n$ の等変コンパクト化（equivalent compactification）である滑らかな射影多様体 $X$ を考えます。具体的には、$X$ 上の族 $\pi: X \to C$ のセクション（$C$ から $X$ への射）のモジュライ空間 $M_n$ の漸近挙動を、その「多重次数（multidegree）」$n$ が有効錐（effective cone）の双対の境界から遠ざかる極限において研究することを目的としています。
従来の結果（Chambert-Loir, Loeser, Bilu など）は、対数反標準束に関する次数に注目するものでしたが、本論文はより一般的な多重次数の挙動を扱い、特にセクションが境界の特定の成分とどのように交差するかを区別する「微細な数値不変量」を導入することで、モジュライ空間の成分を完全に分離することを目指しています。

2. 手法と枠組み

本論文は、以下の数学的枠組みと手法を駆使して問題を解決します。

• Grothendieck 環とモジュライ空間:
  多様体の Grothendieck 環 $KVar_k$ およびその局所化・完備化 $\widehat{M}_k$ において、セクションのモジュライ空間のクラス $[M_n]$ を扱います。ここでは、アフィン空間の次数で正規化したクラス $[M_n]L^{-\langle \rho', n \rangle}$ の収束性を調べます（$\rho'$ は対数反標準次数）。

• モジュライ的高さゼータ関数（Motivic Height Zeta Function）:
  多重次数 $n$ に関する生成関数 $Z(T) = \sum [M_n] T^n$ を定義し、その解析的性質を研究します。この関数は、Bilu の博士論文や Chambert-Loir-Loeser の仕事に基づき、**モジュライ的オイラー積（Motivic Euler product）**の形式で表現されます。

• モジュライ的ポアソン公式（Motivic Poisson Formula）:
  局所的なセクションの条件（整性条件など）を扱うために、Hrushovski-Kazhdan のモジュライ的 Schwartz-Bruhat 関数と、それに対するモジュライ的フーリエ変換・ポアソン公式を用います。これにより、セクションの和を、双対空間（指標空間）上の和に変換し、主要項と誤差項を分離します。

• Clemens 複体（Clemens Complex）:
  境界因子 $D$ の交差構造を記述する単体複体である Clemens 複体を用います。特に、セクションが境界のどの成分と交差するか（あるいは交差しないか）を記述するために、Clemens 複体の最大面（maximal faces）に基づいてモジュライ空間を分解します。これにより、異なる成分に対応するセクションの族を区別し、それぞれの漸近挙動を個別に評価します。

• 重み収束（Weight-linear Convergence）:
  Grothendieck 環上の「重み（weight）」 filtration を用いて、オイラー積の収束性を厳密に証明します。多重次数が無限大に発散する際、主要項（自明な指標に対応）が支配的となり、非自明な指標に対応する項は重みの観点から無視できる（negligible）ことを示します。

3. 主要な貢献と結果

主要定理（Theorem 4.15）:
加法群の等変コンパクト化 $X$ 上の族 $\pi: X \to C$ について、セクションの多重次数 $(n_U, m_S)$ が有効錐の双対の境界から十分に遠ざかる（$\min(n_\alpha) \to \infty$）とき、正規化されたモジュライ空間のクラス $[M_n]L^{-\langle \rho', n \rangle}$ は、Grothendieck 環の完備化において、**非零の効率的な要素（non-zero effective element）**に収束します。

具体的な結果:

1. 極限値の明示的表現:
   極限値は、Bilu の定義する意味での「モジュライ的オイラー積」として記述されます。これは、曲線上の各点（有限点および無限遠点）における局所的な因子の積として表され、各因子はモジュライ的体積（motivic volume）や境界成分の幾何学的データ（Picard 群のランク、境界の交差構造など）に依存します。
   具体的には、極限は以下のような形をとります：
   $$L^{(1-g)n} \cdot (\text{Picard 群の項}) \cdot \prod_{v \in C} (\text{局所因子})$$
   ここで、局所因子は $v$ が良い還元を持つ場合と悪い還元を持つ場合（$S$ 上の点）で異なり、Clemens 複体の最大面 $M_s$ に対応する境界成分の交差 $E^\circ_{\beta_s} \cap D_{M_s}$ の体積を含みます。

2. 成分の分離と微細な不変量:
   従来の研究では区別できなかったモジュライ空間の異なる成分（例えば、境界の異なる部分集合と交差するセクションの族）を、Clemens 複体の最大面 $M$ と局所的な交差次数 $m_S$ によって厳密に分類しました。これにより、各成分ごとの収束挙動を独立に記述することが可能になりました。

3. 非自明な指標の無視可能性:
   ポアソン公式による展開において、自明な指標（$\xi=0$）に対応する項が主要項となり、すべての非自明な指標（$\xi \neq 0$）に対応する項は、多重次数が十分大きいとき、重み収束の観点から 0 に収束することを証明しました。これは、数体上のバティレフ・マニン予想における「主要項が有理点の分布を支配する」という直観のモジュライ的版です。

4. 意義と影響

• 幾何学的バティレフ・マニン・ペイレ予想への肯定的回答:
  加法群の等変コンパクト化という特定の設定において、幾何学的（モジュライ的）な文脈でのバティレフ・マニン・ペイレ予想が成立することを証明しました。これは、数体上の有理点の数え上げ問題の関数体版における重要な進展です。

• モジュライ的オイラー積の理論の深化:
  Bilu や Chambert-Loir-Loeser によって発展されたモジュライ的オイラー積とポアソン公式の手法を、より一般的な「多重次数」および「部分コンパクト化（partial compactification）」の条件に適用可能な形で拡張しました。特に、境界の交差構造を Clemens 複体を用いて精密に扱う手法は、他の多様体への応用可能性を示唆しています。

• モジュライ空間の構造理解:
  単に「有理点（セクション）の数」を推定するだけでなく、モジュライ空間のクラスそのものがどのように振る舞うか（その極限がどのような幾何的対象に対応するか）を明らかにしました。極限値が局所的なモジュライ的体積の積として現れることは、この問題が局所的なデータからグローバルな挙動を復元できることを示しています。

結論として、本論文は、加法群のコンパクト化におけるセクションのモジュライ空間の漸近挙動を、Grothendieck 環の文脈で完全に記述し、幾何学的バティレフ・マニン予想の重要なケースを解決した画期的な成果です。