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 {\displaystyle M} be a closed 4-manifold (PL or smooth). Take a triangulation T {\displaystyle T} of M {\displaystyle M} . Denote by T ∗ {\displaystyle T^{*}} the dual cell subdivision. Represent classes a , b ∈ H 2 ( M ; Z / 2 Z ) {\displaystyle a,b\in H_{2}(M;\mathbb {Z} /2\mathbb {Z} )} by 2 {\displaystyle 2} -cycles A {\displaystyle A} and B {\displaystyle B} modulo 2 {\displaystyle 2} viewed as unions of 2 {\displaystyle 2} -simplices of T and of T ∗ {\displaystyle T^{*}} , respectively. Define the intersection form modulo 2 {\displaystyle 2}
∩ M , 2 : H 2 ( M ; Z / 2 Z ) × H 2 ( M ; Z / 2 Z ) → Z / 2 Z {\displaystyle \cap _{M,2}:H_{2}(M;\mathbb {Z} /2\mathbb {Z} )\times H_{2}(M;\mathbb {Z} /2\mathbb {Z} )\to \mathbb {Z} /2\mathbb {Z} }
by the formula
a ∩ M , 2 b = | A ∩ B | mod 2 . {\displaystyle a\cap _{M,2}b=|A\cap B|{\bmod {2}}.}
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 {\displaystyle M} is oriented, analogously (i.e. counting intersections with signs) one defines the intersection form on the 2 {\displaystyle 2} nd homology group
Q M = ∩ M = ⋅ M : H 2 ( M ; Z ) × H 2 ( M ; Z ) → Z . {\displaystyle Q_{M}=\cap _{M}=\cdot _{M}:H_{2}(M;\mathbb {Z} )\times H_{2}(M;\mathbb {Z} )\to \mathbb {Z} .}
Using the notion of transversality, one can state the following results (which constitute an equivalent definition of the intersection form).
If classes a , b ∈ H 2 ( M ; Z / 2 Z ) {\displaystyle a,b\in H_{2}(M;\mathbb {Z} /2\mathbb {Z} )} are represented by closed surfaces (or 2 {\displaystyle 2} -cycles modulo 2 {\displaystyle 2} ) A {\displaystyle A} and B {\displaystyle B} meeting transversely, then a ∩ M , 2 b = | A ∩ B | mod 2. {\displaystyle a\cap _{M,2}b=|A\cap B|\mod 2.}
If M {\displaystyle M} is oriented and classes a , b ∈ H 2 ( M ; Z ) {\displaystyle a,b\in H_{2}(M;\mathbb {Z} )} are represented by closed oriented surfaces (or 2 {\displaystyle 2} -cycles) A {\displaystyle A} and B {\displaystyle B} meeting transversely, then every intersection point in A ∩ B {\displaystyle A\cap B} has the sign + 1 {\displaystyle +1} or − 1 {\displaystyle -1} depending on the orientations, and Q M ( a , b ) {\displaystyle Q_{M}(a,b)} is the sum of these signs.
Definition using cup product
… excerpt ends here. Continue reading the full article.
