[論文レビュー] Instantons in G2 manifolds from J-holomorphic curves in coassociative submanifolds

Naichung Conan Leung, Xiaowei Wang+1 more|arXiv (Cornell University)|Mar 27, 2013

Geometry and complex manifolds参考文献 24被引用数 3

ひとこと要約

この論文は、G₂多様体におけるインスタントン（3次元のアソシエイティブ部分多様体）と、共同相部分多様体におけるJ-正則曲線の間の対応関係を確立する。非線形性と線形化インスタントン方程式における弱い結合性を克服するため、C^{1,α}設定における変形法を用いる。主な結果は、カルラヤ・ヤウ3次元多様体上の複素構造の摂動を通じて新しいインスタントンの構成であり、タウブズのGW=SW対応により、それらの数え上げがシーベルグ＝ヴァイテン不変量と関連づけられることである。

ABSTRACT

In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.

研究の動機と目的

• G₂多様体におけるアソシエイティブ部分多様体（インスタントン）と、共同相部分多様体におけるJ-正則曲線の間の対応関係を確立すること。
• 標準的なL^p法が不適切となる非線形性および弱い結合性を克服するため、W^{1,p}の代わりにSchauder（C^{1,α}）設定を用いることで、インスタントン方程式における解析的課題に対処すること。
• カルラヤ・ヤウ3次元多様体における共同相部分多様体上の複素構造の変形を用いて、新しいインスタントンの例を構成すること。
• 非退化なシンプレクティック形式にとどまらず、退化または消える法線ベクトル場を含む場合にも、対応関係を拡張すること。
• G₂構造が閉じているが必ずしも平行でない「ほぼG₂」設定において、対応関係が有効であるかを検討すること。

提案手法

• インスタントンを構成するため、写像ではなく部分多様体そのものの変形に依拠する変形法が用いられ、周囲空間における法線フレームに依存する。
• W^{1,p}空間ではL^p推定が不可能な立方体導関数項の存在のため、インスタントン方程式をC^{1,α}設定で取り扱う。
• Schauder推定を用いて線形化インスタントン作用素に対する右逆作用素の有界性を確立し、陰関数定理の適用に不可欠な条件を満たす。
• C_t（M内の共同相部分多様体の族）をC_0とC_εの境界を持つように定義し、法線ベクトル場nによって誘導される摂動されたほぼ複素構造J_nを導入する。
• 誤差推定とC^{1,α}ノルムにおける2次推定を用いて、陰関数定理をF_ε(V) = 0の解法に適用する。ここでF_εはインスタントン作用素である。
• この方法は、共通部分多様体C_0におけるJ_n-正則曲線Σ_nのFredholm正則性に依存しており、小さな複素構造摂動に対してもその保存を保証する。

実験結果

リサーチクエスチョン

• RQ1 G₂多様体におけるアソシエイティブ部分多様体（インスタントン）は、共同相部分多様体内のJ-正則曲線から体系的に構成可能か？
• RQ2 標準的なL^p法が不適切となる非線形的かつ弱く結合されたインスタントン方程式を、解析的にどのように扱えるか？
• RQ3 共同相部分多様体内のJ-正則曲線から生じるインスタントンの数え上げにおいて、シーベルグ＝ヴァイテン不変量が果たす役割は何か？
• RQ4 共同相部分多様体族の法線ベクトル場にゼロ点や退化がある場合、インスタントンとJ-正則曲線の間の対応関係は維持されるか？
• RQ5 G₂構造が閉じているが平行でない「ほぼG₂」設定において、対応関係は拡張可能か？

主な発見

• 共同相部分多様体上の複素構造の摂動を用いて、G₂多様体内に新しいインスタントン族を構成した。これは、Fredholm正則なJ_0-正則曲線に近接するJ_n-正則曲線を用いる。
• 共通部分多様体族の法線ベクトル場にゼロ点があっても、曲線がそのゼロ集合を避ける限り、インスタントンとJ-正則曲線の間の対応関係は成立する。
• C^{1,α}設定における解析が、インスタントン方程式の立方非線形性を効果的に扱い、標準的なW^{1,p}推定が妨げられるのを防いだ。
• 陰関数定理を用いてインスタントン方程式F_ε(V) = 0を解き、誤差推定||F_ε(0)||_{C^{α}} ≤ Cε^{1−α}により、十分に小さなεに対して解が存在することを示した。
• この構成により、積分Σ×[0,ε]とは微分同相でない非自明なインスタントンが得られ、それらは自明な円柱的解とは区別される。
• この方法は、線形化作用素のFredholm正則性に依存するため、ほぼG₂構造への一般化が可能性であると示唆している。