[论文解读] Separable and tree-like asymptotic cones of groups

Alessandro Sisto|arXiv (Cornell University)|Oct 6, 2010

Geometric and Algebraic Topology参考文献 12被引用 3

一句话总结

本文利用非标准分析刻画了哪些度量空间可作为群的渐近锥，证明具有较少可分渐近锥的群是拟幂零的，并对可作为渐近锥出现的实树进行了分类——具体而言，仅可能是点、直线，或每个点的分支度为 $2^{\aleph_0}$ 的树。

ABSTRACT

Using methods from nonstandard analysis, we will discuss which metric spaces can be realized as asymptotic cones. Applying the results we will find in the context of groups, we will prove that a group with "a few" separable asymptotic cones is virtually nilpotent, and we will classify the real trees appearing as asymptotic cones of (not necessarily hyperbolic) groups.

研究动机与目标

• 使用非标准分析确定哪些度量空间可作为群的渐近锥。
• 研究渐近锥的几何与拓扑约束，特别是可分性与维数。
• 对任意（不一定双曲的）群的渐近锥中可能出现的实树进行分类。
• 建立基于渐近锥结构的群必须为拟幂零群的条件。
• 证明每个完备度量空间都可作为某个度量空间的渐近锥，从而为该构造提供完备性结果。

提出的方法

• 通过度量空间与群的非标准扩张，利用无穷小缩放和超积来定义渐近锥。
• 利用非标准扩张中内部集的二分性（即要么有限，要么基数至少为 $2^{\aleph_0}$）推导出拓扑约束。
• 应用非标准紧致性的刻画（通过内部点）来证明锥构造中的满射性。
• 利用先前工作中已建立的结果：若渐近锥具有有限Minkowski维数且为完备的，则群为拟幂零的。
• 从给定的完备度量空间 $X$ 构造一个度量空间 $Y$，使得 $X$ 同构于 $Y$ 的渐近锥，使用类似扭曲积的距离函数。
• 利用齐性与缩放不变性，分析在不同无穷小缩放因子下渐近锥的结构。

实验结果

研究问题

• RQ1 哪些度量空间可作为群或度量空间的渐近锥？
• RQ2 在何种条件下，具有可分渐近锥的群会成为拟幂零群？
• RQ3 非双曲群的渐近锥中可能出现哪些实树？
• RQ4 每个完备度量空间是否都可作为某个其他度量空间的渐近锥？
• RQ5 渐近锥的拓扑与几何性质（如可分性、维数）如何反映原群的性质？

主要发现

• 可分度量空间只有在完备时才可能成为渐近锥，因此可分的希尔伯特空间不可能作为渐近锥出现。
• 若群 $G$ 在缩放因子位于区间 $[\nu_1, \nu_2]$ 且 $\nu_1 \ll \nu_2$ 的所有渐近锥均为可分的，则 $G$ 是拟幂零的。
• 作为群的渐近锥出现的实树仅有三种：点、实直线，或每个点的分支度为 $2^{\aleph_0}$ 的树。
• 每个完备度量空间 $X$ 都同构于某个度量空间 $Y$ 的渐近锥；若 $X$ 是测地且无界的，则可选择 $Y$ 也为测地空间。
• 从 $X$ 构造 $Y$ 的过程使用了 $X \times \mathbb{N}$ 的非标准扩张，并通过精心定义的距离函数确保渐近锥能恢复出 $X$。
• 证明依赖于非标准紧致性的刻画：紧致集的非标准扩张中的内部点必与某个标准点无穷接近。