数学において、ラトナーの定理は、 1990年頃にマリーナ・ラトナーによって証明された、等質空間上のユニポテントフローに関するエルゴード理論の主要な定理のグループです。この定理は、ラトナーの以前のホロサイクルフローに関する研究から生まれました。ユニポテントフローのダイナミクスの研究は、グリゴリー・マーギュリスによるオッペンハイム予想の証明に決定的な役割を果たしました。ラトナーの定理は、ユニポテントフローのダイナミクスの理解における重要な進歩を導いてきました。その後の一般化により、結果を明確化し、理論を局所体上の任意の半単純代数群の設定に拡張する方法が提供されています。
簡単な説明
ラトナーの軌道閉包定理は、リー群を格子で割った商上の単零フローの軌道の閉包は、幾何学的に良い部分集合であると主張します。ラトナーの等分布定理はさらに、そのような各軌道はその閉包において等分布であると主張します。ラトナーの測度分類定理は、すべてのエルゴード不変確率測度が同次、つまり代数的であるという弱い主張です。これは、より一般的な等分布特性を証明するための重要なステップであることが判明しました。これらの定理の名前については、普遍的な合意はありません。これらは、「測度の剛性定理」、「不変測度の定理」とその「位相バージョン」など、さまざまな名前で知られています。
このような結果の正式な記述は次のようになります。をリー群、内の格子、および上の関連フローを持つ、単零元からなるの1パラメータ部分群とします。このとき、のすべての軌道の閉包は同次です。これは、への標準射影の下 で への右平行移動によるの作用に対する軌道の像が閉じており、有限の -不変測度を持ち、 の -軌道の閉包を稠密な部分集合として含むような、の連結された閉じた部分群が存在することを意味します。
例:
上記の記述が適用される最も単純なケースは です。この場合、 は次のようなより明示的な形式になります。 を の格子とし、 となるすべての写像に対して不変である閉部分集合とします。すると、となるような(ただし)または のいずれかが存在します。
幾何学的に言えば、は有限フックス群なので、による双曲平面の商は有限体積の双曲オービフォールドです。上記の定理は、のすべてのホロサイクルには の像があり、 は閉曲線 (のカスプの周りのホロサイクル) であるか、 で稠密であるかのいずれかであることを意味します。
参照
参考文献
博覧会
- モリス、デイブ・ウィッテ (2005)。ラトナーのユニポテントフローに関する定理。シカゴ数学講義。シカゴ、イリノイ州:シカゴ大学出版局。arXiv : math / 0310402。ISBN 978-0-226-53984-3. MR 2158954。
- Einsiedler, Manfred (2009). 「測定の剛性とは何か?」(PDF) . AMS の通知. 56 (5): 600–601.
厳選されたオリジナル記事
- ラトナー、マリーナ (1990)。「可解群の単能部分群に対する厳密な測定剛性」。Invent . Math. 101 (2): 449–482. doi :10.1007/BF01231511. MR 1062971。
- ラトナー、マリーナ (1990)。「半単純群の単能部分群の測度剛性について」。Acta Math. 165 (1): 229–309. doi : 10.1007/BF02391906 . MR 1075042。
- ラトナー、マリーナ (1991)。「ラグナサンの測度予想について」。Ann . of Math. 134 (3): 545–607. doi :10.2307/2944357. JSTOR 2944357. MR 1135878.
- ラトナー、マリーナ (1991)。「ラグナサンの位相予想とユニポテントフローの分布」デューク数学誌 63 (1): 235–280. doi :10.1215/S0012-7094-91-06311-8. MR 1106945。
- ラトナー、マリーナ (1993)。「p進リー群に対するラグナサンの予想」。 国際数学研究通知。1993 (5): 141–146。doi : 10.1155 /S1073792893000145。MR 1219864。
- ラトナー、マリーナ (1995)。「実数および p 進リー群の直積に対する Raghunathan の予想」。デューク数学誌 77 (2): 275–382。doi : 10.1215 /S0012-7094-95-07710-2。MR 1321062 。
- Margulis, Grigory A. ; Tomanov, Georges M. (1994). 「均質空間上の局所体上の単能群の作用に対する不変測度」. Invent. Math. 116 (1): 347–392. doi :10.1007/BF01231565. MR 1253197.
