∑math20

Differential geometry · Result 338

Yau's uniformization conjecture

1 paper

Proves Yau's uniformization conjecture: every complete connected noncompact Kähler manifold with strictly positive holomorphic bisectional curvature is biholomorphic to ℂn.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Uniformization of complete Kähler manifolds with positive bisectional curvature

Uniformization of complete Kähler manifolds with positive bisectional curvature

OpenAI · September 23, 2026

We prove that every complete connected noncompact Kähler manifold with strictly positive holomorphic bisectional curvature is biholomorphic to complex Euclidean space. This resolves Yau's uniformization conjecture positively in every complex dimension.

Read PDF Download Source

Cite
@misc{OAI:Uniformization-of-complete-Kahler-manifolds-with-positive-bisectional-curvature-September-23-2026,
  author = {{OpenAI}},
  title = {{Uniformization of complete K{\"a}hler manifolds with positive bisectional curvature}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Uniformization-of-complete-Kahler-manifolds-with-positive-bisectional-curvature-September-23-2026/paper.pdf}{OAI:Uniformization-of-complete-Kahler-manifolds-with-positive-bisectional-curvature-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.