[论文解读] Local Index Theory for Lorentzian Manifolds

Christian Baer, Alexander Strohmaier|arXiv (Cornell University)|Dec 2, 2020

Advanced Operator Algebra Research被引用 4

一句话总结

本文为全局双曲时空上的洛伦兹度量狄拉克型算子建立了局部指标公式，通过微局部分析与哈达玛展开，将指标理论从椭圆算子推广至非椭圆情形。核心贡献是在无需假设空间度量正定或空间狄拉克算子自伴的条件下，为具有阿蒂亚-帕多利-辛格边界条件的空间紧致时空建立了普遍指标定理。

ABSTRACT

Index theory for Lorentzian Dirac operators is a young subject with significant differences to elliptic index theory. It is based on microlocal analysis instead of standard elliptic theory and one of the main features is that a nontrivial index is caused by topologically nontrivial dynamics rather than nontrivial topology of the base manifold. In this paper we establish a local index formula for Lorentzian Dirac-type operators on globally hyperbolic spacetimes. This local formula implies an index theorem for general Dirac-type operators on spatially compact spacetimes with Atiyah-Patodi-Singer boundary conditions on Cauchy hypersurfaces. This is significantly more general than the previously known theorems that require the compatibility of the connection with Clifford multiplication and the spatial Dirac operator on the Cauchy hypersurface to be selfadjoint with respect to a positive definite inner product.

研究动机与目标

• 在全局双曲时空上为洛伦兹狄拉克型算子发展局部指标公式，克服标准椭圆指标理论的局限性。
• 通过消除向量丛在类空超曲面上具有正定内积的要求，推广现有的洛伦兹指标定理。
• 为具有阿蒂亚-帕多利-辛格边界条件的空间紧致时空上的一般狄拉克型算子建立指标定理，即使空间狄拉克算子相对于正定度量不自伴亦成立。
• 将指标理论的应用范围扩展至相对论量子场论与异常（如手征异常）的场景，尤其在无法使用Wick旋转或变量分离法时。
• 通过奇异性的传播与格林函数的哈达玛展开，为洛伦兹几何中的指标理论提供严格的微局部基础。

提出的方法

• 通过推迟与超前格林算子之差的超迹的渐近展开推导局部指标公式。
• 采用哈达玛参数化技术计算热核与格林函数的短时间行为，提取局部不变量。
• 利用微局部分析与霍尔曼德的奇异点传播定理，确立带边界条件的狄拉克算子的弗雷德霍姆性质。
• 在洛伦兹设定中应用阿蒂亚-帕多利-辛格边界条件，将柯西超曲面视为具有明确定义谱投影的边界。
• 引入一种改进的哈达玛展开，包含费曼传播子与边界贡献，结合 $\tilde{C}(\beta,n,\nu)$ 与 $C(\beta,n)$ 函数以实现解析延拓。
• 通过取波前集的迹并利用格林函数在临界维数处的 $\beta$-正则化，计算局部指标密度。

实验结果

研究问题

• RQ1 能否为全局双曲时空上的洛伦兹狄拉克型算子建立类似于椭圆情形下阿蒂亚-辛格局部指标定理的局部指标公式？
• RQ2 当空间狄拉克算子不相对于正定内积自伴时，如何将指标定理推广至带边界的时空？
• RQ3 微局部分析与哈达玛展开在洛伦兹几何中定义双曲算子指标时起何作用？
• RQ4 在非椭圆情形下，指标公式中的边界贡献如何与 $\bar{\theta}$-不变量及 $\tilde{C}(\beta,n,\nu)$ 函数相关联？
• RQ5 能否使指标公式独立于丛上正定度量的选择，从而推广先前结果？

主要发现

• 局部指标公式源自推迟与超前格林算子之差的超迹的渐近展开，导出分布形式的指标密度。
• 公式中包含时间 $ t $ 的对数与幂律发散项，其系数涉及 $ \tilde{C}(\beta,n,\nu) $、$ C(\beta,n) $ 及其在 $ \beta = -n/2 $ 处的导数。
• 展开的首项与 $ \text{tr}(\nabla_{(1)}\tilde{D} \bullet V_{\frac{n-2}{2}}(0,y,0,y) \bullet \not{n}_\text{Σ}) \times \frac{-i 2^{1-n} \nu^{-\frac{n}{2}}}{(\frac{n-2}{2})!} \big( \text{欧拉-马歇罗尼常数} + \text{log}|t| + \text{虚部平移} \big) $ 成正比，捕捉了非平凡的动力学行为。
• 即使空间狄拉克算子不自伴于正定内积下，公式依然有效，从而推广了先前结果。
• 通过 $ \beta $-正则化证明指标是有限且良定义的，且 $ \beta $-导数 $ \tilde{C}(\beta,n,2\nu) $ 在 $ \beta = -n/2 $ 处贡献于 $ t^{1-n} $ 项。
• 结果表明，即使在丛上无正定度量时，对具有阿蒂亚-帕多利-辛格边界条件的空间紧致时空也存在全局指标定理。