A consequence of the Cheeger-Gromoll splitting theorem states that for any open manifold $(M,x)$ of nonnegative Ricci curvature, if all the minimal geodesic loops at $x$ that represent elements of $π_1(M,x)$ are contained in a bounded ball, then $π_1(M,x)$ is virtually abelian. We generalize the above result: if these minimal representing geodesic loops of $π_1(M,x)$ escape from any bounded metric balls at a sublinear rate with respect to their lengths, then $π_1(M,x)$ is virtually abelian.
In this paper, we give a delay estimate of scalar curvature for a complete non-compact expanding (or steady) gradient Ricci soliton with nonnegative Ricci curvature. As an application, we prove that any complete non-compact expanding (or steady) gradient Kähler-Ricci solitons with positively pinched Ricci curvature should be Ricci flat. The result answers a question in case of Kähler-Ricci solitons proposed by Chow, Lu and Ni in a book.
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.
In this paper, we study stable weighted minimal hypersurfaces in manifolds with nonnegative Bakry-Emery Ricci curvature. We will give some geometric and topological applications. In particular, we give some partial classification of complete 3-manifolds with nonnegative Bakry-Emery Ricci curvature assuming that $f$ is bounded.
In this paper, we generalize topological results known for noncompact manifolds with nonnegative Ricci curvature to spaces with nonnegative $N$-Bakry Émery Ricci curvature. We study the Splitting Theorem and a property called the geodesic loops to infinity property in relation to spaces with nonnegative $N$-Bakry Émery Ricci Curvature. In addition, we show that if $M^n$ is a complete, noncompact Riemannian manifold with nonnegative $N$-Bakry Émery Ricci curvature where $N>n$, then $H_{n-1}(M,\mathbb{Z})$ is $0$.
We derive several vanishing theorems for genera under almost nonnegative Ricci curvature and infinite fundamental group, which includes Todd genus, $\widehat{A}$-genus, elliptic genera and Witten genus. A vanishing theorem of Euler characteristic number for almost nonnegatively curved Alexandrov spaces is also proved.
For a noncompact 3-manifold with nonnegative Ricci curvature, we prove that either it is diffeomorphic to $\mathbb{R}^3$ or the universal cover splits. As a corollary, it confirms a conjecture of Milnor in dimension 3.
In this paper, we study the topology of complete noncompact Riemannian manifolds with asymptotically nonnegative Ricci curvature and large volume growth. We prove that they have finite topological types under some curvature decay and volume growth conditions. We also generize it to the manifolds with $k$-th asymptotically nonnegative Ricci curvature by using extensions of Abresch-Gromoll's excess function estimate.
In this paper we prove classification results for gradient shrinking Ricci solitons under two invariant conditions, namely nonnegative orthogonal bisectional curvature and weakly PIC1, without any curvature bound. New results on ancient solutions for the Ricci and Kähler-Ricci flow are also obtained. The main new feature is that no curvature upper bound is assumed.
There is a conjecture that a complete Riemannian 3-manifold with bounded sectional curvature, and pointwise pinched nonnegative Ricci curvature, must be flat or compact. We show that this is true when the negative part (if any) of the sectional curvature decays quadratically.
In this paper, we study the topology of complete noncompact Riemannian manifolds with asymptotically nonnegative Ricci curvature. We show that a complete noncompact manifold with asymptoticaly nonnegative Ricci curvature and sectional curvature decay at most quadratically is diffeomorphic to a Euclidean n-space R^n under some conditions on the density of rays starting from the base point p or on the volume growth of geodesic balls in M.
We show that the moduli space of Riemannian metrics of nonnegative sectional curvature on certain quotients of Brieskorn varieties in dimension 5 has infinitely many path components. The same is true for the corresponding moduli space of positive Ricci curvature.
In a previous paper, we constructed complete manifolds of positive Ricci curvature with quadratically asymptotically nonnegative curvature and infinite topological type but dimension $\ge 6$. The purpose of the present paper is to use a different way to exhibit a family of complete $I$-dimensinal ($I\ge5$) Riemannian manifolds of positive Ricci curvature, quadratically asymptotically nonnegative sectional curvature, and certain infinite Betti number $b_j$ ($2\le j\le I-2$).
Let $M^n$ be a compact K$\ddot{a}$hler manifold with almost nonnegative Ricci curvature and nonzero first Betti number. We show that the holomorphic Euler number of $M^n$ vanishes, which gives a new obstruction for compact complex manifolds admitting K$\ddot{a}$hler metrics with almost nonnegative Ricci curvature. A crucial step in the proof is to show a vanishing theorem of Dolbeault-Morse-Novikov cohomology.
In this paper, we construct a complete n-dim Riemannian manifold with positive Ricci curvature, quadratically nonnegatively curved infinity and infinite topological type. This gives a negative answer to a conjecture by Jiping Sha and Zhongmin Shen in the case of n greater than or equal to 6.
We establish a min-max estimate on the volume width of a closed Riemannian manifold with nonnegative Ricci curvature. More precisely, we show that every closed Riemannian manifold with nonnegative Ricci curvature admits a PL Morse function whose level set volume is bounded in terms of the volume of the manifold. As a consequence of this sweep-out estimate, there exists an embedded, closed (possibly singular) minimal hypersurface whose volume is bounded in terms of the volume of the manifold.
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.
In this paper, we prove that any complete shrinking gradient Kähler-Ricci solitons with positive orthogonal bisectional curvature must be compact. We also obtain a classification of the complete shrinking gradient Kähler-Ricci solitons with nonnegative orthogonal bisectional curvature.
Lower bounds on Ricci curvature limit the volumes of sets and the existence of harmonic functions on Riemannian manifolds. In 1975, Shing Tung Yau proved that a complete noncompact manifold with nonnegative Ricci curvature has no nonconstant harmonic functions of sublinear growth. In the same paper, Yau used this result to prove that a complete noncompact manifold with nonnegative Ricci curvature has at least linear volume growth. In this paper, we prove the following theorem concerning harmonic functions on these manifolds. Theorem: Let M be a complete noncompact manifold with nonnegative Ric…
In this paper we prove that any complete conformal gradient soliton with nonnegative Ricci tensor is either isometric to a direct product $\mathbb{R}\times N^{n-1}$, or globally conformally equivalent to the Euclidean space $\mathbb{R}^{n}$ or to the round sphere $\mathbb{S}^{n}$. In particular, we show that any complete, noncompact, gradient Yamabe-type soliton with positive Ricci tensor is rotationally symmetric, whenever the potential function is nonconstant.
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.
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.
We survey all results concerning the topology of complete noncompact Riemannian manifolds with nonnegative Ricci curvature that have no additional conditions other than restrictions to the dimension, volume growth or diameter growth of the manifold. We will also present relevant examples and list open problems.
We study the fundamental group of an open $n$-manifold $M$ of nonnegative Ricci curvature. We show that if there is an integer $k$ such that any tangent cone at infinity of the Riemannian universal cover of $M$ is a metric cone, whose maximal Euclidean factor has dimension $k$, then $π_1(M)$ is finitely generated. In particular, this confirms the Milnor conjecture for a manifold whose universal cover has Euclidean volume growth and the unique tangent cone at infinity.
We consider Finsler submanifolds $M^n$ of nonnegative Ricci curvature in a Minkowski space $\mathbb{M}^{n+p}$ which contain a line or whose relative nullity index is positive. For hypersurfaces, submanifolds of codimension two or of dimension two, we prove that the submanifold is a cylinder, under a certain condition on the inertia of the pencil of the second fundamental forms. We give an example of a surface of positive flag curvature in a three-dimensional Minkowski space which is not locally convex.
Let (M,d) be a metric space. For 0<r<R, and p in M let G(p,r,R) be the group obtained by considering all loops based at p whose image is contained in the closed ball of radius r and identifying two loops if there is a homotopy betweeen them that is contained in the open ball of radius R. In this paper we study the asymptotic behavior of the G(p,r,R) groups of complete open manifolds of nonnegative Ricci curvature. We also find relationships between the G(p,r,R) groups and tangent cones at infinity of a metric space and show that any tangent cone at infinity of a complete open manifold of nonne…
This note is a study of nonnegativity conditions on curvature which are preserved by the Ricci flow. We focus on specific kinds of curvature conditions which we call noncoercive, these are the conditions for which nonnegative curvature and vanishing scalar curvature doesn't imply flatness. We show that, in dimensions greater than 4, if a Ricci flow invariant condition is weaker than "Einstein with nonnegative scalar curvature", then this condition has to be "nonnegative scalar curvature". As a corollary, we obtain that a Ricci flow invariant curvature condition which is stronger than "nonnegat…
We investigate the structure of a Finsler manifold of nonnegative weighted Ricci curvature including a straight line, and extend the classical Cheeger-Gromoll-Lichnerowicz splitting theorem. Such a space admits a diffeomorphic, measure-preserving splitting in general. As for a special class of Berwald spaces, we can perform the isometric splitting in the sense that there is a one-parameter family of isometries generated from the gradient vector field of the Busemann function. A Betti number estimate is also given for Berwald spaces.
A splitting theorem for manifolds with spectral nonnegative Ricci curvature and mean-convex boundary
Beijing Jiaotong University（北京交通大学）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）
We prove a lower bound for the first Steklov eigenvalue of embedded minimal hypersurfaces with free boundary in a compact $n$-dimensional manifold which has nonnegative Ricci curvature and strictly convex boundary. When $n=3$, this implies apriori area and curvature estimates for these minimal surfaces in terms of the geometry of the ambient manifold and the topology of the minimal surface. An important consequence of the estimate is a smooth compactness result for embedded minimal surfaces with free boundary when the topological type of these minimal surfaces is fixed.
We study sequences of 3-dimensional solutions to the Ricci flow with almost nonnegative sectional curvatures and diameters tending to infinity. Such sequences may arise from the limits of dilations about singularities of Type IIb. In particular, we study the case when the sequence collapses, which may occur when dilating about infinite time singularities. In this case we classify the possible Gromov-Hausdorff limits and construct 2-dimensional virtual limits. The virtual limits are constructed using Fukaya theory of the limits of local covers. We then show that the virtual limit arising from a…
In 1968, Milnor conjectured that a complete noncompact manifold with nonnegative Ricci curvature has a finitely generated fundamental group. The author applies the Excess Theorem of Abresch and Gromoll (1990), to prove two theorems. The first states that if such a manifold has small linear diameter growth then its fundamental group is finitely generated. The second states that if such a manifold has an infinitely generated fundamental group then it has a tangent cone at infinity which is not polar. A corollary of either theorem is the fact that if such a manifold has linear volume growth, then…
We prove that $n$-dimensional ($n\geqslant3$) complete and non-compact metric measure spaces with non-negative weighted Ricci curvature in which some Caffarelli-Kohn-Nirenberg type inequality holds are close to the model metric measure $n$-space (i.e., the Euclidean metric $n$-space).
We show that the moduli space of metrics of nonnegative sectional curvature on every homotopy ${\mathbb {R}} P^5$ has infinitely many path components. We also show that in each dimension $4k+1$ there are at least $2^{2k}$ homotopy ${\mathbb {R}} P^{4k+1}$s of pairwise distinct oriented diffeomorphism type for which the moduli space of metrics of positive Ricci curvature has infinitely many path components. Examples of closed manifolds with finite fundamental group with these properties were known before only in dimensions $4k+3\geq 7$.
We construct new examples of manifolds of positive Ricci curvature which, topologically, are vector bundles over compact manifolds of almost nonnegative Ricci curvature. In particular, we prove that if E is the total space of a vector bundle over a compact manifold of nonnegative Ricci curvature, then the product of E and R^p admits a complete metric of positive Ricci curvature for all large p.
Suppose $(M,g)$ is a Riemannian manifold having dimension $n$, nonnegative Ricci curvature, maximal volume growth and unique tangent cone at infinity. In this case, the tangent cone at infinity $C(X)$ is an Euclidean cone over the cross-section $X$. Denote by $α=\lim_{r\rightarrow\infty}\frac{\mathrm{Vol}(B_{r}(p))}{r^{n}}$ the asymptotic volume ratio. Let $h_{k}=h_{k}(M)$ be the dimension of the space of harmonic functions with polynomial growth of growth order at most $k$. In this paper, we prove a upper bound of $h_{k}$ in terms of the counting function of eigenvalues of $X$. As a corollary…
This paper concerns complete noncompact manifolds with nonnegative Ricci curvature. Roughly, we say that M has the loops to infinity property if given any noncontractible closed curve, C, and given any compact set, K, there exists a closed curve contained in M\K which is homotopic to C. The main theorems in this paper are the following. Theorem I: If M has positive Ricci curvature then it has the loops to infinity property. Theorem II: If M has nonnegative Ricci curvature then it either has the loops to infinity property or it is isometric to a flat normal bundle over a compact totally geodesi…
We show that the existence of an embedded compact, boundaryless hypersurface S of strictly positive mean curvature in a noncompact, connected, complete Riemannian n-manifold N of nonnegative Ricci curvature implies that the homomorphism between the fundamental groups of S and N induced by the inclusion is surjective, provided only that N - S has two connected components, one of which has noncompact closure and trivial homotopy relative to S. The idea of the proof is to view N as a spacelike hypersurface in a suitable Lorentz manifold and then apply a recent version of certain classic results b…
