[论文解读] The Cauchy problem for parallel spinors as first-order symmetric hyperbolic system

Andree Lischewski|arXiv (Cornell University)|Mar 17, 2015

Algebraic and Geometric Analysis参考文献 11被引用 9

一句话总结

本文通过证明任意满足代数狄拉克电流约束的虚广义 $W$-Killing 旋量的光滑黎曼旋量流形，可嵌入为具有零平行旋量的全局双曲洛伦兹流形中的类空柯西超曲面，建立了允许零平行旋量的洛伦兹流形的柯西问题。该构造使用一阶对称双曲偏微分方程方法演化度量与旋量数据，推广了真空爱因斯坦方程，并将结果扩展至非里奇平坦情形。

ABSTRACT

We prove that a smooth Riemannian manifold admitting an imaginary generalized Killing spinor whose Dirac current satisfies an additional algebraic constraint condition can be embedded as spacelike Cauchy hypersurface in a smooth Lorentzian manifold on which the given spinor extends to a null parallel spinor. This is in contrast to a corresponding Cauchy problem for real generalized Killing spinors into Riemannian manifolds. The construction is based on first order symmetric hyperbolic PDE-methods. In fact, the coupled evolution equations for metric and spinor as considered here extend and generalize the well known PDE-system appearing in the Cauchy problem for the vacuum Einstein equations. Special cases are discussed and the statement is compared with a similar result obtained recently for the analytic category.

研究动机与目标

• 建立允许零平行旋量的洛伦兹流形的柯西问题，将真空爱因斯坦方程推广至超对称情形。
• 刻画在黎曼超曲面 $(\Sigma, g^\Sigma, W, \varphi)$ 上满足代数狄拉克电流约束的虚广义 $W$-Killing 旋量的初始数据。
• 证明此类初始数据可通过一阶对称双曲系统唯一延拓为具有零平行旋量的全局双曲洛伦兹流形。
• 证明所得洛伦兹流形为里奇平坦当且仅当第二基本形式 $W$ 满足真空爱因斯坦约束方程。

提出的方法

• 构造在 $\mathbb{R} \times \Sigma$ 上使用背景洛伦兹度量 $h = -\lambda^2 dt^2 + h_t$，其中 $\lambda > 0$ 任意，$h_t$ 为黎曼度量族。
• 度量 $g$ 的演化由 $g$ 与 $h$ 的克里斯托费尔符号的收缩差张量为零的条件控制：对所有 $X \in TM$，有 $E(X) := -\text{tr}_g(g(A(\cdot,\cdot), X)) = 0$，其中 $A = \nabla^g - \nabla^h$。
• 该系统被证明为一阶对称双曲偏微分方程系统，依据标准双曲理论确保解的局部存在性与唯一性。
• 通过求解耦合演化系统，将 $\Sigma$ 上的旋量场 $\varphi$ 延拓为 $M$ 上的平行旋量 $\phi$，同时保持虚广义 $W$-Killing 旋量与狄拉克电流约束。
• 该方法推广了真空爱因斯坦柯西问题，其中约束方程为 $d\text{tr}_{g^\Sigma}W + \delta^\Sigma W = 0$ 与 $\text{scal}^\Sigma - \text{tr}_{g^\Sigma}(W^2) + (\text{tr}_{g^\Sigma}W)^2 = 0$，但此处系统被扩展以包含旋量演化。
• 关键技术步骤是验证在给定约束下系统仍保持对称拟线性双曲性，从而可应用此类系统的存在性定理。

实验结果

研究问题

• RQ1 能否将具有虚广义 $W$-Killing 旋量且狄拉克电流为各向同性的黎曼流形嵌入为具有零平行旋量的洛伦兹流形中的类空柯西超曲面？
• RQ2 在何种条件下此类数据的演化将产生里奇平坦的洛伦兹流形？
• RQ3 与真空爱因斯坦柯西问题相比，零平行旋量的柯西问题在底层偏微分方程结构上有何不同？
• RQ4 该构造能否推广至非真空超引力解的非里奇平坦背景？
• RQ5 代数约束 $U_\varphi \cdot \varphi = i u_\varphi \varphi$ 在确保零平行旋量存在性方面起什么作用？

主要发现

• 初始数据 $(\Sigma, g^\Sigma, W, \varphi)$，即满足代数狄拉克电流约束的虚广义 $W$-Killing 旋量的黎曼流形，可唯一延拓为具有零平行旋量的全局双曲洛伦兹流形 $(M,g)$。
• 度量与旋量的演化系统等价于一阶对称双曲偏微分方程系统，确保解的局部存在性与唯一性。
• 所得洛伦兹流形为里奇平坦当且仅当第二基本形式 $W$ 满足真空爱因斯坦约束方程 $d\text{tr}_{g^\Sigma}W + \delta^\Sigma W = 0$，这等价于在演化系统中令 $f_{|\Sigma} = 0$。
• 该构造通过引入旋量演化并放宽里奇平坦性要求，推广了真空爱因斯坦柯西问题，从而将框架扩展至非真空超对称背景。
• 对于一般扭曲积度量 $g^\Sigma = ds^2 + h^2 \cdot \mathbf{g}_\mathcal{F}$，即使 $W_f$ 非 Codazzi 或不可逆，该方法仍适用，表明其在对称情形之外也具有广泛适用性。
• 该方法未提供度量 $g$ 的显式公式，但通过双曲偏微分方程理论保证其在 $\Sigma$ 邻域内存在且光滑。