Anti-torqued slant helices and Torqued Curves in Riemannian manifolds

Let \gamma \subset \widetilde{M} be a Frenet curve of order r, 1\leq r \leq m, parametrized by arc-length. Denote by (T^\gamma,N_2^\gamma,...,N_m^\gamma) the Frenet frame of \gamma, and by \kappa_i, for 0<j<m-1, the curvatures of \gamma.

If \gamma is an anti-torqued slant helix with axis V, then from Definition 1.1 it follows

We distinguish three cases:

Case 1. V is parallel to T^\gamma along \gamma. Then \theta = \frac{\pi}{2} (or \theta = \frac{3\pi}{2}) and V=\pm T^\gamma. Without lose of generality, we may assume V=T^\gamma, meaning that \gamma is the integral curve of V. Since V is a unit geodesic vector field on \widetilde{M}, \gamma becomes a geodesic in \widetilde{M}.

Case 2. V is parallel to one of N_2^\gamma,...,N_m^\gamma along \gamma. Without lose of generality, we may assume V=N_i^\gamma, for 2\leq i \leq m. Because V is an anti-torqued vector field on \widetilde{M}, we have

On the other hand, the Frenet equations give

Comparing these expressions, we conclude that the only possible case is i=2 and \kappa_1=-\rho. Consequently, it follows that \theta \in \{0,\pi,2\pi\} and the set

is linearly dependent, which means that \gamma is a Frenet curve of order 2, and the conformal scalar \rho along \gamma is equal to -\kappa_1. Moreover, V is a concircular vector field along \gamma.

Case 3. V is parallel to none of T^\gamma,N_2^\gamma,...,N_m^\gamma along \gamma. Thus, V admits the following orthogonal decomposition:

where f_1^\gamma, f_3^\gamma,...,f_m^\gamma are smooth functions defined on I. Since V is anti-torqued, it follows that

where the relation \langle V,T^\gamma \rangle =f_1^\gamma has been used. Expanding this expression yields

Moreover, derivating (?) with respect to T^{\gamma } and applying the Frenet formulas, we conclude that

By equating the tangent and normal components in the last two relations, we obtain

Since \theta=\frac{\pi}{2} (or \theta=\frac{3\pi}{2}), the system (?) can be simplified by

where f^{\gamma } is nonzero function on I because \rho is nowhere zero on \widetilde{M}. If \tau \equiv 0, then the second equality in (Proof) implies that \gamma is a geodesic in \widetilde{M}. From the first and third equations of (Proof), we get

A first integration yields

where c>0 is a constant. The proof is completed by substituting this expression into the second equality in (Proof).

Let V=\frac{E}{|E|} be an anti-torqued vector field on \widetilde{M}=\mathbb R^3\backslash\{0\}, with conformal scalar \rho=\frac{1}{|E|}. Assume that \gamma=\gamma(s), s\in I, is an anti-torqued slant helix with axis V, parametrized by arc-length. Since V|_\gamma=\frac{\gamma}{|\gamma|}, we have

where N^\gamma is the principal normal vector field of \gamma, and \phi(s)=|\gamma(s)| is the distance function of \gamma(s). If \theta=\frac{\pi}{2} (or \theta=\frac{3\pi}{2}), then the above expression characterizes rectifying curves. We will assume that \theta\notin \{\frac{\pi}{2},\frac{3\pi}{2}\}. Derivating \phi(s), we obtain

Thus, the following orthogonal decomposition of \gamma(s) holds:

where g(s) is a smooth function on the interval I. Derivating Equation (Proof), we conclude that

To solve the system (Proof), we consider two cases:

Case: Assume that \tau (s)=0, for every s \in I. In this case, (Proof) and (Proof) reduce, respectively, to

and

If \phi (s) is a positive constant, which is equivalent to saying that \gamma (s) is a circle centered at the origin, then from Equation (?), we have \cos \theta =\pm 1. However, from the first equality of the system (?), we deduce \cos \theta =- 1. If \phi' (s)\neq 0 for every s, then \cos \theta =-\kappa (s)\phi (s). On the other hand, because \left\langle \gamma (s),\gamma (s)\right\rangle =\phi (s)^{2}, from Equation (?) we have \phi'(s)=\pm \sin \theta. Integrating this expression, we obtain

for a constant c. Moreover,

which corresponds to a logarithmic spiral [gr, p. 138].

Case: Suppose that \tau (s)\neq 0 for every s \in I. From the system (Proof), we conclude that

and

where F(s)=\left( (\cos \theta ) ^{2}+\left( \phi (s)\phi'(s)\right) ^{\prime }-1\right) \phi'(s).

If \gamma(s), s\in I, is a torqued curve with respect to V, then it follows that

We consider three cases:

Case 1. V is parallel to T^\gamma along \gamma. Then \theta =0 and V=f^\gamma T^\gamma with f^\gamma a smooth function on I. Since \omega(T)=0, we have \widetilde{\nabla}_{T^\gamma}V=\rho T^\gamma. On the other hand, differentiating V=f^\gamma T^\gamma along \gamma gives

Comparing these expressions, we deduce that T^\gamma(f^\gamma)=\rho and \kappa_1\equiv 0, because V is nowhere zero on \widetilde{M}.

Case 2. V is parallel to one of N_2^\gamma,...,N_m^\gamma along \gamma. Without lose of generality, we may assume V=f_i^\gamma N_i^\gamma, 2\leq i \leq m, for a smooth function f_i^\gamma on I. Because \omega(N_i^\gamma)=0, we have

On the other hand, the Frenet equations imply that

Similar to the proof of Theorem 4.1, comparing these expressions, we conclude that it must be i=2, \kappa_1f_2^\gamma=-\rho, \kappa_2\equiv0, and T^\gamma(f_2^\gamma)=0. Moreover, V is a concircular vector field along \gamma.

Case 3. V is parallel to none of T^\gamma,N_2^\gamma,...,N_m^\gamma along \gamma. Let W be generative of V. Thus, there exist smooth functions f_1^\gamma,f_3^\gamma,...,f_m^\gamma and g_1^\gamma,g_2^\gamma,...,g_m^\gamma defined on I such that

and

Since V is a torqued vector field, we have

Expanding this expression yields

Derivating (?) with respect to T^{\gamma }, we get

From the last two relations and \langle V,W \rangle =0, we obtain