A compactness theorem for scalar-flat metrics on manifolds with boundary

Let (M ⁿ , g) be a compact Riemannian manifold with boundary ?M. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have ?M as a constant mean curvature hypersurface. We prove that this set is compact for dimensions n ?? 7 under the generic condition that the trace-free 2nd fundamental form of ?M is nonzero everywhere.     

New <Emphasis Type="Italic">r</Emphasis>-Minimal Hypersurfaces via Perturbative Methods

A hypersurface in a Riemannian manifold is r-minimal if its (r+1)-curvature, the (r+1)th elementary symmetric function of its principal curvatures, vanishes identically. If n>2(r+1) we show that the rotationally invariant r-minimal hypersurfaces in ? ⁿ⁺¹ are nondegenerate in the sense that they carry no nontrivial Jacobi fields decaying rapidly enough at infinity. Combining this with a computation of the (r+1)-curvature of normal graphs and the deformation theory in weighted Hölder spaces developed by Mazzeo, Pacard, Pollack, Uhlenbeck and others, we produce new infinite dimensional families of r-minimal hypersurfaces in ? ⁿ⁺¹ obtained by perturbing noncompact portions of the catenoids. We also consider the moduli space \({\mathcal{M}}_{r,k}(g)\) of elliptic r-minimal hypersurfaces with k≥2 ends of planar type in ? ⁿ⁺¹ endowed with an ALE metric g, and show that \({\mathcal{M}}_{r,k}(g)\) is an analytic manifold of formal dimension k(n+1), with \({\mathcal{M}}_{r,k}(g)\) being smooth for a generic g in a neighborhood of the standard Euclidean metric.     

First nonzero eigenvalue of a pseudo-umbilical hypersurface in the unit sphere

S. Deshmukh has obtained interesting results for first nonzero eigenvalue of a minimal hypersurface in the unit sphere. In the present article, we generalize these results to pseudoumbilical hypersurface and prove: What conditions are satisfied by the first nonzero eigenvalue λ ₁ of the Laplacian operator on a compact immersed pseudo-umbilical hypersurface M in the unit sphere S ⁿ⁺¹. We also show that a compact immersed pseudo-umbilical hypersurface of the unit sphere S ⁿ⁺¹ with λ ₁ = n is either isometric to the sphere S ⁿ or for this hypersurface an inequaluity is fulfilled in which sectional curvatures of the hypersuface M participate.     

Sobolev Mappings,Degree, Homotopy Classes and Rational Homology Spheres

In this paper we investigate the degree and the homotopy theory of Orlicz–Sobolev mappings W ^1,P (M,N) between manifolds, where the Young function P satisfies a divergence condition and forms a slightly larger space than W ^1,n , n=dim M. In particular, we prove that if M and N are compact oriented manifolds without boundary and dim M=dim N=n, then the degree is well defined in W ^1,P (M,N) if and only if the universal cover of N is not a rational homology sphere, and in the case n=4, if and only if N is not homeomorphic to S ⁴.     

Complete space-like hypersurfaces with constant scalar curvature

Let M ⁿ be a complete space-like hypersurface with constant normalized scalar curvature R in the de Sitter space S ^{n + 1} ₁ and denote . We prove that if the norm square of the second fundamental form of M ⁿ satisfies , then either and M ⁿ is a totally umbilical hypersurface; or , and, up to rigid motion, M ⁿ is a hyperbolic cylinder . Received: 8 February 2001 / Revised version: 27 April 2001     

An obstruction to the positivity of relative Yamabe invariants

For a supergroup , we describe an obstruction to the existence of positive scalar curvature metrics with minimal boundary condition on a compact n-dimensional -manifold W with nonempty boundary M, , in terms of the bordism class [M] in the Stolz obstruction group associated to [St2]. In par ticular, when W is a 5-dimensional spin manifold and the -invariant of a connected component of M is nonzero, we prove that W does not admit a positive scalar curvature metric with minimal boundary condition. Received: 4 July 2001; in final form: 5 February 2002 / Published online: 8 November 2002 RID="*" ID="*" Partially supported by the Grants-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, No. 11640070.     

<Emphasis Type="Italic">r</Emphasis>-Minimal submanifolds in space forms

Let be an n-dimensional compact, possibly with boundary, submanifold in an (n + p)-dimensional space form R ^n+p (c). Assume that r is even and , in this paper we introduce rth mean curvature function S _r and (r + 1)-th mean curvature vector field . We call M to be an r-minimal submanifold if on M, we note that the concept of 0-minimal submanifold is the concept of minimal submanifold. In this paper, we define a functional of , by calculation of the first variational formula of J _r we show that x is a critical point of J _r if and only if x is r-minimal. Besides, we give many examples of r-minimal submanifolds in space forms. We calculate the second variational formula of J _r and prove that there exists no compact without boundary stable r-minimal submanifold with in the unit sphere S ^n+p . When r = 0, noting S ₀ = 1, our result reduces to Simons’ result: there exists no compact without boundary stable minimal submanifold in the unit sphere S ^n+p .      

Compact minimal hypersurfaces with index one in the real projective space

Let M ⁿ be a compact (two-sided) minimal hypersurface in a Riemannian manifold . It is a simple fact that if has positive Ricci curvature then M cannot be stable (i.e. its Jacobi operator L has index at least one). If is the unit sphere and L has index one, then it is known that M must be a totally geodesic equator.?We prove that if is the real projective space , obtained as a metric quotient of the unit sphere, and the Jacobi operator of M has index one, then M is either a totally geodesic sphere or the quotient to the projective space of the hypersurface obtained as the product of two spheres of dimensions n ₁, n ₂ and radius R ₁, R ₂, with and . Received: June 6, 1998     

A characterization of Moebius isoparametric hypersurfaces of the sphere

We consider a proper, umbilic-free immersion of an n-dimensional manifold M in the sphere S ⁿ⁺¹. We show that M is a Moebius isoparametric hypersurface if, and only if, it is a cyclide of Dupin or a Dupin hypersurface with constant Moebius curvature.     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

Reducible Dupin submanifolds

Pinkall's standard constructions for obtaining a Dupin hypersurface W in ^N from a Dupin hypersurface M in ⁿ , N>n, are studied in the context of Lie sphere geometry. It is shown that a compact Dupin hypersurface W in ^N with g distinct principal curvatures at each point is reducible to a compact Dupin hypersurface M in ⁿ if and only if g=2.This research was supported by NSF Grant No. DMS 87-06015.     

Total Scalar Curvature and L 2 Harmonic 1-Forms on a Minimal Hypersurface in Euclidean Space

Let M ⁿ , n 3, be a complete oriented immersed minimal hypersurface in Euclidean space R ⁿ⁺¹. We show that if the total scalar curvature on M is less than the n/2 power of 1/C _s , where C _s is the Sobolev constant for M, then there are no L ² harmonic 1-forms on M. As corollaries, such a minimal hypersurface contains no nontrivial harmonic functions with finite Dirichlet integral and so it has only one end. This implies finally that M is a hyperplane.     

Homothetic Motions at E 4 with Bicomplex Numbers

In this paper, a matrix which is similar to Hamilton operators has been presented to bicomplex numbers in four dimensional Euclidean space E ⁴. We show that if the matrix is obtained from a curve on the Lie group M, then the motion is a homothetic motion. It has been found that the motion defined by a regular curve of order r and derivations curves on the hypersurface M has only one acceleration center of order (r - 1) at every t-instant.     

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.     

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.      

Classification of torus manifolds with codimension one extended actions

The purpose of this paper is to classify torus manifolds (M ²ⁿ , T ⁿ ) with codimension one extended G-actions (M ²ⁿ , G) up to essential isomorphism, where G is a compact, connected Lie group whose maximal torus is T ⁿ . For technical reasons, we do not assume torus manifolds are orientable. We prove that there are seven types of such manifolds. As a corollary, if a nonsingular toric variety or a quasitoric manifold has a codimension one extended action then such manifold is a complex projective bundle over a product of complex projective spaces.     

Some remarks on embedded hypersurfaces in hyperbolic space of constant curvature and spherical boundary

We consider embedded hypersurfacesM in hyperbolic space with compact boundaryC and somer ^th mean curvature functionH _r a positive constant. We investigate when symmetries ofC are symmetries ofM. We prove that if 0H _r1 andC is a sphere thenM is a part of an equidistant sphere. Forr=1 (H ₁ is the mean curvature) we obtain results whenC is convex.     

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

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

New Spectral Characterizations of Extremal Hypersurfaces

Let M be a closed extremal hypersurface in Sⁿ⁺¹ with the same mean curvature of the Willmore torus W_{m, n-m}. We proved that if Spec^p(M) = Spec^p(W_{m, n-m}) for p = 0,1,2, then M is W_{m, m}.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.