[论文解读] Conjectures on counting associative 3-folds in $G_2$-manifolds

Dominic Joyce|arXiv (Cornell University)|Oct 31, 2016

Geometry and complex manifolds参考文献 61被引用 8

一句话总结

本文提出了一种框架，通过构造一个超势能 $\Phi_\psi$，在驯化的几乎 $G_2$-流形中定义 $G_2$ 量子上同调，该超势能计数关联3-流形作为与辅助4-形式 $\psi$ 无关的不变量，依赖于在重参数化下的变形不变性。关键贡献是提出了一个 $G_2$ 类比的格罗莫夫–威滕理论，其不变量仅依赖于闭3-形式 $\varphi$，并提出了唐纳森–塞加尔关于 $G_2$-瞬子计数的修正版本，引入了补偿项。

ABSTRACT

There is a strong analogy between compact, torsion-free $G_2$-manifolds $(X,φ,*φ)$ and Calabi-Yau 3-folds $(Y,J,g,ω)$. We can also generalize $(X,φ,*φ)$ to 'tamed almost $G_2$-manifolds' $(X,φ,ψ)$, where we compare $φ$ with $ω$ and $ψ$ with $J$. Associative 3-folds in $X$, a special kind of minimal submanifold, are analogous to $J$-holomorphic curves in $Y$. Several areas of Symplectic Geometry -- Gromov-Witten theory, Quantum Cohomology, Lagrangian Floer cohomology, Fukaya categories -- are built using 'counts' of moduli spaces of $J$-holomorphic curves in $Y$, but give an answer depending only on the symplectic manifold $(Y,ω)$, not on the (almost) complex structure $J$. We investigate whether it may be possible to define interesting invariants of tamed almost $G_2$-manifolds $(X,φ,ψ)$ by 'counting' compact associative 3-folds $N\subset X$, such that the invariants depend only on $φ$, and are independent of the 4-form $ψ$ used to define associative 3-folds. We conjecture that one can define a superpotential $Φ_ψ:{\mathcal U} oΛ_{>0}$ 'counting' associative $\mathbb Q$-homology 3-spheres $N\subset X$ which is deformation-invariant in $ψ$ for $φ$ fixed, up to certain reparametrizations $Υ:{\mathcal U} o{\mathcal U}$ of the base ${\mathcal U}=$Hom$(H_3(X;{\mathbb Z}),1+Λ_{>0})$, where $Λ_{>0}$ is a Novikov ring. Using this we define a notion of '$G_2$ quantum cohomology'. These ideas may be relevant to String Theory or M-Theory on $G_2$-manifolds. We also discuss Donaldson and Segal's proposal in arXiv:0902.3239, section 6.2, to define invariants 'counting' $G_2$-instantons on tamed almost $G_2$-manifolds $(X,φ,ψ)$, with 'compensation terms' counting weighted pairs of a $G_2$-instanton and an associative 3-fold, and suggest some modifications to it.

研究动机与目标

• 开发 $G_2$-类比的辛几何不变量（如格罗莫夫–威滕理论），其仅依赖于辛形式 $\omega$，而不依赖于复结构 $J$。
• 定义驯化几乎 $G_2$-流形 $(X,\varphi,\psi)$ 的不变量，仅依赖于 $\varphi$，不依赖于辅助4-形式 $\psi$，通过计数关联3-流形实现。
• 将卡拉比–丘3-流形与 $G_2$-流形之间的类比扩展至由特殊子流形模空间构建的不变量。
• 通过引入关联3-流形的补偿项，修正唐纳森–塞加尔的提案，以应对定义 $G_2$-瞬子不变量的挑战。
• 探讨超势能 $\Phi_\psi$ 具有临界点的条件，从而在 $G_2$-瞬子计数框架中实现非平凡不变量。

提出的方法

• 定义一个超势能 $\Phi_\psi: \mathcal{U} \to \Lambda_{>0}$，通过诺维科夫环 $\Lambda_{>0}$ 编码能量或同调类数据，计数 $X$ 中的 $\mathbb{Q}$-同调3-球面 $N$ 作为关联3-流形。
• 构建基空间 $\mathcal{U} = \mathrm{Hom}(H_3(X;\mathbb{Z}), 1 + \Lambda_{>0})$ 以参数化同调类，并允许计数的生成函数。
• 猜想 $\Phi_\psi$ 在 $\psi$ 的小变形下保持不变，仅通过基空间 $\mathcal{U}$ 的重参数化 $\Upsilon: \mathcal{U} \to \mathcal{U}$，从而确保其不依赖于 $\psi$ 的选择。
• 利用超势能通过 $\Phi_\psi$ 的临界点定义 $G_2$ 量子上同调的概念，类比于由 $J$-全纯曲线导出的量子上同调。
• 通过引入 $G_2$-瞬子与关联3-流形对的计数项，对唐纳森–塞加尔计划提出修正。
• 通过线性泛函 $[\varphi] \cdot \alpha$ 在 $H_3(X;\mathbb{Z})$ 上的分析，研究 $\Phi_\psi$ 临界点的障碍，表明非平凡不变量要求该配对存在退化性。

实验结果

研究问题

• RQ1 能否定义一个超势能 $\Phi_\psi$，使其在驯化的几乎 $G_2$-流形中计数关联3-流形，并在 $\psi$ 的变形下保持不变（至多通过基空间 $\mathcal{U}$ 的重参数化）？
• RQ2 在何种条件下超势能 $\Phi_\psi$ 具有临界点，这与非平凡 $G_2$-瞬子不变量的存在性有何关联？
• RQ3 如何修改唐纳森–塞加尔关于 $G_2$-瞬子计数的提案，以引入补偿项来考虑关联3-流形？
• RQ4 诺维科夫环 $\Lambda_{>0} 在编码关联3-流形计数的同调或能量数据方面起什么作用，以确保其在 $\psi$-变形下的不变性？
• RQ5 当 $[\varphi] \cdot \alpha$ 在 $H_3(X;\mathbb{Z})/\text{torsion}$ 上为单射时，为何 $\Phi_\psi$ 没有临界点，这对非平凡不变量的存在性意味着什么？

主要发现

• 超势能 $\Phi_\psi$ 被猜想在 $\psi$ 的小变形下保持不变，仅通过重参数化 $\Upsilon$，从而确保不变量仅依赖于 $\varphi$，而不依赖于辅助4-形式。
• 若 $[\varphi] \cdot \alpha$ 在 $H_3(X;\mathbb{Z})/\text{torsion}$ 上为单射，则 $\Phi_\psi$ 仅在多个同调类 $\alpha_1, \alpha_2$ 具有相同的 $[\varphi] \cdot \alpha$ 值时才具有临界点，这是非平凡不变量存在的必要条件。
• 当 $\Phi_\psi \equiv 0$ 时，不变量为平凡的，但此情形包含例如 $X = Y \times S^1$ 的例子，其中 $Y$ 为卡拉比–丘3-流形，$S^1$-局部化表明不变量可恢复为 $Y$ 的唐纳森–托马斯不变量。
• 非平凡 $G_2$-瞬子不变量仅当 $[\varphi]$ 落在 $H^3(X;\mathbb{R})$ 的真子空间中时才可定义，使得 $\Phi_\psi$ 具有临界点，且不变量由 $\alpha \in H^4(X;\mathbb{Z})/W$ 参数化，其中 $W = \ker([\varphi] \cup -)$。
• 该框架表明，$G_2$ 量子上同调可通过 $\Phi_\psi$ 的临界点集定义，类比于量子上同调由 $J$-全纯曲线导出。
• 本文提供了唐纳森–塞加尔提案的修正版本，其中 $G_2$-瞬子不变量通过关联3-流形的计数进行修正，并表明当 $\Phi_\psi$ 非零时，此类修正为必要。