Rotation minimizing frames and spherical curves in simply isotropic and semiisotropic 3spaces
Abstract
In this work we are interested in the differential geometry of curves in simply isotropic and semiisotropic 3spaces. These are examples of CayleyKlein geometries whose absolute figure is given by a plane at infinity and a degenerate quadric. Motivated by the success of rotation minimizing (RM) frames in Euclidean and LorentzMinkowski geometries, here we show how to build RM frames in isotropic geometries and apply them in the study of spherical curves. Indeed, through a convenient manipulation of osculating spheres described in terms of RM frames, we show that it is possible to characterize spherical curves via a linear equation involving the curvatures that dictate the RM frame motion. For the case of semiisotropic space, we also discuss on the distinct approaches for the absolute figure in the framework of a CayleyKlein geometry and prove that they are all equivalent approaches through the use of hyperbolic (or double) numbers, a complexlike system where the square of the imaginary unit is . Finally, we also show how to relate isotropic RM and Frenet frames through the use of Galilean trigonometric functions and dual numbers, a complexlike system where the square of the imaginary unit is zero.
Keywords:
NonEuclidean geometry CayleyKlein geometry isotropic space semiisotropic space spherical curve plane curveMsc:
51N25 53A20 53A35 53A55 53B30∎
1 Introduction
The three dimensional () simply isotropic and semiisotropic 3spaces are examples of CayleyKlein (CK) geometries (12); (19); (23); (30). The basic idea behind a CK geometry is the study of those properties in projective space that preserves a certain configuration, the so called absolute figure. In the spirit of Klein “Erlanger Program” (4); (14), a CK geometry is the study of those properties invariant by the action of the subgroup of projectivities that fix the absolute figure. For example, the Euclidean (Minkowski) space () is modeled through an absolute figure given in homogeneous coordinates by a plane at infinity identified with and a nondegenerate quadric of index zero (index one) identified with (, respectively) (12). In our case of interest, i.e., isotropic space geometries, the absolute figure is given by a plane at infinity, identified with , and a degenerate quadric of index zero or one, identified with : for the simply isotropic figure and for the semiisotropic one.
Besides its mathematical interest (1); (2); (13); (26); (33), see also (24) and references therein, isotropic geometry also finds applications in economics (3); (8), elasticity (21), and in image processing and shape interrogation (15); (22), just to name a few. Another stimulus to study isotropic geometries comes from the problem of characterizing curves on level set surfaces . Indeed, an idea to approach such a problem is the introduction of a metric induced by (10) and, since it may fail to be nondegenerate, one may be led to the study of an isotropic geometry: e.g., for cylindrical quadrics, i.e., a translation surface with a conic as generating curve, the natural geometric framework is that of an isotropic geometry. In fact, here one basically has , which leads to the geometry of isotropic spaces (12); (27); (31) because such a Hessian may induce in a degenerate metric: simply isotropic space if (24); (29); semiisotropic space if (2); and doubly isotropic space if (7).
Motived by the success of Rotation Minimizing (RM) frames in the study of spherical curves in both and (6); (10); (11); (20), in this work we develop the fundamentals of RM frames in simply isotropic and semiisotropic spaces, which in combination with an adequate manipulation of osculating spheres allow us to prove that spherical curves can be characterized through a linear equation involving the coefficients that dictate the frame motion
The remaining of this work is divided as follows. In section 2 we review the concept of RM frames in Euclidean space and its spherical curves. In section 3 we introduce some terminology related to simply isotropic space and, in section 4, we discuss how to introduce moving frames along simply isotropic curves. In section 5 we then study simply isotropic spheres and the characterization of spherical curves. In section 6 we turn our attention to the semiisotropic space . In section 7 and 8 we study semiisotropic spheres and moving frames along semiisotropic curves, respectively. Finally, in section 9 we present a characterization of semiisotropic spherical curves.
2 Preliminaries: rotation minimizing frames and spherical curves in Euclidean space
Let us denote by the Euclidean space, i.e., equipped with the standard Euclidean metric . The usual way to introduce a moving frame along it is by means of the Frenet frame (16); (17). However, we can also consider any other adapted orthonormal moving frame. For the Frenet frame the equations of motion are given in terms of the curvature function and the torsion : ; ; and . On the other hand, by introducing the notion of a rotation minimizing vector field
(1) 
The basic idea here is that rotates only the necessary amount to remain normal to the tangent (then justifying the terminology). In addition, the coefficients and relate with the curvature and torsion according to (6)
(2) 
The above relations show that RM frames are not uniquely defined. Indeed, any rotation of and still gives two relatively parallel fields, i.e., there is an ambiguity associated with the group acting on the normal plane which specifies an RM frame up to an additive constant
Theorem 2.1 (Bishop (6))
A regular curve in lies on a sphere if and only if its normal development, i.e., the curve , lies on a line not passing through the origin: the distance of this line from the origin, , and the radius of the sphere, , are reciprocals, i.e., . Finally, straight lines passing through the origin characterize plane curves which are not spherical.
In the following we shall extend this formalism in order to present a way of building RM frames along curves in both simply isotropic and semiisotropic 3spaces and then apply them to furnish a unified approach to the characterization of isotropic spherical curves. And, in addition, by employing dual numbers and Galilean trigonometric functions, we will show how to relate (i) a Frenet frame to an RM frame and (ii) an RM frame with another RM frame.
3 Differential geometry in simply isotropic space
In this section we introduce some basic terminology in simply isotropic space. We refer the reader to Sachs’ monograph (24) for more details.
In the spirit of Klein’s Erlangen Program, simply isotropic geometry is the study of those properties in invariant by the action of the 6parameter group
(3) 
where . So, is the group of rigid motions in .
Observe that on the plane this geometry looks exactly like the plane Euclidean geometry . The projection of a vector on the plane is called the top view of and we shall denote it by . The top view concept plays a fundamental role in the simply isotropic space , since the direction is preserved under the action of (
One may introduce a simply isotropic inner product between two vectors and as
(4) 
from which we define a simply isotropic distance as usual
(5) 
Note that the inner product and distance above are just the plane Euclidean counterparts of the top views. In addition, since the isotropic metric is degenerate, the distance from to is zero. In such cases, one may define a codistance by (the codistance is preserved by and then is an isotropic invariant: it may be used to define angles involving isotropic lines and planes (22); (24)).
4 Moving frames along curves in simply isotropic space
Now we introduce some terminology related to curves. A regular curve , i.e., , is parametrized by an arclength if . In the following we assume that all curves are parametrized by an arclength (in particular, this excludes the possibility of an isotropic velocity vector). In addition, a point in which is linearly dependent is an inflection point and a regular unit speed curve with no inflection point is called an admissible curve if .
Remark 1
The admissible condition implies that the osculating planes, i.e., the planes that have a contact of order 2 with the reference curve
4.1 Simply isotropic Frenet frame
The (isotropic) unit tangent, principal normal, and curvature function are defined as usual
(6) 
respectively. As usually happens in isotropic geometry, the curvature is just the curvature function of its top view and then we may write . To complete the moving trihedron, we define the binormal vector as the (co)unit vector in the isotropic direction. The Frenet frame is linearly independent for each :
(7) 
The Frenet equations corresponding to the isotropic Frenet frame can be written as
(8) 
where is the (isotropic) torsion (24), p. 110:
(9) 
The above expressions for the torsion and curvature are also valid for any generic regular parameter for and, in addition, they are invariant by rigid motions in .
Contrary to the Euclidean space , we can not define the torsion through the derivative of the binormal vector. However, remembering that the idea behind such a definition in is that one can measure the variation of the osculating plane by measuring , we may ask if still characterizes plane curves in . It can be shown that the isotropic torsion is directly associated with the velocity of variation of the osculating plane, see (24), pp. 112113, and that an admissible curve lies on a nonisotropic plane if and only if its torsion vanishes identically. Observe in addition that, contrary to the isotropic curvature, the torsion is not defined as the torsion of the top view (this would result in ). The isotropic torsion is an intermediate concept depending on its top view behavior and on how much the curve leaves the plane spanned by and .
4.2 Rotation minimizing frames in simply isotropic space
Let be an admissible curve parametrized by arclength . A normal vector field is a simply isotropic RM vector field if , for some function . We easily see that the binormal is an RM vector field: . Except for plane curves, the principal normal fails to be RM: .
In order to introduce an RM frame in , we just need to look for an RM vector field in substitution to the principal normal. If is a normal vector, we may write
(10) 
where we suppose (otherwise is just a multiple of ). Now, imposing implies that
(11) 
The derivative of is
(12) 
So, if we assume to be an RM vector field, it follows that
(13) 
Finally, if we impose that has the same orientation as , we conclude that
(14) 
Remark 2
Theorem 4.1
Let be a unit normal vector field along . If is RM and has the same orientation as the Frenet frame, then
(16) 
where is a constant and we shall define . In addition, a rotation minimizing frame in isotropic space satisfies
(17) 
where the natural curvatures are and .
Proof
The expression for follows from the discussion above. On the other hand, we have for the derivative of and
(18) 
Finally, taking into account that , we find
(19) 
From the equalities above we find the desired equations of motion for the RM trihedron . ∎
Using the definition for the Galilean trigonometric functions (32), we can relate the RM frame curvatures to the Frenet ones according to
(20) 
This also shows that two RM frames and differ only by an additive constant, . This issue can be further clarified with the help of the ring dual numbers (23); (32) in isotropic plane (23) (note that the normal plane is always isotropic, since is in it).
The standard way to write a dual number is , where the dual imaginary unit satisfies . The real and imaginary parts are and , respectively . The arithmetic operations are defined as
(21) 
The modulus in isotropic plane may be expressed as , which may be seen as being induced by the degenerate metric in : .
In analogy with , where we can use unit complex number to describe rotations
(22) 
where we used the following linear (matrix) representation for the dual numbers
(23) 
In short, with the help of the ring of dual numbers, we can interpret an isotropic RM frame as a frame that minimizes isotropic (or Galilean) rotations.
4.3 Moving bivectors in simply isotropic space
In it is not possible to define a vector product with the same invariance significance as in Euclidean space. However, one can still do some interesting investigations by employing in the usual vector product from Euclidean space . Associated with the isotropic Frenet frame, one introduces a (moving) bivector frame as (24)
(24) 
which satisfies the equation
(25) 
and (24), Eqs. (7.43ac), p. 130,
(26) 
Analogously, we shall introduce the following (moving) RM bivector frame associated with an RM frame
(27) 
Proposition 1
The moving frame forms a basis for . In addition, a moving RM bivector frame satisfies the equation
(28) 
where and .
Proof
We have
(29) 
In addition
(30) 
and
(31) 
Then, we find , which shows that the RM bivectors form a basis.
For the equations of motion, we have
(32) 
(33) 
and
(34) 
∎
5 Simply isotropic spherical curves
5.1 Isotropic osculating spheres
Due to the degeneracy of the isotropic metric, some geometric concepts can not be defined just using . This is the case for spheres.
Definition 1
We define simply isotropic spheres as connected and irreducible surfaces of degree 2 given by the 4parameter family
(35) 
where . In addition, up to a rigid motion (in ), we can express a sphere in one of the two normal forms below

(sphere of parabolic type)
(36) 
(sphere of cylindrical type)
(37)
It can be shown that the quantities and are isotropic invariants. Moreover, spheres of cylindrical type are precisely the set of points equidistant from a given center
(38) 
Note however, that the center of a cylindrical sphere is not defined. More precisely, any other point with the same top view as , i.e., , would do the same job. We can remedy this by assuming the center located on the plane.
An osculating sphere of an admissible curve at a point is the (isotropic) sphere that has a contact of order 3 with . The position vector of an osculating sphere satisfies, Eq. (7.18) of (24),
(39) 
where , is the usual inner product in Euclidean space , and and are constants to be determined.
5.2 Characterization of spherical curves in simply isotropic space
Our approach to spherical curves is based on order of contact. More precisely, we investigate osculating spheres in by using RM frames and their associated bivector frames. Then, we use that a curve is spherical when its osculating spheres are all equal to the sphere that contains the curve. We refer to (9) for a similar approach in the simpler setting of Euclidean spherical curves.
Defining a function , where and are constants to be determined, we have for the derivatives of
(40) 
Imposing the condition (contact of order 3) gives
(41) 
From the first and third equations above, we find that
(42) 
for some constant . On the other hand, from the second equation we find that
(43) 
The reader can easily verify that , and then we can rewrite the expression above as
(44) 
where in the last equality one should use the expressions form in terms of , see Eq. (20).
In short, the equation for the isotropic osculating sphere (39), with respect to an RM frame and its associated bivector frame, can be written as
(45) 
where .
Theorem 5.1
An admissible regular curve lies on the surface of a sphere if and only if its normal development, i.e., the curve , lies on a line not passing through the origin. In addition, is a spherical curve of cylindrical type with radius if and only if is constant and equal to .
Proof
The condition of being spherical implies that the isotropic osculating spheres are all the same and equal to the sphere that contains the curve. This condition demands
(46) 
and
(47) 
The first condition gives
(48)  
which, by taking into account the linear independence of , implies
(49) 
On the other hand, condition (47) implies
(50)  
where we used that to obtain the second equality. If the curve is not of cylindrical type, we can not have , which is equivalent to , and then we conclude that for a parabolic spherical curve the normal development lies on a line not passing through the origin.
On the other hand, if the curve is of cylindrical type , taking the derivative gives
(51) 
Then . We have that and, therefore, and is a constant.
Reciprocally, if is a (nonzero) constant, define . Taking the derivative gives and then is a constant. Clearly we have . ∎
Remark 3
In the discussion above, we can also use the Frenet frame instead of an RM one. In this case, spherical curves may be characterized by .
Proposition 2
An admissible regular curve lies on a plane if and only if its normal development lies on a line passing through the origin.
Proof
It is known that is a plane curve if and only if all its osculating planes are equal to the plane that contains the curve. Define a function , where and (the idea here is that a plane can be represented through a unit vector in the Euclidean sense). Taking the derivatives of twice and demanding a contact of order 2, we have
(53) 
From these equations we deduce that
(54) 
where, by applying the definition of the Frenet and RM bivectors, we can write .
The condition of being a plane curve is equivalent to . This leads to
(55)  
where we used that , , , and .
Finally, it is easy to see that the planarity condition, i.e., , is equivalent to . We then deduce that it is equivalent to and then lies on a line passing through the origin. ∎
6 Differential geometry in semiisotropic space
Following the CayleyKlein paradigm, we must specify an absolute figure in order to build the semiisotropic space. Here, the semiisotropic absolute is composed by a plane, identified with , and a degenerate quadric of index one, identified with (
Let us denote a projectivity in by
(56) 
Imposing that and should be preserved leads to and , respectively.
A projectivity that preserves the absolute figure is said to be a direct projectivity if it takes to , i.e., goes in , and an indirect projectivity if it takes to (), i.e., goes in . The coefficients of a direct projectivity should satisfy the following relations
(57) 
Adding and subtracting the equations above leads to and .
Going to affine coordinates and denoting , , , , , and (), defines the group of semiisotropic direct similarities
(58) 
Let us introduce a metric in according to
(59) 
If we apply a transformation from to , then the norm induced by the metric above satisfies