[论文解读] Cohomological approach to asymptotic dimension

Alexander Dranishnikov|ArXiv.org|Aug 9, 2006

Advanced Operator Algebra Research参考文献 10被引用 5

一句话总结

本文通过有界上同调引入了同调方法研究渐近维数，定义了渐近上同调维数，该维数在有界几何的完备度量空间且渐近维数有限时与标准渐近维数一致。主要贡献在于构造了一个反例，表明 $X \times \mathbb{R}$ 的渐近维数可能等于 $X$ 的渐近维数，从而反驳了渐近莫里塔猜想，并证明了粗上同调维数可能严格小于渐近维数。

ABSTRACT

We introduce the notion of asymptotic cohomology based on the bounded cohomology and define cohomological asymptotic dimension $\as_{\Z} X$ of metric spaces. We show that it agrees with the asymptotic dimension $\as X$ when the later is finite. Then we use this fact to construct an example of a metric space $X$ of bounded geometry with finite asymptotic dimension for which $\as(X imes\R)=\as X$. In particular, it follows for this example that the coarse asymptotic dimension defined by means of Roe's coarse cohomology is strictly less than its asymptotic dimension.

研究动机与目标

• 开发一个类似于经典维数理论中上同调维数的渐近维数同调框架。
• 解决渐近维数理论中的开放问题，特别是渐近莫里塔猜想：对于有限生成群 $\Gamma$，是否恒有 $\operatorname{asdim}(\Gamma \times \mathbb{Z}) = \operatorname{asdim}\Gamma + 1$。
• 厘清渐近维数与粗上同调维数之间的关系，尤其在罗伊粗上同调的语境下。
• 建立在有界几何的完备度量空间中 $\operatorname{asdim}_{\mathbb{Z}}X = \operatorname{asdim}X$ 成立的条件。
• 探讨对于无挠、有限表示的群，$\operatorname{asdim}\Gamma = cd(\Gamma)$ 是否成立。

提出的方法

• 通过 $\mathbb{Z}$-系数的有界上同调定义渐近上同调维数 $\operatorname{asdim}_{\mathbb{Z}}X$。
• 证明当 $\operatorname{asdim}X < \infty$ 时，对于有界几何的完备度量空间，有 $\operatorname{asdim}_{\mathbb{Z}}X = \operatorname{asdim}X$，从而建立亚历山德罗夫定理的渐近类比。
• 通过单形的轻映射的逐次拉回与截面，利用单纯复形的直积极限构造一个大尺度分形结构的空间 $Y$。
• 利用一系列 $n$-维单纯复形 $M_k$ 及其轻映射 $\chi_k: M_k \to \Delta^n$ 和单纯逼近，构建一个具有反Čech逼近的空间 $Y$。
• 定义 $Y_k$ 为 $M_k \to M_{k+1,k} \to \cdots$ 的直积极限，并证明族 $\{\phi^1_k: Y \to Y_k\}$ 构成一个正规的反Čech逼近。
• 通过构造具有收缩网格的映射序列，并利用单纯逼近的性质，证明 $\operatorname{asdim}(Y \times \mathbb{R}) = \operatorname{asdim}Y = 2$。

实验结果

研究问题

• RQ1 对于有界几何且渐近维数有限的完备度量空间，渐近莫里塔定理 $\operatorname{asdim}(X \times \mathbb{R}) = \operatorname{asdim}X + 1$ 是否普遍成立？
• RQ2 能否发展一种与标准渐近维数在有限情形下一致的渐近维数同调方法？
• RQ3 在有界几何的完备度量空间背景下，是否存在渐近莫里塔猜想的反例？
• RQ4 罗伊的粗上同调理论是否满足布朗表示性，或是否无法表示渐近维数？
• RQ5 能否对有限表示群建立 $\operatorname{asdim}_{\mathbb{Z}}\Gamma = \operatorname{asdim}_{\mathbb{Z}_p}\Gamma$ 的等式，从而支持潜在的 $\operatorname{asdim}\Gamma = cd(\Gamma)$ 公式？

主要发现

• 通过有界上同调定义的渐近上同调维数 $\operatorname{asdim}_{\mathbb{Z}}X$ 在 $\operatorname{asdim}X < \infty$ 时与标准渐近维数 $\operatorname{asdim}X$ 一致，为亚历山德罗夫定理建立了渐近类比。
• 构造了一个反例，其中 $\operatorname{asdim}(Y \times \mathbb{R}) = \operatorname{asdim}Y = 2$，表明渐近莫里塔猜想在有界几何的完备度量空间中并不普遍成立。
• 在所构造的例子中，通过罗伊粗上同调定义的粗上同调维数严格小于渐近维数，表明这两个不变量之间并不总是一致。
• 对于有限系数 $F$，有界上同调与标准上同调一致，且 $\operatorname{asdim}_F Y = \operatorname{dim}_F Y$ 成立，支持了渐近设定下潜在的上同调公式。
• 通过单纯复形的直积极限构造的 $Y$ 空间具有莱布尼茨数趋于无穷的正规反Čech逼近，确认了其大尺度几何结构。
• 若截面 $s_k$ 避开边界，则 $Y$ 的边界同胚于 $S^1$，表明其具有明确的大尺度拓扑结构。