[论文解读] Dirac operators on noncommutative principal torus bundles

Alessandro Zucca, Ludwik Dąbrowski|arXiv (Cornell University)|Aug 21, 2013

Advanced Operator Algebra Research参考文献 17被引用 4

一句话总结

本文通过在谱三元组上使用强联络，将非交换几何推广至主 $\mathbb{T}^{n}$-丛，构造了新的狄拉克算子。引入了广义 $U(1)$-丛情形的扭曲狄拉克算子，证明其与非交换环面及 theta-变形流形相容，并确立了投影谱三元组下 theta 变形的函子性。

ABSTRACT

Spectral triples over noncommutative principal $\T^n$-bundles are studied, extending recent results about the noncommutative geometry of principal U(1)-bundles. We relate the noncommutative geometry of the total space of the bundle with the geometry of the base space. Moreover, strong connections are used to build new Dirac operators. We discuss as a particular case the commutative case, the noncommutative tori and theta deformed manifolds.

研究动机与目标

• 将 $U(1)$-丛的非交换几何推广至主 $\mathbb{T}^{n}$-丛，使用谱三元组。
• 通过强联络在非交换主 $\mathbb{T}^{n}$-丛上定义并构造新的狄拉克算子。
• 建立狄拉克算子与由联络诱导的微分演算之间的相容性。
• 证明 theta 变形保持主 $\mathbb{T}^{n}$-丛结构与谱三元组性质。
• 证明在 theta-变形情形下，所得谱三元组满足康奈斯对非交换流形的公理。

提出的方法

• 使用非交换主 $\mathbb{T}^{n}$-丛上的实谱三元组框架，其中霍普夫代数 $H = H(\mathbb{T}^{n})$ 由 $n$ 个可交换单位元生成。
• 通过映射 $\ell: H \to \alpha \otimes \alpha$ 定义主 $H$-余模代数 $\alpha$ 及其余作用 $\Delta_R$ 和强联络形式 $\omega$。
• 通过使用联络 $\omega$ 修改水平狄拉克算子 $D_0$，构造扭曲狄拉克算子 $D_\omega$，确保其与实结构 $J$ 相容。
• 应用里埃费尔的形变量化方法，通过作用 $\alpha \otimes \beta^{-1}$ 下的固定点子代数，构造 theta-变形谱三元组。
• 验证变形谱三元组 $(C^\infty(M_\theta), \mathcal{H}_\theta, D_\theta)$ 满足康奈斯对非交换流形的公理。
• 若 $\omega$ 与 $D$ 相容，则 $M_\theta$ 上的联络 $\omega_\theta = \omega \otimes 1$ 与 $D_\theta$ 相容。

实验结果

研究问题

• RQ1 如何通过强联络在非交换主 $\mathbb{T}^{n}$-丛上构造狄拉克算子？
• RQ2 在非交换情形下，狄拉克算子与联络相容性的条件是什么？
• RQ3 theta 变形如何在非交换几何中保持主丛结构与谱三元组性质？
• RQ4 非交换 $\mathbb{T}^{n}$-丛上的谱三元组能否满足康奈斯对非交换流形的公理？
• RQ5 在非交换主环面丛中，全空间的几何与基空间的几何有何关系？

主要发现

• 通过使用强联络扭曲水平狄拉克算子，构造了一类新的狄拉克算子 $D_\omega$，广义化了 $U(1)$-丛的情形。
• 若 $\omega_1^3 = \omega_2^3 = 0$，则扭曲狄拉克算子 $D_\omega$ 与联络 $\omega$ 相容，确保其与代数元素的换位子有界。
• 谱三元组 $(\mathcal{A}, \mathcal{H}, D_\omega)$ 不是不可约的，因为存在与 $\mathcal{A}$ 和 $D$ 都可交换的 $\sigma^3$，这反映了经典极限下旋量丛的分裂。
• theta 变形保持主 $\mathbb{T}^{n}$-丛结构：$M_\theta$ 是 $N_{\theta'}$ 上的主 $\mathbb{T}^{n}$-丛，其中 $\theta'$ 是变形矩阵 $\theta$ 的右下角子块。
• 变形谱三元组 $(C^\infty(M_\theta), \mathcal{H}_\theta, D_\theta)$ 满足康奈斯对非交换流形的全部七个公理。
• 若原始联络 $\omega$ 与 $D$ 相容，则 $M_\theta$ 上的联络 $\omega_\theta = \omega \otimes 1$ 与 $D_\theta$ 相容，确保变形下的一致性。