[论文解读] Non-unique ergodicity, observers' topology and the dual algebraic lamination for $\R$-trees

Thierry Coulbois, Arnaud Hilion+1 more|arXiv (Cornell University)|Jun 9, 2007

Geometric and Algebraic Topology被引用 4

一句话总结

本文证明了，若两个具有极小、稠密轨道作用的自由群 $F_N$ 的 $\rR$-树在观察者拓扑下同胚，当且仅当它们具有相同的对偶代数拟盘 $L^2(T)$。此外，当此类树通过此同胚关系识别后，其度量的任意凸组合可生成一个新的 $\rR$-树，从而通过度量插值证明了在 $\rR$-树背景下非唯一遍历性。

ABSTRACT

We continue in this article the study of laminations dual to very small actions of a free group F on R-trees. We prove that this lamination determines completely the combinatorial structure of the R-tree (the so-called observers' topology). On the contrary the metric is not determined by the lamination, and an R-tree may be equipped with different metrics which have the same observers' topology.

研究动机与目标

• 通过观察者拓扑，建立具有极小 $F_N$-作用的 $\rR$-树的拓扑刻画。
• 研究对偶代数拟盘 $L^2(T)$ 与具有稠密轨道的 $\rR$-树的拓扑结构之间的关系。
• 确定两个具有相同对偶拟盘的 $\rR$-树在观察者拓扑下是否拓扑等价。
• 通过将现有度量的线性组合构造新的 $\rR$-树度量，探索 $\rR$-树中非唯一遍历性的几何后果。
• 证明此类插值生成的度量空间仍为 $\rR$-树，且保持必要的几何与拓扑性质。

提出的方法

• 在 $\bar{T} \bigcup \bd T$ 上引入观察者拓扑，其中 $\bar{T}$ 是 $\rR$-树 $T$ 的度量完备化，$\bd T$ 是其 Gromov 边界，表明该拓扑是紧致的，且弱于度量拓扑。
• 利用 $F_N$-等变映射 ${\frak Q}: \bd F_N \to \bar{T} \bigcup \bd T$，将对偶代数拟盘 $L^2(T)$ 定义为在 ${\frak Q}$ 下映射到同一点的互异边界点对的集合。
• 应用先前工作 [CHLII] 中 $L^2(T)$ 的三种定义之间的等价性，特别是平移长度趋于零的共轭类的极限。
• 证明 $L^2(T_0) = L^2(T_1)$ 蕴含通过观察者拓扑，$\rH{T}_0^{\text{obs}}$ 与 $\rH{T}_1^{\text{obs}}$ 之间存在 $F_N$-等变同胚。
• 将 $T_0$ 与 $T_1$ 的内部识别为同一集合 $\rT^\bullet$，从而可定义组合度量 $d_\nu = \nu d_1 + (1-\nu)d_0$，其中 $\nu \to [0,1]$。
• 证明所得度量空间 $(\rT^\bullet, d_\nu)$ 满足 Gromov $0$-超曲性条件，且具有唯一测地线，从而确认其为 $\rR$-树。

实验结果

研究问题

• RQ1 在何种拓扑条件下，具有极小 $F_N$-作用与稠密轨道的两个 $\rR$-树会同胚？
• RQ2 在观察者拓扑下，对偶代数拟盘 $L^2(T)$ 是否能唯一确定 $\rR$--树的拓扑结构？
• RQ3 在相同 $\rR$-树上存在多个非等距度量（源于不同测度）时，是否存在一种明确定义的插值方法，可保持 $\rR$-树结构？
• RQ4 将同一 $\rR$-树上由不同 $F_N$-作用导出的两个度量进行线性组合，是否保证生成一个新的 $\rR$-树？
• RQ5 观察者拓扑与 $\rR$-树上的度量拓扑之间有何关系，尤其是在存在无限分支或稠密轨道结构时？

主要发现

• 具有极小、最小且稠密轨道 $F_N$-作用的两个 $\rR$-树 $T_0$ 与 $T_1$，在观察者拓扑下 $F_N$-等变同胚，当且仅当其对偶代数拟盘满足 $L^2(T_0) = L^2(T_1)$。
• $\rH{T}_0^{\text{obs}}$ 与 $\rH{T}_1^{\text{obs}}$ 之间的 $F_N$-等变同胚限制在内部 $T_0$ 与 $T_1$ 上，形成双射，将二者识别为同一集合 $\rT^\bullet$。
• 对任意 $\nu \to [0,1]$，$\rT^\bullet$ 上的度量 $d_\nu = \nu d_1 + (1-\nu)d_0$ 定义了一个新的度量空间，该空间为 $\rR$-树。
• $(\rT^\bullet, d_\nu)$ 中的测地线与 $T_0$ 和 $T_1$ 中的测地线一致，且 $d_\nu$ 诱导的拓扑与内部上的观察者拓扑一致。
• 在度量的凸组合下，$0$-超曲性的 Gromov 积条件得以保持，确保所得空间为 $0$-超曲性，因此为 $\rR$-树。
• 从 $\bd F_N$ 到 $\rH{T}^{\text{obs}}$ 的典范映射 ${\frak Q}$ 与 $F_N$-等变同胚可交换，确认对偶拟盘作为拓扑不变量的一致性。