Related papers: Another presentation for symplectic Steinberg grou…

Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^\omega_{2n}(K)$ is…

Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a…

Let $R$ be a regular ring of dimension $d$ and $L$ be a $c$-divisible monoid. If ${K}_1{Sp}(R)$ is trivial and $k \geq d+2,$ then we prove that the symplectic group ${Sp}_{2k}(R[L])$ is generated by elementary symplectic matrices over…

A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}$_{2n}(R)$. These generators are more symmetrical than the usual ones, and are useful to study the…

The key ingredient of this paper is the universal central extension of the generalized orthosymplectic Lie superalgebra $\mathfrak{osp}_{m|2n}(R,{}^-)$ coordinatized by a unital associative superalgebra $(R,{}^-)$ with superinvolution. Such…

We give a proof of the fact that a simply-connected symplectic homogeneous space $(M,\omega)$ of a connected Lie group $G$ is the universal cover of a coadjoint orbit of a one-dimensional central extension of $G$. We emphasise the r\^ole of…

Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological…

Let $n\geq 2$ be an integer, $p$ be a prime number and $K$ be a finite extension of $\mathbb{Q}_p$. Motivated by Schraen's thesis and Gehrmann's definition of automorphic simple $\mathscr{L}$-invariants, we study the first non-vanishing…

We construct some canonically defined central extensions of groups of symplectomorphisms. We show that this central extension is nontrivial in the case of a torus of dimension $\ge 6$ and in the case of a two-dimensional surface of genus…

In this paper branching rules for the fundamental representations of the symplectic groups in positive characteristic are found. The submodule structure of the restrictions of the fundamental modules for the group $Sp_{2n}(K)$ to the…

We study central extensions of the Lie superalgebra $sl_{m|n}(A)$, where $A$ is a $Z/2Z$-graded superalgebra over a commutative ring $K$. The Steinberg Lie superalgebra $st_{m|n}(A)$ plays a crucial role. We show that $st_{m|n}(A)$ is a…

In this article, we derive and discuss the properties of the symplectic group Sp(2), which arises in Hamiltonian dynamics and ray optics. We show that a symplectic matrix can be written as the product of a symmetric dilation matrix and a…

Let $\mathfrak{sp}_{2n}(\mathbb {K})$ be the symplectic Lie algebra over an algebraically closed field of characteristic zero. We prove that for any nonzero nilpotent element $X \in \mathfrak{sp}_{2n}(\mathbb {K})$ there exists a nilpotent…

An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant…

Let R be a connected noetherian commutative ring, and let G be a simply connected reductive group over R of isotropic rank ge 2. The elementary subgroup E(R) of G(R) is the subgroup generated by the R-points U_P^+(R) and U_P^-(R) of the…

We construct a homomorphism $f$ from the braid group $B_{2n+2}$ on $2n+2$ strands to the Steinberg group associated with the Lie type $C_n$ and with integer coefficients. This homomorphism lifts the well-known symplectic representation of…

Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-\alpha_1)\cdots (t-\alpha_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black}…

For an arbitrary ring $A$, we study the abelianization of the elementary group $\textrm{E}_2(A)$. In particular, we show that for a commutative ring $A$ there exists an exact sequence \[ K_2(2,A)/C(2,A) \to A/M \to…

We introduce the symplectic group $\mathrm{Sp}_2(G, \sigma)$ associated to a Lie subgroup $G$ of a (possibly noncommutative) associative algebra $A$ equipped with an anti-involution $\sigma$. Our construction recovers several classical Lie…

We give two definitions of relative symplectic Steinberg group and show that they coincide.