 Intersection form

For an oriented compact manifold of dimension $4k$, the intersection form is the bilinear pairing on middle-dimensional homology obtained by representing classes by transverse cycles and counting their signed intersection points. On an oriented four-manifold it is equivalently the cup-product pairing on $H^2$ evaluated on the fundamental class.

The intersection form of a 4-manifold is the four-dimensional case of this middle-dimensional intersection pairing.