[论文解读] On microlocalisation and the construction of Feynman Propagators for normally hyperbolic operators

Onirban Islam, Alexander Strohmaier|arXiv (Cornell University)|Dec 17, 2020

Advanced Differential Geometry Research被引用 4

一句话总结

本文为全局双曲时空上向量丛上的正常双曲算子，发展了费曼传播器的全局微局部构造，将杜斯特马特-霍尔曼理论推广至非标量几何算子。研究证明，即使在狄拉克型算子的自然旋量度量非正定的情况下，也能通过拉格朗日分布与余切丛上波前集的微局部分析，构造出反映量子场论中哈达姆态性质的正定性费曼传播器。

ABSTRACT

This article gives global microlocalisation constructions for normally hyperbolic operators on a vector bundle over a globally hyperbolic spacetime in geometric terms. As an application, this is used to generalise the Duistermaat-Hörmander construction of Feynman propagators, therefore incorporating the most important non-scalar geometric operators. It is shown that for normally hyperbolic operators that are selfadjoint with respect to a hermitian bundle metric, the Feynman propagators can be constructed to satisfy a positivity property that reflects the existence of Hadamard states in quantum field theory on curved spacetimes. We also give a more direct construction of the Feynman propagators for Dirac-type operators on a globally hyperbolic spacetime. Even though the natural bundle metric on spinors is not positive-definite, in this case, we can give a direct microlocal construction of a Feynman propagator that satisfies positivity.

研究动机与目标

• 将杜斯特马特-霍尔曼关于费曼参数化子的理论，推广至全局双曲时空上向量丛值的正常双曲算子。
• 利用波前集与拉格朗日分布，建立费曼传播器的几何微局部表征。
• 证明存在满足正定性条件的费曼传播器，该条件等价于弯曲时空中量子场论中哈达姆态的存在性。
• 即使在自然旋量度量非正定的情况下，也实现狄拉克型算子费曼传播器的直接微局部构造。
• 通过余切丛上的微局部分析，统一标量与非标量几何算子的费曼传播器构造。

提出的方法

• 作者在余切丛上使用全局微局部分析，定义与正负能量拉格朗日锥 $C^\pm$ 相关的拉格朗日分布。
• 通过在波前集上迭代求解传输方程来构造参数化子，求解 $(-\mathrm{i}X_\square + \sigma^\mathrm{sub}_\square)a_0 = b$ 以确定主符号。
• 该构造依赖于埃戈罗夫型定理与奇点传播性，确保参数化子的波前集位于拉格朗日流形 $C^\pm$ 内。
• 对于狄拉克型算子，通过在旋量丛上求解具有非正定度量的传输方程，实现费曼传播器的直接微局部构造，确保结果传播器的正定性。
• 该方法利用伪微分算子的平方根构造（命题 F.2），构建一个自伴参数化子，其波前集满足所需的微局部正定性条件。
• 该理论被应用于证明，所构造的费曼参数化子满足哈达姆条件，从而定义了哈达姆态。

实验结果

研究问题

• RQ1 能否仅使用几何与微局部数据，为全局双曲时空上向量丛上的正常双曲算子构造费曼传播器？
• RQ2 杜斯特马特-霍尔曼关于费曼参数化子的唯一性结果，是否可推广至非标量算子（如向量丛上的算子）？
• RQ3 能否在微局部意义下建立费曼传播器的正定性条件，以反映量子场论中哈达姆态的存在性？
• RQ4 在不依赖正定性丛度量的前提下，能否为狄拉克型算子构造费曼传播器？
• RQ5 在缺乏全局类时 Killing 向量场的情况下，如何控制参数化子的波前集，以确保其对应正确的能量符号（正/负）？

主要发现

• 本文使用全局微局部分析，为全局双曲时空上向量丛上的正常双曲算子构造了费曼传播器，推广了杜斯特马特-霍尔曼框架。
• 所构造的费曼传播器满足正定性性质，对应于弯曲时空中量子场论里哈达姆态的存在性。
• 对于狄拉克型算子，即使在自然丛度量非正定时，也实现了费曼传播器的直接微局部构造。
• 所构造传播器的波前集位于正负能量拉格朗日锥 $C^\pm$ 内，确保了正确的因果性与能量符号行为。
• 该构造在光滑算子模等价下保持不变，确认了费曼参数化子在微局部意义下的唯一性。
• 该方法提供了一种系统化构建费曼传播器的途径，通过在波前集上迭代求解传输方程，确保了微局部正定性。