[論文レビュー] Effective equidistribution and property tau

Manfred Einsiedler, G. A. Margulis+2 more|arXiv (Cornell University)|Mar 19, 2015

Advanced Topology and Set Theory参考文献 43被引用数 8

ひとこと要約

本稿は、数体上の代数群の算術的商における最大の半単純で単連結なアデール的同次空間に対して、定量的な等分布定理を確立する。内在的体積不変量を導入し、アデール的ソボレフノルムと判別式の推定値を活用することで、すべてのパラメータにわたって一様な有効的等分布を証明し、算術群の性質(τ)の新たな証明を可能にした。この証明では明示的なスペクトルギャップが得られる。

ABSTRACT

We prove a quantitative equidistribution statement for adelic homogeneous subsets whose stabilizer is maximal and semisimple. Fixing the ambient space, the statement is uniform in all parameters. We explain how this implies certain equidistribution theorems which, even in a qualitative form, are not accessible to measure-classification theorems. As another application, we describe another proof of property tau for arithmetic groups.

研究の動機と目的

• 算術的商における最大の半単純で単連結なアデール的同次空間に対する定量的等分布結果を確立すること。
• 古典的な測度分類定理が要請する分解条件を排除し、ラトナー理論では到達できない等分布結果を可能にすること。
• 群のパラメータに依存しない、同次空間の内在的体積を用いた有効的かつ一様な推定値を提供すること。
• 有効的等分布とスペクトルギャップ推定値を用いて、算術群の性質(τ)の新たな証明を与えること。
• アデール的ソボレフノルムと局所的体積比較を用いて、同次空間の判別式と体積を結びつけるフレームワークを構築すること。

提案手法

• 固定されたコンact開近傍 Ω₀ ⊂ G(A) を用いて、同次空間 Y = ι(H(F)\H(A))g の内在的体積を vol(Y) = m_D(H_D ∩ Ω₀)^{-1} と定義する。
• 付録Aに記載のアデール的ソボレフノルムを用いて、X = G(F)\G(A) 上の関数のL²ノルムを制御し、有効的等分布推定値を可能にする。
• 局所群 H_w が極大コンパクト部分群 K_w^* を持つ「良い場所」w を構成し、有利な局所幾何を保証する。
• 局所的体積比較と還元写像を用いて、同次空間の判別式に対する体積に関する下界を確立する。
• 行列係数の推定値と注釈半径の性質に依存する、動的非発散性の議論（第7節）を適用し、質量の散逸を制御する。
• 判別式の下界と体積の関係を用いてスペクトルギャップ推定値を導出し、G(A) のユニタリ表現におけるスペクトルギャップが体積のべき乗で下から抑えられることを示し、性質(τ)の証明に至る。

実験結果

リサーチクエスチョン

• RQ1 単一の場所での分解条件を要件としないで、アデール的同次空間に対して有効的等分布を確立できるか？
• RQ2 同次空間の内在的体積は、その判別式およびスペクトル的性質とどのように関係するか？
• RQ3 有効的等分布結果を用いて、算術群の性質(τ)の新たな証明を得られるか？
• RQ4 等分布誤差の定量的依存関係は、軌道の体積にどのように依存するか？
• RQ5 アデール的ソボレフノルムは、スペクトルギャップの文脈において、自己同型関数のL²ノルムをどのように制御できるか？

主な発見

• 本稿は、X = G(F)\G(A) における最大の半単純で単連結な同次空間に対して、すべてのパラメータにわたって一様な誤差項を有する有効的等分布定理を確立した。
• 等分布は、同次測度と不変測度とのL²距離が、軌道体積の逆数の多項式的に減少することを意味する有効的性質を持つ。
• 同次空間の判別式に対して、体積のべき乗で下から抑えられる下界が示され、具体的には disc(Y) ≫ vol(Y)^{κ₁₈}（κ₁₈ > 0）が成り立つ。
• 著者らは、G(A) のユニタリ表現におけるスペクトルギャップが体積のべき乗で下から抑えられることを示し、算術群の性質(τ)の新たな証明を得た。
• 証明は、アデール的ソボレフノルム、判別式推定値、および動的システムにおける非発散性の議論の新規な組み合わせに依存する。
• 本手法は、単一の場所での分解条件（すなわち、無限遠元の存在）を回避し、古典的測度分類定理の範囲を超えた結果を拡張する。