[论文解读] Coassociative cones that are ruled by 2-planes

Daniel J. F. Fox|ArXiv.org|Nov 17, 2005

Advanced Topics in Algebra参考文献 9被引用 4

一句话总结

本文建立了 ℝ⁷ 中由 2-平面生成的 r-定向共协量锥与 oriented Grassmannian 𝔾̃(2,7) 中的 CR-全纯曲线之间的等价关系。通过利用 G₂-等变映射到 S⁶ 并分析不变量 a、b 和 ρ，作者构造了新的共协量 4-流形族——推广了 Harvey 和 Lawson 的原始例子——其中一些既非锥体也非由 2-平面生成，但仍保持 S¹-对称性。

ABSTRACT

It is shown that coassociative cones in R^7 that are r-oriented and ruled by 2-planes are equivalent to CR-holomorphic curves in the oriented Grassmanian of 2-planes in R^7. The geometry of these CR-holomorphic curves is studied and related to holomorphic curves in S^6. This leads to an equivalence between associative cones on one side and the coassociative cones whose second fundamental form has an O(2) symmetry on the other. It also provides a number of methods for explicitly constructing coassociative 4-folds. One method leads to a family of coassociative 4-folds whose members are neither cones nor are ruled by 2-planes. This family directly generalizes the original family of examples provided by Harvey and Lawson when they introduced coassociative geometry.

研究动机与目标

• 通过几何不变量对 ℝ⁷ 中由 2-平面生成的 r-定向共协量锥进行分类。
• 建立此类锥体与 oriented Grassmannian 𝔾̃(2,7) 中 CR-全纯曲线之间的对应关系。
• 利用 G₂-等变映射 p: 𝔾̃(2,7) → S⁶，将 CR-全纯曲线与 S⁶ 中的全纯曲线联系起来。
• 构造新的显式共协量 4-流形族，推广 Harvey 和 Lawson 的原始例子。
• 识别不变量 a、b 和 ρ 消失的几何条件，以实现显式构造。

提出的方法

• 使用 ℝ⁷ 上的显式 G₂-结构定义校准 3-形式 φ 及其相关的共协量条件。
• 应用外微分系统（EDS）与 G-结构技术，分析共协量锥的可积性。
• 通过 G₂-作用在 𝔾̃(2,7) 上定义 CR-结构，并将 CR-全纯曲线识别为一组 PDE 的解。
• 引入三个不变量：a、b（标量不变量）以及 ρ（线丛上的全纯截面），定义于 CR-全纯曲线上。
• 利用 G₂-等变投影 p: 𝔾̃(2,7) → S⁶，将 CR-全纯曲线与 S⁶ 中的全纯曲线联系起来。
• 通过微分 S⁶ 中的零挠全纯曲线，构造新的共协量 4-流形族，得到非锥体、非由 2-平面生成但保持 S¹-对称性的例子。

实验结果

研究问题

• RQ1 由 2-平面生成的 r-定向共协量锥与 𝔾̃(2,7) 中的 CR-全纯曲线之间存在何种精确的几何对应关系？
• RQ2 CR-全纯曲线在 𝔾̃(2,7) 上的不变量 a、b 和 ρ 如何与对应共协量锥的几何结构相关联？
• RQ3 在 G₂-等变映射下，𝔾̃(2,7) 中的 CR-全纯曲线与 S⁶ 中的全纯曲线之间存在何种关系？
• RQ4 Harvey 和 Lawson 的原始共协量 4-流形族能否推广至包含非锥体、非由 2-平面生成的例子？
• RQ5 共协量 4-流形的第二基本形式满足何种条件时会产生 S¹-对称性？这些条件如何与不变量 a、b、ρ 相关联？

主要发现

• 由 2-平面生成的 r-定向共协量锥等价于 oriented Grassmannian 𝔾̃(2,7) 中的 CR-全纯曲线。
• 不变量 a、b 和 ρ 自然地与 𝔾̃(2,7) 中的任意 CR-全纯曲线相关联，其几何意义可通过到 S⁶ 的映射得以解释。
• a、b 或 ρ 的消失对应于特殊几何构型：a = 0 表明曲线可提升为 S⁶ 中的全纯曲线；b = 0 表明存在对称性条件；ρ = 0 表明法丛出现退化。
• 通过微分 S⁶ 中的零挠全纯曲线，构造了新的共协量 4-流形族，推广了 Harvey 和 Lawson 的原始族。
• 该新族包含既非锥体也非由 2-平面生成的通用成员，但仍保持 S¹-对称性。
• 当且仅当共协量 4-流形的第二基本形式具有非平凡稳定子，且同构于 ℤ₃ 时，其才具有示例 9.2 中描述的几何结构，该结构与不变量 a、b、ρ 相关联。