[论文解读] Direct embeddings of relatively hyperbolic groups with optimal $\ell^p$ compression exponent

David Hume|arXiv (Cornell University)|Nov 25, 2011

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

一句话总结

该论文证明，对于任意关于有限生成子群族相对超瑕的有限生成群，其 $\iota^p$ 压缩指数等于其最大外围子群的 $\iota^p$ 压缩指数的最小值，对所有 $p > 1$ 成立。该结果通过向 $\ell^p$ 空间中粗等距嵌入的直接几何构造实现，给出了最优压缩指数，并推广了关于双曲群和三维流形群的先前结果。

ABSTRACT

We prove that for all $p>1$, every relatively hyperbolic group has $\ell^p$ compression exponent equal to the minimum of the exponents of its maximal parabolic subgroups. Moreover, this embedding can be explicitly described in terms of given embeddings of the maximal parabolic subgroups.

研究动机与目标

• 确定相对超瑕群的最优 $\ell^p$ 压缩指数，推广已知的双曲群和三维流形群结果。
• 提供一种独立于先前间接方法的 $\ell^p$ 空间中粗等距嵌入的直接几何构造。
• 统一并改进关于并积、HNN-扩张和极限群的压缩指数的先前界。
• 确立任意闭三维流形基本群的 $\ell^p$ 压缩指数对所有 $p > 1$ 均为 1。
• 将压缩指数结果推广至 $L_p$ 空间及具有受控分段嵌入的渐近树状图结构。

提出的方法

• 通过外围子群的分段嵌入和满足性质 $(C_p^c)$ 的凹下界函数 $f$，构造一个粗等距嵌入 $\phi: G \to \ell^p$。
• 基于相对超瑕结构的几何论证，追踪测地线及其与外围子群交点之间的距离。
• 利用测地线上位于外围子群像之外的点，通过函数 $f$ 贡献于下界。
• 使用三角不等式与函数 $f$ 的凹性进行比较论证，推导出 $\|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y))$。
• 利用关于双曲群和极限群 $\ell^p$ 嵌入的已知结果，特别是 Tessera 和 Gal 的工作，建立基础情形。
• 应用渐近树状图嵌入 $L_p([0,1])$ 的一般定理，通过 $\ell^p(X)$ 到 $L_p([0,1])$ 的等距嵌入实现。

实验结果

研究问题

• RQ1 相对超瑕群的 $\ell^p$ 压缩指数如何用其外围子群表示？
• RQ2 能否直接从外围子群的指数计算相对超瑕群的 $\ell^p$ 压缩指数？
• RQ3 任意闭三维流形的基本群是否对所有 $p > 1$ 都具有 $\ell^p$ 压缩指数 1？
• RQ4 该压缩指数结果能否推广至 $L_p$ 空间及渐近树状单纯图？
• RQ5 是否存在一种避免依赖间接定理的 $\ell^p$ 空间中粗等距嵌入的直接几何构造？

主要发现

• 对所有 $p > 1$，相对超瑕群 $G$ 关于外围子群 $\{H_i\}$ 的 $\ell^p$ 压缩指数满足 $\alpha_p^*(G) = \min_i \alpha_p^*(H_i)$。
• 任意闭三维流形 $M$ 的基本群满足 $\alpha_p^*(\pi_1(M)) = 1$ 对所有 $p > 1$ 成立，推广了关于双曲和几何三维流形的结果。
• 提供了一种直接的几何证明，表明双曲群具有 $\ell^p$ 压缩指数 1，且不依赖于 Bonk-Schramm、Buyalo-Dranishnikov-Schroeder、Gal 和 Tessera 的先前方法。
• 该构造给出一个粗等距嵌入 $\phi: G \to \ell^p$，使得 $\|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y))$ 且 $\|\phi(x) - \phi(y)\|_p \lesssim d(x,y)$，其中 $f$ 满足性质 $(C_p^c)$。
• 对于具有有界度的渐近树状图，该方法可导出至 $L_p([0,1])$ 的嵌入，其压缩下界为 $\min\{f(d(x,y)), \rho'(d(x,y))\}$。
• 该结果改进了 Dreesen 和 Dadarlat-Guentner 的先前界，尤其在 $p > 2$ 的 $\ell^p$ 空间中，此前方法未能得到最优指数。