Abstract
In this paper, we provide new rigidity results for four-dimensional Riemannian manifolds and their twistor spaces. In particular, using the moving frame method, we prove that \(\mathbb {C}\mathbb {P}^3\) is the only twistor space whose Bochner tensor is parallel; moreover, we classify Hermitian Ricci-parallel and locally symmetric twistor spaces and we show the nonexistence of conformally flat twistor spaces. We also generalize a result due to Atiyah, Hitchin and Singer concerning the self-duality of a Riemannian four-manifold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Let (M, g) be an oriented Riemannian manifold of dimension 2n, with metric g. The twistor space Z associated to M is defined as the set of all the couples \((p,J_p)\) such that \(p\in M\) and \(J_p\) is a complex structure on \(T_pM\) compatible with g, i.e., such that \(g_p(J_p(X),J_p(Y))=g_p(X,Y)\) for every \(X,Y\in T_pM\).Footnote 1
Alternatively, we can define Z in an equivalent way as
where O(M) denotes the orthonormal frame bundle over M and the unitary group U(n) is identified with a subgroup of SO(2n) (see [13] for further details).
These structures, introduced by Penrose ( [25]) as an attempt to define an innovative framework for Physics, have been the subject of many investigations by the mathematical community, in virtue of the numerous geometrical and algebraic tools involved in the definition of their properties. In 1978, Atiyah, Hitchin and Singer ( [1]) adapted Penrose’s twistor theory to the Riemannian context, introducing the concept of twistor space associated to a Riemannian four-manifold and paving the way for many researches about this subject.
The orientation on M implies that O(M) has two connected components, \(O(M)_+\) and \(O(M)_-\), and therefore we can define the two connected components of Z
where SO(M) is the orthonormal-oriented frame bundle over M. We choose the component \(Z_-\) to be the twistor space of (M, g) (see also [5] and [27]). It is possible to define a natural family of Riemannian metrics \(g_t\) on \(Z_-\), where \(t>0\) ( [13] [22]); from now on, we systematically use the notation \((Z,g_t)\) to denote the twistor space \(Z_-\) endowed with the Riemannian metric \(g_t\).
In general, if (M, g) is a Riemannian manifold of dimension \(m\ge 3\), the Riemann curvature tensor \({\text {Riem}}\) on M admits the well-known decomposition
where \({\text {W}}\), \({\text {Ric}}\) and S denote the Weyl tensor, the Ricci tensor and the scalar curvature of M, respectively, and is the Kulkarni-Nomizu product. Moreover, the Riemann curvature tensor defines a symmetric linear operator from the bundle of two-forms \(\Lambda ^2\) to itself
where \(\{\theta ^i\}_{i=1,\ldots ,m}\) is a local orthonormal coframe on an open set \(U\subset M\), with dual frame \(\{e_i\}_{i=1,\ldots ,m}\), \(\gamma _{kt}=\gamma (e_k,e_t)\) and \(R_{ijkt}\) are the components of the Riemann tensor with respect to the coframe \(\{\theta ^i\}\).
If \(m=4\) and M is oriented, \(\Lambda ^2\) splits, via the Hodge \(\star \) operator, into the direct sum of two subbundles \(\Lambda _+\) and \(\Lambda _-\).
This implies that the Riemann curvature operator
\(\mathcal {R}\) assumes a block matrix form
where A (resp, C) is a symmetric endomorphism of \(\Lambda _+\) (resp., \(\Lambda _-\)) and B is a symmetric linear map from \(\Lambda _+\) to \(\Lambda _-\) (see [1, 2] and [30]). Moreover, \({\text {tr}}A={\text {tr}}C=\frac{S}{4}\). This corresponds to a decomposition of the Weyl tensor into a sum
where \(W^+\) (resp., \(W^-\)) is called the self-dual (resp., anti-self-dual) part of W. If \(W^+=0\) (resp., \(W^-=0\)), we say that M is an anti-self-dual (resp., self-dual) manifold. If we consider the symmetric linear operators induced by \(W^+\) and \(W^-\), we have that their representative matrices are \(A-\frac{S}{12}I_3\) and \(C-\frac{S}{12}I_3\), respectively, with respect to any positively oriented local orthonormal coframe; thus, (M, g) is self-dual (resp., anti-self-dual) if and only if \(C=\frac{S}{12}I_3\) (resp., \(A=\frac{S}{12}I_3\)). Note that, if the coframe is negatively oriented, A and C need to be exchanged in the previous statements.
In this paper, starting from our previous work [5], we focus our attention on some rigidity results concerning twistor spaces satisfying vanishing conditions on relevant geometric tensors, such as the Weyl tensor, the Bochner tensor and the covariant derivatives of the Ricci tensor and the Riemann tensor. For instance, we are able to show the following results:
-
nonexistence of locally conformally flat twistor spaces;
-
a twistor space is Bochner-flat if and only if the underlying manifold is homotetically isometric to \(\mathbb {S}^4\);
-
characterization of Ricci-parallel and locally symmetric twistor spaces;
-
a generalization of Atiyah–Hitchin–Singer result, using the divergences of the Nijenhuis tensor(s).
The paper is organized as follows: in Sect. 2, we show that, given a Riemannian four-manifold (M, g), its twistor space \((Z,g_t)\) cannot be locally conformally flat for any \(t>0\).
Section 3 is devoted to the characterization of Bochner-flat twistor spaces: in particular, we show that the only Bochner-parallel twistor space is “essentially” \(\mathbb {C}\mathbb {P}^3\), which is the one associated to the four-sphere \(\mathbb {S}^4\).
In Sect. 4 we consider Ricci parallel and locally symmetric twistor spaces, providing rigidity results for twistor spaces whose Atiyah–Hitchin–Singer almost complex structure \(J^+=J\) is integrable (see Appendix C for details).
In Sect. 5, we prove a general quadratic formula for \({\left| \nabla J\right| }^2\); moreover, we generalize the necessary and sufficient condition for the integrability of J, first proven by Atiyah, Hitchin, and Singer [1], through a vanishing condition on the divergences of the associated Nijenhuis tensor. We also prove a new result concerning the Nijenhuis tensor of the Eells–Salamon almost complex structure \(J^-={\textbf{J}}\) (see [15]).
To keep the paper self-contained as much as possible, we provide also five brief appendices devoted to technicalities and some heavy computations (for instance, the list of the local components of the Weyl tensor of a twistor space \((Z,g_t)\)).
2 Locally conformally flat twistor spaces
In this section, we want to show that the twistor space \((Z,g_t)\) associated to a Riemannian four-manifold (M, g) is never locally conformally flat for any \(t>0\). By Weyl–Schouten Theorem, we know that a Riemannian manifold of dimension \(n\ge 4\) is locally conformally flat if and only if its Weyl tensor \({\text {W}}\) vanishes identically (for a proof, see [20] or [23]).
Before we state the main result of this section, let us recall the transformation laws for the matrices A and B appearing in the decomposition of the Riemann curvature operator: we know that, given a local orthonormal frame \(e\in O(M)_-\), if we choose another frame \(\widetilde{e}\in O(M)_-\), the change of frames is determined by a matrix \(a\in SO(4)\) and that the matrices A and B transform according to the equations
where and \(\mu \) is a surjective homomorphism from SO(4) to \(SO(3)\times SO(3)\) induced by the universal covers of SO(4) and SO(3) (see [2, 5] and [27] for a detailed description).
For the sake of simplicity, throughout the paper we adopt the following notation
We also compute the differentials of the components listed in (2.2):
where \(\{\omega ^1,...,\omega ^4\}\) is a local orthonormal coframe and \(\omega _j^i\) are the associated Levi–Civita connection 1-forms.
Now, we can state the following result, which is new, to the best of our knowledge:
Theorem 2.1
Let (M, g) be a Riemannian four-manifold and \((Z,g_t)\) be its twistor space. Then, \((Z,g_t)\) is not locally conformally flat for any \(t>0\).
Proof
Let us suppose that \((Z,g_t)\) is locally conformally flat, i.e., by Weyl–Schouten Theorem, \(\overline{{\text {W}}}\equiv 0\) on Z. By the vanishing of the coefficients \(\overline{W}_{ab56}\) in (B.4), we obtain the system
expliciting the right-hand sides and then summing the equations, we derive the equality
Note that \(\overline{{\text {W}}}\equiv 0\) is a global condition: in particular, this means that the equation above must hold for every \(p\in M\) (it suffices to consider the pullback maps via any section of the twistor bundle). Moreover, since the locally conformally flatness is a frame-independent condition, the equation holds for every local negatively oriented orthonormal frame \(e\in O(M)_-\). In particular, since A is a symmetric matrix, we have that the equality holds for every frame e such that A is diagonal; in this situation, we have that
for every frame with respect to which A is diagonal. By (2.1), we can exchange the diagonal entries of A with suitable changes of frames in order to obtain the additional equations
where \(\widetilde{A}_{ij}\) and \(\widehat{A}_{ij}\) are the entries of the matrix A with respect to some frames \(\widetilde{e}\) and \(\widehat{e}\), respectively. At a point \(p\in M\), since \(t>0\), the system of these three equations admits three distinct solutions:
-
(1)
\(A_{11}=A_{22}=A_{33}=0\);
-
(2)
\(A_{11}=A_{22}=A_{33}=\dfrac{2}{t^2}\);
-
(3)
two diagonal entries out of three are equal to \(-\dfrac{2}{t^2}\), while the third is equal to \(\dfrac{2}{t^2}\).
This means that, at \(p\in M\), the scalar curvature S of (M, g) can attain the values 0, \(24/t^2\) or \(-8/t^2\). Since the scalar curvature is a smooth function on M and, for every point of M, one of the three equations must hold, we can conclude that S is constant on M: indeed, the possible values for S are finitely many, therefore, if \(S(p)\ne S(p')\) for \(p, p'\in M\), S would not be a smooth function.
First, let us prove that the first two cases lead to a contradiction. Note that, in this situation, A is a scalar matrix for every point \(p\in M\) (and, by (2.1), for every frame), which means that (M, g) is a self-dual manifold. By the vanishing of the components \(\overline{W}_{5ab5}\) and \(\overline{W}_{6ab6}\), if \(a\ne b\), we obtain
in particular, for \((a,b)=(1,2)\) and \((a,b)=(3,4)\), by the self-duality condition we can compute
which imply immediately on M. This is equivalent to say that the entries \(B_{23}\) and \(B_{32}\) of the matrix B vanish identically on M; since this is a global condition, by suitable change of frames, equation (2.1) implies that the matrix B is the zero matrix, i.e., (M, g) is an Einstein manifold (see also [5] for a detailed proof). However, we have that
the left-hand side of the second equation is equal to \((S^2/18)\) for an Einstein, self-dual manifold, hence, for S equal to 0 or to \(24/t^2\), we get a contradiction.
Thus, we can choose a frame e with respect to which A is diagonal and
If we consider again the equations \(\overline{W}_{5ab5}=\overline{W}_{6ab6}=0\), we obtain
which obviously imply , i.e., \(B_{32}=B_{23}=0\) in the chosen frame e. In fact, we can say more: the equalities \(B_{32}=B_{23}=0\) hold for every frame \(e'\) with respect to which the matrix A is in diagonal form with \(A_{11}=-A_{22}=A_{33}=-2/t^2\). Note that we can choose suitable change of frames such that \(\widetilde{A}=A\), where \(\widetilde{A}\) is the matrix associated to the transformed frame \(\widetilde{e}\): indeed, it suffices to choose \(a_+=I_3\) in (2.1).
Therefore, with suitable choices of \(a_-\) and putting \(a_+=I_3\) in (2.1), it is immediate to show that
for a frame e with respect to which A is in diagonal form with \(A_{11}=-A_{22}=A_{33}=-2/t^2\).
Finally, let us compute
which is obviously impossible. Thus, \((Z,g_t)\) cannot be locally conformally flat. \(\square \)
By well-known results due to Głodek (see [17]), Derdziński and Roter (see [14] and [26]), it is immediate to show the following
Corollary 2.2
A twistor space \((Z,g_t)\) is conformally symmetric, i.e., \(\nabla \overline{{\text {W}}}\equiv 0\), if and only if it is locally symmetric, i.e., \(\nabla \overline{{\text {Riem}}}\equiv 0\).
3 Bochner-flat twistor spaces
Let (N, g, J) be a almost Hermitian manifold of dimension 2n. We can define the Bochner tensor \({\text {B}}\) of N as the (0, 4)-tensor whose components with respect to a local orthonormal frame are
This tensor was first introduced by Bochner as a “complex analogue” of the Weyl tensor [3]. It is important to note that some authors define the Bochner tensor as \(-{\text {B}}\), because of a different convention for the sign of the Riemann tensor (see, for instance, [31] and [32]).
We say that N is a Bochner-flat manifold if \({\text {B}}\) vanishes identically, i.e., if \(B_{pqrs}=0\) for every \(1\le p,q,r,s\le 2n\). It is known that, in general, the Bochner tensor does not satisfy the same symmetries as the Riemann tensor (see, for instance, [35]). However, if N is Bochner-flat, by (3.1) we obtain
which means that the right-hand side of (3.2) satisfies the same symmetries as the Riemann tensor.
Now, let (M, g) be a four-dimensional Riemannian manifold and let \((Z,g_t,J)\) be its twistor space, regarded as an almost Hermitian manifold. It is known that \((Z,g_t,J)\) is a Kähler–Einstein manifold if and only if (M, g) is an Einstein, self-dual manifold with scalar curvature \(S=12/t^2\) (see, for instance, [5, 10, 24] and Corollary 4.2 of this paper). Let us suppose that \((Z,g_t,J)\) is a Kähler–Einstein manifold and let \(\overline{{\text {B}}}\) be its Bochner tensor. Under these hypotheses, we can compute the components \(\overline{B}_{pqrs}\):
(note that, in this case, the Bochner tensor satisfies the same symmetries as the Riemann tensor. See also Remark 3.5). By direct inspection of these components and by recalling that \(\mathbb {S}^4\) is the only four-dimensional space form with positive sectional curvature, up to isometries, one can show the following
Proposition 3.1
Let (M, g) be a Riemannian four-manifold such that its twistor space \((Z,g_t,J)\) is Kähler–Einstein. Then \((Z,g_t,J)\) is Bochner flat if and only if (M, g) is isometric to \(\mathbb {S}^4\), with its canonical Riemannian metric.
It is natural to ask whether Proposition 3.1 can be generalized or not if there are no hypothesis on the almost complex structure J: more precisely, our goal is to characterize almost Hermitian, Bochner-flat twistor spaces. Rather surprisingly, it turns out that \(\mathbb {S}^4\) is the only Riemannian four-manifold whose twistor space is Bochner-flat.
First, let us define the covariant derivative \(\nabla {{\text {B}}}\) of the Bochner tensor \({\text {B}}\) of an almost Hermitian manifold (N, g, J), whose components with respect to a local orthonormal coframe are
and
We say that (N, g, J) is Bochner-parallel if \(\nabla {\text {B}}\equiv 0\); in this case, by (3.4) the components of \(\nabla {\text {Riem}}\) satisfy the equation
Before we state and prove the main result of this section, we need the following
Theorem 3.2
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. Then, the Ricci tensor \(\overline{{\text {Ric}}}\) of Z is complex linear, i.e.,
if and only if (M, g) is an Einstein, self-dual manifold.
Proof
If (M, g) is an Einstein, self-dual manifold, the validity of (3.6) can be immediately shown by a direct inspection of the components listed in (B.2).
Thus, let us suppose that (3.6) holds on Z. First, note that
on Z; by (B.2), we can write
Subtracting the first equation from the second, we obtain
note that this is a global condition on the entries of the matrix B, which means that it holds for every choice of local orthonormal frame. By (2.1), we can choose
where \(I_3\) is the \(3\times 3\) identity matrix, to compute
and to obtain
Now, choosing
we get
and
therefore, we conclude that \(B_{22}=B_{32}=0\).
Now, we can choose the change of frames determined by
to compute
which obviously implies that \(B_{23}=B_{33}=0\). By an analogous computations, we can also obtain \(B_{21}=B_{31}=0\). Finally, choosing
and repeating the argument above, we conclude that \(B_{11}=B_{12}=B_{13}=0\). Thus, for every \(p\in M\) there exists a local frame such that \(B=0\), i.e., (M, g) is an Einstein manifold.
Now, by (3.6), we obtain
since (M, g) is an Einstein manifold, this equation can be rewritten as
which is another global condition and, therefore, does not depend on the choice of the local frame. In particular, for every frame with respect to which A is diagonal, we have that \((A_{22})^2=(A_{33})^2\) and, since we can exchange the diagonal entries of A, we can conclude
If \(A_{11}=A_{22}=A_{33}\), then this holds for every local orthonormal frame by (2.1), hence (M, g) is self-dual and the claim is proven.
Thus, without loss of generality, we may suppose that, for instance, \(A_{22}\ne A_{33}\) at a point \(p\in M\) for some local frame \(e\in O(M)_-\) with respect to which A is diagonal. By the equation above, it is obvious that the diagonal entries satisfy
if we choose the change of frames determined by
we obtain
and
which is true if and only if \(x=0\) and leads to a contradiction. Therefore, diagonalizing A we obtain a scalar matrix on M, which is equivalent to say that (M, g) is a self-dual manifold. \(\square \)
We are now ready to state the following
Theorem 3.3
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. Then, \((Z,g_t,J)\) is Bochner-parallel if and only if (M, g) is homotetically isometric to \(\mathbb {S}^4\) with its canonical metric. In particular, the only Bochner-parallel twistor space is \(\mathbb {C}\mathbb {P}^3\) endowed with the Fubini-Study metric.
An immediate consequence of Theorem 3.3 is the following
Corollary 3.4
\((Z,g_t,J)\) is Bochner-flat if and only if (M, g) is homotetically isometric to \(\mathbb {S}^4\) with its canonical metric.
Proof of Theorem 3.3
First, note that, in order to prove the claim, it is sufficient to show that, if \((Z,g_t,J)\) is Bochner-parallel, then it is a Kähler-Einstein manifold, i.e., (M, g) is an Einstein, self-dual manifold with scalar curvature S equal to \(12/t^2\): indeed, by (3.3), it is immediate to show that, if \((Z,g_t,J)\) is a Kähler–Einstein manifold, then it is Bochner-parallel if and only if it is Bochner-flat (it is sufficient to check the components \(\overline{B}_{pqr5,t}\)); therefore, this ends the proof by Proposition 3.1.
Let us consider the local expression of \(\nabla {\text {B}}\) in (3.5): the right-hand side satisfies the same symmetries as the components of \(\nabla {\text {Riem}}\). Thus, recalling that the Riemann tensor is skew-symmetric with respect to the last two indices, we obtain
for every \(p,q=1,...,6\).
If we consider a pair of indices (r, s) such that \(J_s^r=0\), the equation becomes
If \(J_{s,u}^r\ne 0\) for some r, s, u and for every local frame e, we conclude that \(\overline{R}_{pt}J_q^t+\overline{R}_{qt}J_p^t=0\) for every p, q. On the other hand, if \(e'\) is a frame with respect to which \(J_{s,u}^r=0\) for every r, s, u, we obtain
which obviously imply that
for the chosen frame. Thus, these equations hold on Z for every choice of \(e\in O(M)\): therefore, we can repeat the argument exploited in the proof of Theorem 3.2 to conclude that (M, g) is an Einstein, self-dual manifold.
Now, by (3.5), (B.1) and the local expression of \(\nabla \overline{{\text {Riem}}}\), it is easy to compute, for instance,
since by (B.7)
we have the equality
and it follows immediately that this holds if and only if \(S\in \{0,12/t^2\}\).
If we suppose \(S=0\), by (B.1) and (3.5) it is easy to compute
which is impossible, since
Thus, by Corollary 4.2 we conclude that \((Z,g_t,J)\) is a Kähler–Einstein manifold and this ends the proof.
\(\square \)
Remark 3.5
-
(1)
It is worth to note that Theorem 3.2 is a generalization of a result due to Davidov, Grantcharov and Muškarov, who showed that the Riemann tensor \(\overline{{\text {Riem}}}\) of \((Z,g_t,J)\) satisfies
$$\begin{aligned} \overline{R}_{pqrs}=\overline{R}_{tuvw}J_p^tJ_q^uJ_r^vJ_s^w, \forall 1\le p,q,r,s\le 6 \end{aligned}$$(3.7)if and only if (M, g) is an Einstein, self-dual manifold (see [12]). Indeed, a straightforward computation shows that (3.7) implies (3.6). Almost Hermitian manifolds which satisfy (3.7) are sometimes called RK-manifolds see ( [33] and [35]) and (3.7) is a condition satisfied by every nearly Kähler manifold (see [18]).
-
(2)
We point out that one can directly prove Corollary 3.4 without exploiting Theorem 3.3; indeed, if we suppose that \((Z,g_t,J)\) is a Bochner-flat manifold, by (3.2) we can show that \(\overline{{\text {Riem}}}\) is a K-curvature-like tensor, i.e., its components satisfy
$$\begin{aligned} \overline{R}_{pqts}J_r^t+\overline{R}_{pqrt}J_s^t=0, \forall 1\le p,q,r,s\le 6. \end{aligned}$$(3.8)The equality in (3.8) is sometimes referred to as Kähler identity and it is a deeply studied feature of almost Hermitian manifolds, aside from the twistor spaces context (we may refer the reader to [18, 28, 29, 34] and [35]).
By another result due to Davidov, Grantcharov and Muškarov [12], \(\overline{{\text {Riem}}}\) satisfies (3.8) if and only if (M, g) is an Einstein, self-dual manifold with \(S\in \{0,12/t^2\}\) If \(S=0\), by (3.1), (B.1), (B.2) and (B.3), we obtain
which is a contradiction. Thus, \((Z,g_t,J)\) is Kähler–Einstein and, by Proposition 3.1, the claim is proved. For detailed dissertations about Kähler, Bochner-flat manifolds, see, for instance, [4, 6, 7] and [8].
4 Ricci parallel and locally symmetric twistor spaces
In this section, we discuss the case of a Riemannian four-manifold (M, g) whose twistor space \((Z,g_t,J)\) is a Kähler–Einstein manifold.
Let us start proving a well-known result due to Friedrich and Grunewald (see [16]):
Theorem 4.1
Let (M, g) a Riemannian four-manifold and \((Z,g_t)\) be its twistor space. Then \((Z,g_t)\) is Einstein if and only if (M, g) is Einstein, self-dual with scalar curvature S equal to \(6/t^2\) or to \(12/t^2\).
Proof
Let us suppose that M is Einstein, self-dual with \(S\in \{\frac{6}{t^2},\frac{12}{t^2}\}\). We obtain immediately that \(\overline{R}_{a5}=\overline{R}_{a6}=0\): indeed, since M is Einstein, then (M, g) has a harmonic curvature metric, i.e., \({\text {div}}{\text {Riem}}=0\), which means that, in particular, for every \(a=1,...,4\). We have that M is Einstein and self-dual if and only if
Therefore, for instance we have that
with similar computations, we obtain that \(\overline{R}_{ab}=0\) for every \(a\ne b\). Obviously, the system also implies that \(\overline{R}_{56}=0\). Now, let us consider
we have that
Thus, we have
i.e., \(\overline{R}_{11}=\overline{S}/6\) by hypothesis. With analogous computations, we conclude that \(\overline{R}_{aa}=\overline{S}/6\) for every a. Finally,
Again, the right-hand side is equal to \(\overline{S}/6\) if and only if S is equal to \(6/t^2\) or to \(12/t^2\), which implies that Z is Einstein.
Conversely, let us suppose that \((Z,g_t)\) is an Einstein manifold, i.e., \(\overline{R}_{pq}=(\overline{S}/6)\delta _{pq}\). Recalling the expressions of \(\overline{{\text {Riem}}}\), \(\overline{{\text {Ric}}}\) and \(\overline{{\text {S}}}\) listed in (B.1), (B.2) and (B.3), respectively, we easily obtain
This implies immediately that
Subtracting the two equations, it is easy to show that
Now, by the expression of the components in (B.2), we have that
a straightforward computation shows that
that is,
for every local orthonormal frame \(e\in O(M)_-\). Thus, we can choose a frame e such that the associated matrix A is diagonal, in order to obtain \(B_{11}=0\) (note that this is not a global condition). By (2.1), if we choose
we easily obtain that
which leads to
(note that also \(\widetilde{A}\) is a diagonal matrix). By analogous computations, we can conclude that \(B=0\), i.e., (M, g) is an Einstein manifold.
Now, by hypothesis we have that
since (M, g) is Einstein, this equation assumes the form
Let us again choose \(e\in O(M)_-\) such that A is diagonal. Choosing suitable matrices \(a_+\in SO(3)\), it is easy to obtain that
If we suppose that \(A_{11}\ne A_{22}\), analogous computations immediately leads to a contradiction. Thus, \(A_{11}=A_{22}\). Exchanging \(A_{22}\) and \(A_{33}\), we can repeat the same argument to obtain \(A_{11}=A_{33}\). Thus, (M, g) is self-dual.
Finally, since (M, g) is Einstein and self-dual, we compute
that is,
Again, this equation holds if and only if
and this ends the proof. \(\square \)
As a consequence, we can state another well-known result (see [24] and [5]):
Corollary 4.2
The twistor space \((Z,g_t,J)\) associated to (M, g) is a Kähler–Einstein manifold if and only if (M, g) is an Einstein, self-dual manifold with scalar curvature equal to \(12/t^2\).
Proof
If (M, g) is an Einstein, self-dual manifold with \(S=12/t^2\), a direct inspection of the components in (B.2) and (C.3) shows that \((Z,g_t)\) is Kähler–Einstein. Conversely, by Theorem 4.1 we know that (M, g) is Einstein, self-dual with S equal to \(6/t^2\) or \(12/t^2\). If we suppose \(S=6/t^2\), we immediately obtain that
which contradicts the hypothesis that \((Z,g_t,J)\) is a Kähler manifold and ends the proof. \(\square \)
We recall that compact, Einstein, self-dual four-manifolds with positive scalar curvature have been classified: indeed, Hitchin showed that there are just two possibilities, up to conformal equivalences, which are \(\mathbb {S}^4\) and \(\mathbb {C}\mathbb {P}^2\) with their canonical metrics [21].
Now, we want to provide an analogue of Proposition 3.1, in order to give another characterization of \(\mathbb {S}^4\). Indeed, by direct inspection of the components listed in (B.6), one can immediately show the validity of
Theorem 4.3
Let \((Z,g_t,J)\) be a Kähler-Einstein twistor space. Then, \((Z,g_t,J)\) is locally symmetric if and only if (M, g) is homotetically isometric to \(\mathbb {S}^4\) with its canonical metric.
Note that, combining Theorem 4.3 with Theorem 3.3 and Corollary 2.2, we can state the following
Theorem 4.4
Let \((Z,g_t,J)\) be a Kähler–Einstein twistor space. Then the following conditions are equivalent:
-
(1)
\((Z,g_t,J)\) is a conformally symmetric manifold;
-
(2)
\((Z,g_t,J)\) is a Bochner-parallel manifold;
-
(3)
(M, g) is homotetically isometric to \(\mathbb {S}^4\), with its canonical metric.
Recall that the equivalence \((2)\Leftrightarrow (3)\) holds without any a priori hypothesis on \((Z,g_t,J)\), by Theorem 3.3.
Moreover, the Einstein condition on \(g_t\) implies that \((Z,g_t,J)\) is a harmonic curvature manifold, i.e., \({\text {div}}\overline{{\text {Riem}}}\equiv 0\). Then, by this consideration, equation (3.4) and Theorem 4.4 we can state the following
Theorem 4.5
Let \((Z,g_t,J)\) be a Kähler–Einstein twistor space. Then, either \((Z,g_t,J)\) is Bochner-parallel (and, then, (M, g) is homotetically isometric to \(\mathbb {S}^4\)) or \(\nabla {\overline{{\text {B}}}}\ne 0\) and \({\text {div}}\overline{{\text {B}}}\equiv 0\).
Though in Theorem 3.3 we characterized \(\mathbb {S}^4\) as the only four-dimensional manifold whose twistor space is Bochner-parallel, we cannot obtain an analogous characterization if we drop the hypothesis of \(g_t\) being Kähler–Einstein in Theorem 4.3. For instance, by (B.1), an easy computation of the local expression of \(\nabla {{\text {Riem}}}\) proves the following
Proposition 4.6
Let (M, g) be a Ricci-flat, self-dual, locally symmetric four-manifold. Then, its twistor space \((Z,g_t)\) is locally symmetric.
Even though \(\mathbb {S}^4\) is not the only four-manifold whose twistor space satisfies \(\nabla \overline{{\text {Riem}}}\equiv 0\), if we consider Hermitian twistor spaces, i.e., the ones associated to self-dual manifolds (see [1] and [5]), we can state the following
Theorem 4.7
Let (M, g) be a self-dual Riemannian manifold and let \((Z,g_t)\) be its twistor space. Then,
-
(1)
\((Z,g_t)\) is Ricci parallel (i.e., \(\nabla \overline{{\text {Ric}}}\equiv 0\)) if and only if \((Z,g_t)\) is an Einstein manifold or (M, g) is Ricci-flat;
-
(2)
\((Z,g_t)\) is locally symmetric if and only if (M, g) is homotetically isometric to \(\mathbb {S}^4\) with its canonical metric or (M, g) is Ricci-flat and locally symmetric.
Proof
-
(1)
First, let us suppose that (M, g) is an Einstein, self-dual manifold with scalar curvature S. In particular, (M, g) is Ricci parallel. Moreover, since under these hypotheses
for every a, b, c, we immediately obtain that the only components listed in (B.7) that may not vanish are \(\overline{R}_{ab,5}, \overline{R}_{ab,6}, \overline{R}_{a5,b}, \overline{R}_{a6,b}\) for some a, b. A straightforward computation shows that \(\overline{R}_{ab,5}=\overline{R}_{ab,6}=0\), regardless of the value of S.
Let us consider, for instance,
$$\begin{aligned} \overline{R}_{15,b}=-\dfrac{t^3 S}{1728}{\left( S^2-\dfrac{18S}{t^2} +\dfrac{72}{t^4}\right) }\delta _{3b}= -\dfrac{t^3 S}{1728}{\left( S-\dfrac{12}{t^2}\right) }{\left( S-\dfrac{6}{t^2}\right) } \delta _{3b}. \end{aligned}$$Similar computations show that the other components of \(\nabla {\overline{{\text {Ric}}}}\) vanish for the same values of S. Thus, by Theorem 4.1, we conclude that, if (M, g) is an Einstein, self-dual manifold, \((Z,g_t)\) is Ricci parallel if and only if it is an Einstein manifold or the scalar curvature of (M, g) vanishes.
Thus, in order to prove the statement, it is sufficient to show that any self-dual manifold whose twistor space is Ricci parallel must also be an Einstein manifold. Under these hypotheses, we can observe that
by the self-duality condition, these equations become
$$\begin{aligned} {\left\{ \begin{array}{ll} B_{13}B_{11}+B_{31}B_{33}+B_{21}B_{23}=0\\ B_{12}B_{11}+B_{21}B_{22}+B_{31}B_{32}=0 \end{array}\right. }. \end{aligned}$$Since the system holds for every \(e\in O(M)_-\), by a suitable change of frames we obtain that
$$\begin{aligned} B_{12}B_{13}+B_{22}B_{23}+B_{32}B_{33}=0. \end{aligned}$$The validity of these three equations is equivalent to the orthogonality of the columns of the matrix B; this means that \(B^T B=D\), where D is a diagonal matrix. Moreover, let us denote the i-th column of B as \(v_i\) and let us define
$$\begin{aligned} ||v_i||^2:=\sum _{j=1}^3 B_{ji}B_{ji}; \end{aligned}$$furthermore, let us suppose that \(v_i\ne 0\) for every i. Since the columns of B are the rows of \(B^T\), if we replace the rows of \(B^T\) with \(v_i^T/||v_i||^2\), we obtain that the new matrix, which we denote as \(B_{or}\), is orthogonal. In particular, we may assume that \(B_{or}\in SO(3)\) (otherwise, we could replace it with \(-B_{or}\)); thus, putting \(a_-^{-1}=B_{or}\) and \(a_+=I_3\) in (2.1), we have that
$$\begin{aligned} a_-^{-1}Ba_+=B_{or}B=I_3. \end{aligned}$$By the expressions of the entries of the matrices A and B, it is easy to obtain
$$\begin{aligned} \overline{R}_{13,5}&=2t{\left( \dfrac{S}{3}+2\right) }-\dfrac{t^3 S}{12}=0;\\ \overline{R}_{24,5}&=\dfrac{tS}{6}-\dfrac{t^3 S}{12} {\left( \dfrac{S}{6}-1\right) }=0. \end{aligned}$$The two equations can hold simultaneously if and only if \(t=\sqrt{3+\sqrt{17}}\), which implies that
$$\begin{aligned} S=\dfrac{3(1+\sqrt{17})}{2}. \end{aligned}$$However, since S is invariant under change of frames, we can choose
$$\begin{aligned} a_-={\begin{pmatrix} 0 &{} 1 &{} 0\\ -1 &{} 0 &{} 0\\ 0 &{} 0 &{} 1 \end{pmatrix}}, \qquad a_+=I_3 \end{aligned}$$in (2.1) in order to obtain
$$\begin{aligned} B={\begin{pmatrix} 0 &{} -1 &{} 0\\ 1 &{} 0 &{} 0\\ 0 &{} 0 &{} 1 \end{pmatrix}}; \end{aligned}$$now, it is easy to compute
$$\begin{aligned} \overline{R}_{12,5}=-t+\dfrac{t^3 S}{12}=0, \end{aligned}$$which holds if and only if
$$\begin{aligned} S=\dfrac{12}{t^2}=\dfrac{3(\sqrt{17}-3)}{2}\ne \dfrac{3(1+\sqrt{17})}{2}. \end{aligned}$$Therefore, we get a contradiction and we conclude that at least one of the columns of B must be made of zeros for every \(e\in O(M)_-\), which obviously implies that (M, g) is an Einstein manifold.
-
(2)
We know that \(\mathbb {S}^4\) and every locally symmetric, self-dual, Ricci-flat manifold have locally symmetric twistor spaces, by Proposition 4.6. Conversely, let us suppose that \((Z,g_t)\) is locally symmetric: in particular, it is Ricci parallel, therefore \((Z,g_t)\) is an Einstein manifold or (M, g) is Ricci-flat.
If \(S\ne 0\), by (B.1), it is easy to compute
which holds if and only if \(S\in \{12/t^2,24/t^2\}\). Since \((Z,g_t)\) must be an Einstein manifold, this implies that \(S\in \{6/t^2,12/t^2\}\): therefore, \(S=12/t^2\) and, by Theorem 4.3, we conclude that (M, g) is a spherical space form.
Finally, let us suppose that \(S=0\), i.e., (M, g) is Ricci-flat. Since
$$\begin{aligned} \overline{R}_{abcd,e}=R_{abcd,e}, \text{ for } \text{ every } a,b,c,d,e=1,...,4, \end{aligned}$$it is apparent that (M, g) is locally symmetric by hypothesis and this ends the proof.
\(\square \)
5 A quadratic formula for \(\nabla J\) and higher-order conditions
5.1 General quadratic formula for the square norm of \(\nabla J\)
We begin stating a general result:
Theorem 5.1
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. Then, the equality
holds, where \({\left| d\omega \right| }^2\!=\!\sum _{p,q,t=1}^6 d\omega (e_p,e_q,e_t)d\omega (e_p,e_q,e_t)\) and \({\left| N_J\right| }^2\!=\!\sum _{p,q,t=1}^6 N_{pq}^tN_{pq}^t\).
Proof
By direct computation, we obtain
Comparing these expressions with (C.4), it is easy to obtain (5.1). \(\square \)
It is worth to point out that Theorem 5.1 allows to give alternate proofs of some well-known results due to Muškarov (see [24]), exploiting the quadratic relations among the invariants listed by Gray and Hervella (see [19]). For instance, we can reformulate the following
Proposition 5.2
Let (M, g) be a Riemannian manifold and \((Z,g_t,J)\) be its twistor space. Then,
where \({\mathcal{N}\mathcal{K}}\), \({\mathcal{A}\mathcal{K}}\) and \({\mathcal {K}}\) denote the classes of nearly Kähler, almost Kähler and Kähler manifolds, respectively.
Proof
One direction is trivial. Let us suppose \(Z\in {\mathcal{N}\mathcal{K}}\). Then, by table IV in [19], we know that
inserting this equation in (5.1), it is easy to obtain
that is, \(Z\in K\). Now, let us suppose \(Z\in {\mathcal{A}\mathcal{K}}\). By the same table, we have that
again, inserting these equations in (5.1), we obtain \({\left| \nabla J\right| }^2=0\), i.e., \(Z\in {\mathcal {K}}\). \(\square \)
In fact, by analogous calculations, we can prove more. Let us consider the sixteen classes of almost Hermitian manifolds listed in [19]. Then, by Theorem 5.1, we can obtain an alternate proof of the following statement, which was first proven by Muškarov (see [24]):
Theorem 5.3
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. If \((Z,g_t,J)\) belongs to one of the first fifteen classes of almost Hermitian manifolds, then \((Z,g_t,J)\in \mathcal {H}\); consequently, (M, g) is self-dual.
5.2 Laplacian of the almost complex structures
In this section, we consider the Laplacian \(\Delta _JJ\) of the almost complex structure J (for the definition and the components, see D). We say that J is harmonic if \(\Delta _JJ=0\) (see also [37] and [38]). By a direct inspection of the components listed in D, we can provide an alternate proof to a well-known result, due to Davidov and Muškarov (see [11]):
Theorem 5.4
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. Then, J is harmonic if and only if (M, g) is self-dual.
Proof
One direction is trivial; indeed, since (M, g) is self-dual,
where the \(N_{pq}^r\) are the components of the Nijenhuis tensor of J (see (E.1)). Moreover, as an immediate consequence of the self-duality condition and the second Bianchi identity, by (A.1) and (D.2) it is easy to show that
Conversely, let us suppose \(\Delta _JJ=0\). By the explicit expression of \(\Delta _JJ_v^u\) and \(N_{pq}^r\) listed in (D.1) and in (E.1), respectively, we obtain the global equations
Again, let us choose a local orthonormal frame \(e\in O(M)_-\) such that A is a diagonal matrix. By the transformation law for the matrix A defined in (2.1), choosing the matrix
and using the equations (5.2), we obtain
Let us suppose that \(A_{11}\ne A_{22}\); this implies immediately that
With similar computations, it is easy to show that, if this equation holds, by (5.2) we must have
In both cases, choosing the matrix
and applying the transformation law for A, the equations (5.2) lead to
which clearly are contradictions. Thus, \(A_{11}=A_{22}\); by analogous computations, we easily obtain \(A_{22}=A_{33}\). Therefore, we can conclude that (M, g) is self-dual. \(\square \)
5.3 Nijenhuis tensors of J and \({\textbf{J}}\)
Now, let us consider the Nijenhuis tensors \(N_J\) and \(N_{{\textbf{J}}}\) associated to J and \({\textbf{J}}\), respectively. The expression of the components \(J_{q,t}^p\) and \({\textbf{J}}_{q,t}^p\) of the covariant derivatives of J and \({\textbf{J}}\) are listed in (C.3) and (C.5), while the components of the tensors \(N_J\) and \(N_{{\textbf{J}}}\) are listed in (E.1) and (E.6), together with the components of their covariant derivatives and their divergences in (E.3) and (E.7). Thus, let us recall the local expression of the divergences of \(N_J\) with respect to a local orthonormal coframe and its dual frame:
where \(\nabla N_J=N_{tq,s}^p\theta ^s\otimes \theta ^t\otimes \theta ^q\otimes e_p\). The following theorem is a generalization of a result due to Atiyah, Hitchin and Singer, which characterizes self-dual four-manifolds as the ones whose twistor space is Hermitian with respect to J (see [1] and [5]):
Theorem 5.5
Let (M, g) be a Riemannian four-manifold and \((Z,g_t,J)\) be its twistor space. Then, (M, g) is self-dual if and only if \({\text {div}}{N_J}\equiv 0\vee \overline{{\text {div}}}{N_J}\equiv 0\).
Proof
One direction is trivial: indeed, we know that, if (M, g) is self-dual, \(N_J\equiv 0\). Therefore, it is easy to see that \({\text {div}}{N_J}=\overline{{\text {div}}}{N_J}\equiv 0\).
Conversely, let us suppose that \({\text {div}}N_J\equiv 0\). By (E.1) and (E.4), we have
Let us choose a frame \(e\in O(M)_-\) such that A is diagonal. By (2.1), choosing
for the transformed matrix we obtain
that is,
Let us suppose \(A_{11}\ne A_{22}\). By choosing
and applying again (2.1), it is easy to see that \(A_{11}=A_{22}\), which is a contradiction. Thus, with respect to e we have that \(A_{11}=A_{22}\). By a similar argument, one can easily show that \(A_{11}=A_{33}\), i.e., (M, g) is self-dual.
Now, let us consider the case \(\overline{{\text {div}}}N_J\equiv 0\) and let us choose again a frame \(e\in O(M)_-\) such that A is diagonal. Then, since by hypothesis
we can rewrite this equation as
which means that \(A_{22}=A_{33}\). The equation above holds for every frame with respect to which the matrix A is diagonal; thus, similarly we can obtain \(A_{11}=A_{22}\), i.e., (M, g) is self-dual.
\(\square \)
As a consequence, it is immediate to show the validity of
Corollary 5.6
(M, g) is self-dual if and only if \(\nabla N_J\equiv 0\).
We point out that the equation \(\nabla N_J\equiv 0\) has been studied in the wider context of almost Hermitian manifolds: for instance, Vezzoni showed that any almost Kähler manifold that satisfies this condition is, in fact, a Kähler manifold (see [36]).
Note that, on the contrary, a simple inspection of the coefficients listed in (E.7) shows that \(\nabla N_{{\textbf{J}}}\) never vanishes (the fact that \({\textbf{J}}\) is never integrable was first proven by Eells and Salamon [15] and it is apparent by (E.6); we also mention that, if (M, g) is Einstein and self-dual, \(N_{{\textbf{J}}}\) is parallel with respect to the Chern connection \(\widetilde{\nabla }\) defined on \((Z,g_t,{\textbf{J}})\), as shown by Davidov, Grantcharov and Muškarov [9]); thus, we cannot obtain an analogue of Corollary 5.6 for \(N_{{\textbf{J}}}\). However, we can consider the divergences \({\text {div}}N_{{\textbf{J}}}\) and \(\overline{{\text {div}}}N_{{\textbf{J}}}\) of \(N_{{\textbf{J}}}\) (the components are listed in (E.8) and (E.9)) and state the following
Theorem 5.7
Let (M, g) be a four-dimensional, self-dual Riemannian manifold. If M is Ricci-flat, then \(\overline{{\text {div}}}N_{{\textbf{J}}}=0\). If the scalar curvature S of (M, g) is different from \(6/t^2\), then the converse holds.
Proof
Suppose that (M, g) is Ricci-flat, i.e., \({\text {Ric}}=0\). In particular, (M, g) is Einstein, self-dual with \(S=0\). This implies that
In particular, by the second equation we obtain
Therefore, \(\overline{{\text {div}}}N_{{\textbf{J}}}=0\), by direct inspection.
Now, let us suppose that \(\overline{{\text {div}}}N_{{\textbf{J}}}=0\) and \(S\ne 6/t^2\). It is easily shown that the hypothesis on the scalar curvature leads to
Indeed, if \(\Sigma -\dfrac{2}{t^2}=0\), the matrix A appearing in the decomposition of the Riemann curvature operator has the form
for every local orthonormal frame, since M is self-dual. Then, we must have
which is a contradiction. Thus, by hypothesis, we must have
These equations immediately imply that (M, g) is Einstein with \(S=0\), i.e., M is Ricci-flat. \(\square \)
Notes
In this work, we call complex structure an endomorphism \(J_V\) of a vector space V such that \(J_V^2=-{\text {Id}}_V\), while we call almost complex structure a (1, 1) tensor field J on a differentiable manifold M such that J assigns smoothly, to every point p, a complex structure \(J_p\) on \(T_pM\).
References
Atiyah, M.F., Hitchin, N.J., Singer, I.M.: Self-duality in four-dimensional Riemannian geometry. Proc. Roy. Soc. London Ser. A 362(1711), 425–461 (1978)
Besse, A. L.: Einstein manifolds. Classics in Mathematics. Springer-Verlag, Berlin, (2008). Reprint of the 1987 edition
Bochner, S.: Curvature and Betti numbers. II. Ann. Math. 2(50), 77–93 (1949)
Bryant, R.L.: Bochner-Kähler metrics. J. Amer. Math. Soc. 14(3), 623–715 (2001)
Catino, G., Dameno, D., Mastrolia, P.: On Riemannian four-manifolds and their twistor spaces: a moving frame approach. Submitted (2022)
Chen, B.-Y.: Some topological obstructions to Bochner-Kaehler metrics and their applications. J. Diff. Geo. 13(4), 547–558 (1978)
Chen, B.-Y., Dillen, F.: Totally real bisectional curvature, Bochner-Kaehler and Einstein-Kaehler manifolds. Differ. Geom. Appl. 10(2), 145–154 (1999)
Chen, B.-Y., Yano, K.: Manifolds with vanishing Weyl or Bochner curvature tensor. J. Math. Soc. Japan 27, 106–112 (1975)
Davidov, J., Grantcharov, G., Muškarov, O.: Curvature properties of the Chern connection of twistor spaces. Rocky Mt. J. Math. 39(1), 27–48 (2009)
Davidov, J., Muskarov, O.: On the Riemannian curvature of a twistor space. Acta Math. Hungar. 58(3–4), 319–332 (1991)
Davidov, J., Muškarov, O.: Harmonic almost-complex structures on twistor spaces. Israel J. Math. 131, 319–332 (2002)
Davidov, J., Muškarov, O., Grantcharov, G.: Kähler curvature identities for twistor spaces. Illinois J. Math. 39(4), 627–634 (1995)
de Bartolomeis, P., Nannicini, A.: Introduction to differential geometry of twistor spaces. In: Geometric theory of singular phenomena in partial differential equations (Cortona, 1995), Sympos. Math., XXXVIII, pages 91–160. Cambridge Univ. Press, Cambridge, (1998)
Derdziński, A., Roter, W.: On conformally symmetric manifolds with metrics of indices \(0\) and \(1\). Tensor (N.S.), 31(3):255–259 (1977)
Eells, J., Salamon, S.: Twistorial construction of harmonic maps of surfaces into four-manifolds. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 12(4):589–640 (1985)
Friedrich, T., Grunewald, R.: On Einstein metrics on the twistor space of a four-dimensional Riemannian manifold. Math. Nachr. 123, 55–60 (1985)
Gł odek, E.: Some remarks on conformally symmetric Riemannian spaces. Colloq. Math. 23, 121–123 (1971)
Gray, A.: Curvature identities for Hermitian and almost Hermitian manifolds. Tohoku Math. J. 28(4), 601–612 (1976)
Gray, A., Hervella, L.M.: The sixteen classes of almost Hermitian manifolds and their linear invariants. Ann. Mat. Pura Appl. 4(123), 35–58 (1980)
Hertrich-Jeromin, U.: Introduction to Möbius differential geometry. London Mathematical Society Lecture Note Series, vol. 300. Cambridge University Press, Cambridge (2003)
Hitchin, N.J.: Kählerian twistor spaces. Proc. London Math. Soc. 43(1), 133–150 (1981)
Jensen, G. R., Rigoli, M.: Twistor and Gauss lifts of surfaces in four-manifolds. In: Recent developments in geometry (Los Angeles, CA, 1987), vol. 101 of Contemp. Math., pp. 197–232. Amer. Math. Soc., Providence, RI, (1989)
Lee, J. M.: Introduction to Riemannian manifolds, vol. 176 of Graduate Texts in Mathematics. Springer, Cham, (2018). Second edition of [ MR1468735]
Muškarov, O.: Almost Hermitian structures on twistor spaces and their types. Atti Sem. Mat. Fis. Univ. Modena 37(2), 285–297 (1989)
Penrose, R.: Twistor algebra. J. Math. Phys. 8, 345–366 (1967)
Roter, W.: On conformally symmetric spaces with positive definite metric forms. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 24(11), 981–985 (1976)
Salamon, S.: Topics in Four Dimensional Riemannian Geometry, pp. 33–124. Number 1022 in Lecture Notes in Mathematics. Springer-Verlag, (1983)
Sawaki, S.: Sufficient conditions for an almost-Hermitian manifold to be Kählerian. Hokkaido Math. J. 1, 21–29 (1972)
Sawaki, S., Sekigawa, K.: Almost Hermitian manifolds with constant holomorphic sectional curvature. J. Differ. Geo. 9, 123–134 (1974)
Singer, I.M., Thorpe, J.A.: The curvature of \(4\)-dimensional Einstein spaces. In: Global Analysis (Papers in Honor of K. Kodaira), pp. 355–365. Univ. Tokyo Press, Tokyo (1969)
Tachibana, S.-I.: On the mean curvature for holomorphic \(2p\)-plane in Kählerian spaces. Tohoku Math. J. 2(25), 157–165 (1973)
Tanno, S.: Mean curvatures for holomorphic \(2p\)-planes in Kählerian manifolds. Tohoku Math. J. 2(25), 417–423 (1973)
Vanhecke, L.: Almost Hermitian manifolds with \(J\)-invariant Riemann curvature tensor. Rend. Sem. Mat. Univ. e Politec. Torino, 34:487–498 (1976)
Vanhecke, L.: The Bochner curvature tensor on almost Hermitian manifolds. Rend. Sem. Mat. Univ. e Politec. Torino, 34:21–38 (1976)
Vanhecke, L., Yano, K.: Almost Hermitian manifolds and the Bochner curvature tensor. Kodai Math. Sem. Rep. 29(1–2), 10–21 (1977)
Vezzoni, L.: On the Hermitian curvature of symplectic manifolds. Adv. Geom. 7(2), 207–214 (2007)
Wood, C.M.: Instability of the nearly-Kähler six-sphere. J. Reine Angew. Math. 439, 205–212 (1993)
Wood, C.M.: Harmonic almost-complex structures. Compos. Math. 99(2), 183–212 (1995)
Acknowledgements
The first and the third author are members of the Gruppo Nazionale per le Strutture Algebriche, Geometriche e loro Applicazioni (GNSAGA) of INdAM (Istituto Nazionale di Alta Matematica).
Funding
Open access funding provided by Universitá degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
All authors made the same contribution to the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Divergence of the self-dual part of the Weyl tensor
We list the components of the divergence of \(W^+\) in a Riemannian four-manifold.
By (2.2) and (2.3), we obtain:
Appendix B: Riemann curvature of a twistor space
We recall here all the components of the Riemann tensor, the Ricci tensor and the scalar curvature of the twistor space for a Riemannian four-manifold (see also [22]).
Components of the Riemann curvature tensor \(\overline{{\text {Riem}}}\) on \((Z,g_t)\):
Components of the Ricci tensor and \(\overline{{\text {Ric}}}\) and of the scalar curvature \(\overline{S}\):
(here: , and similarly for ).
Components of the Weyl tensor \(\overline{{\text {W}}}\):
Let \((Z,g_t,J)\) be a Kähler–Einstein manifold. By (B.1), the components of the Riemann tensor \(\overline{{\text {Riem}}}\) of Z are
The components of \(\nabla \overline{{\text {Riem}}}\) are
The general expressions of the components of \(\nabla \overline{{\text {Ric}}}\) are
The covariant derivative of the scalar curvature \(\overline{S}\) has components
Appendix C: Covariant derivative of the almost complex structures and differential of the Kähler forms
In this appendix, we list all the components of the covariant derivative of the almost complex structures \(J^{\pm }\) on Z. Recall that
using the same notation of the article, we write \(J^+=J\), \(J^-=\textbf{J}\).
Computation of \(\nabla J\) on \((Z,g_t,J)\):
The covariant derivative \(\nabla J\) of an almost complex structure is defined as
with respect to a local orthonormal frame \(\{\theta _p\}\) and its dual frame \(\{e_q\}\). Using (C.2), a long but straightforward computation shows that:
The square norm \(|\nabla J|^2=\sum _{p,q,t=1}^6J_{p,q}^tJ_{p,q}^t\) is given by
Computation of \(\nabla \textbf{J}\) on \((Z,g_t,J)\):
Again, using (C.2), we have:
Kähler forms of J and \({\textbf{J}}\):
denoting by \(\omega _+\) and \(\omega _-\) the Kähler forms of J and \({\textbf{J}}\), respectively, we have:
As far as the codifferentials of \(\omega _+\) and \(\omega _-\) are concerned, we have:
Appendix D: Hessian and Laplacian of J and \({\textbf {J}}\)
By definition, we have
and
The local components of the Laplacian \(\Delta _JJ\) are
Explicitly, we obtain
Note that
Appendix E: Computation of \(N_J\), \(N_{{\textbf {J}}}\)
Here we consider the Nijenhuis tensors \(N_J\) and \(N_{{\textbf{J}}}\) of \(J=J^+\) and \({\textbf{J}}=J^-\), respectively. We have
where \(N^p_{tq}=J_t^rJ_{r,q}^p-J_q^rJ_{r,t}^p+J_q^sJ_{t,s}^p-J_t^sJ_{q,s}^p\) and analogously for \(\textbf{N}^p_{tq}\).
Using the definition, (C.3) and (C.5), we have
Components of \(\nabla N_J\): by
Thus, we can now compute the components of the two divergences
For the sake of simplicity, let
Then, we have
The components of \(N_{{\textbf{J}}}\) are
For the sake of simplicity, let
Therefore, the components of \(\nabla N_{{\textbf{J}}}\) are:
As far as the two divergences
are concerned, we have, for the first one,
all other components are zero. For the second one, we obtain
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
Catino, G., Dameno, D. & Mastrolia, P. Rigidity results for Riemannian twistor spaces under vanishing curvature conditions. Ann Glob Anal Geom 63, 13 (2023). https://doi.org/10.1007/s10455-023-09889-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10455-023-09889-x