BibTeX
@MISC{Perelman_ricciflow,
author = {Grisha Perelman},
title = {Ricci Flow with Surgery on Three-Manifolds},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This is a technical paper, which is a continuation of [I]. Here we verify most of the assertions, made in [I, §13]; the exceptions are (1) the statement that a 3-manifold which collapses with local lower bound for sectional curvature is a graph manifold- this is deferred to a separate paper, as the proof has nothing to do with the Ricci flow, and (2) the claim about the lower bound for the volumes of the maximal horns and the smoothness of the solution from some time on, which turned out to be unjustified, and, on the other hand, irrelevant for the other conclusions. The Ricci flow with surgery was considered by Hamilton [H 5,§4,5]; unfortunately, his argument, as written, contains an unjustified statement (RMAX = Γ, on page 62, lines 7-10 from the bottom), which I was unable to fix. Our approach is somewhat different, and is aimed at eventually constructing a canonical Ricci flow, defined on a largest possible subset of space-time,- a goal, that has not been achieved yet in the present work. For this reason, we consider two scale bounds: the cutoff radius h, which is the radius of the necks, where the surgeries are performed, and the much larger radius r, such that the solution on the scales less than r has standard geometry. The point is to make h arbitrarily small while keeping r bounded away from zero. Notation and terminology B(x, t, r) denotes the open metric ball of radius r, with respect to the metric at time t, centered at x. P(x, t, r, △t) denotes a parabolic neighborhood, that is the set of all points (x ′ , t ′ ) with x ′ ∈ B(x, t, r) and t ′ ∈ [t, t + △t] or t ′ ∈ [t + △t, t], depending on the sign of △t. A ball B(x, t, ǫ −1 r) is called an ǫ-neck, if, after scaling the metric with factor r −2, it is ǫ-close to the standard neck S 2 × I, with the product metric, where S 2 has constant scalar curvature one, and I has length 2ǫ −1; here ǫ-close refers to C N topology, with N> ǫ −1. A parabolic neighborhood P(x, t, ǫ −1 r, r 2) is called a strong ǫ-neck, if, after scaling with factor r −2, it is ǫ-close to the evolving standard neck, which at each
