Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space CH^2 with any specified value of the Hopf principal curvature less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in CH^2.
It is known that a tube over a Kahler submanifold in a complex form is a Hopf hypersurface. In some sense the reverse statement is true: a connected compact generic immersed C^(2n-1) regular Hopf hypersurface in the complex projective plane is a tube iver an irreducible algebraic variety. In the complex hyperbolic space a connected compact generic immersed C^(2n-1) regular Hopf hypersurface is a geodesic hypersphere
A Hopf hypersurface in a (para-)Kaehler manifold is a real hypersurface for which one of the principal directions of the second fundamental form is the (para-)complex dual of the normal vector. We consider particular Hopf hypersurfaces in the space of oriented geodesics of a non-flat space form of dimension greater than 2. For spherical and hyperbolic space forms, the oriented geodesic space admits a canonical Kaehler-Einstein and para-Kaehler-Einstein structure, respectively, so that a natural notion of a Hopf hypersurface exists. The particular hypersurfaces considered are formed by the orie…
We give a geometric characterization of certain hypersurfaces of cohomogeneity one in the complex projective and hyperbolic planes. We also obtain some partial classifications of austere hypersurfaces and of Levi-flat hypersurfaces with constant mean curvature in these spaces.
A Hopf hypersurface in complex hyperbolic space CH^n is one in which the complex structure applied to the normal vector is a principal direction at each point. In this paper, Hopf hypersurfaces for which the corresponding principal curvature is small (relative to the ambient sectional curvature) are studied by means of a generalized Gauss map into a product of spheres, and it is shown that the hypersurface may be recovered from the image of this map, via an explicit formula.
The study of real hypersurfaces in pseudo-Riemannian complex space forms and para-complex space forms, which are the pseudo-Riemannian generalizations of the complex space forms, is addressed. It is proved that there are no umbilic hypersurfaces, nor real hypersurfaces with parallel shape operator in such spaces. Denoting by $J$ be the complex or para-complex structure of a pseudo-complex or para-complex space form respectively, a non-degenerate hypersurface of such space with unit normal vector field $N$ is said to be \em Hopf \em if the tangent vector field $JN$ is a principal direction. It …
In this paper, we introduce new notions of semi-parallel shape operators and structure Jacobi operators in complex two-plane Grassmannians $G_2({\mathbb C}^{m+2})$. By using such a semi-parallel condition, we give a complete classification of Hopf hypersurfaces in $G_2({\mathbb C}^{m+2})$.
We classify real hypersurfaces in complex space forms with constant principal curvatures and whose Hopf vector field has two nontrivial projections onto the principal curvature spaces. In complex projective spaces such real hypersurfaces do not exist. In complex hyperbolic spaces these are holomorphically congruent to open parts of tubes around the ruled minimal submanifolds with totally real normal bundle introduced by Berndt and Bruck. In particular, they are open parts of homogenous ones.
It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal submanifold in one of the three twistor spaces of the indefinite complex $2$-plane Grassmannian with respect to the natural para-quaternionic Kähler structure. We also identify these twistor spaces with…
This paper deals with a limiting case motivated by contact geometry. The limiting case of a tensorial characterization of contact hypersurfaces in Kahler manifolds leads to Hopf hypersurfaces whose maximal complex subbundle of the tangent bundle is integrable. It is known that in non-flat complex space forms and in complex quadrics such real hypersurfaces do not exist, but the existence problem in other irreducible Kahler manifolds is open. In this paper we construct explicitly a one-parameter family of homogeneous Hopf hypersurfaces, whose maximal complex subbundle of the tangent bundle is in…
In this paper, extending our previous joint work (Hu et al., Math Nachr 291:343--373, 2018), we initiate the study of Hopf hypersurfaces in the homogeneous NK (nearly Kähler) manifold $\mathbf{S}^3\times\mathbf{S}^3$. First, we show that any Hopf hypersurface of the homogeneous NK $\mathbf{S}^3\times\mathbf{S}^3$ does not admit two distinct principal curvatures. Then, for the important class of Hopf hypersurfaces with three distinct principal curvatures, we establish a complete classification under the additional condition that their holomorphic distributions $\{U\}^\perp$ are preserved by the…
We wish to attack the problems that H.~Anciaux and K.~Panagiotidou posed in [1], for non-degenerate real hypersurfaces in indefinite complex projective space. We will slightly change these authors' point of view, obtaining cleaner equations for the almost contact metric structure. To make the theory meaningful, we construct new families of non-degenerate Hopf real hypersurfaces whose shape operator is diagonalisable, and one Hopf example with degenerate metric and non-diagonalisable shape operator. Next, we obtain a rigidity result. We classify those real hypersurfaces which are $η$-umbilical.…
It is proved the non-existence of Hopf hypersurfaces in $G_{2}({\Bbb C}^{m+2})$, $m \geq 3$, whose normal Jacobi operator is semi-parallel, if the principal curvature of the Reeb vector field is non-vanishing and the component of the Reeb vector field in the maximal quaternionic subbundle ${\frak D}$ or its orthogonal complement ${\frak D}^{\bot}$ is invariant by the shape operator.
We classify Hopf hypersurfaces of non-flat complex space forms CP^m(4) and CH^m(-4), denoted jointly by CQ^m(4c), that are of 2-type in the sense of B. Y. Chen, via the embedding into a suitable (pseudo) Euclidean space of Hermitian matrices by projection operators. This complements and extends earlier classifications by Martinez-Ros (minimal case) and Udagawa (CMC case), who studied only hypersurfaces of CP^m and assumed them to have constant mean curvature instead of being Hopf. Moreover, we rectify some claims in Udagawa's paper to give a complete classification of constant-mean-curvature-h…
In this paper, we study the relationship between isoparametric hypersurfaces and hypersurfaces with constant principal curvatures in Finsler spaces. We give some examples of isoparametric hypersurfaces with (non)constant principal curvatures on Randers manifolds with nonconstant flag curvatures. Furthermore, we construct an example of a conformally flat Randers manifold which admits a family of nonisoparametric hyperplanes with constant principal curvatures.
It is known that hypersurfaces in $CP^n$ or $CH^n$ for which the number $g$ of distinct principal curvatures satisfied $g \le 2$ must belong to a standard list of Hopf hypersurfaces with constant principal curvatures, provided that $n \ge 3$. In this paper, we construct a 2-parameter family of non-Hopf hypersurfaces in $CP^2$ and $CH^2$ with $g=2$ and show that every non-Hopf hypersurface with $g=2$ is locally of this form.
A classical theorem of A.D. Alexandrov says that a connected compact smooth hypersurface in Euclidean space with constant mean curvature must be a sphere. We give exposition to some results on symmetry properties of hypersurfaces with ordered mean curvature and associated variations of the Hopf Lemma. Some open problems will be discussed.
In this paper, we study hypersurfaces of Euclidean spaces with arbitrary dimension. First, we obtain some results on $\mbox{H}$-hypersurfaces. Then, we give the complete classification of $\mbox{H}$-hypersurfaces with 3 distinct curvatures. We also give explicit examples.
We find the first examples of real hypersurfaces with two nonconstant principal curvatures in complex projective and hyperbolic planes, and we classify them. It turns out that each such hypersurface is foliated by equidistant Lagrangian flat surfaces with parallel mean curvature or, equivalently, by principal orbits of a cohomogeneity two polar action.
In this note we construct an explicit example of a (compact) conformally flat Riemannian manifold which admits a totally geodesic foliation of codimension one with no isoparametric leaves. This answers negatively the question: is every hypersurface with constant principal curvatures isoparametric?
Let $x$ be an $m$-dimensional umbilic-free hypersurface in an $(m+1)$-dimensional unit sphere $\mathbb{S}^{m+1}(m\geq3)$. One of important questions is to classify hypersurfaces with two distinct principal curvatures. In this paper, we classify and explicitly express the hypersurfaces with two distinct principal curvatures and closed Moebius form, and then we characterize and classify conformally flat hypersurfaces of dimension larger than 3.
In this paper, we have studied biharmonic hypersurfaces in space form $\bar{M}^{n+1}(c)$ with constant sectional curvature $c$. We have obtained that biharmonic hypersurfaces $M^{n}$ with at most three distinct principal curvatures in $\bar{M}^{n+1}(c)$ has constant mean curvature. We also obtain the full classification of biharmonic hypersurfaces with at most three distinct principal curvatures in arbitrary dimension space form $\bar{M}^{n+1}(c)$.
In this paper, first, we investigate the commuting property between the normal Jacobi operator~${\bar R}_N$ and the structure Jacobi operator~$R_ξ$ for Hopf real hypersurfaces in the complex quadric~$Q^m = SO_{m+2}/SO_mSO_2$, $m \geq 3$, which is defined by ${\bar R}_N R_ξ = R_ξ{\bar R}_N$. Moreover, a new characterization of Hopf real hypersurfaces with $\mathfrak A$-principal singular normal vector field in the complex quadric~$Q^{m}$ is obtained. By virtue of this result, we can give a remarkable classification of Hopf real hypersurfaces in the complex quadric~$Q^{m}$ with commuting Jacobi …
We obtain a complete classification of proper biharmonic hypersurfaces with at most three distinct principal curvatures in sphere spaces with arbitrary dimension. Precisely, together with known results of Balmuş-Montaldo-Oniciuc, we prove that compact orientable proper biharmonic hypersurfaces with at most three distinct principal curvatures in sphere spaces $\mathbb S^{n+1}$ are either the hypersphere $\mathbb S^n(1/\sqrt2)$ or the Clifford hypersurface $\mathbb S^{n_1}(1/\sqrt2)\times\mathbb S^{n_2}(1/\sqrt2)$ with $n_1+n_2=n$ and $n_1\neq n_2$. Moreover, we also show that there does not exi…
Given a vector field $X$ in a Riemannian manifold, a hypersurface is said to have a canonical principal direction relative to $X$ if the projection of $X$ onto the tangent space of the hypersurface gives a principal direction. We give different ways for building these hypersurfaces, as well as a number of useful characterizations. In particular, we relate them with transnormal functions and eikonal equations. With the further condition of having constant mean curvature (CMC) we obtain a characterization of the canonical principal direction surfaces in Euclidean space as Delaunay surfaces. We a…
We study the principal configurations around an isolated $η$-umbilical point on a generic spacelike surface $S$ immersed in a null hypersurface $M$ of Minkowski space $\mathbb{R}_1^4$ relative to a well-defined null vector field $η$ orthogonal to the surface $S$. In the particular case of $M$ being a null rotation hypersurface of $\mathbb{R}_1^4$ we also recover the local Darbouxian principal configurations around that kind of $η$-umbilical points.
In this article, we study the biharmonic hypersurfaces in the Sasakian space form with the induced metric of tensor Ricci. We find the existence necessary and sufficient condition of the biharmonic hypersurfaces there. We show that the biharmonic Hopf hypersurfaces are minimal where gradient of the mean curvature is in direction of the structural vector fields. Furthermore, we prove that does not exist any biharmonic Hopf hypersurfaces when the gradient of the mean curvature is a principal direction.
The well known Chen's conjecture on biharmonic submanifolds states that a biharmonic submanifold in a Euclidean space is a minimal one ([10-13, 16, 18-21, 8]). For the case of hypersurfaces, we know that Chen's conjecture is true for biharmonic surfaces in $\mathbb E^3$ ([10], [24]), biharmonic hypersurfaces in $\mathbb E^4$ ([23]), and biharmonic hypersurfaces in $\mathbb E^m$ with at most two distinct principal curvatures ([21]). The most recent work of Chen-Munteanu [18] shows that Chen's conjecture is true for $δ(2)$-ideal hypersurfaces in $\mathbb E^m$, where a $δ(2)$-ideal hypersurface i…
If $M$ is an isoparametric hypersurface in a sphere $S^n$ with four distrinct principal curvatures, then the principal curvatures $κ_1,...,κ_4$ can be ordered so that their multiplicities satisfy $m_1=m_2$ and $m_3=m_4$, and the cross-ratio $r$ of the principal curvatures (the Lie curvature) equals -1. In this paper, we prove that if $M$ is an irreducible connected proper Dupin hypersurface in $\R^n$ (or $S^n$) with four distinct principal curvatures with multiplicities $m_1=m_2 \geq 1$ and $m_3=m_4=1$, and constant Lie curvature $r=-1$, then $M$ is equivalent by Lie sphere transformation to a…
In \cite{S 2017}, Suh gave a non-existence theorem for Hopf real hypersurfaces in the complex quadric with parallel normal Jacobi operator. Motivated by this result, in this paper, we introduce some generalized conditions named $\mathcal C$-parallel or Reeb parallel normal Jacobi operators. By using such weaker parallelisms of normal Jacobi operator, first we can assert a non-existence theorem of Hopf real hypersurfaces with $\mathcal C$-parallel normal Jacobi operator in the complex quadric $Q^{m}$, $m \geq 3$. Next, we prove that a Hopf real hypersurface has Reeb parallel normal Jacobi opera…
A triharmonic map is a critical point of the tri-energy in the space of smooth maps between two Riemannian manifolds. In this paper, we prove that if $M^n (n\ge 4)$ is a CMC proper triharmonic hypersurface in a space form $\mathbb{R}^{n+1}(c)$ with four distinct principal curvatures and the multiplicity of the zero principal curvature is at most one, then $M$ has constant scalar curvature. In particular, we obtain any CMC proper triharmonic hypersurface in $\mathbb{R}^5(c)$ is minimal when $c\le 0$, which supports the generalized Chen's conjecture. We also give some characterizations of CMC pr…
In this paper, we classify the hypersurfaces in $\mathbb{S}^{n}\times \mathbb{R}$ and $\mathbb{H}^{n}\times\mathbb{R}$, $n\neq 3$, with $g$ distinct constant principal curvatures, $g\in\{1,2,3\}$, where $\mathbb{S}^{n}$ and $\mathbb{H}^{n}$ denote the sphere and hyperbolic space of dimension $n$, respectively. We prove that such hypersurfaces are isoparametric in those spaces. Furthermore, we find a necessary and sufficient condition for an isoparametric hypersurface in $\mathbb{S}^{n}\times \mathbb{R}\subset \mathbb{R}^{n+2}$ and $\mathbb{H}^{n}\times\mathbb{R}\subset \mathbb{L}^{n+2}$ with f…
In this paper, we study hypersurfaces in $\mathbb{H}^2\times\mathbb{H}^2$. We first classify the hypersurfaces with constant principal curvatures and constant product angle function. Then, we classify homogeneous hypersurfaces and isoparametric hypersurfaces, respectively. Finally, we classify the hypersurfaces with at most two distinct constant principal curvatures, as well as those with three constant principal curvatures under some additional conditions.
There are several kinds of classification problems for real hypersurfaces in complex two-plane Grassmannians $G_2({\mathbb C}^{m+2})$. Among them, Suh classified Hopf hypersurfaces $M$ in $G_2({\mathbb C}^{m+2})$ with Reeb parallel Ricci tensor in Levi-Civita connection. In this paper, we introduce a new notion of generalized Tanaka-Webster Reeb parallel Ricci tensor for $M$ in $G_2({\mathbb C}^{m+2})$. By using such parallel conditions, we give complete classifications of Hopf hypersurfaces in $G_2({\mathbb C}^{m+2})$.
In [16] there was proved that any biharmonic hypersurface with at most three distinct principal curvatures in space forms has constant mean curvature. At the very last step of the proof, the argument relied on the fact that the resultant of two polynomials is a non-zero polynomial. In this paper we point out that, in fact, there is a case, and only one, when this resultant is the zero polynomial and therefore the original proof is not fully complete. Further, we prove that in this special case we still obtain that the hypersurface has constant mean curvature.
We classify the homogeneous and isoparametric hypersurfaces of $\mathbb{S}^2\times\mathbb{S}^2$. In the classification, besides the hypersurfaces $\mathbb{S}^1(r)\times\mathbb{S}^2,\,r\in (0,1]$, it appears a family of hypersurfaces with three different constant principal curvatures and zero Gauss-Kronecker curvature. Also we classify the hypersurfaces of $\mathbb{S}^2\times\mathbb{S}^2$ with at most two constant principal curvatures and, under certain conditions, with three constant principal curvatures.
We prove that an isoparametric hypersurface with four principal curvatures and multiplicity pair $(7,8)$ is either the one constructed by Ozeki and Takeuchi, or one of the two constructed by Ferus, Karcher, and Münzner. This completes the classification of isoparametric hypersurfaces in spheres that É. Cartan initiated in the late 1930s.
We construct uncountably many isoparametric families of hypersurfaces in Damek-Ricci spaces. We characterize those of them that have constant principal curvatures by means of the new concept of generalized Kahler angle. It follows that, in general, these examples are inhomogeneous and have nonconstant principal curvatures. We also find new cohomogeneity one actions on quaternionic hyperbolic spaces, and an isoparametric family of inhomogeneous hypersurfaces with constant principal curvatures in the Cayley hyperbolic plane.
A $k$-harmonic map is a critical point of the $k$-energy in the space of smooth maps between two Riemannian manifolds. In this paper, we prove that if $M^{n} (n\ge 3)$ is a CMC proper triharmonic hypersurface with at most three distinct principal curvatures in a space form $\mathbb{R}^{n+1}(c)$, then $M$ has constant scalar curvature. This supports the generalized Chen's conjecture when $c\le 0$. When $c=1$, we give an optimal upper bound of the mean curvature $H$ for a non-totally umbilical proper CMC $k$-harmonic hypersurface with constant scalar curvature in a sphere. As an application, we …
In this paper we study real hypersurfaces in the complex quadric space $Q^m$ whose structure Jacobi operator commutes with their structure tensor field. We show that the Reeb curvature $α$ of such hypersurfaces is constant and if $α$ is non-zero then the hypersurface is a tube around a totally geodesic submanifold $\mathbb{C} P^k \subset Q^m$, where $m=2k$. We also consider Reeb flat hypersurfaces, namely, when the Reeb curvature is zero. We show that the tube around $\mathbb{C} P^k \subset Q^m$ ($m=2k$), with radius $\fracπ{4}$ is the only Reeb flat Hopf hypersurface with commuting Ricci tens…
In this article we classify the conformally flat Euclidean hypersurfaces of dimension three with three distinct principal curvatures of $\mathbb{R}^4$, $\mathbb{S}^3\times \mathbb{R}$ and $\mathbb{H}^3\times \mathbb{R}$ with the property that the tangent component of the vector field $\partial/\partial t$ is a principal direction at any point. Here $\partial/\partial t$ stands for either a constant unit vector field in $\mathbb{R}^4$ or the unit vector field tangent to the factor $\mathbb{R}$ in the product spaces $\mathbb{S}^3\times \mathbb{R}$ and $\mathbb{H}^3\times \mathbb{R}$, respectivel…
In this paper, we study biconservative hypersurfaces of index 2 in $\mathbb E^{5}_{2}$. We give the complete classification of biconservative hypersurfaces with diagonalizable shape operator at exactly three distinct principal curvatures. We also give an explicit example of biconservative hypersurfaces with four distinct principal curvatures.
In this paper, we investigate Einstein hypersurfaces of the warped product $I\times_{f}\mathbb{Q}^{n}(c)$, where $\mathbb{Q}^{n}(c)$ is a space form of curvature $c$. We prove that $M$ has at most three distinct principal curvatures and that it is locally a multiply warped product with at most two fibers. We also show that exactly one or two principal curvatures on an open set imply constant sectional curvature on that set. For exactly three distinct principal curvatures this is no longer true, and we classify such hypersurfaces provided it does not have constant sectional curvature and a cert…
Let $M$ be an isoparametric hypersurface in the sphere $S^n$ with four distinct principal curvatures. Münzner showed that the four principal curvatures can have at most two distinct multiplicities $m_1, m_2$, and Stolz showed that the pair $(m_1,m_2)$ must either be $(2,2)$, $(4,5)$, or be equal to the multiplicities of an isoparametric hypersurface of FKM-type, constructed by Ferus, Karcher and Münzner from orthogonal representations of Clifford algebras. In this paper, we prove that if the multiplicities satisfy $m_2 \geq 3m_1 - 1$, then the isoparametric hypersurface $M$ must be of FKM-type…
We determine non-Hopf hypersurfaces with constant mean curvature in the complex projective plane which attain equality in a basic inequality between the maximum Ricci curvature and the squared mean curvature.
The classification of isoparametric hypersurfaces with four principal curvatures in spheres in [2] hinges on a crucial characterization, in terms of four sets of equations of the 2nd fundamental form tensors of a focal submanifold, of an isoparametric hypersurface of the type constructed by Ferus, Karcher and Münzner. The proof of the characterization in [2] is an extremely long calculation by exterior derivatives with remarkable cancellations, which is motivated by the idea that an isoparametric hypersurface is defined by an over-determined system of partial differential equations. Therefore,…
We consider convex hypersurfaces for which the ratio of principal curvatures at each point is bounded by a function of the maximum principal curvature with limit 1 at infinity. We prove that the ratio of circumradius to inradius is bounded by a function of the circumradius with limit 1 at zero. We apply this result to the motion of hypersurfaces by arbitrary speeds which are smooth homogeneous functions of the principal curvatures of degree greater than one. For smooth, strictly convex initial hypersurfaces with ratio of principal curvatures sufficiently close to one at each point, we prove th…
Using the Blaschke-Berwald metric and the affine shape operator of a hypersurface M in the (n+1)-dimensional real affine space we can define some generalized curvature tensor named the Opozda-Verstraelen affine curvature tensor. In this paper we determine curvature conditions of pseudosymmetry type expressed by this tensor for locally strongly convex hypersurfaces M, n>2, with two distinct affine principal curvatures or with three distinct affine principal curvatures assuming that at least one affine principal curvature has multiplicity 1.
The notion of ideal immersions was introduced by the author in 1990s. Roughly speaking, an ideal immersion of a Riemannian manifold into a real space form is a nice isometric immersion which produces the least possible amount of tension from the ambient space at each point. In this paper, we classify all ideal hypersurfaces with two distinct principal curvatures in the Euclidean 4-space $\mathbb E^4$. Moreover, we prove that such ideal hypersurfaces are always rigid. Furthermore, we show that non-minimal ideal hypersurfaces with three distinct principal curvatures in $\mathbb E^4$ are also rig…
The classification work [5], [9] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair $\{4,5\},\{6,9\}$ or $\{7,8\}$ in the sphere. By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $\{4,5\}$ in $S^{19}$ is homogeneous, and, moreover, an isoparametric hypersurface with four principal curvatures and multiplicities $\{6,9\}$ in $S^{31}$ is either the inhomogen…
In this paper, we obtain some properties of biconservative Lorentz hypersurface $M_{1}^{n}$ in $E_{1}^{n+1}$ having shape operator with complex eigen values. We prove that every biconservative Lorentz hypersurface $M_{1}^{n}$ in $E_{1}^{n+1}$ whose shape operator has complex eigen values with at most five distinct principal curvatures has constant mean curvature. Also, we investigate such type of hypersurface with constant length of second fundamental form having six distinct principal curvatures.
In this sequel, employing more commutative algebra than that explored in \cite{CCJ}, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $(3,4)$ in $S^{15}$ is one constructed by Ozeki-Takeuchi \cite[I]{OT} and Ferus-Karcher-Münzner \cite{FKM}, referred to collectively as of OT-FKM type. In fact, this new approach also gives a considerably simpler, both structurally and technically, proof \cite{CCJ} that an isoparametric hypersurface with four principal curvatures in spheres with the multiplicity constraint $m_2\geq 2m_1-1$ is of OT-FKM type, which left…
