Desingularization of G_2 manifolds with isolated conical singularities
arXiv:0807.3346 · doi:10.2140/gt.2009.13.1583
Abstract
We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the overlap glueing region enables us to use a result of Joyce to conclude that the resulting compact smooth 7-manifold admits a torsion-free G_2 structure, with full G_2 holonomy. There are topological obstructions for this procedure to work, which arise from the degree 3 and degree 4 cohomology of the asymptotically conical G_2 manifolds which are glued in at each conical singularity. When a certain necessary topological condition on the manifold with isolated conical singularities is satisfied, we can introduce correction terms to the glueing procedure to ensure that it still works. In the case of degree 4 obstructions, these correction terms are trivial to construct, but in the case of degree 3 obstructions we need to solve an elliptic equation on a non-compact manifold. For this we use the Lockhart-McOwen theory of weighted Sobolev spaces on manifolds with ends. This theory is also used to obtain a good asymptotic expansion of the G_2 structure on an asymptotically conical G_2 manifold under an appropriate gauge-fixing condition, which is required to make the glueing procedure work.
55 pages, 6 figures. Version 2: Corrected small error in the proof of Lemma 2.12. (The statement of the lemma has not changed.)
References in corpus (1)
Cited by in corpus (8)
- G_2-manifolds and associative submanifolds via semi-Fano 3-folds
- A new construction of compact torsion-free -manifolds by gluing families of Eguchi-Hanson spaces
- Deformation theory of G_2 conifolds
- Moduli spaces of G2 manifolds
- Rate of asymptotic convergence near isolated singularity of G manifold
- -instantons on the spinor bundle of the 3-sphere
- On the incompleteness of -moduli spaces along degenerating families of -manifolds
- Isolated singularities in -structures with torsion