[論文レビュー] Isolation, equidistribution, and orbit closures for the SL(2,R) action on Moduli space

Alex Eskin, Maryam Mirzakhani+1 more|arXiv (Cornell University)|May 14, 2013

Mathematical Dynamics and Fractals被引用数 5

ひとこと要約

この論文は、トランスレーション多様体のモジュライ空間におけるSL(2,R)作用の軌道閉包が、アフィン不変部分多様体であることを確立し、単位的流れのRatner定理の完全な類似を証明する。測度分類結果と不変部分多様体の新規隔離性を用いて、閉じたP不変集合がそれらの部分多様体の有限和であることを示し、エルゴディックP不変測度の空間が弱-*位相でコンパクトであり、その弱-*極限が最小なアフィン部分多様体に対応することを示す。

ABSTRACT

We prove results about orbit closures and equidistribution for the SL(2,R) action on the moduli space of compact Riemann surfaces, which are analogous to the theory of unipotent flows. The proofs of the main theorems rely on the measure classification theorem of [EMi2] and a certain isolation property of closed SL(2,R) invariant manifolds developed in this paper.

研究の動機と目的

• トランスレーション多様体のモジュライ空間におけるSL(2,R)作用について、Ratnerの測度分類定理の完全な類似を確立すること。
• 上三角部分群Pによる作用の下での軌道閉包がアフィン不変部分多様体であることを証明すること。
• 閉じたP不変部分集合が、不変部分多様体の有限和として表されることを示し、不変集合の構造理論を拡張すること。
• モジュライ空間におけるエルゴディックP不変確率測度の空間が弱-*位相でコンパクトであることを確立すること。
• 有界な幾何的不変量の下で、アフィン不変部分多様体の列の極限が、その列を含む最小なアフィン部分多様体に対応することを証明すること。

提案手法

• [EMi2]の測度分類定理を活用して、SL(2,R)作用の下での不変測度を分析すること。
• 閉じたSL(2,R)-不変部分多様体の新規隔離性を導入し、部分多様体の蓄積を制御すること。
• 周期座標を用いて不変部分多様体にアフィン構造を定義し、実ベクトル空間における局所線形性を保証すること。
• モア・エルゴディシティ定理およびバーキホフエルゴディシティ定理を用いて、1パラメータ部分群に 沿う時間平均を分析すること。
• 部分多様体Mへの距離を測る関数f_M(x)を定義し、それらを用いて部分マルティンゲール型不等式により積分をバウンドすること。
• ハウスドルフ距離と固定されたコンパクト集合K'におけるコンパクト性の議論を用いて、部分多様体の収束を制御し、積分バウンドを介して矛盾を導出すること。

実験結果

リサーチクエスチョン

• RQ1 トランスレーション多様体のモジュライ空間におけるSL(2,R)作用の下での軌道閉包は常にアフィン不変部分多様体であるか？
• RQ2 モジュライ空間の閉じたP不変部分集合は、有限個のアフィン不変部分多様体の和に分解可能か？
• RQ3 モジュライ空間におけるエルゴディックP不変確率測度の空間は、弱-*位相でコンパクトか？
• RQ4 アフィン不変部分多様体の列の極限は、その列を含む最小なアフィン部分多様体に対応するか？
• RQ5 どのような幾何的制約が、相異なるアフィン不変部分多様体の列が蓄積しないことを保証するか？

主な発見

• 単位面積のストラトH_1(α)におけるSL(2,R)作用の軌道閉包はアフィン不変部分多様体であり、定理2.1を証明する。
• H_1(α)における閉じたP不変部分集合は、アフィン不変部分多様体の有限和として表され、定理2.2で述べられている。
• H_1(α)におけるエルゴディックP不変確率測度の空間は弱-*位相でコンパクトであり、定理2.3で示された。
• H不変量と次元の有界性の下で、アフィン不変部分多様体の列の極限は、その列を含む最小なアフィン部分多様体である。
• 固定次元dのアフィン不変部分多様体の集合は可算であり、H不変量と複雑性が有界なものは有限である。これはコンパクト性と背理法の議論により確立された。
• 不変測度に沿った距離関数f_Mの積分に対する一様上界が存在すれば、相異なる部分多様体は蓄積しないことになり、有界な族の有限性が導かれる。