We give some general results on proper-biharmonic submanifolds of a complex space form and, in particular, of the complex projective space. These results are mainly concerned with submanifolds with constant mean curvature or parallel mean curvature vector field. We find the relation between the bitension field of the inclusion of a submanifold $\bar{M}$ in $\mathbb{C}P^n$ and the bitension field of the inclusion of the corresponding Hopf-tube in $\mathbb{S}^{2n+1}$. Using this relation we produce new families of proper-biharmonic submanifolds of $\mathbb{C}P^n$. We study the geometry of biharmonic curves of $\mathbb{C}P^n$ and we characterize the proper-biharmonic curves in terms of their curvatures and complex torsions.
We give necessary and sufficient conditions for a Lagrangian submanifold of a Kähler manifold to be biharmonic. Furthermore, we classify biharmonic PNMC Lagrangian submanifolds in the complex space forms.
In this note, we give a brief survey on some recent developments of biharmonic submanifolds. After reviewing some recent progress on Chen's biharmonic conjecture, the Generalized Chen's conjecture on biharmonic submanifolds of non-positively curved manifolds, and some classifications of biharmonic submanifolds of spheres, we give a short list of some open problems in this topic.
In this paper, we derived biharmonic equations for pseudo-Riemannian submanifolds of pseudo-Riemannian manifolds which includes the biharmonic equations for submanifolds of Riemannian manifolds as a special case. As applications, we proved that a pseudo-umbilical biharmonic pseudo-Riemannian submanifold of a pseudo-Riemannian manifold has constant mean curvature, we completed the classifications of biharmonic pseudo-Riemannian hypersurfaces with at most two distinct principal curvatures, which were used to give four construction methods to produce proper biharmonic pseudo-Riemannian submanifol…
We construct biharmonic real hypersurfaces and Lagrangian submanifolds of Clifford torus type in $CP^n$ via the Hopf fibration; and get new examples of biharmonic submanifolds in $S^{2n+1}$ as byproducts .
We classify biharmonic submanifolds with certain geometric properties in Euclidean spheres. For codimension 1, we determine the biharmonic hypersurfaces with at most two distinct principal curvatures and the conformally flat biharmonic hypersurfaces. We obtain some rigidity results for pseudo-umbilical biharmonic submanifolds of codimension 2 and for biharmonic surfaces with parallel mean curvature vector field. We also study the type, in the sense of B-Y. Chen, of compact proper biharmonic submanifolds with constant mean curvature in spheres.
In this paper we construct proper biharmonic submanifolds into various types of ellipsoids. We also prove, in this context, some useful composition properties which can be used to produce large families of new proper biharmonic immersions.
We study biharmonic hypersurfaces and biharmonic submanifolds in a Riemannian manifold. One of interesting problems in this direction is Chen's conjecture which says that any biharmonic submanifold in a Euclidean space is minimal. From the invariant equation for biharmonic submanifolds, we derive a fundamental identity involving the mean curvature vector field, and using this, we prove Chen's conjecture on biharmonic submanifolds in a Euclidean space. More generally, it is proved that any biharmonic submanifold in a space form of nonpositively sectional curvature is minimal. Furthermore we pro…
f-Biharmonic maps are the extrema of the f-bienergy functional. f-biharmonic submanifolds are submanifolds whose defining isometric immersions are f-biharmonic maps. In this paper, we prove that an f-biharmonic map from a compact Riemannian manifold into a non-positively curved manifold with constant f-bienergy density is a harmonic map; any f-biharmonic function on a compact manifold is constant, and that the inversions about $S^m$ for $m\ge 3$ are proper f-biharmonic conformal diffeomorphisms. We derive f-biharmonic submanifolds equations and prove that a surface in a manifold $(N^n, h)$ is …
We find the characterization of maximum dimensional proper-biharmonic integral $\mathcal{C}$-parallel submanifolds of a Sasakian space form and then classify such submanifolds in a 7-dimensional Sasakian space form. Working in the sphere $\mathbb{S}^7$ we explicitly find all 3-dimensional proper-biharmonic integral $C$-parallel submanifolds. We also determine the proper-biharmonic parallel Lagrangian submanifolds of $\mathbb{C}P^3$.
We classify the biharmonic Legendre curves in a Sasakian space form, and obtain their explicit parametric equations in the $(2n+1)$-dimensional unit sphere endowed with the canonical and deformed Sasakian structures defined by Tanno. Then, composing with the flow of the Reeb vector field, we transform a biharmonic integral submanifold into a biharmonic anti-invariant submanifold. Using this method we obtain new examples of biharmonic submanifolds in spheres and, in particular, in $\mathbb{S}^{7}$.
We generalize the Ruh-Vilms problem by characterizing the submanifolds in Euclidean spaces with proper biharmonic Gauss map and we construct examples of such hypersurfaces.
We find some integral formulas of Simons and Bochner type and use them to study biharmonic and biconservative submanifolds in space forms. We obtain rigidity results that in the biharmonic case represent partial answers to two well-known conjectures on such submanifolds in spheres.
In [5], D. Fetcu and C. Oniciuc presented the classification result for biharmonic $\mathcal{C}$-parallel Legendrian submanifolds in $7$-dimensional Sasakian space forms. However, it is incomplete. In this paper, all such submanifolds are explicitly determined.
We present some results on the boundedness of the mean curvature of proper biharmonic submanifolds in spheres. A partial classification result for proper biharmonic submanifolds with parallel mean curvature vector field in spheres is obtained. Then, we completely classify the proper biharmonic submanifolds in spheres with parallel mean curvature vector field and parallel Weingarten operator associated to the mean curvature vector field.
We continue our study [Ou4] of f-biharmonic maps and f-biharmonic submanifolds by exploring the applications of f-biharmonic maps and the relationships among biharmonicity, f-biharmonicity and conformality of maps between Riemannian manifolds. We are able to characterize harmonic maps and minimal submanifolds by using the concept of f-biharmonic maps and prove that the set of all f-biharmonic maps from 2-dimensional domain is invariant under the conformal change of the metric on the domain. We give an improved equation for f-biharmonic hypersurfaces and use it to prove some rigidity theorems a…
In the present paper we survey the most recent classification results for proper biharmonic submanifolds in unit Euclidean spheres. We also obtain some new results concerning geometric properties of proper biharmonic constant mean curvature submanifolds in spheres.
We obtain several rigidity results for biharmonic submanifolds in $\mathbb{S}^{n}$ with parallel normalized mean curvature vector field. We classify biharmonic submanifolds in $\mathbb{S}^{n}$ with parallel normalized mean curvature vector field and with at most two distinct principal curvatures. In particular, we determine all biharmonic surfaces with parallel normalized mean curvature vector field in $\mathbb{S}^n$. Then we investigate, for (not necessarily compact) proper biharmonic submanifolds in $\mathbb{S}^n$, their type in the sense of B-Y. Chen. We prove: (i) a proper biharmonic subma…
The generalized Chen's conjecture on biharmonic submanifolds asserts that any biharmonic submanifold of a non-positively curved manifold is minimal (see e.g., [CMO1], [MO], [BMO1], [BMO2], [BMO3], [Ba1], [Ba2], [Ou1], [Ou2], [IIU]). In this paper, we prove that this conjecture is false by constructing foliations of proper biharmonic hyperplanes in a 5-dimensional conformally flat space with negative sectional curvature. Many examples of proper biharmonic submanifolds of non-positively curved spaces are also given.
For a Legendrian submanifold $M$ of a Sasaki manifold $N$, we study harmonicity and biharmonicity of the corresponding Lagrangian cone submanifold C(M) of a Kaehler manifold C(N). We show that, if $C(M)$ is biharmonic in C(N), then it is harmonic; and $M$ is proper biharmonic in $N$ if and only if C(M) has a non-zero eigen-section of the Jacobi operator with the eigenvalue $m=dim M$.
In this note, we classify biharmonic submanifolds in a sphere defined by bi-eigenmaps ($Δ^2 ϕ=λϕ$) or buckling eigenmaps ($Δ^2 ϕ=-μΔϕ$). We then classify biharmonic bi-eigenmaps and buckling eigenmaps into spheres with constant energy density. The results can be viewed as generalizations of Takahashi's characterization of minimal submanifolds in a sphere by eigenmaps.
We consider biharmonic submanifolds in both generalized complex and Sasakian space forms. After giving the biharmonicity conditions for submanifolds in these spaces, we study different particular cases for which we obtain curvature estimates. We consider curves, complex and Lagrangian surfaces and hypersurfaces for the generalized complex space form as well as hypersurfaces, invariant and anti-invariant submanifolds in case of generalized Sasakian space form.
We find a Simons type formula for submanifolds with parallel mean curvature vector (pmc submanifolds) in product spaces $M^n(c)\times\mathbb{R}$, where $M^n(c)$ is a space form with constant sectional curvature $c$, and then we use it to prove a gap theorem for the mean curvature of certain complete proper-biharmonic pmc submanifolds, and classify proper-biharmonic pmc surfaces in $\mathbb{S}^n(c)\times\mathbb{R}$.
We consider a complete biharmonic immersed submanifold $M$ in an Euclidean space $\mathbb{E}^N$. Assume that the immersion is proper, that is, the preimage of every compact set in $\mathbb{E}^N$ is also compact in $M$. Then, we prove that $M$ is minimal. It is considered as an affirmative answer to the global version of Chen's conjecture for biharmonic submanifolds.
We study f-biharmonic and bi-f-harmonic submanifolds in both generalized complex and Sasakian space forms. We prove necessary and sufficient condition for f-biharmonicity and bi-f-harmonicity in the general case and many particular cases. Some non-existence results are also obtained.
We characterize biharmonic anti-invariant surfaces in $3$-dimensional generalized $(κ, μ)$-manifolds with non-zero constant mean curvature by means of the scalar curvature of the ambient space and the mean curvature. In addition, we give a method for constructing infinity many examples of biharmonic submanifolds in a certain $3$-dimensional generalized $(κ, μ)$-manifold. Moreover, we determine $3$-dimensional generalized $(κ, μ)$-manifolds which admit a certain kind of proper biharmonic foliation.
We prove some new rigidity results for proper biharmonic immersions in ${\mathbb S}^n$ of the following types: Dupin hypersurfaces; hypersurfaces, both compact and non-compact, with bounded norm of the second fundamental form; hypersurfaces satisfying intrinsic properties; PMC submanifolds; parallel submanifolds.
A submanifold $M$ of a Euclidean $m$-space is said to be biharmonic if $Δ\overrightarrow H=0$ holds identically, where $\overrightarrow H$ is the mean curvature vector field and $Δ$ is the Laplacian on $M$. In 1991, the author conjectured that every biharmonic submanifold of a Euclidean space is minimal. The study of biharmonic submanifolds is nowadays a very active research subject. In particular, since 2000 biharmonic submanifolds have been receiving a growing attention and have become a popular subject of study with many progresses. In this article, we provide a brief survey on recent devel…
We obtain the parametric equations of all biharmonic Legendre curves and Hopf cylinders in the 3-dimensional unit sphere endowed with the modified Sasakian structure defined by Tanno.
We classify all proper-biharmonic Legendre curves in a Sasakian space form and point out some of their geometric properties. Then we provide a method for constructing anti-invariant proper-biharmonic submanifolds in Sasakian space forms. Finally, using the Boothby-Wang fibration, we determine all proper-biharmonic Hopf cylinders over homogeneous real hypersurfaces in complex projective spaces.
In this paper, we solve affirmatively B.-Y. Chen's conjecture for hypersurfaces in the Euclidean space, under a generic condition. More precisely, every biharmonic hypersurface of the Euclidean space must be minimal if their principal curvatures are simple, and the associated frame field is irreducible.
We show that for an isometric immersion of a complete Riemannian manifold into a Riemannian manifold with non-positive curvature, the norm of the mean curvature vector field is square integrable, then it is minimal. This is a partial affirmative answer of the B. Y. Chen's conjecture.
We give a necessary and sufficient condition for orbits of commutative Hermann actions and actions of the direct product of two symmetric subgroups on compact Lie groups to be biharmonic in terms of symmetric triad with multiplicities. By this criterion, we determine all the proper biharmonic submanifolds in irreducible symmetric spaces of compact type which are singular orbits of commutative Hermann actions of cohomogeneity two. Also, in compact simple Lie groups, we determine all the biharmonic hypersurfaces which are regular orbits of actions of the direct product of two symmetric subgroups…
We consider a complete biharmonic submanifold $ϕ:(M,g)\rightarrow (N,h)$ in a Riemannian manifold with sectional curvature bounded from above by a non-negative constant $c$. Assume that the mean curvature is bounded from below by $\sqrt c$. If (i) $\int_M (|{\bf H}|^2-c)^{p}dv_g<\infty$, for some $0<p<\infty$, or (ii) the Ricci curvature of $M$ is bounded from below, then the mean curvature is $\sqrt c$. Furthermore, if $M$ is compact, then we obtain the same result without the assumption (i) or (ii).
In the biharmonic submanifolds theory there is a generalized Chen's conjecture which states that biharmonic submanifolds in a Riemannian manifold with non-positive sectional curvature must be minimal. This conjecture turned out false by a counter example of Y. L. Ou and L. Tang in \cite{Ou-Ta}. However it remains interesting to find out sufficient conditions which guarantee this conjecture to be true. In this note we prove that: 1. Any complete biharmonic submanifold (resp. hypersurface) $(M, g)$ in a Riemannian manifold $(N, h)$ with non-positive sectional curvature (resp. Ricci curvature) wh…
In this paper, we give a necessarly and sufficient condition for orbits of linear isotropy representations of Riemannian symmetric spaces are biharmonic submanifolds in hyperspheres in Euclidean spaces. In particular, we obtain examples of biharmonic submanifolds in hyperspheres whose co-dimension is greater than one.
We call indexed-biharmonic maps, the solutions of a particular non linear elliptic PDE of order 4. This is a generalization of harmonic maps which verifies that biharmonic maps are biharmonic of index 0. The goal of this article is to study submanifolds of $\mathbb{S}^n$ whose inclusion is non harmonic and indexed-biharmonic (i.e. proper indexed-biharmonic). We give some pseudo-umbilical and non pseudo-umbilical examples and we study the link between the proper indexed-biharmonic submanifolds of $\mathbb{S}^n$ and the proper conformal-harmonic submanifolds of $\mathbb{S}^n$.
A submanifold is said to be tangentially biharmonic if the bitension field of the isometric immersion that defines the submanifold has vanishing tangential component. The purpose of this paper is to prove that a surface in Euclidean $3$-space has tangentially biharmonic normal bundle if and only if it is either minimal, a part of a round sphere, or a part of a circular cylinder.
In this paper, we present some new properties for p-biharmonic hypersurfaces in Riemannian manifold. We also characterize the p-biharmonic submanifolds in an Einstein space. We construct a new example of proper p-biharmonic hypersurfaces. We present some open problems.
A longstanding conjecture on biharmonic submanifolds, proposed by Chen in 1991, is that {\it any biharmonic submanifold in a Euclidean space is minimal}. In the case of a hypersurface $M^n$ in $\mathbb R^{n+1}$, Chen's conjecture was settled in the case of $n=2$ by Chen and Jiang around 1987 independently. Hasanis and Vlachos in 1995 settled Chen's conjecture for a hypersurface with $n=3$. However, the general Chen's conjecture on a hypersurface $M^n$ remains open for $n> 3$. In this paper, we settle Chen's conjecture for hypersurfaces in $\mathbb R^{5}$ for $n=4$.
In this paper, we introduce the notion of a quasi-biharmonic submanifold in a pseudo-Riemannian manifold and classify quasi-biharmonic marginally trapped Lagrangian surfaces in Lorentzian complex space forms.
Our paper is an attempt to to verify the Chen's conjecture on biharmonic submanifolds and to classify biconservative submanifolds. In doing so we provide an affirmative answer to Chen's conjecture on biharmonic submanifolds. We prove that every biconservative Lorentz hypersurface $M_{1}^{n}$ in $\mathbb{E}_{1}^{n+1}$ having complex eigenvalues has constant mean curvature. Moreover, every biharmonic Lorentz hypersurface $M_{1}^{n}$ having complex eigenvalues in $\mathbb{E}_{1}^{n+1}$ must be minimal.
A submanifold $M^m$ of a Euclidean space $R^{m+p}$ is said to have harmonic mean curvature vector field if $Δ\vec{H}=0$, where $\vec{H}$ is the mean curvature vector field of $M\hookrightarrow R^{m+p}$ and $Δ$ is the rough Laplacian on $M$. There is a conjecture named after Bangyen Chen which states that submanifolds of Euclidean spaces with harmonic mean curvature vector fields are minimal. In this paper we prove that weakly convex hypersurfaces (i.e. hypersurfaces whose principle curvatures are nonnegative) with harmonic mean curvature vector fields in Euclidean spaces are minimal. Furthermo…
We present some general properties of biharmonic and biconservative submanifolds and then survey recent results on such hypersurfaces in space forms. We also propose an alternative version for a well-known result of Nomizu and Smyth for hypersurfaces by replacing the CMC hypothesis with the more general condition of biconservativity.
