Skip

Differential geometry · 3 manuscript(s)

Scalar curvature and finite-time Ricci-flow singularities

To be verified
Open on GitHub

1 · The essentials

Ricci flow is a way of changing a space’s geometry over time according to its curvature. These manuscripts ask whether keeping one overall measure of curvature bounded is enough to prevent the flow from breaking down at a finite time. In four dimensions, for smooth flows on spaces that are compact and have no boundary, the answer shown in the manuscript is yes: the flow can continue smoothly on the same space. In sufficiently high dimensions, however, the main manuscript constructs flows in which that overall measure stays bounded while the full curvature becomes unbounded. Thus, the proposed rule does not hold without a restriction on dimension. The examples also exhibit a range of rates at which curvature becomes unbounded. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine watching a single summary reading on a machine while its individual parts undergo increasingly extreme stresses. A steady summary reading need not guarantee that everything is under control; the manuscripts show that whether a curvature summary provides such a guarantee depends on the dimension.

Why it matters

The results distinguish sharply between four-dimensional Ricci flow and Ricci flow in sufficiently high dimensions. They show that bounded scalar curvature is an extension criterion under the four-dimensional hypotheses, but not a dimension-independent safeguard against finite-time curvature blowup. The companion analytic manuscript supplies a related estimate in a specifically four-dimensional setting, with explicit geometric assumptions.

2 · Going further

The extension problem asks whether a smooth Ricci flow on a closed manifold can continue smoothly through a finite time whenever its scalar curvature remains uniformly bounded. Here, “closed” means compact and without boundary, and scalar curvature is a scalar summary of curvature rather than the full curvature information. Manuscript 2 shows in the manuscript that, on a closed real four-manifold, this bound guarantees smooth extension on the same manifold. Its abstract describes this as resolving the scalar-curvature extension problem in dimension four.

Manuscript 1 addresses the unrestricted, all-dimensions conjecture by constructing counterexamples in sufficiently high dimension. Their scalar curvature remains uniformly bounded, but their full curvature diverges at a finite maximal time. In one fixed sufficiently high dimension, the examples have two-sided power-law curvature blowup with arbitrarily large exponents: the rate is controlled both above and below by power laws. The abstract identifies construction of these examples as the route to the negative result, but does not describe the construction or its intermediate arguments.

Manuscript 3 concerns a sequential elliptic inequality for the renormalized Einstein–Hilbert functional on a fixed finite tree of four-dimensional Ricci-flat spaces. As joining lengths diverge and a scale-neutral weighted Ricci error tends to zero, the asserted estimate is , meaning that is negligible relative to in this limit. The assumptions include root-end decay exponent greater than one and nontrivial quotient groups at every joining. The manuscript also establishes, according to its abstract, the multivariable path-selection theorem for asymptotic expansions used to obtain that estimate. This provides the stated analytic connection within the companion work; the supplied abstracts do not specify how this estimate enters the four-dimensional extension argument or the high-dimensional construction.

Useful notions

  • Smooth manifolds and dimension
  • Curvature and scalar curvature
  • Ricci flow and smooth extension
  • Uniform bounds and finite-time blowup
  • Asymptotic estimates

What was known before / what is new

Before

The source identifies a scalar-curvature extension conjecture in an unrestricted all-dimensions form. Its question is whether bounded scalar curvature prevents a finite-time obstruction to smooth continuation. The source supplies no further historical account or earlier partial results.

New

Manuscript 1 claims high-dimensional closed examples with bounded scalar curvature and finite-time full-curvature blowup, contradicting the unrestricted conjecture. In one fixed sufficiently high dimension, it also claims two-sided power-law blowup with arbitrarily large exponents. Manuscript 2 shows in the manuscript that bounded scalar curvature does guarantee smooth extension in real dimension four. Manuscript 3 contributes the stated sequential elliptic estimate and the path-selection result used to obtain it.

Limits and assumptions

The extension statement assumes a smooth Ricci flow on a closed real four-manifold and a uniform scalar-curvature bound at the finite time in question. The counterexamples are in sufficiently high dimension; the source gives no numerical dimension threshold or conclusions for all intervening dimensions. The elliptic estimate requires a fixed finite tree, diverging joining lengths, weighted Ricci error tending to zero, root-end decay exponent greater than one, and nontrivial joined quotient groups. The supplied abstracts do not give detailed arguments or identify further open cases. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Ricci flow
—
An evolution of a manifold’s geometry governed by its Ricci curvature.
Closed manifold
—
A manifold that is compact and has no boundary.
Scalar curvature
—
A single scalar summary of curvature at each point, distinct from the full curvature information.
Smooth extension
—
Continuation of the flow smoothly through the time under consideration.
Finite-time curvature blowup
—
Curvature becoming unbounded as the flow approaches a finite time.
Ricci-flat
—
Having Ricci curvature equal to zero.

Keywords : Ricci flow · Scalar curvature · Finite-time singularities

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves that a smooth Ricci flow on a closed four-manifold extends past any finite time at which scalar curvature remains uniformly bounded. A higher-dimensional counterexample has bounded scalar curvature but unbounded full curvature at its finite maximal time, disproving the unrestricted scalar-curvature extension conjecture.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

A closed Ricci flow with bounded scalar curvature and finite-time curvature blowup

24/09/2026
To be verified

We disprove the scalar-curvature extension conjecture in its unrestricted all-dimensions form. In sufficiently high dimension, we construct a Ricci flow on a closed manifold whose scalar curvature remains uniformly bounded while full curvature diverges at a finite maximal time. In one fixed sufficiently high dimension, the examples have two-sided power-law curvature blowup with arbitrarily large exponents.

2.

Bounded scalar curvature and smooth extension of four-dimensional Ricci flow

24/09/2026
To be verified

We prove that a smooth Ricci flow on a closed real four-manifold extends on the same manifold through every finite time at which its scalar curvature remains uniformly bounded. This resolves the scalar-curvature extension problem in dimension four.

3.

Path selection and an elliptic inequality on degenerating Ricci-flat trees

24/09/2026
To be verified

We prove a sequential elliptic inequality for the renormalized Einstein–Hilbert functional on a fixed finite tree of four-dimensional Ricci-flat spaces. As the joining lengths diverge and the scale-neutral weighted Ricci error M tends to zero, the functional satisfies . The root end has decay exponent greater than one, and every joined quotient group is nontrivial. We also prove the multivariable path-selection theorem for asymptotic expansions used to obtain this estimate.