Ricci flow neckpinches without rotational symmetry

We study "warped Berger" solutions $\big(\mc S^1\times\mc S^3,G(t)\big)$ of Ricci flow: generalized warped products with the metric induced on each fiber $\{s\}\times\mathrm{SU}(2)$ a left-invariant Berger metric. We prove that this structure is preserved by the flow, that these solutions develop finite-time neckpinch singularities, and that they asymptotically approach round product metrics in space-time neighborhoods of their singular sets, in precise senses. These are the first examples of Ricci flow solutions without rotational symmetry that become asymptotically rotationally symmetric locally as they develop local finite-time singularities.
Comment: We correct a miscalculation of some terms in equation (22) and its subsequent uses. The main results of the paper are unchanged, because the methods employed in the proofs are robust enough to give the needed estimates, with only insignificant changes of constants