A local-global principle for symplectic \(\mathrm K_2\) (Q1650673)

The abstract claims: ``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.'' Here \(R\) is any commutative associative ring with 1 and \(n \geq 3\). By my opinion, the word ``trivial'' in both cases means that the images in the corresponding symplectic groups are trivial. This would also make the main result consistent with the title of the paper.