Abstract:We introduce a new method to construct closed rigid (unobstructed) associative submanifolds in the twisted connected sum $G_2$-manifolds [Kov03, KL11, CHNP15]. More precisely, we prove a gluing theorem of asymptotically cylindrical (ACyl) associative submanifolds in ACyl $G_2$-manifolds under a hypothesis that can be interpreted as a transverse Lagrangian intersection condition. This is analogous to the gluing theorem for $G_2$-instantons introduced in [SW15]. We rephrase the hypothesis in the special cases where the ACyl associative submanifolds are obtained from holomorphic curves or special Lagrangians in ACyl Calabi-Yau $3$-folds. In this way we find many new associative submanifolds which are diffeomorphic to $S^3$, $\mathbf R\mathbf P^3$ or $\mathbf R\mathbf P^3\#\mathbf R\mathbf P^3$. To lay the foundation for the gluing theorem we also study the moduli space of ACyl associative submanifolds with a natural topology. We prove that the moduli space is locally homeomorphic to the zero set of a smooth map between two finite dimensional spaces whose index depends only on the asymptotic cross section.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct and understand associative submanifolds that are closed and rigid (i.e., unobstructed) in twisted connected sum (TCS) \(G_2\)-manifolds. Specifically, the author introduced a new method to construct these submanifolds and proved a gluing theorem, which describes how to glue asymptotically cylindrical (ACyl) associative submanifolds under specific conditions.
### Main problems
1. **Constructing associative submanifolds**: How to construct closed and rigid associative submanifolds in TCS \(G_2\)-manifolds.
2. **Gluing theorem**: Prove a gluing theorem that allows two ACyl associative submanifolds to be glued into a new associative submanifold when certain conditions are met.
3. **Applications and examples**: Demonstrate through specific examples how to apply this gluing theorem, especially in finding new associative submanifolds in \(G_2\)-manifolds constructed from semi - Fano 3 - folds.
### Specific content
- **Asymptotically cylindrical associative submanifolds**: The author studied the properties of asymptotically cylindrical associative submanifolds and defined their moduli spaces.
- **Gluing conditions**: Proposed a hypothesis (Hypothesis 1.1) that ensures unobstructedness during the gluing process. Specific conditions include asymptotic section matching, no infinitesimal deformation, and transverse intersection of the moduli spaces.
- **New examples**: By applying the gluing theorem, the author found many new associative submanifolds, which are homeomorphic to \(S^3\), \(\mathbb{RP}^3\) or \(\mathbb{RP}^3\#\mathbb{RP}^3\).
- **Study of the moduli space**: Studied the moduli space of ACyl associative submanifolds and proved that this moduli space is locally homeomorphic to the zero set of a certain smooth map.
### Significance
This work provides new tools and methods for understanding the geometric structures in \(G_2\)-manifolds, especially the construction and classification of associative submanifolds. This is of great significance for M - theory in theoretical physics and differential geometry in mathematics.
Through these efforts, the author not only expands the understanding of \(G_2\)-manifolds but also provides a basis for future research, such as verifying physicists' conjectures about infinitely many closed associative submanifolds.
### Formula examples
Some key formulas involved in the paper are represented in Markdown format as follows:
- **3 - form \(\varphi\)**:
\[
\varphi_e(u, v, w)=g_e(u\times v, w)
\]
where \(g_e(u, v) = -\text{Re}(uv)\) is the standard Euclidean metric.
- **Fueter operator \(D_P\)**:
\[
D_Pv:=\sum_{i = 1}^{3}e_i\times\nabla^\perp_{P, e_i}v
\]
where \(N_P\) is the normal bundle of \(P\), \(\nabla^\perp_P\) is the normal connection, and \(\{e_1, e_2, e_3\}\) is an oriented local orthogonal frame of \(T_P\).
These formulas and concepts are the basis for understanding the construction of associative submanifolds and the gluing theorem discussed in the paper.