Conjectures on counting associative 3-folds in $G_2$-manifolds

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}\toΛ_{>0}$ 'counting' associative $\mathbb Q$-homology 3-spheres $N\subset X$ which is deformation-invariant in $ψ$ for $φ$ fixed, up to certain reparametrizations $Υ:{\mathcal U}\to{\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.