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.
Discover
Research tools
Network
Opportunities
Account
Source author record
Andrei Lavrenov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
We give a short uniform proof of centrality of $\mathrm K_2(Φ,\,R)$ for all simply-laced root systems $Φ$ of rank $\geq3$.
We solve a classical problem of centrality of symplectic $\mathrm K_2$, namely we show that for an arbitrary commutative ring $R$, $l\geq3$ the symplectic Steinberg group $\mathrm{StSp}(2l,\,R)$ as an extension of the elementary symplectic group $\mathrm{Ep}(2l,\,R)$ is a central extension. This allows to conclude that the explicit definition of symplectic $\mathrm{K_2Sp}(2l,\,R)$ as a kernel of this extension, i.e. as a group of non-elementary relations among symplectic transvections, coincides with the usual implicit definition via plus-construction. We proceed from van der Kallen's classical paper, where he shows an analogous result for linear K-theory. We find a new set of generators for the symplectic Steinberg group and a defining system of relations among them. In this new presentation it is obvious that the symplectic Steinberg group is a central extension.
We give two definitions of relative symplectic Steinberg group and show that they coincide.
Let $R$ be a ring with pseudo-involution, $\mathfrak L$ be an odd form parameter, $\mathrm U(2n,\,R,\,\mathfrak L)$ be an odd hyperbolic unitary group, $\mathrm{EU}(2n,\,R,\,\mathfrak L)$ be it elementary subgroup and $\mathrm{StU}(2n,\,R,\,\mathfrak L)$ be an odd unitary Steinberg group. We compute the Schur multipliers of $\mathrm{StU}(2n,\,R,\,\mathfrak L)$ and $\mathrm{EU}(R,\,\mathfrak L)$.