[论文解读] Slow ultrafilters and asymptotic cones of proper metric spaces

Lars Scheele|arXiv (Cornell University)|Oct 8, 2010

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

一句话总结

本文利用慢滤子构造完备度量空间的渐近锥，证明任一完备度量空间均可作为另一完备度量空间的渐近锥。该研究解决了Druffiu和Sapir提出的问题，表明通过快速增长序列得到的锥也可通过慢滤子实现，且通过双李普希茨映射（常数趋近于1）保持几何结构。

ABSTRACT

In this paper I present an elementary construction to prove that any proper metric space can arise as the asymptotic cone of another proper metric space. Furthermore I answer a question of Drutu and Sapir concerning slow ultrafilters.

研究动机与目标

• 证明任一完备度量空间均可作为另一完备度量空间的渐近锥。
• 解决Druffiu和Sapir提出的问题，即不同渐近锥是否可由慢滤子生成。
• 证明使用快速增长序列构造的锥亦可通过慢滤子实现，且保持几何性质。
• 提供一种基于滤子和超积的渐近锥构造方法，避免使用非标准分析。

提出的方法

• 利用滤子和超积定义渐近锥，借助Łoś定理实现一阶逻辑的传递。
• 构造一个包含稀疏集及其补集的滤子，然后通过Zorn引理将其延拓为慢滤子。
• 通过在特定区间上索引的序列定义锥之间的映射，以确保双李普希茨控制。
• 采用一列常数 $ L_k \to 1 $，证明映射在极限下成为等距映射。
• 证明映射 $ \varphi $ 是良定义的，且保持距离至多为因子 $ L_k $，而 $ L_k \to 1 $。
• 利用集合 $ X_{L,I} $ 及其补集非快速增长的性质，确保滤子构造的有效性。

实验结果

研究问题

• RQ1 任一完备度量空间是否均可作为另一完备度量空间的渐近锥？
• RQ2 通过快速增长序列得到的渐近锥是否也可通过慢滤子实现？
• RQ3 是否可构造一个在极限下成为等距映射的双李普希茨映射？
• RQ4 慢滤子是否足以生成所有有限生成群的可能渐近锥？
• RQ5 渐近锥的构造能否独立于快速增长的缩放序列？

主要发现

• 任一完备度量空间均可作为另一完备度量空间的渐近锥，且构造过程为迭代式。
• 相对于快速增长序列的渐近锥，亦可通过慢滤子实现。
• 存在一个双李普希茨映射 $ \varphi $，其常数 $ L_k \to 1 $，表明该映射在极限下成为等距映射。
• 构造确保序列在 $ \varphi $ 下的像模滤子 $ \mu' $ 良定义，从而保持锥的结构。
• 滤子 $ \mathcal{F}_{L_k} $ 构成一个递增链，可通过Zorn引理延拓为超滤子 $ \mu' $。
• 结果表明，仅使用慢滤子即可构造出具有非同胚锥的群的例子，从而解决了Druffiu和Sapir提出的问题。