[论文解读] Injective hulls of certain discrete metric spaces and groups

Urs Lang|arXiv (Cornell University)|Jul 29, 2011

Geometric and Algebraic Topology参考文献 20被引用 6

一句话总结

该论文证明，对于具有 β-稳定区间的离散测地度量空间，其内射包是具有有限多个等距类型 n-胞状的局部有限多面复形，且每个 n-胞状等距于 ℓⁿ∞ 中的多面体。对于具有此性质的有限生成群——如字超曲面群和阿贝尔群——其内射包可作为群作用的适当类分类空间 $\underline{E}\Gamma$ 的有限维、Γ-等变模型，从而在弱意义下实现了非正曲率空间上的适当且余紧群作用。

ABSTRACT

Injective metric spaces, or absolute 1-Lipschitz retracts, share a number of properties with CAT(0) spaces. In the 1960es, J. R. Isbell showed that every metric space X has an injective hull E(X). Here it is proved that if X is the vertex set of a connected locally finite graph with a uniform stability property of intervals, then E(X) is a locally finite polyhedral complex with finitely many isometry types of n-cells, isometric to polytopes in l^n_\infty, for each n. This applies to a class of finitely generated groups G, including all word hyperbolic groups and abelian groups, among others. Then G acts properly on E(G) by cellular isometries, and the first barycentric subdivision of E(G) is a model for the classifying space \underbar{E}G for proper actions. If G is hyperbolic, E(G) is finite dimensional and the action is cocompact. In particular, every hyperbolic group acts properly and cocompactly on a space of non-positive curvature in a weak (but non-coarse) sense.

研究动机与目标

• 刻画内射包为局部有限多面复形的条件。
• 证明对于具有 β-稳定区间的有限生成群，其内射包是有限维的，并且允许适当的、余紧的群作用。
• 通过内射包提供群作用类分类空间 $\underline{E}\Gamma$ 的新几何模型。
• 通过展示字超曲面群与阿贝尔群在弱意义下于内射包上作用适当且余紧，拓展几何群论工具集。

提出的方法

• 使用 Isbell 的构造方法，将内射包 $\mathrm{E}(X)$ 视为度量空间 $X$ 的紧致张量（tight span），分析其多面体结构。
• 引入 β-稳定区间的概念：对任意满足 $d(y,y')=1$ 的 $x,y,y'$，区间 $I(x,y)$ 与 $I(x,y')$ 之间的 Hausdorff 距离至多为 $\beta$，从而实现几何控制。
• 证明若 $X$ 是离散测地空间，且有界集有限且具有 β-稳定区间，则 $\mathrm{E}(X)$ 是恰当的、局部有限的，且具有有限多个等距类型的 $n$-胞状。
• 证明 $\mathrm{E}(X)$ 中的每个 $n$-胞状等距于 $\ell^n_\infty$（即 $n$ 维 $\ell^\infty$-空间）中的紧致凸多面体。
• 将结果应用于具有字度量的有限生成群 $\Gamma$，其中 $\Gamma$ 在 $\mathrm{E}(\Gamma)$ 上作用适当且细胞化，且 $\mathrm{E}(\Gamma)$ 的第一次单纯剖分是 $\underline{E}\Gamma$ 的模型。
• 利用内射度量空间的不动点定理，证明若 $\Gamma$ 是 $\delta$-超曲面群，则 $\mathrm{E}(\Gamma)$ 是 $\delta$-超曲面群，但未必与 $\Gamma$ 为准等距。

实验结果

研究问题

• RQ1 在何种几何条件下，离散度量空间的内射包是具有有限多个等距类型胞状的局部有限多面复形？
• RQ2 具有 β-稳定区间的有限生成群的内射包能否作为群作用的几何模型？
• RQ3 字超曲面群的内射包是否保持有限维性并允许余紧群作用？
• RQ4 能否通过内射包构造一个 $\Gamma$-等变、有限维、适当的类分类空间 $\underline{E}\Gamma$ 的通用模型？
• RQ5 群的内射包与其字度量之间存在何种关系，特别是关于有限维性与局部有限性？

主要发现

• 若 $X$ 是一个离散测地度量空间，且所有有界集有限、具有 $\beta$-稳定区间，则 $\mathrm{E}(X)$ 是一个恰当的、局部有限的多面复形，其 $n$-胞状具有有限多个等距类型，且每个 $n$-胞状等距于 $\ell^n_\infty$ 中的紧致凸多面体。
• 对于具有字度量的有限生成群 $\Gamma$，若 $\Gamma$ 具有 $\beta$-稳定区间，则 $\Gamma$ 在 $\mathrm{E}(\Gamma)$ 上作用适当且细胞化，且 $\mathrm{E}(\Gamma)$ 的第一次单纯剖分是群作用类分类空间 $\underline{E}\Gamma$ 的模型。
• 若 $\Gamma$ 是字超曲面群，则 $\mathrm{E}(\Gamma)$ 是有限维的，且 $\Gamma$ 在 $\mathrm{E}(\Gamma)$ 上的作用是余紧的，因此 $\Gamma$ 在弱意义下于非正曲率空间上作用适当且余紧。
• $\mathbb{Z}^2$ 的内射包是有限维且局部紧的，但对于 Baumslag–Solitar 群 $\langle x,y \mid yx = x^2y \rangle$，由于紧致张量中存在任意高秩的点列，$\mathrm{E}(\Gamma)$ 是无限维的。
• 对于群 $\langle a,b,t \mid ab=ba, t^2=1, tab=abt \rangle$，$\mathrm{E}(\Gamma)$ 在 $d_1$ 处包含一个等距嵌入的无限阶数单形树，因此在 $\mathrm{e}(\Gamma)$ 附近不局部紧，尽管其仍可能是有限维的。