[论文解读] Injective Metrics on Cube Complexes

Benjamin Miesch|arXiv (Cornell University)|Nov 26, 2014

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

一句话总结

本文证明了：对于有限维、有限宽度且超平面可有限着色的 CAT(0) 乘积复形，其在立方体上的 $l_∞$-范数可诱导出一个单射度量。本文证明了此类复形是单射的，当且仅当其为 CAT(0)，从而将 Bridson 定理推广至 $l_p$-范数，并引入了新的‘正则坍缩’概念以刻画单射乘积复形。

ABSTRACT

For locally finite CAT(0) cube complexes it is known that they are injectively metrizable choosing the $l_\infty$-norm on each cube. In this paper we show that cube complexes which are injective with respect to this metric are always CAT(0). Moreover we give a criterion for finite dimensional CAT(0) cube complexes with finite width to posses an injective metric. As a side result we prove a modification of Bridson's Theorem for cube complexes saying that finite dimensional cube complexes with $l_p$-norms on the cubes are geodesic.

研究动机与目标

• 确定在何种条件下，CAT(0) 乘积复形可通过立方体上的 $l_∞$-范数赋予单射度量。
• 将 Bridson 关于测地完备性的定理推广至乘积复形上的 $l_p$-范数。
• 引入并刻画通过乘积复形中‘正则坍缩’定义的新一类单射度量空间。
• 建立 CAT(0) 乘积复形可赋予单射度量的必要且充分条件，基于超平面结构。
• 阐明 $l_∞$-度量的单射性与 CAT(0) 性质之间的关系，表明二者并非对称。

提出的方法

• 在每个立方体上使用 $l_p$-范数以诱导复形上的全局度量，证明对所有 $p \in [1, \infty]$，该度量具有完备性与测地性质。
• 应用 Gromov 的链路条件验证 $d_2$-度量的 CAT(0) 性质，将其与 $d_\infty$-度量的单射性联系起来。
• 引入‘正则坍缩’作为递归构造：通过在前一阶段的长方体 $L_i$ 上粘贴积 $L_i \times [0,1]$ 来构建复形。
• 利用投影映射至由极超平面界定的极小半空间，将复形分解为更简单的组成部分。
• 通过超平面着色确保坍缩过程中极小半空间的不相交性，从而支持归纳构造。
• 应用几何实现之间的同构，证明复形等距同构于 $|p(H)| \times [0,1]$ 的并集，且保持单射性。

实验结果

研究问题

• RQ1 在何种条件下，有限维 CAT(0) 乘积复形可通过 $l_\infty$-范数赋予单射度量？
• RQ2 $l_\infty$-度量在乘积复形上为单射，是否意味着该复形为 CAT(0)？
• RQ3 乘积复形上的 $l_p$-度量是否对所有 $p \in [1, \infty]$ 均为测地度量？
• RQ4 对超平面的何种结构条件（如有限着色性、有限宽度）可确保 CAT(0) 乘积复形为正则坍缩？
• RQ5 是否存在所有可赋予单射度量的 CAT(0) 乘积复形的刻画？

主要发现

• 对任意有限维乘积复形，$l_p$-度量（$p \in [1, \infty]$）诱导出完备的测地空间，推广了 Bridson 定理。
• 若乘积复形上的 $l_\infty$-度量为单射，则其 $l_2$-度量使复形成为 CAT(0)，但反之不成立。
• 乘积复形为正则坍缩，当且仅当其为 CAT(0)，具有有限宽度，且其超平面可有限着色。
• 具有有限宽度且超平面可有限着色的 CAT(0) 乘积复形，当且仅当其为 CAT(0)，可赋予单射的 $l_\infty$-度量。
• 正则坍缩复形的几何实现等距同构于 $|p(H)| \times [0,1]$ 的并集，且保持单射性。
• 正则坍缩的构造可生成非必然局部有限的单射度量空间。