Generalized warped product submanifolds of Lorentzian concircular structure manifolds

1.   Introduction

In the year 2003, Shaikh ^[18] introduced a fascinating mathematical concept known as $(LCS)_n$-manifold, which stands for Lorentzian concircular structure manifold. This concept has profound implications in the field of general relativity. It was subsequently discovered that $(LCS)_n$-spacetimes are intricately connected to generalized Robertson Walker spacetimes ^[10], a well-established framework in cosmology.

The $(LCS)_n$-structure has garnered considerable attention due to its wide-ranging applications in the general theory of relativity. Researchers, as evidenced by studies such as ^[19,20], have explored the various implications and consequences of this structure within the framework of Einstein's theory.

One intriguing property of the $(LCS)_n$-structure is its invariance under conformal transformations. This means that the structure remains unaltered when subjected to a conformal transformation, a mathematical operation that preserves angles but alters distances.

The concept of slant submanifolds was first introduced in the seminal work by Chen ^[3]. Building upon this notion, the idea of slant immersions of Riemannian manifolds into almost contact metric manifolds was further developed by Lotta ^[9]. Pointwise slant submanifolds, another variant of this concept, were introduced and investigated by Etayo ^[7]. For more comprehensive information on these topics, one may read ^[13,17].

To explore additional classes of submanifolds within this manifold framework, researchers are suggested to go through Atehui ^[1] and Hui et al. ^[8].

The notion of warped product manifolds, on the other hand, originated from the pioneering work of Bishop and O'Neill ^[2] and has since been extensively studied in the literature, see ^{[4,5,6,8,14,22,24]}. The existence or non-existence of such product manifolds holds great significance, as it contributes to our understanding of the geometric structures and properties of these manifolds.

2.   Preliminaries

Let $(\bar{\Sigma}, g)$ be an $n$-dimensional Lorentzian manifold with Lorentzian metric $g$ and $\bar{\nabla}$ be the Levi-Civita connection for $g$. The $(LCS)_n$-manifold is defined as an $n$-dimensional Lorentzian manifold equipped with

● $\xi$, a unit timelike concircular vector field,

● $\eta$, $\xi$'s associated $1$-form,

● an $(1, 1)$ tensor field $\phi$,

such that

for some non-zero scalar function $\alpha$ which satisfies

where $\rho = -(\xi\alpha)$ is also a scalar and $P\in \Gamma(T\bar{\Sigma})$. A $(LCS)_n$-manifold becomes a $LP$-Sasakian manifold when $\alpha = 1$ ^[11,12].

From ^[18], we get some basic relations in a $(LCS)_{n}$-manifold $(n > 2)$ $\bar{\Sigma}$:

for all $P, \ Q, \ Z\in\Gamma(T\bar{\Sigma})$. Throughout the paper, we denote a $(LCS)_n$-manifold by $\bar{\Sigma}$.

We consider a submanifold $\Sigma\hookrightarrow \bar{\Sigma}$ with induced metric $g$ and suppose that $\nabla$, $\nabla^{\perp}$ denotes the induced connections on $T\Sigma$ and $T^{\perp}\Sigma$ of $\Sigma$, respectively. In this regard, the Gauss and Weingarten formulae are

and

for all $P, Q\in\Gamma(T\Sigma)$ and $V\in\Gamma(T^{\perp}\Sigma)$, where the second fundamental form is denoted by $\zeta$ and $A_V$ denotes the shape operator (corresponding to $V$) for the immersion $\Sigma\hookrightarrow \bar{\Sigma}$ such that $g(\zeta(P, Q), V) = g(A_{V}P, Q)$.

For $P\in\Gamma(T\Sigma)$, the gradient $\boldsymbol{\nabla}i$ of a differentiable function $i$ on $\Sigma$ is defined by

We also have

for any $P\in \Gamma(T\Sigma)$ and $V\in \Gamma(T^\bot \Sigma)$, where $hP$, $lV$ are the tangential components and $kP, \ fV$ are the normal components.

A submanifold $\Sigma\hookrightarrow\bar{\Sigma}$ is said to be invariant if $\phi(T_p\Sigma)\subseteq T_p\Sigma$ and anti-invariant if $\phi (T_p\Sigma)\subseteq T^\bot_p\Sigma$ for every $p\in \Sigma$.

A submanifold $\Sigma\hookrightarrow\bar{\Sigma}$ is said to be slant if for each non-zero vector $P\in T_p\Sigma$, the angle $\beta (0\leq\beta\leq\frac{\pi}{2})$ between $\phi P$ and $T_p\Sigma$ is a constant, i.e., it is independent of the choice of $p\in \Sigma$. Again $\Sigma$ is said to be pointwise slant of $\bar{\Sigma}$ if $\beta$ depends on $P$.

From ^[21], we find that a submanifold $\Sigma\hookrightarrow\bar{\Sigma}$ with $\xi\in \Gamma(T\Sigma)$ is pointwise slant if and only if

for some real valued function $\beta$ defined on $T\Sigma$. Also if $\mathcal{D}^\beta$ is a pointwise slant distribution on pointwise slant submanifold $\Sigma$ with $\xi\in \Gamma(T\Sigma)$, then

for any $Z, \ W\in\Gamma(\mathcal{D^\beta})$.

Let $(N_1, g_1)$ and $(N_2, g_2)$ be two semi-Riemannian manifolds and $i$ be a positive smooth function on $N_1$. The warped product of $(N_1, g_1)$ and $(N_2, g_2)$ is denoted by $N_1\times_{i}N_2 : = (N_1\times N_2, g)$, where

and $i$ is the warping function. From ^[16], we have

We consider $\Sigma_I, \ \Sigma_\bot, \ \Sigma_\beta,$ and $\Sigma_\psi$ as invariant, anti-invariant, proper slant, and proper pointwise slant submanifolds of $\bar{\Sigma}$. In this paper, we study the following two different classes of warped product submanifolds of $\bar{\Sigma}$.

First Class: $\Sigma = \Sigma_1\times_i\Sigma_\bot$ with $\xi$ tangent to $\Sigma_1$, where $\Sigma_1 = \Sigma_I\times \Sigma_\beta$. This class of submanifolds are known as warped product skew-CR submanifolds ^[15].

Second Class: $\Sigma = \Sigma_2\times_i\Sigma_\psi$ with $\xi$ tangent to $\Sigma_2$, where $\Sigma_2 = \Sigma_I\times \Sigma_\bot$. This class of submanifolds are known as warped product CR-slant submanifolds ^[23,25].

Throughout this paper, we consider the tangent spaces of $\Sigma_I, \ \Sigma_\bot \, , \ \Sigma_\beta, \ \ \text{and}\ \, \Sigma_\psi$ as $\mathcal{D}^I, \ \mathcal{D}^\bot, \ \mathcal{D}^\beta, \ \ \text{and}\ \ \mathcal{D}^\psi$, respectively.

3.   Submanifolds of the First Class

First, we construct an example of a submanifold of the { First Class}.

Example 1. Consider the Euclidean space $\mathbb{R}^{13}$ with the cartesian coordinates $(u_1, v_1, \cdots, u_6, v_6, t)$ and para contact structure

It is clear that ${\mathbb{R}}^{13}$ is a Lorentzian manifold with usual semi-Euclidean metric tensor. For any non-zero $\lambda, \, \tau$, and $\beta\in[0, \frac{\pi}{2}]$, let $\Sigma$ be a submanifold of ${\mathbb{R}}^{13}$ defined by the immersion map $\chi:\mathbb{R}^6 \to \mathbb{R}^{13}$ as

Then the tangent space of $\Sigma$ is spanned by the following vectors

Then we have

Therefore, it is clear that $\mathcal{D}^I = span \{J_4, \ J_5, \ J_6\}$ is an invariant distribution, $\mathcal{D}^\beta = span\{J_1, \ J_2\}$ is a slant distribution with slant angle $\cos^{-1}(\frac{25}{27})$, and $\mathcal{D}^\bot = span \{J_3\}$ is an anti-invaiant distribution. Hence $\Sigma$ is a skew CR-submanifold. Denote the integral manifolds of $\mathcal{D}^I$, $\mathcal{D}^\bot$, and $\mathcal{D}^\beta$ by $\Sigma_I, \, \Sigma_\bot$, and $\Sigma_\beta$, respectively. Then the product metric $g$ of $\Sigma$ is given by

Consequently $\Sigma$ is a warped product skew CR-submanifold of type $\Sigma_1\times_i\Sigma_\bot$ of $\mathbb{R}^{13}$, where $\Sigma_1 = \Sigma_I\times \Sigma_\beta$ with warping function $i = \sqrt{2(\lambda^2+\tau^2)}$.

We take $dim \Sigma_I = 2a+1$, $dim \Sigma_\perp = b$, $dim \Sigma_\beta = 2c$ and their corresponding tangent spaces are $\mathcal{D}^I\oplus\{\xi\}$, $\mathcal{D}^\perp$, and $\mathcal{D}^\beta$, respectively.

Assume that $\{x_1, x_2, \cdots, x_a, x_{a+1} = \phi x_1$, $\cdots, x_{2a} = \phi x_a, x_{2a+1} = \xi\}$, $\{x_{2a+2} = x^{*}_1, \cdots, x_{2a+b+1} = x_b^*\}$, and $\{x_{2a+b+2} = \hat{x}_1, x_{2a+b+3} = \hat{x}_2, \cdots$, $x_{2a+b+c+1} = \hat{x}_c, x_{2a+b+c+2} = \hat{x}_{c+1} = \sec\beta h\hat{x}_1$, $\cdots, x_{2a+b+2c+1}( = x_m) = \hat{x}_{2c} = \sec\beta h\hat{x}_c\}$ are local orthonormal frames of $\mathcal{D}^I \oplus \{\xi\}$, $\mathcal{D}^\bot$, and $\mathcal{D}^\beta$, respectively.

Then the local orthonormal frames for $\phi D^\bot$ and $kD^\beta$ are $\{x_{m+1} = \tilde{x_1} = \phi x_1^*, \cdots, x_{m+b} = \tilde{x_b} = \phi x_b^*\}$ and $\{x_{m+b+1} = \tilde{x}_{b+1} = \csc \beta k \hat{x}_1, \cdots$, $x_{m+b+c} = \tilde{x}_{b+c} = \csc \beta k\hat{x}_c, x_{m+b+c+1} = \tilde{x}_{b+c+1} = \csc\beta \sec\beta kh\hat{x}_1$, $\cdots, x_{m+b+2c} = \tilde{x}_{b+2c} = \csc\beta\sec \beta kh\hat{x}_c \}$, respectively. Also $\{x_{m+b+2c+1}, \cdots, x_{n}\}$ is a normal subbundle. We denote it by $\nu$. Clearly $\nu$ is $\phi$ invariant and $dim\ \nu = (n-m-b-2c)$.

First, we prove the following lemmas:

Lemma 1. Let $\Sigma = \Sigma_1\times_i\Sigma_\bot$ be a warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_1 = \Sigma_I\times \Sigma_\beta$. Then we have

and

for every $P, \ Q\in \Gamma(\Sigma_I)$, $Z\in\Gamma(\Sigma_\perp)$, and $U, V \in \Gamma(\Sigma_\beta)$.

Proof. For $P, \ Q\in \Gamma(\Sigma_I)$, $Z\in\Gamma(\Sigma_\perp)$, and $U, V \in \Gamma(\Sigma_\beta)$, we find

and

Using (2.5) and (2.14) in (3.3)–(3.5), we get (3.1).

Also we have

Using (2.5) and (2.14) in (3.6), we get (3.2). □

Lemma 2. Let $\Sigma = \Sigma_1\times_i\Sigma_\bot$ be a warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_1 = \Sigma_I\times \Sigma_\beta$. Then we have

and

for every $P\in \Gamma(\Sigma_I)$, $Z, \ W\in \Gamma(\Sigma_\perp)$, and $U\in \Gamma(\Sigma_\beta)$.

Proof. For $P\in \Gamma(\Sigma_I)$, $Z, \ W\in\Gamma(\Sigma_\perp)$, and $U\in \Gamma(\Sigma_\beta)$, we find

Using (2.5) and (2.14) in (3.10), we get (3.7). Replacing $P$ by $\phi P$ and applying $(\xi \ln i) = \alpha$ in (3.7), we get (3.8).

Also we have

Using (2.5) and (2.14) in (3.11), we get (3.9). □

Corollary 1. Let $\Sigma = \Sigma_1\times_i\Sigma_\bot$ be a $\mathcal{D}^\bot-\mathcal{D}^\theta$ warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_1 = \Sigma_I\times \Sigma_\beta$, then we have

and

for every $Z, \ W\in \Gamma(\Sigma_\perp)$, and $U\in \Gamma(\Sigma_\beta)$.

Now we establish an inequality on a submanifold $\Sigma$ of the First Class of $\bar{\Sigma}$.

Theorem 1. Let $\Sigma = \Sigma_1\times_i\Sigma_\bot$ be a $\mathcal{D}^\bot-\mathcal{D}^\beta$ mixed geodesic warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_I$, where $\Sigma_1 = \Sigma_I\times \Sigma_\beta$. Then the squared norm of the second fundamental form satisfies

where $\boldsymbol{\nabla}^I\ln i$ and $\boldsymbol{\nabla}^\beta\ln i$ are the gradient of $\ln i$ along $\Sigma_I$ and $\Sigma_\beta$, respectively, and for the case of equality, $\Sigma_1$ becomes totally geodesic and $\Sigma_{\bot}$ becomes totally umbilical in $\bar{\Sigma}$.

Proof. From (2.8), we have

Decomposing the above relation for our constructed frames, we get

Now, again decomposing (3.15) along the normal subbundles $\phi \mathcal{D}^\bot$, $k\mathcal{D}^\beta$, and $\nu$, we get

Now, we can not find any relation for a warped product in the form $g(\zeta(E, F), \nu)$ for any $E, F\in \Gamma(T\Sigma)$. So, we leave the positive third, sixth, ninth, twelfth, fifteenth, and eighteenth terms of (3.16). Also, using Lemma 3.1 and the $\mathcal{D}^\bot-\mathcal{D}^\beta$ mixed geodesic property of $\Sigma$ in (3.16), we get

Also, we have no relation for a warped product of the forms $g(\zeta(Z, W), \phi\mathcal{D}^\bot)$, $g(\zeta(P, Q), k\mathcal{D}^\beta)$, $g(\zeta(P, U), k\mathcal{D}^\beta)$, and $g(\zeta(U, V), k\mathcal{D}^\beta)$ for any $P, \ Q\in \Gamma(\mathcal{D}^I)$ $Z, \ W\in \Gamma(\mathcal{D}^\bot)$, $U, \ V\in \Gamma(\mathcal{D}^\beta\oplus \{\xi\})$. So, we leave these terms from (3.17) and obtain

Now

Using Corollary 3.1, the above relation reduces to

Now, since $\eta(\hat{x}_r = 0)$, for every $r = 1, 2, \cdots 2c$. So (3.19) turns into

On the other hand

Using Lemma 3.2 in the above relation, we obtain

Since $\eta({x}_p) = 0$ for every $p = 1, 2, \cdots, a$, using the relation $\xi(\ln i) = \alpha$, the above equation reduces to

Using (3.20) and (3.21) in (3.18), we get the inequality (3.14).

If the equality of (3.14) holds, then after omitting $\nu$ component terms of (3.16), we get $\zeta(\mathcal{D}^I, \mathcal{D}^I)\bot \nu$, $\zeta(\mathcal{D}^\bot, \mathcal{D}^\bot)\bot \nu$, $\zeta(\mathcal{D}^\beta, \mathcal{D}^\beta)\bot \nu$, $\zeta(\mathcal{D}^\bot, \mathcal{D}^\beta)\bot \nu$, $\zeta(\mathcal{D}^I, \mathcal{D}^\bot)\bot \nu$, and $\zeta(\mathcal{D}^I, \mathcal{D}^\beta)\bot \nu$. Also, for the neglected terms of (3.17), we get $\zeta(\mathcal{D}^I, \mathcal{D}^I)\bot k\mathcal{D}^\beta$, $\zeta(\mathcal{D}^\bot, \mathcal{D}^\bot)\bot \phi \mathcal{D}^\bot$, $\zeta(\mathcal{D}^\beta, \mathcal{D}^\beta)\bot k\mathcal{D}^\beta$, $\zeta(\mathcal{D}^I, \mathcal{D}^\beta)\bot k \mathcal{D}^\beta$. Next, for $\mathcal{D}^\beta-\mathcal{D}^\bot$ mixed geodesicness and Lemma 3.1, we get $\zeta(\mathcal{D}^I, \mathcal{D}^I)\bot \phi \mathcal{D}^\bot$ and $\zeta(\mathcal{D}^\beta, \mathcal{D}^\beta)\bot \phi \mathcal{D}^\bot$.

Thus, we get $\zeta(\mathcal{D}^I, \mathcal{D}^I) = 0$, $\zeta(\mathcal{D}^\beta, \mathcal{D}^\beta) = 0$, $\zeta(\mathcal{D}^I, \mathcal{D}^\beta) = 0$ and $\zeta(\mathcal{D}^\bot, \mathcal{D}^\bot)\subset k\mathcal{D}^\beta$.

Therefore $\Sigma_1$ is totally geodesic in $\Sigma$ and hence in $\bar{\Sigma}$ ^[2]. Again, since $\Sigma_\bot$ is totally umbilical in $\Sigma$ ^[2], with the fact that $\zeta(\mathcal{D}^\bot, \mathcal{D}^\bot)\subset k\mathcal{D}^\beta$, we conclude that $\Sigma_\bot$ is totally umbilical in $\bar{\Sigma}$. □

Theorem 2. Let $\Sigma = \Sigma_1\times_i\Sigma_\bot$ be a $\mathcal{D}^\bot-\mathcal{D}^\beta$ mixed geodesic warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_\bot$, where $\Sigma_1 = \Sigma_\bot\times \Sigma_\beta$. Then the squared norm of the second fundamental form satisfies

where $\boldsymbol{\nabla}^I\ln i$ and $\boldsymbol{\nabla}^\beta\ln i$ are the gradient of $\ln i$ along $\Sigma_I$ and $\Sigma_\beta$, respectively, and for the case of equality, $\Sigma_1$ becomes totally geodesic and $\Sigma_{\bot}$ becomes totally umbilical in $\bar{\Sigma}$.

4.   Submanifolds of the Second Class

First, we construct an example of a submanifold of the Second Class.

Example 2. Consider the semi-Euclidean space $\mathbb{R}^{21}$ with the cartesian coordinates $(u_1, v_1, u_2, v_2, \cdots, u_{10}, v_{10}, t)$ and para contact structure

It is clear that ${\mathbb{R}}^{21}$ is a Lorentzian manifold with usual semi-Euclidean metric tensor. For any non-zero $\lambda, \, \tau$, and $\beta, \psi\in[0, \frac{\pi}{2}]$, let $\Sigma$ be a submanifold of ${\mathbb{R}}^{21}$ defined by the immersion map $\chi:\mathbb{R}^7\to\mathbb{R}^{21}$ as

Then the tangent space of $\Sigma$ is spanned by the following vectors

Then we have

Therefore, it is clear that $\mathcal{D}^I = span \{J_5, \ J_6, \ J_7\}$ is an invariant distribution, $\mathcal{D}^\psi = span\{J_3, \ J_4\}$ is a pointwise slant distribution with pointwise slant function $\cos^{-1}(\frac{25}{2\lambda^2+2\tau^2+25})$, and $\mathcal{D}^\bot = span \{J_3, J_4\}$ is an anti-invaiant distribution. Hence $\Sigma$ is a CR-slant submanifold. Denote the integral manifolds of $\mathcal{D}^I$, $\mathcal{D}^\bot$, and $\mathcal{D}^\psi$ by $\Sigma_I, \, \Sigma_\bot$, and $\Sigma_\beta$, respectively. Then the product metric $g$ of $\Sigma$ is given by

Consequently $\Sigma$ is a warped product CR-slant submanifold of type $\Sigma_2\times_i\Sigma_\beta$ of $\mathbb{R}^{21}$, where $\Sigma_2 = \Sigma_I\times \Sigma_\psi$ with warping function $i = \sqrt{4\lambda^2+4\tau^2+25}$.

Now we prove the following lemmas:

Lemma 3. Let $\Sigma = \Sigma_2\times_i\Sigma_\psi$ be a warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_2 = \Sigma_I\times \Sigma_\bot$. Then we have

and

for every $P, \ Q\in \Gamma(\Sigma_I)$, $Z, \ W\in\Gamma(\Sigma_\perp)$, and $U \in \Gamma(\Sigma_\psi)$.

Proof. For $P, \ Q\in \Gamma(\Sigma_I)$, $Z, \ W\in\Gamma(\Sigma_\perp)$, and $U \in \Gamma(\Sigma_\psi)$, we find

and

Using (2.5) and (2.14) in (4.3)–(4.5), we get (4.1).

Also,

Using (2.5) and (2.14) in (3.6), we get (3.2). □

Lemma 4. Let $\Sigma = \Sigma_2\times_i\Sigma_\beta$ be a warped product $CR$-slant submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_2 = \Sigma_I\times \Sigma_\bot$. Then we have

and

for every $P\in \Gamma(\Sigma_I)$, $Z\in\Gamma(\Sigma_\perp)$, and $U, \ V \in \Gamma(\Sigma_\psi)$.

Proof. For $P\in \Gamma(\Sigma_I)$, $Z\in\Gamma(\Sigma_\perp)$, and $U, \ V\in \Gamma(\Sigma_\psi)$, we find

Using (2.5) and (2.14) in (4.10), we get (4.7) and replacing $P$ by $\phi P$ in (4.7), we get (4.8).

Also we have

Using (2.5) and (2.14) in (4.11), we get (4.9). □

Corollary 2. Let $\Sigma = \Sigma_2\times_i\Sigma_\psi$ be a $\mathcal{D}^\bot-\mathcal{D}^\psi$ mixed geodesic warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_2 = \Sigma_I\times \Sigma_\bot$, then we have

and

Now we establish the following inequality on a warped product submanifold $\Sigma$ of $\bar{\Sigma}$ of the Second Class.

Theorem 3. Let $\Sigma = \Sigma_2\times_i\Sigma_\psi$ be a $\mathcal{D}^\bot-\mathcal{D}^\psi$ mixed geodesic warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_I$, where $\Sigma_2 = \Sigma_I\times \Sigma_\bot$. Then the squared norm of the second fundamental form satisfies

where $\boldsymbol{\nabla}^I\ln i$ and $\boldsymbol{\nabla}^\bot\ln i$ are the gradient of $\ln i$ along $\Sigma_I$ and $\Sigma_\bot$, respectively, and for the case of equality, $\Sigma_2$ becomes totally geodesic and $\Sigma_{\psi}$ becomes totally umbilical in $\bar{\Sigma}$.

Proof. For our constructed frame field, the second fundamental form $\zeta$ satisfies the relation (3.16). Now, similar to Theorem 1, we leave the positive third, sixth, ninth, twelfth, fifteenth, and eighteenth terms of (3.16).

Also, using Lemma 4.1 and the $\mathcal{D}^\bot-\mathcal{D}^\beta$ mixed geodesic property of $\Sigma$, from (3.16), we get

Also, we have no relation for a warped product of the forms $g(\zeta(Z, W), \phi\mathcal{D}^\bot)$, $g(\zeta(P, Q), k\mathcal{D}^\psi)$, $g(\zeta(P, Z), \phi\mathcal{D}^\bot)$, and $g(\zeta(U, V), k\mathcal{D}^\psi)$ for any $P, \ Q\in \Gamma(\mathcal{D}^I\oplus \{\xi\})$, $Z, \ W\in \Gamma(\mathcal{D}^\bot)$, $U, \ V\in \Gamma(\mathcal{D}^\psi)$. So, we leave these terms from (4.15) and obtain

Now

Using Corollary 4.1, the above relation reduces to

Now, since $\eta(x_r^*) = 0$, for every $r = 1, 2, \cdots b$, (4.17) turns into

On the other hand

Using Lemma 4.4 in the above relation, we obtain

Since $\eta({x}_p) = 0$ for every $p = 1, 2, \cdots, a$, the above equation reduces to

Using (4.18) and (4.19) in (4.17), we get the inequality (4.14).

Proof of the equalty case is similar to the proof of the equality case of Theorem 3.1. □

Theorem 4. Let $\Sigma = \Sigma_2\times_i\Sigma_\psi$ be a $\mathcal{D}^\bot-\mathcal{D}^\psi$ mixed geodesic warped product submanifold of $\bar{\Sigma}$ such that $\xi$ is tangent to $\Sigma_\bot$, where $\Sigma_2 = \Sigma_I\times \Sigma_\bot$. Then the squared norm of the second fundamental form satisfies

where $\boldsymbol{\nabla}^I\ln i$ and $\boldsymbol{\nabla}^\bot\ln i$ are the gradient of $\ln i$ along $\Sigma_I$ and $\Sigma_\bot$, respectively, and for the case of equality, $\Sigma_2$ becomes totally geodesic and $\Sigma_{\psi}$ becomes totally umbilical in $\bar{\Sigma}$.

5.   Conclusions

This paper investigated different types of submanifolds in the context of a Lorentzian concircular structure manifold. We examined invariant, anti-invariant, proper slant, and pointwise slant submanifolds, and further explored two distinct categories of warped product submanifolds.

In the first category, we considered the fiber submanifold as an anti-invariant submanifold, while in the second category, the fiber submanifold was treated as a pointwise slant submanifold. Throughout our analysis, we established several fundamental results and derived important inequalities for the squared norm of the second fundamental form.

Our research not only provided a theoretical framework for understanding the properties and characteristics of these submanifold classes but also demonstrated the existence of such submanifold classes through specific examples. By examining these examples, we gained valuable insights into the behavior and geometric structures of the submanifolds within the Lorentzian concircular structure manifold.

Overall, this study contributes to the field of differential geometry by expanding our understanding of submanifolds and their relationships within a Lorentzian concircular structure manifold. The results and inequalities derived in this paper can serve as valuable tools for future research in this area, and we hope that they will inspire further investigations into the geometric properties of submanifolds in related contexts.

Author contributions

Tanumoy Pal: Conceptualization, Methodology, Investigation, Writing-original draft preparation, Writing-review and editing; Ibrahim Al-Dayel: Investigation, Writing-original draft preparation; Meraj Ali Khan: Conceptualization, Writing-review and editing; Biswabismita Bag: Methodology, Investigation, Writing-original draft preparation, Writing-review and editing; Shyamal Kumar Hui: Conceptualization, Methodology, Writing-review and editing, Foued Aloui: Investigation, Writing-original draft preparation. All authors have read and approved the final version of the manuscript for publication.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-RP23074).

The authors are thankful to the reviewers for their invaluable suggestions toward the improvement of the paper.

Conflict of interest

The authors declare that they have no conflicts of interest.