[论文解读] Lightlike foliations on Lorentzian manifolds with weakly irreducible holonomy algebra

Natalia I. Bezvitnaya|ArXiv.org|Jun 6, 2005

Geometry and complex manifolds参考文献 7被引用 6

一句话总结

本文为具有弱不可约但非不可约仿射 holonomy 代数的洛伦兹流形上的光锥叶状结构构建了全局结构方程，通过选择一个屏分布引入了全局算子。它将曲率张量分解为反映 holonomy 代数结构的分量，并据此将 holonomy 代数分类为四种类型，提供了一种基于这些算子判断 holonomy 类型的判别准则，从而实现了对这类流形的全局几何表征。

ABSTRACT

We study the lightlike foliations that appear on Lorentzian manifolds with weakly irreducible not irreducible holonomy algebra. We give global structure equations for the foliation that generalize the Gauss and Weingarten equations for one lightlike hypersurface. This gives us some global operators on the manifold. Using these operators, we decompose the curvature tensor of the manifold into several components. We give a criteria how to find the type of the holonomy algebras (there are 4 possible types) in terms of the global operators.

研究动机与目标

• 通过光锥叶状结构，为具有弱不可约但非不可约 holonomy 代数的洛伦兹流形提供全局几何描述。
• 将单个光锥超曲面的局部结构方程（高斯与温加滕方程）推广至叶状结构的全局设定。
• 通过选择一个屏分布，在流形上定义全局算子，以编码几何与曲率信息。
• 将曲率张量分解为反映底层 holonomy 代数结构的分量。
• 建立基于这些全局算子识别 holonomy 代数类型（1–4类）的判别准则。

提出的方法

• 本文通过选择一个全局屏分布（或横截丛），构造了全局结构方程，该选择诱导了洛伦兹流形切丛的分解。
• 定义了全局算子——如诱导联络 ∇、形状算子 A 和第二基本形式 h——这些算子推广了单个超曲面理论中的对应概念。
• 利用屏丛与横截丛的分解，将流形的曲率张量分解为分量 R₁、R₂、R₃ 和 ∗R。
• 本文运用仿射 holonomy 表示理论，并结合弱不可约 holonomy 代数的分类（1–4类），将曲率分量与 holonomy 代数的正交部分联系起来。
• 证明了曲率分量在平行移动下保持不变，并满足一种类似 holonomy 的变换律，从而实现全局分类。
• 通过一个阿贝尔 holonomy 的局部例子验证了该形式体系，展示了联络、第二基本形式与曲率分量的显式表达式。

实验结果

研究问题

• RQ1 如何通过光锥叶状结构，对具有弱不可约但非不可约 holonomy 代数的洛伦兹流形实现全局几何描述？
• RQ2 选择屏分布后会产生哪些全局算子？它们如何推广经典高斯与温加滕方程？
• RQ3 如何将曲率张量分解为反映 holonomy 代数结构的分量？
• RQ4 基于这些全局算子，可采用何种判别准则来确定 holonomy 代数的类型（1–4类）？
• RQ5 是否存在一种规范方式选择屏分布，以确保几何结构的不变性？

主要发现

• 曲率张量被分解为四个分量 R₁、R₂、R₃ 和 ∗R，每个分量对应叶状结构与 holonomy 结构的不同几何方面。
• 当且仅当 holonomy 代数为 2 类或 4 类时，分量 ∗R 恒为零，这为区分 holonomy 类型提供了关键不变量。
• 在阿贝尔 holonomy 例子中，形状算子 A 与第二基本形式 h 恒为零，表明屏方向上的平坦性。
• 在阿贝尔例子中，曲率分量 R₃(N, X)Y = −(1/2)∂²f/∂xⁱ∂xʲ ∂/∂x⁰，表明在零方向存在非平凡曲率。
• 全局算子满足类似 holonomy 的变换律，确保在平行移动下的一致性，并支持 holonomy 类型的分类。
• 本文建立了完整的判别准则，可基于全局算子识别 holonomy 代数类型（1–4类），特别能将 1 类与 3 类同 2 类与 4 类区分开，并进一步区分 3 类与 4 类。