OpenAI reports a pinched Kähler threefold without bounded coordinates

There is a contractible complex three-dimensional domain with a complete Kähler metric whose real sectional curvatures lie between two negative constants, yet it has no bounded holomorphic map to complex three-space with nowhere-vanishing Jacobian and is not biholomorphic to a bounded domain.

Curated contributions 1

Understand the problem ↓

OpenAI reports a pinched Kähler threefold without bounded coordinates

  • Mathematics

There is a contractible complex three-dimensional domain with a complete Kähler metric whose real sectional curvatures lie between two negative constants, yet it has no bounded holomorphic map to complex three-space with nowhere-vanishing Jacobian and is not biholomorphic to a bounded domain.

AI involvementAI-led
ImportanceMajor
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

There is a contractible complex three-dimensional domain with a complete Kähler metric whose real sectional curvatures lie between two negative constants, yet it has no bounded holomorphic map to complex three-space with nowhere-vanishing Jacobian and is not biholomorphic to a bounded domain.

Why it matters

If correct, answers the two-sided negatively pinched Kähler uniformization question negatively.

What counts as progress

Does two-sided negative curvature force bounded holomorphic coordinates on a complete Kähler manifold?

Website timeline

Publication dates and editorial changes.