A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Negative Kähler curvature without bounded holomorphic coordinates
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:curvy surfaces Levels:2
Category:Differential geometry Lean version:YES! ✔
Rate this game! 4.2 out of 5 (3,088 votes)

>>> How to Play <<<
Negative Kähler curvature without bounded holomorphic coordinates. Constructs a contractible domain in ℂ3 with a complete negatively pinched Kähler metric but no bounded holomorphic coordinates, disproving bounded-domain uniformization in this setting. A higher-dimensional example has sectional curvature at most −1 and only constant bounded holomorphic functions; its curvature is not bounded below.

>>> Level Select <<<
released 2026-09-25  |  2 theorems · 21 lemmas · 27 proofs · 13,272 words  |  PLAY LEVEL 1 »  (pdf)
We construct a contractible domain in complex dimension three with a complete Kähler metric whose real sectional curvatures lie between two finite negative constants. It admits no bounded holomorphic map to ℂ3 with nowhere-vanishing Jacobian and is therefore not biholomorphic to a bounded domain. This gives a negative answer to the negatively pinched Kähler uniformization question.
released 2026-09-25  |  1 theorem · 19 lemmas · 27 proofs · 24,996 words  |  PLAY LEVEL 2 »  (pdf)
We construct, in some sufficiently large fixed finite complex dimension m, a domain in ℂm diffeomorphic to $\mathbb R^{2m}$ that admits a complete Kähler metric with real sectional curvature at most −1 and has only constant bounded holomorphic functions. Its sectional curvatures are unbounded below. The construction gives a negative answer to the one-sided bounded-holomorphic-function question.

More Differential geometry Games!
Nonnegatively curved Einstein four-manifolds and a topological gapThe Solomon–Yau least-volume conjectureYau's nodal conjecture: surfaces and counterexamplesScalar curvature detects four-dimensional Ricci-flow singularities
Finite-time singularity of Calabi flowThe sharp dimension threshold for affine Bernstein rigidityIsoperimetric regions in the cubic three-torusUnique tangent flows at the first surface singularity

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