[论文解读] Metrics on states from actions of compact groups

Marc A. Rieffel|ArXiv.org|Jul 16, 1998

Advanced Operator Algebra Research参考文献 20被引用 157

一句话总结

该论文证明，通过紧致李群的遍历作用，利用狄拉克算子或李代数上的相关范数在单C*-代数的状态空间上导出的度量，诱导出与弱-*拓扑相同的拓扑。关键贡献在于证明：由此类作用产生的狄拉克算子所诱导的度量拓扑，与状态空间上的标准弱-*拓扑一致，从而将康奈斯的非交换度量框架推广至群论设定。

ABSTRACT

Let a compact Lie group act ergodically on a unital $C^*$-algebra $A$. We consider several ways of using this structure to define metrics on the state space of $A$. These ways involve length functions, norms on the Lie algebra, and Dirac operators. The main thrust is to verify that the corresponding metric topologies on the state space agree with the weak-$*$ topology.

研究动机与目标

• 建立C*-代数状态空间上由群作用导出的度量诱导弱-*拓扑的条件。
• 将康奈斯的非交换度量框架推广至具有紧致李群遍历作用的C*-代数。
• 证明通过李代数上的范数或群上的长度函数定义的度量，其诱导的拓扑与弱-*拓扑等价。
• 验证与此类作用相关的狄拉克算子所诱导的度量拓扑与弱-*拓扑一致。

提出的方法

• 通过光滑子代数 A^∞ 中元素 a 的换位子 [D, a] 的算子范数，定义一个利普希茨半范数。
• 在 A^∞ ⊗ S 的希尔伯特空间完备化上构造一个狄拉克算子 D，其中 S 是旋量模，利用李代数作用和在克利福德代数上的表示。
• 利用李代数对偶的正交基，将 D 表示为涉及群作用和克利福德乘法的算子之和。
• 建立狄拉克诱导的半范数 L(a) = ||[D, λ_a]|| 与李代数作用下的范数 ||da|| 之间的比较，证明上下界。
• 应用比较引理与拓扑论证，表明由 L 诱导的度量拓扑与弱-*拓扑一致。
• 验证所得度量在状态空间上有限且定义良好，且其生成的拓扑与标准弱-*拓扑一致。

实验结果

研究问题

• RQ1 由具有遍历紧致群作用的C*-代数上的狄拉克算子所诱导的度量拓扑是否与弱-*拓扑一致？
• RQ2 能否从作用于C*-代数的紧致群的李代数上的范数构造出状态空间上的度量，且其是否诱导出弱-*拓扑？
• RQ3 紧致群上的长度函数与在遍历群作用下C*-代数状态空间上的度量有何关系？
• RQ4 通过狄拉克算子定义的利普希茨半范数与群作用的内在几何之间存在何种关系？

主要发现

• 在具有遍历紧致李群作用的单C*-代数的状态空间上，由狄拉克算子诱导的度量拓扑与弱-*拓扑一致。
• 建立了半范数 L(a) = ||[D, a]|| 的下界，以李代数的范数 ||da|| 表示，确保了拓扑等价性。
• 比较引理使得能够将来自李代数范数的拓扑控制转移到狄拉克诱导的度量上。
• 该结果对李代数对偶上的任意内积均成立，表明构造具有鲁棒性。
• 该构造适用于非交换环面，其具有遍历的环面作用，从而与弦理论背景相联系。