the smooth structures on a smoothable 4-manifold; in fact, there is not a single smoothable 4-manifold where the answer is known. Donaldson showed that there are some simply connected compact 4-manifolds, such as Dolgachev surfaces, with a countably infinite number of different smooth structures. There are an uncountable number of different smooth structures on R4; see exotic R4. Fintushel and Stern showed how to use surgery to construct large numbers of different smooth structures (indexed by arbitrary integral polynomials) on many different manifolds, using Seiberg–Witten invariants to show that the smooth structures are different. Their results suggest that any classification of simply connected smooth 4-manifolds will be very complicated. There are currently no plausible conjectures about what this classification might look like. (Some early conjectures that all simply connected smooth 4-manifolds might be connected sums of algebraic surfaces, or symplectic manifolds, possibly with orientations reversed, have been disproved.) Special phenomena in 4 dimensions There are several fundamental theorems about manifolds that can be proved by low-dimensional methods in dimensions at most 3, and by completely different high-dimensional methods in dimension at least 5, but which are false in dimension 4. Here are some examples: In dimensions other than 4, the Kirby–Siebenmann invariant provides the obstruction to the existence of a PL structure; in other words a compact topological manifold has a PL structure if and only if its Kirby–Siebenmann invariant in H4(M,Z/2Z) vanishes. In dimension 3 and lower, every topological manifold admits an essentially unique PL structure. In dimension 4 there are many examples with vanishing Kirby–Siebenmann invariant but no PL structure. In any dimension other than 4, a compact topological manifold has only a finite number of essentially distinct PL or smooth structures. In dimension 4, compact manifolds can have a countably infinite number of non-diffeomorphic smooth structures. Four is the only dimension n for which Rn can have an exotic smooth structure. R4 has an uncountable number of exotic smooth structures; see exotic R4. The solution to the smooth Poincaré conjecture is known in all dimensions other than 4 (it is usually false in dimensions at least 7; see exotic sphere). The Poincaré conjecture for PL manifolds has been proved for all dimensions other than 4, but it is not known whether it is true in 4 dimensions (it is equivalent to the smooth Poincaré conjecture in 4 dimensions). The smooth h-cobordism theorem holds for cobordisms provided that