Intersection form (source code)

= Intersection form
{title2=$Q_M$}

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.