Intersection form of a 4-manifold
In mathematics, the intersection form of an oriented compact 4-manifold is a special symmetric bilinear form on the 2nd (co)homology group of the 4-manifold. It reflects much of the topology of the 4-manifolds, including information on the existence of a smooth structure. Definition using intersection. Let "M" be a closed 4-manifold (PL or smooth). Take a triangulation "T" of "M". Denote by formula_1 the dual cell subdivision. Represent classes formula_2 by 2-cycles "A" and "B" modulo 2 viewed as unions of 2-simplices of "T" and of formula_1, respectively . Define the intersection form modulo 2 by the formula This is well-defined because the intersection of a cycle and a boundary consists of an even number of points (by definition of a cycle and a boundary). If "M" is oriented, analogously (i.e. counting intersections with signs) one defines the intersection form on the 2nd homology group Using the notion of transversality, one can state the following results (which constitute an equivalent definition of the intersection form). Definition using cup product. Using the notion of the cup product formula_12, one can give a dual (and so an equivalent) definition as  follows. Let "M" be a closed oriented 4-manifold (PL or smooth). Define the intersection form on the 2nd cohomology group by the formula The definition of a cup product is dual (and so is analogous) to the above definition of the intersection form on homology of a manifold, but is more abstract. However, the definition of a cup product generalizes to complexes and topological manifolds. This is an advantage for mathematicians who are interested in complexes and topological manifolds (not only in PL and smooth manifolds). When the 4-manifold is smooth, then in de Rham cohomology, if "a  and b" are represented by 2-forms formula_15 and formula_16, then the intersection form can be expressed by the integral where formula_18 is the wedge product. The definition using cup product has a simpler analogue modulo 2 (which works for non-orientable manifolds). Of course one does not have this in de Rham cohomology. Properties and applications. Poincare duality states that the intersection form is unimodular (up to torsion). By Wu's formula, a spin 4-manifold must have even intersection form, i.e., formula_19 is even for every "x". For a simply-connected 4-manifold (or more generally one with  no 2-torsion residing in the first homology), the converse holds. The signature of the intersection form is an important invariant. A 4-manifold bounds a 5-manifold if and only if it has zero signature. Van der Blij's lemma implies that a spin 4-manifold has signature a multiple of eight. In fact, Rokhlin's theorem implies that a smooth compact spin 4-manifold has signature a multiple of 16. Michael Freedman used the intersection form to classify simply-connected topological 4-manifolds. Given any unimodular symmetric bilinear form over the integers, "Q", there is a simply-connected  closed 4-manifold "M" with intersection form "Q". If "Q" is even, there is only one such manifold. If "Q" is odd, there are two, with at least one (possibly both) having no smooth structure. Thus two simply-connected closed "smooth" 4-manifolds with the same intersection form are homeomorphic. In the odd case, the two manifolds are distinguished by their Kirby–Siebenmann invariant. Donaldson's theorem states a "smooth" simply-connected 4-manifold with positive definite intersection form has the diagonal (scalar 1) intersection form. So Freedman's classification implies there are many non-smoothable 4-manifolds, for example  the E8 manifold.