A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Scalar curvature detects four-dimensional Ricci-flow singularities
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:curvy surfaces Levels:3
Category:Differential geometry Lean version:not yet
Rate this game! 4.5 out of 5 (1,903 votes)

>>> How to Play <<<
Scalar curvature and finite-time Ricci-flow singularities. 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.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 9 lemmas · 17 proofs · 7,628 words  |  PLAY LEVEL 1 »  (pdf)
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.
released 2026-09-24  |  4 theorems · 15 lemmas · 26 proofs · 27,408 words  |  PLAY LEVEL 2 »  (pdf)
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.
released 2026-09-24  |  2 theorems · 21 lemmas · 26 proofs · 20,889 words  |  PLAY LEVEL 3 »  (pdf)
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 $E=o(M)$. 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.

More Differential geometry Games!
Negative Kähler curvature without bounded holomorphic coordinatesVillani’s convexity conjecture and regular optimal transportCounterexamples to Yau's harmonic dimension boundSmooth isometric immersions of surfaces into $\mathbb R^4$
A smooth surface metric with no local immersion in $\mathbb R^3$Gromov's integral scalar-curvature inequalitySpectral scalar curvature and codimension-two widthCartan–Hadamard isoperimetry and CAT$(0)$ fillings

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games