Related papers: A projective resolution of the symplectic Steinber…

Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising…

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…

Borel-Serre proved that $\mathrm{SL}_n(\mathbb{Z})$ is a virtual duality group of dimension $n \choose 2$ and the Steinberg module $\mathrm{St}_n(\mathbb{Q})$ is its dualizing module. This module is the top-dimensional homology group of the…

For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group.…

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…

We show that in characteristic 2, the Steinberg representation of the symplectic group Sp(2n,q), q a power of an odd prime p, has two irreducible constituents lying just above the socle that are isomorphic to the two Weil modules of degree…

We give several resolutions of the Steinberg representation St_n for the general linear group over a principal ideal domain, in particular over Z. We compare them, and use these results to prove that the computations in [AGM4] are…

Denote the virtual cohomological dimension of SL_n(Z) by t=n(n-1)/2. Let St denote the Steinberg module of SL_n(Q) tensored with Q. Let Sh_* denote the sharbly resolution of the Steinberg module St. By Borel-Serre duality, the…

Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…

For $R$ a Euclidean number ring, and let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $\Gamma_n(p)$ vanishes above a degree $\nu$ that is quadratic in $n$. Let…

We establish a quantum analogue of the classical metaplectic Howe duality involving the pair of Lie algebras $(\mathfrak{sp}_{2n},\mathfrak{sl}_2)$ in the case when $n=1$. Our results yield commuting representations of the pair of…

In this paper we will derive an explicit description of the genuine projective representations of the symmetric group $S_n$ using Dirac cohomology and the branching graph for the irreducible genuine projective representations of $S_n$. In…

We provide a topological duality resolution for the spectrum $E_2^{h\mathbb{S}_2^1}$, which itself can be used to build the $K(2)$-local sphere. The resolution is built from spectra of the form $E_2^{hF}$ where $E_2$ is the Morava spectrum…

We quantize homogeneous vector bundles over an even complex sphere $\mathbb{S}^{2n}$ as one-sided projective modules over its quantized coordinate ring. We realize them in two different ways: as locally finite $\mathbb{C}$-homs between…

The goal of this paper is to develop some of the machinery necessary for doing $K(2)$-local computations in the stable homotopy category using duality resolutions at the prime $p=2$. The Morava stabilizer group $\mathbb{S}_2$ admits a norm…

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…

In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor…

The finite symplectic group Sp(2g) over the field of two elements has a natural representation on the vector space of Siegel modular forms of given weight for the principal congruence subgroup of level two. In this paper we decompose this…

We will give the graded ring of Siegel modular forms of degree two with respect to a non-split symplectic group explicitly.

Branching of symplectic groups is not multiplicity-free. We describe a new approach to resolving these multiplicities that is based on studying the associated branching algebra $B$. The algebra $B$ is a graded algebra whose components…