[论文解读] A Category of Spectral Triples and Discrete Groups with Length Function

Paolo Bertozzini, Roberto Conti+1 more|ArXiv.org|Feb 28, 2005

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

一句话总结

本文通过定义代数同态与希尔伯特空间交错算子之间的态射，引入了一类新的谱三元组。它证明了康奈斯从具有长度函数的离散群构造谱三元组的方法是函子性的，从而建立了从具有此类群的范畴到谱三元组范畴的协变函子。

ABSTRACT

In the context of A. Connes' spectral triples, a suitable notion of morphism is introduced. Discrete groups with length function provide a natural example for our definitions. A. Connes' construction of spectral triples for group algebras is a covariant functor from the category of discrete groups with length functions to that of spectral triples. Several interesting lines for future study of the categorical properties of spectral triples and their variants are suggested.

研究动机与目标

• 定义谱三元组之间自然的态射概念，填补文献中的空白。
• 利用这些态射建立谱三元组的范畴，使非交换几何中的范畴推理成为可能。
• 证明康奈斯对具有长度函数的离散群构造谱三元组的方法具有函子性。
• 为未来研究非交换子流形、商空间以及非交换几何中的范畴结构奠定基础。
• 提出谱三元组的更广泛范畴框架，包括通过模范畴之间的函子进行推广。

提出的方法

• 将谱三元组的态射定义为一对 (φ, Φ)，其中 φ 是代数之间的单位∗-同态，Φ 是希尔伯特空间之间的有界线性算子，且与狄拉克算子交错。
• 要求 Φ 满足 D₂ ∘ Φ = Φ ∘ D₁ 且 Φ ∘ π₁(a) = π₂(φ(a)) ∘ Φ 对所有 a 属于代数成立。
• 从具有长度函数的离散群范畴构造一个到谱三元组范畴的协变函子。
• 使用群代数 C[G] 作为代数，ℓ²(G) 作为希尔伯特空间，以及通过长度函数 ω 定义的狄拉克算子 Dω。
• 证明将谱三元组分配给群、将态射分配给群同态的映射满足函子公理。
• 证明当群同态 φ: G → H 具有右逆 ψ: H → G 时，其在希尔伯特空间上诱导的映射是等距同构，从而确保与态射定义的一致性。

实验结果

研究问题

• RQ1 什么样的谱三元组之间态射的定义是合适的，能够保持其几何与分析结构？
• RQ2 康奈斯从群代数构造谱三元组的方法能否被形式化为从具有长度函数的离散群范畴出发的函子？
• RQ3 在何种条件下，群同态能诱导出谱三元组之间的良好定义的态射？
• RQ4 如何将谱三元组的范畴框架扩展以包含非交换子流形与商空间？
• RQ5 在非交换几何中，使用希尔伯特空间等距同构与代数同态来定义态射有何含义？

主要发现

• 通过代数同态与希尔伯特空间之间有界交错算子，建立了一个明确定义的谱三元组范畴。
• 证明了康奈斯从具有长度函数的离散群构造谱三元组的方法，是将此类群的范畴映射到谱三元组范畴的协变函子。
• 对于任意具有右逆 ψ: H → G 的群同态 φ: G → H，其在希尔伯特空间上诱导的映射 ℋψ: ℋG → ℋH 是等距同构。
• 对 (𝒜ψ, ℋψ) 构成谱三元组范畴中的一个态射，且满足与狄拉克算子相关的交错条件。
• 该构造提供了一个从几何范畴（加权群）到谱三元组范畴的具体函子实例。
• 该框架为非交换几何的范畴化提供了路径，并可通过函子研究非交换子流形与商空间。