Reduction of Homogeneous Pseudo-Kähler Structures by One-Dimensional Fibers

Abstract

We study the reduction procedure applied to pseudo-Kähler manifolds by a one dimensional Lie group acting by isometries and preserving the complex tensor. We endow the quotient manifold with an almost contact metric structure. We use this fact to connect pseudo-Kähler homogeneous structures with almost contact metric homogeneous structures. This relation will have consequences in the class of the almost contact manifold. Indeed, if we choose a pseudo-Kähler homogeneous structure of linear type, then the reduced, almost contact homogeneous structure is of linear type and the reduced manifold is of type ${\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_{12}$ of Chinea-González classification.

1. Introduction

First, Ambrose and Singer [1] gave a tensorial approach to study homogeneous Riemannian manifolds by the so-called homogeneous structure S. Later, Kiričenko [2] extended this approach to homogeneous Riemannian manifolds with additional geometric structures. Furthermore, references [3,4,5] decomposed the space of tensors S in cases of the additional geometry being purely Riemannian, Kähler or almost contact metric, respectively.

Nowadays, the application of homogeneous structures is a main tool in the investigation of homogeneous manifolds; see [3,5], among others. Moreover, homogeneous manifolds are a central object for many mathematical models of physical theories (for example, linear degenerate homogeneous structures are related to homogeneous plane waves; cf. [6]). This is specially relevant when the space is also equipped with additional geometry, such as contact or Kähler. Nevertheless, the scare knowledge about the relationships between homogeneous structures when there is a map between homogeneous manifolds is remarkable. An example of this is the reduction procedure of homogeneous structures, which was first introduced in [7], wherein, in particular, the authors reduced pseudo-Riemannian almost contact homogeneous structures to pseudo-Riemannian, almost-Hermitian homogeneous structures.

In this paper, we examine the reduction procedure of a pseudo-Kähler homogeneous manifold to almost contact metric homogeneous manifolds by one dimensional fibers. We show that the almost contact metric manifold is of type ${\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_7\oplus {\mathcal{C}}_8\oplus {\mathcal{C}}_9\oplus {\mathcal{C}}_{10}\oplus {\mathcal{C}}_{12}$ of Chinea-González classification (cf. [8]).

Some of the most important cases of homogeneous structures are those ones of linear type, in which the dimension of the class grows linearly with the dimension of the manifold; see ([5] Chapter 5). Linear classes always provide, in the different geometries with which they have been studied, interesting results, from the characterization of negative constant curvature (cf. [3] Theorem 5.2) in Riemannian manifolds, to other surprising facts in other geometries (see [9] for a survey). In our work, we show that if the Kähler manifold has a homogeneous structure of linear type, then the reduced homogeneous structure is of linear type. Furthermore, as the homogeneous structures of almost contact metric manifolds are related with the covariant derivative of the fundamental 2-form associated to it, we prove that the reduced manifold by a homogeneous linear structure is of type ${\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_{12}$ of Chinea-González classification (cf. [8]). Besides that, if the one-dimensional Lie group is proportional to the sum of the two vectors that defines each projection to the subspaces ${\mathcal{K}}_2\oplus {\mathcal{K}}_4$ of the linear homogeneous structure, then the manifold is Sasakian. Moreover, the reduced manifold is cosymplectic if the sum is zero.

2. Preliminaries

2.1. Homogeneous Structures

For a general non-metric framework of homogeneous structures, see [10]. Here, we will focus on the well known notion of pseudo-Riemannian Homogeneous structures that we summarize as follows (see [5] and the references therein for a detailed description). Let $(M,g)$ be a connected pseudo-Riemannian manifold and let ∇ be the Levi–Civita connection. A $(1,2)$-tensor field S in M is said to be a pseudo-Riemannian homogeneous structure if and only if it satisfies

$$\tilde{\nabla }R=0,\tilde{\nabla }g=0,\tilde{\nabla }S=0,$$

(1)

where $\tilde{\nabla }=\nabla -S$ and R is the curvature form of ∇. A manifold $(M,g)$ is reductive and locally homogeneous if and only if it is endowed with a pseudo-Riemannian homogeneous structure (cf. [11]). It is sometimes more convenient to work with $(0,3)$-tensors instead of $(1,2)$-tensors with the relation

$${\left(S_p\right)}_{XYZ}=g({\left(S_p\right)}_{X}Y,Z),X,Y,Z\in V.$$

For the sake of simplicity, both tensor fields will be denoted the same. If we fix a point $p\in M$ and we consider $V=T_{p}M$, the condition $\tilde{\nabla }g=0$ implies that $S_p$ belongs to the space

$$\mathcal{S}\left(V\right)=\{S\in {\otimes }^{3}V:S_{XYZ}=-S_{XZY}\}.$$

The decomposition of this space into irreducible components under the action of the orthogonal group provides a set of classes such that $S_p$ belongs to the same class for every choice of the point p. If the manifold $(M,g)$ is also equipped with an additional geometric structure defined by a tensor K, then the condition $\tilde{\nabla }K=0$ must be included in (1) to characterize the reductive local homogeneity of the manifold under (local) transformations preserving both g and K. We apply this situation to two instances:

• Let $(M,g,J)$ be an almost pseudo-Hermitian manifold, that is, a pseudo-Riemannian manifold equipped with a $(1,1)$-tensor J that is a point-wise isometry. A pseudo-Hermitian homogeneous structure S is a $(1,2)$-tensor satisfying (1) and $\tilde{\nabla }J=0$. If in addition $(M,g,J)$ is Kähler (that is, $\nabla J=0$), and we fix a point $p\in M$, $V=T_{p}M$, the linear space of tensors to be considered is

  $$\mathcal{K}\left(V\right)=\{S\in {\otimes }^{3}V:S_{XYZ}=-S_{XZY},S_{XJYJZ}=S_{XYZ}\},$$

  obtained by implementing the condition $\tilde{\nabla }J=-SJ=0$ to $\mathcal{S}\left(V\right)$. It is proven in [4,9] that the space $\mathcal{K}\left(V\right)$ of pseudo-Kähler homogeneous structures decomposes in four mutually orthogonal and irreducible $\mathrm{U}(p,q)$-submodules

  $$\mathcal{K}\left(V\right)={\mathcal{K}}_1\left(V\right)\oplus {\mathcal{K}}_2\left(V\right)\oplus {\mathcal{K}}_3\left(V\right)\oplus {\mathcal{K}}_4\left(V\right).$$

  (2)
  Their expressions can be found in the Appendix A.
• Let $(M,g,\varphi ,\xi ,\eta )$ be an almost contact metric manifold, that is (for example, see [12]), a pseudo-Riemannian manifold $(M,g)$ equipped with a $(1,1)$-tensor $\varphi$ and a vector field $\xi$ (the 1-form $\eta$ being its dual with respect to g) such that

  $${\varphi }^2=-\mathrm{id}+\eta \otimes \xi ,g(\varphi \left(X\right),\varphi \left(Y\right))=g(X,Y)-\epsilon \eta \left(X\right)\eta \left(Y\right)$$

  where $\epsilon =g(\xi ,\xi )$. Then, S is a almost contact metric homogeneous structure if and only if (1) is satisfied together with $\tilde{\nabla }\varphi =0$. This implies that also $\tilde{\nabla }\xi =0$ and $\tilde{\nabla }\eta =0$. The equation $\tilde{\nabla }\varphi =0$ is equivalent to $\nabla \varphi =[S,\varphi ]$, but this condition cannot be easily implemented into the definition of the pointwise space of tensors $\mathcal{S}\left(V\right)$, $V=T_{p}M$, since the Levi–Civita connection depends on the metric and the first derivatives of the metric. However, we can still split this space of linear tensors under the group $\mathrm{U}(r,s)\times 1$. Recall that this group characterizes the canonical almost metric structure of ${\mathbb{R}}^{2n+1}$ defined by ${\xi }_0=e_{2n+1}$ and

  $${\varphi }_0=\left(\begin{array}{cc}{J}_0& 0\\ 0& 0\end{array}\right),$$
  $J_0$ being the standard complex structure of ${\mathbb{R}}^{2n}$. That is, $\mathrm{U}(r,s)\times 1$ is the subgroup of $O(2r+1,2s)$ or $O(2r,2s+1)$ (depending on the value of $\epsilon$) stabilizing both ${\xi }_0$ and ${\varphi }_0$. Then, $\mathcal{S}\left(V\right)$ decomposes into two mutually orthogonal $\mathrm{U}(r,s)\times 1$ submodules,

  $$\mathcal{S}\left(V\right)={\mathcal{S}}_{+}\left(V\right)\oplus {\mathcal{S}}_{-}\left(V\right).$$

  with

  $$\begin{array}{cc}\hfill {\mathcal{S}}_{+}\left(V\right)& =\{S\in \mathcal{S}\left(V\right):S_{X\varphi Y\varphi Z}=S_{XYZ}\},\hfill \\ \hfill {\mathcal{S}}_{-}\left(V\right)& =\{S\in \mathcal{S}\left(V\right):S_{X\varphi Y\varphi Z}+S_{XYZ}=\eta \left(Y\right)S_{X\xi Z}+\eta \left(Z\right)S_{XY\xi }\}.\hfill \end{array}$$
  Additionally, these two submodules decompose in mutually orthogonal and irreducible $\mathrm{U}(p,q)\times 1$-submodules

  $$\begin{array}{cc}\hfill {\mathcal{S}}_{+}\left(V\right)& ={\mathcal{CS}}_1\left(V\right)\oplus \cdots \oplus {\mathcal{CS}}_6\left(V\right)\hfill \end{array}$$

  (3)

  $$\begin{array}{cc}\hfill {\mathcal{S}}_{-}\left(V\right)& ={\mathcal{C}}_1\left(V\right)\oplus \cdots \oplus {\mathcal{C}}_{12}\left(V\right)\hfill \end{array}$$

  (4)

  where the first classification is given in ([5] Prop. 4.2.10) and the second in [8]. See the Appendix A for their expressions. Cosymplectic manifolds are an important subcase of almost contact metric manifolds. They are characterized by the additional condition $\nabla \varphi =0$. Hence, a homogeneous structure S belongs to ${\mathcal{S}}_{+}\left(V\right)$ if and only if the manifold is cosymplectic.

2.2. Reduction of a Homogeneous Structure

Let $\pi :\overline{M}⟶M$ be a (left) G-principal bundle, where $\overline{M}$ is a pseudo-Riemannian manifold with metric $\overline{g}$, and the fibers are non-degenerate with respect to $\overline{g}$. Suppose that G acts on $\overline{M}$ by isometries.

Given $\overline{p}$, we consider $V_{\overline{p}}\overline{M}$ the vertical subspace at $\overline{p}$ and $H_{\overline{p}}\overline{M}$ its orthogonal complement with respect to $\overline{g}$. As G acts by isometries, the decomposition

$$T_{\overline{p}}\overline{M}=V_{\overline{p}}\overline{M}\oplus H_{\overline{p}}\overline{M}$$

is a principal G-connection. This connection $\omega$ is sometimes called a mechanical connection for its relevant role in some problems in geometric mechanics (see [13]). Furthermore, there is a unique pseudo-Riemannian metric g in M such that the restriction ${\pi }_{\ast }:H_{\overline{p}}\overline{M}⟶T_{\pi \left(\overline{p}\right)}M$ is an isometry for every $\overline{p}\in \overline{M}$. Obviously, the metric g satisfies

$$g(X,Y)\circ \pi =\overline{g}(X^H,Y^H)\mathrm{for}\mathrm{all}X,Y\in \mathfrak{X}\left(M\right),$$

where $X^H$ and $Y^H$ denote the horizontal lift of X and Y with respect to the mechanical connection.

Let $\overline{\nabla }$ be the Levi–Civita connection and $\overline{S}=\overline{\nabla }-\tilde{\overline{\nabla }}$ be a pseudo-Riemannian homogeneous structure on $\overline{M}$, invariant under the action of the structure group G. Assume that there is 1-form $\beta$ taking values in $\mathrm{End}\left(\mathfrak{h}\right)$ such that

$$\tilde{\overline{\nabla }}\omega =\beta ·\omega .$$

Then, by ([7] Theorem 3.7), the reduced tensor field S on M defined by

$$S_{X}Y={\pi }_{\ast }\left({\overline{S}}_{X^H}{Y}^H\right),X,Y\in \mathfrak{X}\left(M\right),$$

is a pseudo-Riemannian homogeneous structure of $(M,g)$.

3. Fibrations of Pseudo-Hermitian over Almost Contact Metric Manifolds

Let $\theta$ be a nowhere-vanishing vector field in $\overline{M}$. Around any point $\overline{p}\in \overline{M}$ there exists a coordinate system $(x^1,...,x^m)$, $m=\dim \overline{M}$, in a neighborhood diffeomorphic to ${[0,1]}^m$ such that any integral curve of $\theta$ is given by $x^1=const,\cdots ,x^{m-1}=const$. The vector field is said to be regular if the domains can be always chosen such that any orbit of $\theta$ intersects them at most once. For regular vector fields, the orbit space M is a smooth manifold and the projection $\pi :\overline{M}⟶M$ a submersion (cf. [14]). Furthermore, a regular vector field is said to be strictly regular if all the orbits are diffeomorphic. If $\theta$ is a complete, strictly regular vector field, the one-parametric group G generated by $\theta$ ($G=\mathbb{R}$ or $S^1$) acts freely on $\overline{M}$, and $\pi :\overline{M}⟶M$ is a G-principal bundle. If we further assume that $\overline{M}$ is equipped with a pseudo-Riemannian metric $\overline{g}$ such that $\overline{g}(\theta ,\theta )=\pm 1$ (that is, $\theta$ is non-degenerate so that we can normalize it) and $\overline{g}$ is invariant by the group G, then the 1-form

$$\omega \left(v\right)=\epsilon \overline{g}(\theta ,v),v\in T\overline{M},$$

where $\epsilon =\mathrm{sign}\left(\overline{g}(\theta ,\theta )\right)$ is a G-principal connection form in $\pi :\overline{M}⟶M$, a mechanical connection, as we mentioned above.

Theorem 1.

Let $(\overline{M},\overline{g},\overline{J})$ be an almost pseudo-Hermitian manifold and let $\theta \in \mathfrak{X}\left(\overline{M}\right)$ be a complete strictly regular unit vector field ($\epsilon =\overline{g}(\theta ,\theta )=\pm 1$). We consider that both $\overline{g}$ and $\overline{J}$ are invariant with respect to the uniparametric group G defined by θ. Then, the orbit space $(M,g,\varphi ,\xi ,\eta )$ is an almost contact metric manifold, with

$$g(X,Y)=\overline{g}(X^H,Y^H),\varphi X={\pi }_{\ast }\left(\overline{J}{X}^H\right),\xi ={\pi }_{\ast }\left(\overline{J}\theta \right),$$

(5)

for any $X,Y\in TM$, where $X^H$ stands for the horizontal lift with respect to the mechanical connection, and η is the dual form of ξ; that is, $\eta (·)=\epsilon g(·,\xi )$.

Proof. 

As $\theta$ acts by preserving the metric and the complex structure tensor, we have that the tensors given in (5) are well defined. In addition, $\overline{J}\theta$, being orthogonal to $\theta$, is horizontal with respect to the mechanical connection and $g(\xi ,\xi )=\overline{g}(\overline{J}\theta ,\overline{J}\theta )=\overline{g}(\theta ,\theta )=\epsilon$. We have to check that

$${\varphi }^2=-Id+\eta \otimes \xi ,g(\varphi X,\varphi Y)=g(X,Y)-\epsilon \eta \left(X\right)\eta \left(Y\right).$$

(6)

If $X\in {\xi }^{\perp }=\{Y\in TM:g(Y,\xi )=0\}=\ker \eta$, then $\overline{g}(X^H,\overline{J}\theta )=0$, which means that $\overline{J}\left(X^H\right)$ is an horizontal vector. Then,

$$\begin{array}{cc}\hfill (\varphi \circ \varphi )\left(X\right)& =\varphi \left({\pi }_{\ast }\left(\overline{J}{X}^H\right)\right)\hfill \\ \hfill & ={\pi }_{\ast }\left({\left({\pi }_{\ast }\left(\overline{J}{X}^H\right)\right)}^H\right)={\pi }_{\ast }\left({\overline{J}}^2{X}^H\right)=-X.\hfill \end{array}$$

On the other hand, $\varphi \left(\xi \right)={\pi }_{\ast }\left(\overline{J}\left({\xi }^H\right)\right)={\pi }_{\ast }\left(\overline{J}\overline{J}\theta \right)=-{\pi }_{\ast }\left(\theta \right)=0$, so that both sides of

$$(\varphi \circ \varphi )\left(\xi \right)=-\xi +\eta \left(\xi \right)\xi$$

vanish. The first equation of (6) is satisfied.

With respect to the second equation, given $X\in TM$, we denote by $X^{\prime }$ the orthogonal part of X with respect to $\xi$. Note that, since $\overline{g}(\overline{J}\left(X^{\prime H}\right),\theta )=-\overline{g}(X^{\prime H},\overline{J}\theta )=g(X^{\prime },\xi )=0$, the vector $\overline{J}\left(X^{\prime H}\right)$ is horizontal. Then

$$\begin{array}{cc}\hfill g(\varphi X,\varphi Y)& =g(\varphi (X^{\prime }+\eta \left(X\right)\xi ),\varphi (Y^{\prime }+\eta \left(Y\right)\xi ))=\hfill \\ \hfill & =g(\varphi \left(X^{\prime }\right),\varphi \left(Y^{\prime }\right))=\overline{g}(\overline{J}\left(X^{\prime H}\right),\overline{J}\left(Y^{\prime H}\right))\hfill \\ \hfill & =\overline{g}(X^{\prime H},Y^{\prime H})=g(X^{\prime },Y^{\prime })\hfill \\ \hfill & =g(X,Y)-\epsilon \eta \left(X\right)\eta \left(Y\right),\hfill \end{array}$$

and the proof is complete. □

Remark 1.

On top of the structure on the reduced manifold provided in the previous result, it is easy to check that the Levi–Civita connection on M associated with g is characterized by the condition

$${\nabla }_{X}Y={\pi }_{\ast }\left({\overline{\nabla }}_{X^H}{Y}^H\right),X,Y\in \mathfrak{X}\left(M\right).$$

Associated with an almost contact metric manifold $(M,g,\varphi ,\xi ,\eta )$, the canonical 2-form $\mathsf{\Phi }$ is defined to be $\mathsf{\Phi }(X,Y)=g\left(\varphi \right(X),Y)$. Since

$$\left({\tilde{\nabla }}_X\mathsf{\Phi }\right)(Y,Z)=g(\left({\tilde{\nabla }}_X\varphi \right)Y,Z),X,Y,Z\in \mathfrak{X}\left(M\right),$$

for any metric connection $\tilde{\nabla }$, the manifold M is cosymplectic if and only if $\nabla \mathsf{\Phi }=0$. For non-cosymplectic manifolds, if we choose a point $p\in M$, $V=T_{p}M$, the 3-tensor ${(\nabla \mathsf{\Phi })}_p$ belongs to the space

$${\mathcal{S}}_{-}\left(V\right)=\{\alpha \in \mathcal{S}\left(V\right):{\alpha }_{XYZ}=-{\alpha }_{X\varphi Y\varphi Z}+\eta \left(Y\right){\alpha }_{X\xi Z}+\eta \left(Z\right){\alpha }_{XY\xi }\}.$$

defined above. The classification of almost contact metric manifold in a category other than cosymplectic (Sasaki, trans-Sasaki, Kenmotsu, etc.; see [8]) is equivalent to $\nabla \mathsf{\Phi }$ belonging to different combinations of the irreducible subspaces ${\mathcal{C}}_1,\dots ,{\mathcal{C}}_{12}$ in which ${\mathcal{S}}_{-}\left(V\right)$ decomposes. These subspaces can be organized in a less coarse classification

$${\mathcal{S}}_{-}\left(V\right)={\mathcal{S}}_{-,1}\left(V\right)+{\mathcal{S}}_{-,0}\left(V\right),$$

as

$$\begin{array}{cc}\hfill {\mathcal{S}}_{-,1}\left(V\right)& ={\mathcal{C}}_1\oplus {\mathcal{C}}_2\oplus {\mathcal{C}}_3\oplus {\mathcal{C}}_4\oplus {\mathcal{C}}_{11},\hfill \\ \hfill {\mathcal{S}}_{-,0}\left(V\right)& ={\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_7\oplus {\mathcal{C}}_8\oplus {\mathcal{C}}_9\oplus {\mathcal{C}}_{10}\oplus {\mathcal{C}}_{12},\hfill \end{array}$$

and defined by the expressions

$$\begin{array}{cc}\hfill {\mathcal{S}}_{-,1}\left(V\right)& =\{\alpha \in {\mathcal{S}}_{-}\left(V\right):{\alpha }_{X\xi Z}=0\}=\{\alpha \in {\mathcal{S}}_{-}\left(V\right):{\alpha }_{XYZ}=-{\alpha }_{X\varphi Y\varphi Z}\},\hfill \\ \hfill {\mathcal{S}}_{-,0}\left(V\right)& =\{\alpha \in {\mathcal{S}}_{-}\left(V\right):{\alpha }_{XYZ}=\eta \left(Y\right){\alpha }_{X\xi Z}+\eta \left(Z\right){\alpha }_{XY\xi }\}.\hfill \end{array}$$

Proposition 1.

In the conditions of Theorem 1, if $(\overline{M},\overline{g},\overline{J})$ is a Kähler manifold, then the quotient space $(M,g,\varphi ,\xi ,\eta )$ is an almost contact manifold such that $\nabla \mathsf{\Phi }$ belongs to the class ${\mathcal{S}}_{-,0}\left(V\right)={\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_7\oplus {\mathcal{C}}_8\oplus {\mathcal{C}}_9\oplus {\mathcal{C}}_{10}\oplus {\mathcal{C}}_{12}$.

Proof. 

For $X,Y,Z\in \mathfrak{X}\left(M\right)$ we have

$$\begin{array}{cc}\hfill \left({\nabla }_X\varphi \right)Y& ={\nabla }_X\left(\varphi Y\right)-\varphi \left({\nabla }_{X}Y\right)={\pi }_{\ast }\left({\overline{\nabla }}_{X^H}{\left(\varphi Y\right)}^H\right)-{\pi }_{\ast }\left(\overline{J}{\left({\nabla }_{X}Y\right)}^H\right)\hfill \\ \hfill & ={\pi }_{\ast }\left({\overline{\nabla }}_{X^H}J{\left(Y^{\prime }\right)}^H\right)-{\pi }_{\ast }\left(\overline{J}({\overline{\nabla }}_{X^H}{Y}^H-\epsilon \overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta )\theta )\right)\hfill \\ \hfill & ={\pi }_{\ast }\left({\overline{\nabla }}_{X^H}J{Y}^H-\epsilon {\overline{\nabla }}_{X^H}\overline{J}\left(\overline{g}(Y^H,\overline{J}\theta )\overline{J}\theta \right)\right.\hfill \\ \hfill & \left.-\overline{J}\left({\overline{\nabla }}_{X^H}{Y}^H\right)+\epsilon \overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta )\overline{J}\theta )\right).\hfill \end{array}$$

Since $\overline{\nabla }J=0$, the first and third terms of the last step above vanish and we get

$$\begin{array}{cc}\hfill \left({\nabla }_X\varphi \right)Y& ={\pi }_{\ast }\left(\epsilon X^H\left(\overline{g}(Y^H,\overline{J}\theta )\right)\theta \right)+\epsilon \overline{g}(Y^H,\overline{J}\theta ){\overline{\nabla }}_{X^H}\theta +\epsilon \overline{g}({\overline{\nabla }}_{X^H}\overline{J}{Y}^H,\theta )\overline{J}\theta )\hfill \\ \hfill & =\eta \left(Y\right){\pi }_{\ast }\left({\overline{\nabla }}_{X^H}\theta \right)+\epsilon \overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta )\xi \hfill \end{array}$$

so that

$$g(\left({\nabla }_X\varphi \right)Y,Z)=\eta \left(Y\right)\overline{g}({\overline{\nabla }}_{X^H}\theta ,Z^H)+\eta \left(Z\right)\overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta ),$$

(7)

for any vector field $\mathfrak{X}\left(M\right)$. In particular,

$$\begin{array}{cc}\hfill g(\left({\nabla }_X\varphi \right)\xi ,Z)& =\eta \left(\xi \right)\overline{g}({\overline{\nabla }}_{X^H}\theta ,Z^H)+\eta \left(Z\right)\overline{g}({\overline{\nabla }}_{X^H}{\xi }^H,\theta )\hfill \\ \hfill & =\overline{g}({\overline{\nabla }}_{X^H}\theta ,Z^H)+\eta \left(Z\right)\overline{g}({\overline{\nabla }}_{X^H}\overline{J}\theta ,\theta ),\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill g(\left({\nabla }_X\varphi \right)Y,\xi )& =\eta \left(Y\right)\overline{g}({\overline{\nabla }}_{X^H}\theta ,{\xi }^H)+\eta \left(\xi \right)\overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta )\hfill \\ \hfill & =\eta \left(Y\right)\overline{g}({\overline{\nabla }}_{X^H}\theta ,\overline{J}\theta )+\overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta )\hfill \\ \hfill & =-\eta \left(Y\right)\overline{g}({\overline{\nabla }}_{X^H}\overline{J}\theta ,\theta )+\overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta ).\hfill \end{array}$$

Then

$$\eta \left(Y\right)g(\left({\nabla }_X\varphi \right)\xi ,Z)+\eta \left(Z\right)g(\left({\nabla }_X\varphi \right)Y,\xi )=\eta \left(Y\right)\overline{g}({\overline{\nabla }}_{X^H}\theta ,Z^H)+\eta \left(Z\right)\overline{g}({\overline{\nabla }}_{X^H}{Y}^H,\theta ).$$

Through a comparison with (7) we finally get

$$g(\left({\nabla }_X\varphi \right)Y,Z)=\eta \left(Y\right)g(\left({\nabla }_X\varphi \right)\xi ,Z)+\eta \left(Z\right)g(\left({\nabla }_X\varphi \right)Y,\xi );$$

that is, $\nabla \mathsf{\Phi }$ belongs to ${\mathcal{S}}_{-,0}\left(V\right)$. □

4. Reduction of Homogeneous Structures

We now assume that the pseudo-Hermitian manifold $(\overline{M},\overline{g},\overline{J})$ is equipped with a homogeneous structure tensor $\overline{S}$, which in addition is invariant under the action of the group G.

Theorem 2.

Let $(\overline{M},\overline{g},\overline{J})$ be an almost pseudo-Kähler manifold equipped with an almost pseudo-Kähler homogeneous structure $\overline{S}$ that is invariant under the group flow G of a complete strictly regular unit vector field θ. Suppose that

$$\tilde{\overline{\nabla }}\theta =\beta \otimes \theta$$

where $\tilde{\overline{\nabla }}=\overline{\nabla }-\overline{S}$ and β is a 1-form on M. Then, the tensor field S on the orbit space $M=\overline{M}/G$ defined by

$$S_{X}Y={\pi }_{\ast }\left({\overline{S}}_{X^H}{Y}^H\right)$$

is a homogeneous, almost contact metric structure on $(M,g,\varphi ,\xi ,\eta )$ belonging to the class ${\mathcal{S}}_{+}\left(V\right)\oplus {\mathcal{S}}_{-,0}\left(V\right)$. Furthermore, the components $S_{+}\in {\mathcal{S}}_{+}\left(V\right)$ and $S_{-,0}\in {\mathcal{S}}_{-,0}\left(V\right)$ of S are

$$\begin{array}{cc}\hfill {\left(S_{+}\right)}_{XYZ}& =S_{X\varphi Y\varphi Z}\hfill \\ \hfill {\left(S_{-,0}\right)}_{XYZ}& =\eta \left(Y\right)S_{X\xi Z}+\eta \left(Z\right)S_{XY\xi },\hfill \end{array}$$

respectively.

Proof. 

Since the condition $\tilde{\overline{\nabla }}\theta =\beta \otimes \theta$ is equivalent to $\tilde{\overline{\nabla }}\omega =\beta ·\omega$, we are working in the conditions explained in Section 2.2 so that S is a pseudo-Riemannian homogeneous structure. To show that S is an almost contact metric homogeneous structure, we have to prove that $\tilde{\nabla }\varphi =0$, where $\tilde{\nabla }=\nabla -S$. Let $X,Y\in \mathfrak{X}\left(M\right)$ be two vector fields,

$$\omega \left({\tilde{\overline{\nabla }}}_{X^H}{Y}^H\right)=X^H\left(\omega \left(Y^H\right)\right)-\left({\tilde{\overline{\nabla }}}_{X^H}\omega \right)\left(Y^H\right)=-\beta \left(X^H\right)\omega \left(Y^H\right)=0$$

so that ${\tilde{\overline{\nabla }}}_{X^H}{Y}^H$ is horizontal. Then ${\tilde{\overline{\nabla }}}_{X^H}{Y}^H$ projects to ${\tilde{\nabla }}_{X}Y$. Following the same steps in Proposition 1, we get

$$g(\left({\tilde{\nabla }}_X\varphi \right)Y,Z)=\eta \left(Y\right)\overline{g}({\tilde{\overline{\nabla }}}_{X^H}\theta ,Z^H)+\eta \left(Z\right)\overline{g}({\tilde{\overline{\nabla }}}_{X^H}{Y}^H,\theta )$$

which implies that $\tilde{\nabla }\varphi =0$, while again taking into consideration the fact that ${\tilde{\overline{\nabla }}}_{X^H}{Y}^H$ is horizontal.

Now, we decompose $Y=Y^{\prime }+\eta \left(Y\right)\xi$, $Z=Z^{\prime }+\eta \left(Z\right)\xi$ and we get

$$\begin{array}{cc}\hfill S_{XYZ}& ={\overline{S}}_{X^H{Y}^H{Z}^H}\hfill \\ \hfill & ={\overline{S}}_{X^H{\left(Y^{\prime }\right)}^H{\left(Z^{\prime }\right)}^H}+\eta \left(Y\right){\overline{S}}_{X^H\overline{J}\theta {\left(Z^{\prime }\right)}^H}+\eta \left(Z\right){\overline{S}}_{X^H{\left(Y^{\prime }\right)}^H\overline{J}\theta }\hfill \\ \hfill & ={\overline{S}}_{X^H{\left(Y^{\prime }\right)}^H{\left(Z^{\prime }\right)}^H}+\eta \left(Y\right){\overline{S}}_{X^H\overline{J}\theta Z^H}+\eta \left(Z\right){\overline{S}}_{X^H{Y}^H\overline{J}\theta }.\hfill \end{array}$$

Since $\overline{S}$ is a pseudo-Kähler homogeneous structure,

$$\begin{array}{cc}\hfill S_{XYZ}& ={\overline{S}}_{X^H\overline{J}{\left(Y^{\prime }\right)}^H\overline{J}{\left(Z^{\prime }\right)}^H}+\eta \left(Y\right){\overline{S}}_{X^H\overline{J}\theta Z^H}+\eta \left(Z\right){\overline{S}}_{X^H{Y}^H\overline{J}\theta }\hfill \\ \hfill & =S_{X\varphi Y\varphi Z}+\eta \left(Y\right)S_{X\xi Z}+\eta \left(Z\right)S_{XY\xi },\hfill \end{array}$$

which implies that $S\in {\mathcal{S}}_{+}\left(V\right)\oplus {\mathcal{S}}_{-,0}\left(V\right)$. Finally, it is a matter of direct checking that $S_{+}$ and $S_{-,0}$ in the statement satisfy $S_{+}\in {\mathcal{S}}_{+}\left(V\right)$ and $S_{-,0}\in {\mathcal{S}}_{-,0}\left(V\right)$. □

Theorem 3.

Let $(\overline{M},\overline{g},\overline{J})$ be a pseudo-Kähler manifold equipped with a pseudo-Kähler homogeneous structure $\overline{S}$ invariant under the flow group G of a complete strictly regular unit vector field θ. Assume that $\overline{S}$ belongs to the class ${\mathcal{K}}_2\left(\overline{V}\right)+{\mathcal{K}}_4\left(\overline{V}\right)$, parametrized by G-invariant vector fields ${\chi }_2$ and ${\chi }_4$. Then, the component $\left(S_{-,0}\right)\in {\mathcal{S}}_{-,0}\left(V\right)$ of the reduced homogeneous almost-contact metric structure S of the almost contact metric manifold $(M=\overline{M}/G,g,\varphi ,\xi ,\eta )$ belongs to ${\mathcal{C}}_5\left(V\right)\oplus {\mathcal{C}}_6\left(V\right)\oplus {\mathcal{C}}_{12}\left(V\right)$ with projections

$$\begin{array}{cc}\hfill {\left(S_{-,0}\right)}_{\left(5\right)}(X,Y,Z)& =\epsilon \omega \left(\chi \right)\left(\eta \left(Y\right)g(X,\varphi Z)-\eta \left(Z\right)g(X,\varphi Y)\right)\hfill \\ \hfill {\left(S_{-,0}\right)}_{\left(6\right)}(X,Y,Z)& =\epsilon \eta \left({\pi }_{\ast }\chi \right)\left(\eta \left(Z\right)g(X,Y)-\eta \left(Y\right)g(X,Z)\right)\hfill \\ \hfill {\left(S_{-,0}\right)}_{\left(12\right)}(X,Y,Z)& =\epsilon \eta \left(X\right)\left(\eta \left(Y\right)g(Z,{\pi }_{\ast }\chi )-\eta \left(Z\right)g(Y,{\pi }_{\ast }\chi )\right)\hfill \end{array}$$

for $X,Y,Z\in V$, where $\chi ={\chi }_2+{\chi }_4$.

Proof. 

In the expression

$$\begin{array}{cc}\hfill {\left(S_{-,0}\right)}_{XYZ}& =\eta \left(Y\right)S_{X\xi Z}+\eta \left(Z\right)S_{XY\xi }=\eta \left(Y\right){\overline{S}}_{X^H\overline{J}\theta Z^H}+\eta \left(Z\right){\overline{S}}_{X^H{Y}^H\overline{J}\theta }\hfill \end{array}$$

of the component ${\mathcal{S}}_{-,0}\left(V\right)$ of S, we apply that $\overline{S}\in {\mathcal{K}}_2\left(\overline{V}\right)+{\mathcal{K}}_4\left(\overline{V}\right)$, defined by vector fields ${\chi }_2$ and ${\chi }_4$ (see Theorem A1), and we have

$$\begin{array}{cc}\hfill {\left(S_{-,0}\right)}_{XYZ}& =\eta \left(Y\right)\left(\overline{g}(X^H,\overline{J}\theta )\overline{g}(Z^H,\chi )-\overline{g}(X^H,Z^H)\overline{g}(\overline{J}\theta ,\chi )\right.\hfill \\ \hfill & +\overline{g}(X^H,{\overline{J}}^2\theta )\overline{g}(\overline{J}{Z}^H,\chi )-\overline{g}(X^H,\overline{J}{Z}^H)\overline{g}({\overline{J}}^2\theta ,\chi )\hfill \\ \hfill & \left.-2\overline{g}({\overline{J}}^2\theta ,Z^H)\overline{g}(\overline{J}{X}^H,\widehat{\chi })\right)\hfill \\ \hfill & +\eta \left(Z\right)\left(\overline{g}(X^H,Y^H)\overline{g}(\overline{J}\theta ,\chi )-\overline{g}(X^H,\overline{J}\theta )\overline{g}(Y^H,\chi )\right.\hfill \\ \hfill & +\overline{g}(X^H,\overline{J}{Y}^H)\overline{g}({\overline{J}}^2\theta ,\chi )-\overline{g}(X^H,{\overline{J}}^2\theta )\overline{g}(\overline{J}{Y}^H,\chi )\hfill \\ \hfill & \left.-2\overline{g}(\overline{J}{Y}^H,\overline{J}\theta )\overline{g}(\overline{J}{X}^H,\widehat{\chi })\right),\hfill \end{array}$$

where $\chi ={\chi }_2+{\chi }_4$, $\widehat{\chi }={\chi }_2-{\chi }_4$. As $\overline{g}(X^H,\theta )=0$ we get

$$\begin{array}{cc}\hfill {\left(S_{-,0}\right)}_{XYZ}& =\eta \left(Y\right)\left(\epsilon \eta \left(X\right)g(Z,{\pi }_{\ast }\chi )-\epsilon \eta \left({\pi }_{\ast }\chi \right)g(X,Z)+\epsilon g(X,\varphi Z)\omega \left(\chi \right)\right)\hfill \\ \hfill & +\eta \left(Z\right)\left(\epsilon \eta \left({\pi }_{\ast }\chi \right)g(X,Y)-\epsilon \eta \left(X\right)g(Y,{\pi }_{\ast }\chi )-\epsilon g(X,\varphi Y)\omega \left(\chi \right)\right)\hfill \\ \hfill & =\epsilon \omega \left(\chi \right)\left(\eta \left(Y\right)g(X,\varphi Z)-\eta \left(Z\right)g(x,\varphi Y)\right)\hfill \\ \hfill & +\epsilon \eta \left({\pi }_{\ast }\chi \right)\left(\eta \left(Z\right)g(X,Y)-\eta \left(Y\right)g(X,Z)\right)\hfill \\ \hfill & +\epsilon \eta \left(X\right)\left(\eta \left(Y\right)g(Z,{\pi }_{\ast }\chi )-\eta \left(Z\right)g(Y,{\pi }_{\ast }\varphi )\right).\hfill \end{array}$$

One can easily check from expression given in the Theorem A3 that first, second and third lines of the last equality belong to ${\mathcal{C}}_5\left(V\right)$, ${\mathcal{C}}_6\left(V\right)$ and ${\mathcal{C}}_{12}\left(V\right)$ respectively. □

Recall that the Ambrose–Singer condition $\tilde{\nabla }\varphi =0$ is equivalent to $\nabla \varphi =[S,\varphi ]=[S_{-},\varphi ]$. Hence

$$\begin{array}{cc}\hfill \left({\nabla }_X\mathsf{\Phi }\right)(Y,Z)& =g(\left({\nabla }_X\varphi \right)Y,Z)=g({\left(S_{-}\right)}_X\left(\varphi Y\right)-\varphi \left({\left(S_{-}\right)}_{X}Y\right),Z)\hfill \\ \hfill & ={\left(S_{-}\right)}_{X\varphi YZ}+{\left(S_{-}\right)}_{XY\varphi Z}.\hfill \end{array}$$

If in addition $S_{-}$ belongs to ${\mathcal{S}}_{-,0}\left(V\right)$, then

$$\begin{array}{cc}\hfill \left({\nabla }_X\mathsf{\Phi }\right)(Y,Z)& =\eta \left(\varphi Y\right){\left(S_{-}\right)}_{X\xi Z}+\eta Z{\left(S_{-}\right)}_{X\varphi Y\xi }+\eta \left(Y\right){\left(S_{-}\right)}_{X\xi \varphi Z}+\eta \varphi Z{\left(S_{-}\right)}_{XY\xi }\hfill \\ \hfill & =\eta \left(Z\right){\left(S_{-}\right)}_{X\varphi Y\xi }+\eta \left(Y\right){\left(S_{-}\right)}_{X\xi \varphi Z}.\hfill \end{array}$$

(8)

Proposition 2.

Under the conditions of Theorem 3, the covariant derivative $\nabla \mathsf{\Phi }$ of the fundamental form of the almost-contact metric manifold $(M,g,\varphi ,\xi ,\eta )$ belongs to ${\mathcal{C}}_5\left(V\right)\oplus {\mathcal{C}}_6\left(V\right)\oplus {\mathcal{C}}_{12}\left(V\right)$ with components

$$\begin{array}{cc}\hfill \left({\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(5\right)}\right)(Y,Z)& =\epsilon \eta \left({\pi }_{\ast }\chi \right)\left(\eta \left(Z\right)g(X,\varphi Y)-\eta \left(Y\right)g(X,\varphi Z)\right)\hfill \\ \hfill \left({\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(6\right)}\right)(Y,Z)& =\epsilon \omega \left(\chi \right)\left(\eta \left(Z\right)g(X,Y)-\eta \left(Y\right)g(X,Z)\right)\hfill \\ \hfill \left({\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(12\right)}\right)(Y,Z)& =\epsilon \eta \left(X\right)\left(\eta \left(Y\right)g(\varphi Z,{\pi }_{\ast }\chi )-\eta \left(Z\right)g(\varphi Y,{\pi }_{\ast }\chi )\right)\hfill \end{array}$$

for $X,Y,Z\in \mathfrak{X}\left(M\right)$, where $\chi ={\chi }_2+{\chi }_4$.

Moreover, the manifold $(M,g,\varphi ,\xi ,\eta )$ is cosymplectic if and only if $\chi =0$.

Proof. 

From Theorem 2, the part $S_{-}$ of the reduced homogeneous structure S in ${\mathcal{S}}_{-}\left(V\right)$ belongs to ${\mathcal{S}}_{-,0}\left(V\right)$ and we can apply (8). By means of a straightforward computation, one can show that the components ${\left(S_{-}\right)}_{\left(5\right)}$, ${\left(S_{-}\right)}_{\left(6\right)}$ and ${\left(S_{-}\right)}_{\left(12\right)}$ provide the expressions ${\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(6\right)}$, ${\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(5\right)}$ and ${\left({\nabla }_X\mathsf{\Phi }\right)}_{\left(12\right)}$ in the statement, which belong to ${\mathcal{C}}_6\left(V\right)$, ${\mathcal{C}}_5\left(V\right)$ and ${\mathcal{C}}_{12}\left(V\right)$ respectively.

Finally, the three components of $\nabla \mathsf{\Phi }$ vanish if and only if ${\pi }_{\ast }\chi =0$ and $\omega \left(\chi \right)=0$, that is, $\chi =0$. □

Corollary 1.

Let $(\overline{M},\overline{g},\overline{J})$ be a pseudo- Kähler manifold equipped with a pseudo-Kähler homogeneous structure of the class ${\mathcal{K}}_2+{\mathcal{K}}_4$ defined by vector fields ${\chi }_2$ and ${\chi }_4$. Suppose that $\chi ={\chi }_2+{\chi }_4$ is a complete strictly regular vector field, and let G be its flow group. Then the orbit manifold $(M=\overline{M}/G,g,\varphi ,\xi ,\eta )$ is Sasakian.

Proof. 

The vector fields ${\chi }_2$ and ${\chi }_4$ satisfy $\tilde{\overline{\nabla }}{\chi }_2=\tilde{\overline{\nabla }}{\chi }_4=0$ (cf. [9]) so that $\chi ={\chi }_2+{\chi }_4$ satisfies the conditions of Theorem 2. From Proposition 2, since ${\pi }_{\ast }\chi =0$, we have that $\nabla \mathsf{\Phi }$ belongs to the class ${\mathcal{C}}_6$, which is equivalent to being Sasakian ([8]). □

Theorem 4.

Let $(\overline{M},\overline{g},\overline{J})$ be a pseudo-Kähler manifold equipped with a pseudo-Kähler homogeneous structure $\overline{S}$ invariant under the flow group G of a complete strictly regular unit vector field θ. Assume that $\overline{S}$ belongs to the class ${\mathcal{K}}_2\left(\overline{V}\right)+{\mathcal{K}}_4\left(\overline{V}\right)$, parametrized by G-invariant vector fields ${\chi }_2$ and ${\chi }_4$. Then, the component $\left(S_{+}\right)\in {\mathcal{S}}_{+}\left(V\right)$ of the reduced homogeneous almost-contact metric structure S of the almost contact metric manifold $(M=\overline{M}/G,g,\varphi ,\xi ,\eta )$ belongs to ${\mathcal{CS}}_2\left(V\right)\oplus {\mathcal{CS}}_4\left(V\right)\oplus {\mathcal{CS}}_6\left(V\right)$, and its expression is

$$\begin{array}{cc}\hfill \left(S_{+}\right)(X,Y,Z)& =g(X,Y)g(Z,\rho )-\epsilon \eta \left(X\right)\eta \left(Y\right)g(Z,\rho )-g(X,Z)g(Y,\rho )\hfill \\ \hfill & +\epsilon \eta \left(X\right)\eta \left(Z\right)g(Y,\rho )+g(X,\varphi Y)g(\varphi Z,\rho )-g(X,\varphi Z)g(\varphi Y,\rho )\hfill \\ \hfill & -2g(\varphi Y,Z)g(\varphi X,\widehat{\rho })+2\epsilon \eta \left(X\right)\omega \left(\widehat{\chi }\right)g(\varphi Y,Z),\hfill \end{array}$$

for $X,Y,Z\in V$, where $\chi ={\chi }_2+{\chi }_4$, $\widehat{\chi }={\chi }_2-{\chi }_4$ and $\rho ={\pi }_{\ast }\chi -\eta \left({\pi }_{\ast }\chi \right)\xi$, $\widehat{\rho }={\pi }_{\ast }\widehat{\chi }-\eta \left({\pi }_{\ast }\widehat{\chi }\right)\xi$.

Proof. 

In the expression,

$$\begin{array}{cc}\hfill {\left(S_{+}\right)}_{XYZ}& =S_{X\varphi Y\varphi Z}={\overline{S}}_{X\overline{J}{Y}^{\prime H}\overline{J}{Z}^{\prime H}}={\overline{S}}_{X{Y}^{\prime }{Z}^{\prime }}\hfill \end{array}$$

of the component ${\mathcal{S}}_{+}\left(V\right)$ of S, we apply the fact that $\overline{S}\in {\mathcal{K}}_2\left(\overline{V}\right)+{\mathcal{K}}_4\left(\overline{V}\right)$, defined by vector fields ${\chi }_2$ and ${\chi }_4$ (see Theorem A1), and we have

$$\begin{array}{cc}\hfill {\left(S_{+}\right)}_{XYZ}& =\overline{g}(X^H,Y^{\prime H})\overline{g}(Z^{\prime H},{\pi }_{\ast }\chi )-\overline{g}(X^H,Z^{\prime H})\overline{g}(Y^{\prime H},{\pi }_{\ast }\chi )\hfill \\ \hfill & +\overline{g}(X^H,\overline{J}{Y}^{\prime H})\overline{g}(\overline{J}{Z}^{\prime H},{\pi }_{\ast }\chi )-\overline{g}(X^H,\overline{J}{Z}^{\prime H})\overline{g}(\overline{J}{Y}^{\prime H},{\pi }_{\ast }\chi )\hfill \\ \hfill & -2\overline{g}(\overline{J}{Y}^{\prime H},Z^{\prime H})\overline{g}(\overline{J}{X}^H,{\pi }_{\ast }\widehat{\chi })\hfill \\ \hfill & =g(X,Y^{\prime })g(Z^{\prime },{\pi }_{\ast }\chi )-g(X,Z^{\prime })g(Y^{\prime },{\pi }_{\ast }\chi )\hfill \\ \hfill & +g(X,\varphi Y)g(\varphi Z,{\pi }_{\ast }\chi )-g(X,\varphi Z)g(\varphi Y,{\pi }_{\ast }\chi )\hfill \\ \hfill & -2g(\varphi Y,Z^{\prime })\left(g(\varphi X,{\pi }_{\ast }\widehat{\chi })-\epsilon \eta \left(X\right)\omega \left(\widehat{\chi }\right)\right).\hfill \end{array}$$

We use the fact that $g(Z^{\prime },{\pi }_{\ast }{\chi }_i)=g(Z,{\rho }_i)$, $g(\varphi Y,{\pi }_{\ast }{\chi }_i)=g(\varphi Y,{\rho }_i)$, $g(\varphi Y,Z^{\prime })=g(\varphi Y,Z)$ and we get

$$\begin{array}{cc}\hfill {\left(S_{+}\right)}_{XYZ}& =g(X,Y^{\prime })g(Z,\rho )-g(X,Z^{\prime })g(Y,\rho )\hfill \\ \hfill & +g(X,\varphi Y)g(\varphi Z,\rho )-g(X,\varphi Z)g(\varphi Y,\rho )\hfill \\ \hfill & -2g(\varphi Y,Z)g(\varphi X,\widehat{\rho })+2\epsilon \eta \left(X\right)\omega \left(\widehat{\chi }\right)g(\varphi Y,Z).\hfill \end{array}$$

Finally, taking into account that $g(X,Y^{\prime })=g(X^{\prime },Y)$, $g(X,Z^{\prime })=g(X^{\prime },Z)$, $X^{\prime }=X-\eta \left(X\right)\xi$, we get the given expression. □

Corollary 2.

Let $(\overline{M},\overline{g},\overline{J})$ be a pseudo-Kähler manifold equipped with a pseudo-Kähler homogeneous structure $\overline{S}$ invariant under the flow group G of a complete strictly regular unit vector field θ. Assume that $\overline{S}$ belongs to the class ${\mathcal{K}}_2\left(\overline{V}\right)+{\mathcal{K}}_4\left(\overline{V}\right)$. Then the reduced homogeneous almost-contact metric structure S of the almost contact metric manifold $(M,g,\varphi ,\xi ,\eta )$ is of linear type.

Proof. 

This result is a consequence of Theorems 3 and 4. □

5. Conclusions

Since Ambrose–Singer [1] to the present, homogeneous structure tensors have been a main object in the study of the homogeneous manifolds with very interesting applications to other fields in differential geometry and theoretical physics, for example, those derived from linear structures. This paper is a contribution in those two lines of work:

• We showed a reduction procedure by one dimensional fibers between almost pseudo-Hermitian manifolds to almost contact metric manifolds of general type in the sense of Chinea-González (cf. [8]).
• We applied this fibration result to the case of homogeneous structures. In this context we got a reduction result between pseudo-Kähler homogeneous structures to almost contact metric homogeneous structures. Moreover, the reduced manifold lies in ${\mathcal{C}}_5\oplus {\mathcal{C}}_6\oplus {\mathcal{C}}_7\oplus {\mathcal{C}}_8\oplus {\mathcal{C}}_9\oplus {\mathcal{C}}_{10}\oplus {\mathcal{C}}_{12}$ of the Chinea-González classification (cf. [8]).
• We proved that the reduction procedure sends pseudo-Kähler homogeneous structures of linear type to almost contact metric homogeneous structures of linear type. Indeed, we showed the explicit expressions of the reduced homogeneous structure and gave a characterization of the reduced manifold being cosymplectic and Sasakian.
• The study of homogeneous structures of linear type is connected with models of singular plane waves in general relativity (see [15] for the real case and [16] for the pseudo-Kähler setting explored in this work). The models associated with the particular instances that arose from our results, along with some other examples, will be the topic of future research.

Furthermore, we can conclude once more that homogeneous structures have an important and restrictive influence on the geometric structures of the manifold (for example, being xosymplectic or Sasakian). In our opinion, that makes homogeneous structures a fruitful main tool in the study of homogeneous manifolds.