[論文レビュー] Orthogonal powers and Möbius conjecture for smooth time changes of horocycle flows

Livio Flaminio, Giovanni Forni|arXiv (Cornell University)|Nov 12, 2018

Mathematical Dynamics and Fractals参考文献 3被引用数 4

ひとこと要約

本稿では、コンパクトな商上の非自明な滑らかな時刻変更ホロサイクル流が、AOP（漸近的直交べき乗）性質を満たすことを確立している。これは、サルナックのモービウス直交性予想を含意する。時刻変更ホロサイクル流の結合分類に関するラトナーの分類と著者らのコhomological結果を組み合わせることで、このような流の異なるべき乗が非自明な結合を持つ場合、時刻変更関数は定数にコhomologousである必要がある。そうでなければ、AOP性質が成り立ち、その結果、時間1写像に測度的に同相なすべての位相的唯一のエルゴディック系に対してモービウス直交性が成立する。

ABSTRACT

We derive, from the work of M. Ratner on joinings of time-changes of horocycle flows and from the result of the authors on its cohomology, the property of orthogonality of powers for non-trivial smooth time-changes of horocycle flows on compact quotients. Such a property is known to imply P. Sarnak's Möbius orthogonality conjecture, already known for horocycle flows by the work of J. Bourgain, P. Sarnak and T. Ziegler.

研究の動機と目的

• コンパクトな商上の非自明な滑らかな時刻変更ホロサイクル流に対して、AOP（漸近的直交べき乗）性質を確立すること。
• 時刻変更関数が定数にコhomologousでない場合、そのような流がサルナックのモービウス直交性予想を満たすことを証明すること。
• カニゴフスキー、レマニェンツキ、ウリチグライが提起した問いに答え、ラトナーの結合分類と著者らのコhomology特徴付けから直接結果を導出すること。
• このような時刻変更流の時間1写像に測度的に同相なすべての位相的唯一のエルゴディック系に対して、モービウス直交性予想が成り立つことを示すこと。

提案手法

• 時刻変更ホロサイクル流の結合分類に関するラトナーの分類を活用し、流の異なるべき乗間の共同分布の構造を分析する。
• 著者らがホロサイクル流におけるコブンダリーのコhomological特徴付けを適用し、時刻変更関数が定数にコhomologousである条件を特定する。
• 時刻変更関数 τ が W^s(Γ\G) に属し、s > 2 であるため、ソボレフ空間技法に十分な正則性が保証されることを利用する。
• 測地流の不変分布への作用を分析し、スペクトル分解を用いて流の転送作用素の振る舞いを研究する。
• ソボレフ空間の理論と G-不変等長埋め込みを用い、被覆空間上の分布を底空間上の分布に関連付ける。
• 不変部分空間上の分布に対して双対性と射影技術を用い、任意の τ を消滅させる不変分布は恒等的に消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかな時刻変更ホロサイクル流の異なるべき乗が非自明な結合を持つ条件は何か？
• RQ2 コンパクトな商上の滑らかな時刻変更関数 τ が定数にコhomologousである条件は何か？
• RQ3 AOP性質は、時刻変更ホロサイクル流の文脈において、モービウス直交性予想とどのように関係するか？
• RQ4 ラトナーの結合分類とコhomological結果を組み合わせることで、時刻変更流の直交性性質を導出できるか？
• RQ5 s > 2 のソボレフ正則性が、このような流における AOP 性質の妥当性を保証するために果たす役割は何か？

主な発見

• 異なるべき乗が非自明な結合を持つ滑らかな時刻変更ホロサイクル流の場合、時刻変更関数 τ は定数にコhomologousである。
• τ が定数にコhomologousでない滑らかな時刻変更ホロサイクル流では、AOP 性質が成り立ち、その結果、べき乗の漸近的直交性が保証される。
• τ が定数にコhomologousでない場合、すべての位相的唯一のエルゴディック系に対して、モービウス直交性予想が成り立つ。
• この結果は、ラトナーの結合分類と著者らのコhomology特徴付けから直接導出されており、カニゴフスキー、レマニェンツキ、ウリチグライが提起した未解決問題に答えている。
• 解析により、τ を消滅させるすべての不変分布は恒等的に消えることが示され、τ が非自明な結合を持つ限り、定数にコhomologousにはなり得ないことが証明された。
• 証明は、測地流の不変分布への作用のスペクトル解析と、固有値 μ = 1/4 の場合のジョルダン細胞の構造に依存している。