geometry-topology / Geometric analysis; four-dimensional Ricci flow

The scalar-curvature extension conjecture for Ricci flow in dimension four

Theorem 1.1: a smooth Ricci flow on a closed four-manifold with sup⁡M×[0,T)∣R∣<∞\sup_{M\times[0,T)}|R|<\infty, T<∞T<\infty, extends smoothly past TT; Corollary: at a finite maximal time lim sup⁡max⁡R=+∞\limsup\max R=+\infty. This removes the H2H_2 hypothesis of Bamler-Zhang and gives smooth continuation rather than an orbifold flow. The companion proves E=o(M)E=o(M) for the renormalized Einstein-Hilbert functional on degenerating trees of Ricci-flat spaces. It is specific to dimension four; in high dimension the family's other paper shows the statement is false.

40Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 40/100Registry: unreviewed

The scalar-curvature extension conjecture for Ricci flow in dimension four

Prior state unknown→proved

Theorem 1.1: a smooth Ricci flow on a closed four-manifold with sup⁡M×[0,T)∣R∣<∞\sup_{M\times[0,T)}|R|<\infty, T<∞T<\infty, extends smoothly past TT; Corollary: at a finite maximal time lim sup⁡max⁡R=+∞\limsup\max R=+\infty. This removes the H2H_2 hypothesis of Bamler-Zhang and gives smooth continuation rather than an orbifold flow. The companion proves E=o(M)E=o(M) for the renormalized Einstein-Hilbert functional on degenerating trees of Ricci-fl…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: a smooth Ricci flow on a closed four-manifold with sup⁡M×[0,T)∣R∣<∞\sup_{M\times[0,T)}|R|<\infty, T<∞T<\infty, extends smoothly past TT; Corollary: at a finite maximal time lim sup⁡max⁡R=+∞\limsup\max R=+\infty. This removes the H2H_2 hypothesis of Bamler-Zhang and gives smooth continuation rather than an orbifold flow. The companion proves E=o(M)E=o(M) for the renormalized Einstein-Hilbert functional on degenerating trees of Ricci-flat spaces. It is specific to dimension four; in high dimension the family's other paper shows the statement is false.

Theorem 1.1: a smooth Ricci flow on a closed four-manifold with sup⁡M×[0,T)∣R∣<∞\sup_{M\times[0,T)}|R|<\infty, T<∞T<\infty, extends smoothly past TT; Corollary: at a finite maximal time lim sup⁡max⁡R=+∞\limsup\max R=+\infty. This removes the H2H_2 hypothesis of Bamler-Zhang and gives smooth continuation rather than an orbifold flow. The companion proves E=o(M)E=o(M) for the renormalized Einstein-Hilbert functional on degenerating trees of Ricci-flat spaces. It is specific to dimension four; in high dimension the family's other paper shows the statement is false.

Recorded attempts

Evidence graph

Connected research record

The scalar-curvature extension conjecture for Ricci flow in dimension four — Mathematical Frontier Network