1. Introduction
Let
be a
-map from a Riemannian manifold
to another Riemannian manifold
. The notion of a Riemannian map between two Riemannian manifolds was introduced by Fischer [
1], and generalizes both the notion of an isometric immersion and a Riemannian submersion. The theory of Riemannian submersion is discussed in [
2]. In [
1], Fischer also defined the concept of a Riemannian map in the following way: Let
be a differentiable map between Riemannian manifolds such that
. If we denote the
space of
by
and the orthogonal complementary space of
by
in
, then
has the following orthogonal decomposition:
Here, if the
of
is denoted by
and for a point
, the orthogonal complementary space of
by
in
Then, the tangent space
has the following orthogonal decomposition:
A differentiable map
is named a Riemannian map at
if the horizontal restriction
is a linear isometry between the inner product space
and
We see that a peculiar property of a Riemannian map is that it satisfies the generalized eikonal equation
. This equation works as a bridge between physical and geometrical optics [
1]. By using Cauchy’s method of characteristics, the eikonal equation of geometrical optics was solved with the help of Cauchy’s method of characteristic.
The Riemannian maps have several important applications in mathematics as well as in physics, especially within the Yang–Mills theory [
3], Kaluza–Klein theory [
4], supergravity and superstring theories [
5], redundant robotic chains [
6] etc. General relativity, which relates the gravitational force to the curvature of space-time, provides a respectable theory of gravity on a larger scale. Supergravity theories permit extra dimensions in space-time, beyond the familiar three dimensions of space and one of time. Supergravity models in higher dimensions reduce to the familiar four-dimensional space-time if it is postulated that the extra dimensions are compacted or curled up in such a way that they are not noticeable. The advantage of the extra dimensions is that they allow supergravity theories to incorporate the electromagnetic, weak, and strong forces as well as gravity.
Moreover, Şahin introduced many types of Riemannian maps ([
7,
8,
9,
10,
11,
12]; see also [
13,
14,
15,
16,
17,
18]). One may consult the references [
19,
20,
21] for further studies.
In [
22], Park introduced v-semi-slant submersions from almost Hermitian manifolds, and in [
23], Sepet and Bozok proposed v-semi-slant submersions from almost product Riemannian manifolds onto Riemannian manifolds. In this paper, we are interested in studying the above idea in the setting of v-QBSR maps. The article is organized as follows: Some basic information about Riemannian maps is given in
Section 2. In
Section 3, using v-QBSR maps, we obtain some properties, results and decomposition theorems. In
Section 4, we present the examples of the v-QBSR maps.
2. Preliminaries
Let
be a
-manifold of even dimension [
24]. Let
J be a
tensor field defined on
such that
where
I denotes the identity operator; then,
J is called an almost complex structure on
, which is an almost complex manifold. We know that an almost complex manifold is orientable. The Nijenhuis tensor
N of type
of an almost complex structure
J is defined as:
If the Nijenhuis tensor N of an almost complex structure J on the manifold vanishes then the manifold becomes a complex manifold.
Let us consider a Riemannian metric
on the manifold
as:
then
is called a Hermitian metric on the manifold
and
with the metric
called an almost Hermitian manifold. The Levi–Civita connection ∇ on the manifold
can be extended to the whole tensor algebra on the manifold
The tensor fields
are defined as:
for any
.
An almost Hermitian manifold
is called a Kähler manifold if:
for any
.
Now, we mention the following definition for further use:
Definition 1. Ref. [22]: Let be a Riemannian map. Then we say that π is a v-semi-slant Riemannian map if there is a distribution such that:and the angle between and the space is constant for non-zero and where is the orthogonal complement of in We call the angle θ a v-semi-slant angle. Let
and
be O’Neill’s tensors defined as [
25]:
For any vector fields on It is well known that and are operators on the tangent bundle of which are skew-symmetric and reversing the vertical and horizontal distributions.
Using Equations (
3) and (
4), we obtain:
For any and where if is basic.
Let
be a
-map; then the second fundamental form [
26] of
is given by:
For any
where
is the pullback connection. Conveniently, the Riemannian connections of the metrics
and
[
27] are denoted by ∇.
Furthermore, a
-map
between
and
is called totally geodesic [
27] if:
3. V-QBSR Maps
In this section, v-QBSR maps from () to () are defined and studied. We now present the notion of a v-QBSR map as follows:
Definition 2. A Riemannian mapis called a v-QBSR map if there exist orthogonal distributions and such that: - (i)
- (ii)
D is invariant, that is, ;
- (iii)
and
- (iv)
for any non-zero , the angle between and is constant and not dependent on points and in where The angles and are called v-slant angles of the Riemannian map.
Let
be a v-QBSR map from
to
Then we have:
Furthermore, we put
where
and
R are projection morphisms of
onto
and
respectively. For
we set
where
and
Using Equations (
12) and (
13), we obtain:
Since
D is an invariant, we have
Thus, the above equation reduces to
Additionally, we can express
If
and
then:
From Definition
we have:
In a similarly way, we obtain:
Let
and
Then, we have:
As D is an invariant, i.e.,
Similarly, for
and
we obtain:
From the above equations, we have:
and
for any
and
If
then
and
is anti-invariant, i.e.,
In this case, we denote
by
We also have
Since
, we can write
where
denotes the orthogonal complement of
in
Additionally, for any
we have
where
and
Lemma 1. For we have:for any and Proof. With the help of Equations (
13) and (
17) along with the condition
we obtain Lemma 1. □
Lemma 2. For we obtain:
for where
Proof. The proof of Lemma 2 is the same as the one for v-semi-slant submersion (see Proposition (3.5) and Remark (3.6) of [
22]). Hence we omit it. □
Lemma 3. For we have:for any and Proof. By Equations (
5)–(
8), (
13) and (
17), we obtain Equations (18)–(25). □
Next, we define
for any
and
Lemma 4. For we obtain:for any and Proof. On the account of Equations (
18)–(
21) and (
26)–(
29), we obtain the required results of Lemma
□
Consequently, if
and
are parallel tensor with respect to ∇ defined on
, we obtain:
for any
Theorem 1. Let π be a v-QBSR map. Then, D is integrable if and only iffor and . Proof. For
and
using Equations (
2), (
8), (
12) and (
13), we have
which completes the proof. □
Theorem 2. Let π be a v-QBSR map. Then, is integrable if and only iffor and Proof. For
and
, we have
Using Equations (
2), (
7), (
12) and (
13) and Lemma
we have:
Now, we have:
from which the proof follows. □
Theorem 3. Let π be a v-QBSR map. Then, is integrable if and only iffor and Proof. By considering the similar approach as in the proof of Theorem we obtain the above result. □
Theorem 4. Let π be a v-QBSR map. The distribution, becomes a totally geodesic foliation on if and only iffor and Proof. For
and
we have
Using Equations (
2), (
7), (
8), (
12), (
13) and (
17) and Lemma
we have:
Now, since
and
we obtain:
□
Theorem 5. Let π be a v-QBSR map. The distribution becomes a totally geodesic foliation on if and only iffor and Proof. For ; with the help of Equations (2) and (12), we have
Now, using Equations (
5), (
6), (
13) and (
17) and Lemma
we have:
Now, since
and
we have:
□
Theorem 6. Let π be a v-QBSR map. Then, D defines a totally geodesic foliation on if and only ifandfor and Proof. For
and
using Equations (
2), (
8), (
12), (
13) and (
17) and Lemma
we have:
Now, again using Equations (
2), (
8), (
12) and (
17) we have:
which completes the proof. □
Theorem 7. Let π be a v-QBSR map. Then, defines a totally geodesic foliation on if and only iffor and Proof. For
and
by using Equations (
2), (
7), (
8), (
12), (
13) and (
17) and Lemma
we have:
Now, we have:
From Equations (
2), (
7), (
8), (
13) and (
17) and Lemma
we have:
Therefore,
□
Theorem 8. Let π be a v-QBSR map. Then, defines a totally geodesic foliation on if and only iffor and Proof. By considering a similar approach as in the proof of Theorem we obtain the above result. □
Theorem 9. Let π be a v-QBSR map. Then, π is a totally geodesic map if and only ifandfor and Proof. Since π is a Riemannian map, we have
for For
and
using Equations (
2), (
9), (
12), (
13) and (
17), we have:
Furthermore, using Equations (
2), (
9), (
7), (
8), (
12), (
13) and (
17), we obtain:
□