[论文解读] Group C*-algebras, metrics and an operator theoretic inequality

Cristina Antonescu, Erik Christensen|ArXiv.org|Nov 20, 2002

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

一句话总结

该论文通过利用施瓦茨乘子的完全有界范数估计以及自由群论中的技术，证明了自由非交换群的约化 C*-代数状态空间上的康奈斯度量是有界的。此外，论文引入了一种基于高阶交换子的松弛度量构造，该构造能生成 w*-拓扑，并确保快速衰减群的有界性，为原始度量定义提供了一种更稳健的替代方案。

ABSTRACT

On a discrete group G a length function may implement a spectral triple on the reduced group C*-algebra. Following A. Connes, the Dirac operator of the triple then can induce a metric on the state space of reduced group C*-algebra. Recent studies by M. Rieffel raise several questions with respect to such a metric on the state space. Here it is proven that for a free non Abelian group, the metric on the state space is bounded. Further we propose a relaxation in the way a length function is used in the construction of a metric, and we show that for groups of rapid decay there are many metrics related to a length function which all have all the expected properties. The boundedness result for free groups is based on an estimate of the completely bounded norm of a certain Schur multiplier and on some techniques concerning free groups due to U. Haagerup. At the end we have included a noncommutative version of the Arzela-Ascoli Theorem.

研究动机与目标

• 确定自由非阿贝尔群的约化 C*-代数状态空间上的康奈斯度量是否是有界的。
• 研究康奈斯度量是否在状态空间上生成 w*-拓扑。
• 提出一种使用高阶交换子的修改度量构造，该构造在快速衰减群上保持理想的拓扑和有界性性质。
• 探讨状态空间上的度量与 C*-代数预紧子集之间的关系，其动机源于经典定理的非交换类比。

提出的方法

• 通过群上的长度函数定义狄拉克算子，在约化群 C*-代数上构造一个谱三元组。
• 应用康奈斯公式，通过狄拉克算子与之的交换子的范数在状态空间上定义度量。
• 将施瓦茨乘子的完全有界范数估计作为关键技术工具，用于证明自由群的有界性。
• 引入通过狄拉克算子的 k 重交换子定义的广义度量 $ d_{k, ho} $，以放松原始构造。
• 应用泛函分析技术，包括对偶定理和凸包论证，将 C*-代数中的预紧性与状态泛函的等连续性联系起来。
• 通过将范数预紧性表征为固定紧致凸平衡集的逼近，推导出非交换版本的阿泽拉-阿斯科利定理。

实验结果

研究问题

• RQ1 自由非阿贝尔群的约化 C*-代数状态空间上的康奈斯度量 $ d_{ ho} $ 是否有界？
• RQ2 康奈斯度量 $ d_{ ho} $ 是否在 $ C_r^*(G) $ 的状态空间上生成 w*-拓扑？
• RQ3 使用高阶交换子 $ [D, [D, \dots, [D, a] \dots ]] $ 的修改度量构造能否产生一个既是有界又能生成 w*-拓扑的度量，适用于快速衰减群？
• RQ4 C*-代数的预紧子集与生成 w*-拓扑的状态空间度量之间存在何种关系？

主要发现

• 自由非阿贝尔群的约化 C*-代数状态空间上的康奈斯度量 $ d_{ ho} $ 是有界的。
• 该有界性结果依赖于对特定施瓦茨乘子的完全有界范数的创新估计，该估计利用了哈格鲁普提出的技术，源自自由群论。
• 对于相对于长度函数 $ \ell $ 具有快速衰减性质的群，通过 k 重交换子定义的广义度量 $ d_{k,\ell} $ 是有界的，并且能生成 w*-拓扑。
• 本文提供了一个非交换版本的阿泽拉-阿斯科利定理：当且仅当集合 $ \mathcal{H} \subset \mathcal{A} $ 有界，且对所有 $ \varepsilon > 0 $ 满足 $ \mathcal{H} \subseteq \mathcal{A}_{\varepsilon} + N\mathcal{K} + \mathbb{C}I $，其中 $ \mathcal{K} \subset \mathcal{A} $ 是某一致有界紧致凸平衡集时，$ \mathcal{H} $ 是范数预紧的。
• 通过使用对偶定理和极集技术，建立了 $ \mathcal{H} $ 的范数预紧性与相关泛函 $ \widehat{\mathcal{H}} $ 在状态空间上的等连续性之间的等价关系。