[论文解读] Group C*-algebras as compact quantum metric spaces

Marc A. Rieffel|ArXiv.org|May 17, 2002

Advanced Operator Algebra Research参考文献 31被引用 18

一句话总结

该论文证明，通过康奈斯的狄拉克算子构造，ℤ^d 上带有长度函数（无论是词长还是 ℝ^d 上范数的限制）的群 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 investigate whether the topology from this metric coincides with the weak-* topology (our definition of a ``compact quantum metric space''). We give an affirmative answer for $G = {\mathbb Z}^d$ when $\ell$ is a word-length, or the restriction to ${\mathbb Z}^d$ of a norm on ${\mathbb R}^d$. This works for $C_r^*(G)$ twisted by a 2-cocycle, and thus for non-commutative tori. Our approach involves Connes' cosphere algebra, and an interesting compactification of metric spaces which is closely related to geodesic rays.

研究动机与目标

• 确定由长度函数通过康奈斯狄拉克算子诱导的群 C*-代数状态空间上的度量是否与弱-*拓扑一致。
• 通过 2-上循环形变，将此分析扩展至扭曲群 C*-代数，包括非交换环面。
• 开发并应用一种新的度量化方法，称为“度量化紧化”，该方法与测地线射线和布塞曼点相关。
• 确立 ℤ^d 在词长或范数诱导长度函数下满足利普希茨范数性质，确保度量拓扑与弱-*拓扑一致。
• 探讨余球面代数的结构及其在验证紧致量子度量空间条件中的作用。

提出的方法

• 通过群 G 上的长度函数 ℓ 在 ℓ²(G) 上的乘法算子 Mℓ 与表示 πf 的交换子 [Mℓ, πf]，在 Cr*(G) 的稠密*-子代数 Cc(G) 上定义利普希茨半范数 Lℓ。
• 通过 ρL(μ,ν) = sup{|μ(a)−ν(a)| : a ∈ Cc(G), Lℓ(a) ≤ 1} 构造状态空间 S(Cr*(G)) 上的度量 ρL。
• 引入局部紧度量空间的“度量化紧化”，推广格罗莫夫的构造，以分析边界行为与测地线射线。
• 利用 G 在度量化紧化及其边界上的作用研究有限轨道与可约性，将其与余球面代数联系起来。
• 应用斯通-魏尔斯特拉斯定理，证明度量化紧化上连续函数代数等于群代数的闭包，从而表明该紧化具有良好性质。
• 验证余球面代数 Sℓ* A 同构于 C*(G, C(∂hG), α)，在 F2 情况下，利用此同构分析谱三元组的结构。

实验结果

研究问题

• RQ1 由长度函数通过狄拉克算子诱导的 Cr*(ℤ^d) 状态空间上的度量是否与弱-*拓扑一致？
• RQ2 能否在扭曲群 C*-代数 Cr*(ℤ^d, c)（包括非交换环面）上验证利普希茨范数条件？
• RQ3 度量空间的度量化紧化如何与测地线射线和布塞曼点相关？
• RQ4 余球面代数在刻画群 C*-代数的度量结构中起什么作用？
• RQ5 当 G 在度量化紧化的边界上的作用产生有限轨道时，满足利普希茨范数性质的条件是什么？

主要发现

• 对于 ℤ^d 上的词长函数或 ℝ^d 上范数的限制，由 [Mℓ, πf] 定义的半范数 Lℓ 是利普希茨范数，因此状态空间上的度量拓扑与弱-*拓扑一致。
• 此类长度函数下 ℤ^d 的度量化紧化与双曲紧化一致，其边界由对应于测地线射线的布塞曼点构成。
• 谱三元组 (Cr*(ℤ^d), ℓ²(ℤ^d), Mℓ) 的余球面代数同构于 C*(ℤ^d, C(∂hℤ^d), α)，且其在边界上的作用是可约的。
• 该构造可推广至任意 2-上循环 c 的扭曲群 C*-代数 Cr*(ℤ^d, c)，包括非交换环面，且在这些情形下利普希茨范数性质依然成立。
• 证明依赖于 C(Ḡ^ℓ)（度量化紧化上连续函数代数）等于 C(Ḡ^h)，表明紧化在拓扑上是良定义的，且边界足够丰富以分离点。
• 该方法在自由群 F2 上失效，因其边界作用缺乏有限轨道，导致自由群的利普希茨范数性质尚不明确。