[論文レビュー] 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

ひとこと要約

本稿は7次元におけるG₂構造の境界値問題を定式化し、対称性の簡約を用いて4次元および3次元の変分問題に還元する。体積汎関数の臨界点が torsion-free 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₂構造の変分枠組みを境界を持つ多様体へ拡張すること。
• 所定の境界データを有する閉じた正の3形式の空間における体積汎関数の存在および臨界点を研究すること。
• 対称性の簡約を用いて7次元問題を4次元および3次元の設定に還元し、実Monge-Ampère方程式およびケーラー幾何との中での関係を明らかにすること。
• 臨界点が形式的極大値であるための条件を、ヘッセ行列解析およびコンパクト領域における部分積分を用いて確立すること。
• スカラー曲率が0のケーラー多様体および同次的汎関数を含む文脈において、変分的アプローチを一般化すること。

提案手法

• 7次元において、固定されたコhomology類を表す閉じた正の3形式の空間に体積汎関数を定式化し、境界6多様体上での正の3形式によって境界条件を指定する。
• 体積の第一変分に部分積分を適用し、Euler-Lagrange方程式 $ d\tilde{\rho} = 0 $ を導出。ここで $ \tilde{\rho} = *_{g_\rho}\rho $ であり、これにより torsion-free G₂構造が得られる。
• 対称性の仮定を用いて7次元問題を4次元および3次元に簡約し、得られる方程式が実Monge-Ampère方程式の一般化であることを特定。
• 対称テンソル $ \rho^{ij} $ における変分問題を導入し、制約 $ \nabla_i \nabla_j \rho^{ij} = 0 $ を課し、定常性が $ \nabla_i \nabla_j u = D\nu(\rho) $ を満たすある関数 $ u $ の解に対応することを示す。
• 線形化作用素の随伴を用いて双対変分問題を導出し、線形化方程式と制約方程式が随伴作用素であることを示す。
• LeBrunによるスカラー曲率が0のケーラー多様体の構成にこの枠組みを適用し、$ e^{u_{11}} + u_{22} + u_{33} = 0 $ および $ V $ に関する線形方程式を含む非線形PDE系との同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 6次元境界上での正の3形式が、境界を持つ7次元多様体上での閉じた正の3形式に拡張可能となる条件は何か？
• RQ2 体積汎関数の臨界点が形式的極大値であるとは、すなわち第二変分が非正となるとは、どのような場合か？
• RQ3 7次元における対称性の簡約が、4次元および3次元の変分問題にどのように還元され、それらの還元で生じるPDEは何か？
• RQ4 変分問題の文脈において、非線形方程式の線形化作用素とその形式的随伴との関係は何か？
• RQ5 LeBrunによるスカラー曲率が0のケーラー多様体の構成は、G₂境界値問題と同じ変分枠組みに埋め込めるか？

主な発見

• 体積汎関数の $ \tilde{\rho} $-強化形式における臨界点は、7次元多様体が閉じたG₂多様体の部分領域であり、境界データがグローバル形式から誘導される場合、形式的極大値である。
• 環境多様体が閉じている場合、臨界点における体積汎関数の第二変分は非正であり、微分同相写像の下での局所的厳密極大値であることが確認される。
• 3次元還元において、変分問題は非線形PDE系を導き、関数 $ u $ が $ \nabla_i \nabla_j u = D\nu(\rho) $ を満たすならば、汎関数の定常性が保証される。
• 摂動 $ V $ の線形化方程式は、非線形方程式の線形化の形式的随伴であり、両方の方程式間に双対性が確立される。
• 特別な場合 $ \nu(\rho) = (\text{det} \, \rho)^{1/3} $ において、線形化作用素は自己随伴となり、解析が簡略化され、標準的なMonge-Ampère構造が回復される。
• この枠組みは、LeBrunの0スカラー曲率ケーラー多様体の式を特別な場合として回復し、主要なPDE $ e^{u_{11}} + u_{22} + u_{33} = 0 $ および $ (e^{u_{11}}V)_{11} + V_{22} + V_{33} = 0 $ が、変分原理から自然に導かれる。