The following version of a conjecture of Fischer-Colbrie and Schoen is proved: If M is a complete Riemannian 3-manifold with nonnegative scalar curvature which contains a two-sided torus S which is of least area in its isotopy class then M is flat. This follows from a local version derived in the paper.
Let $M$ be an open Riemannian $n$-manifold with nonnegative Ricci curvature. We prove that if the first Betti number of $M$ equals $n-1$, then $M$ is flat.
We address the question: how large is the family of complete metrics with nonnegative sectional curvature on S^2xR^3? We classify the connection metrics, and give several examples of non-connection metrics. We provide evidence that the family is small by proving some rigidity results for metrics more general than connection metrics.
In this paper, we are going to show some rigidity results for complete open Riemannian manifolds with nonnegative scalar curvature. Without using the famous Cheeger-Gromoll splitting theorem we give a new proof to a rigidity result for complete manifolds with nonnegative scalar curvature admitting a proper smooth map to $T^{n-1}\times \mathbf R$ with nonzero degree. Here we introduce a trick to obtain the compactness of limit hypersurface from locally graphical convergence. Based on the same idea we also establish an optimal $2$-systole inequality for several classes of complete Riemannian man…
We show that one-dimensional circle is the only case for closed smooth metric measure spaces with nonnegative Bakry-Émery Ricci curvature whose spectrum of the weighted Laplacian has an optimal positive upper bound. This result extends the work of Hang-Wang in the manifold case (Int. Math. Res. Not. 18 (2007), Art. ID rnm064, 9pp).
Let M be a closed minimal hypersurface in 5-dimensional Euclidean sphere with constant nonnegative scalar curvature. We prove that, if the sum of the cubes of all principal curvatures and the number of distinct principal curvatures are constant, then M is isoparametric. Moreover, We give all possible values for squared length of the second fundamental form of M. This result provides another piece of supporting evidence to the Chern conjecture.
Let $(M^n,g)$, $n \ge 4$, be a compact simply-connected Riemannian manifold with nonnegative isotropic curvature. Given $0<l\le L$, we prove that there exists $\eps = \eps (l,L,n)$ satisfying the following: If the scalar curvature $s$ of $g$ satisfies $$ l \le s \le L $$ and the Einstein tensor satisfies $$ | Ric - \frac {s}{n}g | \le \eps$$ then $M$ is diffeomorphic to a symmetric space of compact type. This is a smooth analogue of the result of S. Brendle that a compact Einstein manifold with nonnegative isotropic curvature is isometric to a locally symmetric space.
Given a closed Riemannian manifold (M, g), there is a partition Σ_i of its tangent bundle TM called the focal decomposition. The sets Σ_i are closely associated to focusing of geodesics of (M, g), i.e. to the situation where there are exactly i geodesic arcs of the same length joining points p and q in M. In this note, we study the topological structure of the focal decomposition of a closed Riemannian manifold and its relation with the metric structure of the manifold. Our main result is that the flat n-tori are focally rigid, in the sense that if two flat tori are focally equivalent, then th…
By works of Schoen-Yau and Gromov-Lawson any Riemannian manifold with nonnegative scalar curvature and diffeomorphic to a torus is isometric to a flat torus. Gromov conjectured subconvergence of tori with respect to a weak Sobolev type metric when the scalar curvature goes to $0$. We prove flat and intrinsic flat subconvergence to a flat torus for noncollapsing sequences of $3$-dimensional tori $M_j$ that can be realized as graphs of certain functions defined over flat tori satisfying a uniform upper diameter bound and scalar curvature bounds of the form $R_{g_{M_j}} \geq -1/j$. We also show t…
We prove a splitting theorem for complete gradient Ricci soliton with nonnegative curvature and establish a rigidity theorem for codimension one complete shrinking gradient Ricci soliton in $\mathbb R^{n+1}$ with nonnegative Ricci curvature.
In this note, we consider the isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature, and improve it by using Hawking mass. We also obtain a rigidity result when equality holds for the classical isoperimetric inequality on an asymptotically flat manifold with nonnegative scalar curvature.
In this paper we prove a rigidity result for the equality case of the Penrose inequality on $3$-dimensional asymptotically flat manifolds with nonnegative scalar curvature and corners. Our result also has deep connections with the equality cases of Theorem 1 in \cite{Miao2} and Theorem 1.1 in \cite{LM}.
It is well-know that Hawking mass is nonnegative for a stable constant mean curvature ($CMC$) sphere in three manifold of nonnegative scalar curvature. R. Bartnik proposed the rigidity problem of Hawking mass of stable $CMC$ spheres. In this paper, we show partial rigidity results of Hawking mass for stable $CMC$ spheres in asymptotic flat ($AF$) manifolds with nonnegative scalar curvature. If the Hawking mass of a nearly round stable $CMC$ surface vanishes, then the surface must be standard sphere in $\mathbb{R}^3 $ and the interior of the surface is flat. The similar results also hold for as…
We consider complete noncompact Riemannian manifolds with quadratically decaying lower Ricci curvature bounds and minimal volume growth. We first prove a rigidity result showing that ends with strongly minimal volume growth are isometric to warped product manifolds. Next we consider the almost rigid case in which manifolds with nonnegative and quadratically decaying lower Ricci curvature bounds have minimal volume growth. Compact regions in such manifolds are shown to be asymptotically close to warped products in the Gromov-Hausdorff topology. Manifolds with nonnegative Ricci curvature and lin…
In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse Hölder inequality for eigenfunctions of Dirichlet Laplacian.
We study nonnegatively curved metrics on S^2xR^4. First, we prove rigidity theorems for connection metrics; for example, the holonomy group of the normal bundle of the soul must lie in a maximal torus of SO(4). Next, we prove that Wilking's almost-positively curved metric on S2xS3 extends to a nonnegatively curved metric on S^2xR^4 (so that Wilking's space becomes the distance sphere of radius 1 about the soul). We describe in detail the geometry of this extended metric.
We prove the following comparison theorem for metrics with nonnegative scalar curvature, also known as the dihedral rigidity conjecture by Gromov: for $n\le 7$, if an $n$-dimensional prism has nonnegative scalar curvature and weakly mean convex faces, then its dihedral angle cannot be everywhere not larger than its Euclidean model, unless it is isometric to an Euclidean prism. The proof relies on constructing certain free boundary minimal hypersurface in a Riemannian polyhedron, and extending a dimension descent idea of Schoen-Yau. Our result is a localization of the positive mass theorem.
We show that complete conformally flat manifolds of dimension n>2 with nonnegative Ricci curvature enjoy nice rigidity properties: they are either flat, or locally isometric to a product of a sphere and a line, or are globally conformally equivalent to flat space or to a spherical spaceform. This extends previous works by Q.-M. Cheng, M.H. Noronha, B.-L. Chen and X.-P. Zhu, and S. Zhu.
We prove a new rigidity result for an open manifold M with nonnegative sectional curvature whose soul S is odd-dimensional. Specifically, there exists a geodesic in S and a parallel vertical plane field along it with constant vertical curvature and vanishing normal curvature. Under the added assumption that the Sharafutdinov fibers are rotationally symmetric, this implies that for small r, the distance sphere of radius r about S contains an immersed flat cylinder, and thus could not have positive curvature.
Based on properties of n-subharmonic functions we show that a complete, noncompact, properly embedded hypersurface with nonnegative Ricci curvature in hyperbolic space has an asymptotic boundary at infinity of at most two points. Moreover, the presence of two points in the asymptotic boundary is a rigidity condition that forces the hypersurface to be an equidistant hypersurface about a geodesic line in hyperbolic space. This gives an affirmative answer to the question raised by Alexander and Currier in 1990.
In this article, we investigate deformation problems of $Q$-curvature on closed Riemannian manifolds. One of the most crucial notions we use is the $Q$-singular space, which was introduced by Chang-Gursky-Yang during 1990's. Inspired by the early work of Fischer-Marsden, we derived several results about geometry related to $Q$-curvature. It includes classifications for nonnegative Einstein $Q$-singular spaces, linearized stability of non-$Q$-singular spaces and a local rigidity result for flat manifolds with nonnegative $Q$-curvature. As for global results, we showed that any smooth function c…
We derive a curvature-variation formula for a path of left-invariant metrics on a compact Lie group, beginning at a bi-invariant metric. We prove rigidity theorems for paths which remain nonnegatively curved, and we make progress towards a classification of the left-invariant metrics with nonnegative curvature on SO(4).
Let $F^{n+p}(c)$ be an $(n+p)$-dimensional simply connected space form with nonnegative constant curvature $c$. We prove that if $M^n(n\geq4)$ is a compact submanifold in $F^{n+p}(c)$, and if $Ric_M>(n-2)(c+H^2),$ where $H$ is the mean curvature of $M$, then $M$ is homeomorphic to a sphere. We also show that the pinching condition above is sharp. Moreover, we obtain a new differentiable sphere theorem for submanifolds with positive Ricci curvature.
Some rigidity theorems for spectral curvature bounds
Central China Normal University(华中师范大学);POSTECH(韩国科学技术院);Henan University(河南大学);Center for Applied Mathematics of Henan Province, Henan University(河南省应用数学中心)
In this paper we prove an area comparison result for certain totally geodesic surfaces in 3-manifolds with a lower bound on the scalar curvature. This result is a variant of a comparison theorem of Heintze-Karcher for minimal hypersurfaces in manifolds of nonnegative Ricci curvature. Our assumptions on the ambient manifold are weaker but the assumptions on the surface are considerably more restrictive. We then use our comparison theorem to provide a unified proof of various splitting theorems for 3-manifolds with lower bounds on the scalar curvature.
Given an Einstein structure with positive scalar curvature on a four-dimensional Riemannian manifolds, that is $Ric=λg$ for some positive constant $λ$. For convenience, the Ricci curvature is always normalized to $Ric=1$. A basic problem is to classify four-dimensional Einstein manifolds with positive or nonnegative curvature and $Ric=1$. In this paper, we firstly show that if the sectional curvature satisfies $K\le M_1= \frac{\sqrt{3}}2\approx 0.866025$, then the sectional curvature will be nonnegative. Next, we prove a family of rigidity theorems of Einstein four-manifolds with nonnegative s…
In this paper we prove classification results for solutions to subcritical and critical semilinear elliptic equations with a nonnegative potential on noncompact manifolds with nonnegative Ricci curvature. We show in the subcritical case that all nonnegative solutions vanish identically. Moreover, under some natural assumptions, in the critical case we prove a strong rigidity result, namely we classify all nontrivial solutions showing that they exist only if the potential is constant and the manifold is isometric to the Euclidean space.
A real Bott manifold is the total space of iterated RP^1 bundles starting with a point, where each RP^1 bundle is projectivization of a Whitney sum of two real line bundles. We prove that two real Bott manifolds are diffeomorphic if their cohomology rings with Z/2 coefficients are isomorphic. A real Bott manifold is a real toric manifold and admits a flat riemannian metric invariant under the natural action of an elementary abelian 2-group. We also prove that the converse is true, namely a real toric manifold which admits a flat riemannian metric invariant under the action of an elementary abe…
We develop techniques for classifying the nonnegatively curved left-invariant metrics on a compact Lie group G. We prove rigidity theorems for general G and a partial classification for G=SO(4). Our approach is to reduce the general question to an infinitesimal version; namely, to classify the directions one can move away from a fixed bi-invariant metric such that curvature variation formulas predict nearby metrics are nonnnegatively curved.
In this paper we generalize the main result of [4] for manifolds that are not necessarily Einstein. In fact, we obtain an upper bound for the volume of a locally volume-minimizing closed hypersurface $Σ$ of a Riemannian 5-manifold $M$ with scalar curvature bounded from below by a positive constant in terms of the total traceless Ricci curvature of $Σ$. Furthermore, if $Σ$ saturates the respective upper bound and $M$ has nonnegative Ricci curvature, then $Σ$ is isometric to $\mathbb{S}^4$ up to scaling and $M$ splits in a neighborhood of $Σ$. Also, we obtain a rigidity result for the Riemannian…