The $n$-dimensional complex hyperquadric is a compact complex algebraic hypersurface defined by the quadratic equation in the $(n+1)$-dimensional complex projective space, which is isometric to the real Grassmann manifold of oriented 2- planes and is a compact Hermitian symmetric space of rank 2. In this paper we study geometry of compact Lagrangian submanifolds in complex hyperquadrics from the viewpoint of the theory of isoparametric hypersurfaces in spheres. From this viewpoint we provide a classification theorem of compact homogeneous Lagrangian submanifolds in complex hyperquadrics by using the moment map technique. Moreover we determine the Hamiltonian stability of compact minimal Lagrangian submanifolds embedded in complex hyperquadrics which are obtained as Gauss images of isoparametric hypersurfaces in spheres with $g(=1,2,3)$ distinct principal curvatures.
In this article we study the Hamiltonian non-displaceability of Gauss images of isoparametric hypersurfaces in the spheres as Lagrangian submanifolds embedded in complex hyperquadrics.
The image of the Gauss map of any oriented isoparametric hypersurface of the unit standard sphere $S^{n+1}(1)$ is a minimal Lagrangian submanifold in the complex hyperquadric $Q_n({\mathbf C})$. In this paper we show that the Gauss image of a compact oriented isoparametric hypersurface with $g$ distinct constant principal curvatures in $S^{n+1}(1)$ is a compact monotone and cyclic embedded Lagrangian submanifold with minimal Maslov number $2n/g$. The main result of this paper is to determine completely the Hamiltonian stability of all compact minimal Lagrangian submanifolds embedded in complex…
We introduce a structural approach to study Lagrangian submanifolds of the complex hyperquadric in arbitrary dimension by using its family of non-integrable almost product structures. In particular, we define local angle functions encoding the geometry of the Lagrangian submanifold at hand. We prove that these functions are constant in the special case that the Lagrangian immersion is the Gauss map of an isoparametric hypersurface of a sphere and give the relation with the constant principal curvatures of the hypersurface. We also use our techniques to classify all minimal Lagrangian submanifo…
We show that an isoparametric submanifold of a complex hyperbolic plane, according to the definition of Heintze, Liu and Olmos', is an open part of a principal orbit of a polar action. We also show that there exists a non-isoparametric submanifold of the complex hyperbolic plane that is isoparametric according to the definition of Terng's. Finally, we classify Terng-isoparametric submanifolds of two-dimensional complex space forms.
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.
A submanifold in space forms is isoparametric if the normal bundle is flat and principal curvatures along any parallel normal fields are constant. We study the mean curvature flow with initial data an isoparametric submanifold in Euclidean space and sphere. We show that the mean curvature flow preserves the isoparametric condition, develops singularities in finite time, and converges in finite time to a smooth submanifold of lower dimension. We also give a precise description of the collapsing.
In this paper, we prove that full irreducible curvature-adapted isoparametric submanifolds of codimension greater than one in a symmetric space of non-compact type are principal orbits of Hermann actions on the symmetric spaces under certain conditions.
In this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is homogeneous.
The focal submanifolds of isoparametric hypersurfaces in spheres are all minimal Willmore submanifolds, mostly being $\mathcal{A}$-manifolds in the sense of A.Gray but rarely Ricci-parallel (\cite{QTY},\cite{LY},\cite{TY3}). In this paper we study the geometry of the focal submanifolds via Simons formula. We show that all the focal submanifolds with $g\geq3$ are not normally flat by estimating the normal scalar curvatures. Moreover, we give a complete classification of the semiparallel submanifolds among the focal submanifolds.
It is known that principal orbits of Hermann actions on a symmetric space of non-compact type are curvature-adapted isoparametric submanifolds having no focal point of non-Euclidean type on the ideal boundary of the ambient symmetric space. In this paper, we investigate the mean curvature flows for such a curvature-adapted isoparametric submanifold and its focal submanifold. Concretely the investigation is performed by investigating the mean curvature flows for the lift of the submanifold to an infinite dimensional pseudo-Hilbert space through a pseudo-Riemannian submersion.
In this paper, we assume that all isoparametric submanifolds have flat section. The main purpose of this paper is to prove that, if a full irreducible complete isoparametric submanifold of codimension greater than one in a symmetric space of non-compact type admits a reflective focal submanifold and if it of real analytic, then it is a principal orbit of a Hermann type action on the symmetric space. A hyperpolar action on a symmetric space of non-compact type admits a reflective singular orbit if and only if it is a Hermann type action. Hence is not extra the assumption that the isoparametric …
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.
In this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is an orbit of the action of a Banach Lie group generated by one-parameter transformation groups induced by holomorphic Killing vector fields defined entirely on the ambient Hilbert space.
Mean curvature flow for isoparametric submanifolds in Euclidean spaces and spheres was studied by the authors in [LT]. In this paper, we will show that all these solutions are ancient solutions. We also discuss rigidity of ancient mean curvature flows for hypersurfaces in spheres and its relation to the Chern's conjecture on the norm of the second fundamental forms of minimal hypersurfaces 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.
An isoparametric hypersurface in unit spheres has two focal submanifolds. Condition A plays a crucial role in the classification theory of isoparametric hypersurfaces in [CCJ07], [Chi16] and [Miy13]. This paper determines $C_A$, the set of points with Condition A in focal submanifolds. It turns out that the points in $C_A$ reach an upper bound of the normal scalar curvature $ρ^{\bot}$ (sharper than that in DDVV inequality [GT08], [Lu11]). We also determine the sets $C_P$ (points with parallel second fundamental form) and $C_E$ (points with Einstein condition), which achieve two lower bounds of…
We study isoparametric submanifolds of rank at least two in a separable Hilbert space, which are known to be homogeneous by a result of Heintze and Liu, and associate to such a submanifold M and a point x in M a canonical homogeneous structure (a certain bilinear map on the tangent space). We prove that the homogeneous structure together with the second fundamental form encodes all the information about M, and deduce from this the rigidity result that M is completely determined by the second fundamental form and its covariant derivative, thereby making such submanifolds accessible to classific…
In this paper, we give global expressions of geodesics and isoparametric functions on a Randers sphere by navigation. We obtain isoparametric families and focal submanifolds in (S^{n}; F; dμ_{BH}) by Cartan-Münzner polynomials. Further more, we construct some examples of closed and non-closed geodesics, isoparametric functions, isoparametric families and focal submanifolds.
We find many examples of compact Riemannian manifolds $(M,g)$ whose closed minimal hypersurfaces satisfy a lower bound on their index that is linear in their first Betti number. Moreover, we show that these bounds remain valid when the metric $g$ is replaced with $g'$ in a neighbourhood of $g$. Our examples $(M,g)$ consist of certain minimal isoparametric hypersurfaces of spheres; their focal manifolds; the Lie groups $SU(n)$ for $n\leq 17$, and $Sp(n)$ for all $n$; and all quaternionic Grassmannians.
Let $π:P\to B$ be a smooth $G$-bundle over a compact Riemannian manifold $B$ and $c$ a smooth loop in $B$ of constant seed $a(>0)$, where $G$ is compact semi-simple Lie group. In this paper, we prove that the holonomy map ${\rm hol}_c:\mathcal A_P^{H^s}\to G$ is a homothetic submersion of coefficient $a$, where $s$ is a non-negative integer, $\mathcal A_P^{H^s}$ is the Hilbert space of all $H^s$-connections of the bundle $P$. In particular, we prove that, if $s=0$, then ${\rm hol}_c$ has minimal regularizable fibres. From this fact, we can derive that each component of the inverse image of any…
Associated with isoparametric foliations of unit spheres, there are two classes of minimal surfaces $-$ minimal isoparametric hypersurfaces and focal submanifolds. By virtue of their rich structures, we find new series of minimizing cones. They are cones over focal submanifolds and cones over suitable products among these two classes. Except in low dimensions, all such cones are shown minimizing.
In this paper, we study isoparametric hypersurfaces in Finsler space forms by investigating focal points, tubes and parallel hypersurfaces of submanifolds. We prove that the focal submanifolds of isoparametric hypersurfaces are anisotropic-minimal and obtain the Cartan-type formula in a Finsler space form with vanishing reversible torsion, from which we give some classifications on the number of distinct principal curvatures or their multiplicities.
The classification of isoparametric hypersurfaces in spheres with four or six different principal curvatures is still not complete. In this paper we develop a structural approach that may be helpful for a classification. Instead of working with the isoparametric hypersurface family in the sphere, we consider the associated Lagrangian submanifold of the real Grassmannian of oriented $2$-planes in $\mathbb{R}^{n+2}$. We obtain new geometric insights into classical invariants and identities in terms of the geometry of the Lagrangian submanifold.
In this paper, two sequences of minimal isoparametric hypersurfaces are constructed via representations of Clifford algebras. Based on these, we give estimates on eigenvalues of the Laplacian of the focal submanifolds of isoparametric hypersurfaces in unit spheres. This improves results of [TY13] and [TXY14]. Eells and Lemaire [EL83] posed a problem to characterize the compact Riemannian manifold M for which there is an eigenmap from M to S^n. As another application of our constructions, the focal maps give rise to many examples of eigenmaps from minimal isoparametric hypersurfaces to unit sph…
In this note, we study properties of the gradient map of the isoparametric polynomial. For a given isoparametric hypersurface in sphere, we calculate explicitly the gradient map of its isoparametric polynomial which turns out many interesting phenomenons and applications. We find that it should map not only the focal submanifolds to focal submanifolds, isoparametric hypersurfaces to isoparametric hypersurfaces, but also map isoparametric hypersurfaces to focal submanifolds. In particular, it turns out to be a homogeneous polynomial automorphism on certain isoparametric hypersurface. As an imme…
We propose a method to extend submanifolds, singular Riemannian foliations and isometric actions from a boundary component of a noncompact symmetric space to the whole space. This extension method preserves minimal submanifolds, isoparametric foliations and polar actions, among other properties. One of the several applications yields the first examples of inhomogeneous isoparametric hypersurfaces in noncompact symmetric spaces of rank at least two.
Motivated by the theory of isoparametric hypersurfaces, we study submanifolds whose tubular hypersurfaces have some constant "higher order mean curvatures". Here a $k$-th order mean curvature $Q_k$ ($k\geq1$) of a hypersurface $M^n$ is defined as the $k$-th power sum of the principal curvatures, or equivalently, of the shape operator. Many necessary restrictions involving principal curvatures, higher order mean curvatures and Jacobi operators on such submanifolds are obtained, which, among other things, generalize some classical results in the theory of isoparametric hypersurfaces given by E. …
In a previous work, we studied isoparametric functions on Riemannian manifolds, especially on exotic spheres. One result there says that, in the family of isoparametric hypersurfaces of a closed Riemannian manifold, there exist at least one minimal isoparametric hypersurface. In this note, we show such minimal isoparametric hypersurface is also unique in the family if the ambient manifold has positive Ricci curvature. Moreover, we give a proof of the Theorem D claimed by Q.M.Wang (without proof) which asserts that the focal submanifolds of an isoparametric function on a complete Riemannian man…
We study curvature-adapted submanifolds of general symmetric spaces. We generalize Cartan's theorem for isoparametric hypersurfaces of spheres and Wang's classification of isoparametric Hopf hypersurfaces in complex projective spaces to any compact symmetric space. Our second objective is to investigate such hypersurfaces in some specific symmetric spaces. Various classification results in the Cayley projective and hyperbolic planes and in complex two-plane Grassmannians are obtained under some additional assumptions.
Jakobson and Nadirashvili \cite{JN} constructed a sequence of eigenfunctions on $T^2$ with a bounded number of critical points, answering in the negative the question raised by Yau \cite{Yau1} which asks that whether the number of the critical points of eigenfunctions for the Laplacian increases with the corresponding eigenvalues. The present paper finds three interesting eigenfunctions on the minimal isoparametric hypersurface $M^n$ in $S^{n+1}(1)$. The corresponding eigenvalues are $n$, $2n$ and $3n$, while their critical sets consist of $8$ points, a submanifold(infinite many points) and $8…
This is a continuation of Tang and Yan, which investigated the first eigenvalues of minimal isoparametric hypersurfaces with $g=4$ distinct principal curvatures and focal submanifolds in unit spheres. For the focal submanifolds with $g=6$, the present paper obtains estimates on all the eigenvalues, among others, giving an affirmative answer in one case to the problem posed in Tang and Yan, which may be regarded as a generalization of Yau's conjecture. In two of the four unsettled cases in Tang and Yan for focal submanifolds $M_1$ of OT-FKM-type, we prove the first eigenvalues to be their dimen…
In this paper, we discuss anisotropic submanifolds and isoparametric hypersurfaces in a Randers space form (N,F) with the navigation datum (h,W). We find that (N, F) with respect to the BH-volume and (N,h) have the same isoparametric hypersurfaces although, in general, their isoparametric functions are different. This implies that the classification of isoparametric hypersurfaces in a Randers space form is the same as that in Riemannian case. Lastly, we give some examples of isoparametric functions in Randers space forms.
We use the octonionic multiplication $\cdot$ of $\mathbb{S}^{7}$ to associate, to each unit normal section $η$ of a submanifold $M$ of $\mathbb{S}^{7},$ an octonionic Gauss map $γ_η:M\rightarrow\mathbb{S}^{6},$ $γ_η(x)=x^{-1}\cdotη(x),$ $x\in M,$ where $\mathbb{S}^{6}$ is the unit sphere of $T_{1}\mathbb{S}^{7},$ $1$ is the neutral element of $\cdot$ in $\mathbb{S}^{7}.$ Denoting by $\mathcal{N}(M)$ the vector bundle of normal sections of $M$ we set, for $η$ $\in\mathcal{N}(M),$ $S_η(X)=-\left(\nabla_{X}η\right) ^{\top},$ $X\in TM.$ Considering the Hilbert-Schmidt inner product on the vector b…
A well known conjecture of Yau states that the first eigenvalue of every closed minimal hypersurface $M^n$ in the unit sphere $S^{n+1}(1)$ is just its dimension $n$. The present paper shows that Yau conjecture is true for minimal isoparametric hypersurfaces. Moreover, the more fascinating result of this paper is that the first eigenvalues of the focal submanifolds are equal to their dimensions in the non-stable range.
This is a survey on the recent progress in several applications of isoparametric theory, including an affirmative answer to Yau's conjecture on the first eigenvalue of Laplacian in the isoparametric case, a negative answer to Yau's 76th problem in his Problem Section, new examples of Willmore submanifolds in spheres, a series of examples to Besse's problem on the generalization of Einstein condition, isoparametric functions on exotic spheres, counterexamples to two conjectures of Leung, as well as surgery theory on isoparametric foliation.
In this survey article we provide an introduction to submanifold geometry in symmetric spaces of noncompact type. We focus on the construction of examples and the classification problems of homogeneous and isoparametric hypersurfaces, polar and hyperpolar actions, and homogeneous CPC submanifolds.
We obtain upper bounds for the first Dirichlet eigenvalue of a tube around a complex submanifold $P$ of $CP^n$ which depends only on the radius of the tube, the degrees of the polynomials defining $P$ and the first eigenvalue of some model centers of the tube. The bounds are sharp on these models. Moreover, when the models used are $CP^q$ or the complex hyperquadric, these bounds also give gap phenomena and comparison results.
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.
An isoparametric family in the unit sphere consists of parallel isoparametric hypersurfaces and their two focal submanifolds. The present paper has two parts. The first part investigates topology of the isoparametric families, namely the homotopy, homeomorphism, or diffeomorphism types, parallelizability, as well as the Lusternik-Schnirelmann category. This part extends substantially the results of Q.M.Wang in \cite{Wa88}. The second part is concerned with their curvatures, more precisely, we determine when they have non-negative sectional curvatures or positive Ricci curvatures with the induc…
In this paper, we investigate complete curvature-adapted submanifolds with maximal flat section and trivial normal holonomy group in symmetric spaces of compact type or non-compact type under certain condition, and derive the constancy of the principal curvatures of such submanifolds. As its result, we can derive that such submanifolds are isoparametric.
The focal sets of isoparametric hypersurfaces in spheres with g = 4 are all Willmore submanifolds, being minimal but mostly non-Einstein ([TY1], [QTY]). Inspired by A.Gray's view, the present paper shows that, these focal sets are all A- manifolds but rarely Ricci parallel, except possibly for the only unclassified case. As a byproduct, it gives infinitely many simply-connected examples to the problem 16.56 (i) of Besse concerning generalizations of the Einstein condition.
We introduce the new class of submanifolds of co-Banach type in tame Fréchet manifolds and construct tame Fréchet submanifolds as inverse images of regular values of certain tame maps. Our method furnishes an easy way to construct tame Fréchet manifolds. The results presented are key ingredients in the construction of affine Kac-Moody symmetric spaces; they have also important applications in the study of isoparametric submanifolds in tame Fréchet spaces.
In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds $N^n$ contained in hypersurfaces $M^{n+1}$ of the $(n+2)$-space. We give condition under which this affine focal set is a regular hypersurface and, for curves in $3$-space, we describe its stable singularities. For a given Darboux vector field $ξ$ of the immersion $N\subset M$, one can define the affine metric $g$ and the affine normal plane bundle $\mathcal{A}$. We prove that the $g$-Laplacian of the position vector belongs to $\mathcal{A}$ if and only if $ξ$ is parallel. For umbil…
