In this paper, we construct a pyramid Ricci flow starting with a complete Riemannian manifold (M n , g 0 ) that is PIC1, or more generally satisfies a lower curvature bound K IC1 ≥ −α 0 . That is, instead of constructing a flow on M ×[0, T ], we construct it on a subset of space-time that is a union of parabolic cylinders B g0 (x 0 , k) × [0, T k ] for each k ∈ N, where T k ↓ 0, and prove estimates on the curvature and Riemannian distance. More generally, we construct a pyramid Ricci flow starting with any noncollapsed IC 1 -limit space, and use it to establish that such limit spaces are globally homeomorphic to smooth manifolds via homeomorphisms that are locally bi-Hölder.
IntroductionA central issue in differential geometry is to understand Riemannian manifolds with lower curvature bounds. One of the important tasks in this direction is to understand the topological implications of such geometric bounds. Another, which is the main focus of this paper, is to understand the structure of Gromov-Hausdorff limits of sequences of manifolds satisfying a uniform lower curvature bound.There is some choice as to the precise notion of curvature bound to consider. Imposing a uniform lower bound on the sectional curvatures gives limits that are Alexandrov spaces, studied since the middle of the twentieth century, and about which we now have a great deal of information, e.g. [BGP92]. In practice, we often know a uniform lower bound not for each sectional curvature, but for a suitable average of sectional curvatures, and the instance that has received the most attention is the case of limits of manifolds with a uniform lower Ricci bound. Such Ricci limit spaces have been studied extensively since the work of Cheeger-Colding, starting in the 1990s, and have been widely applied, for example in the study of Einstein manifolds, [Che01]. One result that is particularly relevant to the present paper is the topological regularity of (non-collapsed) three-dimensional Ricci limit spaces in the sense that they are globally homeomorphic to smooth manifolds via homeomorphisms that are locally bi-Hölder [ST17, MT18, Hoc16]. This paper is concerned principally with a way of averaging sectional curvatures that is less familiar than Ricci curvature. Positivity of this average is generally referred to as PIC1, with this concept first appearing in the seminal work of Micallef and Moore [MM88] that was principally concerned with the weaker notion of positive isotropic curvature, itself now abbreviated as PIC. We will give the definition and basic properties of PIC1, and its nonnegative version WPIC1 (sometimes called NIC1) in Section 2.The PIC1 condition is natural for multiple reasons. To begin with, it can be naturally compared with other curvature conditions. For example, it is implied by 1 4 -pinching, positive curvature operator, 2-positive curvature operator, and positive complex sectional curvature separately [MM88, §5]. As we recall in Section 2, the PIC1 condition implies that Ric > 0, so volume comparison and compactness are at our d...