[論文レビュー] Effective equidistribution of S-integral points on symmetric varieties

Yves Benoist, Hee Oh|ArXiv.org|Jun 12, 2007

Advanced Algebra and Geometry参考文献 18被引用数 7

ひとこと要約

本稿は、特性が2でないグローバル体上の対称多様体における $S$-整数点の有効な数え上げおよび等分布に関する結果を、$S$-代数的単純群の混合性と明示的な収束速度を用いて確立する。主な貢献は、$K$ が数体である場合に限って、波面条件の下での有効な等分布定理の確立であり、従来の非有効な結果をエルゴディック理論および自動形式論の手法を用いて拡張したものである。

ABSTRACT

Let K be a global field of characteristic not 2. Let Z be a symmetric variety defined over K and S a finite set of places of K. We obtain counting and equidistribution results for the S-integral points of Z. Our results are effective when K is a number field.

研究の動機と目的

• 特性が2でないグローバル体上の対称多様体における $S$-整数点の有効な数え上げおよび等分布結果を確立すること。
• エスキンとマクマレンの混合に基づくアプローチを、自動形式や無部分群のエルゴディック理論に依存せずに、明示的な収束速度を伴う $S$-整数点設定に拡張すること。
• 非アーチメデス的対称空間における極座標分解を用いて、$S$-代数的対称多様体の波面性を検証すること。
• $p$-進ゼータ関数とファイバー統合技術を活用して、有界高さの $S$-整数点の数に対する有効な上限を提供すること。
• 特に数体の場合に、従来の非有効な等分布結果を有効な枠組みへ一般化すること。

提案手法

• 明示的な収束速度を伴う $S$-代数的単純群の混合性を用いて、$S$-整数点の等分布を分析する。
• 非アーチメデス的対称空間における極座標分解を用いて検証された波面性——有効な結果を可能にする主要な幾何的条件——を採用する。
• デネフの $p$-進局所ゼータ関数理論とジャンクォルティエのファイバー統合を用いて、有界高さの $S$-整数点の数え上げを制御する。
• $\mathcal{O}_S$-点の対角埋め込みをアデール群 $\mathbf{G}_S$ に用いることで、$S$-整数点を同調空間内の離散格子点として扱う。
• マキンタイアの定理（$p$-進体における定義可能集合）を用いて、代数群の $k$-点による軌道が半代数的であることを示し、測度論的解析を可能にする。
• $p$-進ベクトル空間における半径 $T$ の球の測度の漸近的挙動を分析し、無部分群作用に応じて多項式的または指数的成長を示す。

実験結果

リサーチクエスチョン

• RQ1 特性が2でないグローバル体上の対称多様体における $S$-整数点について、有効な数え上げおよび等分布結果を得ることは可能か？
• RQ2 混合に基づく手法が $S$-整数点設定で有効な収束速度をもたらすために、どのような幾何的条件が必要か？
• RQ3 波面性は、$S$-代数的対称多様体の構造およびその $S$-整数点とどのように関係するか？
• RQ4 混合アプローチは、$S$-整数点の数え上げにおいて、自動形式論やエルゴディック理論的手法をどの程度置き換えることができるか？
• RQ5 有界高さの $S$-整数点の数の正確な漸近的成長率は何か？

主な発見

• 波面性は $S$-代数的対称多様体に対して成立し、明示的な収束速度を伴う混合に基づく数え上げの適用を可能にする。
• $K$ が数体である場合、有界高さの $S$-整数点の数は高さのべき乗に漸近的に比例し、有効な誤差項を伴う。
• $S$-整数点の等分布は有効的である：不変測度からの乖離は、計算可能な多項式的速度で減少する。
• $p$-進ベクトル空間における半径 $T$ の球の測度の漸近的挙動は、無部分群作用に依存して $T$ の多項式的成長を示す。
• 無部分群元が閉じた軌道に非自明に作用する場合、球の測度は $T$ の正のべき乗で増加し、非コンパクト性と正の成長率を示す。
• 単純群の作用下の非コンパクトな軌道に対して、漸近的 $v_{q^j} \sim c_{j_0} q^{a_{j_0} j} j^{b_{j_0}}$ の成長指数 $a_{j_0}$ は非ゼロであり、有効な等分布を保証する。