1: \begin{definition}The \textit{Blanchfield form for $K$} is the non-singular $(-1)^{k}$-symmetric linking form over $(\Z[z,z^{-1}],P)$ defined by Theorem \ref{thm:levblanch}\[Bl:f(H^{k+2}(C_K))\times f(H^{k+2}(C_K))\to P^{-1}\Z[z,z^{-1}]/\Z[z,z^{-1}].\]By Claim \ref{clm:auto}, this can also be stated as\[Bl:f(H^{k+2}(\overline{X_K}))\times f(H^{k+2}(\overline{X_K}))\to P^{-1}\Z[z,z^{-1}]/\Z[z,z^{-1}].\]

2: \end{definition}

3: