[论文解读] Boundary value problems in dimensions seven, four and three related to exceptional holonomy

Simon Donaldson|arXiv (Cornell University)|Aug 4, 2017

Geometry and complex manifolds参考文献 2被引用 4

一句话总结

该论文将七维 G₂-结构的边界值问题形式化，通过对称性约化将其简化为三维和四维的变分问题。证明了体积泛函的临界点对应于无 torsion 的 G₂-结构，并在特定边界条件下表明这些结构为形式最大值，与实 Monge-Ampère 方程及低维的广义变分框架相关联。

ABSTRACT

In the paper we introduce a boundary value problem for a G_{2} structure on a 7-manifold with boundary, with prescribed 3-form on the boundary. We make some general observations about this problem and then study in more detail reductions to 4 and 3 dimensions by imposing symmetry. The 3-dimensional reduction admits a dual variational formulation in terms of solutions of the real Monge-Ampere equation

研究动机与目标

• 将 Hitchin 针对 G₂-结构的变分框架扩展至具有边界的流形，动机源于例外 holonomy 与几何结构。
• 研究在给定边界数据下，闭正 3-形式空间上体积泛函的存在性与临界点。
• 通过使用对称性约化，将七维问题简化为低维情形（四维与三维），揭示其与实 Monge-Ampère 方程及凯勒几何的联系。
• 建立临界点为形式最大值的条件，利用 Hessian 分析与紧致区域上带边界的分部积分法。
• 将变分方法推广以包含对偶问题与伴随方程，尤其在零标量曲率凯勒曲面及齐次泛函的背景下。

提出的方法

• 在七维空间中，对代表固定上同调类的闭正 3-形式空间定义体积泛函，其边界条件由边界六维流形上的正 3-形式指定。
• 对体积泛函的一阶变分应用分部积分，导出欧拉-拉格朗日方程 $ d ilde{ ho} = 0 $，其中 $ ilde{ ho} = *_{g_ ho} ho $，从而得到无 torsion 的 G₂-结构。
• 通过对称性假设将七维问题约化为四维与三维，识别出所得方程为实 Monge-Ampère 方程的推广。
• 在对称张量 $ ho^{ij} $ 上引入一个变分问题，约束条件为 $ abla_i abla_j ho^{ij} = 0 $，并证明其平稳性等价于求解 $ abla_i abla_j u = D u( ho) $，其中 $ u $ 为某函数。
• 利用线性化算子的伴随算子推导对偶变分问题，表明线性化方程与约束方程互为形式伴随算子。
• 将该框架应用于 LeBrun 构造零标量曲率凯勒曲面的方法，证明其等价于一个包含 $ e^{u_{11}} + u_{22} + u_{33} = 0 $ 的非线性 PDE 系统，以及 $ V $ 的线性方程。

实验结果

研究问题

• RQ1 在何种条件下，六维边界上的正 3-形式可延拓为带边界的七维流形上的闭正 3-形式？
• RQ2 在闭正 3-形式空间上，体积泛函的临界点何时为形式最大值，即其二阶变分为非正？
• RQ3 七维中的对称性约化如何导致四维与三维的变分问题？这些约化中出现了何种 PDE？
• RQ4 在变分问题背景下，非线性方程的线性化算子与其形式伴随算子之间存在何种关系？
• RQ5 LeBrun 的零标量曲率凯勒曲面构造能否被嵌入与 G₂-边界值问题相同的变分框架中？

主要发现

• 若七维流形是闭 G₂-流形的区域，且边界数据由全局形式诱导，则 $ ilde{ ho} $-增强形式上体积泛函的临界点为形式最大值。
• 当环境流形为闭流形时，体积泛函的二阶变分为非正，确认临界点在微分同胚模下为严格局部最大值。
• 在三维约化中，变分问题导出一个非线性 PDE 系统，其中存在满足 $ abla_i abla_j u = D u( ho) $ 的解 $ u $ 可确保泛函的平稳性。
• 扰动 $ V $ 的线性化方程是非线性方程线性化的形式伴随算子，建立了两个方程之间的对偶性。
• 在 $ u( ho) = ( ext{det} ho)^{1/3} $ 的特殊情形下，线性化算子为自伴算子，简化分析并恢复标准 Monge-Ampère 结构。
• 该框架自然地恢复了 LeBrun 对零标量曲率凯勒曲面的方程，关键 PDE $ e^{u_{11}} + u_{22} + u_{33} = 0 $ 与 $ (e^{u_{11}}V)_{11} + V_{22} + V_{33} = 0 $ 由变分原理自然导出。