Isoparametric hypersurfaces with four principal curvatures, III
Quo-Shin Chi
备注：
35 pages. In the abstract and several other places, Ozeki and Takeuchi are replaced by Ferus, Karcher and Münzner, who constructed the inhomogeneous example of multiplicities (6,9). The paper is to replace an earlier version with the same title, in which the case (4,5) was handled. In this version the case (6,9) is also settled. Only the case of multiplicities (7,8) remains open now
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 inhomogeneous one constructed by Ferus, Karcher and Münzner, or the one that is homogeneous.
This classification reveals the striking resemblance between these two rather different types of isoparametric hypersurfaces in the homogeneous category, even though the one with multiplicities $\{6,9\}$ is of the type constructed by Ferus, Karcher and Münzner and the one with multiplicities $\{4,5\}$ stands alone by itself. The quaternion and the octonion algebras play a fundamental role in their geometric structures.
A unifying theme in [5]. [9] and the present sequel to them is Serre's criterion of normal varieties. Its technical side pertinent to our situation that we developed in [5], [9] and extend in this sequel is instrumental.
The classification leaves only the case of multiplicity pair $\{7,8\}$ open.
In this paper, we introduce isoparametric functions and isoparametric hypersurfaces in conic Finsler spaces. We find that in a conic Minkowski space, besides the conic Minkowski hyperplanes, conic Minkowski hyperspheres and conic Minkowski cylinders, which are all isoparametric hypersurfaces, there are probably other isoparametric hypersurfaces, such as helicoids. Moreover, we give a complete classification of isoparametric hypersurfaces in kropina spaces with constant flag curvature.
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.
In this paper, we introduce and study the locally strongly convex equiaffine isoparametric hypersurfaces and equiaffine isoparametric functions on the affine space $A^{n+1}$. Motivated by the case on the Euclidean space $E^{n+1}$, we first introduce the concept of equiaffine parallel hypersurfaces in $A^{n+1}$, obtaining some fundamental identities with the basic equiaffine geometric invariants, and then we define the equiaffine isoparametric hypersurfaces to be ones that are among families of equiaffine parallel hypersurfaces of constant affine mean curvature in $A^{n+1}$. Finally, we introdu…
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.
In this paper we develop the notion of screen isoparametric hypersurface for null hypersurfaces of Robertson-Walker spacetimes. Using this formalism we derive Cartan identities for the screen principal curvatures of null screen hypersurfaces in Lorentzian space forms and provide a local characterization of such hypersurfaces.
Using a navigation process with the datum $(F,V)$, in which $F$ is a Finsler metric and the smooth tangent vector field $V$ satisfies $F(-V(x))>1$ everywhere, a Lorentz Finsler metric $\tilde{F}$ can be induced. Isoparametric functions and isoparametric hypersurfaces with or without involving a smooth measure can be defined for $\tilde{F}$. When the vector field $V$ in the navigation datum is homothetic, we prove the local correspondences between isoparametric functions and isoparametric hypersurfaces before and after this navigation process. Using these correspondences, we provide some exampl…
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.
In this paper, we characterize and classify the isoparametric hypersurfaces with constant principal curvatures in the product spaces $ \mathbb{Q}^{2}_{c_{1}} \times \mathbb{Q}^{2}_{c_{2}}$, where $\mathbb{Q}^{2}_{c_{i}}$ is a space form with constant sectional curvature $c_{i}$, for $c_1 \neq c_2$.
The main purpose of this note is to construct almost complex or complex structures on certain isoparametric hypersurfaces in unit spheres. As a consequence, complex structures on $S^1\times S^7\times S^6$, and on $S^1\times S^3\times S^2$ with vanishing first Chern class, are built.
We conclude the classification of cohomogeneity one actions on symmetric spaces of rank one by classifying cohomogeneity one actions on quaternionic hyperbolic spaces up to orbit equivalence. As a by-product of our proof, we produce uncountably many examples of inhomogeneous isoparametric families of hypersurfaces with constant principal curvatures in quaternionic hyperbolic spaces.
We show that the evolution of isoparametric hypersurfaces of Riemannian manifolds by the mean curvature flow is given by a reparametrization of the parallel family in short time, as long as the uniqueness of the mean curvature flow holds for the initial data and the corresponding ambient space. As an application, we provide a class of Riemannian manifolds that admit hypersurfaces with constant principal curvatures, which are not isoparametric hypersurfaces. Furthermore, for a class of ambient spaces, we show that the singularities developed by the mean curvature flow with isoparametric hypersu…
We revisit Allendoerfer-Weil's formula for the Euler characteristic of embedded hypersurfaces in constant sectional curvature manifolds, first taking some time to re-prove it while demonstrating techniques of [2] and then applying it to gain new understanding of isoparametric hypersurfaces.
For a closed hypersurface $M^n\subset S^{n+1}(1)$ with constant mean curvature and constant non-negative scalar curvature, the present paper shows that if $\mathrm{tr}(\mathcal{A}^k)$ are constants for $k=3,\ldots, n-1$ for shape operator $\mathcal{A}$, then $M$ is isoparametric. The result generalizes the theorem of de Almeida and Brito \cite{dB90} for $n=3$ to any dimension $n$, strongly supporting Chern's conjecture.
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.
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…
Clifford Algebras and New Isoparametric Hypersurfaces
1.翻译托马斯·E。Cecil，Department of Mathematics and Computer Science，College of the Holy Cross，Worcester，MA 01610，USA; E-mail address：cecil@mathcs.holycross.edu 2.北京师范大学数学科学学院，数学与复杂系统实验室，北京100875。电子邮件地址：wjyan@mail.bnu.edu.cn
Let $M^n$ be a closed Riemannian manifold on which the integral of the scalar curvature is nonnegative. Suppose $\mathfrak{a}$ is a symmetric $(0,2)$ tensor field whose dual $(1,1)$ tensor $\mathcal{A}$ has $n$ distinct eigenvalues, and $\mathrm{tr}(\mathcal{A}^k)$ are constants for $k=1,\cdots, n-1$. We show that all the eigenvalues of $\mathcal{A}$ are constants, generalizing a theorem of de Almeida and Brito \cite{dB90} to higher dimensions. As a consequence, a closed hypersurface $M^n$ in $S^{n+1}$ is isoparametric if one takes $\mathfrak{a}$ above to be the second fundamental form, giving…
