Desingularization of G2 manifolds with isolated conical singularities

Karigiannis, Spiro¹

¹ Mathematical Institute, University of Oxford, 24-29 St Giles’, Oxford OX1 3LB, United Kingdom, Department of Pure Mathematics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada

Geometry & topology, Tome 13 (2009) no. 3, pp. 1583-1655.

Résumé

We present a method to desingularize a compact $G_2$ manifold $M$ with isolated conical singularities by cutting out a neighbourhood of each singular point $x_i$ and gluing in an asymptotically conical $G_2$ manifold $N_i$. Controlling the error on the overlap gluing region enables us to use a result of Joyce to conclude that the resulting compact smooth $7$–manifold $\tilde{M}$ 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 $N_i$ which are glued in at each conical singularity. When a certain necessary topological condition on the manifold $M$ with isolated conical singularities is satisfied, we can introduce correction terms to the gluing 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 noncompact 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 $N$ under an appropriate gauge-fixing condition, which is required to make the gluing procedure work.

Détail

DOI : 10.2140/gt.2009.13.1583

Keywords: $\mathrm{G}_2$ manifolds, conical singularity, desingularization, asymptotically conical manifold

Bibliographie

[1] M Atiyah, E Witten, $M$–theory dynamics on a manifold of $G_2$ holonomy, Adv. Theor. Math. Phys. 6 (2002) 1

[2] T Aubin, Some nonlinear problems in Riemannian geometry, Springer Monogr. in Math., Springer (1998)

[3] C Bär, Real Killing spinors and holonomy, Comm. Math. Phys. 154 (1993) 509

[4] R Bartnik, The mass of an asymptotically flat manifold, Comm. Pure Appl. Math. 39 (1986) 661

[5] A L Besse, Einstein manifolds, Ergebnisse der Math. und ihrer Grenzgebiete (3) 10, Springer (1987)

[6] O Biquard, Fibrés paraboliques stables et connexions singulières plates, Bull. Soc. Math. France 119 (1991) 231

[7] R L Bryant, Some remarks on $G_2$–structures, from: "Proceedings of Gökova Geometry-Topology Conference 2005", Gökova Geometry/Topology Conference (GGT), Gökova (2006) 75

[8] R L Bryant, S M Salamon, On the construction of some complete metrics with exceptional holonomy, Duke Math. J. 58 (1989) 829

[9] J B Butruille, Classification des variétés approximativement kähleriennes homogènes, Ann. Global Anal. Geom. 27 (2005) 201

[10] Y M Chan, Simultaneous desingularizations of Calabi–Yau and special Lagrangian $3$–folds with conical singularities. I. The gluing construction, to appear in Ann. Global Anal. Geom.

[11] Y M Chan, Desingularizations of Calabi–Yau $3$–folds with a conical singularity, Q. J. Math. 57 (2006) 151

[12] Y M Chan, Desingularizations of Calabi–Yau $3$–folds with a conical singularity. II. The obstructed case, Q. J. Math. 60 (2009) 1

[13] M Fernández, A Gray, Riemannian manifolds with structure group $G_{2}$, Ann. Mat. Pura Appl. $(4)$ 132 (1982)

[14] A Gray, Riemannian manifolds with geodesic symmetries of order $3$, J. Differential Geometry 7 (1972) 343

[15] A Gray, The structure of nearly Kähler manifolds, Math. Ann. 223 (1976) 233

[16] R Harvey, H B Lawson Jr., Calibrated geometries, Acta Math. 148 (1982) 47

[17] D Joyce, Compact Riemannian $7$–manifolds with holonomy $G_2$. I, II, J. Differential Geom. 43 (1996) 291, 329

[18] D Joyce, Compact manifolds with special holonomy, Oxford Math. Monogr., Oxford Univ. Press (2000)

[19] D Joyce, Special Lagrangian submanifolds with isolated conical singularities. V. Survey and applications, J. Differential Geom. 63 (2003) 279

[20] D Joyce, Special Lagrangian submanifolds with isolated conical singularities. I. Regularity, Ann. Global Anal. Geom. 25 (2004) 201

[21] D Joyce, Special Lagrangian submanifolds with isolated conical singularities. II. Moduli spaces, Ann. Global Anal. Geom. 25 (2004) 301

[22] D Joyce, Special Lagrangian submanifolds with isolated conical singularities. III. Desingularization, the unobstructed case, Ann. Global Anal. Geom. 26 (2004) 1

[23] D Joyce, Special Lagrangian submanifolds with isolated conical singularities. IV. Desingularization, obstructions and families, Ann. Global Anal. Geom. 26 (2004) 117

[24] S Karigiannis, Moduli spaces of $\G$ manifolds with isolated conical singularities, in preparation

[25] S Karigiannis, Some notes on $\mathrm{G}_2$ and $\mathrm{Spin}(7)$ geometry, from: "Proceedings of the 2007 International Conference on Geometric Analysis (to appear)"

[26] S Karigiannis, Deformations of $G_2$ and $\mathrm{Spin}(7)$ structures, Canad. J. Math. 57 (2005) 1012

[27] A Kovalev, Twisted connected sums and special Riemannian holonomy, J. Reine Angew. Math. 565 (2003) 125

[28] R Lockhart, Fredholm, Hodge and Liouville theorems on noncompact manifolds, Trans. Amer. Math. Soc. 301 (1987) 1

[29] R Lockhart, R C Mcowen, Elliptic differential operators on noncompact manifolds, Ann. Scuola Norm. Sup. Pisa Cl. Sci. $(4)$ 12 (1985) 409

[30] J D Lotay, Desingularization of coassociative $4$–folds with conical singularities, to appear in Geom. Funct. Anal.

[31] J D Lotay, Calibrated submanifolds and the exceptional geometries, PhD thesis, University of Oxford (2005)

[32] J D Lotay, Coassociative $4$–folds with conical singularities, Comm. Anal. Geom. 15 (2007) 891

[33] S Marshall, Deformations of special Lagrangian submanifolds, PhD thesis, University of Oxford (2002)

[34] V G Maz′Ja, B A Plamenevskiĭ, Estimates in $L_{p}$ and in Hölder classes, and the Miranda–Agmon maximum principle for the solutions of elliptic boundary value problems in domains with singular points on the boundary, Math. Nachr. 81 (1978) 25

[35] J Nordström, Deformations of asymptotically cylindrical $G_2$–manifolds, Math. Proc. Cambridge Philos. Soc. 145 (2008) 311

[36] T Pacini, Deformations of asymptotically conical special Lagrangian submanifolds, Pacific J. Math. 215 (2004) 151

[37] R Reyes Carrión, S Salamon, A survey of nearly Kähler manifolds, Gac. R. Soc. Mat. Esp. 2 (1999) 40