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 short note, by using a general three circle theorem, we show the rigidity of the sharp Bezout estimate first found by Gang Liu on nonnegatively curved Riemann surface.
We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of ``bounded geometry''.
In this paper we prove the conjecture of Alexander and Currier that states, except for covering maps of equidistant surfaces in hyperbolic 3-space, a complete, nonnegatively curved immersed hypersurface in hyperbolic space is necessarily properly embedded.
We prove Wilking's Conjecture about the completeness of dual leaves for the case of Riemannian foliations on nonnegatively curved symmetric spaces. Moreover, we conclude that such foliations split as a product of trivial foliations and a foliation with a single dual leaf.
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 classify nonnegatively curved simply connected 4-manifolds with circle symmetry up to equivariant diffeomorphisms. The main problem is rule out knotted curves in the singular set of the orbit space. As an extension of this work we classify all knots in S^3 which can be realized as an extremal set with respect to an inner metric on S^3 which has nonnegative curvature in the Alexandrov sense.
We use an index-theoretic technique of Hitchin to show that the space of complete Riemannian metrics of nonnegative sectional curvature on certain open spin manifolds has nontrivial homotopy groups in infinitely many degrees. A new ingredient of independent interest is homotopy density of the subspace of metrics with cylindrical ends.
Let $M$ be a compact nonnegatively curved Riemannian manifold admitting an isometric action by a compact Lie group $\mathsf G$ in a way that the quotient space $M/\mathsf G$ has nonempty boundary. Let $π: M \to M/\mathsf G$ denote the quotient map and $B$ be any boundary stratum of $M/\mathsf G$. Via a specific soul construction for $M/ \mathsf G$ we construct a smooth closed submanifold $N$ of $M$ such that $M \setminus π^{-1}(B)$ is diffeomorphic to the normal bundle of $N$. As an application we show that a simply connected torus manifold admitting an invariant metric of nonnegative curvatur…
Let $M^n$ be a closed manifold of almost nonnegative sectional curvature and nonzero first de Rham cohomology group. For any $[θ] \in H^1_{dR}(M^n), [θ] \neq 0$, we show that the Morse- Novikov cohomology group $H^p(M^n, θ)$ vanishes for any $p$. A similar result holds for a closed manifold of almost nonnegative Ricci curvature under the additional assumption that its curvature operator is uniformly bounded from below.
We give examples of open manifolds that carry infinitely many complete metrics of nonnegative sectional curvature such that they all have the same soul, and their isometry classes lie in different connected components of the moduli space. All previously known examples of this kind have souls of codimension one. In our examples the souls have codimensions three and two.
Let $M$ be a Milnor sphere or, more generally, the total space of a linear $S^3$-bundle over $S^4$ with $H^4(M;\mathbb{Q})=0$. We show that the moduli space of metrics of nonnegative sectional curvature on $M$ has infinitely many path components. The same holds true for the moduli space of metrics of positive Ricci curvature on $M$.
We provide techniques for studying the nonnegatively curved left-invariant metrics on a compact Lie group. For "straight" paths of left-invariant metrics starting at bi-invariant metrics and ending at nonnegatively curved metrics, we deduce a nonnegativity property of the initial derivative of curvature. We apply this result to obtain a partial classification of the nonnegatively curved left-invariant metrics on SO(4).
Let $G$ be a compact Lie group acting isometrically on a compact Riemannian manifold $M$ with nonempty fixed point set $M^G$. We say that $M$ is fixed-point homogeneous if $G$ acts transitively on a normal sphere to some component of $M^G$. Fixed-point homogeneous manifolds with positive sectional curvature have been completely classified. We classify fixed-point homogeneous Riemannian manifolds in dimensions 3 and 4 and determine which nonnegatively curved simply-connected 4-manifolds admit a smooth fixed-point homogeneous circle action with a given orbit space structure.
We classify compact simply-connected 5-dimensional manifolds which admit a metric of nonnegative curvature with a connected non-abelian group acting by isometries. We show that they are diffeomorphic to either S^5, S^3 x S^2, the nontrivial S^3-bundle over S^2 or the Wu-manifold, SU(3)/SO(3). This result is a consequence of our equivariant classification of all SO(3) and SU(2)-actions on compact simply-connected 5-manifolds. In the case of positive curvature we obtain a partial classification.
Let V be an open manifold with complete nonnegatively curved metric such that the normal sphere bundle to a soul has no section. We prove that the souls of nearby nonnegatively curved metrics on V are smoothly close. Combining this result with some topological properties of pseudoisotopies we show that for many V the space of complete nonnegatively curved metrics has infinite higher homotopy groups.
Let $G$ be a compact Lie group acting effectively by isometries on a compact Riemannian manifold $M$ with nonempty fixed point set $Fix(M,G)$. We say that the action is \emph{fixed point homogeneous} if $G$ acts transitively on a normal sphere to some component of $Fix(M,G)$, equivalently, if $Fix(M,G)$ has codimension one in the orbit space of the action. We classify up to diffeomorphism closed, simply connected 5-manifolds with nonnegative sectional curvature and an effective fixed point homogeneous isometric action of a compact Lie group.
In this paper, we study the topology of topologically regular 4-dimensional open non-negatively curved Alexandrov spaces. These spaces occur naturally as the blow-up limits of compact Riemannian manifolds with lower curvature bound. These manifolds have also been studied by Yamaguchi in his preprint [Yam2002]. Our main tools are gradient flows of semi-concave functions and critical point theory for distance functions, which have been used to study the 3-dimensional collapsing theory in the paper [CaoG2010]. The results of this paper will be used in our future studies of collapsing 4-manifolds,…
We show that the moduli space of nonnegatively curved metrics on each member of a large class of 2-connected 7-manifolds, including each smooth manifold homeomorphic to $S^7$, has infinitely many connected components. The components are distinguished using the Kreck-Stolz $s$-invariant computed for metrics constructed by Goette, Kerin and Shankar. The invariant is computed by extending each metric to the total space of an orbifold disc bundle and applying generalizations of the Atiyah-Patodi-Singer index theorem for orbifolds with boundary. We develop methods for computing characteristic class…
We show that for an orientable non-spin manifold with fundamental group $\mathbb{Z}_2$ and universal cover $S^2\times S^3,$ the moduli space of metrics of nonnegative sectional curvature has infinitely many path components. The representatives of the components are quotients of the standard metric on $S^3\times S^3$ or metrics on Brieskorn varieties previously constructed using cohomogeneity one actions. The components are distinguished using the relative $η$ invariant of the spin$^c$ Dirac operator computed by means of a Lefschetz fixed point theorem.
In this paper, we study a complete noncompact nonnegatively curved Alexandrov space $A$ with a soul $S$ of codimension two. We establish some structural results under additional regularity assumptions. As an application, we conclude that in this case Sharafutdinov retraction, $π:\ A\to S$, is a submetry.
We prove that a class of asymptotically nonnegatively curved manifolds (in the sense of Abresch) satisfying some uniform Euclidean type volume growth conditions contains only finitely many homeomorphism types.
We consider invariant Riemannian metrics on compact homogeneous spaces $G/H$ where an intermediate subgroup $K$ between $G$ and $H$ exists. In this case, the homogeneous space $G/H$ is the total space of a Riemannian submersion. The metrics constructed by shrinking the fibers in this way can be interpreted as metrics obtained from a Cheeger deformation and are thus well known to be nonnegatively curved. On the other hand, if the fibers are homothetically enlarged, it depends on the triple of groups $(H,K,G)$ whether nonnegative curvature is maintained for small deformations. Building on the wo…
We study the space of complete Riemannian metrics of nonnegative curvature on the plane equipped with the C^k topology. If k is infinite, we show that the space is homeomorphic to the separable Hilbert space. For any k we prove that the space cannot be made disconnected by removing a finite dimensional subset. A similar result holds for the associated moduli space. The proof combines properties of subharmonic functions with results of infinite dimensional topology and dimension theory. A key step is a characterization of the conformal factors that make the standard Euclidean metric on the plan…
We consider invariant Riemannian metrics on compact homogeneous spaces G/H where an intermediate subgroup K between G and H exists, so that the homogeneous space G/H is the total space of a Riemannian submersion. We study the question as to whether enlarging the fibers of the submersion by a constant scaling factor retains the nonnegative curvature in the case that the deformation starts at a normal homogeneous metric. We classify triples of groups (H,K,G) where nonnegative curvature is maintained for small deformations, using a criterion proved by Schwachhöfer and Tapp. We obtain a complete c…
We prove that any rational linear combination of Pontryagin numbers that does not factor through the universal elliptic genus is unbounded on connected closed spin manifolds of nonnegative sectional curvature.
Consider a compact Riemannian manifold with boundary. In this short note we prove that under certain positive curvature assumptions on the manifold and its boundary the Steklov eigenvalues of the manifold are controlled by the Laplace eigenvalues of the boundary. Additionally, in two dimensions we obtain an upper bound for these Steklov eigenvalues in terms of topology of the surface without any curvature restrictions.
We prove that in Euclidean space $R^{n+1}$ any compact immersed nonnegatively curved hypersurface $M$ with free boundary on the sphere $S^n$ is an embedded convex topological disk. In particular, when the $m^{th}$ mean curvature of $M$ is constant, for any $1\leq m\leq n$, $M$ is a spherical cap or an equatorial disk.
We determine the homeomorphism type of the space of smooth complete nonnegatively curved metrics on surfaces of positive Euler characteristic equipped with the topology of $C^γ$ uniform convergence on compact sets, when $γ$ is infinite or is not an integer. If $γ=\infty$, the space of metrics is homeomorphic to the separable Hilbert space. If $γ$ is finite and not an integer, the space of metrics is homeomorphic to the countable power of the linear span of the Hilbert cube. We also prove similar results for some other spaces of metrics including the space of complete smooth Riemannian metrics …
In each dimension $4k+1\geq 9$, we exhibit infinite families of closed manifolds with fundamental group $\mathbb Z_2$ for which the moduli space of metrics of nonnegative sectional curvature has infinitely many path components. Examples of closed manifolds with finite fundamental group with this property were known before only in dimension $5$ and dimensions $4k+3\geq 7$.
We prove that any properly oriented $C^{2,1}$ isometric immersion of a positively curved Riemannian surface M into Euclidean 3-space is uniquely determined, up to a rigid motion, by its values on any curve segment in M. A generalization of this result to nonnegatively curved surfaces is presented as well under suitable conditions on their parabolic points. Thus we obtain a local version of Cohn-Vossen's rigidity theorem for convex surfaces subject to a Dirichlet condition. The proof employs in part Hormander's unique continuation principle for elliptic PDEs. Our approach also yields a short pr…
We provide a classification of compact Euclidean submanifolds $M^n\subset{\mathbb{R}}^{n+2}$ with nonnegative sectional curvature, for $n\ge 3$. The classification is in terms of the induced metric (including the diffeomorphism classification of the manifold), and we study the structure of the immersions as well. In particular, we provide the first known example of a nonorientable quotient $({\mathbb{S}}^{n-1}\times{\mathbb{S}}^1)/{\mathbb{Z}_2}\subset{\mathbb{R}}^{n+2}$ with nonnegative curvature. For the 3-dimensional case, we show that either the universal cover is isometric to ${\mathbb{S}…
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.
In this paper, we study polyhedral 3-manifolds with nonnegative curvature and integral monodromy, two conditions motivated by Thurston's work in arXiv:math/9801088. We classify the 32 isometry types of codimension 3 singularities in such manifolds. We also show that the number of these singularities is bounded.
We prove that certain involutions defined by Vogell and Burghelea-Fiedorowicz on the rational algebraic $K$-theory of spaces coincide. This gives a way to compute the positive and negative eigenspaces of the involution on rational homotopy groups of pseudoisotopy spaces from the involution on rational $S^{1}$-equivariant homology group of the free loop space of a simply-connected manifold. As an application, we give explicit dimensions of the open manifolds $V$ that appear in Belegradek-Farrell-Kapovitch's work for which the spaces of complete nonnegatively curved metrics on $V$ have nontrivia…
We show that almost nonnegatively curved m-dimensional manifolds are, up to finite cover, nilpotent spaces in the sense of homotopy theory and have C(m)-nilpotent fundamental groups. We also show that up to a finite cover almost nonnegatively curved manifolds are fiber bundles with simply connected fibers over nilmanifolds.
This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric circle-action admits an approximation in Gromov-Hausdorff topology by smooth, positively curved Riemannian 3-manifolds. In the second main part we show that a compact, nonnegatively curved and fixed point homogeneous manifold is diffeomorphic to the unit normal bundles of two smooth closed submanifolds glued together along their boundaries. As a corollary we show that a…
Given compact Lie groups H\subset G, we study the space of G-invariant metrics on G/H with nonnegative sectional curvature. For an intermediate subgroup K between H and G, we derive conditions under which enlarging the Lie algebra of K maintains nonnegative curvature on G/H. Such an enlarging is possible if (K,H) is a symmetric pair, which yields many new examples of nonnegatively curved homogeneous metrics. We provide other examples of spaces G/H with unexpectedly large families of nonnegatively curved homogeneous metrics.
We establish a link between rational homotopy theory and the problem which vector bundles admit complete Riemannian metric of nonnegative sectional curvature. As an application, we show for a large class of simply-connected nonnegatively curved manifolds that, if C lies in the class and T is a torus of positive dimension, then "most" vector bundles over the product of C and T admit no complete nonnegatively curved metric.
We prove some rigidity results on geodesic orbit Finsler spaces with non-positive curvature. In particular, we show that a geodesic Finsler space with strictly negative flag curvature must be a non-compact Riemannian symmetric space of rank one.
This paper generalizes D. Burago and S. Ivanov's work on filling volume minimality and boundary rigidity of almost real hyperbolic metrics. We show that regions with metrics close to a negatively curved symmetric metric are strict minimal fillings and hence boundary rigid. This includes perturbations of complex, quaternionic and Cayley hyperbolic metrics.
Inspired by a recent work of Grove-Petersen in [GP18], where the authors studied Alexandrov spaces with largest possible boundary. We study Alexandrov spaces with lower curvature bound 1 and with small boundary. When the radius of X is π/2, and the boundary has diameter π/2, we classify the total space X.
We classify four-dimensional shrinking Ricci solitons satisfying $Sec \geq \frac{1}{24} R$, where $Sec$ and $R$ denote the sectional and the scalar curvature, respectively. They are isometric to either $\mathbb{R}^{4}$ (and quotients), $\mathbb{S}^{4}$, $\mathbb{RP}^{4}$ or $\mathbb{CP}^{2}$ with their standard metrics.
We characterize complete nonnegatively curved steady gradient soliton with curvature in L^1. We show that there are isometric to a product (R^2,g_{cigar}) times(R^{n-2}, eucl))/Gamma where Gamma is a Bieberbach group of rank n-2. We prove also a similar local splitting result under weaker curvature assumptions.
We show that a certain family of cohomogeneity one manifolds does not admit an invariant metric of nonnegative sectional curvature, unless it admits one with positive curvature. As a consequence, the classification of nonnegatively curved cohomogeneity one manifolds in dimension 7 is reduced to only one further family of candidates
As the first step in the direction of the Hopf conjecture on the non-existence of metrics with positive sectional curvature on $S^2 \times S^2$ D.Gromoll and K.Tapp in [GT] suggested the following (Weak Hopf) conjecture (on the rigidity of non-negatively curved metrics on $S^2 \times R^3$): "The boundary $S^2\times S^2$ of the $S^2 \times B^3\subset S^2 \times R^3$ with an arbitrary complete metric of non-negative sectional curvature contains a point where a curvature of $S^2 \times S^2$ vanish". In this note we verify this.
We prove the following entropy-rigidity result in finite volume: if $X$ is a negatively curved manifold with curvature $-b^2\leq K_X \leq -1$, then $Ent_{top}(X) = n-1$ if and only if $X$ is hyperbolic. In particular, if $X$ has the same length spectrum of a hyperbolic manifold $X_0$, the it is isometric to $X_0$ (we also give a direct, entropy-free proof of this fact). We compare with the classical theorems holding in the compact case, pointing out the main difficulties to extend them to finite volume manifolds.
Let $X, Y$ be complete, simply connected Riemannian surfaces with pinched negative curvature $-b^2 \leq K \leq -1$. We show that if $f : \partial X \to \partial Y$ is a Moebius homeomorphism between the boundaries at infinity of $X, Y$, then $f$ extends to an isometry $F : X \to Y$. This can be viewed as a generalization of Otal's marked length spectrum rigidity theorem for closed, negatively curved surfaces, in the sense that Otal's theorem asserts that if $X, Y$ admit properly discontinuous, cocompact, free actions by groups of isometries and the boundary map $f$ is Moebius and equivariant w…
Let $(X, g_0)$ be a simply connected, complete, negatively curved Riemannian manifold. We prove local and infinitesimal rigidity results for compactly supported deformations of the metric $g_0$. For any negatively curved metric $g$ equal to $g_0$ outside a compact, the identity map of $X$ induces a natural boundary map between the boundaries at infinity of $X$ with respect to $g_0$ and $g$. We show that if $(g_t)$ is a smooth 1-parameter family of negatively curved metrics all equal to $g_0$ outside a fixed compact then if all the boundary maps (between the boundaries of $X$ with respect to $g…
We find new obstructions to the existence of complete Riemannian metric of nonnegative sectional curvature on manifolds with infinite fundamental groups. In particular, we construct many examples of vector bundles whose total spaces admit no nonnegatively curved metric.