Related papers: Centrality of $\mathrm K_2$-functor revisited

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 begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of…

We prove the centrality of $\mathrm{K}_2 (\mathsf{F}_4, \,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of $\mathrm K_2(\Phi,\, R)$ for any root system $\Phi$ of rank $\geq 3$. Our proof uses only…

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…

For a regular ring R and an affine monoid M the homotheties of M act nilpotently on the Milnor unstable groups of R[M]. This strengthens the K_2 part of the main result of [G5] in two ways: the coefficient field of characteristic 0 is…

Let $p$ be an odd prime number. We study the problem of determining the module structure over the mod $p$ Steenrod algebra $\mathcal A(p)$ of the Dickson algebra $D_n$ consisting of all modular invariants of general linear group…

For a root system $\Phi$ of type $E_l$ and arbitrary commutative ring $R$ we show that the group $K_2(\Phi, R)$ is contained in the centre of the Steinberg group $St(\Phi, R)$. In course of the proof we also demonstrate an analogue of…

We show that K2 of "sufficiently regular" localisations of local rings (e.g. inverting a sequence of regular parameters) can be described by the Steinberg presentation. The proof is inductive on the number of irreducible elements being…

We calculate the structure of the finitely-generated groups H_2(SL_2(Z[1/m])) when m is a multiple of 6. We construct explicit homology classes which generate these groups and have prescribed orders. When n is at least 2 and m is the…

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…

In this paper, we showed that the Stable Picard group of $A(n)$ for $n\geq 2$ is $\mathbb{Z}\oplus \mathbb{Z}$ by considering the endotrivial modules over $A(n)$. The proof relies on reductions from a Hopf algebra to its proper Hopf…

We analyze the stable isomorphism type of polynomial rings on degree 1 generators as modules over the sub-algebra A(1) = <Sq^1, Sq^2> of the mod 2 Steenrod algebra. Since their augmentation ideals are Q_1-local, we do this by studying the…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

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 $\Gamma$ be an $\widetilde A_2$ subgroup of $\PGL_3(\mathbb K)$, where $\mathbb K$ is a local field with residue field of order $q$. The module of coinvariants $C(\mathbb P^2_{\mathbb K},\mathbb Z)_{\Gamma}$ is shown to be finite, where…

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

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…

For an Azumaya algebra $A$ which is free over its centre $R$, we prove that the $K$-theory of $A$ is isomorphic to $K$-theory of $R$ up to its rank torsion. We observe that a graded central simple algebra, graded by an abelian group, is a…

We use the pro-group approach to show that $\mathrm{StO}(M, q)$ admits van der Kallen's "another presentation", where $M$ is a module over a commutative ring with sufficiently isotropic quadratic form $q$. Moreover, we construct an analog…

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra…