Deformation theory of nearly $\mathrm{G}_2$ manifolds
Shubham Dwivedi, Ragini Singhal
备注：
v2-changes following the referee's reports. Streamlined Sec. 2 and 3 for better exposition. Corrected the typo in the identification of the kernel of the modified Dirac operator in Sec. 3. Added various remarks throughout the paper for clarity and added more details to the calculations in Sec. 5 on Aloff--Wallach spaces. Updated references and corrected various typos. 31 pages
发表信息：
Communications in Analysis and Geometry Volume 31 Number 3 2023
We study the deformation theory of nearly $\mathrm{G}_2$ manifolds. These are seven dimensional manifolds admitting real Killing spinors. We show that the infinitesimal deformations of nearly $\mathrm{G}_2$ structures are obstructed in general. Explicitly, we prove that the infinitesimal deformations of the homogeneous nearly $\mathrm{G}_2$ structure on the Aloff--Wallach space are all obstructed to second order. We also completely describe the cohomology of nearly $\mathrm{G}_2$ manifolds.
We study the deformation theory of $\mathrm{G}_2$-instantons on nearly $\mathrm{G}_2$ manifolds. There is a one-to-one correspondence between nearly parallel $\mathrm{G}_2$ structures and real Killing spinors, thus the deformation theory can be formulated in terms of spinors and Dirac operators. We prove that the space of infinitesimal deformations of an instanton is isomorphic to the kernel of an elliptic operator. Using this formulation we prove that abelian instantons are rigid. Then we apply our results to describe the deformation space of the canonical connection on the four normal homoge…
Nearly Kähler manifolds are the Riemannian 6-manifolds admitting real Killing spinors. Equivalently, the Riemannian cone over a nearly Kähler manifold has holonomy contained in G2. In this paper we study the deformation theory of nearly Kähler manifolds, showing that it is obstructed in general. More precisely, we show that the infinitesimal deformations of the homogeneous nearly Kähler structure on the flag manifold are all obstructed to second order.
We describe the second order obstruction to deformation for nearly $G_2$ structures on compact manifolds. Building on work of B.Alexandrov and U.Semmelmann this allows proving rigidity under deformation for the proper nearly $G_2$ structure on the Aloff-Wallach space $N(1,1)$.
Manifolds admitting Killing spinors are Einstein manifolds. Thus, a deformation of a Killing spinor entails a deformation of Einstein metrics. In this paper, we study infinitesimal deformations of Killing spinors on nearly parallel $\mathrm{G}_2$-manifolds. Since there is a one-to-one correspondence between nearly parallel $\mathrm{G}_2$-structures and Killing spinors on 7-dimensional spin manifolds, our results imply that infinitesimal deformations of nearly parallel $\mathrm{G}_2$-structures are examined in terms of Killing spinors. Applying the same technique, we identify that the space of …
We study the space of nearly Kähler structures on compact 6-dimensional manifolds. In particular, we prove that the space of infinitesimal deformations of a strictly nearly Kähler structure (with scalar curvature scal) modulo the group of diffeomorphisms, is isomorphic to the space of primitive co-closed (1,1)-eigenforms of the Laplace operator for the eigenvalue 2scal/5.
We study the infinitesimal deformations of a proper nearly parallel G_2-structure and prove that they are characterized by a certain first order differential equation. In particular we show that the space of infinitesimal deformations modulo the group of diffeomorphisms is isomorphic to a subspace of co-closed $Λ^3_{27}$-eigenforms of the Laplace operator for the eigenvalue 8 scal/21. We give a similar description for the space of infinitesimal Einstein deformations of a fixed nearly parallel G_2-structure. Moreover we show that there are no deformations on the squashed S^7 and on SO(5)/SO(3),…
It is well-known that every 6-dimensional strictly nearly Kähler manifold $(M,g,J)$ is Einstein with positive scalar curvature $scal>0$. Moreover, one can show that the space $E$ of co-closed primitive (1,1)-forms on $M$ is stable under the Laplace operator $Δ$. Let $E(a)$ denote the $a$-eigenspace of the restriction of $Δ$ to $E$. If $M$ is compact, we prove that the moduli space of infinitesimal Einstein deformations of the nearly Kähler metric $g$ is naturally isomorphic to the direct sum $E(scal/15)\oplus E(scal/5)\oplus E(2scal/5)$. It is known that the last summand is itself isomorphic w…
A nearly parallel $G_{2}$-manifold $Y$ is a Riemannian 7-manifold whose cone $C(Y) = \mathbb{R}_{>0} \times Y$ has the holonomy group contained in ${\rm Spin(7)}$. In other words, it is a spin 7-manifold with a real Killing spinor. We have a special class of calibrated submanifolds called Cayley submanifolds in $C(Y)$. An associative submanifold in $Y$ is a minimal 3-submanifold whose cone is Cayley. We study its deformations, namely, Cayley cone deformations, explicitly when it is homogeneous in the 7-sphere $S^{7}$.
We study hypersurfaces in a nearly $\mathrm{G}_2$ manifold. We define various quantities associated to such a hypersurface using the $\mathrm{G}_2$ structure of the ambient manifold and prove several relationships between them. In particular, we give a necessary and sufficient condition for a hypersurface with an almost complex structure induced from the $\mathrm{G}_2$ structure of the ambient manifold, to be nearly K$\ddot{\text{a}}$hler. Then using the nearly $\mathrm{G}_2$ structure on the round sphere $S^7$, we prove that for a compact minimal hypersurface $M^6$ of constant scalar curvatur…
Associative submanifolds $A$ in nearly parallel $G_2$-manifolds $Y$ are minimal 3-submanifolds in spin 7-manifolds with a real Killing spinor. The Riemannian cone over $Y$ has the holonomy group contained in ${\rm Spin(7)}$ and the Riemannian cone over $A$ is a Cayley submanifold. Infinitesimal deformations of associative submanifolds were considered by the author. This paper is a continuation of the work. We give a necessary and sufficient condition for an infinitesimal associative deformation to be integrable (unobstructed) to second order explicitly. As an application, we show that the infi…
The aim of the paper is to investigate the rigidity and the deformability of pseudoholomorphic curves in the nearly K{ä}hler sphere $\mathbb{S}^6,$ among minimal surfaces in spheres. Under various assumptions we describe the moduli space of all noncongruent minimal surfaces $f\colon M\to\mathbb{S}^n$ that are isometric to a pseudoholomorphic curve in $\mathbb{S}^6.$ Moreover, we prove a Schur type theorem (see \cite[p. 36]{Chnew}) for minimal surfaces in spheres.
We formulate the deformation theory for instantons on nearly Kähler six-manifolds using spinors and Dirac operators. Using this framework we identify the space of deformations of an irreducible instanton with semisimple structure group with the kernel of an elliptic operator, and prove that abelian instantons are rigid. As an application, we show that the canonical connection on three of the four homogeneous nearly Kähler six-manifolds G/H is a rigid instanton with structure group H. In contrast, these connections admit large spaces of deformations when regarded as instantons on the tangent bu…
This article explores special Lagrangian submanifolds in $\mathbb{CP}^3$, viewed as a nearly Kähler manifold, from two different perspectives. Intrinsically, using a moving frame set-up, and extrinsically, using $\mathrm{SU}(2)$ moment-type maps. We describe new homogeneous examples, from both perspectives, and classify totally geodesic special Lagrangian submanifolds. We show that every special Lagrangian in $\mathbb{CP}^3$, or the flag manifold $\mathbb{F}_{1,2}(\mathbb{C}^3)$ admitting a symmetry of an $\mathrm{SU}(2)$ subgroup of nearly Kähler automorphisms is automatically homogeneous.
We overview the properties of non-infinitesimal deformations of G2-structures on seven-manifolds, and in particular, focus on deformations that lie in the seven-dimensional representation of G2 and are thus defined by a vector. We then consider deformations from G2-structures with the torsion class having one-dimensional and seven-dimensional components (so-called conformally nearly parallel G2-manifolds) to G2-structures with just a one-dimensional torsion component (nearly parallel G2-manifolds). We find that deformations between such structures exist if and only if the metric is a particula…
The moduli space NK of infinitesimal deformations of a nearly Kähler structure on a compact 6-dimensional manifold is described by a certain eigenspace of the Laplace operator acting on co-closed primitive (1,1) forms. Using the Hermitian Laplace operator and some representation theory, we compute the space NK on all 6-dimensional homogeneous nearly Kähler manifolds. It turns out that the nearly Kähler structure is rigid except for the flag manifold F(1,2)=SU_3/T^2, which carries an 8-dimensional moduli space of infinitesimal nearly Kähler deformations, modeled on the Lie algebra su_3 of the i…
We study Rarita-Schwinger fields on 6-dimensional compact strict nearly Kähler manifolds. In order to investigate them, we clarify the relationship between some differential operators for the Hermitian connection and the Levi-Civita connection. As a result, we show that the space of the Rarita-Schwinger fields coincides with the space of the harmonic 3-forms. Applying the same technique to a deformation theory, we also find that the space of the infinitesimal deformations of Killing spinors coincides with the direct sum of a certain eigenspace of the Laplace operator and the space of the Killi…
${\mathrm G}_2$-structures with parallel skew-symmetric torsion
Université Paris-Saclay, CNRS（巴黎萨克雷大学，法国国家科学研究中心）；Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西米恩·斯托伊洛数学研究所）；Universität Stuttgart（斯图加特大学）
Lagrangian submanifolds in strict nearly Kähler 6-manifolds are related to special Lagrangian submanifolds in Calabi-Yau 6-manifolds and coassociative cones in $G_2$-manifolds. We prove that the mean curvature of a Lagrangian submanifold $L$ in a nearly Kähler manifold $(M^{2n}, J, g)$ is symplectically dual to the Maslov 1-form on $L$. Using relative calibrations, we derive a formula for the second variation of the volume of a Lagrangian submanifold $L^3$ in a strict nearly Kähler manifold $(M^6, J, g)$. This formula implies, in particular, that any formal infinitesimal Lagrangian deformation…
Associated to every closed, embedded submanifold $N$ of a connected Riemannian manifold $M$, there is the distance function $d_N$ which measures the distance of a point in $M$ from $N$. We analyze the square of this function and show that it is Morse-Bott on the complement of the cut locus $\mathrm{Cu}(N)$ of $N$, provided $M$ is complete. Moreover, the gradient flow lines provide a deformation retraction of $M-\mathrm{Cu}(N)$ to $N$. If $M$ is a closed manifold, then we prove that the Thom space of the normal bundle of $N$ is homeomorphic to $M/\mathrm{Cu}(N)$. We also discuss several interes…
We consider the Laplacian coflow of a $\mathrm{G}_2$-structure on warped products of the form $M^7= M^6 \times_f S^1$ with $M^6$ a compact 6-manifold endowed with an $\mathrm{SU}(3)$-structure. We give an explicit reinterpretation of this flow as a set of evolution equations of the differential forms defining the $\mathrm{SU}(3)$-structure on $M^6$ and the warping function $f$. Necessary and sufficient conditions for the existence of solution for this flow are given. Finally we describe new long time solutions for this flow where the $\mathrm{SU}(3)$-structure on $M^6$ is nearly Kähler, symple…
Extending Donaldson's HyperKähler Structure via Minimal Surfaces into $\mathrm{PSL}(2,\mathbb{C})$
University of Turin（都灵大学）；University of California Riverside（加州大学河滨分校）；Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM)（数学科学研究所（西班牙高等科研理事会-马德里自治大学-马德里理工大学-马德里 Complutense 大学））；University of Pisa（比萨大学）
