[论文解读] Deformations in G_2 Manifolds

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

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

一句话总结

本文通过引入一个2平面丛Λ，将G₂流形中的关联子流形形变问题重新表述为Seiberg-Witten型方程。该2平面丛将切丛分解为一个关联3平面丛和一个复4平面丛，从而实现基于Dirac算子与spin^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₂的3-形式与叉积运算。
• 通过由2平面丛诱导的切丛分裂，将关联子流形的形变空间与Seiberg-Witten型方程联系起来。
• 通过在由法丛与子流形上的线丛导出的U(2)丛上构造Dirac算子，为关联子流形定义Seiberg-Witten不变量。
• 证明复4平面丛V → M的自然截面的零集构成Λ-关联子流形，从而通过Seiberg-Witten方程实现拓扑不变量的构造。
• 通过Weitzenböck公式建立形变空间的紧致性，确保关联子流形的不变量定义良好。

提出的方法

• 在G₂流形M上定义一个2平面丛Λ，将其切丛TM分裂为一个3维关联丛E与一个复4平面丛V，从而诱导一个与G₂相容的结构。
• 嵌入f: Y → M的Gauss映射σ(f)映射到Grassmannian G₃(Y,M)，且Y为关联子流形当且仅当σ(f)落入G₃^φ(M)，即φ-关联3平面的子丛。
• 通过扰动Gauss映射˜σ = s∘σ研究形变，其中s为G₃(M)上的规范群作用，确保与G₃^φ(Y,M)的横截性。
• 在Y上的线丛K → Y上定义联络A，以及在法丛ν上定义SO(4)联络，从而在W⁺ ≅ K⁻¹ ⊕ C上诱导一个spin^c结构，得到Y上的U(2)丛。
• 通过叉积定义的Clifford乘法构造Dirac算子D̸_A: Ω⁰(W⁺) → Ω⁰(W⁺)，其核参数化W⁺中的局部形变。
• 施加约束F_A = σ(x)后，得到类似Seiberg-Witten方程的系统：D̸_A(x) = 0 且 F_A = σ(x)，其形变空间因Weitzenböck公式而紧致。

实验结果

研究问题

• RQ1 如何仅使用G₂的3-形式与叉积，将G₂流形中关联子流形的形变理论重新表述，避免依赖八元数或表示论？
• RQ2 通过2平面丛分裂切丛所导出的Seiberg-Witten型方程的几何意义是什么？
• RQ3 能否从其他G₂结构构造复4平面丛V → M的自然截面，且其零集是否产生Λ-关联子流形？
• RQ4 Dirac算子D̸_A的核如何与关联形变的模空间相关联，其继承了哪些紧致性性质？
• RQ5 可否通过Seiberg-Witten型系统为关联子流形分配一个拓扑不变量，其与周围G₂流形的几何有何关联？

主要发现

• Λ-关联子流形Y ⊂ (M, φ, Λ)的形变空间在局部由U(2)丛W⁺ → Y上的Dirac算子D̸_A的核参数化，该算子由法丛与Y上的线丛K → Y构造而成。
• 通过施加约束F_A = σ(x)，系统D̸_A(x) = 0 与 F_A = σ(x)被证明类似于Seiberg-Witten方程，且因Weitzenböck公式而具有紧致的模空间。
• Y的Seiberg-Witten不变量是良好定义的，其为自然截面的零集赋予一个整数值不变量，该截面通过另一G₂结构从G₃(M)拉回构造而成。
• V → M的截面的任意横截零集均产生一个Λ-关联子流形Y³，这是由于横截性诱导的自然同构TY ≅ E|_Y。
• 该方法避免了复杂的工具（如八元数或表示论），仅依赖于G₂的3-形式φ与相应的叉积，使方法紧凑且自包含。
• T*Y ≅ Λ²(Y)通过Clifford乘法在W⁺上诱导的作用与spin^c结构相容，将周围度量与Y上的形变几何联系起来。