Abstract
For a Riemannian G-structure, we compute the divergence of the vector field induced by the intrinsic torsion. Applying the Stokes theorem, we obtain the integral formula on a closed oriented Riemannian manifold, which we interpret in certain cases. We focus on almost Hermitian and almost contact metric structures.
Similar content being viewed by others
1 Introduction
Equipping an n-dimensional manifold M with a Riemannian metric g is equivalent to the reduction of a frame bundle L(M) to the orthogonal frame bundle O(M), i.e., to action of a structure group O(n). Assuming moreover that M is oriented, we can consider the bundle SO(M) of oriented orthonormal frames. Existence of additional geometric structure can be considered as a reduction of a structure group SO(n) to a certain subgroup G. For example, almost Hermitian structure gives \(U(\frac{n}{2})\)-structure, almost contact metric structure is just a \(U(\frac{n-1}{2})\times 1\)-structure, etc.
If \(\nabla \) is the Levi–Civita connection of (M, g), we may measure the defect of \(\nabla \) to be a G-connection. This leads to the notion of an intrinsic torsion. If this (1, 2)-tensor vanishes (in such case, we say that a G-structure is integrable), then \(\nabla \) is a G-connection, which implies that the holonomy group is contained in G. We may classify non-integrable geometries by finding the decomposition of the space of all possible intrinsic torsions into irreducible G-modules. This approach was initiated by Gray and Hervella for \(U(\frac{n}{2})\)-structures [14] and later considered for other structures by many authors [7, 8, 11, 20, 21]. Each, so-called, Gray–Hervella class, gives some restrictions on the curvature.
One possible approach to curvature restrictions on compact G-structures can be achieved by obtaining integral formulas relating considered objects. This has been firstly done, in a general case, by Bor and Hernández Lamoneda [5]. They use Bochner-type formula for forms being stabilizers of each considered subgroup in SO(n). They obtained integral formulas for \(G=U(\frac{n}{2}),SU(\frac{n}{2}), G_2\) and \(\mathrm{Spin}_7\) and continued this approach for Sp(n)Sp(1) in [6]. The case \(G=U(\frac{n-1}{2})\times 1\) has been studied later in [12] by other authors.
In this article, we show how mentioned formulas can be obtained in a different way. The nice feature of our approach is that the main integral formula
is valid for any G-structure on closed M for compact \(G\subset SO(n)\). Let us roughly describe the approach and all used objects in this formula. We consider, so-called, characteristic vector field \(\chi =\sum _i \xi _{e_i}e_i\) induced by the intrinsic torsion \(\xi \) and calculate its divergence. \(\xi ^{\mathrm{alt}}\) and \(\xi ^{\mathrm{sym}}\) denote the skew-symmetric and symmetric components of \(\xi \), \(\xi ^{\mathrm{alt}}_XY=\frac{1}{2}(\xi _XY-\xi _YX)\), \(\xi ^{\mathrm{sym}}_XY=\frac{1}{2}(\xi _XY+\xi _YX)\), whereas \(s_{\mathfrak {g}^{\bot }}\) and \(s^{\mathrm{alt}}_{\mathfrak {g}^{\bot }}\) are, in a sense, \(\mathfrak {g}^{\bot }\) components of a scalar curvature (see the following sections for more details). For some Gray–Hervella classes, the characteristic vector field vanishes, and then we get point-wise formula relating an intrinsic torsion to a curvature.
We concentrate on almost Hermitian and almost contact metric structures. In the way described above, we recover many well-known relations. Let us state some of the consequences of the main integral formula (the objects used in these statements will be defined in appropriate sections):
-
1.
Assume (M, g, J) is closed Hermitian manifold of Gray–Hervella type \({\mathcal {W}}_4\) such that \(s=s^{*}\), where s is a scalar curvature and \(s^{*}\) is a \(*\)-scalar curvature. Then, M is Kähler (compare [22]).
-
2.
On a closed SU(n)-structure of type \({\mathcal {W}}_1\oplus {\mathcal {W}}_5\), we have \(\int _M s=5\int _M s^{*}\).
-
3.
Let \((M,g,\varphi ,\eta ,\zeta )\) be an almost contact metric structure with the intrinsic torsion \(\xi \in {\mathcal {D}}_2\). Then,
$$\begin{aligned} \mathrm{div}(\nabla _{\zeta }\zeta )=\frac{1}{2}s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}+\frac{1}{2}\mathrm{Ric}(\zeta ,\zeta )-\frac{1}{4}(s-s^{*}), \end{aligned}$$where s is a scalar curvature and \(s^{*}\) is an associated \(*\)-scalar curvature.
In the end, we consider some examples focusing on (reductive) homogeneous spaces. We show, which is an immediate consequence of the formula for the Levi–Civita connection, that in these examples the characteristic vector field vanishes. Hence, the main divergence formula is point-wise.
2 Intrinsic torsion
Let (M, g) be an oriented Riemannian manifold. Denote by SO(M) the bundle of oriented frames over M. Let \(\nabla \) be the Levi–Civita connection of g, and let \(\omega \) be the induced connection form. Let \(G\subset SO(n)\), where \(n=\dim M\), be a closed subgroup. Then, on the level of Lie algebras, we have the following decomposition:
where the orthogonal complement is taken with respect to the Killing form. Hence, \(\omega \) decomposes as
where \(\omega _{\mathfrak {g}}\) is a connection form in the G-reduction \(P\subset SO(M)\), if such exists, and therefore defines a Riemannian connection \(\nabla ^G\) on M. The difference
defines a (1, 2)-tensor called the intrinsic torsion of a G-structure. \(\xi \) satisfies some skew-symmetry conditions by the fact that \(\xi _X\in \mathfrak {g}^{\bot }(TM)\subset \mathfrak {so}(TM)\) where \(\mathfrak {g}^{\bot }(TM)\) is the associated bundle of the form \(P\times _{\mathrm{ad(G)}}\mathfrak {g}^{\bot }\). In particular,
By a definition, the intrinsic torsion measures the defect of the Levi–Civita connection to be a G-connection. In particular, if \(\xi \) vanishes, then the holonomy of \(\nabla \) is contained in G. The study of the intrinsic torsion and its decomposition into irreducible summands was initiated by Gray and Hervella in the case of \(G=U(\frac{n}{2})\) [14]. Since then, other possible cases, mainly coming from the Berger classification of non-symmetric irreducible holonomy groups, have been considered (see, for example, [7, 8, 11, 20, 21]).
3 An integral formula
Let (M, g) be an oriented Riemannian manifold with the Levi–Civita connection \(\nabla \). Assume M is a G-structure, with \(G\subset SO(n)\), and let \(\xi \) be the associated intrinsic torsion. Define a vector field \(\chi =\chi ^G\) by
where \((e_i)\) is any orthonormal basis. We call \(\chi \)the characteristic vector field of a G-structure M. Notice that if \(\xi \) is skew-symmetric with respect to X and Y, then \(\chi \) vanishes. This is the case, for example, for nearly Kähler manifolds (see the following sections). Additionally,
Thus, vanishing of the characteristic vector field is equivalent to the fact that divergences with respect to \(\nabla \) and \(\nabla ^G\) coincide. Moreover, put
In this section, we compute the divergence of \(\chi \) with respect to \(\nabla \). First, let us recall well-known curvature identities involving the intrinsic torsion [12]:
where R and \(R^G\) are the curvature tensors of \(\nabla \) and \(\nabla ^G\), respectively. We use the following convention for the curvature \(R(X,Y)=[\nabla _X,\nabla _Y]-\nabla _{[X,Y]}\). Thus,
Denote by s and \(s^G\) the scalar curvatures of R and \(R^G\), respectively.
Proposition 1
On an oriented G-structure M, we have
Proof
By (5), we have
Notice that \((\nabla _X\xi )_Y\) is skew-symmetric, since \(\xi _X\) is skew-symmetric,
Thus, the first sum and second sum on the right-hand side of (7) are opposite. Moreover,
since
Let us compute the last term in (7),
Substituting (8) and (9) into (7), we get (6). \(\square \)
We will improve the above divergence formula a little bit, by getting rid of the component \(s^G\) and replacing it by \(\mathfrak {g}^{\bot }\)-component of s and some additional term, which vanishes in some cases. Namely, denote by \(s_{\mathfrak {g}^{\bot }}^{\mathrm{alt}}\) the following quantity:
Proposition 2
On an oriented G-structure M, we have
If M is, additionally, closed, then the following integral formula holds
Proof
Since \(s=s_{\mathfrak {g}}+s_{\mathfrak {g}^{\bot }}\), (6) can be rewritten in form (10). \(\square \)
Remark 1
Notice that elements
are quadratic invariants of the representation of SO(n) in the space of (1, 2)-tensors with the symmetries of the intrinsic torsion, i.e., the space \(T^{*}M\otimes \mathfrak {so}(TM)\) [14]. This implies that \(|\xi |^2\) and \(|\xi ^{\mathrm{alt}}|^2-|\xi ^{\mathrm{sym}}|^2\) are also quadratic invariants. Thus, for an irreducible submodule \({\mathcal {U}}\) of the representation \(T^{*}M\otimes \mathfrak {so}(TM)\), since the space of its quadratic invariants is one-dimensional [4], then the number
is a constant multiple of \(|\xi ^{{\mathcal {U}}}|^2\). Here, \(\xi ^{{\mathcal {U}}}\) denotes the \({\mathcal {U}}\)-component of \(\xi \) with respect to decomposition into irreducible summands. This approach is also valid for any irreducible module G-module in the space of possible intrinsic torsions. This kind of approach was used in [5] to get integral formulas for many G-structures.
We have an immediate consequence of the formula (10).
Corollary 1
Assume M is an oriented G-structure, where \(G=U(\frac{n}{2})\), n even, or \(G=SO(m)\times SO(n-m)\). If the characteristic vector field vanishes, then
In particular, if the intrinsic torsion is totally skew-symmetric, then
with the equality if and only if the G-structure M is integrable (i.e., \(\xi =0\)).
Proof
For the listed choices of G, we have \([\mathfrak {g}^{\bot },\mathfrak {g}^{\bot }]\subset \mathfrak {g}\); thus, \(s^{\mathrm{alt}}_{\mathfrak {g}^{\bot }}\) vanishes. \(\square \)
The consequences of the integral formula will be presented in the following section for certain choices of G.
4 Applications to certain Riemannian G-structures
In this section, we rewrite formulas (10) and (11) for certain G-structures. We also give some applications of these relations. We will show that obtained formulas are consistent with the Bochner-type formulas obtained, using representation theory, in [5].
4.1 Almost product structures
We show that the divergence and integral formulas obtained in the previous section agree with the Walczak formulas [23]. Since this integral formula has found many applications, we will only concentrate on deriving it from (11) and state its one corollary, which will be needed later.
Let (M, g) be an oriented Riemannian manifold, with two complementary orthogonal oriented distributions \({\mathcal {D}}\) and \({\mathcal {D}}^{\bot }\), i.e., \(TM={\mathcal {D}}\oplus {\mathcal {D}}^{\bot }\). Thus, the bundle of oriented orthonormal frames SO(M) has a reduction to a subgroup \(SO(m)\times SO(n-m)\subset SO(n)\), where \(m=\dim {\mathcal {D}}\). On the level of Lie algebras
where
and A is \(m\times (n-m)\) matrix. Let \(\nabla \) be the Levi–Civita connection of g. Since the orthogonal projection to \(\mathfrak {m}\) is just a restriction to non-diagonal blocks, it follows that the intrinsic torsion equals
where \(Y^{\top }\) and \(Y^{\bot }\) denote the components of Y in \({\mathcal {D}}\) and \({\mathcal {D}}^{\bot }\). Notice that \(\xi \) is made of shape operators and fundamental forms of distributions \({\mathcal {D}}\) and \({\mathcal {D}}^{\bot }\). Recall that the second fundamental form, for example, of \({\mathcal {D}}\) is a (1, 2)-symmetric tensor \(B=B^{{\mathcal {D}}}\) of the form
Additionally, we will use integrability tensor \(T=T^{{\mathcal {D}}}\) being just
Notice that \(B(X,Y)+T(X,Y)=(\nabla _XY)^{\bot }\); hence, B and T are symmetrization and alternation of (a minus of) a part of the intrinsic torsion reduced to \({\mathcal {D}}\).
For an orthonormal basis \((e_i)\) adapted to the decomposition \({\mathcal {D}}\oplus {\mathcal {D}}^{\bot }\), denote by \(e_A\) elements of \((e_i)\) in \({\mathcal {D}}\) and by \(e_{\alpha }\) elements of \((e_i)\) in \({\mathcal {D}}^{\bot }\). The characteristic vector field \(\chi \) equals
where H and \(H^{\bot }\) are mean curvature vectors of \({\mathcal {D}}\) and \({\mathcal {D}}^{\bot }\), respectively.
We may now state and show that the Walczak formula [23] is an integral formula (11) for \(G=SO(m)\times SO(n-m)\).
Proposition 3
([23]) On a closed Riemannian manifold equipped with a pair of complementary orthogonal and oriented distributions, the following Walczak integral formula holds
where \(s_{\mathrm{mix}}\) is a mixed scalar curvature defined by
Proof
Since
and analogously interchanging \(e_{\alpha }\) with \(e_A\), then
and
Moreover,
Putting all these facts together (10) implies Walczak divergence formula [23]
Assuming M is closed, the Walczak integral formula holds. \(\square \)
Formula (13) has found many applications. Let us only state one of its consequences for \({\mathcal {D}}\) of codimension 1, since it will be used in one of forthcoming subsections. In this case, clearly, \(T^{\bot }=0\) and \(B^{\bot }=H^{\bot }\). Denoting the unit positively oriented vector field orthogonal to \({\mathcal {D}}\) by \(\zeta \), we have \(\chi =(\mathrm{div}\zeta )\zeta - \nabla _{\zeta }\zeta \). Moreover,
Therefore, (14) and (13) can be rewritten in the following well-known way.
Proposition 4
On a Riemannian manifold with an orientable codimension one distribution \({\mathcal {D}}\), we have the following divergence formula:
and, assuming M is closed, the following integral formula
4.2 Almost Hermitian structures
Assume (M, g, J) is an oriented Riemannian manifold with an almost complex structure J, i.e., \(J^2=-\mathrm{id}_{TM}\), which is Hermitian, i.e., \(g(JX,JY)=g(X,Y)\) for \(X,Y\in TM\). Then, (M, g, J) is of even dimension 2n and induces an U(n)-structure. On the level of Lie algebras, we have
where
In particular, \([\mathfrak {u}(n)^{\bot },\mathfrak {u}(n)^{\bot }]\subset \mathfrak {u}(n)\), thus \(s_{\mathfrak {u}(n)^{\bot }}^{\mathrm{alt}}=0\). The orthogonal projection from \(\mathfrak {so}(n)\) to \(\mathfrak {u}(n)^{\bot }\) equals \(A\mapsto \frac{1}{2}\left( A+JAJ\right) \). Thus, the \(\mathfrak {u}(n)\)-component of R is given by
Moreover, the intrinsic torsion, being informally the projection of \(-\nabla \) to \(\mathfrak {u}(n)^{\bot }\), is given by the formula
Hence, the characteristic vector field \(\chi \) is the following
Let us describe the intrinsic torsion with the use of the Nijenhuis tensor N and the Kähler form \(\varOmega \). Recall that
and
It is a famous theorem by Newlander and Nirenberg that vanishing of the Nijenhuis tensor is equivalent to integrability of J, i.e., existence of complex coordinates adapted to J. In can be shown [2] that
Unfortunately, this shows that \(\xi \) has no particular symmetries and using (19), it is hard to give nice interpretations for the symmetrized and skew-symmetrized intrinsic torsion \(\xi ^{\mathrm{sym}}\) and \(\xi ^{\mathrm{alt}}\), respectively. Therefore, it is convenient to consider some restrictions or decomposition of the intrinsic torsion. The space of all possible intrinsic torsions is, in this case, \(T^{*}M\otimes \mathfrak {u}(n)^{\bot }(TM)\). Decomposing this space into irreducible modules with respect to U(n)-action, we get so-called Gray–Hervella classes [14]
where each class can be characterized as follows:
In the characterization of \({\mathcal {W}}_4\), \(\theta \) is a one-form often called the Lee form.
The following proposition contains well-known and useful properties of almost Hermitian \({\mathcal {W}}_1,\ldots ,{\mathcal {W}}_4\) classes.
Proposition 5
([14]) We have the following characterization of Gray–Hervalla classes:
Moreover,
By the above proposition, if \(\xi \in {\mathcal {W}}_1\oplus {\mathcal {W}}_2\oplus {\mathcal {W}}_3\), then formula (10) is a point-wise formula for the \(u(n)^{\bot }\)-component of the scalar curvature
The left-hand side has a nice interpretation, which is valid for all Gray–Hervella classes. Define Ricci and \(*\)-Ricci tensors by
These induce, taking traces, scalar curvatures
Then, by (16)
Now, we will discus relations between elements in the divergence formula (10) in each pure class \({\mathcal {W}}_i\) separately. We will proceed by studying quadratic invariants of the U(n)-representation on the space of intrinsic torsions \(T^{*}M\otimes \mathfrak {u}(n)^{\bot }(TM)\) [14]:
where \(\alpha (X,Y,Z)=g(\xi _XY,Z)\). Notice that
Thus, the divergence formula (10) may be rewritten, using these invariants and formula (22) as follows:
It is not hard to see by definitions of each pure class \({\mathcal {W}}_i\) and Proposition 5 that the following fact holds.
Proposition 6
Quadratic invariants characterize pure Gray–Hervella classes \({\mathcal {W}}_i\) as listed in Table 1. In a table, \(i_j^{(k)}\) denotes an invariant \(i_j\) considered for a class \({\mathcal {W}}_k\).
Using Proposition 6 and relation (23), we can derive some useful relations for each pure class. These relations are well known. (See the references listed in the proposition below.) Let us enlarge on this. In analogy to Gray [15], we consider the following curvature condition:
Notice that the class \(\mathcal {SC}\) contains Gray class \({\mathcal {G}}_1\), which by definition, denotes almost Hermitian structures for which the curvature tensor satisfies
Proposition 7
The following relations hold.
-
1.
(compare [10, 13]) For a \({\mathcal {W}}_1\) structure \(s-s^{*}=|\nabla J|^2\). In particular, there is no nearly Kähler non-Kähler structure satisfying \(\mathcal {SC}\) condition.
-
2.
(compare [10, 19]) For a \(\mathcal {W}_2\) structure \(2(s-s^{*})=-|\nabla J|^2\). In particular, there is no almost Kähler non-Kähler structure satisfying \(\mathcal {SC}\) condition.
-
3.
Any \({\mathcal {W}}_3\) structure satisfies \(\mathcal {SC}\) condition.
-
4.
(compare [9, 10, 22]) For a \({\mathcal {W}}_4\) structure with a Lee form \(\theta \)
$$\begin{aligned} (n-1)\mathrm{div}\theta ^{\sharp }=-(s-s^{*})+(n-1)^2|\theta |^2. \end{aligned}$$In particular, there is no locally conformally Kähler non-Kahler structure defined on a closed manifold which satisfies \(\mathcal {SC}\) condition.
Proof
It suffices to apply (10), Proposition 6 and use the fact that \(|\xi |^2=\frac{1}{4}|\nabla J|^2\). For a \({\mathcal {W}}_4\) case, notice that
\(\square \)
Now, we show that the main integral formula (11) in an almost Hermitian case is equivalent to a Bor–Lamoneda formula [5]. Decompose \(\xi \) and \(\chi \) with respect to the Gray–Hervella classes as follows:
i.e., \(\chi _k=\sum _i \xi ^k_{e_i}e_i\), and let
It can be shown that
Thus, by above considerations (see also Remark 1), we have
Hence,
which implies the integral formula by Bor and Hernández Lamoneda [5] (assuming M is closed)
4.3 Special almost Hermitian structures
Assume (M, g, J) is an almost Hermitian manifold equipped with a complex volume form \(\varPsi =\psi _++i\psi _-\) such that \(\langle \varPsi ,\varPsi \rangle _{\mathbb {C}}=1\), where the inner product is a natural extension of an inner product for real-valued forms. This structure defines reduction of a structure group to special unitary group SU(n), hence a SU(n)-structure. On the level of Lie algebras, we have
since \(\mathfrak {u}(n)=\mathfrak {su}(n)\oplus \mathbb {R}\). For an element \(A\in \mathfrak {u}(n)\), let
Then, \(A\in \mathfrak {su}(n)\) if and only if \(A\in \mathfrak {u}(n)\) and \(\mathrm{tr}A_1=0\). Notice that
Thus, the orthogonal projection from \(\mathfrak {so}(2n)\) to \(\mathfrak {su}(n)^{\bot }=\mathfrak {u}(n)^{\bot }\oplus \mathbb {R}\) equals
The intrinsic torsion \(\xi \) equals \(\xi =\xi ^{U(n)}+\eta \) [5, 8, 20], where \(\xi ^{U(n)}\) is the intrinsic torsion of related U(n)-structure and
Define a one-form \(\eta \) by the relation \(\eta _XY=\eta (JX)JY\). This convention will appear to be useful. Denote the class in the space of all possible intrinsic torsions induced by \(\eta \) by \({\mathcal {W}}_5\).
Split \(s_{\mathfrak {su}(n)^{\bot }}\) into \(s_{\mathfrak {u}(n)^{\bot }}\) and \(s_{\mathbb {R}}\) with respect to the decomposition \(\mathfrak {su}(n)^{\bot }=\mathfrak {u}(n)^{\bot }\oplus \mathbb {R}\).
Proposition 8
On a closed SU(n)-structure (M, g, J) with the \({\mathcal {W}}_5\)-component induced by the 1-form \(\eta \), we have the following integral formula:
In particular, if (M, g, J) is of Gray–Hervella class \({\mathcal {W}}_1\oplus {\mathcal {W}}_2\oplus {\mathcal {W}}_3\) treated as U(n)-structure, then \(\int _M s_{\mathbb {R}}=\int _M s_{\mathfrak {su}(n)^{\bot }}^{\mathrm{alt}}\).
Proof
and
Thus,
Hence,
Assuming M is closed and applying the Stokes theorem, we get (26). \(\square \)
The values of \(s_{\mathbb {R}}\) and \(s_{\mathfrak {su}(n)^{\bot }}^{\mathrm{alt}}\) can be computed explicitly, which gives an alternative version of formula (26). Firstly, introduce two components of the intrinsic torsion, \(\xi ^{U(n),12}\in {\mathcal {W}}_1\oplus {\mathcal {W}}_2\) and \(\xi ^{U(n),34}\in {\mathcal {W}}_3\oplus {\mathcal {W}}_4\).
Corollary 2
On a closed SU(n)-structure (M, g, J) with the \({\mathcal {W}}_5\)-component induced by the 1-form \(\eta \), we have the following integral formula
In particular, if \(\xi ^{U(n)}\in {\mathcal {W}}_1\oplus {\mathcal {W}}_2\oplus {\mathcal {W}}_3\oplus {\mathcal {W}}_5\), then
Proof
We have
To compute \(s_{\mathfrak {su}(n)^{\bot }}^{\mathrm{alt}}\), it is convenient to determine the component \([\mathfrak {su}(n)^{\bot },\mathfrak {su}(n)^{\bot }]_{\mathfrak {su}(n)^{\bot }}\). For \(A=A_0+\lambda J\) and \(B=B_0+\mu J\), where \(A_0,B_0\in \mathfrak {u}(n)^{\bot }\), by the relation \([\mathfrak {u}(n)^{\bot },\mathfrak {u}(n)^{\bot }]\subset \mathfrak {u}(n)\), we have
Hence,
By Proposition 5, we get
Now, it suffices to apply (26). \(\square \)
Remark 2
The above integral formula, however formulated in a different way, can be found in [5]. Let us be more precise. In [5], authors state some consequences of their formula for almost Hermitian structures with vanishing first Chern class \(c_1(M)\). Let us derive the first Chern class in our setting. It is known [13] that the first Chern form \(\gamma \) is given by
where
It is not hard to see that
Thus, using the same arguments as before Corollary 2, we get
where \(\mathrm{tr}^{*}\gamma =\sum _i \gamma (e_i,Je_i)\). Notice that vanishing of the first Chern class, i.e., \(\gamma =d\alpha \) for some 1-form, is equivalent to the fact that \(\int _M \mathrm{tr}^{*}\gamma =0\). Thus, by Corollary 2, \(c_1(M)=0\) if and only if \(\int _M \eta (\chi ^{U(n)})=0\). Finally, note that by (2), we have
Corollary 3
Consider an SU(n)-structure (M, g, J) which is of type \({\mathcal {W}}_1\oplus {\mathcal {W}}_5\). Then,
Proof
By Corollary 2, we have
It suffices to notice that by (22) and (21), we have \(\frac{1}{4}(s-s^{*})=|\xi ^{U(n)}|^2\). \(\square \)
4.4 Almost contact metric structures
Let (M, g) be a \((2n+1)\)-dimensional manifold together with a 1-form \(\eta \) (and its dual unit vector field \(\zeta \)) and \(\varphi \in \mathrm{End}(TM)\) such that
Notice that \(\varphi \) defines almost complex structure which is g-orthogonal on the distribution \(\mathrm{ker}\eta \). Thus, we get \(U(n)\times 1\)-structure. On the level of Lie algebras, we have
where \(\mathfrak {u}(n)^{\bot }\) is isomorphic to the space of block matrices of the form
Since here \(\zeta =e_{2n+1}\), \(\varphi \) is a natural complex structure on \(\mathbb {R}^{2n}\) and zero on \(\zeta \), it is easy to see that the orthogonal projection from \(\mathfrak {so}(2n+1)\) onto \(\mathfrak {u}(n)^{\bot }\) equals
Rewriting this formula with the use of the one-form \(\eta (\equiv \zeta ^{\top })\), the intrinsic torsion satisfies the following relation:
This, moreover, implies the formula for the intrinsic torsion [12]
By (28), it follows that
Thus, we may write the intrinsic torsion in an alternative way [12]
Hence, the characteristic vector field in this case equals
The condition \(\xi \in T^{*}M\otimes \mathfrak {u}(n)^{\bot }(TM)\) is equivalent to relation (31). Decomposing the space \(T^{*}M\otimes \mathfrak {u}(n)^{\bot }(TM)\) into irreducible \(U(n)\times 1\)-modules, we get 12 classes \({\mathcal {C}}_1,\ldots ,{\mathcal {C}}_{12}\) [7]. First four are isomorphic to Gray–Hervella classes \({\mathcal {W}}_1,\ldots ,{\mathcal {W}}_4\).
Remark 3
Note that in [7] types of almost contact metric structures, i.e., irreducible modules of \(T^{*}M\otimes \mathfrak {u}(n)^{\bot }(TM)\), were classified with respect to \(\alpha (X,Y,Z)=(\nabla _X\varPhi )(Y,Z)\), where \(\varPhi (X,Y)=g(X,\varphi Y)\). It is well known that this is equivalent to considering the intrinsic torsion as a map \(\beta (X,Y,Z)=g(\xi _XY,Z)\). The correspondence follows from the fact that \(\nabla _X\varPhi =\xi _X\varPhi \), since \(\nabla ^{U(n)\times 1}\varPhi =0\). This implies a direct relation
Note that we should be careful with studying irreducible modules \({\mathcal {C}}_1,\ldots ,{\mathcal {C}}_{12}\), since the correspondence \(\alpha \leftrightarrow \beta \) interchanges some of the modules, which is underlined in Table 2.
Let us describe these spaces in more detail. Put
Each of the above spaces is characterized as follows [7]:
-
1.
Class\({\mathcal {D}}_1\): \(\xi _{\zeta }Y=\xi _X\zeta =0\). Applying formluas (32) and (33), we obtain \(\nabla \zeta =0\) and hence \(\chi =-\frac{1}{2}\varphi (\mathrm{div}\varphi )\), as expected, since in this case, being not very precise, \(\xi \) is the intrinsic torsion on the almost Hermitian structure \(\mathrm{ker}\eta \).
-
2.
Class\({\mathcal {D}}_2\): \(\xi _XY=\eta (X)\xi _{\zeta }Y+\eta (Y)\xi _X\zeta +\eta (\xi _XY)\zeta \). Taking \(X=Y=\zeta \), we get \(\xi _{\zeta }\zeta =-\eta (\xi _{\zeta }\zeta )\zeta \) and \(\eta \) to both sides we get \(\xi _{\zeta }\zeta =0\). Taking \(X=Y=e_i\), we obtain
$$\begin{aligned} \mathrm{pr}_{\mathrm{ker}\eta }\chi =0. \end{aligned}$$Hence, \(\chi \in \mathrm{span}\,\zeta \), so by (34), \(\chi =(\mathrm{div}\zeta )\zeta \). Moreover, it is easy to see that for \(X,Y\in \mathrm{ker}\eta \)
$$\begin{aligned} \xi _XY\in \mathrm{span}\,\zeta ,\quad \xi _{\zeta }Y\in \mathrm{ker}\eta ,\quad \xi _X\zeta \in \mathrm{ker}\eta ,\quad \xi _{\zeta }\zeta =0. \end{aligned}$$Thus, by formulas (32) and (33) for the intrinsic torsion, we get (\(X,Y\in \mathrm{ker}\eta \))
$$\begin{aligned} \xi _XY&=(\nabla _X\eta )Y\cdot \zeta ,\\ \xi _{\zeta }Y&=\frac{1}{2}(\nabla _{\zeta }\varphi )\varphi Y,\\ \xi _X\zeta&=-\nabla _X\zeta . \end{aligned}$$ -
3.
Class\({\mathcal {D}}_3\): \(\xi _XY=\eta (X)\eta (Y)\xi _{\zeta }\zeta +\eta (X)\eta (\xi _{\zeta }Y)\zeta \). Therefore, for \(X,Y\in \mathrm{ker}\eta \)
$$\begin{aligned} \xi _XY=0,\quad \xi _X\zeta =0,\quad \xi _{\zeta }Y\in \mathrm{span}\,\zeta ,\quad \xi _{\zeta }\zeta \in \mathrm{ker}\eta . \end{aligned}$$Hence, \(\chi =\xi _{\zeta }\zeta =-\nabla _{\zeta }\zeta \) and \(|\chi |^2+|\xi ^{\mathrm{alt}}|^2-|\chi ^{\mathrm{sym}}|^2=0\).
Analogously as in an almost Hermitian case, let us relate divergence and integral formulas (10), (11) to quadratic invariants of almost contact metric structure. In this case, the space of quadratic invariants is generated by 18 invariants [7]. For our purposes, we need only some of them:
where \(\alpha (X,Y,Z)=g(\xi _XY,Z)\) and \(i,j=1,\ldots ,2n\). Notice that
Let us now compute scalar curvature ’components’. Define the \(*\)-scalar curvature as follows:
Lemma 1
The following relations hold:
Proof
Denote by (B, a) an element in \(\mathfrak {u}(n)^{\bot }\) of form (29). Note that \(a=(B,a)e_{2n+1}\in \mathbb {R}^{2n}\subset \mathbb {R}^{2n+1}\). Then,
where \(a\wedge {\tilde{a}}\) is an endomorphism of \(\mathbb {R}^{2n}\) given by \((a\wedge {\tilde{a}})v=\langle {\tilde{a}},v\rangle a-\langle a,v\rangle {\tilde{a}}\). Thus
where \(\varphi _0\) is a restriction of \(\varphi \) to \(\mathbb {R}^{2n}\), thus defining an almost complex structure.
By these considerations, we are ready to compute \(s_{\mathfrak {u}(n)^{\bot }}^{\mathrm{alt}}\). We have (here \(i,j=1,\ldots ,2n\))
For \(s_{\mathfrak {u}(n)^{\bot }}\) by (30), we have
\(\square \)
By Lemma 1 and above considerations, we may rewrite formula (10) as
Moreover, by a classification of each module \({\mathcal {C}}_i\) by quadratic invariants [7, Table I], we have the following observation.
Proposition 9
We have:
-
1.
the characteristic vector field \(\chi \) vanishes if and only if the intrinsic torsion belongs to \({\mathcal {C}}_1\oplus {\mathcal {C}}_2\oplus {\mathcal {C}}_3\oplus {\mathcal {C}}_6\oplus {\mathcal {C}}_7\oplus {\mathcal {C}}_8\oplus {\mathcal {C}}_9\oplus {\mathcal {C}}_{10}\oplus {\mathcal {C}}_{11}\),
-
2.
\(|\xi ^{\mathrm{sym}}|^2-|\xi ^{\mathrm{alt}}|^2=0\) if and only if the intrinsic torsion belongs to \({\mathcal {C}}_3\oplus {\mathcal {C}}_4\oplus {\mathcal {C}}_{11}\),
-
3.
\(s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}=0\) if and only if the intrinsic torsion belongs to \({\mathcal {C}}_1\oplus {\mathcal {C}}_2\oplus {\mathcal {C}}_3\oplus {\mathcal {C}}_4\oplus {\mathcal {C}}_7\oplus {\mathcal {C}}_9\oplus {\mathcal {C}}_{10}\oplus {\mathcal {C}}_{11}\oplus {\mathcal {C}}_{12}\).
We are ready to interpret, at least in some cases, formula (36) in a geometric way. Denote by \(B^{\eta }\) and \(T^{\eta }\) the (symmetric) second fundamental form and integrability tensor of \(\mathrm{ker}\eta \), respectively (see the section on almost product structures).
Proposition 10
Let \((M,g,\varphi ,\eta ,\zeta )\) be an almost contact metric structure with the intrinsic torsion \(\xi \).
-
1.
If \(\xi \in {\mathcal {D}}_2\), then
$$\begin{aligned} \mathrm{div}((\mathrm{div}\zeta )\zeta )=(\mathrm{div}\zeta )^2+|T^{\eta }|^2-|B^{\eta }|^2+\frac{1}{2}s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}-\frac{1}{4}(s-s^{*})-\frac{1}{2}\mathrm{Ric}(\zeta ,\zeta ), \end{aligned}$$or, equivalently,
$$\begin{aligned} \mathrm{div}(\nabla _{\zeta }\zeta )=\frac{1}{2}s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}+\frac{1}{2}\mathrm{Ric}(\zeta ,\zeta )-\frac{1}{4}(s-s^{*}). \end{aligned}$$If additionally, M is closed, then the following integral formula holds
$$\begin{aligned} \int _M \mathrm{Ric}(\zeta ,\zeta )\,\mathrm{vol}_M=\frac{1}{2}\int _M s-s^{*}-2s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}\,\mathrm{vol}_M=\int _M (\mathrm{div}\zeta )^2+|T^{\eta }|^2-|B^{\eta }|^2\,\mathrm{vol}_M. \end{aligned}$$ -
2.
If \(\xi \in {\mathcal {C}}_6\oplus \ldots \oplus {\mathcal {C}}_{11}\), then
$$\begin{aligned} |T^{\eta }|^2-|B^{\eta }|^2=-\frac{1}{2}s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}+\frac{1}{4}(s-s^{*})+\frac{1}{2}\mathrm{Ric}(\zeta ,\zeta ) \end{aligned}$$ -
3.
If \(\xi \in {\mathcal {C}}_{11}\), then \(s-s^{*}=-2\mathrm{Ric}(\zeta ,\zeta )\) and \(\int _M s-s^{*}\,\mathrm{vol}_M=\int _M \mathrm{Ric}(\zeta ,\zeta )\,\mathrm{vol}_M=0\).
-
4.
If \(\xi \in {\mathcal {C}}_{12}\), then
$$\begin{aligned} \mathrm{div}(\nabla _{\zeta }\zeta )=\frac{1}{4}(s-s^{*})+\frac{1}{2}\mathrm{Ric}(\zeta ,\zeta ). \end{aligned}$$If, additionally, M is closed, then
$$\begin{aligned} \int _M s-s^{*}\,\mathrm{vol}_M=-2\int _M \mathrm{Ric}(\zeta ,\zeta )\,\mathrm{vol}. \end{aligned}$$
Proof
(1) Assume \(\xi \in {\mathcal {D}}_2\). Then, for \(X,Y\in \mathrm{ker}\eta \), we have
Moreover, by classification of \({\mathcal {D}}_2\) by quadratic invariants [7], we see that
Since \(\chi =(\mathrm{div}\zeta )\zeta \) using Proposition 4, the divergence formula (10) takes the first form. The second one and the integral formula follow again by Proposition 4.
(2) In this case, by Proposition 9, the characteristic vector field vanishes, i.e., \(\mathrm{div}\zeta =0\). Thus, it suffices to apply the first part.
(3) This is an immediate consequence of (1), (2) and the fact that \(|T^{\eta }|^2-|B^{\eta }|^2\) and \(s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}\) vanish (by Proposition 9).
(4) By discussion concerning \({\mathcal {D}}_3\) class, we have \(|\chi |^2+|\xi ^{\mathrm{alt}}|^2-|\xi ^{\mathrm{sym}}|^2=0\) and \(\chi =-\nabla _{\zeta }\zeta \). Moreover, by Proposition 9, \(s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}=0\). Hence, the divergence formula (10) and the integral formula (11) simplify to the desired ones. Notice that we could use the formula (36) and the fact that for \(C_{12}\) class the only nonzero invariant is \(i_{16}\) [7, Table I]. \(\square \)
At the end, consider the following Janssen–Vanhecke \({\mathcal {C}}(\alpha )\) condition [17]:
where \(\alpha \) is a smooth function. It implies that
Corollary 4
If the intrinsic torsion of an almost contact metric structure belongs to \({\mathcal {D}}_2\) class and satisfies Janssen–Vanhecke \(C(\alpha )\) condition, then
Proof
Follows immediately by Proposition 10(1). \(\square \)
Remark 4
In an analogous way as for U(n)-structures, it can be shown, with a little bit more effort, that the integral formula (11) in this case is equivalent to the integral formula obtained in [12].
5 Examples
In this section, we apply obtained results to certain almost Hermitian and almost contact metric structures. First examples are simple illustration of obtained results for almost contact metric structures. We deal with this structure only since it has not been investigated from this point of view elsewhere. Almost Hermitian case is, due to well-known facts contained in Proposition 7, well understood from this perspective. In the end, we focus on more involving examples concerning homogeneous spaces, where we treat both cases—almost Hermitian and almost contact metric structures.
Example 1
Let \((M,g,\varphi ,\eta ,\zeta )\) be an almost contact metric structure which is Sasaki, i.e., \(\varphi \) satisfies the relation
Thus, by (32), the intrinsic torsion equals
or, in matrix notation
and \(\xi _{\zeta }=0\). Hence, we arrive in the \({\mathcal {C}}_5\) class. From the proof of Lemma 1 or, directly, by Proposition 9, we see that \(s_{\mathfrak {u}(n)^{\bot }}^{\mathrm{alt}}\) does not vanish. In fact, by [7, Table 1], we have
Thus, by the definition of \(i_6\) and Lemma 1
It can be shown [17] that the curvature tensor of a Sasakian structure satisfies C(1) condition. Thus, by (37), \(s-s^{*}=4n^2\) and \(\mathrm{Ric}(\zeta ,\zeta )=2n\). Since \(\nabla _{\zeta }\zeta =-\varphi (\zeta )=0\), it follows that the left-hand side of the second divergence formula in Proposition 10(1) vanishes, whereas the right-hand side equals
Example 2
Let \((M,g,\varphi ,\eta ,\zeta )\) be an almost contact metric structure which is Kenmotsu, i.e., \(\varphi \) satisfies the following condition
Hence, the intrinsic torsion, by the formula (32), equals
where \(X,Y\in \mathrm{ker}\eta \). In matrix notation, for \(X\in \mathrm{ker}\eta \),
Hence, arguing as in the example above, \(s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}\) does not vanish. Since, in this case,
by Lemma 1,
It can be shown that Kenmotsu structure satisfies \(C(-1)\) condition [17]. By (37), \(s-s^{*}=-4n^2\) and \(\mathrm{Ric}(\zeta ,\zeta )=-2n\). Therefore,
Since for a Kenmotsu manifold \(\nabla _X\zeta =X-\eta (X)\zeta \), it follows that
It follows that the second divergence formula in Proposition 10 is justified.
Let us now justify condition (2) in Proposition 10. It is known that the distribution \(\mathrm{ker}\eta \) is integrable and umbilical [18]. Hence, \(T^{\eta }=0\) and \(B^{\eta }=-\frac{1}{2n}g\otimes (\mathrm{div}\zeta )\zeta \), which implies
and
Example 3
Consider a generalized Heisenberg group H(1, n) [12]. This is a Lie group consisting of square \(n+2\) by \(n+2\) matrices of the form
where \(A=(a_1,\ldots ,a_n)\) and \(B=(b_1,\ldots ,b_n)\) are elements of \(\mathbb {R}^n\) and \(c\in \mathbb {R}\). Then, H(1, n) is nilpotent of dimension \(2n+1\). H(1, n) has a global coordinate system \((x^i,x^{n+1},z)\), \(i=1,2,\ldots ,n\) given by
We choose a Riemannian metric such that the left-invariant basis
is an orthonormal one. Nonzero components of the Levi–Civita connection are given by [12]
Thus, the integrability tensor \(T^{\eta }\) vanishes and nonzero components of the second fundamental form are equal
Hence, \(|B^{\eta }|^2=\frac{n}{2}\). Moreover, by the formula for the curvature tensor [12]
with remaining components vanishing, we see that
Consider on H(1, n) an almost contact structure induced by the Reeb field \(\zeta =Z\) and a dual one form \(\eta =dz\) with a compatible endomorphism \(\varphi \) such that \(\varphi (X_i)=X_{n+i}\), \(\varphi (X_{n+1})=-X_i\). Then, we get a structure in a \({\mathcal {C}}_9\) class [12]. We have
It is easy to see that \(\mathrm{div}Z=0\); hence, the characteristic vector field vanishes (as noticed in Proposition 9(1)). We are ready to compute both sides of the divergence formula in Proposition 10(2). The left-hand side, clearly, equals \(-\frac{n}{2}\). Since by Proposition 9(3), \(s^{\mathrm{alt}}_{\mathfrak {u}(n)^{\bot }}=0\), the right-hand side is equal to
5.1 Examples on reductive homogeneous spaces
We will show that for a certain choice of G-structures on reductive homogeneous spaces induced from one-parameter deformations of invariant Riemannian metrics, the characteristic vector field \(\chi \) vanishes; hence, the divergence formula becomes point-wise formula. We justify this stating appropriate examples. We closely follow [3, p. 140] and [1].
Let K be a connected, compact Lie group and H its closed, connected Lie subgroup. The quotient K / H is a homogeneous space denoted by M. Assume additionally that on the level of Lie algebras \(\mathfrak {k}=\mathfrak {h}\oplus \mathfrak {m}\), where \(\mathfrak {m}\) is the orthogonal complement with respect to some \(\mathrm{ad}(H)\)-invariant bilinear form \(\mathbf{B}\) on \(\mathfrak {k}\). Deform \(\mathbf{B}\) in the following way: Assume \(\mathfrak {m}=\mathfrak {m}_0\oplus \mathfrak {m}_1\), where
For any \(t>0\), we put
Form \(\mathbf{B}_t\) defines an invariant Riemannian metric \(g_t\) on M. We will often write g instead of \(g_t\), if there is no confusion. The Levi–Civita connection of g may be described as a linear map \(\varLambda :\mathfrak {m}\rightarrow \mathfrak {so}(\mathfrak {m})\) defined as follows: [3]
where \(X,Y\in \mathfrak {m}_0\), \(A,B\in \mathfrak {m}_1\).
Now, we consider a G-structure on M. Thus, we have a decomposition \(\mathfrak {so}(\mathfrak {m})=\mathfrak {g}\oplus \mathfrak {g}^{\bot }\), where we take orthogonal complement with respect to the Killing form on \(\mathfrak {so}(\mathfrak {m})\). Then, \(\varLambda \) splits as \(\varLambda =\varLambda _{\mathfrak {g}}+\varLambda _{\mathfrak {g}^{\bot }}\). \(\varLambda _{\mathfrak {g}}\) defines a G-connection \(\nabla ^G\), whereas \(\varLambda _{\mathfrak {g}^{\bot }}\) corresponds to the intrinsic torsion \(\xi \).
In the following two examples, we introduce a G-structure via the same procedure. Denote by \(x_0\) the coset eH, and let \(\mathrm{ad}:H\rightarrow \mathrm{SO}(\mathfrak {m})\) be the isotropy representation. Let \(\varphi :\mathfrak {m}\rightarrow \mathfrak {m}\) be a linear map, which intertwines the isotropy representation. Since all tensor bundles on M are associated with the bundle \(G\mapsto M\) with respect to the isotropy representation, it follows that \(\varphi \) induces (1, 1)-tensor field, in our case, almost Hermitian or almost contact metric structure.
Example 4
We follow [3, p. 142]. Consider a complex flag manifold \(F_{1,2}\) consisting of pairs (l, V), where l is one-dimensional complex subspace and V is a complex two-dimensional subspace containing l in \(\mathbb {C}^3\). U(3) acts transitively with a isotropy subgroup \(H=U(1)\times U(1)\times U(1)\). Thus, \(F_{1,2}\) is a homogeneous space. On the level of Lie algebras, \(\mathfrak {u}(n)=\mathfrak {h}\oplus \mathfrak {m}\), where \(\mathfrak {h}\) consists of diagonal matrices, whereas \(\mathfrak {m}\) is a subspace of the form
\(\mathfrak {m}\) splits into two subspaces \(\mathfrak {m}_0\) and \(\mathfrak {m}_1\) given, respectively, by relations \(c=0\) and \(a=b=0\). Denote by \(\mathbf{B}\) the Killing form on \(\mathfrak {u}(3)\), \(\mathbf{B}(X,Y)=\frac{1}{2}\mathrm{Re}(\mathrm{tr}XY))\). The inner product on \(\mathfrak {m}\) given by
defines a one-parameter family of Riemannian metrics on \(F_{1,2}\). The following basis is orthonormal with respect to the given inner product on \(\mathfrak {m}\):
where \(e_{jk}\) is a skew-symmetric matrix with the (j, k) entry equal to 1 and \(s_{jk}\) is a symmetric matrix with the (j, k)-entry equal to i (and remaining elements except for (k, j)-entry equal to zero). We see that \(\mathfrak {m}_0\) is spanned by \(E_1,E_2,E_3,E_4\), whereas \(\mathfrak {m}_1\) by \(E_5,E_6\). It can be verified that relations (39) hold.
Let us define an almost Hermitian structure on \(F_{1,2}\). The isotropy representation \(\mathrm{Ad}:H\rightarrow \mathrm{SO}(\mathfrak {m})=\mathrm{SO}(6)\) equals
where (t, r, s) denotes an element \(\mathrm{diag}(e^{it},e^{is},e^{ir})\in H\) and \(R_{\theta }\) is a rotation in \(\mathbb {R}^2\) through an angle \(\theta \). In order to define an almost Hermitian structure, it suffices to define isotropy invariant (1, 1)-tensor \(J_0\) in \(\mathfrak {m}\) with \(J_0^2=-1\). Let
The Levi–Civita connection of this almost Hermitian structure can be described by a map \(\varLambda :\mathfrak {m}\rightarrow \mathfrak {so}(\mathfrak {m})\),
The curvature tensor R is given by
where \(\mathrm{Ad}:\mathfrak {h}\rightarrow \mathfrak {so}(\mathfrak {m})\) denotes the differential of the isotropy representation,
Here, \(H_k\) denotes the matrix \(\frac{1}{2}s_{kk}\).
Now we are ready to compute \(s_{\mathfrak {u}(3)^{\bot }}\). Deriving relations for the commutators in \(\mathfrak {m}\) and its components in \(\mathfrak {h}\) and then the curvature tensor R and projections of elements \(e_{ij}\) to \(\mathfrak {u}(3)^{\bot }\), we get
We could obtain the above relation by applying formula (22). It is easy to see that \(s=2(-13+3t-\frac{2}{t})\) and \(s^{*}=2(3-5t-\frac{2}{t})\).
Let us turn to computations of the intrinsic torsion and its components. We easily see that \(\varLambda :\mathfrak {m}\rightarrow \mathfrak {u}(3)^{\bot }\). Hence, the minimal connection \(\nabla ^{U(3)}\) is induced by a zero map. Moreover,
corresponds to \(|\xi ^{\mathrm{sym}}|^2-|\xi ^{\mathrm{alt}}|^2\); hence, the main divergence formula, which reduces to \(\frac{1}{2}s_{\mathfrak {u}(3)^{\bot }}=|\xi ^{\mathrm{alt}}|^2-|\xi ^{\mathrm{sym}}|^2=4(2-t)\), is justified.
Let us look at the Gray–Hervella classes induced by t for each choice of \(t>0\). Since \(\chi =0\), the considered almost Hermitian structure is of type \({\mathcal {W}}_1\oplus {\mathcal {W}}_2\oplus {\mathcal {W}}_3\). Simple calculations show that \(\varLambda \), hence \(\xi \), satisfies \(\xi _{JX}JY=-\xi _XY\). Thus, by Proposition 5, the considered structures are of type \({\mathcal {W}}_1\oplus {\mathcal {W}}_2\). Moreover, it is nearly Kähler, i.e., in \({\mathcal {W}}_1\), if and only if \(t=\frac{1}{2}\). By above considerations, we see that for \(t<2\), \(s_{\mathfrak {u}(3)^{\bot }}>0\) and for \(t>2\), \(s_{\mathfrak {u}(3)^{\bot }}<0\).
Example 5
We follow very closely the approach by Agricola [1]. Consider the five-dimensional Stiefel manifolds \(V_{4,2}=SO(4)/SO(2)\). We embed S(2) as a lower diagonal block. We have the splitting \(\mathfrak {so}(4)=\mathfrak {so}(2)\oplus \mathfrak {m}\) with respect to the Killing form \(\mathbf{B}\), where
There is a one-parameter family \(g_t\) of Riemannian metrics on \(V_{4,2}\) constructed by Jensen [16], which are obtained from the invariant dot product on \(\mathfrak {m}\)
where (a, X), (b, Y) denote the elements in \(\mathfrak {m}\) and \(\mathbf{B}(X,Y)=\frac{1}{2}\mathrm{tr}(X^{\top }Y)\). Denoting the canonical basis in \(\mathfrak {so}(4)\) by \((e_{ij})\), i.e., \(e_{ij}\) is a skew-symmetric matrix with the (i, j)-entry equal to \(-1\) (be aware of the difference with the sign convention compared to the previous example), we have an orthonormal basis
in \(\mathfrak {m}\). The Levi–Civita connection of this homogeneous space is described by a map \(\varLambda :\mathfrak {m}\rightarrow \mathfrak {so}(\mathfrak {m})=\mathfrak {so}(5)\) of the form [1, 16]
The curvature tensor is then given by
where \(\mathrm{Ad}\) is the differential of the isotropy representation \(\mathrm{Ad}:SO(2)\rightarrow SO(\mathfrak {m})\),
Now we introduce an almost contact structure on \(V_{4,2}\) by defining an isotropy invariant map \(\varphi :\mathfrak {m}\rightarrow \mathfrak {m}\), which is, in terms of the basis \((E_i)\), given by a matrix
One can check that \(\varphi \), in deed, defines an almost contact structure with the Reeb field \(\zeta \) induced by \(E_5\) and compatible with the metric \(g_t\). Notice that the fundamental form \(F(X,Y)=g_t(X,\varphi (Y))\) induced by \(\varphi \) if \(F=e_{13}+e_{24}\), which is proportional to \(dE_5\) making the structure just Sasaki structure [1].
To derive the formula for \(s_{\mathfrak {u}(2)^{\bot }}\), we need to compute the \(\mathfrak {u}(2)^{\bot }\)-component of R, i.e., project \(R(E_i,E_j)\) to the second factor with respect to the decomposition \(\mathfrak {so}(\mathfrak {m})=\mathfrak {u}(2)\oplus \mathfrak {u}(2)^{\bot }\). It is easy to see that \(e_{i5}\in \mathfrak {u}(2)^{\bot }\) and \(e_{13},e_{24}\in \mathfrak {u}(2)\). Moreover, \(e_{13}\) and \(e_{24}\) project to \(v=\frac{1}{2}(e_{13}-e_{24})\) and \(-v\), respectively. Finally, \(e_{12}\) projects to \(w=\frac{1}{2}(e_{12}-e_{34})\), whereas \(e_{34}\) projects to \(-w\). Thus,
We could compute \(s_{\mathfrak {u}(2)^{\bot }}\) using Lemma 1 and noticing that
Let us describe the intrinsic torsion. We see that \(\varLambda _{\mathfrak {u}(3)^{\bot }}(E_i)=\varLambda (E_i)\) for \(i=1,2,3,4\), and \(\varLambda _{\mathfrak {u}(3)^{\bot }}(E_5)=0\). Hence, the characteristic vector field \(\chi \), which corresponds to \(\sum _i \varLambda _{\mathfrak {u}(2)^{\bot }}(E_i)E_i\), vanishes and, it is not hard to see that \(|\xi ^{\mathrm{alt}}|^2-|\xi ^{\mathrm{sym}}|^2\), which corresponds to \(-\sum _{i,j}\langle \varLambda _{\mathfrak {u}(2)^{\bot }}(E_i)E_j,\varLambda _{\mathfrak {u}(2)^{\bot }}(E_j)E_i\rangle \), equals 2t. Finally, directly from the definition, it is not hard to see that \(s^{\mathrm{alt}}_{\mathfrak {u}(2)^{\bot }}=2t\). Thus,
Notice, finally, that by the classification of all possible intrinsic torsion modules [7], since \(i_2=|\xi ^{\mathrm{sym}}|^2-|\xi ^{\mathrm{alt}}|=-t<0\), we arrive in a pure \({\mathcal {C}}_1\) class.
References
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.: The Srni lectures on non-integrable geometries with torsion. Arch. Math. (Brno) 42(suppl.), 5–84 (2006)
Baum, H., Friedrich, T., Grunewald, R., Kath, I.: Twistors and Killing Spinors on Riemannian Manifolds, Teubner Texts in Mathematics. Stuttgart (1991)
Berger, M., Gauduchon, P., Mazet, E.: Le Spectre d’une Variété Riemannienne. Lecture Notes in Mathematics. Springer, Berlin (1977)
Bor, G., Hernández Lamoneda, L.: Bochner formulae for orthogonal G-structures on compact manifolds. Differential Geom. Appl. 15(3), 265–286 (2001)
Bor, G., Hernández Lamoneda, L.: A Bochner formula for almost-quaternionic-Hermitian structures. Differential Geom. Appl. 21(1), 79–92 (2004)
Chinea, D., González-Dávila, J.C.: A classification of almost contact metric manifolds. Ann. Mat. Pura Appl. (4) 156, 15–36 (1990)
Chiossi, S., Salamon, S.: The intrinsic torsion of SU(3) and G2 structures. In: Differential Geometry, Valencia, 2001, pp. 115–133. World Science Publications, River Edge, NJ (2002)
Falcitelli, M., Farinola, A.: Curvature properties of the locally conformal Kähler manifolds. Rend. Math. 11, 495–521 (1991)
Falcitelli, M., Farinola, A.: Curvature properties of almost Hermitian manifolds. Riv. Math. Univ. Parma (5) 3, 301–320 (1994)
Fernández, M., Gray, A.: Riemannian manifolds with structure group G2. Ann. Mat. Pura Appl. (4) 132(1982), 19–45 (1983)
González-Dávila, J.C., Martin Cabrera, F.: Harmonic almost contact structures via the intrinsic torsion. Israel J. Math. 181, 145–187 (2011)
Gray, A.: The structure of nearly Kähler manifolds. Math. Ann. 223(3), 233–248 (1976)
Gray, A., Hervella, L.: The sixteen classes of almost Hermitian manifolds and their linear invariants. Ann. Mat. Pura Appl. (4) 123, 35–58 (1980)
Gray, A.: Curvature identities for Hermitian and almost Hermitian manifolds. Tohoku Math. J. 28, 601–612 (1976)
Jensen, G.: Imbeddings of Stiefel manifolds into Grassmannians. Duke Math. J. 42(3), 397–407 (1975)
Janssens, D., Vanhecke, L.: Almost contact structures and curvature tensors. Kodai Math. J. 4, 1–27 (1981)
Kim, T., Pak, H.: Canonical foliations of certain classes of almost contact metric structures. Acta Math. Sin. (Engl. Ser.) 21(4), 841–846 (2005)
Koto, S.: Some theorems on almost kählerian spaces. J. Math. Soc. Japan 12, 422–433 (1960)
Martin Cabrera, F.: Special almost Hermitian geometry. J. Geom. Phys. 55(4), 450–470 (2005)
Swann, A.: Aspects symplectiques de la géométrie quaternionique. C. R. Acad. Sci. Paris Sér. I Math. 308(7), 225–228 (1989)
Vaisman, I.: Some curvature properties of Locally conformal Kähler manifolds. Trans. Amer. Math. Soc. 259(2), 439–447 (1980)
Walczak, P.: An integral formula for a Riemannian manifold with two orthogonal complementary distributions. Colloq. Math. 58(2), 243–252 (1990)
Acknowledgements
I wish to thank Ilka Agricola for indication of references [4] and [1] and helpful conversations. The author is partially supported by the National Science Center, Poland—Grant Miniatura 2017/01/X/ST1/01724.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Niedziałomski, K. An integral formula for Riemannian G-structures with applications to almost Hermitian and almost contact structures. Ann Glob Anal Geom 56, 167–192 (2019). https://doi.org/10.1007/s10455-019-09662-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-019-09662-z