geometry-topology / Kahler geometry, several complex variables

Yau's uniformization conjecture

Theorem 1.1: if a connected noncompact complex manifold of dimension n≥1n\ge1 carries a smooth complete Kahler metric with pointwise strictly positive holomorphic bisectional curvature, then it is biholomorphic to Cn\mathbb C^n; no curvature bounds, volume growth, noncollapsing or topological hypotheses are assumed. The proof runs a Kahler-Ricci flow built from exhaustions, proves Harnack inequalities by a disc-minimization argument, obtains shrinking holomorphic charts and assembles them by polynomial-automorphism dynamics into a biholomorphism onto all of Cn\mathbb C^n. It does not say the metric is flat, and it does not treat nonnegative curvature.

58Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 58/100Registry: unreviewed

Yau's uniformization conjecture

Prior state unknown→proved

Theorem 1.1: if a connected noncompact complex manifold of dimension n≥1n\ge1 carries a smooth complete Kahler metric with pointwise strictly positive holomorphic bisectional curvature, then it is biholomorphic to Cn\mathbb C^n; no curvature bounds, volume growth, noncollapsing or topological hypotheses are assumed. The proof runs a Kahler-Ricci flow built from exhaustions, proves Harnack inequalities by a disc-minim…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: if a connected noncompact complex manifold of dimension n≥1n\ge1 carries a smooth complete Kahler metric with pointwise strictly positive holomorphic bisectional curvature, then it is biholomorphic to Cn\mathbb C^n; no curvature bounds, volume growth, noncollapsing or topological hypotheses are assumed. The proof runs a Kahler-Ricci flow built from exhaustions, proves Harnack inequalities by a disc-minimization argument, obtains shrinking holomorphic charts and assembles them by polynomial-automorphism dynamics into a biholomorphism onto all of Cn\mathbb C^n. It does not say the metric is flat, and it does not treat nonnegative curvature.

Theorem 1.1: if a connected noncompact complex manifold of dimension n≥1n\ge1 carries a smooth complete Kahler metric with pointwise strictly positive holomorphic bisectional curvature, then it is biholomorphic to Cn\mathbb C^n; no curvature bounds, volume growth, noncollapsing or topological hypotheses are assumed. The proof runs a Kahler-Ricci flow built from exhaustions, proves Harnack inequalities by a disc-minimization argument, obtains shrinking holomorphic charts and assembles them by polynomial-automorphism dynamics into a biholomorphism onto all of Cn\mathbb C^n. It does not say the metric is flat, and it does not treat nonnegative curvature.

Recorded attempts

Evidence graph

Connected research record