[論文レビュー] Kakutani Equivalence of Unipotent Flows

Adam Kanigowski, Kurt Vinhage+1 more|arXiv (Cornell University)|May 3, 2018

Advanced Algebra and Geometry参考文献 23被引用数 8

ひとこと要約

本稿は、単位的生成子のジョルダン分解構造から Kakutani 不変量を明示的に計算することにより、単純なリー群の有限体積商上で定義された単位的フローの Kakutani 同値性について完全な分類を確立している。この結果、$\begin{pmatrix}1&t\\ 0&1\end{pmatrix}\times\mathrm{id}$ の形をしたフローで、$(SL(2,\mathbb{R})\times G')/\Gamma'$ 上にあり、かつ $\Gamma'$ が既約格子であるようなものだけが標準的であることが示され、M. ラトナーの長年の未解決問題を解決し、30年以上来ないアルジェブラ的フローにおける Kakutani 同値性分野の最初の主要な進展をもたらした。

ABSTRACT

We study Kakutani equivalence in the class of unipotent flows acting on finite volume quotients of semisimple Lie groups. For every such flow we compute the Kakutani invariant of M. Ratner, the value of which being explicitly given by the Jordan block structure of the unipotent element generating the flow. This in particular answers a question of M. Ratner. Moreover it follows that the only standard unipotent flows are given by $\begin{pmatrix} 1 & t \\ 0 & 1 \end{pmatrix} imes \operatorname{id}$ acting on $(SL(2,\mathbb{R}) imes G')/Γ'$, where $Γ'$ is an irreducible lattice in $SL(2,\mathbb{R}) imes G'$ (with the possibility that $G' = \{e\}$).

研究の動機と目的

• 単純なリー群の有限体積商上で定義された単位的フローの Kakutani 不変量を計算すること。
• 単位的フローの文脈において、M. ラトナーが提起した Kakutani 同値性に関する未解決問題を解明すること。
• どの単位的フローが標準的（$\mathbb{T}^2$ 上の線形フローと Kakutani 同値）であるかを分類すること。
• 従来の制限を克服し、可約格子を超えた分類を拡張すること。
• ジョルダンブロックデータに基づく明示的で構造的な基準を用いて Kakutani 同値性を特定すること。

提案手法

• フローを生成する単位的要素のジョルダン分解構造を用いて、Kakutani 不変量 $e((T_t), \log)$ を計算する。
• Lie 代数準同型 $\phi: \mathfrak{sl}(2,\mathbb{R}) \to \mathfrak{g}$ を通じて $SL(2,\mathbb{R})$ への還元を行い、$\tilde{\phi}$ に拡張する。
• 行列積の力学的性質を、サイズパラメータを制御した明示的パrametrization $m(p,q,a,b,c,d)$ を用いて分析する。
• 証明は、行列成分の指数的減衰を用いて、語長および単位元からの距離を推定することに依拠する。
• 重要なステップとして、$m^2 = h \exp(sX)h^{-1}$ と表され、$|s|$ と $h = k\exp(\alpha U)$ が制御可能であることを示す。ここで $|\alpha|$ は $j\delta$ の二重指数関数的に有界である。
• 指数的減衰関数の積分を用いて、基本領域内の大きな球の測度の減衰を確立し、$\mu(\{z: d(e,z) \geq t\}) \leq c e^{-\kappa t}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 単純なリー群の有限体積商上で定義されたどの単位的フローが $\mathbb{T}^2$ 上の線形フローと Kakutani 同値であるか？
• RQ2 単位的生成子のジョルダンブロック構造から Kakutani 不変量を明示的に計算できるか？
• RQ3 $h_t \times h_t$ のような既知の例以外に、非標準的単位的フローは存在するか？
• RQ4 $k \neq l$ のとき、$k$ 個と $l$ 個の水平フローの積は、Kakutani 同値性において区別可能か？
• RQ5 SL(2,\mathbb{R}) を超える単位的フローにおける Kakutani 不変量の正確な構造は何か？

主な発見

• Kakutani 不変量は、単位的要素の生成子のジョルダンブロック構造によって明示的に決定される。
• $(SL(2,\mathbb{R})\times G')/\Gamma'$ 上にあり、$\Gamma'$ が既約格子であるような $\begin{pmatrix}1&t\\ 0&1\end{pmatrix}\times\mathrm{id}$ の形のフローのみが標準的である。
• $k$ 個の水平フローの積は、$k \neq l$ のとき $l$ 個の水平フローの積と Kakutani 同値でないことが確認され、ラトナーの予想が裏付けられた。
• 集合 $\{z \in F : d_{G}(e,z) \geq t\}$ の測度は指数的に減少し、ある $c>0$, $\kappa>0$ に対して $\mu(\{z: d(e,z) \geq t\}) \leq c e^{-\kappa t}$ が成り立つ。
• 同型要素 $h = k\exp(\alpha U)$ のパrameter $\alpha$ に対して $|\alpha| \leq 2^{K_U' \delta j}$ が成り立ち、歪みが制御可能である。
• 行列 $m$ のトレースに対して $2^{20j\delta - 1} \leq |\operatorname{Tr}(m)| \leq 2^{80j\delta + 1}$ が成り立ち、$m$ が双曲的かつ対角化可能であることが示唆される。