A local-global principle for symplectic ${\mathrm{K}}_2$

Abstract

We prove that an element of the symplectic Steinberg group is trivial if and only if its image under any maximal localisation homomorphism is trivial.

24 pages