[論文レビュー] Lebesgue Orbit Equivalence of Multidimensional Borel Flows

Konstantin Slutsky|arXiv (Cornell University)|Apr 3, 2015

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

ひとこと要約

この論文は、$\mathbb{R}^d$ の2つの自由な多次元ボレル流れが、ルベーグ軌道同値（LOE）であるための必要十分条件が、それらが同じ数の不変エルゴード確率測度を持つことであることを確立している。証明は、ボレル長方形上の測度を保存する写像を用いた前後反復構成であり、共コンパクトな断面と圧縮可能な同値関係を活用して、各軌道におけるルベーグ測度を保存する形で軌道同値を拡張している。

ABSTRACT

The main result of the paper is classification of free multidimensional Borel flows up to Lebesgue Orbit Equivalence, by which we understand an orbit equivalence that preserves the Lebesgue measure on each orbit. Two non smooth Euclidean flows are shown to be Lebesgue Orbit Equivalence if and only if they admit the same number of invariant ergodic probability measures.

研究の動機と目的

• 自由な多次元ボレル流れ $\mathbb{R}^d$ を、ルベーグ軌道同値（LOE）の意味で分類すること。LOEは、各軌道におけるルベーグ測度を保存する、軌道同値の強化版である。
• 非滑らかな自由 $\mathbb{R}^d$-流れの文脈において、不変エルゴード確率測度（pie 測度）の集合の濃度が、LOEに対する完全不変量であるかどうかを特定すること。
• 全位相空間が滑らでない場合でも、ボレル前後反復論法を用いて、軌道を越えて測度を保存する形で軌道同値を拡張すること。
• 離散群作用とは異なり、LOEがハール測度を同じように保存しないという障害を乗り越えるために、全測度ではなく各軌道におけるルベーグ測度に焦点を当てる。

提案手法

• ボレル長方形 $B^k$ と断面 $\mathcal{C}^k$ を用いた前後反復法により、2つの自由 $\mathbb{R}^d$-流れ $X$ と $Y$ 間のボレル同相写像 $\phi: X \to Y$ を構成する。
• 共コンパクトな断面 $\mathcal{C}_X \subseteq X$ と $\mathcal{C}_Y \subseteq Y$ を用いて、軌道同値の基本構造を定義し、極限において一様に全測度を保証する。
• フロー作用を介してルベーグ測度を転送することにより、$B^k$ ブロック上での測度保存写像を定義し、$\phi$ が各軌道におけるルベーグ測度を保存することを保証する。
• 定理8.1を適用して、各段階で測度保存性とボレル可測性を保ちながら、$B^k$ ブロック全体にわたる軌道同値の拡張を実行する。
• 断面における圧縮可能で滑らでない同値関係を用いて、不変部分集合 $X_0 \subseteq X$ と $Y_0 \subseteq Y$ を構成し、それらに pie 測度が存在しないようにすることで、同値関係を全空間へ拡張可能にする。
• 定理7.2（一様全測度集合上でのLOEの存在）と定理8.1（全流れへの拡張）の結果を組み合わせ、元の流れ間のグローバルなLOEを構成する。

実験結果

リサーチクエスチョン

• RQ1 自由な多次元ボレル流れのルベーグ軌道同値において、不変エルゴード確率測度の数が完全不変量であるか。
• RQ2 自由 $\mathbb{R}^d$-流れ間のボレル軌道同値が、すべての軌道においてルベーグ測度を保存するように拡張可能か。
• RQ3 位相空間が滑らでなく、不変確率測度が存在しない場合、どのようにLOEを構成できるか。
• RQ4 連続群作用における軌道同値がハール測度を保存しないという失敗が、ボレル設定における分類に及ぼす影響の程度は。
• RQ5 多次元流れの文脈において、ボレル可測性を保ちつつ各軌道におけるルベーグ測度を保存するように、前後反復法をどのように適合可能にするか。

主な発見

• 非滑らかな自由 $\mathbb{R}^d$-流れの2つが、同じ数の不変エルゴード確率測度を持つときかつそのときに限り、ルベーグ軌道同値（LOE）である。
• 2つの流れの pie 測度集合の濃度が一致する限り、それらの間のLOEの存在が保証される。
• LOEの構成は、$B^k$ ボレル長方形上でのボレル前後反復論法により行われ、各軌道における測度保存性は、ルベーグ測度の正確な転送によって保証される。
• 補集合が滑らでなく不変測度が存在しない場合でも、全空間へのLOEの拡張が、測度を保存する形で成功している。
• 共コンパクトな断面上での圧縮可能で滑らでない同値関係の使用により、pie 測度のない不変部分集合を構成でき、これにより同値関係の拡張が可能になった。
• 古典的な Dougherty–Jackson–Kechris の分類を、連続的かつ測度保存的な多次元流れの設定に一般化し、pie 測度の数がLOE下での唯一の不変量であることを示した。