A local-global principle for symplectic $\mathrm K_2$
  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. 
Andrei Lavrenov
math.KT