[論文レビュー] Counting orbits of integral points in families of affine homogeneous varieties and diagonal flows

Alexander Gorodnik, Frédéric Paulin|Bristol Research (University of Bristol)|Oct 26, 2011

Advanced Algebra and Geometry参考文献 61被引用数 6

ひとこと要約

本稿では、同次空間上の対角線的フローの指数的混合性を用いて、整数点の軌道の数について、シーゲル重みで重み付けされた漸近公式を確立する。主な結果は、重み付き軌道の和が明確な誤差項を伴って指数関数的に増加することを示しており、数論および力学系における古典的数え上げ結果を一般化する。

ABSTRACT

In this paper, we study the distribution of integral points on parametric families of affine homogeneous varieties. By the work of Borel and Harish-Chandra, the set of integral points on each such variety consists of finitely many orbits of arithmetic groups, and we establish an asymptotic formula (on average) for the number of the orbits indexed by their Siegel weights. In particular, we deduce asymptotic formulas for the number of inequivalent integral representations by decomposable forms and by norm forms in division algebras, and for the weighted number of equivalence classes of integral points on sections of quadratic surfaces. Our arguments use the exponential mixing property of diagonal flows on homogeneous spaces.

研究の動機と目的

• パrametricなアフィン同次多様体族上の整数点の漸近的分布を理解すること。
• 一般の場合に一般化できない古典的手法（例えばハーディー＝リトルウッドの円周法）の限界を克服すること。
• 半単純群に限らない非半単純の場合への数え上げ結果の拡張により、適用範囲を広げること。
• 力学系的手法を用いて、シーゲル重みによる重み付き軌道数の漸近公式を導出すること。
• 同次多様体族におけるシーゲル重み付き軌道数の数え上げの一般枠組みを確立すること。

提案手法

• 重み付き軌道の和を、同次空間内における横断的部分多様体の交差体積として解釈する。
• 同次空間上での対角線的フローの指数的混合性を用いて、1つの部分多様体の等分布性を導出する。
• パラボリック部分群の相対ラングランズ分解を用いて、多様体族のパrametrizationを行う。
• 安定化部分群の算術商と全群の体積比を用いて、シーゲル重みを定義する。
• 群の実点にリーマン計量を定義し、測度を正規化し、リー代数の直交性を保証する。
• 計数和とパrameter $ s $ の対角線的フローの指数的増加を関係づけ、誤差項 $ O(e^{( heta - heta_0)t}) $ を用いて漸近的同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的手法が失敗する場合に、パrametricなアフィン同次多様体族上の軌道を一様に数え上げる方法は何か？
• RQ2 シーゲル重みで重み付けされた軌道の和の漸近的挙動はどのように記述できるか？
• RQ3 対角線的フローの指数的混合性を用いて、非半単純な設定でも軌道数え上げの漸近公式を導出できるか？
• RQ4 対角線的フロー下での部分多様体の等分布性は、どのように精密な数え上げ推定に繋がるか？
• RQ5 1パrameterの対角線的フローでパrametrizedされた軌道上の原始的整数点の数の正確な増加率は何か？

主な発見

• 重み付き軌道の和 $ 0 \to s \to t $ は、$ c e^{\theta t} + O(e^{(\theta - \theta_0)t}) $ として漸近的に増加する。ここで $ \theta = \text{tr}(\text{Ad}(a_1)|_{\frak{u}}) $、$ c, \theta_0 > 0 $ である。
• 主な結果は、$ \bbQ $ 上定義され、アニュラス的である再帰的群 $ \bf L $、およびその有理表現 $ \rho $、1パラメータ対角線的フロー $ (a_s) $ に対して適用可能である。
• 中心的単純代数の整数環における整数点の特別な場合において、ノルムが $ [1, r] $ 内にある $ \bbO^\times $-軌道の数は、漸近的に $ c \theta(n^2) r^n (1 + O(r^{-\theta_0})) $ に比例する。
• 安定化部分群が自明な場合、シーゲル重みは軌道上で定数となり、対称的な場合の数え上げが簡略化される。
• 証明により、$ \bf LP $ は $ \bf G $ においてザリスキ開集合であることが示され、多様体族のパrametrizationが適切に定義される。
• 誤差項 $ O(e^{(\theta - \theta_0)t}) $ は一様的かつ定量的に制御されており、フローの指数的混合性によって保証される。