Related papers: Another presentation of orthogonal Steinberg group…

Let $(M, q)$ be a quadratic projective module of an odd rank over an commutative ring, where the form $q$ is semiregular, with global Witt index of at least $2$, and with $\mathrm{rk}(M) \ge 7$. We prove standard commutator formulae and…

The orthogonal groups are a series of simple Lie groups associated to symmetric bilinear forms. There is no analogous series associated to symmetric trilinear forms. We introduce an infinite dimensional group-like object that can be viewed…

We find an explicit presentation of relative linear Steinberg groups $\mathrm{St}(n, R, I)$ for any ring $R$ and $n \geq 4$ by generators and relations as abstract groups. We also prove a similar result for relative simply laced Steinberg…

Let $G$ be a simple algebraic group over an algebraically closed field of prime characteristic. If $M$ is a finite dimensional $G$-module that is projective over the Frobenius kernel of $G$, then its character is divisible by the character…

Let $(R, \Delta)$ be an odd form algebra. We show that the unitary Steinberg group $\mathrm{StU}(R, \Delta)$ is a crossed module over the odd unitary group $\mathrm U(R, \Delta)$ in two major cases: if the odd form algebra has a free…

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…

Let E be an elliptic curve having Complex Multiplication by the full ring O_K of integers of K=Q(\sqrt{-D}), let H=K(j(E)) be the Hilbert class field of K. Then the Mordell-Weil group E(H) is an O_K-module, and its structure denpends on its…

The space of $n \times m$ complex matrices can be regarded as an algebraic variety on which the group ${\bf GL}_n \times {\bf GL}_m$ acts. There is a rich interaction between geometry and representation theory in this example. In an…

We prove that $\mathrm{St}(n, A)$ is a crossed module over $\mathrm{GL}(n, A)$ under a local stable rank condition on an algebra $A$ over a commutative ring. Our proof uses only elementary localization techniques in terms of pro-groups and…

Let $G$ be an adjoint quasi-simple group defined and split over a non-archimedean local field $K$. We prove that the dual of the Steinberg representation of $G$ is isomorphic to a certain space of harmonic cochains on the Bruhat-Tits…

Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups…

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…

Consider the quotient $G/B$ of a simple matrix Lie group $G$ by a subgroup $B$ isomorphic to a direct product of some of $S^1$s and $S^3$s such that its adjoint representation can be extended over $G$. Then it naturally inherits a stable…

The paper investigates a significant part of the automorphic, in fact of the so-called Eisenstein cohomology of split odd orthogonal groups over Q. The main result provides a description of residual and regular Eisenstein cohomology classes…

A Chevalley type integral basis for the ortho-symplectic Lie superalgebra is constructed. The simple modules of the ortho-symplectic supergroup over an algebraically closed field of prime characteristic not equal to 2 are classified, where…

We consider quantum group representations for a semisimple algebraic group G at a complex root of unity q. Here q is allowed to be of any order. We revisit some fundamental results of Parshall-Wang and Andersen-Polo-Wen from the 90's. In…

We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of…

Suppose that a compact quantum group Q acts faithfully and isomet- rically (in the sense of [10]) on a smooth compact, oriented, connected Riemannian manifold M . If the manifold is stably parallelizable then it is shown that the compact…

We continue the study of the Chow ring of the moduli stack $\mathfrak{M}_{g,n}$ of prestable curves begun in [arXiv:2012.09887v2]. In genus $0$, we show that the Chow ring of $\mathfrak{M}_{0,n}$ coincides with the tautological ring and…

Categorified quantum groups play an increasing role in quantum topology and representation theory. The Steenrod algebra is a fundamental component of algebraic topology. In this paper we show that categorified quantum groups can be extended…