[论文解读] A Note On Boundary Conditions In Euclidean Gravity

Edward Witten|arXiv (Cornell University)|May 29, 2018

Noncommutative and Quantum Gravity Theories被引用 7

一句话总结

本文分析了欧几里得引力中的边界条件，表明尽管狄利克雷边界条件（固定边界度量）通常不是椭圆型的，因此不适合微扰量子引力，但共形边界条件——即指定边界的共形类和其外曲率的迹——可产生一个椭圆型系统，支持行为良好的微扰理论。关键结果是，辅助算子的椭圆型性质确保了有限维的核与余核，从而支持参数化器的存在，使得即使在一般情况下狄利克雷条件非椭圆型，也能实现可行的量子场论微扰展开。

ABSTRACT

We review what is known about boundary conditions in General Relativity on a spacetime of Euclidean signature. The obvious Dirichlet boundary condition, in which one specifies the boundary geometry, is actually not elliptic and in general does not lead to a well-defined perturbation theory. It is better-behaved if the extrinsic curvature of the boundary is suitably constrained, for instance if it is positive- or negative-definite. A different boundary condition, in which one specifies the conformal geometry of the boundary and the trace of the extrinsic curvature, is elliptic and always leads formally to a satisfactory perturbation theory. These facts might have interesting implications for semiclassical approaches to quantum gravity. (Submitted to a volume in honor of Roman Jackiw.)

研究动机与目标

• 阐明为何欧几里得引力中的狄利克雷边界条件因非椭圆型而导致微扰理论行为不良。
• 确立共形边界条件——即固定边界共形结构和外曲率迹——可产生适合微扰量子引力的椭圆型系统。
• 表明尽管狄利克雷条件通常非椭圆型，但若边界外曲率定号（正或负），则可通过一个辅助椭圆型边界条件，使狄利克雷条件仍能支持微扰理论。
• 证明在共形边界条件下，线性化爱因斯坦算子的核与余核的有限维性，确保了参数化器的存在，这是量子微扰理论的先决条件。
• 澄清椭圆型、弗雷德霍姆性质与引力中微扰理论可行性之间的数学区别，尤其在规范固定与零模态的语境下。

提出的方法

• 通过比较狄利克雷条件（固定度量）与共形条件（固定共形类和外曲率迹）来分析引力中边界条件的椭圆型性质。
• 应用弗雷德霍姆算子理论，表明椭圆型边界条件可确保有限维的核与余核，这对构造传播子至关重要。
• 通过规范固定将爱因斯坦方程约化为具有非退化动能项的二阶微分算子，从而实现标准微扰分析。
• 引入一个辅助算子 $ L'' $，证明在共形边界条件下其为椭圆型，以分析狄利克雷条件下线性化爱因斯坦方程的可解性。
• 表明若一个向量场 $ v^\mu $ 所服从的椭圆型算子 $ P $ 的边界值问题存在解，则可补偿度量微扰方程中的非齐次项。
• 通过度量微扰的希尔伯特空间结构下的内积恒等式，应用核与余核之间的对偶性，证明余核有限维意味着核也有限维，反之亦然。

实验结果

研究问题

• RQ1 为何固定边界度量的狄利克雷边界条件在欧几里得引力中无法支持一致的微扰展开？
• RQ2 为何共形边界条件——即固定边界共形结构和外曲率迹——能导致一个椭圆型系统？
• RQ3 在何种条件下，尽管狄利克雷边界条件非椭圆型，仍可支持行为良好的微扰理论？
• RQ4 辅助椭圆型算子 $ L'' $ 在确保狄利克雷条件下线性化爱因斯坦算子具有有限维核与余核方面起什么作用？
• RQ5 线性化爱因斯坦算子的核与余核之间的同构关系如何与量子引力中参数化器的存在性相关？

主要发现

• 狄利克雷边界条件非椭圆型，因此通常无法保证微扰理论的行为良好，因其可能导致无限维的零模问题。
• 共形边界条件——即指定边界共形类和外曲率迹——是椭圆型的，且确保线性化爱因斯坦算子具有有限维的核与余核。
• 当边界外曲率正定或负定时，狄利克雷边界条件下线性化爱因斯坦方程是弗雷德霍姆型的，暗示尽管非椭圆型，仍可能存在参数化器。
• 若向量场方程 $ Pv = 0 $ 在边界条件 $ v^i|_M = 0 $、$ v^\perp|_M = \gamma $ 下存在解，则可抵消度量微扰方程中的非齐次项，从而允许在约束模下存在解。
• 在狄利克雷边界条件下，线性化爱因斯坦算子的余核与核同构，且若辅助算子 $ L'' $ 为椭圆型，则两者均为有限维，表明系统表现得如同椭圆型系统。
• 本文确立了辅助算子 $ L'' $ 的椭圆型性质意味着狄利克雷边界条件下线性化爱因斯坦算子具有有限维余核，这足以构造参数化器并实现微扰量子引力。