[论文解读] Towards a Nonperturbative Covariant Regularization in 4D Quantum Field Theory

Harald Grosse, Alexander Strohmaier|ArXiv.org|Feb 19, 1999

Noncommutative and Quantum Gravity Theories参考文献 9被引用 14

一句话总结

本文提出了一种基于非交换几何构造的模糊 $\mathbb{CP}^{2}$ 空间的非微扰、协变正则化方法，用于四维量子场论。通过将经典的 $\mathbb{CP}^{2}$ 替换为有限维矩阵代数，该理论实现紫外有限性，且拉普拉斯算子与狄拉克算子的谱被截断，从而作为自然的紫外截断，同时保持 $SU(3)$ 协变性，使得标量量子场论中的泛函积分得以明确定义。

ABSTRACT

We give a noncommutative version of the complex projective space CP^2 and show that scalar QFT on this space is free of UV divergencies. The tools necessary to investigate Quantum fields on this fuzzy CP^2 are developed and possibilities to introduce spinors and Dirac operators are discussed.

研究动机与目标

• 开发一种基于非交换几何的四维量子场论非微扰、协变正则化方案。
• 构建 $\mathbb{CP}^{2}$ 的有限维近似作为矩阵代数，保持其几何与群论结构。
• 在该模糊 $\mathbb{CP}^{2}$ 上定义标量场与旋量场，包括拉普拉斯算子与狄拉克算子，其谱在高能处被截断，作为紫外截断。
• 研究非交换设定下旋量丛与狄拉克算子的行为，特别是与经典情形相比零模式与指标的不匹配问题。
• 提出一种改进的旋量丛构造，以恢复经典指标与零模式结构，同时保持有限性。

提出的方法

• 利用 $SU(3)$ 作为对称群的群论实现，构造 $\mathbb{CP}^{2}$ 的非交换版本，该空间以商空间 $G/K$ 的形式实现。
• 通过全纯线丛 $L^{m}$ 的几何量化解析，将模糊 $\mathbb{CP}^{2}$ 定义为有限维矩阵代数 $\mathcal{A}_{N}$。
• 通过量化解析经典拉普拉斯算子，构造模糊 $\mathbb{CP}^{2}$ 上的拉普拉斯算子，表明其谱在高本征求和处被截断，与经典谱一致。
• 通过量化解析 Dolbeault 复形，利用 $L^{m}$ 线丛截面之间的等变映射 $\overline{\partial}_{N}$，定义 $\mathrm{Spin}^{\mathbb{C}}$-狄拉克算子 $D_{m}$。
• 利用谱三元组 $(\mathcal{A}_{N}, \mathcal{H}_{N}, D_{m})$ 在非交换代数 $\mathcal{A}_{N}$ 上定义微分演算，确保与 $SU(3)$ 对称性兼容。
• 提出一种替代的旋量丛结构 $M_{S_{m}}^{N} = M_{L^{m}}^{N} \oplus M_{L^{m+3}}^{N+2} \oplus M_{L^{m+1} \otimes H^{-1}}^{N+1}$，以恢复经典指标与零模式计数。

实验结果

研究问题

• RQ1 能否基于源自非交换几何的有限维矩阵代数，构造出四维 QFT 的非微扰、协变正则化？
• RQ2 模糊 $\mathbb{CP}^{2}$ 上拉普拉斯算子与狄拉克算子的谱与经典对应物相比如何？截断尺度在此中起什么作用？
• RQ3 为何在非交换设定下，狄拉克算子的零模式数量与指标与经典情形不同？
• RQ4 是否存在一种改进的模糊 $\mathbb{CP}^{2}$ 上旋量场的构造方法，可恢复经典指标与零模式结构？
• RQ5 所得到的有限维理论是否能支持标量 QFT 中无紫外发散的明确定义泛函积分？

主要发现

• 由于函数代数的有限维性，模糊 $\mathbb{CP}^{2}$ 上的标量量子场论无紫外发散，从而可定义明确定义的泛函积分。
• 模糊 $\mathbb{CP}^{2}$ 上拉普拉斯算子的谱与经典谱一致，仅在高本征求和处被截断，该截断作为自然的紫外截断。
• 在模糊 $\mathbb{CP}^{2}$ 上标准构造的 $\mathrm{Spin}^{\mathbb{C}}$-狄拉克算子与经典情形相比，其指标与零模式数量不同，原因在于 $\overline{\partial}_{N}$ 在高阶表示上消失。
• 狄拉克算子 $D_{m}$ 的本征值为 $\lambda_{n}^{\pm} = \pm\sqrt{2n(n+2) + 2|m|(n+1) - 2m}$，其中 $n \in \{1,\dots,N-m-1\}$，当 $m \geq 0$ 时，其重数为 $(n + \frac{|m|+2}{2})(n+|m|+1)(n+1)$。
• 改进的旋量丛构造恢复了经典指标与零模式计数：$\mathrm{index}(D_{m}) = \frac{3}{2}(N^{2} + 3N + 2)$ 且 $\mathrm{mult}_{\lambda=0} = \frac{N+2}{2}(m^{2} - 3mN + 2N^{2} + 2N + 2)$。
• 谱三元组 $(\mathcal{A}_{N}, \mathcal{H}_{N}, D_{m})$ 在非交换代数 $\mathcal{A}_{N}$ 上提供了明确定义的微分演算，保持了 $SU(3)$ 协变性，并实现了在模糊 $\mathbb{CP}^{2}$ 上的非微扰 QFT。