A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Unique tangent flows at the first surface singularity
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:1
Category:Differential geometry Lean version:not yet
Rate this game! 4.1 out of 5 (8,182 votes)

>>> How to Play <<<
Unique tangent flows at the first surface singularity. Proves the first-singular-time case of tangent-flow uniqueness for smooth compact connected embedded surfaces without boundary in ℝ3. At every singular point, all fixed-center backward tangent flows agree as area measures at every negative time in the original ambient coordinates, without mean-convexity or a prescribed tangent model.

>>> Level Select <<<
released ?  |  2 theorems · 34 lemmas · 49 proofs · 53,510 words  |  PLAY LEVEL 1 »  (pdf)
We prove that, at each singular point of the first singular time of the mean-curvature flow of a smooth compact connected embedded surface without boundary in ℝ3, all fixed-center rescalings converge locally smoothly on compact negative-time intervals to one multiplicity-one homothetic self-shrinker flow. The limit is unique in the original ambient coordinates, including its position and axes. No mean-convexity assumption or prescribed tangent model is required.

More Differential geometry Games!
Smooth 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 width
Cartan–Hadamard isoperimetry and CAT$(0)$ fillingsYau's uniformization conjectureKatok's entropy rigidity conjectureA counterexample to the nearby Lagrangian conjecture

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