Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII

The explanation

Take the function 1/(1 − z) on the disc of complex numbers z with size at most 1/2. Add up the polynomial 1 + z + z² + … + z¹⁰. On that disc, the polynomial differs from the function by at most (1/2)¹⁰, which is 1/1024. A polynomial is defined on the whole complex plane, not just the disc. So a map defined near a small set has been copied, almost exactly, by a map defined everywhere. Maps that are complex-differentiable are called holomorphic. Maps defined on the whole of ℂᵐ are called entire.

Now change the target. Ask for entire maps into the unit disc, instead of into the plane. A classical theorem of Liouville says every bounded entire function is constant. So no entire map can copy the identity map of a small disc. The disc is too rigid for this game. A target space is called Oka when the game always works. Take any holomorphic map from near a compact convex set in ℂᵐ, in any dimension m. Entire maps must copy it as closely as one likes. Forstnerič proved that this convex approximation property characterizes Oka manifoldsSource 1.

A K3 surface is a compact complex surface where every loop can shrink to a point. It carries a nowhere-zero holomorphic two-formSource 2. That form measures small complex areas. K3 surfaces have a rigid topology, but many have very few curves. A K3 surface need not be projective, meaning it may not fit inside any projective space defined by polynomial equations. It may contain no curves at allSource 3. That makes them a natural test for flexibility.

Partial results built up over 25 years. Buzzard and Lu showed in 2000 that elliptic and Kummer K3 surfaces receive maps from ℂ² that cover open setsSource 4. Kamenova, Lu and Verbitsky showed in 2014 that a certain distance, the Kobayashi pseudodistance, is zero on every K3 surfaceSource 5. That removed one obstruction but gave no approximationSource 6. Alarcón and Forstnerič proved a one-dimensional version, Oka-1, for Kummer and elliptic K3 surfacesSource 7. Xie and Zhao showed in 2026 that Oka K3 surfaces are dense among all K3 surfacesSource 8. Dense is not all, though. A dense set of good surfaces does not settle each surfaceSource 9.

This paper claims to prove that every complex K3 surface is OkaSource 10. That includes surfaces with no curves, with no condition on special fibrationsSource 11. One consequence is a single entire curve that passes through any chosen point with any chosen nonzero velocity. Its image comes as close as one likes to every point of the surfaceSource 12. The paper also claims that every minimal compact complex surface of Kodaira dimension zero is OkaSource 13. Here minimal means no part can be blown down. Kodaira dimension zero means its special forms neither vanish nor multiply. For class VII surfaces, a further family, it claims Oka holds exactly for Hopf and Enoki surfaces. That part depends on a separate OpenAI manuscript, not on the K3 argumentSource 14.

The main obstacle is building maps on a surface that may have no curves to work with. On projective K3 surfaces, families of genus-one curves supply flows that run for all complex timeSource 15. On the others, the paper builds long chains of thin annular pieces. Annuli are ring-shaped regions. Small errors at each join must be fixed without the chain growing thinSource 16. The paper then uses the dynamics of K3 periods to carry the property to every surface. A period is a plane in a fixed lattice that records the two-form.

How sure is this? No Lean formalization is listed for this result. The argument combines complex analysis, period dynamics and earlier deep theorems. No specialist review has been published.

What it doesn't show. This does not cover blown-up surfaces or properly elliptic surfaces in its classification.