Abstract
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 characteristic connection on the four normal homogeneous nearly \(\mathrm {G}_2\) manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Nearly parallel \(\mathrm {G}_2\) structures on a 7-manifold M are defined by a so-called positive 3-form \(\varphi \). Such a 3-form induces a metric g, an orientation and a spin structure on M (see Sect. 2). We denote by \(\nabla ^g\) the Levi-Civita connection and its lift on the spinor bundle. The \(\mathrm {G}_2\)-structure \(\varphi \) is nearly parallel if for some \(\tau _0\ne 0\)
or equivalently if there exists a real Killing spinor \(\eta \) such that
Nearly \(\mathrm {G}_2\) manifolds were introduced as manifolds with weak holonomy \(\mathrm {G}_2\) by Gray in [30]. Some examples of such manifolds are the round and squashed 7-spheres, the Aloff–Wallach spaces, and the Berger space \({\mathrm{SO}}(5)/{\mathrm{SO}}(3)\). The inclusion of the exceptional Lie group \(\mathrm {G}_2\) as a possible holonomy group for Riemannian manifolds in Berger’s list [11] led mathematicians to look for examples of manifolds with holonomy \(\mathrm {G}_2\). In [45] Wang established the first correspondence between parallel spinors and integrable geometries. Later the classification of manifolds with real Killing spinors in [10, 25, 26, 31, 32] established a link between manifolds with weak holonomy and manifolds with real Killing spinors. These manifolds are Einstein with positive scalar curvature. Except for the round 7-sphere, the dimension of the space of Killing spinors on a nearly \(\mathrm {G}_2\) manifold is 1,2 or 3 (see[27]) giving rise to three types: proper, Sasaki–Einstein and 3-Sasakian, respectively. The cones over these manifolds have holonomy contained in \(Spin (7)\) which makes these spaces particularly important in the construction and understanding of manifolds with torsion-free \(Spin (7)\)-structures.
The correspondence between nearly parallel \(\mathrm {G}_2\) structures and Killing spinors has been extensively used to produce many results on nearly \(\mathrm {G}_2\) manifolds. The infinitesimal deformation space of nearly \(\mathrm {G}_2\)-structures was explicitly described as an eigenspace of a Dirac operator in [9]. In the homogeneous setting, non-trivial deformations were only found for the Aloff–Wallach space which in [23] were proved to be obstructed.
The spinorial approach can also be used to study gauge theory on manifolds with weak holonomy. A connection A on M is a \(\mathrm {G}_2\)-instanton if its curvature F satisfies the algebraic condition
or equivalently \(F\cdot \eta =0\). In this article we describe the infinitesimal deformation space of instantons on nearly \(\mathrm {G}_2\) manifolds as the eigenspaces of the Dirac operators associated with the one parameter family of connections with skew-symmetric torsion
described in [1,2,3,4, 7]. At \(t=-1\), the connection \(\nabla ^{-1}\) is the characteristic connection which is a \(\mathrm {G}_2\)-instanton. We explicitly describe the infinitesimal deformation space of the characteristic connections for the normal homogeneous nearly \(\mathrm {G}_2\) manifolds classified in [27]. In [17] an analogous description for the infinitesimal deformation space of instantons on nearly Kähler 6-manifolds is given. On an oriented manifold with real Killing spinor \(\eta \) the volume form \(\mathrm{vol}\) defines a Killing spinor \(\mathrm{vol}\cdot \eta \). On a nearly Kähler 6-manifold \(\{\eta ,\mathrm{vol}\cdot \eta \}\) defines a 2-dimensional space of Killing spinors, whereas on a nearly \(\mathrm {G}_2\) manifold \(\eta \) and \(\mathrm{vol}\cdot \eta \) are linearly dependent. This prevents us from having a relation like in [17], Proposition 4(iii)] which makes the computation of the infinitesimal deformation space much more convenient (See 4.3). In fact we show in Sect. 4 that such a relation does not exist in the nearly \(\mathrm {G}_2\) case by explicitly computing the kernel of the elliptic operator for the homogeneous nearly \(\mathrm {G}_2\) manifolds. In [22] the author uses the spinorial approach to describe the deformation space of instantons on asymptotically conical \(\mathrm {G}_2\) manifolds.
As with parallel \(\mathrm {G}_2\) structures (\(\tau _0 =0\)), the instantons on nearly \(\mathrm {G}_2\) manifolds also solve the Yang–Mills equation \(d_\nabla ^* F =0\) ([33]). This makes the study of these instantons important from the point of view of gauge theory in higher dimensions. However unlike \(\mathrm {G}_2\)-instantons in the parallel case they are not necessarily minimizers of the Yang–Mills functional [14]. The first examples of \(\mathrm {G}_2\)-instantons on parallel \(\mathrm {G}_2\) manifolds were constructed in [19, 42, 43]. In [14] the authors proved the existence of nearly \(\mathrm {G}_2\)-instantons on certain Aloff–Wallach spaces and classified invariant \(\mathrm {G}_2\)-instantons on these spaces with gauge group U(1) and SO(3). Waldron [44] obtained a smooth, complete 15-dimensional family of \(\mathrm {G}_2\)-instantons on \(S^7\) as the pullback of the ASD instantons on the 4-sphere via the quaternionic Hopf fibration.
In Sect. 2 we describe the 1-parameter family of connections on the spinor bundle over nearly \(\mathrm {G}_2\) manifolds and the associated Dirac operators.
In Sect. 3 we describe the deformation space of a nearly \(\mathrm {G}_2\) instanton A as an eigenspace of a Dirac operator associated with A and the characteristic connection (Theorem 3.2). Using this description, we show that on a compact nearly \(\mathrm {G}_2\) manifold the \(\mathrm {G}_2\)-instanton A is rigid if the structure group is abelian (cf. Theorem 3.7(i)) or if all the eigenvalues of a linear operator \(L_A\) are greater than \(-\frac{28}{5}\) (Theorem 3.7(ii)) . The instanton A is also rigid if all the eigenvalues of \(L_A\) are less than 6, as shown in [14], Proposition 8] where authors used a Weitzenböck formula, while the proof of Theorem 3.7(ii) uses the Schrödinger–Lichnerowicz formula for the family of Dirac operators associated with \(\nabla ^t\) and A.
In Sect. 4 we describe the infinitesimal deformation space of the characteristic connection on all the homogeneous nearly \(\mathrm {G}_2\) manifolds whose nearly \(\mathrm {G}_2\) metric is normal. By considering the actions of the Lie groups H and \(\mathrm {G}_2\) on G/H we can view the characteristic connection as an H-connection or a \(\mathrm {G}_2\)-connection. We compute its infinitesimal deformation spaces in both of these cases. The results are recorded in Theorem 4.6. The deformations are shown to be genuine in all cases except that of the Aloff–Wallach space \(\frac{{\mathrm{SU}}(3)\times {\mathrm{SU}}(2)}{{\mathrm{SU}}(2)\times \mathrm {U}(1)}\) . In the latter case the author is currently unaware of any known family of nearly \(\mathrm {G}_2\)-instantons for which the infinitesimal deformations are the ones found in Theorem 4.6.
Disclaimer. No datasets were generated or analyzed during the current study.
2 Preliminaries
2.1 Nearly parallel \(\mathrm {G}_2\) structures
Let M be a 7-dimensional Riemannian manifold. At each point \(p\in M\) we denote by \(\Lambda ^3_+(T^*_p M)\) the \(\mathrm {GL}(7,\mathbb R)\) orbit of the standard \(\mathrm {G}_2\)-structure on \(\mathbb R^7\). The union \(\Lambda ^3_+(T^*M):=\cup _{p\in M}\Lambda ^3_+(T^*_pM)\) is a sub-bundle of \(\Lambda ^3(T^*M)\). A 3-form on M is said to be positive if it takes values in \(\Lambda ^3_+(T^*_pM)\) for all \(p\in M\). We denote by \(\Omega ^3_+(M)\) the set of positive 3-forms. Let \(\varphi \in \Omega ^3_(M)\), then \(\varphi \) defines a \(\mathrm {G}_2\) structure on M. It also induces an orientation and a metric on M which together define a Hodge star operator \(*_\varphi \) on the space of differential forms (see [16]). The \(\mathrm {G}_2\) structure \(\varphi \) is called a nearly parallel \(\mathrm {G}_2\) structure on M if it satisfies the following differential equation for some nonzero \( \tau _0 \in \mathbb R\),
We denote the 4-form \(*_\varphi \ \varphi \) by \(\psi \) in the remainder of this article. The condition \(d \varphi = \tau _0 \psi \) implies \(\mathrm d\psi =0\); thus, the nearly parallel \(\mathrm {G}_2\) structure \(\varphi \) is co-closed.
Every manifold with a \(\mathrm {G}_2\) structure is orientable and spin, and thus admits a spinor bundle . Let \(\nabla ^g\) be the Levi-Civita connection of the induced metric on M. A spinor is a real Killing spinor if for some nonzero \(\delta \in \mathbb R\),
There is a one-to-one correspondence between nearly parallel \(\mathrm {G}_2\) structures and real Killing spinors on M described in [12, Chapter 4]. Given a nearly parallel \(\mathrm {G}_2\) structure \(\varphi \) that satisfies (2.1) there exists a real Killing spinor \(\eta \) that satisfies (2.2) with \(\delta =-\frac{1}{8}\tau _0\) and vice-versa. Switching \(-\frac{\tau _0}{8}\) to \(\frac{\tau _0}{8}\) corresponds to changing the orientation of the cone \(M\times _{r^2} \mathbb R^+\). See [12] and [10] for more details.
The constant \(\tau _0\) can be altered by rescaling the metric and readjusting the orientation. In this article we use \(\tau _0=4\). With this choice of \(\tau _0\) our nearly \(\mathrm {G}_2\) structure \(\varphi \) and Killing spinor \(\eta \) satisfy the following equations, respectively
Manifolds with nearly parallel \(\mathrm {G}_2\) structures have several nice properties which can be found in detail in [12]. In particular they are positive Einstein as shown by [30]. Let g be the metric induced by \(\varphi \), then the Ricci curvature \(\mathrm {Ric}_g =\frac{3}{8} \tau _0^2 g\) and the scalar curvature \(Scal _g = 7 \mathrm {Ric}_g = \frac{21}{8}\tau _0^2\). A \(\mathrm {G}_2\) structure on M induces a splitting of the spaces of differential forms on M into irreducible \(\mathrm {G}_2\) representations. The space of 2-forms \(\Lambda ^2(M)\) decomposes as
where \(\Lambda ^2_l\) has pointwise dimension l. More precisely, we have the following description of the space of forms :
Note that we are using the convention of [36] which is opposite to that of [35] and [15].
The space \(\Lambda ^2_{14}\) is isomorphic to the Lie algebra of \(\mathrm {G}_2\) denoted by \(\mathfrak {g}_2\). Since the group \(\mathrm {G}_2\) preserves the \(\mathrm {G}_2\) structure \(\varphi \), it preserves the real Killing spinor \(\eta \) induced by \(\varphi \). The space \(\Lambda ^2_{14}\) can be equivalently defined as
We make use of this identification when defining the instanton condition on M in Sect. 3.
2.2 The spinor bundle
For a 7-dimensional Riemannian manifold M with a nearly parallel \(\mathrm {G}_2\) structure \(\varphi \), the spinor bundle is a rank-8 real vector bundle over M and is isomorphic to the bundle \(\underline{\mathbb R}\oplus TM = \Lambda ^0\oplus \Lambda ^1\) (see [27, 40]). If \(\eta \) is the real Killing spinor on M induced by \(\varphi \), then we have the isomorphism
Under this isomorphism any spinor can be written as \(s = (f,\alpha )\in \Lambda ^0\oplus \Lambda ^1\). Let \(\times \) be the cross-product induced by the \(\mathrm {G}_2\) structure \(\varphi \) then as shown in [37] the Clifford multiplication of a 1-form Y and a spinor (f, Z) is given by
Note that the product defined above differs from [37] by a negative sign due to our choice of the representation of \(Cl_7\) on [40], Chapter 1.8].
Throughout this article we denote by \(\{e_i,i=1..7\}\) a local orthonormal frame for both tangent vectors and 1-forms, identified using the metric. For any p-form \(\beta =\beta _{i_1\ldots i_p}e_{i_1}\wedge e_2\wedge \cdots \wedge e_{i_p}\) the Clifford multiplication of \(\beta \) with a spinor is given by
and the following identity holds [40], Proposition 3.8, Ch1]
The vector bundle is a \(\mathrm {G}_2\)-representation, and since \(\mathrm {G}_2\) is the isotropy group of the 3-form \(\varphi \), the map \(\mu \mapsto \varphi \cdot \mu \) from the bundle of spinors to itself is an isomorphism. The same argument holds for the 4-form \(\psi \). The following formulae described in [2, 24] will prove useful in later computations.
Lemma 2.1
Let \(\eta \) be the Killing spinor associated with the nearly \(\mathrm {G}_2\)-structure and \(X\in \Gamma (TM)\) then
For an oriented Riemannian manifold (M, g), a metric connection \(\nabla ^c\) with skew symmetric torsion T is known as the characteristic connection if it preserves the G-structure on M. The Killing spinor \(\eta \) is parallel with respect to this connection and \(Hol (\nabla ^c) \subset \mathrm {G}\). In [5], Theorem 2.1] the authors showed that the characteristic connection (if existent) is unique if \(\mathrm {G}\subsetneq {\mathrm{SO}}(n)\) is connected and acts irreducibly on \(\mathbb R^n\) other than the adjoint representation. The above condition applies to many geometric situations for example, to almost hermitian structures (\({\mathrm{SU}}(n) \subset {\mathrm{SO}}(2n)\)), \(\mathrm {G}_2\)- structures and \(\mathrm {Spin}(7)\) structures. If M is G-irreducible such a connection exists if and only if M is locally isometric to a non-symmetric isotropy irreducible homogeneous space or is a nearly Kähler 6-manifold or nearly \(\mathrm {G}_2\) manifold (see [20], Theorem 6.3]).
For a Riemannian spin manifold \((M^n, g)\) with a 3-form T we describe the one-parameter family of linear metric connections with totally skew-symmetric torsion as given in [3],
By [40], Theorem 4.14] the lift of the connection \(\nabla ^t\) on the spinor bundle which we also denoted by \(\nabla ^t\) acts on as
When M has a \(\mathrm {G}_2\)-structure \(\varphi \), setting \(T=\frac{\varphi }{3}\) gives the family of connections on TM
which lifts to as
If M is nearly \(\mathrm {G}_2\) for a Killing spinor \(\eta \) and a vector field X since \(X\cdot \varphi +\varphi \cdot X = -2 \ i_X\varphi \) it follows from (2.3) and Lemma 2.1 that
Therefore \(\eta \) is parallel with respect to the connection \(\nabla ^{-1}\) and the connection \(\nabla ^{-1}\) is the characteristic connection \(\nabla ^c\).
It is well known from [4, 18, 24] that the Ricci tensor \(\mathrm {Ric}^t\) of the connection \(\nabla ^t\) is given by
2.3 Instantons on nearly \(\mathrm {G}_2\) manifolds
For a Lie group K let \(\mathcal P\rightarrow M\) be a principal K-bundle. We denote by \(Ad_\mathcal P\) the adjoint bundle associated with \(\mathcal P\). Let A be a connection 1-form on \(\mathcal P\) and \(F=\mathrm dA + \frac{1}{2}[A\wedge A]\in \Gamma (\Lambda ^2T^* M \otimes Ad _\mathcal P)\) be the curvature 2-form associated with A.
There are many ways to define the instanton condition on A. An interested reader can read further on these definitions and their relations in [33].
-
If (M, g) is equipped with a G-structure such that \(G\subset \mathrm {O}(n)\), the connection A is an instanton if the 2-form part of F belongs to subbundle \(\mathfrak {g}(T^* M) \subset \Lambda ^2T^* M\) whose fiber is isomorphic to \(\mathfrak {g}=Lie (G)\),
$$\begin{aligned} F \in \Gamma (\mathfrak {g}(T^* M) \otimes Ad _\mathcal P) \subset \Gamma (\Lambda ^2T^* M\otimes Ad _\mathcal P). \end{aligned}$$ -
When G is simple the quadratic Casimir is a G-invariant element of \(\mathfrak {g}\otimes \mathfrak {g} \cong \Lambda ^2\otimes \Lambda ^2\) and hence can be identified to a G-invariant 4-form Q by taking a wedge product. Then F is an instanton if for some \(\nu \in \mathbb R\)
$$\begin{aligned} *(* Q \wedge F)&= \nu F. \end{aligned}$$ -
Furthermore if M is a spin manifold, and the spinor bundle admits one or more non-vanishing spinors \(\eta \), then A is an instanton if
$$\begin{aligned} F\cdot \eta&= 0, \end{aligned}$$where the Clifford multiplication is between the 2-form part of F and \(\eta \).
If \((M,g,\varphi )\) is a manifold with a \(\mathrm {G}_2\) structure \(\varphi \) all the above definitions are equivalent. They all imply that the curvature F associated with A lies in \(\Gamma (\Lambda ^2_{14})\) and thus satisfies all of these equivalent conditions:
From now on in this article we use these instanton conditions interchangeably according to the context without further specification. Note that the above definitions are valid for any general \(\mathrm {G}_2\) structure and not only for nearly parallel ones.
On a manifold with real Killing spinors instantons solve the Yang–Mills equation [33]. For a nearly \(\mathrm {G}_2\) manifold M we can prove this fact by direct computations using (2.10) and the second Bianchi identity. Let K be a compact semisimple Lie group and \(\mathcal P\) be a principal K-bundle over M then for an instanton A on \(\mathcal P\)
One of the most natural examples of an instanton on the spinor bundle over a nearly \(\mathrm {G}_2\) manifold is the lift of the characteristic connection to . In [14] the authors construct instantons on any complex line bundle and certain \({\mathrm{SO}}(3)\)-bundles over the Aloff–Wallach spaces \({\mathrm{SU}}(3)/\mathrm {U}(1)_{k,l}\).
3 Infinitesimal deformation of instantons
Let \(M^7\) be a nearly \(\mathrm {G}_2\) manifold. We are interested in studying the infinitesimal deformations of nearly \(\mathrm {G}_2\)-instantons on M. An infinitesimal deformation of a connection A represents an infinitesimal change in A and, thus, is a section of \(T^* M\otimes Ad_\mathcal P\). If \(\epsilon \in \Gamma (T^* M\otimes Ad_\mathcal P)\) is an infinitesimal deformation of A, the corresponding change in the curvature F up to first order is given by \(\mathrm d^A \epsilon \). A standard gauge fixing condition on this perturbation is given by \((\mathrm d^A)^* \epsilon =0\). So in total the pair of equations whose solutions define an infinitesimal deformation of an instanton A is given by
where \(\eta \) is a Killing spinor.
The 1-parameter family of connections on the spinor bundle defined in (2.8) and the connection A on \(\mathcal P\) can be used to construct a 1-parameter family of connections on the associated vector bundle . We denote by \(\nabla ^{t,A}\), the connection induced by \(\nabla ^t\) and A for all \(t\in \mathbb R\), respectively. We denote by \(D^{t,A}\) the Dirac operator associated to \(\nabla ^{t,A}\). The following proposition associates the solutions to (3.1) to a particular eigenspace of \(D^{t,A}\) for each t. The proposition was proved in [28] for \(t=0\).
Proposition 3.1
Let \(\epsilon \) be a section of \(T^* M\otimes Ad_\mathcal P\), and let \(D^{t,A}\) be the Dirac operator constructed from the connections \(\nabla ^{t,A}\) for \(t\in \mathbb R\). Then \(\epsilon \) solves (3.1) if and only if for any Killing spinor \(\eta \)
Proof
It follows from (2.8) and the identity \(\sum _a e_a\cdot i_a\varphi = 3\varphi \) that
Let \(\{e_a, a=1\dots 7\}\) be a local orthonormal frame for \(T^* M\). Using Clifford multiplication identities we get
Applying (2.6) to the 1-form part of \(\epsilon \) we get \(e_a\cdot \epsilon \cdot e_a\cdot \eta = 5\epsilon \cdot \eta \). So if \(\eta \) is a real Killing spinor then (2.3) together with the above identity imply
Since \(\epsilon \cdot \eta \in \Lambda ^1\cdot \eta \), by Lemma 2.1 we have
The equation \(D^{t,A}(\epsilon \cdot \eta ) = -\frac{t+5}{2}\epsilon \cdot \eta \) is thus equivalent to \((\mathrm d^A\epsilon +(\mathrm d^A)^*\epsilon )\cdot \eta =0\), which in turn is equivalent to the pair of equations \((\mathrm d^A\epsilon )\cdot \eta =0, (\mathrm d^A)^* \epsilon =0\) since these two components live in complementary subspaces.
Since \(\eta \) is parallel with respect to \(\nabla ^{-1}\) we can view \(D^{-1,A}\) as an operator on \(\Lambda ^1\otimes Ad_P\) defined by \(D^{-1,A}(\epsilon \cdot \eta ) =( D^{-1,A}\epsilon )\cdot \eta \). The following theorem is an immediate consequence of the above proposition.
Theorem 3.2
The space of infinitesimal deformations of a \(\mathrm {G}_2\)-instanton A on a principal bundle \(\mathcal P\) over a nearly \(\mathrm {G}_2\) manifold M is isomorphic to the kernel of the operator
Remark 3.3
By Proposition 3.1, the \(-\frac{t+5}{2}\) eigenspace of the operator \(D^{t,A}\) on \(\Lambda ^1\cdot \eta \otimes Ad_\mathcal P\) is isomorphic to the infinitesimal deformation space of the instanton A for all \(t\in \mathbb R\) and all these eigenspaces are thus isomorphic to each other. In particular
The deformation space found above can be further analyzed as an eigenspace of the square of the Dirac operator. In [3] the authors obtained a Schrödinger–Lichnerowicz-type formula relating the square of the Dirac operator with torsion T to the connection with torsion 3T. Such a rescaling was earlier used in [29] for \(\eta \)-invariant homogeneous spaces and in [13] for Hermitian manifolds.
Proposition 3.4
Let EM be a vector bundle associated with \(\mathcal P\) and . Let A be any connection on \(\mathcal P\). Then for all \(t\in \mathbb R\),
When the connection A is an instanton on a nearly \(\mathrm {G}_2\) manifold the expression for \((D^{t/3,A})^2\) can be simplified further. For the \(\mathrm {G}_2\) structure \(\varphi \), \(\Vert \varphi \Vert ^2=7\) and under our choice of convention \(d\varphi =4\psi \) and \(Scal _g =42\). Thus we can calculate the action of \((D^{t/3,A})^2\) on spinors in \(\Lambda ^0\eta \) and \(\Lambda ^1\cdot \eta \) as follows.
Let \(\eta \in \Gamma ( \Lambda ^0M\otimes EM)\) be a real Killing spinor, then Lemma 2.1 implies \(\psi \cdot \eta =7\eta \) and \(F\cdot \eta =0\) by (2.10). Thus by above proposition we obtain,
Now suppose \(\epsilon \) is an infinitesimal deformation of A. Then \(\epsilon \cdot \eta \in \Gamma ( \Lambda ^1M\otimes EM)\). From Lemma 2.1 we know that \(\psi \cdot \epsilon \cdot \eta =-\epsilon \cdot \eta \) and since \(F\cdot \eta =0\), \(F\cdot \epsilon \cdot \eta = (F\cdot \epsilon +\epsilon \cdot F)\cdot \eta = -2(\epsilon \lrcorner F) \cdot \eta \). Thus by above proposition
In the special case when the bundle EM is equal to \(Ad_\mathcal P\), the holonomy group H \(\subset \) K of the connection A acts on the Lie algebra \(\mathfrak {k}\) of K. Let us denote by \(\mathfrak {k}_0 \subset \mathfrak {k}\) the subspace on which H acts trivially. Let \(\mathfrak {k}_1\) be the orthogonal subspace of \(\mathfrak {k}_0\) with respect to the Killing form of K. The corresponding splitting of the adjoint bundle is given by \(Ad_\mathcal P= L_0\oplus L_1\) and decomposes as follows
By Proposition 3.4 the operator \((D^{-1/3,A})^2\) is self-adjoint and hence respects the above decomposition. We use the shorthand \(\Lambda ^iL_j\) for \(\Lambda ^iM\otimes L_j\) where \(i,j=0,1\). For compact M we have the following proposition.
Proposition 3.5
Let A be a \(\mathrm {G}_2\)-instanton on a principal K-bundle \(\mathcal P\) with holonomy group H where \(Ad_\mathcal P\) splits as above. Then
-
(i)
\(\ker ((D^{-1/3,A})^2-\frac{49}{9}id ) = \ker ((D^{-1/3,A})^2-\frac{49}{9}id )\cap (\Lambda ^1L_1\oplus \Lambda ^0L_0).\)
-
(ii)
\(\ker ((D^{-1/3,A})^2-\frac{49}{9}id )\cap \Lambda ^1 L_1 = \Big (\ker (D^{-1/3,A}+ \frac{7}{3}id )\oplus \ker (D^{-1/3,A}- \frac{7}{3}id ) \Big )\cap \Lambda ^1L_1\).
Proof
To prove (i) we need to show that \(\ker ((D^{-1/3,A})^2-(\frac{7}{3} )^2id )\cap ( \Lambda ^0L_1 \oplus \Lambda ^1L_0)\) is trivial.
-
1.
Let \(\mu \in \ker ((D^{-1/3,A})^2-(\frac{7}{3} )^2id )\cap \Lambda ^0L_1\). Thus we have by (3.6) ,
$$\begin{aligned} 0&=\int _{M} (\mu ,(D^{-1/3,A})^2-(\frac{7}{3} )^2)\mu ) \\&=\int _M(\mu , (\nabla ^{-1,A})^*\nabla ^{-1,A}\mu +(\frac{49}{9}-\Big (\frac{7}{3}\Big )^2)\mu )\\&=\int _M \Vert \nabla ^{-1,A}\mu \Vert ^2. \end{aligned}$$But since the action of the holonomy group of A fixes no non-trivial elements in \(\mathfrak {k}_1\) and the holonomy group of \(\nabla ^{-1}\) acts trivially on \(\Lambda ^0\) we get \(\mu =0\).
-
2.
Let \(\epsilon \cdot \eta \in \ker ((D^{-1/3,A})^2-(\frac{7}{3} )^2id )\cap \Lambda ^1L_0\). By the definition of \(L_0\) the curvature F acts trivially on \(\epsilon \cdot \eta \) in (3.7) and we get,
$$\begin{aligned} 0&=\int _{M} (\epsilon \cdot \eta ,(D^{-1/3,A})^2-(\frac{7}{3} )^2)\epsilon \cdot \eta ) \\&=\int _M(\epsilon \cdot \eta , (\nabla ^{-1})^*\nabla ^{-1}(\epsilon \cdot \eta ) +(\frac{97}{9}-\Big (\frac{7}{3}\Big )^2)\epsilon \cdot \eta )\\&=\int _M \Vert \nabla ^{-1}(\epsilon \cdot \eta )\Vert ^2 + \frac{48}{9}\int _M\Vert \epsilon \cdot \eta \Vert ^2 \end{aligned}$$hence \(\epsilon \cdot \eta =0\).
For proving (ii) we already know that \(\left( \ker ((D^{-1/3,A})+ \frac{7}{3}\}\oplus \ker ((D^{-1/3,A})+ \frac{7}{3}\} \right) \cap \Lambda ^1L_1\subset \ker ((D^{-1/3,A})^2- \frac{49}{9}id )\cap \Lambda ^1L_1\). The reverse inclusion can be seen using the fact that since \(D^{-1/3,A}\) and \((D^{-1/3,A})^2\) commute they have the same eigenvectors. Moreover since \(D^{-1/3,A}\) is self-adjoint, \(\epsilon \cdot \mu \in \ker ((D^{-1/3,A})^2- \frac{49}{9}id )\cap \Lambda ^1L_1\) implies \(\Vert D^{-1/3,A}\epsilon \cdot \mu \Vert = \frac{7}{3} \Vert \epsilon \cdot \mu \Vert \); thus, the corresponding eigenvalues of \(D^{-1/3,A}\) can only be \(\pm \frac{7}{3}\) .
Remark 3.6
Note that part (i) for the above proposition holds only for \(D^{-1/3,A}\) and not for any other \(D^{t,A}\) where \(t\ne -1/3\) since the proof explicitly uses the fact that \(\eta \) is parallel with respect to \(\nabla ^{-1}\). But since \(D^{t,A}\) is self-adjoint for all \(t\in \mathbb R\), for any \(\lambda \in \mathbb R\) we have the following decomposition
The above proposition has the following important consequence. If the structure group K is abelian H acts as identity on the whole of \(\mathfrak {k}\) which means \(\mathfrak {k}_1 =0\) and \(L_1\) is trivial. Thus by Remark 3.3 the space of infinitesimal deformations of the \(\mathrm {G}_2\)-instanton A which is isomorphic to \(\ker (D^{-1/3,A} + \frac{7}{3} )\cap \Lambda ^1 Ad_\mathcal P=\ker (D^{-1/3,A} + \frac{7}{3} )\cap \Lambda ^1 L_1 \) is zero dimensional.
In [14], Proposition 24] the authors prove that the \(\mathrm {G}_2\)-instanton A is rigid if all the eigenvalues of the operator
are smaller than 6. We prove the lower bound for the eigenvalue as follows. Let \(\lambda \) be the smallest eigenvalue of \(L_A\). If \(\epsilon \in \Gamma (T^*M\otimes Ad_\mathcal P)\) is an infinitesimal deformation of A, then from (3.7) and Theorem 3.2 we know that
Taking the inner product with \(\epsilon \cdot \eta \) on both sides we get that if \(\lambda >\min \left\{ \frac{5t^2+18t-51}{12} \ | \ t\in \mathbb R\right\} = -\frac{28}{5}\) then \(\epsilon =0\) is the only solution. Thus we get the following result.
Theorem 3.7
Any \(\mathrm {G}_2\)-instanton A on a principal K-bundle over a compact nearly \(\mathrm {G}_2\) manifold M is rigid if
-
(i)
the structure group G is abelian, or
-
(ii)
the eigenvalues of the operator \(L_A\) are either all greater than \(-\frac{28}{5}\) or all smaller than 6.
Some immediate consequences of Theorem 3.7 are that the flat instantons are rigid. Also if all the eigenvalues of \(L_A\) are equal, then A has to be rigid.
4 Instantons on homogeneous nearly \(\mathrm {G}_2\) manifolds
4.1 Classification of homogeneous nearly \(\mathrm {G}_2\) manifolds
By the classification result in [27] there are six compact, simply connected homogeneous nearly \(\mathrm {G}_2\) manifolds:
where \(S^1_{k,l}=\{diag (e^{ik\theta },e^{il\theta },e^{-i(k+l)\theta }),\theta \in \mathbb R\}\) denotes the embedding of \(\mathrm {U}(1)\) into \(\mathrm {SU}(3)\). We describe the homogeneous structure on each of these spaces.
-
In the round \(S^7\) the embedding of \(\mathrm {G}_2\) in \(\mathrm {Spin}(7)\) is obtained by lifting the standard embedding of \(\mathrm {G}_2\) into \(\mathrm {SO}(7)\).
-
For the squashed metric on \(S^7\) the two copies of \(\mathrm {Sp}(1)\) in \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\) denoted by \(\mathrm {Sp}(1)_u\) and \(\mathrm {Sp}(1)_d\) [9] are
$$\begin{aligned} \mathrm {Sp}(1)_u&:= \left\{ \left( \begin{pmatrix}a&{}0\\ 0&{}1\end{pmatrix} ,1 \right) :a\in \mathrm {Sp}(1)\right\} ,\ \ \ \mathrm {Sp}(1)_d:= \left\{ \left( \begin{pmatrix}1&{}0\\ 0&{}a\end{pmatrix} ,a \right) :a\in \mathrm {Sp}(1)\right\} . \end{aligned}$$ -
In the Berger space \(\frac{\mathrm {SO}(5)}{\mathrm {SO}(3)}\), the Lie group \(\mathrm {SO}(3)\) is embedded into \(\mathrm {SO}(5)\) via the 5-dimensional irreducible representation of \(\mathrm {SO}(3)\) on \(\mathrm {Sym}^2_0(\mathbb R^3)\).
-
In \(\frac{\mathrm {SU}(3)\times \mathrm {SU}(2)}{\mathrm {U}(1)\times \mathrm {SU}(2)}\) the embedding of \(\mathrm {SU}(2)\) (denoted by \(\mathrm {SU}(2)_d\)) and \(\mathrm {U}(1)\) in \(\mathrm {SU}(2)\times \mathrm {SU}(2)\) is defined as [9]
$$\begin{aligned} \mathrm {SU}(2)_d&:= \left\{ \left( \begin{pmatrix}a&{}0\\ 0&{}1\end{pmatrix} ,a \right) :a\in \mathrm {SU}(2)\right\} ,\ \ \ \mathrm {U}(1):= \left\{ \left( \begin{pmatrix}e^{i\theta }&{}0&{}0\\ 0&{}e^{i\theta }&{}0\\ 0&{}0&{}e^{-2i\theta }\end{pmatrix} ,1 \right) :\theta \in \mathbb R\right\} \end{aligned}$$ -
In the Aloff–Wallach spaces \(N_{k,l}\) where k, l are coprime positive integers the embedding of \(S^1_{k,l}=U(1)_{k,l}\) in \(\mathrm {SU}(3)\) is described
$$\begin{aligned} S^1_{k,l}&=\left\{ \begin{pmatrix}e^{ik\theta }&{}0&{}0\\ 0&{}e^{il\theta }&{}0\\ 0&{}0&{}e^{-i(k+l)\theta }\end{pmatrix},\theta \in \mathbb R\right\} \end{aligned}$$ -
In Q(1, 1, 1) we denote the two copies of \(\mathrm {U}(1)\) inside \(\mathrm {SU}(2)^3\) as \(\mathrm {U}(1)_u,\mathrm {U}(1)_d\) where their respective embeddings are given by
$$\begin{aligned} \mathrm {U}(1)_u&= Span \left\{ \left( \begin{pmatrix} e^{i\theta }&{}0\\ 0&{}e^{-i\theta } \end{pmatrix},\begin{pmatrix} e^{-i\theta }&{}0\\ 0&{}e^{i\theta } \end{pmatrix},I _{2}\right) ,\theta \in \mathbb R\right\} , \\ \mathrm {U}(1)_d&= \text {Span}\left\{ \left( I _{2},\begin{pmatrix} e^{i\theta }&{}0\\ 0&{}e^{-i\theta } \end{pmatrix},\begin{pmatrix} e^{-i\theta }&{}0\\ 0&{}e^{i\theta } \end{pmatrix}\right) ,\theta \in \mathbb R\right\} . \end{aligned}$$
Except \(N_{k,l}\) and Q(1, 1, 1) the remaining four homogeneous spaces are normal. If B denotes the Killing form of G, then the nearly \(\mathrm {G}_2\) metric g on G/H is given by \(g=-\frac{3}{40}B\). The choice of the scalar constant \(\frac{3}{40}\) is based on our convention \(\tau _0=4\). The general formula for the constant was derived in [9], Lemma 7.1]. For a description of the nearly \(\mathrm {G}_2\) metric on the non-normal cases see [46].
All the six homogeneous nearly \(\mathrm {G}_2\) manifolds are naturally reductive. Let \(\mathfrak {m}\) be the orthogonal complement of the Lie algebra \(\mathfrak {h}\) of H in \(\mathfrak {g}\) with respect to g then \([\mathfrak {h},\mathfrak {m}]\subset \mathfrak {m}\). The reductive decomposition \(\mathfrak {g}= \mathfrak {h}\oplus \mathfrak {m}\) equips the principal H-bundle \(G \rightarrow G/H\) with a G-invariant connection whose horizontal spaces are the left translates of \(\mathfrak {m}\). This connection is known as the characteristic homogeneous connection. On homogeneous nearly \(\mathrm {G}_2\) manifolds the characteristic homogeneous connection has holonomy contained in \(\mathrm {G}_2\). If we denote by \(Z_\mathfrak {m}\) the projection of \(Z\in \mathfrak {g}\) on \(\mathfrak {m}\), the torsion tensor T for any \(X,Y\in \mathfrak {m}\) is given by
and is totally skew-symmetric. Thus by the uniqueness result in [20] it is the characteristic connection with respect to the nearly \(\mathrm {G}_2\) structure on G/H [33]. The characteristic connection is a \(\mathrm {G}_2\)-instanton as proved in [33], Proposition 3.1].
The adjoint representation \({\text {ad}}:H\rightarrow \mathrm {GL}(\mathfrak {m})\) gives rise to the associated vector bundle \(G\times _{{\text {ad}}}\mathfrak {m}\) on G/H. Similarly since G/H has a nearly \(\mathrm {G}_2\) structure we have the adjoint action of \(\mathrm {G}_2\) on \(\mathfrak {m}\) which we again denote by \({\text {ad}}\) and the isotropy homomorphism \(\lambda :H\rightarrow \mathrm {G}_2\) which we can use to construct the associated vector bundle \(G\times _{{\text {ad}}\circ \lambda }\mathfrak {m}\). The characteristic connection is a connection on both \(G\times _{{\text {ad}}}\mathfrak {m}\) and \(G\times _{{\text {ad}}\circ \lambda }\mathfrak {m}\) with structure group H and \(\mathrm {G}_2\), respectively. Therefore it is natural to study the infinitesimal deformation space of the characteristic connection in both these situations. Since \(H\subset \mathrm {G}_2\), the deformation space as an H-connection is a subset of the deformation space as a \(\mathrm {G}_2\)-connection.
We can completely describe the deformation space when the structure group is H, but for structure group \(\mathrm {G}_2\) we can only find the deformation space for the normal homogeneous nearly \(\mathrm {G}_2\) manifolds since our methods do not work for non-normal homogeneous metrics. However since H is abelian in both of the non-normal cases, Theorem 3.7 tells us that the characteristic connection is rigid as an H-connection. But we cannot say anything about the deformation space for the structure group \(\mathrm {G}_2\) in those two cases.
The remainder of this article is devoted to computing the infinitesimal deformation space of the characteristic connection with the structure group H and \(\mathrm {G}_2\) for the normal homogeneous spaces.
4.2 Infinitesimal deformations of the characteristic connection
Let \(M=G/H\) be a homogeneous manifold. Consider the principal H-bundle \(G\rightarrow M\). If \((V,\rho )\) is an H-representation then the space of smooth sections \(\Gamma (G\times _\rho V)\) of the associated vector bundle \(G\times _\rho V\) is isomorphic to the space \(C^\infty (G,V)_H\) of H-equivariant smooth functions \(G\rightarrow V\). The space \(C^\infty (G,V)_H\) carries the left regular G-representation \(\rho _L\) defined by \(\rho _L(g)(f)=g.f=f\circ l_{g^{-1}}\) which is also known as the induced G-representation \(Ind _{H}^G V\).
For any connection A on G the covariant derivative associated with A on any bundle associated with A is denoted by \(\nabla ^{A}\). Let \(s\in \Gamma (G\times _\rho V)\) and \(f_s :G\rightarrow V\) be the G-equivariant function given by \(s(gH)=[g,f_s(g)]\). If we denote by \(X_h\) the horizontal lift of \(X\in \Gamma (TM)\) via A, then \(\nabla ^A\) acts on s as
For the characteristic connection on \(G\rightarrow M\), \(X_h=X\) for every vector field. Thus the covariant derivative \(\nabla ^c\) is given by
By the Peter–Weyl theorem [38], Theorem 1.12] the space of sections can also be formulated as follows. If we denote by \(G_{irr}\) the set of equivalence classes of irreducible H-representations then
The embedding \(Hom (W,V)_{H}\otimes W\) into \(C^\infty (G,V)_H=\Gamma (G\times _\rho V)\) is given by sending \((\phi ,w)\) to the function \(f_{(\phi ,w)}\) defined by \(f_{(\phi ,w)}(g)= \phi (\tau (g^{-1})w)\). Thus \((\phi ,w)\) defines a section \(s_{(\phi ,w)}(gH)=[g,f_{(\phi ,w)}(g)]\) which we denote by \((\phi ,w)\) as well.
We can compute the covariant derivative on \(s_{(\phi ,w)}\in Hom (W,V)_H\otimes W \subset \Gamma (G\times _\rho V)\) by
The above can be written as
Thus we get that for the characteristic connection the covariant derivative of a section \(s\in \Gamma (G\times _\rho V)\) with respect to some \(X \in \mathfrak {m}\) translates into the derivative \(X(f_s)\), which is minus the differential of the left-regular representation \((\rho _L)_* (X)(f_s)\), see [41].
Let \(\{a_i,\ i=1\ldots n\}\) be an orthonormal basis of \(\mathfrak {\mathfrak {g}}\) with respect to \(g=-\frac{3}{40}B\), then the Casimir element \(\mathrm {Cas}_\mathfrak {\mathfrak {g}}\in Sym ^2(\mathfrak {\mathfrak {g}})\) is defined by \(\sum _{i=1}^{\dim G}a_i\otimes a_i\). On any \(\mathfrak {\mathfrak {g}}\) representation \((V,\mu )\) we can define the Casimir invariant \(\mu (\mathrm {Cas}_\mathfrak {\mathfrak {g}})\in \mathrm {gl}(V)\) by
For the reductive homogeneous spaces G/H let \(\{a_i,i=1\ldots \dim (H)\}\) and \(\{a_i,i=\dim (H)\ldots \dim (G)\}\) be the basis of \(\mathfrak {h}\) and \(\mathfrak {m}\), respectively. If we define \(\mathrm {Cas}_\mathfrak {h}=\sum _{i=1}^{\dim (H)}a_i\otimes a_i\) and \(\mathrm {Cas}_\mathfrak {m}=\sum _{\dim (H)}^{\dim (G)}a_i\otimes a_i\) we can decompose \(\mathrm {Cas}_\mathfrak {g}\) as
Note that \(\mathrm {Cas}_\mathfrak {m}\) is just used for notational convenience as \(\mathfrak {m}\) may not be a Lie algebra. Also in \(\mathrm {Cas}_\mathfrak {h}\) the trace is taken over H.
Remark 4.1
If one uses the metric \(-cB\) instead of \(-B\) then the Casimir operator is divided by the scalar c.
To study the deformation space of the characteristic connection \(\nabla ^c\) on these homogeneous spaces we rewrite Schrödinger–Lichnerowicz formula (3.7) in terms of the Casimir operator of \(\mathfrak {h}\) and \(\mathfrak {g}\) and then use the Frobenius reciprocity formula to compute the deformation space of the characteristic connection in each case. Let F be the curvature associated with \(\nabla ^c\), then the operator \(-2\epsilon \lrcorner F\) can be reformulated in terms of \(\mathrm {Cas}_\mathfrak {h}\) by doing similar calculations as in [17], Lemma 4] which gives
Let \((E,\rho _E)\) be an H-representation. We denote the tensor product of representations on \(\mathfrak {m}^*\) and E by \(\rho _{m^*\otimes E}\). For every \(t\in \mathbb R\), \(D^{t,A}\) denotes the Dirac operator on associated to the connection \(\nabla ^{A}\) and \(\nabla ^t\) on \(G\times _{\rho _{\mathfrak {m}^*\otimes E}}(\mathfrak {m}^*\otimes E)\) and , respectively. From now on we use the same symbol to denote the Lie group representation and the associated Lie algebra representation wherever there is no confusion. On a naturally reductive space Kostant’s formula for cubic Dirac operator relates the square of the Dirac operator to suitable Casimir operators and scalar terms (see [6, 39, 41]). We now use Proposition 3.4 to prove a similar result for \((D^{-1/3,c})^2\).
Proposition 4.2
Let \(\nabla ^c\) be the characteristic connection on a homogeneous nearly \(\mathrm {G}_2\) manifold \(M=G/H\). Let \((E,\rho _E)\) be an H-representation and \(\epsilon \) be a smooth section of \(G\times _{\rho _{\mathfrak {m}^*\otimes E}}(\mathfrak {m}^*\otimes E)\). Then
Proof
We begin by analyzing the rough Laplacian term in the Schrödinger– Lichnerowicz formula for \((D^{-1/3,c})^2\epsilon \cdot \eta \) from (3.7) and then substitute the F-dependent term from (4.2) in the same. We denote by \(\rho _L\) the left regular representation of G. From above calculations we know that at the center of a normal orthonormal frame \(\{e_i,i=1\ldots 7\}\) of \(\mathfrak {m}\) with respect to \(g=-\frac{3}{40}B\),
Since \(Res _{G}^{H}\ \rho _L = Res _{G}^{H}\ Ind _{H}^G (m^*\otimes E)\cong m^*\otimes E\) we have that \(\rho _{\mathfrak {m}^*\otimes E}(\mathrm {Cas}_\mathfrak {h})=\rho _L(\mathrm {Cas}_\mathfrak {h})\). Also \(\rho _{\mathfrak {m}^*}(e_i)^2=\rho _{\mathfrak {m}^*}(\mathrm {Cas}_\mathfrak {h})\) acts as \(-\mathrm {Ric}\) of the characteristic connection on 1-forms which is equal to \(-\frac{16}{3} id \) from (2.9). Substituting all the terms in (3.7) for \(t=-1\) we get
which completes the proof.
Since all the homogeneous spaces considered are naturally reductive and \(H\subset \mathrm {G}_2\), there is an adjoint action of H on \(\mathfrak {m},\mathfrak {h}\) and \(\mathfrak {g}_2\) and thus H-representations on \(\mathfrak {m}^*\otimes \mathfrak {h}\) and \(\mathfrak {m}^*\otimes \mathfrak {g}\) which we denote by \(\rho _{\mathfrak {m}^*\otimes \mathfrak {h}},\rho _{\mathfrak {m}^*\otimes \mathfrak {g}_2}\). The corresponding Lie algebra representations are denoted similarly. The infinitesimal deformation space of the instanton \(\nabla ^c\) is a subspace of \(\Gamma (\mathfrak {m}^*\otimes E)\) where E can be either \(\mathfrak {h}\) or \(\mathfrak {g}_2\).
From Propositions 3.1 and 4.2 it is clear that if \(\epsilon \) is an infinitesimal deformation of \(\nabla ^c\) on the bundle \(\mathfrak {m}^*\otimes E\) over G/H then
where the trace in both the Casimirs is taken over G.
Using (4.4) we can reformulate the infinitesimal deformation space of the characteristic connection. Since the Casimir operator acts as scalar multiple of the identity on irreducible representations we can solve (4.4) for irreducible subrepresentations of L. From Theorem 3.2 the deformations of the characteristic connection are the \(-2\) eigenfunctions \(\epsilon \cdot \eta \) of \(D^{-1,c}\). To explicitly compute the deformation space first we need to find the solutions for (4.4) which by above proposition is identical to the space of \(\frac{49}{9}\) eigenfunctions \(\epsilon \cdot \eta \) of \((D^{-1/3,c})^2\) . For \(\alpha \in \Lambda ^1Ad _\mathcal P\) by Lemma 2.1\(D^{t,A}\alpha \cdot \eta = D^{0,A}\alpha \cdot \eta +\frac{t}{2}\varphi \cdot \alpha \cdot \eta =D^{0,A}\alpha \cdot \eta -\frac{t}{2}\alpha \cdot \eta \). Therefore the \(\pm \frac{7}{3}\) eigenfunctions \(\epsilon \cdot \eta \) of \(D^{-1/3,c}\) correspond to the \(-2\) and \(\frac{8}{3}\) eigenfunction of \(D^{-1,A}\), respectively. By Proposition 3.5 we have the following decomposition
The first summand on the right-hand side is isomorphic to the space of infinitesimal deformations of \(\nabla ^c\) by Theorem 3.2. So in the second step we check which of the subspaces in \(\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cap (\Gamma (\mathfrak {m}^*\otimes E)\cdot \eta )\) lie in the \(-2\) eigenspace of \(D^{-1,c}\).
The Killing spinor \(\eta \) is parallel with respect to \(\nabla ^{-1}\) therefore by the definition of the Dirac operator and Proposition we can restrict \(D^{-1,c}\) and \((D^{-1/3,c})^2\) to operators from \(\Gamma (\mathfrak {m}^*\otimes E)\rightarrow \Gamma (\mathfrak {m}^*\otimes E)\). On a homogeneous space we can explicitly compute the characteristic connection as we describe below.
Step 1: Calculating \(\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes E)\) :
Let \(E_\mathbb C=\oplus _{i=1}^n V_i\) be the decomposition of \(E_\mathbb C\) into complex irreducible H-representations. For each \(V_i\) we find all the complex irreducible G-representations \(W_{i,j}, j=1\dots n_i\), that satisfy the equation
In order to see whether \(W_{i,j}\subset Ind ^G_H(\mathfrak {m}^*\otimes E)_\mathbb C\) we find the multiplicity \(m_{i,j}\) of \(W_{i,j}\) in \({Ind }_{H}^{G}(\mathfrak {m}_\mathbb C^*\otimes V_i)\). Because of Schur’s lemma this multiplicity is given by \(dim (Hom (W_{i,j},\mathfrak {m}_\mathbb C^*\otimes V_i)_{H})\). Repeating this process for all the i, j’s and summing over all irreducible G-representations \(W_{i,j}\) along with their multiplicity we get,
Step 2: Calculating \(\ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes E)\) :
To figure out which of the \(W_{i,j}\)’s found in Step 1 are in the \(\ker (D^{-1,c}+2id )\) we need to calculate the covariant derivative \(\nabla ^c\) on \(Hom (W_{i,j},\mathfrak {m}_\mathbb C^*\otimes V_i)_{H}\otimes W_{i,j}\subseteq \Gamma (\mathfrak {m}^*\otimes E)_\mathbb C\).
If \((W,\tau )\) is an irreducible G-subrepresentation of \({Ind }_{H}^{G}(\mathfrak {m}^*\otimes E)\) then \(Hom (W,\mathfrak {m}^*\otimes E)_{H}\) is non-trivial. By Schur’s lemma the dimension of \(Hom (W,\mathfrak {m}^*\otimes E)_{H}\) is the number of common irreducible H-subrepresentations in \(\mathrm {Res}_G^H W\) and \(\mathfrak {m}^*\otimes E\). Let \(W_\alpha \) be such a common irreducible H-representation. We denote by \(V|_{U}\) the subspace of V isomorphic to U then \(Hom (W|_{W_\alpha },(\mathfrak {m}^*\otimes E)|_{W_\alpha }=Span \{\phi _\alpha \}\). Let \(\tau _*\) be the Lie algebra \(\mathfrak {g}\) representation associated with the G-representation \((W,\tau )\) then for \(X\in \Gamma (TM)\) and \((\phi =\sum c_\alpha \phi _\alpha ,w)\in Hom (W,\mathfrak {m}^*\otimes E)_{H}\otimes W\), (4.1)
Using this we can calculate the Dirac operator at eH by
The above method can be extended by linearity to compute the Dirac operator on \(\Gamma (\mathfrak {m}^*\otimes {E})\). Note that we have omitted the Killing spinor \(\eta \) since it is parallel with respect to \(\eta \) so does not effect the eigenspace.
In the following sections we implement the above procedure on each of the four homogeneous spaces.
Remark 4.3
In a nearly Kähler 6-manifold whose structure is defined by a real Killing spinor \(\eta \), the spinor \( vol \cdot \eta \) is another independent real Killing spinor. Any Dirac operator
anti-commutes with the Clifford multiplication by \(\mathrm{vol}\) that is
, hence for all \(\lambda \in \mathbb R\) we have
. Therefore
and one can compute the \(\lambda \) eigenspace of by computing the \(\lambda ^2\) eigenspace of as done in [17], Proposition 4]. In the case of nearly \(\mathrm {G}_2\) manifolds
and the 7-dimensional \(\mathrm{vol}\) commute and thus we do not have such an isomorphism between the \(\pm \lambda \) eigenspaces of the Dirac operator. In fact there is no such automatic relation between
and
as Sect. 4.4 reveals.
Remark 4.4
The Dirac operator is always self-adjoint; therefore, the above method of finding a particular eigenspace of a Dirac operator D can be used more generally in any bundle associated with the spinor bundle over a homogeneous spin manifold. We will first compute the \(\lambda ^2\)-eigenspace the square of the Dirac operator as it can be easily described algebraically (see Proposition 4.2). Once we know the \(\lambda ^2\)-eigenspace of \(D^2\) we can apply D on them to see which of them lie in the \(\lambda \) or \(-\lambda \)-eigenspace of D.
4.3 Eigenspaces of the square of the Dirac operator
In this section we follow Step 1 of the above procedure. To see which of the irreducible representations of G satisfy (4.4), we need to compute the Casimir operator on complex irreducible representations. Given any irreducible representation \(\rho _\lambda \) with highest weight \(\lambda \) we use the Freudenthal formula to compute \(\rho _\lambda (\mathrm {Cas}_\mathfrak {g})\). We drop the constant \(\frac{40}{3}\) in our definition of Casimir operator for this section as it does not play any role in comparing the Casimir operators. Let \(\mu = \frac{1}{2}\text {(sum of the positive roots of} \ \mathfrak {g})\) then the Freudenthal formula states that
We compute the deformation space of the characteristic connection for \(E=\mathfrak {h}\) and \(E=\mathfrak {g}_2\) as described earlier. In all the examples listed below, Case 1 is for \(E=\mathfrak {h}\) and Case 2 is for \(E=\mathfrak {g}_2\).
4.3.1 \(\mathrm {Spin}(7)/\mathrm {G}_2\)
For this space, \(H=\mathrm {G}_2\) so there is only one case to consider.
The adjoint representation \(\mathfrak {g}_2\) is the unique 14-dimensional irreducible representation of \(\mathrm {G}_2\). The complex irreducible representations of \(\mathrm {G}_2\) are identified with respect to their highest weights of the form \((p,q) \in \mathbb Z^2_{\ge 0}\) and are denoted by \(V_{(p,q)}\). Here \(V_{(1,0)}\) is the 7-dimensional standard \(\mathrm {G}_2\)-representation and \(V_{(0,1)}\) is the 14-dimensional adjoint representation. The reductive splitting of the Lie algebra is given by
We have the following isomorphisms of \(\mathrm {G}_2\) representations,
The isomorphism \(\mathfrak {spin}(7) \cong \mathfrak {so}(7)\) implies that the eigenvalues of their Casimir operators on irreducible representations are equal. For \(\mathfrak {so}(7)\), let \(E_{ij}\) be the \(7\times 7\) skew-symmetric matrix with 1 at the (i, j)th entry and 0 elsewhere. We define \(H_1=E_{45}-E_{23},H_2=E_{67}-E_{45}\) and \(H_3=E_{45}\). A Cartan subalgebra for \(\mathfrak {so}(7)\) is given by \(\text {Span} \{H_i,i=1,2,3\}\). A set of simple roots \(\{\alpha _i,i=1,2,3\}\) is given by
The Cartan matrix C of \(\mathfrak {so}(7)\) which is given by
Then one can compute the simple co-roots \(F_i\)s by \(\alpha _i(F_j)=C_{ij}\) which give \(F_1=iH_2,F_2=-iH_1+2iH_3\) and \(F_3=-2iH_2-2iH_3\). The set of fundamental weights is dual to the set of the simple co-roots. We denote the fundamental weights in decreasing order by \(\lambda _1,\lambda _2\) and \(\lambda _3\) which are dual to \(F_3,F_1,F_2\), respectively. We can compute easily that
which implies,
Since half the sum of positive roots is given by \(\lambda _1+\lambda _2+\lambda _3\) in [34], Section 13.3] therefore by (4.8) on an irreducible \(\mathrm {SO}(7)\)-representation \(V_{(m_1,m_2,m_3)}\) with highest weight \(m_1\lambda _1+m_2\lambda _2+m_3\lambda _3, \ m_1, m_2 , m_3\ge 0\) we have
Now we compute the eigenvalues of the Casimir operator for the irreducible representations of \(\mathfrak {g}_2\subset \mathfrak {so}(7)\). A Cartan subalgebra of \(\mathfrak {g}_2\) is given by \(\text {Span}\{H_1,H_2\}\). Here a pair of simple roots \(\beta _1,\beta _2\) is given by
and the Cartan matrix \(\tilde{C}\) for \(\mathfrak {g}_2\) is given by
. Let \(\mu _1,\mu _2\) be the fundamental weights in decreasing order then their duals with respect to B are \(-iH_1-2iH_2,iH_2\), respectively, and one can compute
Again half the sum of the positive roots is given by \(\mu _1+\mu _2\). Using these values in the Freudenthal formula for an irreducible \(\mathrm {G}_2\)-representation \(V_{(p,q)}\) with highest weight \(p\mu _1+q\mu _2\) we have
Case 1: \(E= \mathfrak {g}_2\)
The adjoint representation \((\mathfrak {g}_2)_\mathbb C\cong V_{(0,1)}\). From above
Substituting the above-found values into (4.4) we get that \(V_{(m_1,m_2,m_3)}\) can be an infinitesimal deformation space for the characteristic connection if
But since there are no positive integral solutions of this equation there are no deformations of the characteristic connection on \(\mathrm {Spin}(7)/\mathrm {G}_2\).
4.3.2 \(\mathrm {SO(5)/SO(3)}\)
The complex irreducible \(\mathrm {SO}(5)\)-representations are characterized by highest weights \((m_1,m_2)\in \mathbb {Z}_{\ge 0}\). The complex irreducible representations of \(\mathrm {SO}(3)\) are given by \(S^k\mathbb C^2\) which is a \(\left( {\begin{array}{c}2+k-1\\ k\end{array}}\right) =k+1\)-dimensional space. The 3-dimensional adjoint representation \(\mathfrak {so}(3)_\mathbb C\) and the 7-dimensional representation \(\mathfrak {m}_\mathbb C\) are irreducible \(\mathrm {SO}(3)\)-representations therefore
A Cartan subalgebra of \(\mathfrak {so}(5)\) is given by \(\text {Span}\{H_1,H_2\}\) where \(H_1=E_{12},H_2=E_{34}\) where \(E_{ij}\) is the \(5\times 5\) skew-symmetric matrix with 1 at the (i, j)th position and 0 elsewhere. With respect to the Killing form B on \(\mathfrak {so}(5)\), \(H_1\) is orthogonal to \(H_2\) with \(B(H_i,H_i)=-6\) for \(i=1,2\). Let \(\lambda _1,\lambda _2\) be the fundamental weights whose duals are \(i(H_1-H_2),2iH_2\), respectively, then half the sum of positive roots is given by \(\lambda _1+\lambda _2\). Doing similar computations as above we get
Using (4.8) for the eigenvalues of the Casimir operator for irreducible representation \(V_{(m_1,m_2)}\) of \(\mathrm {SO}(5)\) with highest weight \(m_1\lambda _1+m_2\lambda _2\) for \(m_1,m_2\ge 0\) we get,
Under the embedding of \(\mathfrak {so}(3)\) in \(\mathfrak {so}(5)\) the Cartan subalgebra of \(\mathfrak {so}(3)\) is given by \(\text {Span}\{2H_1+H_2\}\). Here the Cartan subalgebra is 1-dimensional and the fundamental weight \(\mu _1\) is dual to \(4iH_1+2iH_2\). Using \(B(H_i,H_i)=-6\) one can compute that \(B(4H_1+2H_2,4H_1+2H_2)=-120\) the eigenvalue of the Casimir operator on the irreducible representation \(S^q\mathbb C^2\) of \(\mathfrak {so}(3)\) is given by
Case 1: \(E=\mathfrak {so}(3)\)
The adjoint representation of \(\mathfrak {so}(3)_\mathbb C\) is an irreducible \(\mathfrak {so}(3)\) representation with highest weight 2. Thus
We need to find irreducible representations \(V_{(m_1,m_2)}\) of \(\mathfrak {so}(5)\) that satisfy (4.4) which requires
But since there are no integral solutions for the equation, the deformation space is trivial in this case.
Case 2: \(E=\mathfrak {\mathfrak {g}_2}\)
The adjoint representation of \((\mathfrak {g}_2)_\mathbb C\) splits as an \(\mathfrak {so}(3)\) representation into \(S^2\mathbb C^2\oplus S^{10}\mathbb C^2\). The first component in the splitting has already been studied in case 1 and hence has no contribution to the deformation space. For the second component
Thus we need to find \(\mathfrak {so}(5)\) representations \(V_{(m_1,m_2)}\) such that
which has one integral solution, namely \(m_1=0,m_2=2\). Thus \(V_{(0,2)}\cong \mathfrak {so}(5)_\mathbb C\) is the only SO(5)-representation for which \(\mathrm {Cas}_\mathfrak {g}\) has eigenvalue 1. As \(\mathfrak {so}(3)\) representations
Thus \(V_{(0,2)}\) and \(\mathfrak {m}_\mathbb C^*\otimes S^{10}\mathbb C^2\) have 1 common irreducible \(\mathfrak {so}(3)\) representation, namely \(S^6\mathbb C^2\). Thus \(V_{(0,2)}\) occurs in \(Ind _{H}^G(\mathfrak {m}_\mathbb C^*\otimes S^{10}\mathbb C^2)\) with multiplicity 1. Therefore in this case \((\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2))_\mathbb C\cong V_{(0,2)}\).
4.3.3 \(\frac{\mathrm {Sp}(2)\times \mathrm {Sp}(1)}{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\)
The Lie algebra \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) decomposes as
and the embeddings \(\mathfrak {sp}(1)_u,\mathfrak {sp}(1)_d\) are given by
where we follow the notations used in [9]. Let \(H_1=(E_1,0),H_2=(E_2,0)\) and \(H_3=(0,E_3)\) then a Cartan subalgebra of \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) is given by \(\text {Span}\{H_1,H_2,H_3\}\) where
If B denotes the Killing form of \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\), we can compute that \(H_i\)s are orthogonal with respect to B and \(B(H_i,H_i)=-12\) for \(i=1,2\) and \(B(H_3,H_3)=-8\). The fundamental weights \(\lambda _1,\lambda _2,\lambda _3\) are dual to \(i(H_1-H_2),iH_1,iH_3\), respectively, and half the sum of positive roots is given by \(\lambda _1+\lambda _2+\lambda _3\). By identical calculations as in other cases we get
Applying Freudenthal formula (4.8) we get that the Casimir operator of \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) acts on the irreducible representations \(V_{(m_1,m_2,l)}\) with highest weight \(m_1\lambda _1+m_2\lambda _2+l\lambda _3, m_1,m_2,l\ge 0\) with the eigenvalue
Under the embedding given above a Cartan subalgebra of \(\mathfrak {sp}(1)_u,\mathfrak {sp}(1)_d\) is given by \(\text {Span}\{H_1\}\) and \(\text {Span}\{(E_2,E_3)\}\), respectively. Let P, Q be the standard 2-dimensional representation of \(\mathfrak {sp}(1)_u,\mathfrak {sp}(1)_d\), respectively. Then the unique \((n+1)-\)dimensional irreducible \(\mathfrak {sp}(1)_u\) (respectively, \(\mathfrak {sp}(1)_d\)) representation is given by \(S^nP\) (respectively, \(S^nQ\)). From previous calculations we have \(B(H_1,H_1)=-12\); thus, the eigenvalue of \(\mathrm {Cas}_{\mathfrak {sp}(1)_u}\) on \(S^nP\) is given by
Similarly with the help of previous work one can calculate \(B((E_2,E_3),(E_2,E_3))=-20\). Thus \(\mathrm {Cas}_{\mathfrak {sp}(1)_d}\) acts on \(S^pQ\) as the scalar multiple of
The adjoint representation \(\mathfrak {sp}(1)\) is an irreducible 3-dimensional \(\mathfrak {sp}(1)\) representation, and hence, we have the following decompositions into \(\mathrm {Sp}(1)_u\times \mathrm {Sp}(1)_d\) representations
where PQ denotes the tensor product of P and Q and we omitted the tensor product sign for clarity and will continue to do so.
Case 1: \(E=\mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d\)
We need to find the irreducible \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) representations \(V_{(m_1,m_2,l)}\) that satisfy (4.4) for each irreducible component of \(\mathfrak {h}_\mathbb C\) that is \((\mathfrak {sp}(1)_u)_\mathbb C\) and \((\mathfrak {sp}(1)_d)_\mathbb C\) . For \(\mathfrak {sp}(1)_u\) this equation takes the form
The integral solution \((m_1,m_2,l)\) for this equation is (0, 1, 0). Thus the only irreducible \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) representations for which \(\mathrm {Cas}_\mathfrak {g}\) has eigenvalue \(\frac{2}{3}\) is \( V_{(0,1,0)}\). As \(\mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d\)-representations we have the following decomposition
The irreducible \(\mathrm {Sp}(1)\times \mathrm {Sp}(1)\) representation in \((\mathfrak {sp}(1)_u\otimes \mathfrak {m})_\mathbb C\) common with \(V_{(0,1,0)}\) is PQ with multiplicity 1. Thus \( V_{(0,1,0)}\) occurs in \(Ind _{H}^G(\mathfrak {m}^*\otimes {\mathfrak {sp}(1)_u})_\mathbb C\) with multiplicity 1. Therefore the solutions to (4.4) in \(\Gamma (\mathfrak {{\mathfrak {m}^*}\otimes sp(1)}_u )_\mathbb C\) are the 5-dimensional complex \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\) representation \(V_{(0,1,0)}\).
For the next irreducible \(\mathfrak {h}_\mathbb C\) component \((\mathfrak {sp}(1)_d)_\mathbb C\) (4.4) for \(V_{(m_1,m_2,l)}\) becomes
which has no integral solutions and thus it has no contribution to the deformation space.
Thus from Proposition 4.2 we conclude that \((\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d)_\mathbb C\cong (V_{(0,1,0)})\) when the structure group is \(\mathrm {Sp}(1)_{u}\times \mathrm {Sp}(1)_{d}\).
Case 2: \(E=(\mathfrak {g}_2)_\mathbb C\)
The adjoint representation of \(\mathfrak {g}_2\) decomposes into irreducible \(\mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d\) as follows:
We have already seen the contribution of the first two irreducible components in the summation. For the third component
so here we need to find the \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) representations \(V_{(m_1,m_2,l)}\) such that
The \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\)-representations that satisfy (4.4) are \(V_{(2,0,0)}\) and \(V_{(0,0,2)}\), which decompose into \(\mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d\) representations as
Moreover
Thus \(V_{(2,0,0)}\) and \(PS^3Q\otimes \mathfrak {m}_\mathbb C^*\) have two common irreducible representations \(PQ,S^2Q\) and \(V_{(0,0,2)}\) and \(PS^3Q\otimes \mathfrak {m}_\mathbb C^*\) have one common irreducible representation \(S^2Q\). So by Frobenius reciprocity \(V_{(2,0,0)}\) and \(V_{(0,0,2)}\) lie in \(Ind _{H}^G(\mathfrak {m}_\mathbb C^*\otimes {PS^3Q})\) with multiplicity 2, 1, respectively. Thus the solution of (4.4) in \(\Gamma ( \mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) is the 28-dimensional \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\) complex representation \(2V_{(2,0,0)}\oplus V_{(0,1,0)}\oplus V_{(0,0,2)}\). So again by Proposition 4.2 we conclude that \(\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\cong 2V_{(2,0,0)}\oplus V_{(0,1,0)}\oplus V_{(0,0,2)}\) when the structure group is \(\mathrm {G}_2\).
4.3.4 \(\frac{\mathrm {SU}(3)\times \mathrm {SU}(2)}{\mathrm {SU}(2)\times \mathrm {U}(1)}\)
The embeddings of \(\mathfrak {su}(2)\) and \(\mathfrak {u}(1)\) in \(\mathfrak {su}(3)\times \mathfrak {su}(2)\) which we denote by \(\mathfrak {su}(2)_d\) and \(\mathfrak {u}(1)\) following [9] in \(\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) are given by
A Cartan subalgebra of \(\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) is given by \(\text {span}\{H_1=(E_1,0),H_2=(E_2,0),H_3=(0,E_3)\}\) where
We can check that the \(H_i\)s are orthogonal with respect to the Killing form B on \(\mathrm {SU}(3)\times \mathrm {SU}(2)\). As earlier we denote by \(\lambda _1,\lambda _2,\lambda _3\) the fundamental weights which are dual to \(\frac{i}{2}(H_1-H_2),\frac{i}{2}(H_1+H_2),iH_3\), respectively. By direct computations we get
therefore
Half the sum of the positive roots is \(\lambda _1+\lambda _2+\lambda _3\) and thus by Freudenthal formula (4.8) for a \(\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) representation \(V_{(m_1,m_2,l)}\) with highest weight \(m_1\lambda _1+m_2\lambda _2+l\lambda _3\) where \(m_1,m_2,l\ge 0\)
Using the embeddings of \(\mathfrak {su}(2)\) and \(\mathfrak {u}(1)\) given above we see that Cartan subalgebras of \(\mathfrak {su}(2)\) and \(\mathfrak {u}(1)\) in \(\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) are given by \(\text {span}\{(E_1,E_3)\}\) and \(\text {span}\{H_2\}\), respectively. By calculations completely analogous to the previous case we then get that if we represent the irreducible \((n+1)\)-dimensional \(\mathfrak {su}(2)_d\) representations by \(S^nW\) where W is the standard \(\mathfrak {su}(2)_d\) representation and the 1-dimensional \(\mathfrak {u}(1)\) representation with highest weight k by F(k) we get by Freudenthal formula (4.8)
As \(\mathfrak {su}(2)_d\oplus \mathfrak {u}(1)\) representations the 7-dimensional space \(\mathfrak {m}_\mathbb C\) decomposes as
whereas the 3-dimensional adjoint representation of \((\mathfrak {su}(2)_d)_\mathbb C\) is irreducible and hence is isomorphic to \(S^2W\).
Case 1: \(E=\mathfrak {su}(2)_d\oplus \mathfrak {u}(1)\)
The adjoint representation \(\mathfrak {su}(2)_d\oplus \mathfrak {u}(1)\) splits as irreducible \(\mathfrak {su}(2)_d\oplus \mathfrak {u}(1)\) representations as follows:
Since U(1) is abelian we know by Theorem 3.7 that the component \(\mathfrak {u}(1)\) is abelian and thus gives rise to no deformations of the characteristic connection. Therefore we only need to check for deformations corresponding to \(S^2W\). For that we need to look for representations \(V_{(m_1,m_2,l)}\) such that
which as seen before has no integral solutions.
Hence the characteristic connection admits no deformations in this case.
Case 2: \(E=\mathfrak {g}_2\)
The adjoint representation \((\mathfrak {g}_2)_\mathbb C\) splits as \(\mathfrak {su}(2)_d\oplus \mathfrak {u}(1)\) representation as follows:
We need to follow the same procedure as above for each of the components. For each component we need to find the \(\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) representation \(V_{(m_1,m_2,l)}\) that satisfies (4.4). We have already solved this for \(S^2W\oplus \mathbb C\), so we just need to compute it for the rest.
From above calculations \(\rho _{S^3WF(3)}(\mathrm {Cas}_\mathfrak {h})=1\) therefore \(V_{(m_1,m_2,l)}\) should satisfy
The only possible solutions are \(V_{(0,0,2)},V_{(1,1,0)}\). As \(\mathfrak {su}(2)\otimes \mathfrak {u}(1)\) representations \(V_{(0,0,2)}\cong S^2W\) and \(V_{(1,1,0)}\cong \mathfrak {su}(3)_\mathbb C\). Further one can compute
Thus \(V_{(0,0,2)}\) and \(S^3WF(3)\otimes \mathfrak {m}_\mathbb C^*\) has one common component \(S^2W\) with multiplicity 1 and \(V_{(1,1,0)}\) and \(S^3WF(3)\otimes \mathfrak {m}_\mathbb C^*\) has two common components \(S^2W,WF(3)\) both with multiplicity 1 each. So by Frobenius reciprocity \(Ind _{H}^G(\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))\) contains a copy of \(V_{(0,0,2)}\oplus 2V_{(1,1,0)}\).
The representation \(S^3WF(-3)\) is the dual of the representation \(S^3WF(3)\), and since \(\mathrm {SU}(2)\otimes \mathrm {U}(1)\) representations are isomorphic to their duals, the result for this case is same as the above and \(Ind _{H}^G(\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3))\) also contains a copy of \(V_{(0,0,2)}\oplus 2V_{(1,1,0)}\).
For the \(\mathfrak {u}(1)\) representation F(6), \(\rho _{6}(\mathrm {Cas}_{\mathfrak {u}(1)})=1\). Thus again the only solutions are \(V_{(0,0,2)}, V_{(1,1,0)}\) by the previous case. The \(\mathfrak {su}(2)\oplus \mathfrak {u}(1)\) representation \(F(6)\otimes \mathfrak {m}_\mathbb C^*\) has the following decomposition
thus \(V_{(0,0,2)}\) is not contained in \(Ind _{H}^G(\mathfrak {m}_\mathbb C^*\otimes F(6))\), but \(V_{(1,1,0)}\) is with multiplicity 1. Since \(F(-6)\cong F(6)^*\) this case is similar to the above case.
Summing up all the parts together we get that \(\ker ((D^{-1/3,c})^2- \frac{49}{9}\}\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\cong 2(V_{(0,0,2)}\oplus 3V_{(1,1,0)})\) when the structure group is \(\mathrm {G}_2\).
Table 1 lists the \(\ker ((D^{-1/3,c})^2- \frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes E)\) when \(E=\mathfrak {h}\) and \(E=\mathfrak {g}_2\) for all the normal homogeneous spaces. Note that for the remaining two homogeneous spaces \(N_{k,l},k\ne l\) and \(\mathrm {SU(2)}^3/\mathrm {U(1)}^2\) our methods does not apply when \(E=\mathfrak {g_2}\) although since H is abelian for both of them, there are no deformations for the \(E=\mathfrak {h}\) case. The space \(V^{(0,1)}\) listed in Table 1 denotes the unique irreducible 5-dimensional complex representation of \(\mathfrak {sp}(2)\).
4.4 Eigenspaces of the Dirac operator
All the G-representations listed in Table 1 lie in \(\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes E)\) which by (4.5) is equal to \((\ker (D^{-1,c} +2id )\oplus \ker (D^{-1,c} -\frac{8}{3}id ))\cap \cap \Gamma (\mathfrak {m}^*\otimes E)\). Since the characteristic connection is translation invariant, it takes an irreducible G-representation to itself.
Hence the irreducible subspaces found in Table 1 lie in either \(\ker (D^{-1,c}-\frac{8}{3}id )\) or \( \ker (D^{-1,c}+2id )\) where the subspaces in the latter space constitute the infinitesimal deformations of the characteristic connection by Theorem 3.2. Thus now it remains to identify which of the subspaces in Table 1 lies in \(\ker (D^{-1,c}+2id )\) for each of the homogeneous spaces. For all the normal homogeneous spaces G/H the metric corresponding to the nearly \(\mathrm {G}_2\) structure \(\varphi \) is given by \(-\frac{3}{40} B\) where B is the Killing form of G. For 1-forms X, Y the Clifford product between X and \(Y\cdot \eta \) is given by
Thus we have all the ingredients in (4.7) to calculate the action of the Dirac operator \(D^{-1,c}\) on each irreducible subspace in Table 1.
4.4.1 \(\mathrm {SO}(5)/\mathrm {SO}(3)\)
From the previous section we know that there is no deformation of the characteristic connection when the structure group is SO(3). For the structure group \(\mathrm {G}_2\) we calculated that the smooth sections of \(G\times _{\rho _{\mathfrak {m}^*\otimes \mathfrak {g}_2}}(\mathfrak {m}^*\otimes \mathfrak {g}_2)\) in \(\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\cong V_{(0,2)}\cong \mathfrak {so}(5)_\mathbb C\). If we denote by \(E_{ij}\) the skew-symmetric matrix with 1 at (i, j), \(-1\) at (j, i) and 0 elsewhere and define
then \(\{e_i,i=1\dots 7\}\) defines a basis of \(\mathfrak {m}^*\) which is orthonormal with respect to the metric \(-\frac{3}{40}B\). With respect to this basis the nearly \(G_2\) structure \(\varphi \) is given by
We have seen that for \(\mathrm {SO}(5)/\mathrm {SO}(3)\) the characteristic connection has no deformation as an \(\mathrm {SO}(3)\) connection. Now we need to check whether the SO(5)-representation \(V_{(0,2)}\) lies in the \(\ker (D^{-1,c}-\frac{8}{3}id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) or \(\ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\). As seen before the common irreducible \(\mathfrak {so}(3)\) representation in \(V_{(0,2)}|_{\mathfrak {so}(3)}\) and \((\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) is \(S^6\mathbb C^2 \cong \mathfrak {m}^*_\mathbb C\). We denote the 1-dimensional space \(Hom (V_{(0,2)},(\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C)=Span (\alpha ).\) Let \(\mu _i,i=1\ldots 11\) be a basis of the 11-dimensional subspace of \((\mathfrak {g}_2)_\mathbb C\) isomorphic to the \(\mathfrak {so}(3)\) representation \(S^{10}\mathbb C^2\). Then the subspace of \(\mathfrak {m}_\mathbb C^*\otimes S^{10}\mathbb C^2\subset (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to \(S^6\mathbb C^2\) is given by \(Span \{v_i,i=1\dots 7\}\) where
The subspace of \(V_{(0,2)}\) isomorphic to \(S^6\mathbb C^2\) is \(Span _\mathbb C\{e_i,i=1\ldots 7\}\), and the SO(3) equivariant homomorphism \(\alpha \) between \(V_{(0,2)}\) and \((\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) is given by
Any section of the bundle associated with \(\mathfrak {m}^*\otimes \mathfrak {g}_2\) in \(\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\) can be represented by \((\alpha ,v)\) for some \(v\in V_{(0,2)}|_{S^6\mathbb C^2}\cong \mathfrak {m}^*_\mathbb C\). The action of the characteristic connection on such a section is then given by \(\nabla ^{-1,c}_X(\alpha ,v)(eH)=-\alpha ([X,v])\) where the Lie bracket is in \(\mathfrak {so}(5)\). We can now calculate the action of the Dirac operator, \(D^{-1,c}\) on \((\alpha ,e_1)\cdot \eta \) at the point eH as follows. We omit the \(\cdot \eta \) from the computations to reduce notational clutter and will continue to do so in every case.
Thus by the translation invariance of the characteristic connection \( V_{(0,2)}\subseteq \ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\).
4.4.2 \(\frac{\mathrm {Sp}(2)\times \mathrm {Sp}(1)}{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\)
From the previous section we know that for \(E=\mathfrak {sp}(1)\oplus \mathfrak {sp}(1)\) the \(\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}^*\otimes E)_\mathbb C\cong V_{(0,1,0)}\). Let \(\{e_i,i=1\dots 7\}\) be an orthonormal basis of \(\mathfrak {m}^*\) with respect to the metric \(-\frac{3}{40} B\) given by
With respect to this basis the nearly \(\mathrm {G}_2\) form is given by
From Table 1 we know that as an \(\mathrm {Sp}(1)\times \mathrm {Sp}(1)\) connection the deformation space of the characteristic connection is an irreducible subrepresentation of \(V_{(0,1,0)}\) and is thus trivial or \((V_{(0,1,0)})_\mathbb R\) . We need to check whether this space lies in the \(-2\) eigenspace of \(D^{-1,A}\)
The \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\)-representation \(V_{(0,1,0)}\) is 5 dimensional. We need to find the space Hom\((V_{(0,1,0)},(\mathfrak {m}^*\otimes (\mathfrak {sp}(1)_u\oplus \mathfrak {sp}(1)_d))_\mathbb C)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\). The common irreducible \(\mathrm {Sp}(1)\times \mathrm {Sp}(1)\) representations in \(V_{(0,1,0)}\) and \((\mathfrak {m}^*\otimes \mathfrak {sp}(1)_u)_\mathbb C\) is PQ. Let \(S^2P = Span\{I,J,K\}\) then the subspace of \((\mathfrak {m}^*\otimes \mathfrak {sp}(1)_u)_\mathbb C\) isomorphic to the space PQ is given by \(Span _\mathbb C\{v_1,v_2,v_3,v_4\}\) where
Let the subspace of \(V_{(0,1,0)}\) isomorphic to PQ be given by Span\(\{w_1,w_2,w_3,w_4\}\) and the homomorphism space \(Hom (V_{(0,1,0)},(\mathfrak {m}^*\otimes \mathfrak {sp}(1)_u)_\mathbb C) = Span (\beta )\) where \(\beta \) is defined by
Using this isomorphism one can compute that the only non-trivial \(\mathfrak {gl}(V_{(0,1,0)}|_{PQ})\) elements with respect to the basis \(\{w_1,w_2,w_3,w_4\}\) are
Also by the definition of the characteristic connection, \(\nabla ^{-1,c}_X (\beta ,w) (eH)= -\beta (\tau _*(X)w)\). Thus we can calculate
Thus we have shown that \(V_{(0,1,0)}\) lies in the \(\ker (D^{-1,c}+2id )\).
For \(E=\mathfrak {g}_2\) the subspace of \(\Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)\) in \(\ker ((D^{-1/3.c})^2-\frac{49}{9}id )\) is isomorphic to the \(\mathrm {Sp}(1)\times \mathrm {Sp}(1)\) representation \(2V_{(2,0,0)}\oplus V_{(0,1,0)}\oplus V_{(0,0,2)}\). We have already dealt with the space \(V_{(0,1,0)}\). The remaining spaces are \(2V_{(2,0,0)}\cong 2\mathfrak {sp}(2)\) and \(V_{(0,0,2)}\cong \mathfrak {sp}(1)\). The two copies of \(V_{(2,0,0)}\) arise from \(Hom (V_{(2,0,0)},\mathfrak {m}_\mathbb C^*\otimes PS^3Q)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\), and the one copy of \(V_{(0,0,2)}\) arises from \(Hom (V_{(0,0,2)},\mathfrak {m}_\mathbb C^*\otimes PS^3Q)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\). Thus we have two cases:
Case: 1-\(Hom (V_{(0,0,2)},\mathfrak {m}_\mathbb C^*\otimes PS^3Q)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\otimes V_{(0,0,2)}\)
Let \(\{w_1,w_2,w_3\}\) be the standard basis of \(V_{(0,0,2)}\cong \mathfrak {sp}(1)_\mathbb C\) then the non-trivial actions of \(\mathfrak {m}\) on \(\mathfrak {sp}(1)_\mathbb C\) are given by
Let \(\{\mu _i,i=1\dots 8\}\) be a basis of the \(Sp (1)_u\times Sp(1) _d\) subrepresentation of \((\mathfrak {g}_2)_\mathbb C\) isomorphic to \(PS^3Q\). The 1-dimensional space Hom\((V_{(0,0,2)},(\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C) = Span \{\phi \}\) where \(\phi \) maps
The connection \(\nabla ^{-1,c}_X(\phi ,w)= -\phi ([X,w])\) for \(w\in \mathfrak {sp}(1)\) where the Lie bracket is in the Lie algebra \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\). Thus we can calculate
Hence again by translation invariance of \(\nabla ^{-1,c}\), \(V_{(0,0,2)}\subseteq \ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C.\)
Case: 2-\(Hom (V_{(2,0,0)},\mathfrak {m}_\mathbb C^*\otimes PS^3Q)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\otimes V_{(2,0,0)}\)
The \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\)-representation \(V_{(2,0,0)}\cong \mathfrak {sp}(2)_\mathbb C\cong S^2P\oplus S^2Q\oplus PQ\). The subspace of \((\mathfrak {sp}(2))_\mathbb C\) isomorphic to \(S^2Q, PQ\) is given by \(Span _\mathbb C\{e_1,e_2,e_3\}, Span _\mathbb C\{e_4,e_5,e_6,e_7\}\), respectively. As before the basis of \(PS^3Q\subset (\mathfrak {g}_2)_\mathbb C\) is denoted by \(\{\mu _1,\mu _2,\dots ,\mu _8\}\) and the subspace of \((\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to \(S^2Q\) is given by \(Span \{\phi (w_1),\phi (w_2),\phi (w_3)\}\) defined above. The subspace of \((\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to PQ is given by \(Span \{v_1,v_2,v_3,v_4\}\) where
Let \(\{A_1,A_2\}\) be a basis of the 2-dimensional space \(Hom (V_{(2,0,0)},(\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C)_{\mathrm {Sp}(1)_u\times \mathrm {Sp}(1)_d}\), and let \(A=c_1A_1+c_2A_2\) for some real constants \(c_1,c_2\), then we have that
and \(A_1,A_2\) acts trivially on \(S^2P\).
Let \(s_{(A,w)}\in \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) be the section corresponding to \((A,w)\in Hom (V_{(2,0,0)},(\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\otimes \mathfrak {sp}(2)\) then \(\nabla ^{-1,c}_X(A,w)=-A({\text {ad}}(X)w)= A([X,w]|)\) where the Lie bracket is in the Lie algebra \(\mathfrak {sp}(2)\). Using this action of \(\nabla ^{-1,c}\) we can calculate
By doing similar computations we get that
Therefore the subspace of \(Hom (V_{(2,0,0)},(\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C)_{\mathrm {Sp}(1)\times \mathrm {Sp}(1)}\) in the \(\ker (D^{-1,c}+2id )\) is given by the condition \(c_2=\frac{5}{3}c_1\) and is thus 1-dimensional. Therefore \(V_{(2,0,0)}\) occurs in the \(\ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) with multiplicity 1.
Remark 4.5
We can immediately see from above that the only other possible eigenvalue for which \(\mathfrak {sp}(2)\) is an eigenspace of \(D^{-1,c}\) is \(-\frac{8}{3}\) for \(c_2=-\frac{2}{3}c_1\). This shows that not all spaces in \(\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\) are in \(\ker (D^{-1,c}+2id )\).
4.4.3 \(\frac{\mathrm {SU}(3)\times \mathrm {SU}(2)}{\mathrm {SU}(2)\times \mathrm {U}(1)}\)
As before let \(\{e_i,i=1\ldots 7\}\) be an orthonormal basis of \(\mathfrak {m}^*\) with respect to g. If we define \(I=\begin{pmatrix}i&{}0\\ 0&{}-i\end{pmatrix}, J=\begin{pmatrix}0&{}-1\\ 1&{}0\end{pmatrix}, K=\begin{pmatrix}0&{}i\\ i&{}0\end{pmatrix}\), we have
With respect to this basis the nearly \(\mathrm {G}_2\) structure \(\varphi \) is given by
As an \(\mathrm {SU}(2)\times \mathrm {U}(1)\) representation, \(\mathfrak {m}^*_\mathbb C\cong S^2W\oplus WF(3)\oplus WF(-3)\) where
From our previous work we know that the characteristic connection has no deformations as an \(\mathrm {SU}(2)\times \mathrm {U}(1)\) connection, so we only have to consider the case \(E=\mathfrak {g}_2\).
As an \(\mathrm {SU}(2)\times \mathrm {U}(1)\) representation, \((\mathfrak {g}_2)_\mathbb C\cong S^3W(F(3)\oplus F(-3))\oplus S^2W\oplus F(6)\oplus F(-6)\). We have already seen that \(S^2W\) gives rise to no deformations. From previous calculations we know that \(\ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cap \Gamma (\mathfrak {m}_\mathbb C^*\otimes S^3WF(\pm 3))\cong V_{(0,0,2)}\oplus 2V_{(1,1,0)}\cong (\mathfrak {su}(2))_\mathbb C\oplus 2(\mathfrak {su}(3))_\mathbb C\) and \(\Gamma (\mathfrak {m}_\mathbb C^*\otimes F(\pm 6))\cap \ker ((D^{-1/3,c})^2-\frac{49}{9}id )\cong V_{(1,1,0)}\), respectively. Therefore there are 6 subspaces of \(\Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)\) to consider here.
Case: 1-\(Hom (V_{(0,0,2)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(0,0,2)}\)
We denote by \(\{\mu _i,i=1\ldots 4\}\) a basis of \(S^3WF(3)\). Let \(f_i,i=1\ldots 3\) be the standard basis of \(\mathfrak {su}(2)\) such that \([f_1,f_2]=-2f_3, [f_1,f_3]=2f_2, [f_2,f_3]=-2f_1\). Then the subspace of \(WF(-3)\otimes S^3WF(3)\subset (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to \((\mathfrak {su}(2))_\mathbb C\) is given by \(Span \{v_1,v_2,v_3\}\) where
and the space \(Hom (V_{(0,0,2)}, (\mathfrak {m}^*\otimes \mathfrak {g}_2)_{\mathbb C}) = Span \{\gamma ^A\}\) where \(\gamma ^A\) is defined by
For \(i=1,2,3,\) since \(e_i=(\frac{2}{3}f_i,-f_i)\) we have \([e_i,v]=-[f_i,v]\) for all \(v\in \mathfrak {su}(2)\). The action is trivial for \(i=4\dots 7\) since \([e_i,f_j]\notin Span \{f_1,f_2,f_3\}\). We can thus calculate
Hence \(Hom (V_{(0,0,2)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))|_{\mathrm {Sp(1)\times Sp(1)}}\otimes V_{(0,0,2)}\subseteq \ker (D^{-1,c}+2id )\).
Case: 2-\(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\)
Let a basis of the subspace of \( V_{(1,1,0)}\cong (\mathfrak {su}(3))_\mathbb C\) isomorphic to \(S^2W\cong (\mathfrak {su}(2))_\mathbb C\) be given by
where I, J, K are defined previously. Then \([p_1,p_2]=-2p_3,[p_1,p_3]=2p_2, [p_2,p_3]=-2p_1\). The basis of \(\mathfrak {m}_\mathbb C^*\otimes S^3WF(3)\subset \mathfrak {m}_\mathbb C^*\otimes \mathfrak {g}_2\) isomorphic to \(S^2W\) is given by \(Span \{w_1,w_2,w_3\}\) where
Since \((\mathfrak {su}(3))_\mathbb C=\mathfrak {m}_\mathbb C\oplus \mathbb C\), the subspace of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to WF(3) is given by \(Span _\mathbb C\{e_4-ie_5,e_6-ie_7\}\). The subspace of \(S^2W\otimes S^3WF(3)\subset (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to WF(3) is given by \(Span \{u_1,u_2\}\) where
If we denote the space \(Hom (V^{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))\) and \(Hom (V^{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(3))\) by \(Span \{A_1\}\), \(Span \{A_2\}\), respectively, then
Define \(A=c_1A_1+c_2A_2\) for some constants \(c_1,c_2\). We need to find the conditions on \(c_1,c_2\) such that \((A,w)\in \Gamma (\mathfrak {m}^*\otimes S^3WF(3))\cap \ker (D^{-1,c}+2id )\) for all \(w\in \mathfrak {su}(3)\).
Let \(s_{(A,w)}\) be the section corresponding to (A, w). Then for any vector field X, \(\nabla ^{-1,c}_X(A,w)=-A({\text {ad}}(X)w)= A([X,w]|)\) where the Lie bracket is in the Lie algebra \(\mathfrak {su}(3)\). Using this action of \(\nabla ^{-1,c}\) we can calculate
The operator \(D^{-1,c}\) acts trivially on the subspaces of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to \(\mathbb C\) and \(WF(-3)\). On the remaining subspaces we can compute the action of the Dirac operator as
Thus for any \(w\in (\mathfrak {su}(3))_\mathbb C\), \((A,w)\in \ker (D^{-1,c}+2id )\) if and only if \(c_2=\frac{10i}{3}c_1\). Thus only one copy of \(\mathfrak {su}(3)\) lies in \(\ker (D^{-1,c}+2id )\).
Note that similarly to Remark 4.5 here also for \(c_2=-\frac{4i}{3}c_1\), \((A,w)\in \ker (D^{-1,c}-\frac{8}{3}id )\).
Case: 3-\(Hom (V_{(0,0,2)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3))_{\mathrm {Sp(1)\times Sp(1)}}\otimes V_{(0,0,2)}\)
Let \(f_i,i=1\ldots 3\) be as before and denote by \(\{\nu _i,i=1\ldots 4\}\) a basis of \(S^3WF(-3)\). Then the subspace of \(WF(3)\otimes S^3WF(-3)\) isomorphic to \(S^2W\) is given by \(Span \{w_1,w_2,w_3\}\) where
and the space \(Hom (V_{(0,0,2)}, (\mathfrak {m}_C^*\otimes S^3WF(-3))) = Span \{\gamma ^B\}\) where \(\gamma ^B\) is defined by
The action of \(e_i,i=1\ldots 7\) on \(f_j,j=1\ldots 3\) is the same as Case 1, and thus, we can calculate \(D^{-1,c}(\gamma ^B,f_1)\) as
This implies \(V_{(0,0,2)}\subseteq \ker (D^{-1,c}+2id )\cap \Gamma (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\).
Case: 4-\(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\)
As above in Case 2, let a basis of the subspace of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to \(S^2W\cong \mathfrak {su}(2)\) be given by \(Span \{p_1,p_2,p_3\}\). The basis of \(\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3)\subset (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to \(S^2W\) is given by \(Span \{w_1,w_2,w_3\}\) where
The subspace of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to \(WF(-3)\) is given by \(Span \{e_4+ie_5,e_6+ie_7\}\). The subspace of \(S^2W\otimes S^3WF(-3)\subset (\mathfrak {m}^*\otimes \mathfrak {g}_2)_\mathbb C\) isomorphic to \(WF(-3)\) is given by \(Span _\mathbb C\{u_1,u_2\}\) where
Again if we denote the spaces \(Hom (V{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3))\) and \(Hom (V^{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes S^3WF(-3))\) by \(Span \{B_1\}\), \(Span \{B_2\}\), respectively, then
Again as before we need to find the conditions on \(c_1,c_2\) such that \((B=c_1B_1+c_2B_2,w)\in \ker (D^{-1,c}+2id )\) for all \(w\in (\mathfrak {su}(3))_\mathbb C\). By similar computations as Case 2, we can calculate,
Once can check that \(D^{-1,c}\) acts trivially on the subspaces of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to \(\mathbb C, WF(3)\) and
Thus for all \(w\in (\mathfrak {su}(3))_\mathbb C\), \((B,w)\in \ker (D^{-1,c}+2id )\) if and only if \(c_2=-\frac{10i}{3}c_1\) which proves that only one copy of \(\mathfrak {su}(3)\) lies in \(\ker (D^{-1,c}+2id )\) in this case as well. It immediately follows from the given action that for \(c_2=\frac{4i}{3}c_1\), \((B,w)\in \ker (D^{-1,c}-\frac{8}{3}id )\).
Case: 5-\(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(6))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\)
From before we know that the subspace of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to WF(3) is given by \(Span \{e_4-ie_5,e_6-ie_7\}\). if we denote by \(\mu \) a basis vector for the 1-dimensional representation F(6), the subspace of \(\mathfrak {m}_\mathbb C^*\otimes F(6)\) isomorphic to WF(3) is given by \(Span _\mathbb C\{(e_4+ie_5)\otimes \mu , (e_6+ie_7)\otimes \mu \}\). Let Hom\((V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(6))=Span \{\alpha \}\). We can define \(\alpha \) as follows,
Since \(V_{(1,1,0)}\) is isomorphic to the adjoint representation \((\mathfrak {su}(3))_\mathbb C\), \(\nabla ^{-1,c}_X(\alpha ,v)(eH)= -\alpha ([X,v])\) where \(X\in \mathfrak {m}\), \(v\in WF(3)\subset \mathfrak {su}(3)\). Thus we can compute
Therefore \(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(6))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\subset \ker (D^{-1,c}+2id )\) and thus lies in the deformation space.
Case: 6-\(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(-6))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\)
The subspace of \((\mathfrak {su}(3))_\mathbb C\) isomorphic to \(WF(-3)\) is given by \(Span _\mathbb C\{e_4+ie_5,e_6+ie_7\}\). We denote \(F(-6)=Span \{\nu \}\). Then \(\mathfrak {m}_\mathbb C^*\otimes F(-6)\) isomorphic to \(WF(-3)\) is given by \(Span \{(e_4-ie_5)\otimes \nu , (e_6-ie_7)\otimes \nu \}\). Let Hom\((V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(-6))=Span \{\beta \}\) then
Since \(V_{(1,1,0)}\cong (\mathfrak {su}(3))_\mathbb C\), \(\nabla ^{-1,c}_X(\beta ,v)(eH)= -\beta ([X,v])\) where \(X\in \mathfrak {m}\), \(v\in WF(-3)\subset (\mathfrak {su}(3))_\mathbb C\). Thus we can compute
which by translation invariance of \(D^{-1,c}\) shows that \(Hom (V_{(1,1,0)},\mathfrak {m}_\mathbb C^*\otimes F(-6))_{\mathrm {SU(2)\times U(1)}}\otimes V_{(1,1,0)}\subset \ker (D^{-1,c}+2id )\).
As an H-connection the characteristic connection is rigid for three out of the four considered normal homogeneous spaces. As a \(\mathrm {G}_2\)-connection the deformation space is always non-trivial infinitesimal except for the round \(S^7\). Summing up all the results found above we get the following theorem.
Theorem 4.6
The infinitesimal deformation space for the characteristic connection on the four normal homogeneous nearly \(\mathrm {G}_2\) spaces G/H when the structure group is H or \(\mathrm {G}_2\) is isomorphic to
where \(V^{(0,1)}\) is the unique 5-dimensional complex irreducible \(Sp(2) \)-representation.
4.5 Integrability of the deformation spaces
We now describe the deformation spaces obtained in Theorem 4.6.
Let M be a nearly \(\mathrm {G}_2\) manifold. We first observe that for the structure group \(\mathrm {G}_2\) the space of non-trivial deformations in Theorem 4.6 is either isomorphic to or contains as a subrepresentation one or multiple copies of the Lie algebra \(\mathfrak {g}\) of the automorphism group G. A vector field X on M preserves the \(\mathrm {G}_2\)-structure \(\varphi \) if \(\mathcal {L}_X\varphi =0\). We denote by \(\mathcal {X}\) the space of vector fields on M preserving the \(\mathrm {G}_2\)-structure. Since the \(\mathrm {G}_2\)-structure on G/H is G invariant, the space \(\mathfrak {g}\) is contained in \(\mathcal {X}\). Note that if \(X\in \mathcal {X}\) then \(\mathcal {L}_X\psi =\mathcal {L}_Xg=0\).
The next proposition asserts that if we fix a section \(\xi \in \Gamma (\mathfrak {\mathfrak {g}_2}(T^* M) \otimes Ad _\mathcal P) \subset \Gamma (\Lambda ^2T^* M\otimes Ad _\mathcal P)\), then for any vector field \(X\in \mathcal {X}\) on M the \(Ad _\mathcal P\) valued 1-form \(\epsilon _X=i_X\xi \in \Gamma (T^*M\otimes Ad _\mathcal P)\) defines an infinitesimal deformation of the nearly \(\mathrm {G}_2\) instanton A in the sense of (3.1). The proof of the proposition follows verbatim from the proof of [17, Proposition 9] and is hence omitted.
Proposition 4.7
Let A be an instanton on a principal G-bundle \(\mathcal P\) over a nearly \(\mathrm {G}_2\) manifold M. Let \(\xi \in \Gamma (\mathfrak {\mathfrak {g}_2}(T^* M) \otimes Ad _\mathcal P) \subset \Gamma (\Lambda ^2T^* M\otimes Ad _\mathcal P)\) such that \(\nabla ^{-1,A}\xi =0\). Then for any \(X\in \mathcal {X}\), \(\epsilon _X=i_X\xi \in \Gamma (T^*M\otimes Ad _\mathcal P)\) satisfies the linearized instanton condition
The above proposition implies that for each \(\xi \in \Gamma (\mathfrak {g}_2(T^*M)\otimes \mathrm {Ad}_\mathcal P)\) such that \(\nabla ^{-1,A}\xi =0\), there is a copy of \(\mathfrak {g}\) in the deformation space of A. Thus the multiplicity of \(\mathfrak {g}\) in the deformation space is the number of parallel sections of \(\mathfrak {g}_2(T^*M)\otimes \mathrm {Ad}_\mathcal P\). On G/H, when we see \(\mathcal P\) as a \(\mathrm {G}_2\)-bundle, every parallel section of \(\mathfrak {g}_2(T^*M)\otimes \mathrm {Ad}_\mathcal P\) corresponds to an H-invariant element of the H-representation \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) (since \(\mathrm {Ad}_\mathcal P\cong \mathfrak {g}_2\)) and vice-versa. The number of linearly independent H-invariant elements of \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) is equal to the multiplicity of the trivial H-representation in \(\mathfrak {g}_2\otimes \mathfrak {g}_2\).
For the characteristic connection \(\nabla ^c\) on G/H, the curvature F satisfies \(\nabla ^{-1,c}F=0\) since \(\mathrm {Hol}(\nabla ^{c})\subseteq \mathrm {G}_2\) and \(F\in \Gamma (\mathfrak {g}_2(T^*M)\otimes \mathrm {Ad}_\mathcal P)\) since \(\nabla ^c\) is a \(\mathrm {G}_2\) instanton. Hence by Proposition 4.7 for every \(X\in \mathcal {X}\), \(\epsilon _X=i_XF\) defines an infinitesimal deformation of \(\nabla ^{c}\). Using the Bianchi identity and the definition of \(\epsilon _X\) we have that
Since under the action of a gauge transformation \(\phi \), the curvature F transforms by \(\phi F \phi ^{-1}\), for all \(X\in \mathcal {X}\) there exists an infinitesimal gauge transformation \(\phi _X\) such that
Also \(i_XA\) defines an infinitesimal gauge transformation; hence, \([\phi _X+i_XA,F]\) is an action of an infinitesimal gauge transformation on F. Thus for all \(X\in \mathcal {X}\) the deformations \(i_XF\) arise from gauge transformations and hence do not descend to the moduli space.
Thus the multiplicity of \(\mathfrak {g}\) in the deformation space (modulo gauge transformations) of the characteristic connection on G/H is the number of trivial sub-representations of H in \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) apart from the one that corresponds to F. In all the cases we consider, the trivial H-representation occurs with multiplicity one in the subrepresentation \(\mathfrak {g}_2\otimes \mathfrak {h}\) of \(\mathfrak {g}_2\otimes \mathfrak {g}_2\). The trivial representation coming from \(\mathfrak {g}_2\otimes \mathfrak {h}\) corresponds to the H-invariant element F. We deal with the four normal homogeneous spaces one by one. The notation for the irreducible H-representations in all the cases is the same as used in Sect. 4.3.
-
\(\mathrm {Spin}(7)/\mathrm {G}_2\) Since \(H=\mathrm {G}_2\), in this case \(\mathfrak {g}_2\) is the irreducible adjoint representation. There is only one trivial \(\mathfrak {g}_2\)-subrepresentation of \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) which corresponds to F. Hence \(\mathfrak {g}=\mathfrak {spin}(7)\) does not occur in the deformation space as proved in Theorem 4.6.
-
\({\mathrm {SO}(5)}/ \mathrm {SO}(3)\) In this case, as an \(\mathfrak {so}(3)\) representation, \(\mathfrak {g}_2\) decomposes into two irreducible \(\mathfrak {so}(3)\)-representations, the adjoint representation \(S^2\mathbb C^2\), and the 11-dimensional representation \(S^{10}\mathbb C^2\). Thus as \(\mathfrak {so}(3)\)-representation
$$\begin{aligned} \mathfrak {g}_2\otimes \mathfrak {g}_2&= (S^2\mathbb C^2\otimes S^2\mathbb C^2)\oplus 2(S^2\mathbb C^2\otimes S^{10}\mathbb C^2)\oplus ( S^{10}\mathbb C^2\otimes S^{10}\mathbb C^2). \end{aligned}$$There are two trivial components occurring in the above decomposition from \(S^2\mathbb C^2\otimes S^2\mathbb C^2\) and \(S^{10}\mathbb C^2\otimes S^{10}\mathbb C^2\), respectively, but since the component coming from \(S^2\mathbb C^2\otimes S^2\mathbb C^2\) corresponds to F, up to gauge transformations the deformation space of the characteristic connection on \(\mathrm {SO}(5)/\mathrm {SO}(3)\) contains only one copy of \(\mathfrak {g}=\mathfrak {so}(5)\) as shown in Theorem 4.6.
-
\(\mathrm {Sp}(2)\times \mathrm {Sp}(1)/\mathrm {Sp}(1)\times \mathrm {Sp}(1)\) As an \(\mathfrak {sp}(1)\oplus \mathfrak {sp}(1)\)-representation,
$$\begin{aligned} \mathfrak {g}_2&=S^2P\oplus S^2Q\oplus PS^3Q. \end{aligned}$$The trivial \(\mathfrak {sp}(1)\oplus \mathfrak {sp}(1)\) components of \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) coming from \(S^2P\otimes S^2P\) and \(S^2Q\otimes S^2Q\) correspond to F and thus can be ignored. The only trivial component that corresponds to an infinitesimal deformation modulo gauge transformations comes from \(PS^3Q\otimes PS^3Q\); hence, again \(\mathfrak {g}=\mathfrak {sp}(2)\oplus \mathfrak {sp}(1)\) appears with multiplicity 1 as in Theorem 4.6.
-
\(\mathrm {SU}(3)\times \mathrm {SU}(2)/\mathrm {SU}(2)\times \mathrm {U}(1)\) The decomposition of \(\mathfrak {g}_2\) as an \(\mathfrak {su}(2)\oplus \mathfrak {u}(1)\)-representation is given by
$$\begin{aligned} \mathfrak {g}_2&=S^2W\oplus \mathbb C\oplus S^3WF(3)\oplus S^3WF(-3) \oplus F(6)\oplus F(-6). \end{aligned}$$The first two components in the above decomposition correspond to \(\mathfrak {h}\); hence, the only trivial \(\mathfrak {su}(2)\oplus \mathfrak {u}(1)\)-subrepresentations of \(\mathfrak {g}_2\otimes \mathfrak {g}_2\) that correspond to non-trivial deformations come from the spaces \(S^2WF(3)\otimes S^2WF(-3)\) and \(F(6)\otimes F(-6)\). Hence as proved in Theorem 4.6 the space \(\mathfrak {g}=\mathfrak {su}(3)\oplus \mathfrak {su}(2)\) occurs in the deformation space with multiplicity 2. The only deformation spaces left to be considered in Table 2 are the \(\mathrm {Sp}(2)\)-representation \(V_{(0,1)}^\mathbb R\) for the squashed 7-sphere and 2 copies of the \(\mathrm {SU}(3)\)-representation \(\mathfrak {su}(3)\) on the Aloff–Wallach space \(\mathrm {SU}(3)\times \mathrm {SU}(2)/\mathrm {SU}(2)\times \mathrm {U}(1)\).
On the squashed 7-sphere the characteristic connection splits into two connections with \(\mathrm {Hol}=\mathrm {Sp}(1)_u\) and \(\mathrm {Sp}(1)_d\), respectively. From Sect. 4.3 the deformations only come from the \(\mathrm {Sp}(1)_u\) part which is the pullback of the standard instanton on \(S^4\). If we view \(S^4\) as the symmetric homogeneous space \(\frac{{\mathrm{Sp}}(2)\times {\mathrm{Sp}}(1)}{{\mathrm{Sp}}(1)_a\times {\mathrm{Sp}}(1)_b\times {\mathrm{Sp}}(1)_c}\) and denote by \(P,Q,R\cong \mathbb C^2\) the irreducible representation of the three \({\mathrm{Sp}}(1)\) factors, respectively, we have the orthogonal decomposition
As an \(\mathfrak {sp}(1)_a\oplus \mathfrak {sp}(1)_b\oplus \mathfrak {sp}(1)_c\)-representation
The squashed sphere becomes a bundle over \(S^4\) by reducing to the subgroup \({\mathrm{Sp}}(1)^2\) corresponding to the identification \(Q=R\), so the factor \({\mathrm{Sp}}(1)_d\) acts diagonally. The complexified tangent space of \(\frac{{\mathrm{Sp}}(2)\times {\mathrm{Sp}}(1)}{{\mathrm{Sp}}(1)_u\times {\mathrm{Sp}}(1)_d}\) is then
The standard instanton on \(S^4\) is the unique \({\mathrm{Sp}}(2)\)-invariant ASD connection on \(S^4\) with charge 1. As a bundle over \(S^4\), the Levi-Civita connection induces the standard instanton on P. It is also the homogeneous connection on the \(\mathrm {Spin}(4)=\mathrm {Sp}(1)^2\) bundle over \(S^4\) obtained by left-translating the subspace \(\mathfrak {n}\) in \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1) = 3\mathfrak {sp}(1) \oplus \mathfrak {n}\) by \(\mathrm {Sp}(2)\times \mathrm {Sp}(1)\). Thus the horizontal distribution corresponding to the standard instanton is \(\mathfrak {n}\).
On the other hand the characteristic connection on the squashed 7-sphere is the characteristic homogeneous connection defined by the horizontal distribution \(\mathfrak {m}\) in the decomposition \(\mathfrak {sp}(2)\oplus \mathfrak {sp}(1) = 2\mathfrak {sp}(1) \oplus \mathfrak {m}=2\mathfrak {sp}(1)\oplus (S^2Q\oplus \mathfrak {n})\). The characteristic connection on squashed 7-sphere reduces to \(\mathrm {Sp}(1)^2\) and preserves the horizontal distribution D defined by \(\mathfrak {n}\) which is stable under both \(\mathrm {Ad}(Sp(1)^3)\) and \(\mathrm {Ad}(\mathrm {Sp}(1)^2)\).
If we consider the map
then the connection induced on D is the pullback of the homogeneous connection defined by n on \(T\left( S^4\right) \) via p.
Let \(\mathcal {M}\) be the moduli space of charge-1 instantons on \(S^4\) with structure group \({\mathrm{SU}}(2)\). Then, there is a diffeomorphism from \(\mathcal {M}\) to \(B^5 \subset \mathbb R^5\) which to an instanton associates its center. The standard instanton on \(S^4\) is the charge-1 instanton that corresponds to the center of the ball, that is to \(0 \in B^5\), and is the unique homogeneous charge-1 instanton. As the name suggests, the homogeneous charge-1 instanton is invariant with respect to the \(\mathrm {Sp}(2)\)-action. The pullback of the homogeneous charge-1 instanton to the squashed \(S^7\) is a \(\mathrm {G}_2\)-instanton (see [14, 19]). As shown in [8] the moduli space of the standard instanton on \(S^4\) can be identified as a topological space and as a differentiable manifold with \(\mathbb R^+ \times \mathbb {H}\) (see [21, sec 4.1]). As shown above the \(\mathrm {Sp}(1)\) part of the characteristic connection on the squashed 7-sphere is the pullback of the standard instanton; hence, the deformation space of the characteristic connection on the squashed 7-sphere must contain the deformation space of the standard ASD instanton on \(S^4\) and thus be at least 5-dimensional. From Table 2, we know that the moduli space of the deformations of the characteristic connection on the squashed 7-sphere is exactly 5-dimensional and hence we get the following Corollary.
Theorem 4.8
The deformations of the characteristic connection on the squashed 7-sphere are lifts of the deformations of the standard ASD connection on \(S^4\) and are thus integrable.
As of the deformation subspace isomorphic to \(2\mathfrak {su}(3)\) of the characteristic connection on \(\mathrm {SU}(3)\times \mathrm {SU}(2)/\mathrm {SU}(2)\times \mathrm {U}(1)\) with structure group \(\mathrm {G}_2\), the author is unaware of any such explicit description. It would be interesting to see whether these deformations are genuine.
References
Agricola, I., Becker-Bender, J., Kim, H.: Twistorial eigenvalue estimates for generalized Dirac operators with torsion. Adv. Math. 243, 296–329 (2013)
Agricola, I., Chiossi, S.G., Friedrich, T., Höll, J.: Spinorial description of \({\rm SU}(3)\)- and \({\rm G}_2\)-manifolds. J. Geom. Phys. 98, 535–555 (2015)
Agricola, I., Friedrich, T.: On the holonomy of connections with skew-symmetric torsion. Mathematische Annalen 328(4), 711–748 (2004)
Agricola, I., Ferreira, A.C.: Einstein manifolds with skew torsion. Q. J. Math. 65(3), 717–741 (2014)
Agricola, I., Friedrich, T., Höll, J.: \({\rm Sp}(3)\) structures on 14-dimensional manifolds. J. Geom. Phys. 69, 12–30 (2013)
Agricola, I.: Connections on naturally reductive spaces, their Dirac operator and homogeneous models in string theory. Comm. Math. Phys. 232(3), 535–563 (2003)
Agricola, I., Höll, J.: Cones of \(G\) manifolds and Killing spinors with skew torsion. Ann. Mat. Pura Appl. 194(3), 673–718 (2015)
Atiyah, M.F., Hitchin, N.J., Singer, I.M.: Self-duality in four-dimensional Riemannian geometry. Proc. R. Soc. London Ser. A 362(1711), 425–461 (1978)
Alexandrov, B., Semmelmann, U.: Deformations of nearly parallel \({\rm G}_2\)-structures. Asian J. Math. 16(4), 713–744 (2012)
Bär, C.: Real Killing spinors and holonomy. Comm. Math. Phys. 154(3), 509–521 (1993)
Berger, M.: Sur les groupes d’holonomie homogène des variétés à connexion affine et des variétés riemanniennes. Bull. Soc. Math. France 83, 279–330 (1955)
Baum, H., Friedrich, T., Grunewald, R., Kath, I.: Twistor and Killing spinors on Riemannian manifolds (1991)
Bismut, J.-M.: A local index theorem for non-Kähler manifolds. Math. Ann. 284(4), 681–699 (1989)
Ball, G., Oliveira, G.: Gauge theory on Aloff-Wallach spaces. Geom. Topol. 23(2), 685–743 (2019)
Bryant, R.L.: Some remarks on \(G_2\)-structures. In: Proceedings of Gökova Geometry-Topology Conference 2005, Gökova Geometry/Topology Conference (GGT), Gökova, 75– 109 (2006)
Bryant, R.L.: Metrics with exceptional holonomy. Ann. Math. 126(3), 525–576 (1987)
Charbonneau, B., Harland, D.: Deformations of nearly Kähler instantons. Commun. Math. Phys. 348(3), 959–990 (2016)
Chrysikos, I.: Killing and twistor spinors with torsion. Ann. Global Anal. Geom. 49(2), 105–141 (2016)
Clarke, A.: Instantons on the exceptional holonomy manifolds of Bryant and Salamon. J. Geom. Phys. 82, 84–97 (2014)
Cleyton, R., Swann, A.: Einstein metrics via intrinsic or parallel torsion. Mathematische Zeitschrift 247(3), 513–528 (2004)
Donaldson, S.K., Kronheimer, P.B.: The Geometry of Four-Manifolds, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, Oxford Science Publications(1990)
Driscoll, J.: Deformations of asymptotically conical \(\rm G_2\)-instantons, to appear in Communications in Mathematical Physics (2020)
Dwivedi, S., Singhal, R.: Deformation theory of nearly \(G_2\) manifolds, to appear in Communications in Analysis and Geometry. arXiv:2007.02497 (2020-07)
Friedrich, T., Ivanov, S.: Parallel spinors and connections with skew-symmetric torsion in string theory. Asian J. Math. 6(2), 303–335 (2002)
Friedrich, T., Kath, I.: Einstein manifolds of dimension five with small first eigenvalue of the Dirac operator. J. Diff. Geom. 29(2), 263–279 (1989)
Friedrich, T., Kath, Ines: 7-dimensional compact riemannian manifolds with killing spinors. Commun. Math. Phys. 133(3), 543–561 (1990)
Friedrich, T., Kath, I., Moroianu, A., Semmelmann, U.: On nearly parallel \(G_2\)-structures. J. Geometry Phys. 23(3), 259–286 (1997)
Friedrich, T.: The second Dirac eigenvalue of a nearly parallel \({\rm G}_2\)-manifold. Adv. Appl. Clifford Algebra 22(2), 301–311 (2012)
Goette, S.: Equivariant \(\eta \)-invariants on homogeneous spaces. Math. Z. 232(1), 1–42 (1999)
Gray, Alfred: Weak holonomy groups. Mathematische Zeitschrift 123(4), 290–300 (1971)
Grunewald, Ralf: Six-dimensional Riemannian manifolds with a real Killing spinor. Ann. Global Anal. Geom. 8(1), 43–59 (1990)
Hijazi, O.: Caractérisation de la sphère par les premières valeurs propres de l’opérateur de Dirac en dimensions \(3,\)\(4,\)\(7\) et \(8\), C. R. Acad. Sci. Paris Sér. I Math., 303(9), 417– 419 (1986)
Harland, D., Nölle, C.: Instantons and Killing spinors. J. High Energy Phys. 3, 82 (2012)
Humphreys, J.E.: Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 9, Second printing, revised (1978)
Joyce, D.D.: Compact Manifolds with Special Holonomy. Oxford Mathematical Monographs. Oxford University Press, Oxford (2000)
Karigiannis, S.: Flows of \(G_2\)-structures. I. Q. J. Math. 60(4), 487–522 (2009)
Karigiannis, S.: Some notes on \(G_2\) and \({\rm Spin}(7)\) geometry, 11, 129–146 (2010)
Knapp, A.W.: Representation theory of semisimple groups: An overview based on examples (pms-36). Princeton University Press, REV - Revised (1986)
Kostant, Bertram: A cubic Dirac operator and the emergence of Euler number multiplets of representations for equal rank subgroups. Duke Math. J. 100(3), 447–501 (1999)
Lawson, H.B., Michelson, Marie-Louise, Spin geometry (PMS-38), Princeton University Press, Princeton (1989)
Moroianu, A., Semmelmann, U.: The Hermitian Laplace operator on nearly Kähler manifolds. Comm. Math. Phys. 294(1), 251–272 (2010)
Earp, S., Henrique, N., Walpuski, T.: \({\rm G}_2\)-instantons over twisted connected sums. Geom. Topol. 19(3), 1263–1285 (2015)
Walpuski, T.: \({\rm G}_2\)-instantons over twisted connected sums: an example. Math. Res. Lett. 23(2), 529–544 (2016)
Waldron, A.: \({\rm G}_2\)-instantons on the 7-sphere, (2020-02), arXiv e-prints, arXiv:2002.02386
Wang, M.Y.: Parallel spinors and parallel forms. Ann. Global Anal. Geom. 7(1), 59–68 (1989)
Wilking, B.: The normal homogeneous space \(({\rm SU}(3)\times {\rm SO}(3))/{\rm U}^\bullet (2)\) has positive sectional curvature. Proc. Am. Math. Soc. 127(4), 1191–1194 (1999)
Acknowledgements
The author would like to thank her supervisors Benoit Charbonneau and Spiro Karigiannis for the innumerable discussions, immense support, and advice during the project. The author would also like to thank Gonçalo Oliveira for suggesting Theorem 3.7(ii), Uwe Semmelmann for his insights, Simon Salamon for his help in proving Theorem 4.8, and Ilka Agricola for her suggestions which improved the article vastly. The author is also thankful to Shubham Dwivedi for many useful interactions regarding the project.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Singhal, R. Deformations of \(\mathrm {G}_2\)-instantons on nearly \(\mathrm {G}_2\) manifolds. Ann Glob Anal Geom 62, 329–366 (2022). https://doi.org/10.1007/s10455-022-09853-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-022-09853-1