Nonnegatively curved metrics on S^2xR^2

Examples of manifolds of positive Ricci curvature with quadratically nonnegatively curved infinity and infinite topological type

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.

A knot characterization and 1-connected nonnegatively curved 4-manifolds with circle symmetry

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.

Index theory and deformations of open nonnegatively curved manifolds

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.

Rigidity for Nonnegatively Curved Metrics on S^2xR^3

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.

Nonnegatively curved quotient spaces with boundary

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…

Morse-Novikov cohomology of almost nonnegatively curved manifolds

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.

Diffeomorphic souls and disconnected moduli spaces of nonnegatively curved metrics

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.

Gromov-Hausdorff hyperspace of nonnegatively curved $2$-spheres

We study topological properties of the Gromov-Hausdorff metric on the set of isometry classes of nonnegatively curved $2$-spheres.

On the moduli space of nonnegatively curved metrics on Milnor spheres

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$.

Techniques for classifying nonnegatively curved left-invariant metrics on compact Lie groups

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).

Nonnegatively curved fixed point homogeneous manifolds in low dimensions

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.

Nonnegatively curved 5-manifolds with non-abelian symmetry

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.

Space of nonnegatively curved metrics and pseudoisotopies

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.

Nonnegatively curved fixed point homogeneous 5-manifolds

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.

Soul Theorem for 4-dimensional Topologically Regular Open Nonnegatively Curved Alexandrov Spaces

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,…

Moduli spaces of nonnegatively curved metrics on exotic spheres

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…

The moduli Space of nonnegatively curved metrics on quotients of $S^2\times S^3$ by involutions

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.

Nonnegatively Curved Alexandrov Spaces with Souls of Codimension Two

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.

Topological finiteness for asymptotically nonnegatively curved manifolds

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.

Nonnegatively curved homogeneous metrics in low dimensions

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…

Connectedness properties of the space of complete nonnegatively curved planes

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…

Nonnegatively curved homogeneous metrics obtained by scaling fibers of submersions

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…

Unbounded Pontryagin numbers on nonnegatively curved spin manifolds

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.

非负曲率子流形的拓扑与几何刚性

Topological and geometric rigidity of nonnegatively curved submanifolds

研究非负曲率空间形式中满足特定条件的紧致子流形，通过特定方法探究其拓扑与几何，证明条件对其拓扑或几何有强约束并给出精确性例子。

Bounds between Laplace and Steklov eigenvalues on nonnegatively curved manifolds

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.

Nonnegatively curved hypersurfaces with free boundary on a sphere

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.

Spaces of nonnegatively curved surfaces

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 …

Moduli space of nonnegatively curved metrics on manifolds of dimension $4k+1$

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$.

Nonnegatively curved Euclidean submanifolds in codimension two

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}…

Rigidity of nonnegatively curved surfaces relative to a curve

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…

一个零曲率点轨迹的豪斯多夫维数为1/2的光滑非负弯曲球面

A Smooth Nonnegatively Curved Sphere Whose Zero-Curvature Point Locus Has Hausdorff Dimension 1/2

本文构造了微分同胚于球面的光滑非负弯曲度量，其零曲率点轨迹的豪斯多夫维数恰为1/2，方法基于凸图与正则化最大值嵌入。

Metrics with Nonnegative Curvature on S^2xR^4

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.

Singular vertices of nonnegatively curved integral polyhedral 3-manifolds

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.

Involution on pseudoisotopy spaces and the space of nonnegatively curved metrics

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…

Nilpotency, almost nonnegative curvature and the gradient flow

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.

$\mathsf S^1$-actions on $4$-manifolds and fixed point homogeneous manifolds of nonnegative curvature

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…

非负曲率三维流形上的数量曲率增长

Scalar curvature growth on nonnegatively curved three-manifolds

本文针对完备非紧非负截面曲率三维流形，通过水平集论证给出数量曲率积分的渐近上界，单端情形上极限不超过8π(1-渐近体积比)，双端情形极限不超过16π，且常数均可达到。

非负曲率空间中尖锐谱隙的刚性

The rigidity of sharp spectral gap in nonnegatively curved spaces

该研究将非负Ricci曲率下的第一尖锐谱隙刚性推广到紧RCD(0,N)空间，证明谱隙取极值等价于空间为一维常密度，所用的Sobolev理论与奇异一维局部化结合的新技术有独立价值，并导出几乎刚性结果。

Homogeneous Metrics with nonnegative curvature

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.

Obstructions to nonnegative curvature and rational homotopy theory

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.

Almost Nonnegative Ricci curvature and new vanishing theorems for genera

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.

Steady gradient soliton with curvature in L^1

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.

Seven dimensional cohomogeneity one manifolds with nonnegative curvature

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

Nonnegative curvature, elliptic genus and unbounded Pontryagin numbers

We discuss the cobordism type of spin manifolds with nonnegative sectional curvature. We show that in each dimension $4k \geq 12$, there are infinitely many cobordism types of simply connected and nonnegatively curved spin manifolds. Moreover, we raise and analyze a question about possible cobordism obstructions to nonnegative curvature.

Topological obstructions to nonnegative curvature

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.

Manifolds with 1/4-pinched flag curvature

We say that a nonnegatively curved manifold $(M,g)$ has quarter pinched flag curvature if for any two planes which intersect in a line the ratio of their sectional curvature is bounded above by 4. We show that these manifolds have nonnegative complex sectional curvature. By combining with a theorem of Brendle and Schoen it follows that any positively curved manifold with strictly quarter pinched flag curvature must be a space form. This in turn generalizes a result of Andrews and Nguyen in dimension 4. For odd dimensional manifolds we obtain results for the case that the flag curvature is pinc…

Smoothing 3-dimensional polyhedral spaces

We show that 3-dimensional polyhedral manifolds with nonnegative curvature in the sense of Alexandrov can be approximated by nonnegatively curved 3-dimensional Riemannian manifolds.

Alexandrov spaces with maximal number of extremal points

We show that any n-dimensional nonnegatively curved Alexandrov space with the maximal possible number of extremal points is isometric to a quotient space of Euclidean n -space by an action of a crystallographic group. We describe all such actions.

Invariant metrics with nonnegative curvature on SO(4) and other Lie groups

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.

Twisted submersions in nonnegative sectional curvature

B. Wilking introduced the dual foliation associated to a metric foliation in a Riemannian manifold with nonnegative sectional curvature, and proved that when the curvature is strictly positive, the dual foliation contains a single leaf, so that any two points in the ambient space can be joined by a horizontal curve. We show that the same phenomenon often occurs for nonnegatively curved Riemannian submersions even without the strict positive curvature condition, and irrespective of the particular metric.

Invariant Metrics with Nonnegative Curvature on SO(4)

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).

Lifting Group Actions and Nonnegative Curvature

We show that all vector bundles over CP^2 which are not spin admit a complete metric with nonnegative sectional curvature. In the proof we construct a nonnegatively curved metric on the corresponding principle bundle by showing that it admits a cohomogeneity one action with singular orbits of codimension 2. This is closely related to the problem of when an action of G on the base of an L principle bundle lifts to the total space, such that the lift commutes with L. We solve this lifting problem for all SO(k) principle bundles over a 4-dimensional simply connected base B with G a cohomogeneity …

Moduli spaces of nonnegative sectional curvature and non-unique souls

We apply various topological methods to distinguish connected components of moduli spaces of complete Riemannian metrics of nonnegative sectional curvature on open manifolds. The new geometric ingredient is that souls of nearby nonnegatively curved metrics are ambiently isotopic.

Nonnegative curvature, low cohomogeneity and complex cohomology

We construct several infinite families of nonnegatively curved manifolds of low cohomogeneity and small dimension which can be distinguished by their cohomology rings. In particular, we exhibit an infinite family of eight-dimensional cohomogeneity one manifolds of nonnegative curvature with pairwise non-isomorphic complex cohomology rings.