Positive bisectional curvature and global complex coordinates

← All digests

Family 338 · Differential geometry
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-26

1. The question

Local complex coordinates describe a complex manifold near each point. They need not combine into one coordinate system covering the entire space. Different global topologies and different complex structures can share the same local model.

Yau’s uniformization conjecture asks whether a strong positivity condition on a complete Kähler metric forces a connected noncompact complex manifold to be globally identical, in the holomorphic sense, to $\mathbb C^n$.

Family 338 claims an affirmative answer under strictly positive holomorphic bisectional curvature, with no further assumptions at infinity. Curvature may be unbounded above, the manifold may have regions with very small volume relative to their scale, and no topological simplification is assumed in advance.

The conclusion concerns the complex structure. It does not say that the given metric becomes the ordinary Euclidean metric. In fact, Euclidean space with its usual metric has zero curvature, whereas the hypothesis requires positivity. The claim is that the manifold admits global holomorphic coordinates in which a possibly complicated curved metric can be expressed.

2. Background and essential definitions

A complex $n$-manifold is locally described by $n$ complex coordinates, with holomorphic changes of coordinates. Its underlying real dimension is $2n$. A map is biholomorphic if it is a bijection, holomorphic, and has a holomorphic inverse. This preserves complex analysis, a much stronger conclusion than merely preserving topology.

The complex structure acts on tangent vectors by an operator $J$ satisfying $J^2=-I$, analogous to multiplication by $i$. A compatible Riemannian metric satisfies $g(Ju,Jv)=g(u,v)$. Its associated two-form is

$$\omega(u,v)=g(Ju,v).$$

The metric is Kähler when this form is closed, $d\omega=0$. This compatibility tightly links Riemannian curvature with holomorphic analysis. Equivalently, the complex structure is parallel for the metric’s natural connection.

Holomorphic bisectional curvature measures the interaction between two complex tangent directions. In complex notation, its positivity can be expressed as

$$R(u,\overline u,v,\overline v)>0$$

for every pair of nonzero complex tangent vectors of type $(1,0)$, using the convention in which the standard positively curved models have positive curvature. Dividing by the squared lengths gives the normalized value; its sign is what matters here.

This condition is weaker than positive real sectional curvature, which tests every real tangent two-plane. In complex dimension one, it reduces to positivity of Gaussian curvature.

Completeness means that the Riemannian distance has no missing finite-distance limit points. Noncompactness means that the whole manifold cannot be covered by one compact region. The theorem assumes pointwise strict positivity: each tested curvature value is positive, but there need not be a single positive constant bounding all values from below throughout the manifold.

A further condition appearing in earlier results is maximal volume growth. For a fixed basepoint, it requires the volume of large radius-$r$ balls to grow at least as a positive constant times $r^{2n}$, the Euclidean order. Family 338 does not impose this condition.

3. Development history and previous partial results

The one-dimensional case belongs to classical uniformization and the relation between curvature and conformal type. Complete noncompact Riemann surfaces of positive Gaussian curvature are conformally the complex plane, through the topology and parabolicity results cited by M1.

The compact counterpart is the Frankel conjecture, resolved by Mori and by Siu and Yau: positive holomorphic bisectional curvature characterizes complex projective space in the compact setting. Yau’s 1982 question seeks the corresponding noncompact conclusion, where uncontrolled behavior at infinity becomes a central obstacle.

One line of work studies global holomorphic functions. Greene and Wu obtained strictly convex exhaustion functions under positive real sectional curvature, yielding Steinness. An exhaustion function has compact sublevel sets, so it organizes the manifold into increasingly large compact pieces. Mok proved an affine-algebraic embedding under positive bisectional curvature, maximal volume growth, and quadratic scalar-curvature decay. Such results linked curvature with global complex analysis while retaining substantial geometric hypotheses.

Chen and Zhu developed growth and averaged-curvature estimates under positive bisectional curvature, including estimates not requiring an upper curvature bound. Ni and Tam studied heat smoothing of plurisubharmonic functions under nonnegative bisectional curvature, with explicit growth conditions. A plurisubharmonic function is one whose restriction to every complex curve is subharmonic; it is a complex-analytic analogue of a convex function.

A second route evolves the metric by Kähler–Ricci flow, constructs shrinking holomorphic charts, and assembles them through complex dynamics. Cao’s differential Harnack estimates are a major analytical ingredient in this tradition. Chau and Tam proved uniformization under bounded nonnegative bisectional curvature and maximal volume growth, and developed related covering and domain results under other assumptions.

Liu later obtained uniformization under nonnegative bisectional curvature and maximal volume growth without an upper curvature bound. Lee and Tam gave another route using smoothing. The volume-growth assumption remained essential to the scope of those theorems.

Recent surface results remove further assumptions. Datar, Pingali, and Seshadri proved uniformization of complete noncompact Kähler surfaces with positive real sectional curvature. Their bisectional-curvature result retained extra function-theoretic and topological hypotheses, subsequently weakened by Wu. These are important precedents, but positive real sectional curvature is stronger than the bisectional hypothesis, and surface results do not cover every complex dimension.

4. What the new manuscript claims

M1 states that if a connected noncompact complex manifold $M$ of complex dimension $n\geq1$ admits a smooth complete Kähler metric with strictly positive holomorphic bisectional curvature, then there is a biholomorphism

$$F:M\longrightarrow\mathbb C^n.$$

There is no upper curvature bound, no uniform positive lower bound, no maximal-volume-growth or noncollapse assumption, and no Ricci-pinching hypothesis. Pinching would compare curvature in different directions by fixed ratios. Nor is simple connectedness, contractibility, or a condition on topology at infinity assumed beforehand.

The map is onto all of $\mathbb C^n$. A holomorphic injection into a proper domain, or a locally biholomorphic covering map, would be weaker. M1 explicitly treats the passage from local shrinking charts to global surjectivity as a separate part of the argument.

Consequently, the manifold is contractible and has the same global holomorphic function theory as complex affine space. In particular, it is Stein, meaning that global holomorphic functions separate points and provide the appropriate holomorphic convexity and local coordinates. These properties follow from the claimed biholomorphism rather than being additional hypotheses.

The original metric can remain highly nonuniform in the global coordinates. The theorem classifies the underlying complex manifold, not every metric satisfying the curvature condition.

5. Why the advance matters

Importance: 5/5. The family claims a full resolution of Yau’s noncompact uniformization conjecture in every complex dimension, removing the geometric and topological assumptions that characterized major earlier positive cases.

The statement says that curvature positivity determines a global complex structure despite potentially complicated geometry at infinity. This is stronger than a topological classification: even a manifold with simple underlying topology can carry a nontrivial complex structure.

The removal of an upper curvature bound matters analytically. Standard flow estimates and global maximum principles often require uniform geometric control. If the initial curvature can grow without bound, one must first build a setting in which those tools can legitimately be applied.

Surjectivity is another substantive part of the result. Local charts can become compatible and still produce only a proper domain in $\mathbb C^n$. Identifying the whole affine space requires additional control on how the charts exhaust the manifold and how their images grow after correction.

The rating reflects the significance of these claimed conclusions, without treating the manuscript as independently verified.

6. The main idea

Build a flow without assuming bounded geometry

Kähler–Ricci flow deforms a Kähler metric according to its Ricci curvature. It changes the metric while keeping the complex structure fixed, making it a natural tool for discovering global holomorphic coordinates.

M1 constructs the flow through complete Hermitian approximations on exhausting domains. A Hermitian metric respects the complex structure but need not initially satisfy the full Kähler closedness condition. Local estimates on the metric and on logarithmic volume loss allow the approximations to pass to a limit without a global curvature bound.

The order of the argument is deliberate. The source proves a scalar comparison using weights adapted to the evolving metric before claiming completeness of that evolving metric. Completeness is then recovered later from stronger Harnack inequalities. This avoids assuming at the start a property that the unrestricted initial geometry does not automatically supply through standard flow theorems.

Obtain coupled spatial and temporal control

The main curvature argument takes place on the holomorphic cotangent bundle, whose fibers consist of complex-linear covectors. The evolving metric gives each covector a squared dual norm.

The manuscript compares this norm with an envelope formed by minimizing boundary costs over holomorphic disks. A holomorphic disk is a complex-analytic map from the unit disk into the bundle. Compact boundary restrictions and a small area penalty keep the minimization under control.

A deformation estimate gives a differential inequality for the envelope in a weak, viscosity sense: smooth functions touching it from above or below obey the appropriate inequality. Optimizing a Hermitian ellipsoid in each fiber connects this bundle-level inequality to the previously established scalar comparison. M1 then identifies the envelope with the squared dual norm itself.

The resulting positivity jointly in space and logarithmic time yields matrix and scalar Harnack estimates. Such estimates relate curvature or metric behavior at different points and times, supplying the control needed for complete shrinking charts.

Measure contraction with the right clock

Physical flow time need not measure chart contraction uniformly. M1 therefore introduces a volume clock at a basepoint $o$:

$$s(t)=\log\frac{\det g(o)}{\det h_t(o)},$$

where $g$ is the initial metric and $h_t$ the evolving one. The determinants are taken in fixed complex coordinates; their ratio is intrinsic.

For a transition map between normalized charts at volume-clock times $s\leq u$, the derivative determinant has the controlled loss

$$|\det F'_{s,u}(0)|=e^{-(u-s)/2}.$$

Volume contraction alone would allow one direction to shrink while another grows. The manuscript combines it with a comparison between the largest and smallest directional scales, giving contraction in every direction. Selected intervals with favorable Ricci ratios also allow loops to be contracted, leading to simple connectedness and coherent continuation of inverse charts.

Correct coordinate changes and prove onto-ness

The final stage models transitions by polynomial automorphisms: globally invertible polynomial changes of coordinates. Their finite Taylor data are matched coherently, with determinant-one nonlinear shears handling corrections and the linear part retaining its prescribed contraction.

Contraction rates are allowed to vary. The source tracks the additional polynomial degree needed during unfavorable intervals using growth of the volume-clock speed, rather than requiring one uniform contraction pattern from the outset.

Corrected inverse charts converge to an injective holomorphic map into $\mathbb C^n$. To prove that its image is the whole space, M1 uses a bound along selected stages on the degree of forward compositions, small errors on compact subsets, and an inverse-ball inclusion. These rule out a finite limiting radius for centered balls inside the image. Surjectivity is thus an additional conclusion of the coordinate construction, not an automatic consequence of local convergence.

7. Scope, limitations, and open questions

The theorem requires a complete Kähler metric with strictly positive holomorphic bisectional curvature. It does not classify all complete manifolds with merely nonnegative bisectional curvature, where splitting and quotient phenomena can occur. Positive Ricci curvature or positive holomorphic sectional curvature is also not a substitute for the stated hypothesis.

No Euclidean isometry is asserted. The complex coordinates identify the complex manifold, while the original metric may remain curved, unbounded in curvature, and geometrically nonuniform.

The theorem is existential. It does not provide an explicit coordinate formula, sharp bounds for the biholomorphism relative to the original metric, or an effective numerical construction for an arbitrary input metric. Quantitative coordinate control and classifications under weaker curvature assumptions are separate questions.

The local flow, bundle-envelope, chart-contraction, and surjectivity stages are reported as the manuscript’s proposed mechanism. Their estimates and proof are not independently checked in this digest.

8. Sources and further reading

• Liu, On Yau’s uniformization conjecture, for the maximal-volume-growth theorem without an upper curvature bound.
• Lee and Tam, Kähler–Ricci flow and the uniformization problem, for the smoothing approach cited by M1.
• Datar, Pingali, and Seshadri, Uniformisation of complete Kähler surfaces with positive sectional curvature.
• Wu, Conditional uniformization of Kähler surfaces.
• Optional background: Kähler manifolds and biholomorphisms.

Source manuscripts

• M1. OpenAI, Uniformization of complete Kähler manifolds with positive bisectional curvature (September 23, 2026).

Sources consulted on 26 October 2026 at repository revision 1581d4c. Download the manuscript citations.