[論文レビュー] Exponential Mixing of Frame Flow for Convex Cocompact Hyperbolic Manifolds

Dale Winter|arXiv (Cornell University)|Dec 3, 2016

Mathematical Dynamics and Fractals参考文献 21被引用数 9

ひとこと要約

本稿では、Dolgopyatの枠組み内でのねじれ移動作用素のスペクトル的境界を用いて、凸コンパクトな双曲的多様体上のフレームフローのボーネィ＝マークフ・サリヴァン（BMS）測度に関する指数的混合性を確立する。主な結果は、滑らかな関数に対する相関の指数的減衰であり、以前の研究をM不変でない観測量へと拡張し、有効な均等分布および行列係数の減衰推定をもたらす。

ABSTRACT

The aim of this paper is to establish exponential mixing of frame flow for the measure of maximal entropy on a convex cocompact hyperbolic manifold. Consequences include results on the decay of matrix coefficients and on effective equidistribution of holonomies. The main technical point is a spectral bound on certain twisted transfer operators, which we obtain by building on Dolgopyat's framework. This extends and strengthens earlier work of Dolgopyat, Stoyanov, Pollicott, and others.

研究の動機と目的

• 最大エントロピー測度（m^BMS）に関して、凸コンパクトな双曲的多様体上のフレームフローの指数的混合性を確立すること。
• M不変関数に限られていた以前の指数的混合性の結果を、一般の滑らかな観測量へと拡張するために、滑らかな関数に対するスペクトル的アプローチを開発すること。
• Γが凸コンパクトかつ非格子である場合に、L²(Γ\G)上の正則表現の行列係数に対する有効な減衰推定を導出すること、滑らかな関数および Hölder 継続関数の両方に適用可能である。
• 横断的交差の議論と Patterson-Sullivan 測度の均等分布を用いて、ホロノミーの有効な均等分布および相関の減衰を示すこと。

提案手法

• Dolgopyatの枠組みに適合させたねじれ移動作用素のスペクトル的境界を用いることで、M不変でない設定における相関の減衰を制御するスペクトル的アプローチを採用する。
• MooreとRatnerのアイデアにインspiredされた畳み込み的議論を、KleinbockとMargulisによって一般化された形で適用し、滑らかな関数から Hölder 継続関数への結果の拡張を実現する。
• フレームフローの混合性とΓ\G上のハール測度に関する行列係数の減衰を関連付けるために、横断的交差の議論を用いる。
• Burger-Roblin測度とPatterson-Sullivan測度を用いて、行列係数推定における主要項を表現する。
• xN⁻_ε₀A_ε₀MN⁺_R 上の関数ψ₁を構成し、軌道の平均化と押し出しを用いてm^BMSとm^BR測度を関連付ける。
• 相関推定における誤差項を制御するために、上界ノルムϕ_{α,+}と下界ノルムϕ_{α,-}を用い、有効な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 フレームフローの指数的混合性は、M不変でない場合にも、凸コンパクトな双曲的多様体上で確立可能か？
• RQ2 Γが凸コンパクトかつ非格子であるとき、L²(Γ\G)上の正則表現の行列係数の減衰速度は何か？
• RQ3 フレームフローの混合性から、ホロノミーの有効な均等分布をどのように導出できるか？
• RQ4 この力学的設定において、滑らかな関数に関する結果をどれほど Hölder 継続関数へと拡張できるか？
• RQ5 ねじれ移動作用素のスペクトル的性質は、相関の指数的減衰を支配するか？

主な発見

• フレームフロー作用は、m^BMS測度に関して指数的混合性を示す：滑らかな関数φ, ψに対して、相関はO(||φ||_{C^k}||ψ||_{C^k} e^{-ηt})のオーダーで減衰する。
• 減衰指数η > 0は観測関数の正則性に依存し、滑らかな関数のクラス全体にわたって一様である。
• Hölder 継続関数への拡張は、畳み込み近似の議論により可能であり、誤差項はHölderノルムと、Hölderクラスに依存する減衰指数ηに依存する。
• Γ\G上のハール測度に関する行列係数は、∫Φ(ga_t)Ψ(g) dg = C(Φ,Ψ)e^{(δ−n+1)t} + O(||Φ||_{C^k}||Ψ||_{C^k} e^{(δ−n+1−η)t})を満たし、明示的な定数C(Φ,Ψ)はBurger-Roblin測度で表される。
• 有効な均等分布は混合推定から従い、誤差項はO(e^{-η₁t/2})のオーダーで有界（η₁ > 0）。
• Dolgopyatの方法により導出されたねじれ移動作用素のスペクトル的境界は、非M不変関数への拡張を可能にする中心的技術的革新である。