A Local-Global Principle for Symplectic ${\mathrm{K}}_2$

Abstract

We prove that an element of the relative symplectic Steinberg group $g\in {\mathrm{StSp}}_{2n}(R[t],tR[t])$ is trivial if and only if its image under any maximal localisation homomorphism is trivial.