[论文解读] Covering R-trees, R-free groups, and dendrites

V. N. Berestovskiĭ, Conrad Plaut|ArXiv.org|Apr 23, 2009

Geometric and Algebraic Topology参考文献 19被引用 4

一句话总结

本文提出了一种对任意长度空间 $X$ 的通用 R-树构造方法，记为覆盖 R-树 $\overline{X}$，通过局部自由群 $\Gamma(X)$ 在 $\overline{X}$ 上的自由等距作用实现。商映射 $\overline{\phi}: \overline{X} \to X$ 是一个通用弱子metry（URL-映射），当 $X$ 为维度 $n \geq 2$ 的完备黎曼流形、梅热纳海绵或谢尔平斯基地毯/垫片时，$\overline{X}$ 同构于每个点具有 $\mathfrak{c} = 2^{\aleph_0}$ 价的通用 R-树 $A_{\mathfrak{c}}$。

ABSTRACT

We prove that every length space X is the orbit space (with the quotient metric) of an R-tree T via a free action of a locally free subgroup G(X) of isometries of X. The mapping f:T->X is a kind of generalized covering map called a URL-map and is universal among URL-maps onto X. T is the unique R-tree admitting a URL-map onto X. When X is a complete Riemannian manifold M of dimension n>1, the Menger sponge, the Sierpin'ski carpet or gasket, T is isometric to the so-called "universal" R-tree A_{c}, which has valency equal to the cardinality of the continuum at each point. In these cases, and when X is the Hawaiian earring H, the action of G(X) on T gives examples in addition to those of Dunwoody and Zastrow that negatively answer a question of J. W. Morgan about group actions on R-trees. Indeed, for one length metric on H, we obtain precisely Zastrow's example.

研究动机与目标

• 构造一个通用 R-树 $\overline{X}$，使其通过自由等距群作用覆盖任意给定的长度空间 $X$。
• 建立商映射 $\overline{\phi}: \overline{X} \to X$ 为通用 URL-映射（弱子metry，开映射，轻映射），并赋予商度量。
• 证明当 $X$ 为维度 $n \geq 2$ 的完备黎曼流形、梅热纳海绵或谢尔平斯基分形时，$\overline{X}$ 唯一且同构于每个点具有 $\mathfrak{c}$ 价的通用 R-树 $A_{\mathfrak{c}}$。
• 提供局部自由群在 R-树上的新例子，以否定性回答 J. W. Morgan 关于 R-树上群作用的问题。
• 通过非回溯可求长路径作为覆盖 R-树的基础，将覆盖映射理论扩展至非测地线与分形空间。

提出的方法

• 将 $\overline{X}$ 定义为 $X$ 中基于点的非回溯可求长路径空间，并基于从第一个分叉点起的路径长度之和赋予其度量。
• 在 $\Gamma(X)$ 上赋予群结构，即作为 $X$ 中环路在自然运算下的集合，构成 $\mathrm{Isom}(\overline{X})$ 的局部自由子群。
• 将商映射 $\overline{\phi}: \overline{X} \to X$ 构造为终点映射，其为弱子metry 且为轻映射。
• 证明 $\overline{X}$ 是 R-树，且 $\Gamma(X)$ 在 $\overline{X}$ 上的作用是自由且等距的。
• 利用 $A_{\mathfrak{c}}$ 的普遍性质，证明当 $X$ 为维度 $n \geq 2$ 的完备黎曼流形、梅热纳海绵或谢尔平斯基分形时，有 $\overline{X} \cong A_{\mathfrak{c}}$，且每个点的价为 $\mathfrak{c}$。
• 引入 $\tilde{X}$ 作为 $X$ 中分段连续可微路径的子空间，并证明 $\tilde{X}$ 是 $\tilde{\Gamma}(X)$ 下的极小不变子树，且 $\tilde{\phi}: \tilde{X} \to X$ 是弧-等距映射与弱子metry。

实验结果

研究问题

• RQ1 每个长度空间是否都能实现为某个 R-树在自由等距群作用下的轨道空间？
• RQ2 是否存在任意长度空间的通用 R-树覆盖映射（URL-映射）？其普遍性质是什么？
• RQ3 当 $X$ 为维度 $n \geq 2$ 的完备黎曼流形时，覆盖 R-树 $\overline{X}$ 的结构如何？
• RQ4 本文构造的 $\overline{X}$ 上的群作用是否为 J. W. Morgan 关于 R-树上群作用问题的反例？
• RQ5 $X$ 中分段 $C^1$ 环路的子群 $\tilde{\Gamma}(X)$ 是否为自由群？它在对应 R-树 $\tilde{X}$ 上的作用是否自由？

主要发现

• 每个长度空间 $X$ 均存在一个覆盖 R-树 $\overline{X}$，使得 $X$ 同构于商空间 $\overline{X}/\Gamma(X)$，其中 $\Gamma(X)$ 通过等距作用自由作用于 $\overline{X}$。
• 商映射 $\overline{\phi}: \overline{X} \to X$ 是一个通用弱子metry（URL-映射），为开映射与轻映射；若 $X$ 为测地空间，则其为子metry。
• 当 $X$ 为维度 $n \geq 2$ 的完备黎曼流形、梅热纳海绵或谢尔平斯基地毯/垫片时，覆盖 R-树 $\overline{X}$ 同构于每个点具有 $\mathfrak{c} = 2^{\aleph_0}$ 价的通用 R-树 $A_{\mathfrak{c}}$。
• 该构造提供了局部自由群在 R-树上作用的新例子，以否定性回答 J. W. Morgan 关于所有此类作用是否必须源于自由群的问题。
• 对于赋予特定长度度量的夏威夷项圈 $H$，该构造恢复了 Zastrow 的例子，证实其在 R-树群作用背景下的相关性。
• $X$ 中分段连续可微路径的子空间 $\tilde{X}$ 构成一个非完备 R-树，其每个点的价为 $\mathfrak{c}$，且 $\tilde{\Gamma}(X)$ 在 $\tilde{X}$ 上的作用为自由且等距，$\tilde{X}$ 为极小不变子树。