[论文解读] Universal covering space of the noncommutative torus

Petr Ivankov|arXiv (Cornell University)|Jan 27, 2014

Advanced Algebra and Geometry参考文献 5被引用 5

一句话总结

本文使用代数方法，受经典覆盖空间理论启发，为非交换环面构造了一个通用覆盖空间。通过在C*-代数表示中迭代开平方根的方式提升单位元生成元，定义了ℝ² → T²的非交换类比，表明通用覆盖代数与C₀(ℝ²) ⊗ 𝒦强莫里塔等价。

ABSTRACT

Gelfand - Naĭmark theorem supplies contravariant functor from a category of commutative $C^*-$ algebras to a category of locally compact Hausdorff spaces. Therefore any commutative $C^*-$ algebra is an alternative representation of a topological space. Similarly a category of (noncommutative) $C^*-$ algebras can be regarded as a category of generalized (noncommutative) locally compact Hausdorff spaces. Generalizations of topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$ - theory coincides with $K$ - theory of $C^*$ - algebras. However the algebraic topology have a rich set of invariants. Some invariants do not have noncommutative generalizations yet. This article contains a sample of noncommutative universal covering. General theory of noncommutative universal coverings is being developed by the author of this article. However this sample has independent interest, it is very easy to understand and does not require knowledge of Hopf-Galois extensions.

研究动机与目标

• 为非交换环面发展一个通用覆盖空间的非交换类比。
• 将经典覆盖空间构造（如ℝ → S¹和ℝ² → T²）通过C*-代数方法推广至非交换设定。
• 证明非交换环面的通用覆盖代数与C₀(ℝ²) ⊗ 𝒦强莫里塔等价。
• 提供一个独立于Hopf-Galois理论的、具体且易于理解的非交换通用覆盖的实例。

提出的方法

• 利用Gelfand-Naĭmark对偶性，将C*-代数解释为广义拓扑空间。
• 在C*-代数中构造一个单位元序列{uₙ}，使得uₙ₊₁² = uₙ，模仿迭代开平方根的逆极限。
• 将通用代数定义为由π*ᵤ(f)π*ᵥ(g)（f,g ∈ C₀(ℝ)）生成的算子的范数闭包，其中π*ᵤ和π*ᵥ是从C(S¹)到B(H)的提升表示。
• 通过与紧算子𝒦张量积实现稳定化，以确保强莫里塔等价。
• 运用谱论，通过满足φ(z)ⁿ = z的博雷尔可测函数来实现单位元的提升。
• 通过稳定化建立不同提升构造之间的同构，证明其对根的选择具有不变性。

实验结果

研究问题

• RQ1 能否仅使用纯粹代数的C*-代数方法，为非交换环面定义一个通用覆盖空间？
• RQ2 当θ为无理数时，经典覆盖ℝ² → T²在非交换设定下如何推广？
• RQ3 非交换环面的通用覆盖代数的强莫里塔等价类是什么？
• RQ4 该构造是否产生一个局部紧的谱三元组，或具有物理意义的几乎交换扇区？

主要发现

• 非交换环面的通用覆盖被构造为与两个单位元生成元相关联的C₀(ℝ)的提升表示所生成代数的范数闭包。
• 所得代数与C₀(ℝ²) ⊗ 𝒦强莫里塔等价，且不依赖于迭代开平方根序列的选择。
• 不同的单位元提升序列(xₙ)和(yₙ)产生非同构的C*-代数，但其通过𝒦的稳定化版本是同构的。
• 该构造通过谱论和博雷尔可测函数演算，推广了经典ℝ → S¹和ℝ² → T²的覆盖。
• 该方法避免依赖Hopf-Galois扩张，提供了一种自包含且初等的途径。
• 该代数在θ → 0时表现出一个几乎交换扇区，暗示其在Kaluza-Klein理论等物理模型中可能具有潜在物理意义。