[论文解读] Geometrical tools for embedding fields, submanifolds, and foliations

Antony J. Speranza|arXiv (Cornell University)|Apr 16, 2019

Black Holes and Theoretical Physics参考文献 77被引用 12

一句话总结

本文提出了一套系统性的微分几何框架，用于在微分同胚不变场论中，通过嵌入场分析嵌入子流形、叶状结构和场。该框架推导了内蕴与外蕴曲率的变分公式，将高斯–考塔利–里奇恒等式推广至非可积法方向，并将其应用于推导极小面积曲面的雅可比方程，以及在广义相对论中分类边界条件，从而实现对量子引力和有效场论中膜、流体和边界模式的一致处理。

ABSTRACT

Embedding fields provide a way of coupling a background structure to a theory while preserving diffeomorphism-invariance. Examples of such background structures include embedded submanifolds, such as branes; boundaries of local subregions, such as the Ryu-Takayanagi surface in holography; and foliations, which appear in fluid dynamics and force-free electrodynamics. This work presents a systematic framework for computing geometric properties of these background structures in the embedding field description. An overview of the local geometric quantities associated with a foliation is given, including a review of the Gauss, Codazzi, and Ricci-Voss equations, which relate the geometry of the foliation to the ambient curvature. Generalizations of these equations for curvature in the nonintegrable normal directions are derived. Particular care is given to the question of which objects are well-defined for single submanifolds, and which depend on the structure of the foliation away from a submanifold. Variational formulas are provided for the geometric quantities, which involve contributions both from the variation of the embedding map as well as variations of the ambient metric. As an application of these variational formulas, a derivation is given of the Jacobi equation, describing perturbations of extremal area surfaces of arbitrary codimension. The embedding field formalism is also applied to the problem of classifying boundary conditions for general relativity in a finite subregion that lead to integrable Hamiltonians. The framework developed in this paper will provide a useful set of tools for future analyses of brane dynamics, fluid mechanics, and edge modes for finite subregions of diffeomorphism-invariant theories.

研究动机与目标

• 为在微分同胚不变场论中分析嵌入子流形、叶状结构和背景结构提供系统性的几何框架。
• 阐明哪些几何时量仅依赖于单个子流形，而哪些量需要全局叶状结构。
• 推导考虑嵌入映射和周围度量同时变化时，内蕴与外蕴曲率的变分公式。
• 将该形式化应用于推导任意余维数极小面积曲面的雅可比方程。
• 分类广义相对论中有限子区域的边界条件，使其生成可积哈密顿量，与边界模式和纠缠熵相关。

提出的方法

• 使用嵌入场 X: M₀ → M，将背景结构（如膜、边界、叶状结构）耦合至微分同胚不变场论，同时保持广义协变性。
• 以嵌入数据和周围时空几何表示内蕴与法向联络、外蕴曲率及曲率张量（高斯、考塔利、里奇–福斯）的坐标表达式。
• 通过扭曲张量和修正外曲率，将高斯–考塔利–里奇方程推广至包含非可积法方向的曲率贡献。
• 通过同时变分嵌入映射和周围度量，推导了几何量的变分公式，得到包含李导数和联络变分的表达式。
• 将该形式化应用于通过变分面积泛函，计算极小面积曲面的雅可比方程。
• 利用该框架分析引力哈密顿量中的边界项，识别出哈密顿量在有限子区域上可积且定义良好的条件。

实验结果

研究问题

• RQ1 与子流形相关的哪些几何时量在不依赖全局叶状结构的情况下仍为良好定义？
• RQ2 当法丛不可积（即扭曲非零）时，标准高斯–考塔利–里奇恒等式如何推广？
• RQ3 当同时变分嵌入映射和周围度量时，内蕴与外蕴曲率的正确变分公式是什么？
• RQ4 如何在嵌入场形式化中推导任意余维数极小面积曲面的雅可比方程？
• RQ5 在时空有限子区域上，哪些边界条件可导致广义相对论中的可积哈密顿量，且与边界模式和纠缠熵有何关联？

主要发现

• 本文推导了广义的高斯–考塔利–里奇恒等式形式，明确包含了非可积法方向的曲率贡献，显式引入了扭曲张量 Fᵢⱼₖ。
• 证明了内蕴曲率分量由 Rᵢⱼₖₗ = ∂ₖγᵢⱼₗ − ∂ₗγᵢⱼₖ + γᵢₖₘγᵐⱼₗ − γᵢₗₘγᵐⱯₖ 给出，与切丛中的标准黎曼曲率一致。
• 法曲率张量被推导为 CAᵦCD = ∂*CΓᴬDB − ∂*DΓᴬCB + ΓᴬCEΓᴱDB − ΓᴬDEΓᴱCB − FⁱCDLᴬⁱB，其中 FⁱCD 为扭曲张量，LᴬⁱB 为修正联络。
• 极小面积曲面的雅可比方程作为面积泛函在嵌入和度量变分下的二阶变分结果被推导出来。
• 该框架表明，引力哈密顿量中的边界项仅在嵌入和度量的变分满足特定约束时才可积，这与边界模式的存在性相关。
• 完全以内在联络系数、外蕴曲率、位移向量和扭曲张量表示了时空克里斯托费尔符号的坐标表达式，提供了一套完整的计算工具包。