Equidistribution for semiabelian varieties over number fields

技術要約：数体上の半加法群多様体における等分布性

問題設定
本論文は、半加法群多様体上の小さな点の等分布性と古典的なボゴモロフ予想との間の乖離を扱う。具体的には、ユアン（Yuan）とチャン（Zhang）のユアン–チャン等分布定理が要求する「準標準的（quasi-canonical）」な意味での定義メトリックではない設定における問題である。ユアンとチャンは、準射影多様体上の準標準的なアデール的線束に対して等分布性を確立したが、クネ（Kühne）が標準的な半加法的なメトリックに対して等分布性を証明した一方で、より一般的なトーリック・メトリック（特に、半正定値、モノクリティカル（monocritical）、かつ算術的にT-有効（arithmetically T-effective）なトーリック・メトリックによって制御される半加法的コンパクト化上のメトリック）という重要なクラスは、これらの定理の直接的な範囲外に残されていた。

中心となる問いは、これらのより一般的なトーリック・メトリックに対して、生成的等分布性（generic equidistribution）およびボゴモロフ特性（非特殊な部分多様体は、任意に小さな高さを持つ点の稠密な集合を含み得ないという性質）が成立するかどうかである。困難の本質は、これらのメトリックにおいて、多様体の大域的な高さがその本質的最小値よりも厳密に小さくなる（$h_L(G) < \mu^{\text{ess}}_L(G)$）ことにあり、これによりユアン–チャンの枠組みを直接適用することが妨げられる点にある。

手法
著者であるウェイ・シュエ（Wei Xue）は、クネの議論における漸近的評価を孤立させ、それを「明示的な圧縮パス（explicit compression paths）」を通じて再解釈する証明戦略を開発した。その手法は、以下の4つの段階で進行する。

1. 局所的な自明化とアデール的構成： 本論文は、クネによるアルキメデス的な局所自明化を、数体 $K$ のすべての配置（place）へと拡張する。レイノー–ボッシュ–リュトケンベルト（Raynaud–Bosch–Lütkebohmert）のアーベル多様体の一様化および $p$ 進テータ関数を用いることで、著者は、トーリック・メトリック付きの因子 $D$ に随伴する半加法的コンパクト化 $\overline{G}$ 上のアデール的線束 $\mathcal{G}(D)$ を構成する。この構成は、すべての配置における局所自明化との整合性を保証し、半加法群上の高さとトーリック部分上の絶対最小値との間の精密な比較を可能にする。

2. 標準的メトリックのケース： 本論文はまず、標準的メトリックのケースにおける等分布性を確立する。補助的な $n$ 分割タワーを構築し、クネの漸近的評価を任意の振幅を持つトーリック因子へと拡張することで、著者は、生成的な小さな列が標準的な測度に関して等分布することを証明する。これには、ピカール零（Picard-zero）移動項の境界設定と、高さに対する「標準的な下界」の確立が含まれる。

3. 準標準的圧縮： 準標準的ではあるが必ずしも標準的ではないメトリックに対して、本論文は「明示的な圧縮パス」を導入する。メトリックは、そのクリティカルなトロピカル中心によって特定される準標準的なモデルへと圧縮される。著者は明示的な圧縮パラメータ $m(n)$ を構築し、これらのパスに沿って下界、測度推定、および算術的体積の比較が一様に保持されることを証明する。このステップは、標準的な $(\mathbb{P}^1)^t$ コンパクト化から、任意の正規な固有なトーリックコンパクト化 $X_\Sigma$ への、クネのハール・スライス（Haar-slice）および差分射の議論の移送を効果的に行うものである。

4. モノクリティカルな還元： 最終ステップでは、一般的なモノクリティカルなケースを扱う。ブルグス・ジル、フィリッポン、リベラ＝レテリエ、およびソンブラ（BGPS）によるトーリック測度論を用い、モノクリティカルなメトリックが、屋根関数（roof function）の安定集合における原点を固定するメトリックの算術的T-有効性に依拠した「準標準的置換」を通じて、準標準的なメトリックへと還元できることを示す。これにより、モノクリティカルなメトリックの極限測度は、関連する準標準的なメトリックの測度と一致することが示される。

主要な貢献と結果

• 生成的等分布性（定理 1.3）： 本論文は、数体上の半加法群 $G$ に対し、線束 $L = \mathcal{G}(D) \otimes \pi^*N$ （ここで $D$ は、大きく、T-有効で、半正定値、モノクリティカル、かつ算術的にT-有効なトーリック・メトリック付き因子である）が与えられたとき、すべての生成的な $L$-小さな列が、すべての配置 $v$ において $v$ 進等分布性を満たすことを証明する。
• ボゴモロフの定理（定理 1.4）： 本論文はこの特定のメトリック・クラスに対するボゴモロフの定理を確立する。閉部分多様体 $X \subseteq G$ が $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$ を満たす場合、$X$ は特殊な部分多様体（代数群の捩れ点による平行移動）であることを証明する。逆に、$G(K)$ が $L$-特殊な点を含むならば、$X$ が $L$-特殊であるための必要十分条件は $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$ である。
• クネ・トランスポート・アセンブリ： 重要な技術的貢献は、「クネ・トランスポート・アセンブリ」（命題 96）である。このパッケージは、クネの局所自明化分析、差分射、およびスモールボックス（small-box）の矛盾論証を、任意のトーリックコンパクト化および準標準的メトリックへと厳密に適応させるものである。これは、テータ因子（theta-factor）の慣習が適切に管理されている限り、標準的なケースで使用される押し出し恒等式やハール・スライスの記述が、これらの一般化の下でも有効であることを示す。
• 厳密な等分布性： 本論文は、準標準的メトリックに対する厳密な等分布定理（定理 102）を導出し、厳密な小さな列が標準的な確率測度へと等分布することを示す。これは、最小の特殊な包絡線上の「制限された準標準モデル」を用いることで循環性を回避しつつ、ボゴモロフ特性と生成的等分布性の結果を組み合わせることで達成される。

意義と主張

本論文は、ユアン–チャンの準標準的な範囲、およびクネの標準的な範囲を超えて、等分布性とボゴモロフの定理の適用範囲を拡張することを主張している。その貢献は、標準的な定理の新しい証明でも、すべての 半正定値トーリック・メトリックに関する結果でもない。むしろ、モノクリティカルかつ算術的にT-有効なトーリック・メトリックという特定のクラスを標的としている。

その意義は、標準的、準標準的、および一般的なトーリック・メトリックの間の「比較メカニズム」を確立したことにある。漸近的評価を孤立させ、それらを圧縮パスを通じて再解釈することにより、著者は、厳密に準標準的ではないメトリックに対しても、クネの局所自明化議論という強力な機構を適用することを可能にする架け橋を提供している。本論文は、ボゴモロフの適用における「一般的なメトリック」とは、この制御されたクラスに限定されることを明記しており、任意の半正定値メトリックへ議論を拡張するには、現在の範囲を超えた新しい置換または変形定理が必要であることを述べている。

この研究は、トロピカル幾何学（クリティカル・ベクトル、屋根関数）、算術的交差理論（アデール的線束、算術的体積）、および解析的一様化（レイノーの拡大、テータ関数）の相互作用に深く依存している。著者は、BGPSのモノクリティカルな基準と半加法的な高さの分解を統合することで、この非自明なクラスに対する等分布性の問題を解決することに成功している。