**2. Preliminaries**

An almost Hermitian manifold consists in a smooth manifold N endowed with an almost complex structure *J* and a Riemannian metric *g* that is compatible with the structure *J*. Such a manifold is called Kähler if ∇*J* = 0, where ∇ is the Levi–Civita connection of the metric *g*.

On the other hand, an almost Hermitian manifold N is called a generalized complex space form [13], denoted by N (*f*1, *f*2), if the Riemannian curvature tensor *R* satisfies

$$\begin{aligned} \overline{\mathcal{R}}(\mathbf{X}, \mathbf{Y})\mathbf{Z} &= \ \operatorname{f}\_1\{\operatorname{g}(\mathbf{Y}, \mathbf{Z})\mathbf{X} - \operatorname{g}(\mathbf{X}, \mathbf{Z})\mathbf{Y}\} + \operatorname{f}\_2\{\operatorname{g}(\mathbf{X}, \mathbf{J}\mathbf{Z})\}\mathbf{Y} \\ &- \operatorname{g}(\mathbf{Y}, \mathbf{J}\mathbf{Z})\mathbf{J}\mathbf{X} + 2\operatorname{g}(\mathbf{X}, \mathbf{J}\mathbf{Y})\mathbf{J}\mathbf{Z}\} \end{aligned} \tag{1}$$

for all vector fields *X*,*Y* and *Z* on N , where *f*1 and *f*2 are smooth functions on N . This name is motivated by the fact that, in the case of a complex space form, viz. a Kähler manifold with constant holomorphic sectional curvature 4*c*, the curvature tensor field of the manifold satisfies Equation (1) with *f*1 = *f*2 = *c*.

Let N be a submanifold of real dimension *n* in a generalized complex space form N (*f*1, *f*2) of complex dimension *m*. If ∇ and ∇ are the Levi–Civita connections on N and N (*f*1, *f*2), respectively, then the fundamental formulas of Gauss and Weingarten are [29]

$$\begin{aligned} \overline{\nabla}\_X Y &= \nabla\_X Y + h(X, \mathcal{Y})\_\prime \\\\ \overline{\nabla}\_X \underline{\xi} &= -S\_{\underline{\xi}} X + \nabla\_X^{\perp} \mathcal{Y}\_\prime \end{aligned}$$

where *X*,*Y* are vector fields tangent to N , *ξ* is a vector field normal to N , and ∇<sup>⊥</sup> represents the normal connection. Recall that, in the above basic formulas, *h* denotes the second fundamental form and *S* is the shape operator, they being connected by

$$\lg(h(X,Y),\xi) = \lg(\mathcal{S}\_{\tilde{\xi}}X,Y).$$

On the other hand, the Gauss' equation is expressed by [30]

$$\begin{aligned} \overline{R}(\mathbf{X}, \mathbf{Y}, \mathbf{Z}, \mathbf{W}) &= -R(\mathbf{X}, \mathbf{Y}, \mathbf{Z}, \mathbf{W}) + \mathbf{g}(h(\mathbf{X}, \mathbf{Z}), h(\mathbf{Y}, \mathbf{W})) \\ &- \mathbf{g}(h(\mathbf{X}, \mathbf{W}), h(\mathbf{Y}, \mathbf{Z})) \end{aligned} \tag{2}$$

for all vector fields *X*,*Y*, *Z*, *W* tangent to N , where *R* denotes the curvature tensor of N (*f*1, *f*2), while *R* represents the curvature tensors of N . Let us point out now that the Ricci equation in our setting is expressed as

$$\begin{aligned} \mathcal{R}^\perp(X, Y, \xi, \eta) &= \, \_f f\_2[\mathcal{g}(X, J\xi)\mathcal{g}(JY, \eta) - \mathcal{g}(JX, \eta)\mathcal{g}(Y, J\xi)] \\ &- \mathcal{g}([\mathcal{S}\_{\overline{\xi}}, \mathcal{S}\_{\eta}]X, Y) \, \_\ast \end{aligned} \tag{3}$$

for all vector fields *X*,*Y* tangent to N and *ξ*, *η* normal to N .

If N is a submanifold of real dimension *n* in a generalized complex space form N (*f*1, *f*2) of complex dimension *m*, then, for any *X* ∈ *T*N , we have the decomposition *JX* = *PX* + *QX*, where *P* and *Q* denote the tangential component and the normal component of *JX*, respectively. We recall that, in the case *P* = 0, the submanifold N is called anti-invariant, while, in the case f *Q* = 0, the submanifold N is called invariant.

Now, let {*<sup>e</sup>*1, ... ,*en*} be a tangent orthonormal frame on N and let {*ξ*1, ... , *ξ*<sup>2</sup>*m*−*<sup>n</sup>*} be a normal orthonormal frame on N . Then, the squared norm of *P* at *p* ∈ N is defined as

$$\left\|\left\|P\right\|\right\|^2 = \sum\_{i,j=1}^n g^2(Pe\_i, e\_j)\_\* \tag{4}$$

while the mean curvature vector field is given by

$$\mathcal{H} = \frac{1}{n} \sum\_{i=1}^{n} h(e\_i, e\_i). \tag{5}$$

We also set

$$h\_{ij}^r = \emptyset(h(e\_i, e\_j), \xi\_r), \ i, j = 1, \dots, n, \ r = 1, \dots, 2m - n. \tag{6}$$

and

$$\left\|\left\|h\right\|\right\|^2 = \sum\_{i,j=1}^n \lg(h(e\_i, e\_j), h(e\_i, e\_j)).\tag{7}$$

## **3. Generalized Wintgen Inequality for Lagrangian Submanifolds in Generalized Complex Space Form**

Let N be a submanifold of real dimension *n* in a generalized complex space form N (*f*1, *f*2) of complex dimension *m*. In the following, let {*<sup>e</sup>*1, ... ,*en*} and {*ξ*1, ... , *ξ*<sup>2</sup>*m*−*<sup>n</sup>*} be tangent orthonormal frame and normal orthonormal frame on N , respectively. If we denote by *K* the sectional curvature function and by *τ* the scalar curvature, then the normalized scalar curvature *ρ* of N can be expressed as [8]

$$\rho = \frac{2\pi}{n(n-1)} = \frac{2}{n(n-1)} \sum\_{1 \le i < j \le n} \mathbb{K}(\varepsilon\_i \wedge \varepsilon\_j). \tag{8}$$

On the other hand, the normalized normal scalar curvature of N is given by [8]

$$\rho^{\perp} = \frac{2\tau^{\perp}}{n(n-1)} = \frac{2}{n(n-1)}\sqrt{\sum\_{1 \le i < j \le n} \sum\_{1 \le r < s \le 2m-n} (\mathcal{R}^{\perp}(\varepsilon\_i, \varepsilon\_j, \mathfrak{z}\_r, \mathfrak{z}\_s))^2},\tag{9}$$

where *R*<sup>⊥</sup> denotes the normal curvature tensor on N .

The scalar normal curvature of N can be defined following [31] as

$$\mathcal{K}\_N = \frac{1}{4} \sum\_{r,s=1}^{2m-n} (Trace[S\_{r\prime} S\_s])^2. \tag{10}$$

Now, the normalized scalar normal curvature can be defined with the help of K *N* by [8]

$$
\rho\_N = \frac{2}{n(n-1)}\sqrt{\mathcal{K}\_N}.
$$

Obviously

$$\begin{array}{rcl}\mathcal{K}\_{N} &=& \frac{1}{2} \sum\_{1 \le r < s \le 2m - n} \left( \operatorname{Trace} [\mathcal{S}\_{r}, \mathcal{S}\_{s}] \right)^{2} \\ &=& \sum\_{1 \le r < s \le 2m - n} \sum\_{1 \le i < j \le n} \left( \operatorname{g} \left( [\mathcal{S}\_{r}, \mathcal{S}\_{s}] \mathcal{e}\_{i}, \mathcal{e}\_{j} \right) \right)^{2} . \end{array} \tag{11}$$

It is easy to verify now that K *N* can be expressed by

$$\mathcal{K}\_N = \sum\_{1 \le r < s \le 2m - n} \sum\_{1 \le i < j \le n} \left( \sum\_{k=1}^n h\_{jk}^r h\_{ik}^s - h\_{jk}^s h\_{ik}^r \right)^2. \tag{12}$$

Among the classes of submanifolds in complex geometry, we can distinguish two fundamental families depending on the behavior of *J*: holomorphic and totally real submanifolds. A submanifold N of a generalized complex space form N (*f*1, *f*2) is said to be a holomorphic submanifold if each tangent space of N is carried into itself by *J*, i.e., *J*(*Tp*N ) ⊂ *Tp*N , for all *p* ∈ N . Similarly, the submanifold N is called a totally real submanifold if *J* maps each tangent space of N into the normal space, i.e., *J*(*Tp*N ) ⊂ *T*<sup>⊥</sup> *p* N , for all *p* ∈ N . In particular, if *n* = *m*, then N is said to be a Lagrangian submanifold.

> Next, we prove the following lemma, which is required in the proof of the main result of this section.

**Lemma 1.** *Let* N *be a totally real submanifold of dimension n in a generalized complex space form* N (*f*1, *f*2) *of complex dimension m. Then, we have*

$$\rho\_N \le \varepsilon \quad \|\mathcal{H}\|^2 - \rho + f\_1,\tag{13}$$

*and the equality holds at a point p* ∈ N *if and only if the shape operator S of* N *in* N (*f*1, *f*2) *with respect to some suitable orthonormal bases* {*<sup>e</sup>*1,...,*en*} *of Tp*N *and* {*ξ*1,..., *ξ*<sup>2</sup>*m*−*<sup>n</sup>*} *of T*⊥*p* N *takes the following forms*

$$S\_{\tilde{\xi}\_1} = \begin{pmatrix} \gamma\_1 & \nu & 0 & \dots & 0 \\ \nu & \gamma\_1 & 0 & \dots & 0 \\ 0 & 0 & \gamma\_1 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_1 \end{pmatrix},$$

$$S\_{\mathfrak{F}\_2} = \begin{pmatrix} \gamma\_2 + \nu & 0 & 0 & \dots & 0 \\ 0 & \gamma\_2 - \nu & 0 & \dots & 0 \\ 0 & 0 & \gamma\_2 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_2 \end{pmatrix},$$

$$\mathbf{S}\_{\mathbb{S}\_3} = \begin{pmatrix} \gamma\_3 & 0 & 0 & \dots & 0 \\ 0 & \gamma\_3 & 0 & \dots & 0 \\ 0 & 0 & \gamma\_3 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_3 \end{pmatrix}, \quad \mathbf{S}\_{\mathbb{S}\_4} = \dots = \mathbf{S}\_{\mathbb{S}\_{2m-n}} = \mathbf{0}\_n$$

*where γ*1, *γ*2, *γ*3*, and ν are real functions on* N *.*

**Proof.** We know that

$$\begin{split} \|m^2\|\mathcal{H}\|^2 &= \sum\_{r=1}^{2m-n} \left(\sum\_{i=1}^n h\_{ii}^r\right)^2 \\ &= \sum\_{n-1}^1 \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} (h\_{ii}^r - h\_{jj}^r)^2 \\ &+ \frac{2n}{n-1} \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} h\_{ii}^r h\_{jj}^r. \end{split} \tag{14}$$

> Further, from [6], we have

$$\sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} (h\_{ii}^r - h\_{jj}^r)^2 + 2n \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} (h\_{ij}^r)^2$$

$$\ge 2n \left[ \sum\_{1 \le r < s \le 2m-n} \sum\_{1 \le i < j \le n} \left( \sum\_{k=1}^n (h\_{jk}^r h\_{ik}^s - h\_{ik}^r h\_{jk}^s) \right)^2 \right]^{\frac{1}{2}}.\tag{15}$$

Now, combining Equations (12), (14) and (15), we find

$$n^2\|\mathcal{H}\|^2 - n^2\rho\_N \ge \frac{2n}{n-1} \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2].\tag{16}$$

In addition, due to the fact that N is a totally real submanifold, we ge<sup>t</sup> from Equation (2):

$$\tau\_{\perp} = \frac{n(n-1)}{2} f\_1 + \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2]. \tag{17}$$

Next, using Equations (8) and (17) in Equation (16), we obtain the inequality in Equation (13). Moreover, it follows easily that the equality case holds in Equation (13) if and only if the shape operator takes the above stated forms.

Now, we prove the following.

**Theorem 1.** *Let* N *be a Lagrangian submanifold of a generalized complex space form* N (*f*1, *f*2) *of complex dimension n. Then,*

$$\begin{aligned} (\rho^\perp)^2 &\le \quad \left( \|\mathcal{H}\|^2 - \rho + f\_1 \right)^2 \\ &+ \frac{2}{n(n-1)} f\_2^2 + \frac{4f\_2}{n(n-1)} (\rho - f\_1) \end{aligned} \tag{18}$$

*and the equality in Equation* (18) *holds at a point p* ∈ N *if and only if the shape operator takes similar forms as in Lemma 1 with respect to some suitable tangent and normal orthonormal bases.*

**Proof.** Let N be a Lagrangian submanifold of a generalized complex space form N (*f*1, *f*2). We choose {*<sup>e</sup>*1, ... ,*en*} and {*ξ*1 = *Je*1, ... , *ξn* = *Jen*} as orthonormal frame and orthonormal normal frame on N , respectively. Putting *X* = *W* = *ei*, *Y* = *Z* = *ej*, *i* = *j* in Equation (1), we obtain

$$\mathcal{R}(\mathbf{c}\_{i},\mathbf{c}\_{j},\mathbf{c}\_{j},\mathbf{c}\_{i}) \quad = \quad f\_{1}\{\mathbf{g}(\mathbf{c}\_{j},\mathbf{c}\_{j})\mathbf{g}(\mathbf{c}\_{i},\mathbf{c}\_{i}) - \mathbf{g}(\mathbf{c}\_{i},\mathbf{c}\_{j})\mathbf{g}(\mathbf{c}\_{j},\mathbf{c}\_{i})\}. \tag{19}$$

Combining Equations (2) and (19), we derive

$$\begin{split} \mathcal{R}(\mathbf{e}\_{i}, \mathbf{e}\_{j}, \mathbf{e}\_{j}, \mathbf{e}\_{i}) &= \ & f\_{1} \{ \delta\_{\mathrm{ii}} \delta\_{\mathrm{j}j} - \delta\_{\mathrm{ij}}^{2} \} - \mathcal{g}(h(\mathbf{e}\_{i}, \mathbf{e}\_{j}), h(\mathbf{e}\_{j}, \mathbf{e}\_{i})) \\ &+ \mathcal{g}(h(\mathbf{e}\_{i}, \mathbf{e}\_{i}), h(\mathbf{e}\_{j}, \mathbf{e}\_{j})). \end{split} \tag{20}$$

By taking summation for 1 ≤ *i*, *j* ≤ *n* in Equation (20) and making use of Equations (5) and (7), we obtain

$$2\pi = n(n-1)f\_1 + n^2 \|\mathcal{H}\|^2 - \|h\|^2. \tag{21}$$

> Using Equation (8) in Equation (21), we ge<sup>t</sup>

$$\rho = f\_1 + \frac{n}{n-1} \|\mathcal{H}\|^2 - \frac{1}{n(n-1)} \|h\|^2. \tag{22}$$

which implies

$$n^2 \|\mathcal{H}\|^2 - \|h\|^2 = n(n-1)(\rho - f\_1). \tag{23}$$

Further, Equation (3) gives

$$R^\perp(\boldsymbol{e}\_i, \boldsymbol{e}\_j, \boldsymbol{\xi}\_r, \boldsymbol{\xi}\_s) = f\_2\{- (\delta\_{ir}\delta\_{js} - \delta\_{jr}\delta\_{is})\} - \mathbf{g}([\mathbf{S}\_{\boldsymbol{\xi}\_{r'}}, \mathbf{S}\_{\boldsymbol{\xi}\_s}] \mathbf{e}\_i, \mathbf{e}\_j),\tag{24}$$

for any indices *i*, *j*,*r*,*<sup>s</sup>* ∈ {1, . . . , *<sup>n</sup>*}.

Next, by taking summation for 1 ≤ *r* < *s* ≤ *n* and 1 ≤ *i* < *j* ≤ *n* in Equation (24), we derive easily the following relation:

$$(\tau^\perp)^2 = \frac{n(n-1)}{2}f\_2^2 + \frac{n^2(n-1)^2}{4}\rho\_N^2 - f\_2\|h\|^2 + f\_2 n^2 \|\mathcal{H}\|^2. \tag{25}$$

However, the above Equation (25) can be rewritten as

$$(\rho^\perp)^2 = \frac{2}{n(n-1)}f\_2^2 + \rho\_N^2 - \frac{4f\_2}{n^2(n-1)^2}||h||^2 + \frac{4f\_2}{(n-1)^2}||\mathcal{H}||^2. \tag{26}$$

Now, from Equations (23) and (26), we have

$$(\rho^\perp)^2 = \frac{2}{n(n-1)}f\_2^2 + \rho\_N^2 + \frac{4f\_2}{n(n-1)}(\rho - f\_1). \tag{27}$$

Combining now Equations (13) and (27), we obtain the required inequality and the equality case of the inequality is also clear from Lemma 1.

**Remark 1.** *Theorem 2 generalizes the main result of [8], namely the generalized Wintgen inequality for the class of Lagrangian submanifolds in a complex space form. Indeed, if in the statement of Theorem 2 one particularizes the generalized complex space form by putting f*1 = *f*2 = *c, then* N *reduces to a complex space form and one arrives at ([8] Theorem 2.3).*

#### **4. Generalized Wintgen Inequality for bi-Slant Submanifolds in Generalized Complex Space Form**

A submanifold N of an almost Hermitian manifold (N , *J*, *g*) is said to be a slant submanifold if for any point *p* ∈ N and any non-zero vector *X* ∈ *Tp*N , the angle *θ* between the vector *JX* and the tangent space *Tp*N is constant, i.e., this angle does not depend on the choice of *p* ∈ N and *X* ∈ *Tp*N . Moreover, *θ* ∈ [0, *π*2 ] is called the slant angle of N in N . Recall that both invariant and anti-invariant submanifolds are particular examples of slant submanifolds with slant angle *θ* = 0 and *θ* = *π*2 , respectively. Moreover, if 0 < *θ* < *π*2 , then N is said to be a *θ*-slant submanifold or a proper slant submanifold. It is known that any proper slant submanifold has even dimension. The concept of slant submanifold originally introduced by Chen [32,33] was later generalized as follows.

**Definition 1.** *([34]) A submanifold* N *of an almost Hermitian manifold* N *is said to be a bi-slant submanifold, if there exist two orthogonal distributions D*1 *and D*2*, such that:*

*(i) T*N *admits the orthogonal direct decomposition:*

$$TN = D\_1 \oplus D\_2.$$

*(ii) JD*1 ⊥ *D*2 *and JD*2 ⊥ *D*1*.*

*(iii) For i* = 1, 2*, the distribution Di is slant with slant angle θi.*

It is easy to see that the class of bi-slant submanifolds of almost Hermitian manifolds naturally englobes not only the class of slant submanifolds, but also the classes of semi-slant submanifolds [35], hemi-slant submanifolds [36], and CR-submanifolds [37], as synthesized in ([38] Table 1).

In the following, let us denote *d*1 = *dimD*1 and *d*2 = *dimD*2. We say that a bi-slant submanifold N of an almost Hermitian manifold N with slant angles *θ*1 and *θ*2, respectively, is a proper bi-slant submanifold if *d*1*d*2 = 0 and 0 < *θi* < *π*2 , for *i* = 1, 2. If N is a proper bi-slant submanifold in a generalized complex space form N (*f*1, *f*2), then one can check that

$$\sum\_{i,j=1}^{n} g^2(Je\_i, e\_j) = (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2). \tag{28}$$

Now, we state and prove the generalized Wintgen inequality for proper bi-slant submanifolds in generalized complex space forms.

**Theorem 2.** *Let* N *be a proper bi-slant submanifold of dimension n in a generalized complex space form* N (*f*1, *f*2) *of complex dimension m, with slant angles θ*1, *θ*2 *and di* = *dimDi, i* = 1, 2*. Then,*

$$\begin{aligned} \rho\_N &\le \quad \|\mathcal{H}\|^2 - \rho + f\_1 \\ &+ \frac{3f\_2}{n(n-1)}(d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2). \end{aligned} \tag{29}$$

**Proof.** Let {*<sup>e</sup>*1, ... ,*en*−1,*en*} be an orthonormal frame on N and {*ξ*1, ... , *ξ*<sup>2</sup>*m*−*<sup>n</sup>*} be a normal orthonormal frame on N .

Equation (2) can be re-written in view of Equation (1) as

$$\begin{aligned} R(\mathbf{X},\mathbf{Y},\mathbf{Z},\mathbf{W}) &= \, \_1f\_1(\mathbf{g}(\mathbf{Y},\mathbf{Z})\mathbf{g}(\mathbf{X},\mathbf{W}) - \mathbf{g}(\mathbf{X},\mathbf{Z})\mathbf{g}(\mathbf{Y},\mathbf{W})) \\ &+ f\_2(\mathbf{g}(\mathbf{X},\mathbf{J}\mathbf{Z})\mathbf{g}(\mathbf{J}\mathbf{Y},\mathbf{W}) - \mathbf{g}(\mathbf{Y},\mathbf{J}\mathbf{Z})\mathbf{g}(\mathbf{J}\mathbf{X},\mathbf{W}) \\ &+ 2\mathbf{g}(\mathbf{X},\mathbf{J}\mathbf{Y})\mathbf{g}(\mathbf{J}\mathbf{Z},\mathbf{W})) \\ &- \mathbf{g}(\mathbf{h}(\mathbf{X},\mathbf{Z}),\mathbf{h}(\mathbf{Y},\mathbf{W})) + \mathbf{g}(\mathbf{h}(\mathbf{X},\mathbf{W}),\mathbf{h}(\mathbf{Y},\mathbf{Z})) \end{aligned} \tag{30}$$

and this implies

$$\begin{split} \tau &= \sum\_{1 \le i < j \le n} R(e\_i, e\_j, e\_j, e\_i) \\ &= \frac{n(n-1)}{2} f\_1 + \frac{3}{2} f\_2 \sum\_{1 \le i < j \le n} g^2(I e\_j, e\_i) \\ &+ \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2] \\ &= \frac{n(n-1)}{2} f\_1 + \frac{3}{2} f\_2 (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) \\ &+ \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2]. \end{split} \tag{31}$$

However, we know from the proof of Lemma 1 that

$$n^2\|\mathcal{H}\|^2 - n^2\rho\_N \ge \frac{2n}{n-1} \sum\_{r=1}^{2m-n} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2]. \tag{32}$$

Combining Equations (31) and (32), we find

$$\begin{aligned} \rho\_N &\le \quad \|\mathcal{H}\|^2 - (\rho - f\_1) \\ &+ \frac{3f\_2}{n(n-1)} (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) \end{aligned} \tag{33}$$

and the proof is now complete.

**Remark 2.** *If in the statement of the above theorem one takes f*1 = *f*2 = *c, then* N *reduces to a complex space form and we can immediately see that Theorem 2 generalizes the generalized Wintgen inequality for the class of proper slant submanifolds in a complex space form, namely ([8] Theorem 3.1).*

#### **5. Generalized Wintgen Inequalities for Submanifolds in Generalized Sasakian Space Form**

Let N be an almost contact metric manifold of dimension (<sup>2</sup>*m* + <sup>1</sup>), equipped with the almost contact structure (*φ*, *ξ*, *η*, *g*). Then, it is known that the (1, 1) tensor field *φ*, the structure vector field *ξ*, the 1-form *η*, and the Riemannian metric *g* on N verify the compatibility relations

$$\begin{aligned} \phi^2 &= -I + \eta \otimes \xi, & \eta(\xi) &= 1, \\ \mathcal{g}(\phi X, \phi Y) &= \mathcal{g}(X, Y) - \eta(X)\eta(Y). \end{aligned}$$

These conditions also imply that [39]

$$\phi \mathfrak{g}^{\mathfrak{x}} = 0, \qquad \eta \,(\phi X) = 0, \qquad \eta \,(X) = \mathfrak{g}(X, \mathfrak{g})$$

and

$$
\mathcal{g}(\phi X, Y) + \mathcal{g}(X, \phi Y) = 0,
$$

for all vector fields *X*,*Y* on N . Let (N , *φ*, *ξ*, *η*, *g*) be an almost contact metric manifold whose curvature tensor satisfies

$$\begin{aligned} \overline{R}(X,Y)Z &= \, \_1f\_1(\operatorname{g}(Y,Z)X - \operatorname{g}(X,Z)Y) \\ &+ f\_2\{\operatorname{g}(X,\operatorname{\phi}Z)\boldsymbol{\phi}Y - \operatorname{g}(Y,\operatorname{\phi}Z)\boldsymbol{\phi}X + 2\operatorname{g}(X,\operatorname{\phi}Y)\boldsymbol{\phi}Z\} \\ &+ f\_3\{\eta(X)\eta(Z)Y - \eta(Y)\eta(Z)X + \operatorname{g}(X,Z)\eta(Y)\boldsymbol{\xi}} \\ &- \operatorname{g}(Y,Z)\eta(X)\boldsymbol{\xi}\}, \end{aligned} \tag{34}$$

for all vector fields *X*,*Y*, *Z* on N , where *f*1, *f*2, *f*3 are differentiable functions on N . Then, N (*f*1, *f*2, *f*3) is said to be a generalized Sasakian space form. It is important to outline that the generalized Sasakian space forms are an umbrella of the following well known spaces:


For definitions, basic results, and examples of such spaces, the readers are referred to the monographs [39,40].

A Riemannian manifold N isometrically immersed in an almost contact metric manifold (N , *φ*, *ξ*, *η*, *g*)) is called a *C*-totally real submanifold of N if the structure vector field *ξ* is a normal vector field on N . As an immediate consequence of the definition of a *C*-totally real submanifold, we deduce that *φ* maps any tangent space of N into the normal space. We recall that, if the dimension of the *C*-totally real submanifold N is *n* = *dim*N −1 2 , then N is said to be a Legendrian submanifold. Notice that Legendrian submanifolds are the counterpart in odd dimension of Lagrangian submanifolds investigated in Section 3.

The first aim of this section is to obtain the generalized Wintgen inequality for Legendrian submanifolds in generalized Sasakian space forms. Similar to the case of Lemma 1, we can prove the following.

**Lemma 2.** *Let* N *be a C-totally real submanifold of dimension n in a generalized Sasakian space form* N (*f*1, *f*2, *f*3) *of dimension* (<sup>2</sup>*m* + 1)*. Then, we have*

$$\rho\_N \quad \le \quad \|\mathcal{H}\|^2 - \rho + f\_{1\prime} \tag{35}$$

*with the equality case holding at p* ∈ N *if and only if the shape operator S of* N *in* N (*f*1, *f*2, *f*3) *with respect to some suitable orthonormal bases* {*<sup>e</sup>*1,...,*en*} *of Tp*N *and* {*ξ*1,..., *ξ*<sup>2</sup>*m*−*n*+<sup>1</sup>} *of T*<sup>⊥</sup> *p* N *takes the following forms*

$$\mathcal{S}\_{\tilde{\xi}\_1} = \left( \begin{array}{cccc} \gamma\_1 & \nu & 0 & \dots & 0 \\ \nu & \gamma\_1 & 0 & \dots & 0 \\ 0 & 0 & \gamma\_1 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_1 \end{array} \right),$$

$$\begin{aligned} S\_{\vec{\xi}\_2} &= \begin{pmatrix} \gamma\_2 + \nu & 0 & 0 & \dots & 0 \\ 0 & \gamma\_2 - \nu & 0 & \dots & 0 \\ 0 & 0 & \gamma\_2 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_2 \end{pmatrix}, \\\\ S\_{\vec{\xi}\_3} &= \begin{pmatrix} \gamma\_3 & 0 & 0 & \dots & 0 \\ 0 & \gamma\_3 & 0 & \dots & 0 \\ 0 & 0 & \gamma\_3 & \dots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \dots & \gamma\_3 \end{pmatrix}, \quad S\_{\vec{\xi}\_4} = \dots = S\_{\vec{\xi}\_{2n-n+1}} = 0, \end{aligned}$$

*where γ*1, *γ*2, *γ*3*, and ν are real functions on* N *.*

*<sup>S</sup>ξ*3

Next, we can state a generalized Wintgen-type inequality for Legendrian submanifolds in a generalized Sasakian ambient.

**Theorem 3.** *If* N *is a Legendrian submanifold of a* (<sup>2</sup>*n* + 1)*-dimensional generalized Sasakian space form* N (*f*1, *f*2, *f*3)*, then*

$$(\rho^\perp)^2 \quad \le \quad \left( \|\mathcal{H}\|^2 - \rho + f\_1 \right)^2 + \frac{2}{n(n-1)} f\_2^2$$

$$+ \frac{4f\_2}{n(n-1)} (\rho - f\_1) \tag{36}$$

*and the equality holds at a point p* ∈ N *if and only if the shape operator takes the forms as in Lemma 2 with respect to some suitable tangent and normal orthonormal bases.*

**Proof.** Let {*<sup>e</sup>*1, ... ,*en*} be an orthonormal frame on N . Due to the fact that N is a Legendrian submanifold of N , it follows that {*ξ*1 = *φ<sup>e</sup>*1, ... , *ξn* = *φen*, *ξn*+<sup>1</sup> = *ξ*} is an orthonormal frame in the normal bundle of N . Next, the proof is similar to the one of Theorem 2, being based on Lemma 2 instead of Lemma 1, so we omit it.

**Remark 3.** *We note that function f*3 *does not appear in the generalized Wintgen inequality in Equation* (36) *for a Legendrian submanifold* N *in a generalized Sasakian space form* N (*f*1, *f*2, *f*3)*. This is a consequence of the fact that ξ is normal to* N *. However, for a submanifold tangent to the structure vector field ξ, the corresponding generalized Wintgen inequality will depend on f*<sup>3</sup>*, as we can see in the second part of this section.*

**Remark 4.** *Theorem 3 generalizes the main result of [9], namely the generalized Wintgen inequality for the class of Legendrian submanifolds in a Sasakian space form. Actually, if in the statement of Theorem 3, one considers f*1 = *c*+3 4 *and f*2 = *f*3 = *<sup>c</sup>*−1 4 *, then* N *reduces to a Sasakian space form and Theorem 3 becomes nothing but ([9] Theorem 3.2).*

**Corollary 1.** *Let* N *be a Legendrian submanifold of a* (<sup>2</sup>*n* + 1)*-dimensional Kenmotsu space form* N (*c*)*. Then*

$$\begin{aligned} (\rho^\perp)^2 &\le \quad \left( \|\mathcal{H}\|^2 - \rho + \frac{c-3}{4} \right)^2 + \frac{(c+1)^2}{8n(n-1)}\\ &+ \frac{c+1}{n(n-1)} \left( \rho - \frac{c-3}{4} \right) \end{aligned} \tag{37}$$

*and the equality holds at a point p* ∈ N *if and only if the shape operator takes the forms as in Lemma 2 with respect to some suitable tangent and normal orthonormal bases.*

**Proof.** The proof follows immediately from Theorem 3 by replacing *f*1 = *<sup>c</sup>*−3 4 and *f*2 = *f*3 = *c*+1 4 .

**Corollary 2.** *Let* N *be a Legendrian submanifold of a* (<sup>2</sup>*n* + 1)*-dimensional cosymplectic space form* N (*c*)*. Then,*

$$\begin{aligned} (\rho^\perp)^2 &\le \quad \left( \|\mathcal{H}\|^2 - \rho + \frac{c}{4} \right)^2 + \frac{c^2}{8n(n-1)}\\ &+ \frac{c}{n(n-1)} \left( \rho - \frac{c}{4} \right) \end{aligned} \tag{38}$$

*and the equality holds at a point p* ∈ N *if and only if the shape operator takes the forms as in Lemma 2 with respect to some suitable tangent and normal orthonormal bases.*

**Proof.** The proof follows immediately from Theorem 3 by putting *f*1 = *f*2 = *f*3 = *c*4 .

**Remark 5.** *We note that the proof of Theorem 3.3 of [41] contains an error. Consequently, Theorem 3.3 of [41] must be replaced by Corollary 1 of the present article.*

In 1996, Lotta [42] introduced the notion of slant submanifold in almost contact geometry as follows. A submanifold N of an almost contact metric manifold (N , *φ*, *ξ*, *η*, *g*) tangent to the structure vector field *ξ* is said to be a contact slant submanifold if, for any point *p* ∈ N and any vector *X* ∈ *Tp*N linearly independent on *ξ p*, the angle between the vector *φX* and the tangent space *Tp*N is constant. This constant, usually denoted by *θ*, is said to be the slant angle of N . We recall that invariant and anti-invariant submanifolds are particular examples of slant submanifolds with slant angle *θ* = 0 and *θ* = *π*2 , respectively. A contact slant submanifold is said to be *θ*-slant or proper if 0 < *θ* < *π*2 . Notice that ([42] Theorem 3.3) implies the dimension of a contact slant submanifold tangent to the structure vector field *ξ* and with slant angle *θ* = *π*2is odd. The concept of contact slant submanifold is further generalized as follows.

**Definition 2.** *[43] A submanifold* N *of an almost contact metric manifold* N *is said to be a bi-slant submanifold, if there exist two orthogonal distributions D*1 *and D*2 *on* N *, such that:*

*(i) T*N *admits the orthogonal direct decomposition T*N = *D*1 ⊕ *D*2 ⊕ *ξ.(ii) JD*1 ⊥ *D*2 *and JD*2 ⊥ *D*1*.*

*(iii) For i=1,2, the distribution Di is slant with slant angle θi.*

In the following, we denote by *di* the dimension of the distribution *Di*, *i* = 1, 2. It is easy to check that, similar to in the case of complex geometry, the class of bi-slant submanifolds of almost contact metric manifolds naturally includes not only the class of slant submanifolds, but also the classes of semi-slant submanifolds [44], hemi-slant submanifolds (also named pseudo-slant submanifolds) [45], and contact CR-submanifolds (also known as semi-invariant submanifolds) [46]. For definitions and basic properties

of the above classes of submanifolds, see also [47]. We only recall here that a bi-slant submanifold is called proper if *d*1*d*2 = 0 and the slant angles *θ*1, *θ*2 = 0, *π*2 . Notice that various examples of proper bi-slant submanifolds in almost contact metric manifolds can be found in [43,44,48].

Next, we focus on the second aim of this section, that is to derive a generalized Wintgen-type inequality for bi-slant submanifolds in generalized Sasakian space form.

**Theorem 4.** *Let* N *be a proper bi-slant submanifold of dimension n in a generalized Sasakian space form* N (*f*1, *f*2, *f*3) *of dimension* (<sup>2</sup>*m* + <sup>1</sup>)*, with slant angles θ*1, *θ*2 *and dimDi* = *di, i* = 1, 2*. Then,*

$$\begin{aligned} \rho\_N &\le \quad \|\mathcal{H}\|^2 - \rho + f\_1 \\ &+ \frac{3f\_2}{n(n-1)}(d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) - \frac{2}{n} f\_3. \end{aligned} \tag{39}$$

**Proof.** First, we remark that the definition of a bi-slant submanifold implies that *d*1 + *d*2 + 1 = *n*. Next, let {*<sup>e</sup>*1, ... ,*ed*1 ,*ed*1+1, ... ,*ed*1+*d*2 ,*en* = *ξ*} be an orthonormal frame on N and {*ξ*1, ... , *ξ*<sup>2</sup>*m*−*n*+<sup>1</sup>} be a normal orthonormal frame on N .

Using Equations (2) and (34), we obtain

$$\begin{array}{ll} \mathsf{T} &=& \sum\_{1 \le i < j \le n} R(e\_i, e\_j, e\_j, e\_i) \\ &=& \frac{n(n-1)}{2} f\_1 + \frac{3}{2} f\_2 (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) \\ &+ (1-n) f\_3 + \sum\_{r=1}^{2n-n+1} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2]. \end{array} \tag{40}$$

However, as in the proof of Lemma 1, we ge<sup>t</sup>

$$n^2 \|\mathcal{H}\|^2 - n^2 \rho\_N \ge \frac{2n}{n-1} \sum\_{r=1}^{2m-n+1} \sum\_{1 \le i < j \le n} [h\_{ii}^r h\_{jj}^r - (h\_{ij}^r)^2]. \tag{41}$$

Combining now Equations (40) and (41), we obtain Equation (44) and the conclusion follows.

As immediate consequences of Theorem 4, we derive the following results.

**Corollary 3.** *Let* N *be a proper bi-slant submanifold of dimension n in a Sasakian space form* N (*c*) *of dimension* (<sup>2</sup>*m* + <sup>1</sup>)*, with slant angles θ*1, *θ*2 *and dimDi*= *di, i* = 1, 2*. Then,*

$$\begin{aligned} \rho\_N &\le \quad \|\mathcal{H}\|^2 - \rho + \frac{c+3}{4} \\ &+ \frac{3(c-1)}{4n(n-1)} (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) - \frac{c-1}{2n}. \end{aligned} \tag{42}$$

**Corollary 4.** *Let* N *be a proper bi-slant submanifold of dimension n in a Kenmotsu space form* N (*c*) *of dimension* (<sup>2</sup>*m* + <sup>1</sup>)*, with slant angles θ*1, *θ*2 *and dimDi* = *di, i* = 1, 2*. Then,*

$$\begin{aligned} \rho\_N &\le \quad \|\mathcal{H}\|^2 - \rho + \frac{c-3}{4} \\ &+ \frac{3(c+1)}{4n(n-1)} (d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) - \frac{c+1}{2n}. \end{aligned} \tag{43}$$

**Corollary 5.** *Let* N *be a proper bi-slant submanifold of dimension n in a cosymplectic space form* N (*c*) *of dimension* (<sup>2</sup>*m* + <sup>1</sup>)*, with slant angles θ*1, *θ*2 *and dimDi* = *di, i* = 1, 2*. Then,*

$$\begin{aligned} \left\|\rho\_N\right\| &\le \left\|\mathcal{H}\right\|^2 - \rho + \frac{c}{4} \\ &+ \frac{3c}{4n(n-1)}(d\_1 \cos^2 \theta\_1 + d\_2 \cos^2 \theta\_2) - \frac{c}{2n} .\end{aligned} \tag{44}$$

**Remark 6.** *Corollary 3 generalizes Theorem 4.1 of [9].*

**Remark 7.** *We note that the authors of [8,9] provided non-trivial examples of Lagrangian and Legendrian submanifolds satisfying the equality case of the corresponding Wintgen-type inequalities stated in this paper, because the shape operators have the appropriate form (see also [49]).*

#### **6. The First Fundamental Equation of Generalized Space Forms**

For a given Riemannian manifold (N , *g*), let us denote by ∇ the Levi–Civita connection of the metric *g* and by *R* the curvature tensor of ∇. We consider the differential operator *D* ∇ defined in the tangent vector bundle *T*N with values belonging to the vector bundle *hom*(⊗2*T*N , *T*N ). Hence, for a given vector field *X* on N , we have that *D* ∇(*X*) is a section of the vector bundle *T*N ⊗ *T*∗⊗<sup>2</sup>N defined by

$$D\_{\nabla}(X) = \nabla^2 X.$$

Obviously, the complete expression is

$$D\_{\nabla}(X)(Y, Z) = \nabla\_Y \nabla\_Z X - \nabla\_{\nabla\_Y Z} X, \; \forall Y, Z \in \mathcal{X}(M).$$

We recall now that the first fundamental equation of (N , ∇) is the second-order differential equation [50]

$$D\_{\nabla}(X) = 0.\tag{45}$$

In the following, we denote by J∇ the sheaf of germs of solutions to Equation (45) and by *J* ∇ the vector space of sections of J∇.

We would like to investigate next the consequences of the condition *dim* J∇ > 0, i.e., the first fundamental in Equation (45) admits non-null solutions, on the geometry and topology of generalized complex space forms and generalized Sasakian space forms. Before answering the above question, we need the following.

**Proposition 1.** *Let* ∇ *be the Levi–Civita connection of a Riemannian metric g on a manifold* N *. If Z is a solution to the first fundamental equation of* (N , ∇)*, then one has*

*(i) <sup>R</sup>*(*<sup>X</sup>*,*<sup>Y</sup>*)*<sup>Z</sup>* = 0*, (ii) <sup>R</sup>*(*<sup>X</sup>*, *Z*)*Y* = 0*,*

*for all vector fields X*,*Y on M.*

**Proof.** (i) If *Z* is a solution to the first fundamental equation of (N , ∇), then

$$D\_{\nabla}(Z)(X,Y) = \overline{\nabla}\_X \overline{\nabla}\_Y Z - \overline{\nabla}\_{\nabla\_X Y} Z = 0,\tag{46}$$

for all vector fields *X*,*Y* on *M*.

> However, since the connection ∇ is torsion-free, we can express its Riemann curvature tensor *R* by

$$
\overline{R}(X,Y)Z = D\_{\overline{\nabla}}(Z)(X,Y) - D\_{\overline{\nabla}}(Z)(Y,X). \tag{47}
$$

Consequently, from Equations (46) and (47), we derive *<sup>R</sup>*(*<sup>X</sup>*,*<sup>Y</sup>*)*<sup>Z</sup>* = 0. (ii) Using (i) and the Bianchi identity, one has

$$
\overline{R}(Z,X)Y = \overline{R}(Z,Y)X.\tag{48}
$$

Then, we have

$$\begin{aligned} \mathcal{g}(\overline{\mathcal{R}}(Z,X)Y,\mathcal{W}) &= -\mathcal{g}(Y,\overline{\mathcal{R}}(Z,X)\mathcal{W}) \\ &= -\mathcal{g}(Y,\overline{\mathcal{R}}(Z,\mathcal{W})X) \\ &= \mathcal{g}(\overline{\mathcal{R}}(Z,\mathcal{W})Y,X) \\ &= \mathcal{g}(\overline{\mathcal{R}}(Z,Y)\mathcal{W},X) \\ &= -\mathcal{g}(W,\overline{\mathcal{R}}(Z,Y)X) \\ &= -\mathcal{g}(W,\overline{\mathcal{R}}(Z,X)Y) \\ &= -\mathcal{g}(\overline{\mathcal{R}}(Z,X)Y,\mathcal{W}), \end{aligned} \tag{49}$$

which implies

> *g*(*R*(*<sup>Z</sup>*, *<sup>X</sup>*)*<sup>Y</sup>*, *W*) = 0

and the conclusion is now clear.

**Theorem 5.** *Let* N (*f*1, *f*2) *be a generalized complex space form of real dimension* 2*m* > 2*. If dim*J∇ > 0*, then* N *is flat. Moreover,* N *admits a normal Riemannian covering by a flat* 2*m-dimensional torus, provided that the manifold is compact and connected.*

**Proof.** Let *Z* be a non-null solution of the first fundamental equation of (N (*f*1, *f*2), ∇), where ∇ is the Levi–Civita connection on N (*f*1, *f*2). Then, using Equation (1) and Proposition 1 (i), we ge<sup>t</sup>

$$f\_1 \{ \mathbf{g}(\mathbf{Z}, \mathbf{Y}) \mathbf{X} - \mathbf{g}(\mathbf{Z}, \mathbf{X}) \mathbf{Y} \}$$

$$+ f\_2 \{ \mathbf{g}(\mathbf{J} \mathbf{Z}, \mathbf{X}) \} \mathbf{Y} - \mathbf{g}(\mathbf{J} \mathbf{Z}, \mathbf{Y}) \mathbf{J} \mathbf{X} \} = -2f\_2 \mathbf{g}(\mathbf{X}, \mathbf{J} \mathbf{Y}) \mathbf{J} \mathbf{Z},\tag{50}$$

for all vector fields *X*,*Y* on N .

> In addition, using Equation (1) and Proposition 1 (ii), we obtain

$$f\_1 \lg(\mathbf{Z}, \mathbf{Y}) \mathbf{X} + f\_2 \{2\lg(\mathbf{X}, \mathbf{J}\mathbf{Z})\} \mathbf{Y} - \lg(\mathbf{Z}, \mathbf{J}\mathbf{Y}) \mathbf{J}\mathbf{X}\}$$

$$\mathbf{f} = f\_1 \lg(\mathbf{X}, \mathbf{Y}) \mathbf{Z} - f\_2 \lg(\mathbf{X}, \mathbf{J}\mathbf{Y}) \mathbf{J}\mathbf{Z}.\tag{51}$$

Replacing now *X* = *Z* and *Y* = *JZ* in Equation (50), we derive:

$$(f\_1 + \mathfrak{H}\_2)\mathfrak{g}(Z, Z)|Z=0$$

and therefore we obtain

$$3f\_2 + f\_1 = 0.\tag{52}$$

> Combining Equations (51) and (52), we ge<sup>t</sup>

$$\begin{aligned} f\_2\{-\Im g(\mathbf{X},\mathbf{Y})\mathbf{Z} - \mathbf{g}(\mathbf{X},\mathbf{J}\mathbf{Y})\}\mathbf{Z} \} \\ + f\_2\{\Im g(\mathbf{Z},\mathbf{Y})\mathbf{X} - 2\Im g(\mathbf{X},\mathbf{J}\mathbf{Z})\}\mathbf{Y} + \mathbf{g}(\mathbf{Z},\mathbf{J}\mathbf{Y})\mathbf{J}\mathbf{X}\} = \mathbf{0} \end{aligned} \tag{53}$$

and choosing *Y* = *X* in Equation (53) we derive

$$f\_2\{-\Im g(X,X)Z + \Im g(Z,X)X - \Im g(X, \|Z\|)X\} = 0. \tag{54}$$

Now, because *m* > 1, we can choose a vector field *X* on N subjected to

1. *g*(*<sup>X</sup>*, *JZ*) = 0, 2. *g*(*<sup>X</sup>*, *Z*) = 0,

and therefore Equation (54) yields

$$
\Im \mathcal{G}\_2 \mathcal{G}(X, X) Z = 0. \tag{55}
$$

Thereby,

> *f*2 = 0

and, from Equation (52), we also derive

> *f*1 = 0.

Thus, Equation (1) implies that N is flat and the conclusion follows immediately (see ([51] Theorem 3.3.1)).

**Theorem 6.** *Let* N (*f*1, *f*2, *f*3) *be a generalized Sasakian space form of dimension* 2*m* + 1 > 3*. If the first fundamental equation admits solutions linearly independent on the structure vector field ξ, then* N *is flat. Moreover,* N *admits a normal Riemannian covering by a flat* (<sup>2</sup>*m* + 1)*-dimensional torus, provided that the manifold is compact and connected.*

**Proof.** Let *Z* be a solution to the first fundamental equation of (N (*f*1, *f*2, *f*3), ∇) linearly independent on the structure vector field *ξ*, where ∇ is the Levi–Civita connection on N (*f*1, *f*2, *f*3). Then, using Equation (34) and Proposition 1, we ge<sup>t</sup> the following identities:

$$\begin{aligned} &f\_1\{\mathbf{g}(Y,\mathbf{Z})X - \mathbf{g}(X,\mathbf{Z})Y\} + f\_2\{\mathbf{g}(X,\mathbf{\phi}\mathbf{Z})\boldsymbol{\phi}Y - \mathbf{g}(Y,\boldsymbol{\phi}\mathbf{Z})\boldsymbol{\phi}X\} \\ &+ f\_3\{\boldsymbol{\eta}(X)\boldsymbol{\eta}(Z)Y - \boldsymbol{\eta}(Y)\boldsymbol{\eta}(Z)X\} \\ &= -2f\_2\mathbf{g}(X,\boldsymbol{\phi}Y)\boldsymbol{\phi}Z - f\_3\{\mathbf{g}(X,\mathbf{Z})\boldsymbol{\eta}(Y) - \mathbf{g}(Y,Z)\boldsymbol{\eta}(X)\}\boldsymbol{\xi}, \\ &f\_1\mathbf{g}(Z,Y)X + f\_2\{2\mathbf{g}(X,\boldsymbol{\phi}Z)\boldsymbol{\phi}Y - \mathbf{g}(Z,\boldsymbol{\phi}Y)\boldsymbol{\phi}X\} \\ &- f\_3\boldsymbol{\eta}(Z)\boldsymbol{\eta}(Y)X = f\_1\mathbf{g}(X,Y)Z - f\_2\mathbf{g}(X,\boldsymbol{\phi}Y)\boldsymbol{\phi}Z \\ &- f\_3\{\boldsymbol{\eta}(X)\boldsymbol{\eta}(Y)Z + \mathbf{g}(X,Y)\boldsymbol{\eta}(Z)\boldsymbol{\xi} - \mathbf{g}(Z,\boldsymbol{\chi})\boldsymbol{\eta}(X)\boldsymbol{\xi}\} \end{aligned} \tag{57}$$

for all vector fields *X*,*Y* on N .

> Choosing now in Equation (56) the vector field *X* to be orthogonal to *Z*, *φZ*, and *ξ*, we derive

$$f\_1\{f\_1\mathbf{g}(Y,Z) - f\mathbf{a}\boldsymbol{\eta}(Y)\boldsymbol{\eta}(Z)\}X - f\_2\mathbf{g}(Y,\boldsymbol{\phi}Z)\boldsymbol{\phi}X + 2f\_2\mathbf{g}(X,\boldsymbol{\phi}Y)\boldsymbol{\phi}Z = 0\tag{58}$$

and, particularizing *Y* = *φZ* in Equation (58), one immediately gets

−

$$f\_2 = 0.\tag{59}$$

Therefore, Equations (56) and (57) become

$$\begin{aligned} &f\_1\{\lg(Y,Z)X - \lg(X,Z)Y\} + f\_3\{\eta(X)\eta(Z)Y - \eta(Y)\eta(Z)X\} \\ &= -f\_3\{\lg(X,Z)\eta(Y) - \lg(Y,Z)\eta(X)\}\xi\_{\prime} \end{aligned} \tag{60}$$

$$\begin{aligned} f\_1 \lg(Z, \mathcal{Y}) \mathcal{X} - f\_3 \eta(Z) \eta(\mathcal{Y}) \mathcal{X} &= f\_1 \lg(\mathcal{X}, \mathcal{Y}) \mathcal{Z} \\ -f\_2 \lg(\mathcal{X}) \eta(\mathcal{Y}) \mathcal{Z} + \mathcal{g}(\mathcal{X}, \mathcal{Y}) \eta(\mathcal{Z}) \mathcal{Y} - \mathcal{g}(\mathcal{Z}, \mathcal{Y}) \eta(\mathcal{X}) \mathcal{Y}, \end{aligned} \tag{61}$$

for all vector fields *X*,*Y* on N 

> Similarly, considering in Equation (61) the vector field *X* to be orthogonal to *Z*, *φZ*, and *ξ*, we deduce

=

$$f\_1 \lg(Z, \Upsilon)X + f\_3 \eta(Z)\eta(\Upsilon)X = f\_1 \lg(X, \Upsilon)Z - f\_3 \lg(X, \Upsilon)\eta(Z)\xi \tag{62}$$

and, particularizing *Y* = *X* in Equation (58), one obtains

.

$$f\_1 \mathbb{g}(X,X)Z - f\_3 \mathbb{g}(X,X)\eta(Z)\xi = 0. \tag{63}$$

As *Z* and *ξ* are linearly independent, Equation (63) implies

$$f\_1 = 0\tag{64}$$

and

$$f\_3 \eta(Z) = 0.\tag{65}$$

Now, we have to distinguish two cases. *CaseI:η*(*Z*)=0.Then,it followsfromEquation(65)that

$$f\mathbf{3} = \mathbf{0} \tag{66}$$

and replacing Equations (59), (64), and (66) in Equation (1), we conclude that N is flat. *Case II: η*(*Z*) = 0. Then, taking account of Equation (64), we obtain from Equation (60) that

$$f\_3\{\underline{g}(X,Z)\eta(Y) - \underline{g}(Y,Z)\eta(X)\}\xi = 0.\tag{67}$$

Particularizing now *X* = *Z* and *Y* = *ξ* in Equation (67), one obtains also Equation (66) and therefore we reach again the required conclusion.

**Remark 8.** *Theorems 5 and 6 provide obstructions to the existence of non-flat generalized space forms. Therefore, the existence of non-null solutions for the first fundamental equation of a generalized complex space form* N (*f*1, *f*2) *implies the flatness of this space. On the other hand, the existence of solutions linearly independent on the structure vector field for the first fundamental equation of a generalized Sasakian space form* N (*f*1, *f*2, *f*3) *also implies that its Riemannian curvature tensor vanishes identically.*

**Author Contributions:** Conceptualization, methodology and writing-original manuscript, M.A., M.N.B., M.H.S. and G.-E.V.; project management, supervision and writing-review, M.A., M.N.B., M.H.S. and G.-E.V. All authors contributed equally in this work.

**Funding:** This research received no external funding.

**Conflicts of Interest:** The authors declare no conflict of interest.
