[论文解读] Asymptotic dimension of planes and planar graphs

Koji Fujiwara, Panos Papasoglu|arXiv (Cornell University)|Feb 5, 2020

Geometric and Algebraic Topology参考文献 18被引用 4

一句话总结

本文证明了任意与平面同胚的测地空间（如黎曼平面或平面图）的渐近维数至多为三，且该界是统一的。证明通过将空间分解为粗略的仙人掌结构实现，利用度量环形区域和受控覆盖论证来控制重数，且覆盖尺度具有显式的线性控制。该方法通过类似的几何分解推广至平面图。

ABSTRACT

We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.

研究动机与目标

• 确定与平面同胚的测地度量空间（包括黎曼平面）的渐近维数。
• 将结果推广至通过连续嵌入黎曼平面定义的平面图。
• 为这类空间建立覆盖尺度的统一有界性，且独立于具体几何结构。
• 探究渐近维数是否可低于三，尤其在后续研究结果的背景下。
• 通过在 R³ 上构造黎曼度量来探究该界是否紧致，即是否存在渐近维数为无穷的度量。

提出的方法

• 以基点为中心将空间分解为度量环形区域，利用距离函数定义宽度与 m 成比例的层。
• 对每个环形区域应用覆盖引理（引理 4.4），确保 D(m)-有界集合的 m-重数至多为 2。
• 利用非相邻环形区域之间的分离性（至少相距 m）来控制跨层的半径为 m/3 的球的重数。
• 将所有环形区域的覆盖组合起来，形成全局覆盖，其中 D(m) = 3×10⁶m，且 m-重数至多为 4。
• 利用粗略仙人掌结构的渐近维数至多为 1 的事实，将其推广至环形层，类比树状结构。
• 利用渐近维数映射的 Hurewicz 型不等式，为后续改进（如平面的渐近维数 ≤ 2）提供支持。

实验结果

研究问题

• RQ1 黎曼平面的渐近维数是否可统一有界，而与曲率或度量结构无关？
• RQ2 即使图的嵌入在图度量下不连续，平面图的渐近维数是否仍保持有界？
• RQ3 渐近维数的上界三是否紧致，或可降低至二？
• RQ4 排除某类子图的图的渐近维数是否可统一有界，且与排除的子图大小无关？
• RQ5 能否在 R³ 上构造黎曼度量，使得其渐近维数变为无穷？

主要发现

• 任意与 R² 同胚的测地空间的渐近维数至多为三，且该界是统一的。
• 任意平面图的渐近维数至多为三，且该界是统一的，覆盖尺度为 D(m) = 3×10⁶m。
• 由于 D(m) 具有线性控制，黎曼平面与平面图的 Assouad-Nagata 维数至多为三。
• 对任意 m > 0，存在 D(m) = 3×10⁶m，使得空间允许 D(m)-有界覆盖，且 m-重数至多为 4。
• 该结果在某种意义下是紧致的：R³ 上存在黎曼度量使得其渐近维数为无穷，表明该界无法推广至更高维。
• 后续工作（Jørgensen-Lang，Bonamy 等）证实，平面的渐近维数实际上至多为二，改进了本文的上界。