Dupin hypersurfaces with four principal Curvatures,II

If M is an isoparametric hypersurface in a sphere S ⁿ with four distinct principal curvatures, then the principal curvatures κ₁, . . . , κ₄ can be ordered so that their multiplicities satisfy m ₁ = m ₂ and m ₃ = m ₄, 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 ⁿ (or S ⁿ ) with four distinct principal curvatures with multiplicities m ₁ = m ₂ ≥ 1 and m ₃ = m ₄ = 1, and constant Lie curvature r = −1, then M is equivalent by Lie sphere transformation to an isoparametric hypersurface in a sphere. This result remains true if the assumption of irreducibility is replaced by compactness and r is merely assumed to be constant.      

有关不能全含于半球中的一些曲面的性质讨论

本文主要研究了不能全含于开半球中的一些特殊曲面.利用Lr算子的相关性质,证明了对S~(n+1)中紧致r-极小超曲面,如果第二基本形式的秩rank(h_(ij))r,则其不全含在S~(n+1)的一个开半球中.     

An estimate of the pinching constant of minimal hypersurfaces with constant scalar curvature in the unit sphere

LetM ⁿ (n>3) be a closed minimal hypersurface with constant scalar curvature in the unit sphereS ⁿ⁺¹ (1) andS the square of the length of its second fundamental form. In this paper we prove thatS>n implies estimates of the formS>n+cn−d withc≥1/4. For example, forn>17 andS>n we proveS>n+1/4n which is sharper than a recent result of the authors [5] The second author's research was supported by NNSFC, FECC and CPSF.     

Möbius Isoparametric Hypersurfaces in S n+1 with Two Distinct Principal Curvatures

A hypersurface x : M → S ⁿ⁺¹ without umbilic point is called a Möbius isoparametric hypersurface if its Möbius form Φ = ?ρ ^?2∑ _i (e _i (H) + ∑ _j (h _ij ?Hδ _ij )e _j (log ρ))θ _i vanishes and its Möbius shape operator $ {\Bbb {S}}A hypersurface x : M → S ^{n +1} without umbilic point is called a M?bius isoparametric hypersurface if its M?bius form Φ = −ρ⁻²∑ _i (e _i (H) + ∑ _j (h _ij −Hδ _ij )e _j (log ρ))θ _i vanishes and its M?bius shape operator ? = ρ⁻¹(S−Hid) has constant eigenvalues. Here {e _i } is a local orthonormal basis for I = dx·dx with dual basis {θ _i }, II = ∑ _ij h _ij θ _i ⊗θ _i is the second fundamental form, and S is the shape operator of x. It is clear that any conformal image of a (Euclidean) isoparametric hypersurface in S ^{n +1} is a M?bius isoparametric hypersurface, but the converse is not true. In this paper we classify all M?bius isoparametric hypersurfaces in S ^{n +1} with two distinct principal curvatures up to M?bius transformations. By using a theorem of Thorbergsson [1] we also show that the number of distinct principal curvatures of a compact M?bius isoparametric hypersurface embedded in S ^{n +1} can take only the values 2, 3, 4, 6. Received September 7, 2001, Accepted January 30, 2002     

Mean Curvature and Volume of Extrinsic Spheres in Hypersurfaces of Real Space Forms

Given a hypersurface P^n-1 in a real space form of constantcurvature b, , we have obtained a lower bound for the norm of the mean curvature normal vector field of extrinsicspheres in P^n-1 in terms of the mean curvature of the geodesic spheres in , with the same radius, and the meancurvature of P^n-1, characterizing too the equality.     

Totally geodesic submanifolds in Lie groups

Summary We study minimal and totally geodesic submanifolds in Lie groups and related problems. We show that: (1) The imbedding of the Grassmann manifold G_F(n,N) in the Lie group G_F(N) defined naturally makes G_F(n,N) a totally geodesic submanifold; (2) The imbedding S⁷→SO(8) defined by octonians makes S⁷a totally geodesic submanifold inSO(8); (3) The natural inclusion of the Lie group G_F(N) in the sphere S^{cN^2-1}(√N) of gl(N,F)is minimal. Therefore the natural imbedding G_F(N)<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>→gl(N,F)is formed by the eigenfunctions of the Laplacian on G_F(N).     

On spectral characterizations of Willmore hypersurfaces in a sphere

Let M be a closed Willmore hypersurface in the sphere S^n＋1（1） （n ≥ 2） with the same mean curvature of the Willmore torus Wm,n-m, if SpecP（M） = Spec^P（Wm,n-m ） （p = 0, 1,2）, then M is Wm,n-m.     

单位球中完备超曲面的一个刚性定理

本文研究了单位球中的数量曲率满足r=aH+b的完备超曲面的问题.利用极值原理的方法,获得了超曲面的一个刚性结果,推广了这一类具有常中曲率或者常数量曲率超曲面的结果.     

Curvature Estimates for Stable Minimal Hypersurfaces in R4 and R5

We obtain curvature estimates for certain stable minimalhypersurfaces in R ⁴ and R ⁵without using volume bounds. It follows that if M is acomplete stable minimal hypersurface in R ⁴ orR ⁵, then M is a hyperplane whenM intersects each extrinsic ball in, at most,N-components.     

Bernstein type result for constant mean curvature hypersurface

We prove a Bernstein type theorem for constant mean curvature hypersurfaces in ℝ ⁿ⁺¹ under certain growth conditions for n ⩽ 3. Our result extends the case when M is a minimal hypersurface in the same condition.      

CR Hypersurfaces with a Contracting Automorphism

Let M be a real analytic CR hypersurface in ℂ ⁿ⁺¹ admitting no varieties of positive dimension. We show first that every contracting local CR automorphism of M is linearizable. As a consequence, we show that such M admitting a contracting local CR automorphism is holomorphically equivalent to a weighted homogeneous hypersurface. Finally, we apply these results to prove that a bounded domain in ℂ ⁿ⁺¹ with a real analytic boundary admitting an automorphism contracting at a boundary point must admit a Lie subgroup of real dimension at least two in its automorphism group. Research of the first named author is partially supported by The Grant R01-2005-000-10771-0 of The Korea Science and Engineering Foundation.     

Dupin hypersurfaces with three principal curvatures

Using the method of moving frames, we prove that any locally irreducible Dupin hypersurface in S ⁿ with three distinct principal curvatures is equivalent by Lie sphere transformation to an isoparametric hypersurface in S ⁿ . Oblatum VI-1995 & 28-IV-1997     

Non-Existence of Stable Currents in Hypersurfaces

Let M^m be a compact hypersurface in the Euclidean space E^m+1. In this paper, we study the non-existence of stable integral currents in M^m and its immersed submanifolds. Some vanishing theorems concerning the homology groups of these manifolds are established.AMS Subject Classification (1991): 49Q15 53C40 53C20     

Stable complete noncompact hypersurfaces with constant mean curvature

This article concerns the structure of complete noncompact stable hypersurfaces M ⁿ with constant mean curvature H > 0 in a complete noncompact oriented Riemannian manifold N ⁿ⁺¹. In particular, we show that a complete noncompact stable constant mean curvature hypersurface M ⁿ , n = 5, 6, in the Euclidean space must have only one end. Any such hypersurface in the hyperbolic space with , respectively, has only one end.     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

On the problem of isometry of a hypersurface preserving mean curvature

The problem of determining the Bonnet hypersurfaces in R ⁿ⁺¹, for n > 1, is studied here. These hypersurfaces are by definition those that can be isometrically mapped to another hypersurface or to itself (as locus) by at least one nontrivial isometry preserving the mean curvature. The other hypersurface and/or (the locus of) itself is called Bonnet associate of the initial hypersurface. The orthogonal net which is called A-net is special and very important for our study and it is described on a hypersurface. It is proved that, non-minimal hypersurface in R ⁿ⁺¹ with no umbilical points is a Bonnet hypersurface if and only if it has an A-net.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

Stable constant mean curvature hypersurfaces in ℝ n+1 and ℍ n+1(−1)

In this paper, we show that all complete stable hypersurfaces in ⁿ⁺¹(or ⁿ⁺¹ (-1)) (n = 3, 4, 5) with constant mean curvature H > 0 (or H > 1, respectively) and finite L ² norm of traceless second fundamental form are compact geodesic spheres. Keywords: stable hypersurface, constant mean curvature, isometric immersion, Bernstein theorem.*Supported by PolyU grant G-T575.**Partially supported by CNPq of Brazil.