[论文解读] Weak Amenability of Hyperbolic Groups

Narutaka Ozawa|arXiv (Cornell University)|Apr 12, 2007

Advanced Operator Algebra Research参考文献 11被引用 3

一句话总结

本文通过建立与字长距离相关的施瓦茨乘子的完全有界范数的统一有界性，证明了双曲群是弱可乘的。受哈格伦普和博泽伊科-皮卡德洛的组合方法启发，通过测地对索引的希尔伯特空间向量构造了全纯族施瓦茨乘子，从而在无需显式常数估计的情况下实现弱可乘性。

ABSTRACT

We prove that hyperbolic groups are weakly amenable. This partially extends the result of Cowling and Haagerup showing that lattices in simple Lie groups of real rank one are weakly amenable. We take a combinatorial approach in the spirit of Haagerup and prove that for the word length metric d on a hyperbolic group, the Schur multipliers associated with r^d have uniformly bounded norms for 0

研究动机与目标

• 建立双曲群的弱可乘性，推广科林与哈格伦普关于秩一李群中格的结论。
• 为有界度双曲图上核 $ r^{d(x,y)} $ 的施瓦茨乘子提供统一的范数有界性组合证明。
• 将哈格伦普在树上的结果与博泽伊科-皮卡德洛的估计推广至双曲群的设定。
• 解决罗伊提出的问题：双曲群是否为弱可乘的。

提出的方法

• 利用测地对展开与瘦性性质，将距离集 $ E(n) = \{(x,y) : d(x,y) \leq n\} $ 分解为不相交子集 $ Z(k,l) $。
• 在 $ \ell_2(\mathfrak{P}_f(\Gamma))^{\otimes(1+R_1)} $ 中定义希尔伯特空间向量 $ \eta^{\pm}_{m}(w) $，满足正交性与统一范数有界性。
• 使用核 $ z^{d(x,y)} $（$ z \in \mathbb{D} $），通过 $ \zeta^{\pm}_z $ 构造全holomorphic施瓦茨乘子族，满足 $ \|\zeta^{\pm}_z(w)\|^2 \leq C|1-z|/(1-|z|) $。
• 应用定理3，以 $ C|1-z|/(1-|z|) $ 有界施瓦茨乘子 $ \theta_z $ 的完全有界范数，确保全纯性与统一性。
• 将 $ \theta_z $ 的范数有界性与博泽伊科-皮卡德洛型估计结合，控制集合 $ \{(x,y) : d(x,y) = n\} $ 的特征函数的范数。
• 构造一列紧支集函数 $ f_n $，使得 $ f_n \to 1 $ 点态收敛，且对应的施瓦茨乘子具有统一有界的 cb-范数。

实验结果

研究问题

• RQ1 双曲群是否为弱可乘的？若然，能否在不显式计算常数的情况下证明？
• RQ2 在双曲图上，与 $ r^{d(x,y)} $ 关联的施瓦茨乘子是否对所有 $ 0 < r < 1 $ 具有统一有界的完全有界范数？
• RQ3 $ \{(x,y) : d(x,y) = n\} $ 的特征函数在双曲图中是否允许一个范数有界于 $ C(n+1) $ 的施瓦茨乘子？
• RQ4 能否为核 $ z^{d(x,y)} $ 构造一个全纯族施瓦茨乘子，使得其在单位圆盘边界附近的范数增长受控？
• RQ5 能否在 $ \mathbb{N}_0 $ 上构造一列紧支集函数 $ f_n $，使得 $ f_n \to 1 $ 点态收敛，且对应的施瓦茨乘子具有统一有界的 cb-范数？

主要发现

• 对任意有界度双曲图 $ \Gamma $ 与字长距离 $ d $，与 $ z^{d(x,y)} $ 关联的施瓦茨乘子的完全有界范数至多为 $ C|1-z|/(1-|z|) $，其中 $ z \in \mathbb{D} $，且常数 $ C $ 与 $ z $ 无关。
• 与 $ \{(x,y) : d(x,y) = n\} $ 关联的施瓦茨乘子的完全有界范数至多为 $ C(n+1) $，其中 $ C $ 为统一常数。
• 存在一列 $ \mathbb{N}_0 $ 上的紧支集函数 $ f_n $，使得 $ f_n \to 1 $ 点态收敛，且与 $ f_n(d(x,y)) $ 关联的施瓦茨乘子具有统一有界的 cb-范数。
• 该构造产生一列函数 $ \varphi_n(x) = f_n(d(e,x)) $，满足弱可乘性的条件，从而证明每个双曲群均为弱可乘。
• 该证明在不计算精确弱算子常数的前提下建立了弱可乘性，将自由群与树的结果推广至双曲设定。
• 该方法可推广至鲍迪奇意义下的统一精细双曲图，且乘子族的全纯结构确保了分析控制。