Coassociative 4-folds with conical singularities (Q937831)

\textit{R. Harvey} and \textit{H. B. Lawson} in [Acta Math. 148, 47--157 (1982; Zbl 0584.53021)] introduced the notion of coassociative 4-folds as examples of calibrated 4-dimensional submanifolds of \(\mathbb{R}^7\) which are linked to the Lie group \(G_2\). Manifolds with singularities modeled on cones were studied by \textit{R. B. Lockhart} and \textit{R. C. McOwen} in [Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 12, 409--447 (1985; Zbl 0615.58048)], and by \textit{D. Joyce} in the series of his articles (e.g. [Ann. Global Anal. Geom. 25, No.~3, 201--251 (2004; Zbl 1068.53037)]). Coassociative 4-folds with conical singularities also appeared in [Preprint, 2005, \url{arXiv:math/0511150}]. In this article the author studies the deformation theory of coassociative 4-folds with conical singularities in \(G_2\) manifold. At the beginning he defines coassociative 4-folds, gives the general definition of a manifold with conical singularities and then, specializes it to coassociative 4-folds. In the further part of the article author considers in detail three problems related to the theory of deformations of coassociative 4-folds \(N\): first he considers deformations with the same singularities as \(N\), then allows for changes in the singularities and, finally, includes variations of the ambient \(G_2\) structure. He shows that the moduli space, in each case, is locally homeomorphic to the kernel of a smooth map between smooth manifolds and determines a lower bound for its expected dimension. Further, by relaxing the condition on the \(G_2\) structure, he proves a generic smoothness result for the second and third moduli spaces.