[論文レビュー] Counting lattice points

Alexander Gorodnik, Amos Nevo|ArXiv.org|Mar 9, 2009

Analytic Number Theory Research参考文献 50被引用数 11

ひとこと要約

この論文は、エルゴディック理論を用いて、局所コンpakto な群における格子点数え上げ問題に対して一般かつ定量的な解を提供し、スペクトルギャップおよび正則性条件の下で、家族の領域に対して鋭い誤差項を確立する。これは、スペクトルギャップを有する格子族の全般にわたる一様な境界を達成し、半単純S代数的群、高さ関数を用いた有理点、および対称空間における角度の等分布にまで拡張される。

ABSTRACT

For a locally compact second countable group G and a lattice subgroup Gamma, we give an explicit quantitative solution of the lattice point counting problem in general domains in G, provided that i) G has finite upper local dimension, and the domains satisfy a basic regularity condition, ii) the mean ergodic theorem for the action of G on G/Gamma holds, with a rate of convergence. The error term we establish matches the best current result for balls in symmetric spaces of simple higher-rank Lie groups, but holds in much greater generality. In addition, it holds uniformly over families of lattices satisfying a uniform spectral gap. Applications include counting lattice points in general domains in semisimple S-algebraic groups, counting rational points on group varieties with respect to a height function, and quantitative angular (or conical) equidistribution of lattice points in symmetric spaces and in affine symmetric varieties. The mean ergodic theorems which we establish are based on spectral methods, including the spectral transfer principle and the Kunze-Stein phenomenon. We prove appropriate analogues of both of these results in the set-up of adele groups, and they constitute a necessary step in our proof of quantitative results in counting rational points.

研究の動機と目的

• 局所コンパクトで第二可算な群 $ G $ において、上部局所次元が有限である格子点数え上げ問題に対して、一般的かつ定量的な解法を開発すること。
• 一般領域における格子点の漸近的数え上げにおける明示的な誤差項を確立し、対称空間における最高水準の境界と一致させること。
• スペクトルギャップが一様な格子部分群の家族にわたる誤差推定値の均一性を達成すること、特に定量的性質 $ \tau $ を満たす有限指数部分群を含むこと。
• 高さ関数を用いた群の代数的多様体上の有理点の数え上げにこの手法を拡張し、対称空間およびアフィン対称空間における角度の等分布を研究すること。
• スペクトル法を用いて、実およびアデール群の両設定で、スペクトル移動原理およびクンツェ＝シュタイン現象を含む、レートを伴う平均エルゴディック定理を証明すること。

提案手法

• $ L^2(G/\Gamma) $ における平均エルゴディック定理を、領域 $ B_t $ における平均化作用素に適用し、収束レートが誤差項を決定すること。
• 領域 $ B_t $ の正則性を定量化するためのホルダー滑らか性（指数 $ a $）の概念を用い、$ m_G(\mathcal{O}_\varepsilon B_t \mathcal{O}_\varepsilon) \leq (1 + c\varepsilon^a) m_G(\cap_{u,v\in\mathcal{O}_\varepsilon} uB_tv) $ を満たすようにすること。
• 格子点数え上げにおける誤差項を、$ L^2(G/\Gamma) $ 上の平均化作用素のスペクトルギャップに関連づけ、$ G $ の上部局所次元を活用すること。
• スペクトル法を用いて、アデール群におけるスペクトル移動原理およびクンツェ＝シュタイン現象を含む、レートを伴う平均エルゴディック定理を確立すること。
• アフィン対称多様体における集合 $ S_t(\Phi,\Psi) $ が指数 $ 1/3 $ のホルダー滑らか性を有することを、$ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ および $ \cap_{u,v} uS_tv $ の体積推定を用いて証明すること。
• 可測な基本領域と切断を用いて、$ G/H $ における数え上げを $ G/\Gamma $ における数え上げに還元し、正則性を保ちつつ一様な境界を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクト群 $ G $ の一般領域において、スペクトルギャップおよび正則性条件が与えられたとき、格子点数え上げ問題は定量的に解けるか？
• RQ2 漸近的数え上げ $ \Gamma \cap B_t $ における最適な誤差項は何か？ それは $ B_t $ の幾何学的性質およびスペクトルギャップにどのように依存するか？
• RQ3 特に、定量的性質 $ \tau $ を満たす有限指数部分群を含む、格子族全体にわたる一様な誤差境界を確立できるか？
• RQ4 エルゴディック的アプローチは、高さ関数を用いた群の代数的多様体上の有理点の数え上げにどのように拡張できるか？
• RQ5 クンツェ＝シュタイン現象およびスペクトル移動が、アデール群における平均エルゴディック定理および有理点数え上げの証明において果たす役割は何か？

主な発見

• 上部局所次元が有限で、平均エルゴディック定理が固定されたレートで成立する条件下で、ホルダー滑らか性（指数 $ a $）を満たす領域 $ B_t $ に対して、格子点数え上げ問題は定量的解を有する。
• 誤差項は $ C \cdot m_G(B_t)^{-\delta} $ で有界であり、対称空間における現在の最高水準の結果と一致し、スペクトルギャップおよび正則性指数 $ a $ に明示的に依存する。
• アフィン対称多様体における集合 $ S_t(\Phi,\Psi) $ は、$ \mathcal{O}_\varepsilon S_t \mathcal{O}_\varepsilon $ および $ \cap_{u,v} uS_tv $ の体積推定を用いて、指数 $ 1/3 $ のホルダー滑らか性を示している。
• この手法により、一様なスペクトルギャップを有する格子族全体にわたる一様な誤差境界が得られ、特に定量的 $ \tau $ の変種を満たす有限指数部分群を含む。
• スペクトル法を用いて、スペクトル移動原理およびクンツェ＝シュタイン現象を含む、レートを伴う平均エルゴディック定理が確立され、有理点数え上げにまで拡張されたアデール群にまで適用可能である。
• $ G/H $ における格子点の数え上げは、可測な基本領域と切断を用いて $ G/\Gamma $ における数え上げに還元され、正則性が保たれ、一様推定が可能になる。