# Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII > A claimed proof that every complex K3 surface is Oka: local holomorphic maps into it can be copied by entire maps. Plain-English explainer with sources. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-042/ Last updated: 2026-10-14 **A claimed proof that every complex K3 surface is Oka: local holomorphic maps into it can be copied by entire maps.** **Trust:** Claimed, not checked · **Papers:** 1 · **First paper:** September 23, 2026 · **Field:** Algebraic and complex geometry · **Entry:** 042 *Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error. An Oka space is one where a holomorphic map defined near a small convex set can be copied by a map defined everywhere. K3 surfaces are compact complex surfaces with a special two-form, and many contain no curves. Earlier work showed the property for special K3 surfaces and for a dense set of them. This paper claims it for every complex K3 surface. No computer has checked the proof. ## At a glance - **First step:** 2000 (Buzzard and Lu, dominability of elliptic and Kummer K3 surfaces) - **Significance:** Major. If the proof holds, it answers a named problem in Oka theory for a central class of complex surfaces. - **Trust:** Claimed, not checked - **Field:** Algebraic and complex geometry (1 paper) ## 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 manifolds[1]. A K3 surface is a compact complex surface where every loop can shrink to a point. It carries a nowhere-zero holomorphic two-form[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 all[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 sets[4]. Kamenova, Lu and Verbitsky showed in 2014 that a certain distance, the Kobayashi pseudodistance, is zero on every K3 surface[5]. That removed one obstruction but gave no approximation[6]. Alarcón and Forstnerič proved a one-dimensional version, Oka-1, for Kummer and elliptic K3 surfaces[7]. Xie and Zhao showed in 2026 that Oka K3 surfaces are dense among all K3 surfaces[8]. Dense is not all, though. A dense set of good surfaces does not settle each surface[9]. This paper claims to prove that every complex K3 surface is Oka[10]. That includes surfaces with no curves, with no condition on special fibrations[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 surface[12]. The paper also claims that every minimal compact complex surface of Kodaira dimension zero is Oka[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 argument[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 time[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 thin[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. ## Where it came from This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026. ## Hype check No Lean check is listed. The proof is long and analytic, the class VII part leans on another unreviewed manuscript, and no specialist review is published. ## Words used - **Holomorphic map:** A map between complex spaces that is complex-differentiable. - **Entire map:** A holomorphic map defined on the whole of ℂᵐ. - **Oka manifold:** A complex space where maps from near a compact convex set can always be approximated by entire maps. - **K3 surface:** A compact, simply connected complex surface with a nowhere-zero holomorphic two-form. - **Projective:** Fitting inside a projective space as the zero set of polynomial equations. - **Kodaira dimension:** A measure of how fast special forms on a shape multiply; zero means they stay constant. - **Period:** The plane in a fixed lattice that records a K3 surface's holomorphic two-form. ## The original paper - [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf) - September 23, 2026 ## Quoted lines from the paper (16) [1] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Forstneri\v c proved that CAP characterizes Oka manifolds. [2] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Thus it carries a nowhere-zero holomorphic two-form. [3] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Every complex K3 surface is K\"ahler, but it need not be projective or contain any curve. [4] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Buzzard and Lu proved that elliptic and Kummer K3 surfaces are holomorphically dominable by $\C^2$. [5] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > For arbitrary complex K3 surfaces, Kamenova, Lu and Verbitsky proved that the Kobayashi pseudodistance vanishes; the period-dynamics argument is corrected in. [6] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > This removes an intrinsic obstruction to holomorphic flexibility, but does not provide approximation or interpolation. [7] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Alarc\'on and Forstneri\v c introduced the Oka-1 property and established it for Kummer surfaces and elliptic K3 surfaces. [8] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > More recently, Xie and Zhao proved that smooth $(2,2,2)$ hypersurfaces in $(\PP^1)^3$ are Oka and established dense $G_\delta$ sets of Oka K3 periods and corresponding local deformation parameters. [9] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > A dense collection of Oka surfaces does not by itself settle the property for each surface: the transfer must address every possible rational subspace of its period plane. [10] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > We prove that every complex K3 surface $X$ is Oka, resolving the K3 Oka conjecture. [11] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Its scope includes nonprojective surfaces and imposes no condition on the Picard rank or existence of an elliptic fibration. [12] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > For every $x\in S$ and every nonzero vector $v\in T_xS$, there is a holomorphic immersion $f:\C\to S$ such that \[ f(0)=x,\qquad f'(0)=v,\qquad \overline{f(\C)}=S, \] where closure is taken in the ordinary complex topology. [13] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > More generally, every connected minimal compact complex surface of Kodaira dimension zero is Oka. [14] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Its class-VII assertion has a separate input: the global spherical shell theorem, which is not used in the K3 proof. [15] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Their complete genus-one fibers supply holomorphic flows for all complex times, and the difference in degrees forces their tangent directions to be generically independent. [16] From [Every complex K3 surface is Oka](https://github.com/openai/math/blob/main/preprints/Every-complex-K3-surface-is-Oka-September-23-2026/paper.pdf): > Moreover, the geometric constructions produce long chains of annuli; errors at their joins must be corrected without exhausting a fixed positive transverse width. ## Other sources - [F. Forstnerič and F. Lárusson, “Survey of Oka theory”, New York Journal of Mathematics 17a (2011), 11–38](https://nyjm.albany.edu/j/2011/17a-2.html) - [G. T. Buzzard and S. S. Y. Lu, “Algebraic surfaces holomorphically dominable by ℂ²”, Inventiones Mathematicae 139 (2000), 617–659](https://doi.org/10.1007/s002220050021) - [L. Kamenova, S. Lu and M. Verbitsky, “Kobayashi pseudometric on hyperkähler manifolds”, Journal of the London Mathematical Society 90 (2014), 436–450](https://doi.org/10.1112/jlms/jdu038) - [A. Alarcón and F. Forstnerič, “Oka-1 manifolds”, Mathematische Zeitschrift 311 (2025), Paper No. 33](https://doi.org/10.1007/s00209-025-03833-4) - [S.-Y. Xie and S. Zhao, “Periods of Oka K3 surfaces are dense”, preprint arXiv:2608.24392v2 (2026)](https://arxiv.org/abs/2608.24392v2) - [OpenAI, “Global Spherical Shells on Minimal Surfaces of Class VII” (24 September 2026)](https://github.com/openai/math/blob/main/preprints/Global-Spherical-Shells-on-Minimal-Surfaces-of-Class-VII-September-24-2026/paper.pdf) - [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model” ## Related - [Hyperkähler SYZ and projective-space bases](https://closedform.nishachay.tech/e/openai-math-2026-041/) - Algebraic and complex geometry - [A stable-coordinate counterexample in four variables](https://closedform.nishachay.tech/e/openai-math-2026-049/) - Algebraic and complex geometry - [Tangent splittings and product decompositions](https://closedform.nishachay.tech/e/openai-math-2026-052/) - Algebraic and complex geometry - [Fundamental groups of special complex varieties and root orbifolds](https://closedform.nishachay.tech/e/openai-math-2026-057/) - Algebraic and complex geometry - [Global quantum geometric Langlands at irrational level](https://closedform.nishachay.tech/e/openai-math-2026-069/) - Algebraic and complex geometry - [Algebraic and complex geometry](https://closedform.nishachay.tech/science/mathematics/algebraic-and-complex-geometry/) - Field · 36 results - [Open since the 2000s](https://closedform.nishachay.tech/open-since/2000s/) - Era · 48 results - [Claimed, not yet checked](https://closedform.nishachay.tech/trust/claimed/) - Trust · 130 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20042%5D%20)