[论文解读] Relatively Hyperbolic Groups with Rapid Decay Property

Cornelia Druţu, Mark Sapir|ArXiv.org|May 26, 2004

Geometric and Algebraic Topology被引用 5

一句话总结

该论文证明了，一个有限生成群 $G$ 具有快速衰减（RD）性质当且仅当它关于有限生成子群族 $\{H_1, \dots, H_m\}$ 是（强）相对双曲的，且每个 $H_i$ 也具有 RD 性质。证明利用了一种弱化的相对双曲性形式，称为 (*)-相对双曲性，将卷积范数估计简化为在陪集 $gH_i$ 内的测地三角形问题，通过多项式有界性控制此类三角形的数量，从而控制增长并建立 RD 不等式。

ABSTRACT

We prove that a finitely generated group $G$ hyperbolic relative to the collection of finitely generated subgroups H_1,..., H_m has the Rapid Decay property if and only if each H_i, i=1,2,..., m, has the Rapid Decay property.

研究动机与目标

• 确定相对双曲群满足快速衰减（RD）性质的必要与充分条件。
• 将已知具有 RD 性质的群类扩展至双曲群和多项式增长群之外。
• 在相对双曲性的背景下，以边peripheral子群的状态对 RD 进行表征。
• 引入并利用一种弱化的几何条件，即 (*)-相对双曲性，以推广 RD 结果。

提出的方法

• 证明将 RD 不等式简化为估计在左陪集 $gH_i$ 内测地三角形上支持的卷积的 $L^2$-范数，利用 (*)-相对双曲性条件。
• 使用映射 $T: G \times G \to G \times \mathcal{H}$，其中 $\mathcal{H} = \bigcup_{i=1}^m (H_i \times H_i)$，将每对 $(g,h)$ 关联到一个陪集 $gH_i$ 中的三角形，以确保几何控制。
• 长度为 $r$ 的元素的此类三角形分解数量由多项式 $Q_2(r)$ 有界，从而替代了对强双曲性的需求。
• 该论证依赖于通过几何与组合估计控制卷积和中各项的重数，从而导出多项式算子范数界。
• 通过控制每个群元素在求和中出现的次数，利用映射 $T$ 的多项式有界性，建立了关键不等式 $\|x * y\| \leq P(r) \|x\| \|y\|$。
• 该结果通过一种更弱的条件 (**)-相对双曲性被推广至更广的群类，其中分解数量由多项式有界，且像的大小由 $Q_1(r)$ 控制。

实验结果

研究问题

• RQ1 在何种条件下，相对双曲群能从其边peripheral子群继承快速衰减性质？
• RQ2 能否在相对双曲群中以边peripheral子群的 RD 状态来表征 RD 性质？
• RQ3 如何在保持 RD 性质传递的同时，弱化标准的相对双曲性概念？
• RQ4 对三角形分解的多项式有界性在证明相对双曲群的 RD 不等式中起什么作用？
• RQ5 具有 RD 性质的群类是否严格大于边peripheral子群为多项式增长的相对双曲群类？

主要发现

• 一个关于子群 $H_1, \dots, H_m$ 是（强）相对双曲的有限生成群 $G$ 具有 RD 性质当且仅当每个 $H_i$ 具有 RD 性质。
• 该证明在一种弱化条件下成立，称为 (*)-相对双曲性，使其适用范围超越标准相对双曲性。
• 与长度为 $r$ 的三角形对应的群元素 $g$ 的中心分解数量由多项式 $Q_2(r)$ 有界，这控制了卷积估计中的增长。
• (**)-相对双曲群类包括所有多项式增长群，如 $\mathbb{Z}^k$，且严格大于相对双曲群类。
• 该结果推广了已知情形：双曲群、关于有限子群的并群、边peripheral子群为多项式增长的群，均在相同条件下满足 RD。
• 基于通过陪集中三角形的几何分解控制卷积范数的证明技术具有鲁棒性，并可推广至更广的 (**)-相对双曲性框架。