Abstract
This study investigates the application of Robertson-Walker space in the analysis of slant curves. The study classifies all slant curves and calculates their curvature and torsion. The research shows that slant curves can be analyzed using Robertson-Walker space. The study also finds that doubly warped product manifolds have been more extensively studied than other types of manifolds, including warped product manifold and Minkowski space. These results contribute to our understanding of the use of mathematical structures in the analysis of slant curves and provide a foundation for future research.
Citation: Elsharkawy A, Elsayied H, Tawfiq A, Alghamdi F (2025) Investigating slant curves within Lorentzian doubly warped product manifolds. PLoS ONE 20(4): e0320678. https://doi.org/10.1371/journal.pone.0320678
Editor: Pengpeng Hu, Coventry University, UNITED KINGDOM OF GREAT BRITAIN AND NORTHERN IRELAND
Received: November 17, 2024; Accepted: February 23, 2025; Published: April 30, 2025
Copyright: © 2025 Elsharkawy et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Data Availability: This article does not report any primary data.
Funding: The author(s) received no specific funding for this work.
Competing interests: The authors have declared that no competing interests exist.
1 Introduction
The study of curves has a rich history that dates back to ancient Greece, but it has only been in recent times that curves such as slant curves have been studied. Slant curves are curves that do not lie entirely in a plane, but instead are oriented in a particular direction. They have many applications in fields such as physics, engineering, and computer graphics, and their study has posed many challenges due to their complex nature. Helices are an important type of curve in classical differential geometry that are defined by their tangent lines making a fixed angle with the helix axis. According to Lancret’s theorem, a curve is a general helix if the ratio of its curvature and torsion is constant. This theorem, first proposed by M. A. Lancret in 1802 and later demonstrated by B. de Saint Venant in 1845, is a fundamental result in the study of helices in three-dimensional space [22].
In recent years, a generalization of Lancret’s theorem to n-dimensional Riemannian manifolds has been proposed, which uses a Levi-Civita parallel vector field instead of a fixed direction in the standard definition of a general helix [14]. This generalization states that for Riemannian manifolds with general helices, a constant ratio of torsion and curvature is also a defining characteristic in three dimensions. Furthermore, the concept of a slant helix in Euclidean space was introduced by Izumiya and Takeuchi in 2004 [17]. A slant helix is a curve where the principal normal vector makes a constant angle with a fixed direction [1]. Subsequent generalizations of constant angle curves as slant curves of a contact Riemannian 3-manifold were proposed, defining a slant curve as a curve whose tangent vector field and Reeb vector field have a constant angle [4–8,15,16,19].
One particular type of manifold that has gained significant attention in recent times is the doubly warped product manifold. Doubly warped product manifolds are a type of Riemannian manifold that are constructed by taking the product of two Riemannian manifolds and warping them both in a particular way [23]. They have been extensively studied in recent years due to their applications in various fields, including physics, differential geometry, and topology. The use of doubly warped product manifolds and Robertson-Walker space in the analysis of slant curves has been the subject of several studies [3]. In particular, the use of Robertson-Walker space, which are a type of Lorentzian manifold that are commonly used in cosmology, has been shown to be effective in the analysis of slant curves.
In 2022, a research study was carried out by Dursun with the objective of characterizing and classifying slant curves within a three-dimensional Lorentzian warped product space. The investigation was conducted using a rigorous academic and scientific approach as documented in [13]. The main focus of the study was to provide a detailed analysis of the geometric properties of slant curves within this space. The study employed advanced mathematical techniques and analytical tools to deduce the relevant characterizations and classifications of these curves.
Motivated by these recent developments, this paper investigates the use of doubly warped product manifolds and Robertson-Walker space in the analysis of slant curves. Specifically, we focus on the use of Robertson-Walker space to analyze slant curves and classify all slant curves and calculate their curvature and torsion. Additionally, we examine the relationship between doubly warped product manifolds and other types of manifolds, such as warped product manifolds and Minkowski space. The doubly warped product plays a crucial role in differential geometry and mathematical physics, offering a versatile framework for modeling diverse geometric structures. Its significance lies in its ability to generalize classical warped products, enabling the study of curvature properties, Einstein manifolds, and various soliton solutions. This structure finds applications in general relativity, particularly in spacetime modeling, as well as in geometric analysis, where it aids in understanding the interplay between base and fiber manifolds under different warping functions [11,12,21]. Our goal is to provide valuable insights into the use of mathematical structures in the analysis of slant curves and contribute to the ongoing research in this area.
To achieve this goal, we investigate slant curves within the three-dimensional Lorentzian doubly warped product manifold. Our investigation accounts for the causal characteristics of of these curves and how they relate to the overall geometry of the manifold as an application of generalized Robertson-Walker (GRW). We characterize and classify all slant curves in the Lorentzian doubly warped product manifold, and determine their curvature and torsion. Our results provide important insights into the properties of slant curves and their relationship to different types of manifolds. Overall, the study of slant curves and their relationship to doubly warped product manifolds and Robertson-Walker space is an active area of research that continues to yield new insights and discoveries.
2 Preliminaries
This section presents the fundamental formulas for the three-dimensional Lorentzian doubly warped product manifold M, angles between vectors, and Frenet equations.
2.1 Fundamental formulas for 
Let M be a Lorentzian doubly warped product manifold, equipped with a metric of the form
, where f and h are positive, smooth functions defined on the interval I of the real line and the Euclidean plane
, respectively. This metric is a natural generalization of the warped product metric, which has been studied extensively in the literature. In particular, the functions f and h play a significant role in the geometry of M, as they determine the warping factors along the Euclidean and time directions, respectively. For simplicity define the functions F : I → ℝ and
as
Let p be a point in M. Consider a tangent vector x belonging to the tangent space . We define x to be spacelike if the inner product g ( x , x ) is positive, or if x is the zero vector, where g is the metric defined on the Minkowski space. On the other hand, x is classified as timelike if g ( x , x ) is negative, or null (i.e., lightlike) if g ( x , x ) = 0 and x is nonzero. The norm of x is given by
, where 𝜖 is the signature of x, taking the value 1 if x is spacelike and –1 if x is timelike. Moreover, we say that x is positive if its first component
is greater than zero and negative if
is less than zero.
Using [10], the connection on M is as follows:
Here, ∇ and refer to the Levi-Civita connection of M and I, respectively,
denotes a globally defined timelike vector field on M that is a vertical vector field. We also have X, Y, and Z as the lifts of vector fields that are tangent to the Euclidean plane
. Furthermore, we use ξ = dt to denote the dual of
, where
.
Moreover, we can express the connection ∇ with respect to the local orthogonal frame field of M as follows:
2.2 Angles between vectors
The concept of measuring the angle between two vectors is fundamental in mathematics and has important applications in physics. In Minkowski space, the angle between two vectors can be defined using the inner product of the vectors and the Minkowski metric. In this study, we use the angles between timelike and spacelike vectors in Minkowski space as preliminaries for our research. Previous works [20,25] introduced the notion of the angle between vectors in Minkowski space and studied the angles between timelike and spacelike vectors, which are particularly important in relativity theory and particle physics. Specifically, we consider the angle between timelike vectors and the angle between spacelike and timelike vectors and their respective properties.
Definition 2.1. Let x and y be two positive (or negative) timelike vectors in Minkowski space . There exists a unique non-negative value ϕ, called the Lorentzian timelike angle, such that the equation
holds, where is the Minkowski metric and ∥ x ∥ denotes the norm of vector x.
Definition 2.2. Let x and y be a spacelike vector and a positive timelike vector, respectively, in Minkowski space . A unique non-negative value ϕ, known as the Lorentzian timelike angle, exists such that the equation
holds, where is the Minkowski metric and ∥ x ∥ denotes the norm of vector x.
2.3 Frenet–Serret equations
Definition 2.3. A Frenet curve in Minkowski space is a smooth curve whose successive derivatives form an orthonormal frame (the Frenet frame) that describes its geometric properties. It satisfies the Frenet–Serret equations, which define how the tangent and normal vectors change along the curve. The curve is classified as spacelike, timelike, or null based on the nature of its tangent vector [24].
A curve α : J → M is classified as spacelike, timelike, or null (lightlike) based on the nature of its tangent vector at each point s on J.
A non-null curve α ( s ) in M is said to be a unit speed curve if the magnitude of its tangent vector is either + 1 or –1, depending on whether the curve is timelike or spacelike. This can be expressed as:
Here, g is the metric tensor of M. A unit speed curve α ( s ) is called a geodesic if its tangent vector is parallel transported along itself, i.e., . Geodesics describe the motion of free particles in space and are important in the study of M.
If the covariant derivative of the tangent vector along a curve is spacelike, the curve is said to be a null curve. In this case, the curve can be reparametrized using a pseudo arc-length parameter s such that the magnitude of the covariant derivative of the tangent vector is equal to 1. This can be expressed as:
A curve that can be parameterized using such a pseudo arc-length parameter s is called a unit speed curve, and it lies on a null curve α.
A non-null curve α ( s ) in M is called a Frenet curve if for all s ∈ J. The Frenet apparatus
is a collection of vectors and functions that satisfy the equations:
Here, { T , N , B } is an orthonormal frame field, and κ and τ are the curvature and torsion functions of α, respectively. The vectors T, N, and B have causal characters satisfying
[24].
Suppose α ( s ) is a non-geodesic spacelike curve in M, and for all s ∈ J. Then, there is a Frenet apparatus
that satisfies the following equations:
subject to the constraints:
Here, { T , N , B } is the pseudo-orthonormal frame field and τ ( s ) is the torsion function of α [24]. Suppose α ( s ) is a non-geodesic unit speed null curve in M, for all s ∈ J. Then there exists a Frenet apparatus that satisfies the following equations:
subject to the constraints:
Here, { T , N , B } is the pseudo-orthonormal frame field, also known as the Cartan frame, and τ ( s ) is the torsion function of α [24].
Definition 2.4. Suppose α ( s ) is a unit speed curve in M. If the function is constant, we say that α ( s ) is a slant curve, and the vertical vector field
is known as the axis of the slant curve.
Consider a null slant curve α in in M. We define the function η as the non-zero constant angle value when . From equations 2.3 and 2.4, we can derive the expression for η as:
Here, , and we assume
except in cases where we specify otherwise.
3 Slant curves in M
In this section, we investigate the properties of slant curves, with a particular emphasis on their characterization. Slant curves are an important class of curves in differential geometry, and understanding their properties is crucial for applications in various fields. Furthermore, we conduct a comprehensive analysis of the curvature and torsion properties of all types of slant curves. The curvature and torsion characteristics of slant curves have significant implications in fields such as computer graphics, robotics, and biophysics [9]. By providing a thorough examination of these properties, we aim to contribute to a better understanding of slant curves.
Lemma 3.1. Let be a unit speed curve in the
with two smooth functions f and h defined on I and
, respectively. Then
Proof 3.1. Let . Form (2.2a), (2.2b) and (2.2c), we have
as
If η is constant along a unit speed curve in M, then
where is an integration constant and
. For simplicity, put
(after translation in s), then
In addition, if α is a null curve, we write , there for the slant curve α ( s ) in M is in the form
From now on, and
throughout the study unless otherwise stated.
Proposition 3.1. Let M be a manifold, and consider a non-geodesic Frenet curve α in M. The curve can be classified as a slant curve if and only if certain conditions are satisfied along its path. These conditions are as follows
1. If the curve is spacelike, then the equation
holds, where and
.
2. If the curve is timelike, then the equation
holds, where and
.
Proof 3.2. If we have a non-geodesic Frenet curve α, it is categorized as a slant curve if and only if the condition is satisfied. By using equations (2.5a) and (3.1), we can obtain the following result
Using (3.4) and (3.8), we get (3.6) and (3.7).
Proposition 3.2. Consider a non-geodesic unit speed spacelike curve α in M with a pseudo-orthonormal frame defined along the curve such that
. The curve α is classified as a slant curve if and only if the conditions below are satisfied:
Here, is given by sinh ϕH ( s ) , and
.
Proof 3.3. Consider a non-geodesic unit speed spacelike curve in M that is classified as a slant curve if the condition
holds. By using equations (2.6a) and (3.1), we obtain the following expression:
Further, by applying equations (3.4) and (3.10), we arrive at the equation (3.9).
Proposition 3.3. Consider a non-geodesic unit speed null curve α in M with a pseudo-orthonormal Frenet frame defined along the curve. The curve α is classified as a slant curve if and only if the following equation holds true:
Here, is given by − ηH ( s ) , and
.
Proof 3.4. Given a non-geodesic unit speed null curve in M, the curve is classified as a slant curve if and only if the condition
holds. By using equations (2.7a) and (3.1), we obtain the expression:
Further, by applying equations (3.5) and (3.12), we arrive at the equation (3.11).
Next, we evaluate the projection of the vector field onto the B component in the Frenet frame { T , N , B } .
Proposition 3.4. Given a non-geodesic Frenet curve α in M with the Frenet frame { T , N , B } , the curve is classified as a slant curve if and only if the following equation holds true:
Here, for spacelike curves, , and for timelike curves,
, where
.
Proof 3.5. Let . Then, using equation (3.8) and considering
, we can express
as:
Substituting equation (3.14) into the expression for , we obtain:
Using the fact that , equation (3.15) simplifies to equation (3.13).
Proposition 3.5. Consider a non-geodesic unit speed spacelike curve α in M with the Frenet frame , such that
. The curve is classified as a slant curve if and only if the following equation holds true:
Here, is given by
, where
.
Proof 3.6. Let . We can express
as follows:
Multiplying equation (3.17) by and using equation (3.9), we obtain:
Using equations (3.4) and (3.18), we can simplify equation (3.18) to obtain equation (3.16).
Proposition 3.6. Consider a non-geodesic unit speed null curve α in M with the Frenet frame . The curve is classified as a slant curve if and only if the following equation holds true:
Here, is given by
, where
.
Proof 3.7. Let . We can express
as follows:
Multiplying equation (3.20) by and using equation (3.11), we obtain:
Using equations (3.20) and (3.21), we can simplify equation (3.21) to obtain equation (3.20).
The following theorems apply to the curve α ( s ) defined on an open interval J ⊂ ℝ in M, for all cases.
Theorem 3.1. Let α ( s ) be a unit-speed slant Frenet curve. Then, the following cases are considered:
1.(a) if α ( s ) is a unit speed spacelike slant Frenet curve, then it is given by
(b) if α ( s ) is unit speed timelike slant Frenet curve, then it is given by
2. if α ( s ) is a null slant curve α ( s ) , then it is given by
for some , and η ≠ 0.
Proof 3.8. Applying equation (3.5) for a unit speed slant Frenet curve , we obtain
. Since
, we have
, which can be rearranged to obtain:
Then,
Using equations (3.4), (3.25), and (3.26), we can obtain equations (3.22) and (3.23). Similarly, for a unit speed slant null curve α, applying equation (3.5) gives , from which we obtain
, which can be rearranged to obtain:
and for some , we have
Using equation (3.28) with some smooth function , we obtain equation (3.24).
To facilitate future calculations, we determine the value of the covariant derivative of the tangent vector field T on the surface. Here, T is defined by , where
,
, and
are differentiable functions of the variables t, x, and y. Using equations (2.2a) through (2.2e), we obtain the components of the covariant derivative of T along T as:
where ,
, and
are the second derivatives of
,
, and
, respectively, and
and
are smooth functions of the coefficients of the second fundamental form of the surface. The expression in equation (3.29) provides the means to compute the covariant derivative of T in the direction of T, which may be useful in future calculations.
Theorem 3.2. 1. For a unit speed spacelike slant Frenet curve α defined by equation (3.22), the curvature function κ and torsion function τ are given by:
where .
where ξ ( N ) and ξ ( B ) are given form (3.4) and (3.6).
2. Let α be a non-geodesic unit speed spacelike curve with a pseudo-orthonormal frame along α, defined by equation (3.22) with
. Then, the torsion function τ of α is given by:
Proof 3.9. Let α be unit speed slant spacelike curve. Using (3.29), we obtain from (3.22) that
where and
. As α is a Frenet curve, then
From (3.33) and (3.34), we obtain (3.30).
Upon taking the derivative of equation (3.6) using equations (3.1) and (2.5b), we obtain:
By utilizing ,
, equations (3.4), (3.6), and (3.13), we may derive equation (3.31) from equation (3.35).
For a non-geodesic unit speed spacelike curve α, taking the derivative of equation (3.9) using equations (3.1) and (2.6b), we obtain:
By utilizing equations (3.4) and (3.9), we may derive equation (3.32) from equation (3.36).
Theorem 3.3. Let α be a unit speed timelike slant Frenet curve defined by equation (3.23). Then, the curvature function κ and torsion function τ of α are given by:
where and
.
where ξ ( N ) and ξ ( B ) are given form (3.4) and (3.6).
Proof 3.10. A straightforward calculation from (3.32) and (3.29), we get
where . From which
and by using (3.4), we obtain (3.37).
Using (2.5b), (3.1) and (3.7), we obtain:
In Equation (3.40), considering ,
, (3.7) and (3.13), we obtain (3.38).
Theorem 3.4. The torsion function τ of a unit speed null slant curve α is given by:
Proof 3.11. By differentiate (3.11), we get:
4 Characterization and classification of slant curves in the 3-dimensional Lorentzian warped product 
In 2022, Dursun conducted a study of slant curves in the 3-dimensional Lorentzian warped product , characterizing the slant curves and providing a classification of all such curves [13]. Specifically, when the warping function h = 1, several properties of the curve α ( s ) can be derived, including
,
and
, where η = ssinh ϕ, for a spacelike curve and η = scosh ϕ, for a timelike curve. Under this condition, the manifold
becomes equivalent to
.
Therefore, several corollaries, depending on Theorems 3.1, 3.2, and 3.3, hold for the curve α ( s ) defined on an open interval J ⊂ ℝ for all s ∈ J in .
Corollary 4.1. If α ( s ) is unit speed spacelike slant Frenet curve, then it is given by
with curvature and torsion are
where , for some
,
if
,
if
, and
is the signature of
.
Corollary 4.2. If α ( s ) is unit speed timelike slant Frenet curve, then it is given by
with curvature and torsion are
where , for some
and
is the signature of
.
Corollary 4.3. If α ( s ) is unit speed null slant Frenet curve, then it is given by
with ,
, and
, where C is constant, for some smooth function γ ( s ) on J, and η ≠ 0.
5 Characterization and classification of slant curves in the Minkowski space 
In 2011, Barros and others conducted a study on the characterization of general helices in 3-dimensional Minkowski space forms, using the definition of a killing vector field to analyze these curves [2]. In a separate study in 2006, Kosinka and Jüttler provided a proof of Lancret’s theorem for general helices in , contributing to the understanding of the geometric properties of these curves [18].
If we consider the warping functions h = 1 and f = 1, i.e., H ≡ 0 and F ≡ 0, then the Lorentzian doubly warping manifold M is the Minkowski space . Therefore, Theorems 3.1, 3.2 and 3.3 for the curve α ( s ) defined on an open interval J ⊂ ℝ for all s ∈ J in the Minkowski space
are
Corollary 5.1. If α ( s ) is unit speed spacelike slant Frenet curve, then it is given by
with curvature and torsion
, where
, which is general helix. And for some constants m , n ∈ ℝ, α ( s ) becomes a helix if γ ( s ) = ms + n.
Corollary 5.2. If α ( s ) is unit speed timelike slant Frenet curve, then it is given by
with curvature and torsion
, where
, which is a general helix. And for some constants m , n ∈ ℝ, α ( s ) becomes a helix if γ ( s ) = ms + n.
Corollary 5.3. If α ( s ) is unit speed null slant Frenet curve, then it is given by
with the torsion , where
, which is a helix.
6 Conclusion
In conclusion, this study investigated the analysis of slant curves using a mathematical construct known as a doubly warped product manifold, which is frequently employed in the field of three-dimensional Lorentzian geometry. The study classified all slant curves and calculated their curvature and torsion, providing valuable insights into the application of Robertson-Walker space for this purpose. The research also revealed that doubly warped product manifolds have been studied more extensively than other types of manifolds, including warped product manifolds and Minkowski space. These findings contribute to our understanding of the use of mathematical constructs in the analysis of slant curves and serve as a foundation for future research in this area.
References
- 1.
Ali AT, López R. Slant curves in Minkowski space
. J Korean Math Soc. 2011;48:159–67.
- 2.
Barros M. Slant helices in Minkowski space
. J Korean Math Soc. 2011;48:159–67.
- 3. Beem JK, Powell TG. Geodesic completeness and maximality in Lorentzian warped products. Tensor (N.S.) 1982;39:31–36.
- 4. Călin C, Crasmareanu M, Munteanu MI. Slant curves in three-dimensional f-Kenmotsu manifolds. J Math Anal Appl. 2012;394:400–7.
- 5. Călin C, Crasmareanu M. Slant curves in 3-dimensional normal almost contact geometry. Mediterr J Math. 2013;10:1067–77.
- 6. Călin C, Crasmareanu M. Slant curves and particles in 3-dimensional warped products and their Lancret invariants. Bull Aust Math Soc. 2013;88:128–42.
- 7. Cho JT, Inoguchi J, Lee JE. On slant curves in Sasakian 3-manifolds. Bull Aust Math Soc. 2006;74:359–67.
- 8. Cho JT, Lee JE. Slant curves in contact pseudo-Hermitian 3-manifolds. Bull Aust Math Soc. 2008;78:383–67.
- 9. Deshmukh S, Alghanemi A, Farouki R. Space curves defined by curvature-torsion relations and associated helices. Filomat 2019;33:4951–66.
- 10.
Du L., Wang J. On surfaces properties of doubly warped product manifolds
in generalized Robertson-Walker spacetimes. J Phys. 2012; Conference Series 1–5. https://doi.org/10.1088/1742-6596/2012/1/012124
- 11. Elsayied HK, Tawfiq AM, Elsharkawy A. Some characterizations of quasi-Einstein and doubly product manifold. Int J Geom Meth Mod Phys. 2024;21:2450165–56.
- 12. Elsharkawy A, Elsayied H, Tawfiq A, Alghamdi F. Geometric analysis of the pseudo-projective curvature tensor in doubly and twisted warped product manifolds. AIMS Math. 2025;10:56–71.
- 13.
Dursun U. Slant curves in the Lorentzian warped product manifold
. J Geom. 2022;113:1–18. https://doi.org/10.1007/s00022-022-00637-3
- 14. Hayden HA. On a generalized helix in a Riemannian n-space. Proc Lond Math Soc. 1931;32:337–45.
- 15. Inoguchi JI, Lee JE. Slant curves in 3-dimensional almost contact metric geometry. Int Electron J Geom. 2015;8:106–46.
- 16. Inoguchi JI, Lee JE. Slant curves in 3-dimensional f-Kenmotsu manifolds. Commun Korean Math Soc. 2017;32:417–24.
- 17. Izumiya S., Takeuchi N. New special curves and developable surfaces. Turk J Math. 2004;28:153–63.
- 18. Kosinka J. Jüttler, B. Cubic helices in Minkowski space. Sitzungsber Abt. 2006;215:13–35.
- 19. Lee JE. On slant curves in Sasakian Lorentzian 3-manifolds. Int Electron J Geom. 2020;13:108–15.
- 20.
Ratcliffe J.G. Foundations of hyperbolic manifolds. New York: Springer; 2006.
- 21. Sikander F, Fatima T, Deshmukh S, Elsharkawy A. Curvature analysis of concircular trajectories in doubly warped product manifolds. AIMS Math 2024;9(8):21940–51.
- 22.
Struik DJ. Lectures on classical differential geometry. New York: Dover; 1988.
- 23. Ünal B. Doubly warped products. Diff Geom Appl. 2001;15:253–63.
- 24.
Walrave J. Curves and surfaces in Minkowski space. PhD diss., Doctoral thesis, KU Leuven, Faculty of Science, Leuven 1995.
- 25. Verstraelen L. On angles and pseudo-angles in Minkowskian planes. Mathematics 2018;6:52.