The Kodaira dimension of a non-minimal manifold is defined to be that of any of its minimal models. It is shown in [12] that, if ω is a Kahler form on a complex surface (M,J), then κ(M,ω) agrees with the usual holomorphic Kodaira dimension of (M,J). It is also shown in [12] that minimal symplectic 4−manifolds with κ = 0 are exactly those with torsion canonical class, thus can be viewed as symplectic Calabi-Yau surfaces. Known examples of symplectic 4−manifolds with torsion canonical class are either Kahler surfaces with (holomorphic) Kodaira dimension zero or T 2−bundles over T 2 ([10], [12]). They all have small Betti numbers and Euler numbers: b+ ≤ 3, b ≤ 19 and b1 ≤ 4; and the Euler number is between 0 and 24. It is speculated in [12] that these are the only ones. In this paper we prove that it is true up to rational homology.
Read full abstract