A first eigenvalue estimate for embedded hypersurfaces

Suppose that M is a compact orientable hypersurface embedded in a compact n-dimensional orientable Riemannian manifold N. Suppose that the Ricci curvature of N is bounded below by a positive constant k. We show that 2λ₁>k−(n−1)maxM|H| where λ₁ is the first eigenvalue of the Laplacian of M and H is the mean curvature of M.     

Eigenvalue estimates for minimal hypersurfaces in hyperbolic space

Recently Candel [A. Candel, Eigenvalue estimates for minimal surfaces in hyperbolic space, Trans. Amer. Math. Soc. 359 (2007) 3567-3575] proved that if M is a simply-connected stable minimal surface isometrically immersed in H³, then the first eigenvalue of M satisfies 1/4?λ(M)?4/3 and he asked whether the bound is sharp and gave an example such that the lower bound is attained. In this note, we prove that the upper bound can never be attained. Also we extend the result by proving that if M is compact stable minimal hypersurface isometrically immersed in Hn+1 where n?3 such that its smooth Yamabe invariant is negative, then (n−1)/4?λ(M)?n²(n−2)/(7n−6).     

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.     

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.     

First nonzero eigenvalue of a minimal hypersurface in the unit sphere

In this paper, it is shown that the first nonzero eigenvalue λ₁ of the Laplacian operator on a compact immersed minimal hypersurface M in the unit sphere S ⁿ⁺¹ satisfies one of the following $$ (i)\lambda _{1}=n, \quad (ii)\lambda _{1} \leq (1+k_{0})n, \quad (iii)\lambda _{1}\geq n+\frac{n}{2}(nk_{0}-(n-1))$$ where k ₀ is the infimum of the sectional curvatures of M. It is also shown that a compact immersed minimal hypersurface of the unit sphere S ⁿ⁺¹ with λ₁?=?n is either isometric to the unit sphere S ⁿ or else k ₀?<?n ^?1(n?1).     

Geometric, topological and differentiable rigidity of submanifolds in space forms

Let M be an n-dimensional submanifold in the simply connected space form F ^n+p (c) with c + H ² > 0, where H is the mean curvature of M. We verify that if M ⁿ (n ≥ 3) is an oriented compact submanifold with parallel mean curvature and its Ricci curvature satisfies Ric _M ≥ (n ? 2)(c + H ²), then M is either a totally umbilic sphere, a Clifford hypersurface in an (n + 1)-sphere with n = even, or ${\mathbb{C}P^{2} \left(\frac{4}{3}(c + H^{2})\right) {\rm in} S^{7} \left(\frac{1}{\sqrt{c + H^{2}}}\right)}$ C P 2 4 3 ( c + H 2 ) in S 7 1 c + H 2 . In particular, if Ric _M > (n ? 2)(c + H ²), then M is a totally umbilic sphere. We then prove that if M ⁿ (n ≥ 4) is a compact submanifold in F ^n+p (c) with c ≥ 0, and if Ric _M > (n ? 2)(c + H ²), then M is homeomorphic to a sphere. It should be emphasized that our pinching conditions above are sharp. Finally, we obtain a differentiable sphere theorem for submanifolds with positive Ricci curvature.     

Geometric and topological rigidity for compact submanifolds of odd dimension

We investigate rigidity problems for odd-dimensional compact submanifolds.We show that if Mn(n 5)is an odd-dimensional compact submanifold with parallel mean curvature in Sn+p,and if RicM(n-2-1n)(1+H2)and Hδn,whereδn is an explicit positive constant depending only on n,then M is a totally umbilical sphere.Here H is the mean curvature of M.Moreover,we prove that if Mn(n 5)is an odd-dimensional compact submanifold in the space form Fn+p(c)with c 0,and if RicM(n-2-εn)(c+H2),whereεn is an explicit positive constant depending only on n,then M is homeomorphic to a sphere.     

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     

On the structure of complete hypersurfaces in a Riemannian manifold of nonnegative curvature and L 2 harmonic forms

Let M ⁿ be a complete oriented noncompact hypersurface in a complete Riemannian manifold N ⁿ⁺¹ of nonnegative sectional curvature with ${2 \leq n \leq 5}$ . We prove that if M satisfies a stability condition, then there are no non-trivial L ² harmonic one-forms on M. This result is a generalization of a well-known fact in the case when M is a stable minimally immersed hypersurface. As a consequence, we show that if the mean curvature of M is constant, then either M must have only one end or M splits into a product of ${\mathbb{R}}$ and a compact manifold with nonnegative sectional curvature. In case ${n \geq 5}$ , we also show that the same result holds if the absolute value of the mean curvature is less than or equal to the ratio of the norm of the second fundamental form to the dimension of a hypersurface.     

On some real hypersurfaces of a complex hyperbolic space

Given a real hypersurface of a complex hyperbolic space #x2102;?H ⁿ ,we construct a principal circle bundle over it which is a Lorentzian hypersurface of the anti-De Sitter space H ₁ ²ⁿ⁺¹ .Relations between the respective second fundamental forms are obtained permitting us to classify a remarkable family of real hypersurfaces of ?H ⁿ .     

Focal sets of hypersurfaces

Let M ? R ⁿ⁺¹ be a compact connected smooth hypersurface, and let W ? R ⁿ⁺¹ be the area bounded by M. We study the question: Does W contain a principal centre of curvature for some point of M?     

The Hamiltonian dynamics over real hypersurfaces in Kaehler manifolds

Let X be a Kaehler manifold with complex dimension n. Let ωX be its Kaehler form. Let M be a strongly pseudo convex real hypersurface in X. For this hypersurface, the deformation theory of CR structures is successfully developed. And we find that H¹(M,T^′) (the T^′-valued Kohn-Rossi cohomology) is the Zariski tangent space of the versal family. In this paper, the geometrical meaning of H¹(M,O) is studied, and we propose to study displacements of the real hypersurface, which preserves the type of the differential form, ωX, over CR structures, on M, infinitesimally.     

Complete hypersurfaces with constant laguerre scalar curvature in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let x: M ^n?1 → R ⁿ be an umbilical free hypersurface with non-zero principal curvatures. Two basic invariants of M under the Laguerre transformation group of R ⁿ are Laguerre form C and Laguerre tensor L. In this paper, n > 3) complete hypersurface with vanishing Laguerre form and with constant Laguerre scalar curvature R in R ⁿ , denote the trace-free Laguerre tensor by ?\(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\) · Id. If \(\widetilde L = L - \frac{1}{{n - 1}}tr\left( L \right)\), then M is Laguerre equivalent to a Laguerre isotropic hypersurface; and if \({\sup _M}\left\| {\widetilde L} \right\| = \frac{{\sqrt {\left( {n - 1} \right)\left( {n - 2} \right)} R}}{{\left( {n - 1} \right)\left( {n - 2} \right)\left( {n - 3} \right)}},\), M is Laguerre equivalent to the hypersurface ?x: H ¹ × S ^n?2 → R ⁿ .     

Nonfattening of Mean Curvature Flow at Singularities of Mean Convex Type

We show that a mean curvature flow starting from a compact, smoothly embedded hypersurface M ⊆ ℝ^{n + 1} remains unique past singularities, provided the singularities are of mean convex type, i.e., if around each singular point, the surface moves in one direction. Specifically, the level set flow of M does not fatten if all singularities are of mean convex type. We further show that assumptions of the theorem hold provided all blowup flows are of the kind appearing in a mean convex flow, i.e., smooth, multiplicity 1 , and convex. Our results generalize the well-known fact that the level set flow of a mean convex initial hypersurface M does not fatten. They also provide the first instance where nonfattening is concluded from local information around the singular set or from information about the singularity profiles of a flow. © 2019 Wiley Periodicals, Inc.     

Properties of P-sets and trapped compact convex sets

New properties of P-sets, which constitute a large class of convex compact sets in ? ⁿ that contains all convex polyhedra and strictly convex compact sets, are obtained. It is shown that the intersection of a P-set with an affine subspace is continuous in the Hausdorff metric. In this theorem, no assumption of interior nonemptiness is made, unlike in other known intersection continuity theorems for set-valued maps. It is also shown that if the graph of a set-valued map is a P-set, then this map is continuous on its entire effective set rather than only on the interior of this set. Properties of the so-called trapped sets are also studied; well-known Jung’s theorem on the existence of a minimal ball containing a given compact set in ? ⁿ is generalized. As is known, any compact set contains n + 1 (or fewer) points such that any translation by a nonzero vector takes at least one of them outside the minimal ball. This means that any compact set is trapped in the minimal ball. Compact sets trapped in any convex compact sets, rather than only in norm bodies, are considered. It is shown that, for any compact set A trapped in a P-set M ? ? ⁿ , there exists a set A ⁰ ? A trapped in M and containing at most 2n elements. An example of a convex compact set M ? ? ⁿ for which such a finite set A ⁰ ? A does not exist is given.     

Rigidity theorems for hypersurfaces with constant mean curvature

Let M ⁿ be a compact oriented hypersurface of a unit sphere \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H. Given an integer k between 2 and n ? 1, we introduce a tensor ? related to H and to the second fundamental form A of M, and show that if |?|² ≤ B _H,k and tr(? ³) ≤ C _n,k |?|³, where B _H,k and C _n,k are numbers depending only on H, n and k, then either |?|² ≡ 0 or |?|² ≡ B _H,k . We characterize all M ⁿ with |?|² ≡ B _H,k . We also prove that if \(\left| A \right|^2 \leqslant 2\sqrt {k(n - k)}\) and tr(? ³) ≤ C _n,k |?|³ then |A|² is constant and characterize all M ⁿ with |A|² in the interval \(\left[ {0,2\sqrt {k\left( {n - k} \right)} } \right] \) . We also study the behavior of |?|², with the condition additional tr(? ³) ≤ C _n,k |?|³, for complete hypersurfaces with constant mean curvature immersed in space forms and show that if sup _M |?|² = B _H,k and this supremum is attained in M ⁿ then M ⁿ is an isoparametric hypersurface with two distinct principal curvatures of multiplicities k y n ? k. Finally, we use rotation hypersurfaces to show that the condition on the trace of ? ³ is necessary in our results; more precisely, for each integer k with 2 ≤ k ≤ n ? 1 and \(H \geqslant 1/\sqrt {2n - 1} \) there is a complete hypersurface M ⁿ in \(\mathbb{S}^{n + 1} \) (1) with constant mean curvature H such that sup _M |?|² = B _H,k , and this supremum is attained in M ⁿ , and which is not a product of spheres.     

Constant mean curvature hypersurfaces with single valued projections on planar domains

A classical problem in constant mean curvature hypersurface theory is, for given H?0, to determine whether a compact submanifold Γn−1 of codimension two in Euclidean space , having a single valued orthogonal projection on Rn, is the boundary of a graph with constant mean curvature H over a domain in Rn. A well known result of Serrin gives a sufficient condition, namely, Γ is contained in a right cylinder C orthogonal to Rn with inner mean curvature HC?H. In this paper, we prove existence and uniqueness if the orthogonal projection Ln−1 of Γ on Rn has mean curvature and Γ is contained in a cone K with basis in Rn enclosing a domain in Rn containing Ln−1 such that the mean curvature of K satisfies HK?H. Our condition reduces to Serrin's when the vertex of the cone is infinite.     

Cauchy-Riemann Automorphism Groups that cannot be projectively realized

LetM ? ?ⁿ be a real-analytic, nonspherical hypersurface passing through the origin and having nondegenerate Levi form. Let Aut₀ M be the stability group of 0. Whenn = 12 an example is constructed for which Aut₀ M cannot be linearized.     

Integral formulas with distribution kernels for irreducible projections in L2 of a nilmanifold

Let N be a simply connected nilpotent Lie group and Γ a discrete uniform subgroup. The authors consider irreducible representations σ in the spectrum of the quasi-regular representation N × L²(Γ/N) → L²(Γ→) which are induced from normal maximal subordinate subgroups M ? N. The primary projection P_σ and all irreducible projections P ? P_σ are given by convolutions involving right Γ-invariant distributions D on Γ→, $\text{Pf(Γn) = D 1 f(Γn) = <D, n · f>}\text{all}\text{f ? C}{}^{\mathrm{\infty }}\text{(Γ/N)}$, where n · f(ζ) = f(ζ · n). Extending earlier work of Auslander and Brezin, and L. Richardson, the authors give explicit character formulas for the distributions, interpreting them as sums of characters on the torus T^κ = (Γ ∩ M) · [M, M]?M. By examining these structural formulas, they obtain fairly sharp estimates on the order of the distributions: if σ is associated with an orbit $\text{O}$ ? $\text{n}$¹ and if $\text{V}$ ? $\text{n}$¹ is the largest subspace which saturates θ in the sense that f ? $\text{O}$ ? f + $\text{V}$ ? $\text{O}$. As a corollary they obtain Richardson's criterion for a projection to map C⁰(Γ→) into itself. The authors also resolve a conjecture of Brezin, proving a Zero-One law which says, among other things, that if the primary projection P_σ maps C^r(Γ→) into C⁰(Γ→), so do all irreducible projections P ? P_σ. This proof is based on a classical lemma on the extent to which integral points on a polynomial graph in Rⁿ lie in the coset ring of Zⁿ (the finitely additive Boolean algebra generated by cosets of subgroups in Zⁿ). This lemma may be useful in other investigations of nilmanifolds.