Smooth structures on symplectic 4-manifolds with finite fundamental groups

In studying smooth 4-manifolds the Donaldson invariant has played a central role. In [D1] Donaldson showed that non-vanishing Donaldson invariant of a smooth closed oriented 4-manifold X gives rise to the indecomposability of X. For instance, the complex algebraic suface X cannot decompose to a connected sum $X_1 #X_2$ with both $b_2^+(X_i) > 0$.