[論文レビュー] Deformations in G_2 Manifolds

Selman Akbulut, Sema Salur|ArXiv.org|Jan 27, 2007

Advanced Numerical Analysis Techniques参考文献 3被引用数 6

ひとこと要約

本稿では、G₂多様体内の結合的部分多様体の変形を、接束を結合的3次元バンドルと複素4次元バンドルに分解する2平面場Λを導入することで研究する。これにより、Seiberg-Witten型方程式を用いた変形理論の再定式化が可能になる。主な貢献は、ディラク作用素とスピン^c構造を用いた、結合的部分多様体に対するSeiberg-Witten不変量の幾何的実現であり、G₂ 3形式と交差積のみを用いた、簡潔で自明な枠組みを提供する。

ABSTRACT

Here we study the deformations of associative submanifolds inside a G_2 manifold M^7 with a calibration 3-form ϕ. A choice of 2-plane field Λon M (which always exits) splits the tangent bundle of M as a direct sum of a 3-dimensional associate bundle and a complex 4-plane bundle TM= E\oplus V, and this helps us to relate the deformations to Seiberg-Witten type equations. Here all the surveyed results as well as the new ones about G_2 manifolds are proved by using only the cross product operation (equivalently ϕ). We feel that mixing various different local identifications of the rich G_2 geometry (e.g. cross product, representation theory and the algebra of octonions) makes the study of G_2 manifolds looks harder then it is (e.g. the proof of McLean's theorem \cite{m}). We believe the approach here makes things easier and keeps the presentation elementary. This paper is essentially self contained.

研究の動機と目的

• G₂多様体内の結合的部分多様体の変形理論を、八元数や表現論に依存せずに、G₂ 3形式と交差積演算のみを用いて、自己完結的かつ初等的なアプローチで提供すること。
• 2平面場によって誘導される接束の分解を通じて、結合的部分多様体の変形空間をSeiberg-Witten型方程式と関連付けること。
• 部分多様体上の正規バンドルとラインバンドルから導かれるU(2)バンドル上にディラク作用素を構成し、これにより結合的部分多様体に対するSeiberg-Witten不変量を定義すること。
• 複素4次元バンドルV → Mの自然な切断の零点集合がΛ-結合的部分多様体を生成することを示し、Seiberg-Witten方程式を通じた位相的不変量の構成を可能にすること。
• Weitzenböck公式を用いたコンパクト性の確立により、結合的部分多様体の変形空間のコンパクト性を示し、well-definedな不変量を保証すること。

提案手法

• G₂多様体M上の2平面場Λにより、TMが結合的3次元バンドルEと複素4次元バンドルVに分解され、G₂に適合する構造が誘導される。
• 埋め込みf: Y → Mのガウス写像σ(f)はグラスマン多様体G₃(Y,M)に値をとり、Yが結合的であるための必要十分条件はσ(f)がφ-結合的3次元平面の部分束G₃^φ(M)に値をとることである。
• 変形は、G₃(M)上のゲージ群作用sによる摂動ガウス写像˜σ = s∘σを通じて研究され、G₃^φ(Y,M)への横断的交差を保証する。
• ラインバンドルK → Y上の接続Aと、正規バンドルν上のSO(4)接続が、W⁺ ≅ K⁻¹ ⊕ Cにスピン^c構造を誘導し、Y上のU(2)バンドルを形成する。
• 交差積によるクリフォード乗法により、ディラク作用素D̸_A: Ω⁰(W⁺) → Ω⁰(W⁺)が定義され、その核がW⁺内の局所的変形をパrametrizeする。
• F_A = σ(x)という制約を課すと、D̸_A(x) = 0およびF_A = σ(x)というSeiberg-Witten方程式に類似した系が得られ、Weitzenböck公式により変形空間がコンパクトであることが保証される。

実験結果

リサーチクエスチョン

• RQ1 G₂多様体内の結合的部分多様体の変形理論は、八元数や表現論に依存せずに、G₂ 3形式と交差積のみを用いてどのように再定式化できるか？
• RQ2 2平面場による接束の分解から導かれるSeiberg-Witten型方程式の幾何的意味は何か？
• RQ3 複素4次元バンドルV → Mの自然な切断は、他のG₂構造から構成可能か？ その零点集合はΛ-結合的部分多様体を生成するか？
• RQ4 ディラク作用素D̸_Aの核は、結合的変形のモジュライ空間とどのように関係し、どのようなコンパクト性の性質を有するか？
• RQ5 Seiberg-Witten型系を用いて、結合的部分多様体にどのような位相的不変量を割り当て可能か？ これは、周囲のG₂多様体の幾何とどのように関連するか？

主な発見

• Λ-結合的部分多様体Y ⊂ (M, φ, Λ)の変形空間は、正規バンドルとラインバンドルK → Yから構成されたU(2)バンドルW⁺ → Y上のディラク作用素D̸_Aの核によって局所的にパrametrizeされる。
• F_A = σ(x)という制約を課すと、系D̸_A(x) = 0およびF_A = σ(x)はSeiberg-Witten方程式に類似し、Weitzenböck公式によりモジュライ空間がコンパクトであることが示された。
• YのSeiberg-Witten不変量はwell-definedであり、V → Mの自然な切断の零点集合に整数値不変量を割り当てる。この切断は、G₃(M)からの切断の引き戻しを他のG₂構造を用いて構成する。
• V → Mの切断の横断的零点集合は、すべてΛ-結合的部分多様体Y³を生成する。これは、横断性によりTY ≅ E|_Yという自然な同一視が得られるためである。
• 本手法は、八元数や表現論といった複雑な道具を避け、G₂ 3形式φと関連する交差積のみに依存しており、初等的かつ自己完結的なアプローチを提供する。
• T*Y ≅ Λ²(Y)によるW⁺への作用がクリフォード乗法を通じてスピン^c構造と整合的であり、周囲の計量とY上の変形幾何を結びつける。