[论文解读] Some applications of l_p-cohomology to boundaries of Gromov hyperbolic spaces

Marc Bourdon, Bruce Kleiner|arXiv (Cornell University)|Mar 6, 2012

Geometric and Algebraic Topology参考文献 21被引用 13

一句话总结

该论文通过构建新的连续 $β$-上同调类，推进了对 Gromov 超曲空间中 $β$-上同调的理解，得出了关于共形维数和组合 Loewner 性质（CLP）的关键结果。研究证明，具有 Sierpinski 地毯边界的小型双曲群的共形维数可任意接近 1，并提供了构造不满足 CLP 的群的灵活性方法，解决了 Bonk、Heinonen 和 Mackay 提出的开放问题。

ABSTRACT

We study quasi-isometry invariants of Gromov hyperbolic spaces, focussing on the l_p-cohomology and closely related invariants such as the conformal dimension, combinatorial modulus, and the Combinatorial Loewner Property. We give new constructions of continuous l_p-cohomology, thereby obtaining information about the l_p-equivalence relation, as well as critical exponents associated with l_p-cohomology. As an application, we provide a flexible construction of hyperbolic groups which do not have the Combinatorial Loewner Property, extending and complementing earlier examples. Another consequence is the existence of hyperbolic groups with Sierpinski carpet boundary which have conformal dimension arbitrarily close to 1. In particular, we answer questions of Mario Bonk and John Mackay.

研究动机与目标

• 在具有有界几何和非退化性的 Gromov 超曲空间中，发展新的连续 $β$-上同调类的构造方法。
• 分析诸如 $p_{\neq 0}(X)$、$p_{\mathrm{sep}}(X)$ 和边界上的 $β$-等价关系等拟等距不变量。
• 研究双曲群中 $β$-上同调、共形维数与组合 Loewner 性质（CLP）之间的关系。
• 解决关于 Sierpinski 地毯边界共形维数以及不满足 CLP 的群存在的开放问题。
• 通过构建具有受控 $β$-上同调不变量的灵活族，扩展先前非 Loewner 边界的例子。

提出的方法

• 通过在具有受控曲率和边长的单纯复形上使用几何与组合方法，构造连续的 $β$-上同调类。
• 在非正曲率单纯复形中利用角度估计和凸性论证，构建支撑上同调类的凸子集。
• 应用初等多边形复形理论，控制 2-胞状的周长，并推导临界指数的界。
• 利用 $p_{\mathrm{sep}}(X)$ 与 Ahlfors 正则共形维数之间的关系，从上方有界共形维数。
• 利用组合 Loewner 性质（CLP）及其失败情况，分析 Coxeter 群中 $p_{\neq 0}(X)$ 和 $p_{\mathrm{sep}}(X)$ 的行为。
• 应用 [BK13] 和 [Bou04] 的结果，推导出在并置积和多边形复形中，共形维数与临界指数之间的不等式关系。

实验结果

研究问题

• RQ1 能否使双曲群的 Sierpinski 地毯边界的共形维数任意接近 1？
• RQ2 在何种条件下双曲群会不满足组合 Loewner 性质（CLP）？
• RQ3 临界指数 $p_{\neq 0}(X)$ 和 $p_{\mathrm{sep}}(X)$ 如何与双曲群中的共形维数和 $β$-上同调相关联？
• RQ4 能否在具有有界几何的 Gromov 超曲空间中系统地生成新的 $β$-上同调类构造？
• RQ5 组合模与 $β$-等价关系在区分双曲群的拟等距类型中起什么作用？

主要发现

• 存在具有 Sierpinski 地毯边界的双曲群，其共形维数可任意接近 1，回答了 Bonk、Heinonen 和 Mackay 提出的问题。
• 对于具有四面体定义图且 $m = \max_i \min_{j \neq i} m_{ij} \geq 5$ 的双曲 Coxeter 群，其共形维数上有界于 $1 + \frac{\log 2}{\log(m-3)}$，当 $m \to \infty$ 时趋近于 1。
• 通过在完全二分图中增加单个顶点相连边的阶数，可使所得 Coxeter 群的 CLP 失效，即使图其余部分的共形维数 $>1$。
• 当周边系数较大时，临界指数 $p_{\neq 0}(X)$ 严格小于周边子群的共形维数，意味着 CLP 失效。
• 通过测地线段及其关联单纯形构造凸子集，可确保 $β$-上同调类定义良好且连续，从而实现对临界指数的控制。
• 本文提供了一种灵活的方法，可构造不满足 CLP 的双曲群，补充了 [Bou04] 和 [BK13] 中的早期例子。