Desingularization of Coassociative 4-folds with Conical Singularities
Jason Lotay
备注：
50 pages, LaTeX, v2: significant revision of the argument leading to the key Sobolev embedding estimates; additional hypotheses included for desingularization to be unobstructed. To appear in Geometric and Functional Analysis
发表信息：
Geometric and Functional Analysis 18 (2008), 2055-2100.
Given a coassociative 4-fold N with a conical singularity in a varphi-closed 7-manifold M (a manifold endowed with a distinguished closed 3-form varphi), we construct a smooth family, {N'(t): t\in(0,tau)} for some tau>0, of (smooth, nonsingular,) compact coassociative 4-folds in M which converge to N in the sense of currents, in geometric measure theory, as t tends to 0. This realisation of desingularizations of N is achieved by gluing in an asymptotically conical coassociative 4-fold in R^7, dilated by t, then deforming the resulting compact submanifold of M to the required coassociative 4-fold.
We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for deformations of conically singular coassociative 4-folds, and thus relate them to the stability of the singularities. We use our results to describe the relationship between moduli spaces of coassociative 4-folds with conical singularities and those of their desingularizations. We als…
We study the stability of coassociative 4-folds with conical singularities under perturbations of the ambient G_2 structure by defining an integer invariant of a coassociative cone which we call the stability index. The stability index of a coassociative cone is determined by the spectrum of the curl operator acting on its link. We explicitly calculate the stability index for cones on group orbits. We also describe the stability index for cones fibered by 2-planes over algebraic curves using the degree and genus of the curve and the spectrum of the Laplacian on the link. Finally we apply our r…
We study coassociative 4-folds N in R^7 which are asymptotically conical to a cone C with rate lambda<1. If lambda is in the interval [-2,1) and generic, we show that the moduli space of coassociative deformations of N which are also asymptotically conical to C with rate lambda is a smooth manifold, and we calculate its dimension. If lambda<-2 and generic, we show that the moduli space is locally homeomorphic to the kernel of a smooth map between smooth manifolds, and we give a lower bound for its expected dimension. We also derive a test for when N will be planar if lambda<-2 and we discuss e…
This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states that the moduli space is locally homeomorphic to the kernel of a smooth map between smooth manifolds. In each case, the map in question can be considered as a projection from the infinitesimal deformation space onto the obstruction space. Thus, when there are no obstructions the moduli space is a smooth manifold. Furthermore, we calculate a lower bound on the e…
Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional orbits, we show that the only homogeneous coassociative submanifold is the zero section of $Λ^{2}_{-} S^{4}$ up to the automorphisms and construct many cohomogeneity one examples explicitly. In particular, we obtain examples of non-compact coassociative submanifolds with conical…
We study Calabi-Yau 3-folds M_0 with a conical singularity x modelled on a Calabi-Yau cone V. We construct desingularizations of M_0, obtaining a 1-parameter family of compact, nonsingular Calabi-Yau 3-folds which has M_0 as the limit. The way we do is to choose an Asymptotically Conical Calabi-Yau 3-fold Y modelled on the same cone V, and then glue into M_0 at x after applying a homothety to Y. We then get a 1-parameter family of nearly Calabi-Yau 3-folds M_t depending on a small real variable t. For sufficiently small t, we show that the nearly Calabi-Yau structures on M_t can be deformed to…
This paper is a follow-up to an earlier paper math.DG/0410260 on desingularizations of Calabi-Yau 3-folds with a conical singularity. In math.DG/0410260 we study Calabi-Yau 3-folds M_0 with a conical singularity at x modelled on some Calabi-Yau cone V, and construct a desingularization of M_0 by gluing in an Asymptotically Conical (AC) Calabi-Yau 3-fold Y to M_0 at x. In this paper, we shall investigate a similar desingularization problem on special Lagrangian (SL) 3-folds in the corresponding Calabi-Yau 3-folds. More precisely, suppose M_0 is now a Calabi-Yau 3-fold with finitely many conical…
A natural approach to the construction of nearly G2 manifolds lies in resolving nearly G2 spaces with isolated conical singularities by gluing in asymptotically conical G2 manifolds modelled on the same cone. If such a resolution exits, one expects there to be a family of nearly G2 manifolds, whose endpoint is the original nearly G2 conifold and whose parameter is the scale of the glued in asymptotically conical G2 manifold. We show that in many cases such a curve does not exist. The non-existence result is based on a topological result for asymptotically conical G2 manifolds: if the rate of t…
Bryant-Salamon constructed three 1-parameter families of complete manifolds with holonomy $\mathrm{G}_2$ which are asymptotically conical to a holonomy $\mathrm{G}_2$ cone. For each of these families, including their asymptotic cone, we construct a fibration by asymptotically conical and conically singular coassociative 4-folds. We show that these fibrations are natural generalizations of the following three well-known coassociative fibrations on $\mathbb R^7$: the trivial fibration by 4-planes, the product of the standard Lefschetz fibration of $\mathbb C^3$ with a line, and the Harvey-Lawson…
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 c…
This is the fourth in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first paper math.DG/0211294 studied the regularity of X near its singular points, and the second m…
This is the third in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302356, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first two papers math.DG/0211294, math.DG/0211295 studied the regularity of X near its singular poi…
We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth special Lagrangians. We also use soft methods from symplectic geometry (the relative version of the h--principle) and tools from algebraic topology to prove (both positive and negative) results about Lagrangian desingularizations of Lagrangian submanifolds with isolated singulariti…
We prove two gluing theorems for special Lagrangian (SL) conifolds in complex space C^m. Conifolds are a key ingredient in the compactification problem for moduli spaces of compact SLs in Calabi-Yau manifolds. In particular, our theorems yield the first examples of smooth SL conifolds with 3 or more planar ends and the first (non-trivial) examples of SL conifolds which have a conical singularity but are not, globally, cones. We also obtain: (i) a desingularization procedure for transverse intersection and self-intersection points, using "Lawlor necks"; (ii) a construction which completely desi…
This is the first in a series of five papers math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272, which surveys the series, gives examples, and applies the results to prove some conjectures. This first paper lays the foundations for the series, giving definitions and proving auxiliary results in symp…
This is the last in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with this paper. We survey the major results of the previous four papers, giving brief explanations of the proofs. We apply the results to describe the boundary of a moduli space of compact, nonsingular SL m-folds N in M. We prove the…
This is the second in a series of five papers math.DG/0211294, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and proves some conjectures. In this paper we study the deformation theory of compact SL m-folds X in M with conical singularities. We define the moduli space M_…
