Abstract

We define the generalized golden- and product-shaped hypersurfaces in real space forms. A hypersurface in real space forms , , and is isoparametric if it has constant principal curvatures. Based on the classification of isoparametric hypersurfaces, we obtain the whole families of the generalized golden- and product-shaped hypersurfaces in real space forms.

1. Introduction

The golden ratio, which sometimes is called golden number, golden section, golden proportion, or golden mean, has many applications in many parts of mathematics, natural sciences, music, art, philosophies, and computational science [1]. In the past few years, the golden ratio has played a more and more significant role in modern physical research and atomic physics [2]. The golden ratio also has interesting properties in topology of four-manifolds, in conformal field theory, in mathematical probability theory, in Cantorian spacetime [3], and in differential geometry.

The notion of golden structure on a manifold was introduced in [4, 5] as a -tensor field on which satisfies the equation where is the usual Kronecker tensor field of . It attracts many authors’ attentions to focus on a class of well-known objects, namely, hypersurfaces in real space forms. It is interesting to notice that they are hyperspheres, a hyperbolic hyperplane in the hyperbolic case, or a generalized Clifford torus in the spherical space form, and this can be a new motivation to see the sphere as a golden-shaped surface. A well-known result of parallelism for the shape operators satisfying a quadratic equation is applied also for the spherical framework. More precisely, all golden (as well as product) hypersurfaces in real space forms are parallel hypersurfaces.

Crasmareanu and Hreţcanu derived a natural correspondence between golden structures and almost product structures in [4]. Recently, the golden- and product-shaped hypersurfaces in real space forms were defined and the whole families of golden- and product-shaped hypersurfaces were obtained in [6]. Similar to the golden structure on a manifold , in [7], Crasmareanu and Hreţcanu defined the metallic structure on a manifold . The metallic structure on a manifold is a -tensor field on satisfying the equation where is the usual Kronecker tensor field of and are positive integers [7]. In the present study, the notion of a metallic shaped hypersurface was defined and the full classification of metallic shaped hypersurfaces in real space forms was obtained in [8].

In this paper, we define the generalized golden- and product-shaped hypersurfaces in real space forms. Based on the classification of isoparametric hypersurfaces, we obtain the whole families of the generalized golden- and product-shaped hypersurfaces in real space forms.

2. Generalized Golden-Shaped Hypersurfaces

Let be an oriented embedded hypersurface of the real space form and, for a certain normal field , let be the associated shaped operator (see [9]); then will be the principal curvatures of (see [10] for the semi-Euclidean case). We will take and consequently , , respectively, .

Definition 1. is called a golden-shaped hypersurface if is a golden structure; that is, , where is the identity on the tangent bundle of .

Definition 2. is called a metallic shaped hypersurface if the shaped operator is a metallic structure.

In this paper, we give the definition of generalized golden-shaped hypersurfaces.

Definition 3. is called a generalized golden-shaped hypersurface if is a generalized golden structure; that is, , where is the identity on the tangent bundle of and are real constants satisfying .

Cartan’s Identity. Let be an isoparametric hypersurface with distinct principal curvatures , having respective multiplicities . If , for each , ,

The important equation, known as Cartan’s identity, is crucial in Cartan’s work on isoparametric hypersurfaces.

In the case , there are at most two distinct principal curvatures and if there are two, then one of them must be zero.

In the case , there are at most two distinct principal curvatures and if there are two, then they are reciprocals of each other.

In the case and if there are two distinct principal curvatures, then they are negative reciprocals of each other.

Suppose is a generalized golden-shaped hypersurface. It follows that the principal curvatures of , as eigenvalues of , are and if . The principal curvatures of , as eigenvalues of , especially, are if . According to [11], the manifold is an isoparametric hypersurface and this yields the following theorems.

Theorem 4. The only generalized golden-shaped hypersurfaces of are as follows.
Case 1 (If ).
(1) If , (2) If , which is totally geodesic and is isometric to . In this case, the second fundamental form is zero.
Case 2 (If ).
(1) If , (2) If , there are the following three cases:(i); in this case, the second fundamental form is zero; is totally geodesic and is isometric to ;(ii) ;(iii) for , with .

Proof.
Case 1. Suppose and ; we distinguish the following two cases.
(1) If and , we get and ; then is totally umbilical and .
(2) If and , we get and ; then is totally umbilical and which is totally geodesic and is isometric to .
Case 2. Suppose ; we distinguish the following cases.
(1) If and , we get . Then, is totally umbilical and which presents the first above sphere.
If and , we get . Then, is totally umbilical too and which presents the second above sphere.
(2) If , then and , , or , .(i)If , we get . Then is totally umbilical and . In this case, the second fundamental form is zero; is totally geodesic and is isometric to .(ii)If , we get . Then is totally umbilical and .(iii)For , if and , then and . We get with .

Recall that the hyperbolic space in the upper half-space model is defined as and the isoparametric hypersurfaces of it are [12, P. 252].

(i) , for with ; is totally geodesic and is in fact just .

(ii) , for with , where ; then ; in this case is isometric to .

(iii) with ; is isometric to .

(iv) with , where ; in this case is isometric to .

(v) , for with , where .

Theorem 5. The only generalized golden-shaped hypersurfaces of are as follows.
Case 1 (If ).
(i) If , for , In this case ; is totally geodesic and is in fact just .
(ii) If , for , which is isometric to .
(iii) If , which is isometric to .
(iv) If , which is isometric to .
Case 2 (If ).
(i) Suppose ; there are the following four cases.(1)If , for , In this case ; is totally geodesic and is in fact just .(2)If , for , which is isometric to .(3)If , which is isometric to .(4)If . we get and : which is isometric to .(ii) Suppose ; there are the following four cases.(1)If , for , In this case ; is totally geodesic and is in fact just .(2)If , for , which is isometric to .(3)If , which is isometric to .(4)If , which is isometric to .(iii) Suppose , and , for .
If , with .

Proof.
Case 1. Suppose , ; we distinguish the following four cases.
(i) If , we get and . Then for In this case ; is totally geodesic and is in fact just .
(ii) If , we get and . Then, for , which is isometric to .
(iii) If , we get and . Then with which is isometric to .
(iv) If , we get and . Then which is isometric to .
Case 2 (If ).
(i) Suppose ; there are the following four cases.(1)If , we get . That is to say, and . Then, for , . In this case ; is totally geodesic and is in fact just .(2)If , we get and . Then, for , , which is isometric to .(3)If , we get and . Then , which is isometric to .(4)If , we get and . Then , which is isometric to .(ii) Suppose ; there are the following four cases.(1)If , we get . That is to say, and . Then, for , In this case ; is totally geodesic and is in fact just .(2)If , we get and . Then, for , , which is isometric to .(3)If , we get and . Then , which is isometric to .(4)If , we get and . Then , which is isometric to .(iii) Suppose , and , for .
If , we get and , with .

In the sequel, let be a hypersurface of which is isoparametric of type ; that is, the constant principal curvatures of are . It is known (see [12, 13]) that and for we obtain the following.

(i) For , is umbilical: for with . is isometric to .

(ii) For , is the generalized Clifford torus with and . From [14, p. 86] we have and with .

Theorem 6. The only generalized golden-shaped hypersurfaces of are as follows.
Case 1 (If ). Consider the following: which is isometric to .
Case 2 (If ).
(i) For , which is isometric to ; which is isometric to .
(ii) If and for , with and for .

Proof.
Case 1. Suppose , ; we get and . Then which is isometric to .
Case 2. Suppose ; we distinguish the following two cases:
(i) If , we get and which is isometric to .
If , we get and which is isometric to .
(ii) If and, for , we get and , for , , , and . ConsiderThen with .

Remark 7. Theorems 4, 5, and 6 are the generalization of the results in [6]. That is, when and , these three theorems are the same as theorems in [6].

3. Generalized Product-Shaped Hypersurfaces

In [4], it is proved that there exists a natural relationship between golden structures and almost product structures and this naturally leads to the following definition.

Definition 8. is called product-shaped hypersurface of if .

In this paper, we give the definition of generalized product-shaped hypersurface of .

Definition 9. is called generalized product-shaped hypersurface of if , where is the identity on the tangent bundle of and is a constant satisfying .

It follows that the principal curvatures of , as eigenvalues of , are the golden mean and if . The principal curvatures of , as eigenvalues of , especially, are the golden mean if . With similar computations as in Section 2, we obtain the following theorem.

Theorem 10. The product-shaped hypersurfaces are as follows:
(1) For (i)if , which is totally geodesic and is isometric to . In this case, the second fundamental form is zero;(ii)if , (2) For (i)if , for , in this case ; is totally geodesic and is in fact just ;(ii)if , for which is isometric to ;(iii)if , which is isometric to ;(iv) if , which is isometric to .(3) For (i)if , which is isometric to ;(ii)if , which is isometric to .If , especially, and, for ,

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

This work is supported by NSFC (nos. 11371076 and 11431009).