[论文解读] Lorentzian approach to noncommutative geometry

Nicolas Franco|arXiv (Cornell University)|Aug 2, 2011

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

一句话总结

本论文通过引入全局类时eikonal条件，提出了阿兰·孔涅非交换几何的洛伦兹形式化，定义了非交换距离函数，并提出了首个时间性洛伦兹谱三元组的公理体系。主要贡献在于非交换几何中实现了路径无关、因果性保持的距离表述，从而为具有全局时间结构的非交换洛伦兹时空提供了一个框架。

ABSTRACT

This thesis concerns the research on a Lorentzian generalization of Alain Connes' noncommutative geometry. In the first chapter, we present an introduction to noncommutative geometry within the context of unification theories. The second chapter is dedicated to the basic elements of noncommutative geometry as the noncommutative integral, the Riemannian distance function and spectral triples. In the last chapter, we investigate the problem of the generalization to Lorentzian manifolds. We present a first step of generalization of the distance function with the use of a global timelike eikonal condition. Then we set the first axioms of a temporal Lorentzian spectral triple as a generalization of a pseudo-Riemannian spectral triple together with a notion of global time in noncommutative geometry.

研究动机与目标

• 将孔涅的非交换几何从黎曼型推广至洛伦兹型，解决在量子引力统一中欧几里得引力物理上不相关的问题。
• 定义与洛伦兹型签名和因果结构相容的非交换距离函数。
• 建立一个包含全局时间与因果性的非交换几何中时间性洛伦兹谱三元组的基础框架。
• 弥合洛伦兹几何中因果方法与非交换时空谱三元组中克雷因空间方法之间的鸿沟。
• 为未来构建非交换洛伦兹流形和洛伦兹谱作用量奠定基础。

提出的方法

• 基于全局类时eikonal不等式：ess sup g(∇f, ∇f) ≤ -1，构建非交换洛伦兹距离函数。
• 提出一类新的谱三元组——时间性洛伦兹谱三元组，包含时间元素T和基本对称性J，以处理不定内积。
• 在具有旋结构的全局双曲时空上，于希尔伯特空间H₀ = L²(M, S)上使用狄拉克算子。
• 应用共形变换以确保在黎曼度量gʳ = dT² + gᵀ下完备性，从而可使用标准谱三元组工具。
• 通过满足eikonal条件的函数f构造距离函数，确保路径无关性与因果一致性。
• 提出代数A₀ ⊂ C∞(M)的表示，使得[D, a]有界，从而在洛伦兹型签名下保持谱三元组结构。

实验结果

研究问题

• RQ1 如何在保持因果性的同时，将非交换几何中的黎曼距离函数推广至洛伦兹型？
• RQ2 定义包含全局时间结构与因果序的非交换谱三元组，需要哪些公理？
• RQ3 能否构建不依赖于特定路径的非交换距离函数，以确保洛伦兹时空中的全局一致性？
• RQ4 狄拉克算子与希尔伯特空间结构如何在非交换几何中适应不定度量？
• RQ5 非交换时间性洛伦兹谱三元组存在的条件是什么？如何构建它们？

主要发现

• 通过全局类时eikonal条件，构建了路径无关的非交换洛伦兹距离函数，这对因果性至关重要。
• 提出了时间性洛伦兹谱三元组的首个公理体系，包含时间元素T与基本对称性J，以处理不定内积。
• 在具有度量分解g = -dT² + gᵀ且完备黎曼度量gʳ的全局双曲时空上，存在可交换的时间性洛伦兹谱三元组。
• 该构造表明，可通过有界导数的光滑函数定义有界换乘子[D, a]，从而保持谱三元组结构。
• 该框架为非交换Moyal平面作为非交换时间性洛伦兹谱三元组的候选者提供了可能。
• 该方法为未来发展洛伦兹谱作用量和离散洛伦兹非交换空间奠定了基础。