geometry-topology / Complex geometry; non-Kahler compact complex surfaces of class VII

The Global Spherical Shell conjecture for minimal class VII surfaces with positive second Betti number

Theorem 1.1: every minimal class VII surface with b2>0b_2>0 contains a global spherical shell. Corollaries: by Kato, each such surface deforms to blown-up primary Hopf surfaces, has π1≅Z\pi_1\cong\mathbb Z and is diffeomorphic to (S1×S3)#b2CP‾2(S^1\times S^3)\#b_2\overline{\mathbb{CP}}^2; and aspherical compact complex surfaces satisfy χ≥95∣σ∣\chi\ge\tfrac95|\sigma|. The proof builds divisors on the infinite cyclic cover and shows all their components are compact rational curves, then applies Dloussky-Oeljeklaus-Toma. It does not give a complete biholomorphic classification of the resulting Kato surfaces beyond what Kato's theory provides.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 50/100Registry: unreviewed

The Global Spherical Shell conjecture for minimal class VII surfaces with positive second Betti number

Prior state unknown→proved

Theorem 1.1: every minimal class VII surface with b2>0b_2>0 contains a global spherical shell. Corollaries: by Kato, each such surface deforms to blown-up primary Hopf surfaces, has π1≅Z\pi_1\cong\mathbb Z and is diffeomorphic to (S1×S3)#b2CP‾2(S^1\times S^3)\#b_2\overline{\mathbb{CP}}^2; and aspherical compact complex surfaces satisfy χ≥95∣σ∣\chi\ge\tfrac95|\sigma|. The proof builds divisors on the infinite cyclic cover and shows all t…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: every minimal class VII surface with b2>0b_2>0 contains a global spherical shell. Corollaries: by Kato, each such surface deforms to blown-up primary Hopf surfaces, has π1≅Z\pi_1\cong\mathbb Z and is diffeomorphic to (S1×S3)#b2CP‾2(S^1\times S^3)\#b_2\overline{\mathbb{CP}}^2; and aspherical compact complex surfaces satisfy χ≥95∣σ∣\chi\ge\tfrac95|\sigma|. The proof builds divisors on the infinite cyclic cover and shows all their components are compact rational curves, then applies Dloussky-Oeljeklaus-Toma. It does not give a complete biholomorphic classification of the resulting Kato surfaces beyond what Kato's theory provides.

Theorem 1.1: every minimal class VII surface with b2>0b_2>0 contains a global spherical shell. Corollaries: by Kato, each such surface deforms to blown-up primary Hopf surfaces, has π1≅Z\pi_1\cong\mathbb Z and is diffeomorphic to (S1×S3)#b2CP‾2(S^1\times S^3)\#b_2\overline{\mathbb{CP}}^2; and aspherical compact complex surfaces satisfy χ≥95∣σ∣\chi\ge\tfrac95|\sigma|. The proof builds divisors on the infinite cyclic cover and shows all their components are compact rational curves, then applies Dloussky-Oeljeklaus-Toma. It does not give a complete biholomorphic classification of the resulting Kato surfaces beyond what Kato's theory provides.

Recorded attempts

Evidence graph

Connected research record

The Global Spherical Shell conjecture for minimal class VII surfaces with positive second Betti number — Mathematical Frontier Network