[论文解读] On asymptotic property C

Trevor Davila|arXiv (Cornell University)|Nov 18, 2016

Advanced Operator Algebra Research参考文献 9被引用 3

一句话总结

本文证明了渐近性质 C 在有限积下保持不变，并且对具有有限渐近维数的可数群的可数受限直积也成立。文章引入了双曲性质 C 和弱双曲性质 C 作为双曲维数的无限维类比，证明了弱双曲性质 C 蕴含直线有限分解复杂性（sFDC），从而蕴含性质 A。

ABSTRACT

Asymptotic property C was introduced by Dranishnikov to study spaces with infinite asymptotic dimension. We show that asymptotic property C is preserved by infinite products. We also show that countable restricted direct products of countable groups with finite asymptotic dimension have asymptotic property C. Then we introduce hyperbolic property C, an infinite dimensional version of hyperbolic dimension.

研究动机与目标

• 证明渐近性质 C 在有限直积下保持不变，解决了 [BBGRZ] 和 [BM] 中提出的问题。
• 证明可数群的可数受限直积（这些群具有有限渐近维数）具有渐近性质 C。
• 引入双曲性质 C 和弱双曲性质 C 作为双曲维数的无限维类比。
• 建立渐近性质 C、双曲性质 C、弱双曲性质 C、sFDC 和性质 A 之间的蕴含关系。
• 证明弱双曲性质 C 蕴含 sFDC，从而蕴含性质 A，推进了对无限维度度量空间中大尺度几何性质的理解。

提出的方法

• 使用渐近性质 C 的定义：对于任意递增的半径序列 $ R_0 \leq R_1 \leq \cdots $，存在一个由一致有界 $ R_i $-无交族构成的有限覆盖。
• 通过组合每个因子空间的 $ R_i $-无交族，构造有限积空间的覆盖。
• 对具有有限渐近维数的可数群应用受限直积构造，利用适当左 invariant 度量的粗等价性。
• 将双曲性质 C 定义为一种覆盖条件，要求具有统一的大尺度加倍性；将弱双曲性质 C 定义为其较弱版本。
• 使用 $ R $-分解关系 $ \mathcal{X} \stackrel{R}{\longrightarrow} \mathcal{Y} $ 构建分解链，最终得到一致有界的族。
• 应用命题 4.4（一致有界有限渐近维数族的 sFDC）和 [NR] 中的命题 4.5，证明具有弱一致大尺度加倍性的族具有一致有限渐近维数，从而实现 sFDC。

实验结果

研究问题

• RQ1 渐近性质 C 是否在度量空间的有限直积下保持不变？
• RQ2 能否证明可数受限直积的可数群（具有有限渐近维数）具有渐近性质 C？
• RQ3 可以如何定义双曲维数的无限维推广，使其蕴含 sFDC 和性质 A？
• RQ4 双曲性质 C 和弱双曲性质 C 与渐近性质 C 及 sFDC 有何关系？
• RQ5 弱双曲性质 C 是否蕴含 sFDC，从而蕴含性质 A？

主要发现

• 渐近性质 C 在有限直积下保持不变，证实了 [BBGRZ] 和 [BM] 中的猜想。
• 可数受限直积的可数群（具有有限渐近维数）具有渐近性质 C，为 [Y] 中问题 3.2 提供了部分肯定答案。
• 双曲性质 C 定义为一种覆盖条件，要求一致有界、$ R_i $-无交族构成一致大尺度加倍覆盖。
• 弱双曲性质 C 类似定义，但采用较弱的大尺度加倍条件。
• 弱双曲性质 C 蕴含 sFDC，通过构造一条以一致有界族（具有有限渐近维数）结尾的分解链得以证明。
• 因此，弱双曲性质 C 蕴含性质 A，完整建立了如下链条：渐近性质 C $\Rightarrow$ 双曲性质 C $\Rightarrow$ 弱双曲性质 C $\Rightarrow$ sFDC $\Rightarrow$ 性质 A。