[論文レビュー] Effective equidistribution of twisted horocycle flows and horocycle maps

Flaminio, Livio, Forni, Giovanni+1 more|arXiv (Cornell University)|Jul 18, 2015

Mathematical Dynamics and Fractals参考文献 15被引用数 2

ひとこと要約

本稿は、Sobolev推定と不変分布のスケーリングを用いて、有限面積の双曲的曲面上のねじれホロサイクルフローおよびホロサイクル写像の有効な等分布境界を確立する。これにより、A. グッドとA. ベンカテシュの古典的結果を改善し、多項式的および対数的境界を明示的な誤差項とともに得る。これはコンパクトおよび非コンパクトの場合の両方で有効である。

ABSTRACT

We prove bounds for twisted ergodic averages for horocycle flows of hyperbolic surfaces, both in the compact and in the non-compact finite area case. From these bounds we derive effective equidistribution results for horocycle maps. As an application of our main theorems in the compact case we further improve on a result of A. Venkatesh, recently already improved by J. Tanis and P. Vishe, on a sparse equidistribution problem for classical horocycle flows proposed by N. Shah and G. Margulis, and in the general non-compact, finite area case we prove bounds on Fourier coefficients of cups forms which are off the best known bounds of A. Good only by a logarithmic term. Our approach is based on Sobolev estimates for solutions of the cohomological equation and on scaling of invariant distributions for twisted horocycle flows.

研究の動機と目的

• 有限面積の双曲的曲面上のねじれホロサイクルフローの有効な等分布結果を確立すること。コンパクトおよび非コンパクトの場合を含む。
• 振動因子 $ e^{i\lambda t} $ を含むねじれエルゴード平均に関する定量的境界を導出すること。古典的推定を改善する。
• N. シャーおよびG. マルガリスが提起したスパース等分布問題を扱い、A. ベンカテシュの結果を精緻化すること。
• カスプ形式のフーリエ係数に関する改良された境界を提供し、対数的要因を除いてA. グッドの境界と一致させること。
• コhomological手法と不変分布のスケーリングを用いて、ホロサイクルフローの有効な等分布理論を統一的かつ拡張すること。

提案手法

• ねじれホロサイクルフローのコhomological方程式の解を分析するためのスケーリングされたSobolevノルムの使用。
• SL(2,\mathbb{R}) の主系列、補充系列、離散系列表現を用いたフロー力学の分解。
• 測地線フローによる不変分布のスケーリング解析を用いて、エルゴード平均における増大および減衰を制御すること。
• Sobolevのトレース定理とエルゴード積分の事前推定を用いて、転送関数の点ごとの境界を導出すること。
• ホロサイクルフローの異なるスケールにおける振る舞いを関連付けるための再スケーリングの構成。特に、カスプ付近で有効である。
• 測地線の対数法則を用いて、ディオファントス型の集合 $ M_{A,Q} $ を定義し、一般的な軌道行動下での有効な推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 双曲的曲面上のねじれエルゴード平均 $ \int_0^T e^{i\lambda t} f \circ h_t(x) \, dt $ に対して、有効な多項式的および対数的境界は何か？
• RQ2 $ \lambda $, $ T $, および $ f $ のSobolevノルムに依存する明示的な誤差項を伴う、ホロサイクル写像の等分布はどのように定量的に定式化できるか？
• RQ3 ベンカテシュのスパース等分布結果は、ねじれ平均の有効な境界を用いることでどの程度改善できるか？
• RQ4 有限面積の双曲的曲面上のカスプ形式のフーリエ係数に対する最も鋭い既知の境界は何か？また、それらはA. グッドの境界とどのように比較されるか？
• RQ5 ねじれホロサイクルフローのカスプ付近での力学的振る舞いはいかなるものか？また、不変分布のスケーリングによってどのように捉えられるか？

主な発見

• s > 7 に対して、ねじれエルゴード平均は $ \left| \int_0^T e^{i\lambda t} f \circ h_t(x) \, dt \right| \leq C_{s,A,Q} \|f\|_s \left(1 + \frac{|\lambda|^{1/6}}{1 - A} \right) T^{5/6} \log^{1/2}(|\lambda T|) $ の境界を満たし、$ x, h_T(x) \in M_{A,Q} $ および $ |\lambda T| \geq e $ に対して一様に成り立つ。
• コンパクトの場合、境界は $ \leq C_s \|f\|_s \left(1 + \frac{1}{|\lambda|^{1/6}} \right) T^{5/6} \log^{1/2}(|\lambda T|) $ に改善され、$ x $ に依存しない一様定数を有する。条件は $ \lambda T \in 2\pi\mathbb{Z} $ である。
• 非コンパクトな有限面積の曲面に対しては、カスプ形式のフーリエ係数がA. グッドの最良知られていた境界の対数的要因の範囲内に抑えられる。
• 本稿は、シャーとマルガリスのスパース等分布問題に対するベンカテシュの結果を、$ \lambda $ および $ T $ に明示的な依存関係をもつ有効な境界を用いて改善した。
• 著者らは、カスプ付近のホロサイクル座標における指数写像の一様な単射性を確立し、単位円板の半径が $ \exp(-d_M(x)) $ のようにスケーリングされることを示した。これは局所解析において重要である。
• 再スケーリングの議論は、特にカスプ領域において、異なるスケールでの力学的振る舞いを関連付けることで、エルゴード平均の増大を効果的に制御した。これは、放物的部分群 $ \gamma_n $ の構造を用いた。