Transfer chain map of a double covering (source code)

= Transfer chain map of a double covering

For a double covering $p:X\to Y$, the mod-two transfer sends a singular simplex of $Y$ to the sum of its two lifts. Together with the chain map $p_\#$, it gives a short exact sequence
$$
0\longrightarrow C_*(Y;\mathbb F_2)
\xrightarrow{\operatorname{tr}}C_*(X;\mathbb F_2)
\xrightarrow{p_\#}C_*(Y;\mathbb F_2)
\longrightarrow0.
$$