[论文解读] Lebesgue Orbit Equivalence of Multidimensional Borel Flows

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

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

一句话总结

本文证明了两个自由的 $\mathbb{R}^d$-值多维博雷尔流在且仅在它们具有相同数量的不变遍历概率测度时，是勒贝格轨道等价（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 是一种强化的轨道等价，其在每个轨道上保持勒贝格测度。
• 确定不变遍历概率测度（pie 测度）集合的基数是否为非光滑自由 $\mathbb{R}^d$-流在 LOE 意义下的完全不变量。
• 通过博雷尔来回论证，以保持测度的方式将轨道等价扩展至所有轨道，即使整个相空间不光滑。
• 通过聚焦于轨道上的勒贝格测度而非全局测度，克服 LOE 无法以与离散群作用相同方式保持哈尔测度的障碍。

提出的方法

• 使用在博雷尔矩形 $B^k$ 和横截面 $\mathcal{C}^k$ 上的来回方法，构造两个自由 $\mathbb{R}^d$-流之间的博雷尔同构 $\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$-流当且仅当它们具有相同数量的不变遍历概率测度时，是勒贝格轨道等价的。
• 当两个此类流的 pie 测度集合的基数相等时，其 LOE 的存在性得到保证。
• LOE 的构造通过在博雷尔矩形 $B^k$ 上使用博雷尔来回论证实现，通过仔细传递勒贝格测度，确保在每个轨道上保持测度。
• 该方法成功地将定义在全测度子集上的 LOE 扩展至整个空间，即使补集不光滑且无不变测度。
• 在余紧横截面上使用可压缩、非光滑的等价关系，可构造出无 pie 测度的不变子集，从而实现等价关系的扩展。
• 该结果将经典的 Dougherty–Jackson–Kechris 分类推广至多维流的连续、保持测度的设定，表明在 LOE 下，pie 测度的数量是唯一的不变量。