[论文解读] Hyperbolic group $C^*$-algebras and free-product $C^*$-algebras as compact quantum metric spaces

Narutaka Ozawa, Marc A. Rieffel|ArXiv.org|Feb 25, 2003

Advanced Operator Algebra Research参考文献 12被引用 10

一句话总结

该论文证明，通过狄拉克算子从字长函数导出的利普希茨半范数赋予的双曲群的约化C*-代数的状态空间，携带弱*拓扑——从而使其成为一个紧致量子度量空间。作者为具有忠实迹的滤子C*-代数引入了一种“哈格尔普型”条件，并证明该条件足以使度量拓扑与弱*拓扑一致；进一步验证了该条件在双曲群及其约化自由积上的成立。

ABSTRACT

Let $\ell$ be a length function on a group G, and let $M_{\ell}$ denote the operator of pointwise multiplication by $\ell$ on $\bell^2(G)$. Following Connes, $M_{\ell}$ can be used as a ``Dirac'' operator for $C_r^*(G)$. It defines a Lipschitz seminorm on $C_r^*(G)$, which defines a metric on the state space of $C_r^*(G)$. We show that if G is a hyperbolic group and if $\ell$ is a word-length function on G, then the topology from this metric coincides with the weak-* topology (our definition of a ``compact quantum metric space''). We show that a convenient framework is that of filtered $C^*$-algebras which satisfy a suitable `` Haagerup-type'' condition. We also use this framework to prove an analogous fact for certain reduced free products of $C^*$-algebras.

研究动机与目标

• 建立双曲群的约化C*-代数的状态空间，若赋予基于字长函数的狄拉克算子所导出的度量，则其携带弱*拓扑。
• 为具有忠实迹的滤子C*-代数引入并形式化一种“哈格尔普型”条件，作为度量拓扑与弱*拓扑一致的充分条件。
• 将结果推广至满足哈格尔普型条件的C*-代数的约化自由积，从而构造出新的紧致量子度量空间例子。
• 澄清非交换自由群及其他类别的度量在状态空间上的拓扑行为，与$\mathbb{Z}^n$等情形形成对比，后者条件不成立。
• 通过识别哈格尔普型条件不成立的群类（如增长阶≥4的可约群），探索该方法的极限。

提出的方法

• 定义一个具有忠实迹的滤子C*-代数，并构造GNS希尔伯特空间$\mathcal{H} = L^2(A, \sigma)$，其中$\sigma$为忠实态。
• 引入狄拉克算子$D = \sum_{n=1}^\infty n P_n$，其中$P_n$为投影到滤子层级的算子，以在$A$上生成利普希茨半范数。
• 在$A$上定义利普希茨半范数$L(a) = \| [D, a] \|$，其在$C_r^*(G)$的状态空间上诱导出一个度量。
• 引入“哈格尔普型”条件：对所有$a \in A_n$，有$\|P_m(a)\|_2 \leq C \|a\|_2 / \sqrt{m}$，其中$m \geq n$，且$C$与$n$、$m$无关。
• 利用哈格尔普型条件，通过矩阵系数与投影$P_{(\boldsymbol{t})}$的估计，证明状态空间上的度量拓扑与弱*拓扑一致。
• 利用双曲群的几何性质与字长分布的指数衰减，验证哈格尔普型条件在双曲群上的成立，并通过基元素上的递归结构将其推广至约化自由积。

实验结果

研究问题

• RQ1 双曲群的约化C*-代数的状态空间上的度量是否与弱*拓扑一致？
• RQ2 是否存在一个适用于具有忠实迹的滤子C*-代数的一般条件，以确保度量拓扑与弱*拓扑一致？
• RQ3 哈格尔普型条件是否可验证于双曲群及其约化自由积？
• RQ4 为何哈格尔普型条件在$\mathbb{Z}^n$（$n \geq 2$）及具有增长阶≥4的可约子群的群中不成立？
• RQ5 该方法能否推广至并合自由积或非迹态的情形？

主要发现

• 赋予基于字长函数的狄拉克算子所导出度量的双曲群约化C*-代数的状态空间，携带弱*拓扑。
• 哈格尔普型条件——即对高阶滤子层级投影的$L^2$-范数进行有界控制——足以确保度量拓扑与弱*拓扑一致。
• 利用双曲群的几何结构与字长分布的指数衰减，验证了哈格尔普型条件在双曲群上的成立。
• 该条件也适用于满足该条件的滤子C*-代数的约化自由积，从而构造出新的紧致量子度量空间例子。
• 该条件在$\mathbb{Z}^n$（$n \geq 2$）及包含增长阶≥4可约子群的群中不成立，表明其与双曲情形存在本质区别。
• 该方法提供了一套与[15]中用于$\mathbb{Z}^n$的方法不同的新框架，提示需发展统一方法以涵盖阿贝尔与双曲情形。