Constancy of -Holomorphic Sectional Curvature for an Indefinite Generalized g · f · f-Space Form
Abstract
Bonome et al., 1997, provided an algebraic characterization for an indefinite Sasakian manifold to reduce to a space of constant ϕ-holomorphic sectional curvature. In this present paper, we generalize the same characterization for indefinite g · f · f-space forms.
1. Introduction
For an almost Hermitian manifold (M2n, g, J) with dim (M) = 2n > 4, Tanno [1] has proved the following.
Theorem 1.1. Let dim (M) = 2n > 4, and assume that almost Hermitian manifold (M2n, g, J) satisfies
Tanno [1] has also proved an analogous theorem for Sasakian manifolds as follows.
Theorem 1.2. A Sasakian manifold ≥5 has a constant ϕ-sectional curvature if and only if
Nagaich [2] has proved the generalized version of Theorem 1.1, for indefinite almost Hermitian manifolds as follows.
Theorem 1.3. Let (M2n, g, J)(n > 2) be an indefinite almost Hermitian manifold that satisfies (1.1), then (M2n, g, J) has a constant holomorphic sectional curvature at x if and only if
Bonome et al. [3] generalized Theorem 1.2 for an indefinite Sasakian manifold as follows.
Theorem 1.4. Let (M2n+1, ϕ, η, ξ, g) (n ≥ 2) be an indefinite Sasakian manifold. Then M2n+1 has a constant ϕ-sectional curvature if and only if
In this paper, we generalize Theorem 1.4 for an indefinite generalized g · f · f-space form by proving the following.
Theorem 1.5. Let be an indefinite generalized g · f · f-space form. Then is of constant ϕ-sectional curvature if and only if
2. Preliminaries
A manifold is called a globally framed f-manifold (or g · f · f-manifold) if it is endowed with a nonnull (1,1)-tensor field of constant rank, such that is parallelizable; that is, there exist global vector fields , α ∈ {1, …, r}, with their dual 1-forms , satisfying and .
An indefinite metric g · f · f-manifold is called an indefinite 𝒮-manifold if it is normal and , for any α ∈ {1, …, r}, where for any . The normality condition is expressed by the vanishing of the tensor field , being the Nijenhuis torsion of .
A plane section in is a -holomorphic section if there exists a vector orthogonal to such that span the section. The sectional curvature of a -holomorphic section, denoted by , is called a -holomorphic sectional curvature.
Proposition 2.1 (see [7].)An indefinite Sasakian manifold has -sectional curvature c if and only if its curvature tensor verifies
A Sasakian manifold with constant -sectional curvature c ∈ ℝ is called a Sasakian space form, denoted by .
Definition 2.2. An almost contact metric manifold is an indefinite generalized Sasakian space form, denoted by , if it admits three smooth functions f1, f2, f3 such that its curvature tensor field verifies
Remark 2.3. Any indefinite generalized Sasakian space form has -sectional curvature c = f1 + 3f2. Indeed, f1 = (c + 3)/4 and f2 = f3 = (c − 1)/4.
Proposition 2.4 (see [6].)An indefinite 𝒮-manifold has -sectional curvature c if and only if its curvature tensor verifies
An indefinite 𝒮-manifold with constant -sectional curvature c ∈ ℝ is called a 𝒮-space form, denoted by . One remarks that for r = 1 (2.6) reduces to (2.4).
3. An Indefinite Generalized g · f · f-Manifold
Let ℱ denote any set of smooth functions Fij on such that Fij = Fji for any i, j ∈ {1, …, r}.
Definition 3.1. An indefinite generalized g · f · f-space-form, denoted by , is an indefinite g · f · f-manifold which admits smooth function F1, F2, ℱ such that its curvature tensor field verifies
For r = 1, we obtain an indefinite Sasakian space form with f1 = F1, f2 = F2, and f3 = F1 − F11. In particular, if the given structure is Sasakian, (3.1) holds with F11 = 1, F1 = (c + 3)/4, F3 = (c − 1)/4, and f3 = F1 − F11 = (c − 1)/4 = f2.
Theorem 3.2. Let be an indefinite generalized g · f · f-space form. Then is of constant ϕ-sectional curvature if and only if
Proof. Let be an indefinite generalized g · f · f-space form. To prove the theorem for n ≥ 2, we will consider cases when n = 2 and when n > 2, that is, when n ≥ 3.
Case 1 (<!--${ifMathjaxEnabled: 10.1155%2F2011%2F527434}-->g¯(X,X)=g¯(Y,Y)<!--${/ifMathjaxEnabled:}--><!--${ifMathjaxDisabled: 10.1155%2F2011%2F527434}--><!--${/ifMathjaxDisabled:}-->). The proof is similar as given by Lee and Jin [8], so we drop the proof.
Case 2 (<!--${ifMathjaxEnabled: 10.1155%2F2011%2F527434}-->g¯(X,X)=-g¯(Y,Y)<!--${/ifMathjaxEnabled:}--><!--${ifMathjaxDisabled: 10.1155%2F2011%2F527434}--><!--${/ifMathjaxDisabled:}-->). Here, if X is spacelike, then Y is timelike or vice versa. First of all, assume that is of constant -holomorphic sectional curvature. Then (3.1) gives
Now, if span {U, V} is -holomorphic, then for , where a and b are constant, we have
Similarly,
Now, let n = 2, and let {X, Y} be a set of orthonormal vectors such that and , and we have c(X) = c(Y) as before. Using the property (3.2), we get
Therefore, we have
Case 3 (<!--${ifMathjaxEnabled: 10.1155%2F2011%2F527434}-->g¯(U,U)=0<!--${/ifMathjaxEnabled:}--><!--${ifMathjaxDisabled: 10.1155%2F2011%2F527434}--><!--${/ifMathjaxDisabled:}-->). It is enough to show a sufficient condition. Let Yα be a unit vector tangent to , for any α ∈ {1, …, r}, such that , and consider the null vector Uα = ξα + Y. From (3.2),
Theorem 3.3 (see [9].)Let (n ≥ 2) be an indefinite 𝒮-manifold. Then M2n+r is of constant ϕ-sectional curvature if and only if
Proof. An 𝒮-space form is a special case of g · f · f-space form, and hence the proof follows from Theorem 3.2 and (2.6).
Theorem 3.4 (cf. Bonome et al. [3]). Let (M2n+1, ϕ, η, ξ, g)(n ≥ 2) be an indefinite Sasakian manifold. Then M2n+1 is of constant ϕ-sectional curvature if and only if