Linking form of a branched cover (source code)

= Linking form of a branched cover

For a rational homology three-sphere $Y$, the linking form is the nonsingular pairing
$$
\lambda_Y:\operatorname{Tor}H_1(Y)\times\operatorname{Tor}H_1(Y)\to\mathbb Q/\mathbb Z.
$$
Reversing the orientation of $Y$ negates this form.

Here the paired elements lie in the <torsion subgroup> of first <homology>.