A three-dimensional closed orientable orbifold (with no bad suborbifolds) is known to have a geometric decomposition from work of Perelman along with earlier work of Boileau-Leeb-Porti and Cooper-Hodgson-Kerckhoff. We give a new, logically independent, unified proof of the geometrization of orbifolds, using Ricci flow. Along the way we develop some tools for the geometry of orbifolds that may be of independent interest.
A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture
University of California San Diego（加州大学圣地亚哥分校）；Cornell University（康奈尔大学）；Princeton AI, Princeton University（普林斯顿大学人工智能实验室）；Tsinghua University（清华大学）；Amazon AGI（亚马逊AGI）；NVIDIA Research（英伟达研究）；University of Oregon（俄勒冈大学）
We show that a simply-connected closed four-dimensional Ricci flow whose Ricci curvature is uniformly bounded below and whose volume does not approach zero must converge to a $C^{0}$ orbifold at any finite-time singularity, so has an extension through the singularity via orbifold Ricci flow. Moreover, a Type-I blowup of the flow based at any orbifold point converges to a flat cone in the Gromov-Hausdorff sense, without passing to a subsequence. In addition, we prove $L^{p}$ bounds for the curvature tensor on time-slices for any $p<2$. In higher dimensions, we show that every singular point of …
Extending four dimensional Ricci flows with bounded scalar curvature
本文考虑紧致连通无边界四维流形上里奇流的光滑解（M，g（t）），0 <= t <T.我们假设数量曲率是一致有界的，并且T是有限的。在这种情况下，我们证明了当t接近T时，与（M，g（t））相关联的度量空间（M，d（t））在C^0意义下一致收敛于（X，d），其中（X，d）是一个具有至多100个轨道点的C^0黎曼轨道。给出了在轨道点附近和远离轨道点的收敛速率的估计。我们还表明，它是可能的，继续使用orbifold里奇流的流动过去（X，d）。
In this paper, we show that the uniform L^{4}-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular Sasakian (2n+1)-manifold M of general type. As an application, any solution of the normalized Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular Sasaki η-Einstein metric on the transverse canonical model M_{can} of M if n is less than or equal to 3. In particular for n equal to 2, M_{can} is a S^{1}-orbibundle over the unique Keahler-Einstein orbifold surface (Z_{can},ω_{KE}) with finite point orbifold singularities. The floati…
In this paper, we study the Ricci flow on a closed manifold and finite time interval $[0,T)~(T < \infty)$ on which certain integral curvature energies are finite. We prove that in dimension four, such flow converges to a smooth Riemannian manifold except for finitely many orbifold singularities. We also show that in higher dimensions, the same assertions hold for a closed Ricci flow satisfying another conditions of integral curvature bounds. Moreover, we show that such flows can be extended over $T$ by an orbifold Ricci flow.
In this paper, we show that the uniform L^4-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular transverse Fano Sasakian (2n+1)-manifold M. When M is dimension up to seven and the space of leaves of the characteristic foliation is well-formed, we first show that any solution of the Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular orbifold Sasaki-Ricci soliton on the limit space which is a S^1-orbibundle over the unique singular Kaehler-Ricci soliton on a normal projective variety with codimension two orbifold singularitie…
We show that for certain locally collapsing initial data with Ricci curvature bounded below, one could start the Ricci flow for a definite period of time. This provides a Ricci flow smoothing tool, with which we find topological conditions that detect the collapsing infranil fiber bundles over controlled Riemannian orbifolds among those locally collapsing regions with Ricci curvature bounded below. In the appendix, we also provide a local distance distortion estimate for certain Ricci flows with collapsing initial data.
The approach to nonholonomic Ricci flows and geometric evolution of regular Lagrange systems [S. Vacaru: J. Math. Phys. \textbf{49} (2008) 043504 \& Rep. Math. Phys. \textbf{63} (2009) 95] is extended to include geometric mechanics and gravity models on Lie algebroids. We prove that such evolution scenarios of geometric mechanics and analogous gravity can be modelled as gradient flows characterized by generalized Perelman functionals if an equivalent geometrization of Lagrange mechanics [J. Kern, Arch. Math. (Basel) \textbf{25} (1974) 438] is considered. The R. Hamilton equations on Lie algebr…
We apply the Berglund-Hübsch transpose rule from BHK mirror symmetry to show that to an $n-1$-dimensional Calabi-Yau orbifold in weighted projective space defined by an invertible polynomial, we can associate four (possibly) distinct Sasaki manifolds of dimension $2n+1$ which are $n-1$-connected and admit a metric of positive Ricci curvature. We apply this theorem to show that for a given K3 orbifold, there exists four seven dimensional Sasakian manifolds of positive Ricci curvature, two of which are actually Sasaki-Einstein.
For an immortal Ricci flow on an $m$-dimensional $(m\ge 3)$ closed manifold, we show the following convergence results: (1) if the curvature and diameter are uniformly bounded, then any unbounded sequence of time slices sub-converges to a Riemannian orbifold; (2) if the flow is type-III with diameter growth controlled by $t^{\frac{1}{2}}$, then any blowdown limit is an $m$-dimensional negative Einstein manifold, provided that Feldman-Ilmanen-Ni's $\boldsymbolμ_+$-functional satisfies $\lim_{t\to \infty} t\boldsymbolμ_+'(t)=0$.
In this paper, we extend the theory of Ricci flows satisfying a Type-I scalar curvature condition at a finite-time singularity. In [Bam16], Bamler showed that a Type-I rescaling procedure will produce a singular shrinking gradient Ricci soliton with singularities of codimension 4. We prove that the entropy of a conjugate heat kernel based at the singular time converges to the soliton entropy of the singular soliton, and use this to characterize the singular set of the Ricci flow solution in terms of a heat kernel density function. This generalizes results previously only known with the stronge…
We present an analytic construction of complete non-compact 8-dimensional Ricci-flat manifolds with holonomy Spin(7). The construction relies on the study of the adiabatic limit of metrics with holonomy Spin(7) on principal Seifert circle bundles over asymptotically conical G2 orbifolds. The metrics we produce have an asymptotic geometry, so-called ALC geometry, that generalises to higher dimensions the geometry of 4-dimensional ALF hyperkähler metrics. We apply our construction to asymptotically conical G2 metrics arising from self-dual Einstein 4-orbifolds with positive scalar curvature. As …
The Kummer Construction of Calabi-Yau and Hyper-Kähler Metrics on the $K3$ Surface, and Large Families of Volume Non-collapsed Limiting Compact Hyper-Kähler Orbifolds
We show that a Ricci flow in four dimensions can develop singularities modeled on the Eguchi-Hanson space. In particular, we prove that starting from a class of asymptotically cylindrical $U(2)$-invariant initial metrics on $TS^2$, a Type II singularity modeled on the Eguchi-Hanson space develops in finite time. Furthermore, we show that for these Ricci flows the only possible blow-up limits are (i) the Eguchi-Hanson space, (ii) the flat $\mathbb{R}^4 /\mathbb{Z}_2$ orbifold, (iii) the 4d Bryant soliton quotiented by $\mathbb{Z}_2$, and (iv) the shrinking cylinder $\mathbb{R} \times \mathbb{R}…
Let $(M,g_0)$ be a compact $n$-dimensional Riemannian manifold with a finite number of singular points, where the metric is asymptotic to a non-negatively curved cone over $(\mathbb{S}^{n-1},g)$. We show that there exists a smooth Ricci flow starting from such a metric with curvature decaying like C/t. The initial metric is attained in Gromov-Hausdorff distance and smoothly away from the singular points. In the case that the initial manifold has isolated singularities asymptotic to a non-negatively curved cone over $(\mathbb{S}^{n-1}/Γ,g)$, where $Γ$ acts freely and properly discontinuously, w…
We prove that a compact stratied space satises the Riemannian curvature-dimension condition RCD(K, N) if and only if its Ricci tensor is bounded below by K $\in$ R on the regular set, the cone angle along the stratum of codimension two is smaller than or equal to 2$π$ and its dimension is at most equal to N. This gives a new wide class of geometric examples of metric measure spaces satisfying the RCD(K, N) curvature-dimension condition, including for instance spherical suspensions, orbifolds, K{ä}hler-Einstein manifolds with a divisor, Einstein manifolds with conical singularities along a curv…
