Index of compact minimal submanifolds of the Berger spheres
Francisco Torralbo, Francisco Urbano
备注：
37 pages, 1 figure. Typos corrected. Some arguments have been clarified. Accepted for its publication in Calculus of Variations and Partial Differential Equations
The stability and the index of compact minimal submanifolds of the Berger spheres $\mathbb{S}^{2n+1}_τ,\, 0<τ\leq 1$, are studied. Unlike the case of the standard sphere ($τ=1$), where there are no stable compact minimal submanifolds, the Berger spheres have stable ones if and only if $τ^2\leq 1/2$. Moreover, there are no stable compact minimal $d$-dimensional submanifolds of $\mathbb{S}^{2n+1}_τ$ when $1 / (d+1) < τ^2 \leq 1$ and the stable ones are classified for $τ^2=1 / (d+1)$ when the submanifold is embedded. Finally, the compact orientable minimal surfaces of $\mathbb{S}^3_τ$ with index one are classified for $1/3\leqτ^2\leq 1$.
We study associative submanifolds of the Berger space SO(5)/SO(3) endowed with its homogeneous nearly-parallel G2-structure. We focus on two geometrically interesting classes: the ruled associatives, and the associatives with special Gauss map. We show that the associative submanifolds ruled by a certain special type of geodesic are in correspondence with pseudo-holomorphic curves in $Gr_2^+(TS^4).$ Using this correspondence, together with a theorem of Bryant on superminimal surfaces in $S^4,$ we prove the existence of infinitely many topological types of compact immersed associative 3-folds i…
We prove a Berger type theorem for the normal holonomy group (i.e., the holonomy group of the normal connection) of a full complete complex submanifold of the complex projective space. Namely, if the normal holonomy does not act transitively, then the submanifold is the complex orbit, in the complex projective space, of the isotropy representation of an irreducible Hermitian symmetric space of rank greater or equal to 3. Moreover, we show that for complete irreducible complex submanifolds of the complex Euclidean space the normal holonomy is generic, i.e., it acts transitively on the unit sphe…
In this paper, we study biharmonic isometric immersions of a surface into and biharmonic Riemannian submersion from 3-dimensional Berger spheres. We obtain a classification of proper biharmonic isometric immersions of a surface with constant mean curvature into Berger 3-spheres. We also give a complete classification of proper biharmonic Hopf tori in Berger 3-sphere. For Riemannian submersions, we prove that a Riemannian submersion from Berger 3-spheres into a surface is biharmonic if and only if it is harmonic.
In the 1-parameter family of Berger spheres S^3(a), a > 0 (S^3(1) is the round 3-sphere of radius 1) we classify the stable constant mean curvature spheres, showing that in some Berger spheres (a close to 0) there are unstable constant mean curvature spheres. Also, we classify the orientable compact stable constant mean curvature surfaces in S^3(a), 1/3 <= a < 1 proving that they are spheres or the minimal Clifford torus in S^3(1/3). This allows to solve the isoperimetric problem in these Berger spheres.
We give a full classification of complete rotationally invariant surfaces with constant Gauss curvature in Berger spheres: they are either Clifford tori, which are flat, or spheres of Gauss curvature $K \geq K_0$ for a positive constant $K_0$, which we determine explicitly and depends on the geometry of the ambient Berger sphere. For values of $K_0 \leq K \leq K_P$, for a specific constant $K_P$, it was not known until now whether complete constant Gauss curvature $K$ surfaces existed in Berger spheres, so our classification provides the first examples. For $K > K_P$, we prove that the rotatio…
The invariant metric affine connections on Berger spheres which are Einstein with skew torsion are determined in both Riemannian and Lorentzian signature. Expressions of such connections are explicitly given. In particular, every Berger sphere with Lorentzian signature admits invariant metric affine connections Einstein with skew-torsion up to $\mathbb{S}^3$. For Riemannian signature, the existence of such connections strongly depends on the dimension of the sphere and on the scale of the deformation used for the Berger metric. In particular, there are Riemaniann Berger spheres, not Einstein, …
We characterize helix surfaces in the Berger sphere, that is surfaces which form a constant angle with the Hopf vector field. In particular, we show that, locally, a helix surface is determined by a suitable 1-parameter family of isometries of the Berger sphere and by a geodesic of a 2-torus in the 3-dimensional sphere.
We construct compact arbitrary Euler characteristic orientable and non-orientable minimal surfaces in the Berger spheres. Besides we show an interesting family of surfaces that are minimal in every Berger sphere, characterizing them by this property. Finally we construct, via the Daniel correspondence, new examples of constant mean curvature surfaces in the products S^2 x R, H^2 x R and in the Heisenberg group with many symmetries.
The integral of the top dimensional term of the multiplicative sequence of Pontryagin forms associated to an even formal power series is calculated for special Riemannian metrics on the unit ball of a hermitean vector space. Using this result we calculate the generating function of the reduced Dirac and signature eta-invariants for the family of Berger metrics on the odd dimensional spheres.
We study the negative gradient flow of the spinorial energy functional (introduced by Ammann, Weiß, and Witt) on 3-dimensional Berger spheres. For a certain class of spinors we show that the Berger spheres collapse to a 2-dimensional sphere. Moreover, for special cases, we prove that the volume-normalized standard 3-sphere together with a Killing spinor is a stable critical point of the volume-normalized version of the flow. Our results also include an example of a critical point of the volume-normalized flow on the 3-sphere, which is not a Killing spinor.
Our aim in this paper is to investigate some geometrical properties of Berger Spheres i.e. homogeneous Ricci solitons and harmonicity properties of invariant vector fields. We determine all vector fields which are critical points for the energy functional restricted to vector fields. We also see that do not exist any vector fields defining harmonic map, and the energy of critical points is explicitly calculated.
In this work, we study the stability of Hopf vector fields on Lorentzian Berger spheres as critical points of the energy, the volume and the generalized energy. In order to do so, we construct a family of vector fields using the simultaneous eigenfunctions of the Laplacian and of the vertical Laplacian of the sphere. The Hessians of the functionals are negative when they act on these particular vector fields and then Hopf vector fields are unstable. Moreover, we use this technique to study some of the open problems in the Riemannian case.
We obtain inequalities for all Laplace eigenvalues of Riemannian manifolds with an upper sectional curvature bound, whose rudiment version for the first Laplace eigenvalue was discovered by Berger in 1979. We show that our inequalities continue to hold for conformal metrics, and moreover, extend naturally to minimal submanifolds. In addition, we obtain explicit estimates for Laplace eigenvalues of minimal submanifolds in terms of geometric quantities of the ambient space.
In this work, we study helix spacelike and timelike surfaces in the Lorentzian Berger sphere $\s_{\varepsilon}^3$, that is the three-dimensional sphere endowed with a $1$-parameter family of Lorentzian metrics, obtained by deforming the round metric on $\s^3$ along the fibers of the Hopf fibration $\s^3\to \s^2({1}/{2})$ by $-\varepsilon^2$. Our main result provides a characterization of the helix surfaces in $\s_{\varepsilon}^3$ using the symmetries of the ambient space and a general helix in $\s_{\varepsilon}^3$, with axis the infinitesimal generator of the Hopf fibers. Also, we construct so…
We propose a special deformation of the Sasaki metric on tangent and unit tangent bundle of a Hermitian locally symmetric manifold. Geodesics of this deformed metric have different projections on a base manifold for tangent or unit tangent bundle cases in contrast to usual Sasaki metric. Nevertheless, the projections of geodesics of the unit tangent bundle still preserve the property to have all geodesic curvatures constant.
In this paper, we prove some differentiable sphere theorems and topological sphere theorems for submanifolds in Kähler manifold, especially in complex space forms.
In this paper, we prove some differentiable sphere theorems and topological sphere theorems for Lagrangian submanifolds in Kähler manifold and Legendrian submanifolds in Sasaki space form.
In this paper, we prove some convergence theorems for the mean curvature flow of closed submanifolds in the unit sphere $\mathbb{S}^{n+d}$ under integral curvature conditions. As a consequence, we obtain several differentiable sphere theorems for certain submanifolds in $\mathbb{S}^{n+d}$.
This paper is a continuation of [TY12] and [QTY13]. We show that both focal submanifolds of each isoparametric hypersurface in the sphere with six distinct principal curvatures are Willmore.
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.
In this paper, we study Lagrangian submanifolds of the homogeneous nearly Kähler $6$-dimensional unit sphere $\mathbb{S}^6(1)$. As the main result, we derive a Simons' type integral inequality in terms of the second fundamental form for compact Lagrangian submanifolds of $\mathbb{S}^6(1)$. Moreover, we show that the equality sign occurs if and only if the Lagrangian submanifold is either the totally geodesic $\mathbb{S}^3(1)$ or the Dillen-Verstraelen-Vrancken's Berger sphere $S^3$ discribed in J Math Soc Japan, 42: 565-584, 1990.
It is proved some results about existence and non existence of unit normal sections of submanifolds of the Euclidean space and sphere which associated Gauss maps are harmonic. Some applications to CMC hypersurfaces of the sphere and isoparametric submanifolds are obtained too.
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.
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 study Lagrangian submanifolds foliated by (n-1)-spheres in R^2n for n>2. We give a parametrization valid for such submanifolds, and refine that description when the submanifold is special Lagrangian, self-similar or Hamiltonian stationary. In all these cases, the submanifold is centered, i.e. invariant under the action of SO(n). It suffices then to solve a simple ODE in two variables to describe the geometry of the solutions.
We classify constant mean curvature surfaces invariant by a 1-parameter group of isometries in the Berger spheres and in the special linear group Sl(2, R). In particular, all constant mean curvature spheres in those spaces are described explicitly, proving that they are not always embedded. Besides new examples of Delaunay-type surfaces are obtained. Finally the relation between the area and volume of these spheres in the Berger spheres is studied, showing that, in some cases, they are not solution to the isoperimetric problem.
Let M be a compact pseudo-umbilical submanifold of the unit sphere S. In the present note, it is shown that if the normal curvature, scalar curvature S and square of the length of second fundamental form satisfy certain conditions, then M is totally geodesic.
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.
An isometric immersion $x:M^n\rightarrow S^{n+p}$ is called Willmore if it is an extremal submanifold of the Willmore functional: $W(x)=\int_{M^n} (S-nH^2)^{\frac{n}{2}}dv$, where $S$ is the norm square of the second fundamental form and $H$ is the mean curvature. Examples of Willmore submanifolds in the unit sphere are scarce in the literature. The present paper gives a series of new examples of Willmore submanifolds in the unit sphere via isoparametric functions of FKM-type.
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.
In this note, we investigate the well-known Yau rigidity theorem for minimal submanifolds in spheres. Using the parameter method of Yau and the DDVV inequality verified by Lu, Ge and Tang, we prove that if $M$ is an $n$-dimensional oriented compact minimal submanifold in the unit sphere $S^{n+p}(1)$, and if $K_{M}\geq\frac{sgn(p-1)p}{2(p+1)},$ then $M$ is either a totally geodesic sphere, the standard immersion of the product of two spheres, or the Veronese surface in $S^4(1)$. Here $sgn(\cdot)$ is the standard sign function. We also extend the rigidity theorem above to the case where $M$ is a…
We discuss existence and classification of totally umbilic surfaces in the model geometries of Thurston and the Berger spheres. We classify such surfaces in $H^2 \times R$, $S^2 \times R$ and the Sol group. We prove nonexistence in the Berger spheres and in the remaining model geometries other than the space forms.
This paper is a continuation of a paper with the same title of the last two authors. In the first part of the present paper, we give a unified geometric proof that both focal submanifolds of every isoparametric hypersurface in spheres with four distinct principal curvatures are Willmore. In the second part, we completely determine which focal submanifolds are Einstein except one case.
Stable compact minimal submanifolds of the product of a sphere and any Riemannian manifold are classified whenever the dimension of the sphere is at least three. The complete classification of the stable compact minimal submanifolds of the product of two spheres is obtained. Also, it is proved that the only stable compact minimal surfaces of the product of a 2-sphere and any Riemann surface are the complex ones.
As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental Möbius invariants in the Möbius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are referred to as the Blaschke eigenvalues. In this paper, we shall prove a classification theorem for immersed umbilic-free submanifolds in $\mathbb S^n$ with a parallel Blaschke tensor. For proving this classification, some new kinds of examples are first defined.
As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental Möbius invariants in the Möbius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are referred to as the Blaschke eigenvalues. In this paper, we continue our job for the study on the submanifolds in $\bbs^n$ with parallel Blaschke tensors which we simply call {\em Blaschke parallel submanifolds} to find more examples and seek a complete classification finally. The main theorem of this paper is the classification of Blaschke parallel submanifolds in …
Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional orbits, we show that the only homogeneous coassociative submanifold is the zero section of $Λ^{2}_{-} S^{4}$ up to the automorphisms and construct many cohomogeneity one examples explicitly. In particular, we obtain examples of non-compact coassociative submanifolds with conical…
The squashed 7-sphere $S^{7}$ is a 7-sphere with an Einstein metric given by the canonical variation and its cone $\mathbb{R}^{8} - \{ 0 \}$ has full holonomy ${\rm Spin}(7)$. There is a canonical calibrating 4-form $Φ$ on $\mathbb{R}^{8} - \{ 0 \}$. A minimal 3-submanifold in $S^{7}$ is called associative if its cone is calibrated by $Φ$. In this paper, we classify two types of fundamental associative submanifolds in the squashed $S^{7}$. One is obtained by the intersection with a 4-plane and the other is homogeneous. Then we study their infinitesimal associative deformations and explicitly s…
This article sets out to serve a dual purpose. On the one hand, we give an explicit description of the Lagrangian submanifolds of the nearly Kaehler 6-sphere which are ruled by circles of constant radius using Weierstrass formulae. On the other, we recognise all previous known examples of these Lagrangians as being ruled by such circles. Therefore, we describe all families of Lagrangians in the 6-sphere whose second fundamental form satisfies natural pointwise conditions: so-called second order families.
Following Burstall and Hertrich-Jeromin we study the Ribaucour transformation of Legendre submanifolds in Lie sphere geometry. We give an explicit parametrization of the resulted Legendre submanifold $\hat{F}$ of a Ribaucour transformation, via a single real function $τ$ which represents the regular Ribaucour sphere congruence $s$ enveloped by the original Legendre submanifold $F$.
