Multi-height distribution of rational points of split toric stacks

ニコラ・ボンジョルノ（Nicolas Bongiorno）による論文**「Split Toric Stacks の有理点の多高次分布（Multi-Height Distribution of Rational Points of Split Toric Stacks）」**の技術的サマリーを以下に示します。

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

背景:
数論幾何学において、代数多様体上の有界な高さ（height）を持つ有理点の個数の漸近挙動を研究するバティレフ＝マニン（Batyrev-Manin）予想は中心的なテーマです。ペイレ（Peyre）は、単一の線形束に対する高さではなく、すべての可能な高さ（多高次、multi-height）を同時に考慮する枠組みを提案しました。これにより、有理点の分布が幾何学的な不変量（タマガワ数など）とどのように関連するかをより深く理解することが可能になります。

問題:
従来の研究は主に滑らかな射影多様体（特にトーリック多様体）を対象としていましたが、デルーイン＝マンディン（DM）スタック、特にトーリック・スタックへの拡張には以下の課題がありました。

1. 有理点の整数点への拡張: 多様体では有理点が整数点に拡張可能ですが、スタックでは「スタック的整数リフト（stacky integral lift）」が必要となり、その構造が複雑です。
2. ねじれセクター（Twisted Sectors）の扱い: スタックには特異点に対応するねじれセクターが存在し、これらが有理点の分布に寄与します。従来の高さの理論では、これらのセクターを統一的に扱うためのパラメータ化が不足していました。
3. 多高次分布の解析: トーリック多様体では普遍トラス（universal torsor）を用いた格子点の計数法が有効ですが、スタックの場合、この手法をどのように拡張し、ねじれセクターの情報を組み込むかが未解決でした。

2. 手法と主要な構成要素

本論文は、トーリック・スタック上の有理点の多高次分布を解析するために、以下の新しい枠組みと手法を開発しました。

A. 拡張普遍トラス（Extended Universal Torsor）の構成

• 概念: 従来の普遍トラス（$T_{NS}$-torsor）を、ねじれセクターの情報を反映するように拡張した**「拡張普遍トラス（Extended Universal Torsor）」** $T^{\text{ext}}$ を定義しました。
• 構造: これは、トーリック・スタック $X$ の軌道 Picard 群（orbifold Picard group）$\text{Pic}^{\text{orb}}(X)$ に双対なトーラス $T_{NS, \text{orb}}$ 上のトラスです。
• パラメータ化: 有理点 $X(\mathbb{Q})$ は、この拡張普遍トラス上の整数点 $T^{\text{ext}}(\mathbb{Z})$ を $T_{NS, \text{orb}}(\mathbb{Z})$ で割ったものとしてパラメータ化されます（定理 6.15）。これにより、スタック上の有理点の計数問題が、より扱いやすいトーラス上の格子点の計数問題に帰着されます。

B. 年齢ペアリング（Age Pairing）とリフト

• 年齢（Age）の定義: ねじれセクターと線形束の間のペアリングとして「年齢」が定義されます。
• トラスへのリフト: 有理点の「スタック的整数リフト」を介して、年齢ペアリングを拡張普遍トラス上の点に対して定義し直しました（定義 4.9, 定理 4.25）。これにより、局所的な高さをトラス上の座標の対数として表現することが可能になりました。

C. 多高次の高さの定義とリフト

• スタック的高さ: 粗空間（coarse moduli space）の高さと、ねじれセクターに依存する局所的な補正項（残差写像 $\psi_v$ を通じて）を結合した「スタック的高さ」を定義しました。
• トラスへのリフト: この高さを、拡張普遍トラス上の点に対して定義された「拡張局所高さ（extended local height）」$h^{\text{ext}}_{T, \infty}$ としてリフトしました（定義 6.20）。これにより、有理点の高さがトラス上の座標の関数として明示的に記述されます。

D. メビウス反転と格子点の計数

• メビウス関数: 拡張普遍トラス上の整数点の集合を特徴付けるために、局所的な条件（素数 $p$ における整除条件）を満たすメビウス関数を定義しました（定義 6.32, 6.38）。
• 格子点の推定: 有界な領域内の格子点の個数を、領域の体積と誤差項に分解し、メビウス反転を用いて有理点の個数を推定しました（セクション 7）。

3. 主要な結果

定理 1.1: 多高次分布の漸近公式

$X$ を $\mathbb{Q}$ 上のトーリック・スタックとし、$D_1$ を $\text{Pic}^{\text{orb}}(X)^\vee_{\mathbb{R}}$ 内のコンパクトな多面体の有限和、$u$ を双対有効錐の内部の点とするとき、高さが $D_B = D_1 + \log(B)u$ に属する有理点の個数は、$B \to \infty$ で以下のように漸近します：
$$\sharp \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim \nu(D_1) \tau_{\text{orb}}(X) B^{\langle \omega^{-1}_{X, \text{orb}}, u \rangle}$$
ここで、$\nu(D_1)$ は測度、$\tau_{\text{orb}}(X)$ はスタック的タマガワ数です。

定理 1.2: タマガワ数の $p$ 進因子の解釈

タマガワ数 $\tau_{\text{orb}}(X)$ はオイラー積で表され、その $p$ 進因子は、スタック $X$ のセクター（ねじれ部分）の $\mathbb{F}_p$ 点の「質量（mass）」として解釈されます：
$$\mu_{X,p}(X(\mathbb{Q}_p)) = \frac{\sharp X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi^*_0(I_\mu X)} \frac{\sharp S(\mathbb{F}_p)}{p^{\dim(S)}}$$
この式は、ラウグランとサントンス（Loughran & Santens）が $BG$ に対して得た質量公式の一般化であり、ねじれセクターが有理点の分布に具体的にどのように寄与するかを示しています。

補題と定理の重要性

• 定理 6.15: 有理点と拡張普遍トラス上の整数点の間の全単射（モジュロ群作用）の確立。
• 定理 5.25: トーリック・スタックにおいて、年齢ペアリングがセクターを一意に決定すること（注入性）。これは、セクターの分類と年齢の計算を可能にする重要な性質です。
• 定理 7.16: 誤差項の評価を含む完全な漸近公式の導出。

4. 意義と貢献

1. スタックへのバティレフ＝マニン原理の拡張:
   本論文は、有理点の漸近分布に関するバティレフ＝マニン原理を、トーリック多様体からトーリック・スタックへと初めて体系的に拡張しました。これにより、スタック特有の幾何学的構造（ねじれセクター）が数論的性質（有理点の分布）にどのように影響するかを定量的に記述できました。

2. 多高次理論の確立:
   単一の高さではなく、複数の高さ（多高次）を同時に扱う形式をスタックの文脈で確立しました。これにより、異なる線形束に対する有理点の分布の相関や、より一般的な幾何学的不変量との関係を研究する道が開かれました。

3. タマガワ数の幾何学的解釈:
   タマガワ数の $p$ 進因子を、スタックのセクターの $\mathbb{F}_p$ 点の質量として解釈したことは、数論的対象と幾何学的対象の深い結びつきを示す重要な成果です。特に、ねじれセクターが $1/p$ のオーダーで寄与することの明示的な公式化は、今後の研究（モジュライ曲線やガロア拡大の分類など）において重要な基礎となります。

4. 手法の革新:
   「拡張普遍トラス」を用いたパラメータ化と、それに基づく格子点の計数法は、スタック上の有理点の研究における強力な新しいツールを提供しました。この手法は、非分裂トーリック・スタックや、より一般的な DM スタックへの拡張の可能性も秘めています。

結論

ニコラ・ボンジョルノのこの論文は、トーリック・スタック上の有理点の分布問題に対して、拡張普遍トラスと年齢ペアリングを中核とする統一的な枠組みを構築しました。その結果、多高次分布の漸近公式を導き出し、タマガワ数をセクターの質量として解釈することに成功しました。これは、数論幾何学におけるスタック理論の発展と、バティレフ＝マニン予想の一般化において画期的な貢献を果たすものです。