Complex-Structure Problem for the Six-Sphere

OPENLandmarkOpen problemProposed c. 1947 · Standard version

Canonical statement

Does the smooth six-sphere S6S^6 admit an integrable almost-complex structure, equivalently a complex-manifold structure?
View source LaTeX
Does the smooth six-sphere \(S^6\) admit an integrable almost-complex structure, equivalently a complex-manifold structure?

The six-sphere admits an almost complex structure, obtained for example from the octonionic cross product, but the classical problem asks whether any almost complex structure on S6S^6 is integrable and hence comes from a genuine complex manifold. Borel and Serre proved that among spheres only S2S^2 and S6S^6 can even carry an almost complex structure [BorelSerre1953Steenrod], which makes dimension six the unique unresolved sphere case.

An integrable structure on S6S^6 would necessarily be non-Kähler and is subject to unusually strong restrictions. Campana, Demailly, and Peternell derive constraints on its algebraic dimension and meromorphic geometry, illustrating how far a hypothetical complex S6S^6 would lie from familiar compact complex manifolds [CampanaDemaillyPeternell2020S6].

An unsigned, undated manuscript hosted by Alpoge and circulated in August 2026 claims to construct such an integrable structure [AlpogeHosted2026S6]. No independently verified proof or broadly accepted publication is yet available, so the manuscript is recorded as a pending claim and the existence question remains operationally open.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.