Related papers: Explicit presentation of relative Steinberg groups

We say that a class of finite structures for a finite first-order signature is $r$-compressible if each structure $G$ in the class has a first-order description of size at most $O(r(|G|))$. We show that the class of finite simple groups is…

We develop representation theory of general linear groups in the category $\text{Ver}_4^+$, the simplest tensor category which is not Frobenius exact. Since $\text{Ver}_4^+$ is a reduction of the category of supervector spaces to…

The purpose of this paper is to provide an octonionic description of the Lie group $SL(2,{\mathbb O})$. The main result states that it can be obtained as a free group generated by invertible and determinant preserving transformations from…

These notes give an elementary introduction to Lie groups, Lie algebras, and their representations. Designed to be accessible to graduate students in mathematics or physics, they have a minimum of prerequisites. Topics include definitions…

We introduce a combinatorial method to construct indefinite Ricci-flat metrics on nice nilpotent Lie groups. We prove that every nilpotent Lie group of dimension $\leq6$, every nice nilpotent Lie group of dimension $\leq7$ and every…

For a field $k$, we prove that the $i$th homology of the groups $GL_n(k)$, $SL_n(k)$, $Sp_{2n}(k)$, $SO_{n,n}(k)$, and $SO_{n,n+1}(k)$ with coefficients in their Steinberg representations vanish for $n \geq 2i+2$.

Let K be a number field and let A be its ring of integers. Let G be a connected, noncommutative, absolutely almost simple algebraic K-group. If the K-rank of G equals 2, then G(A[t]) is not finitely presented.

A recent conjecture of the author and Teng Fang states that there are only finitely many finite simple groups with no cubic graphical regular representation. In this paper, we make a crucial progress towards this conjecture by giving an…

Let $n$ be a natural number greater or equal to $3$, $R$ a commutative ring and $\sigma\in GL_n(R)$. We show that $t_{kl}(\sigma_{ij})$ (resp. $t_{kl}(\sigma_{ii}-\sigma_{jj}))$ where $i\neq j$ and $k\neq l$ can be expressed as a product of…

Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance,…

We prove that one-relator groups are coherent, solving a well-known problem of Gilbert Baumslag. Our proof strategy is readily applicable to many classes of groups of cohomological dimension two. We show that fundamental groups of…

We characterize finite-dimensional thick representations over ${\Bbb C}$ of connected complex semi-simple Lie groups by irreducible representations which are weight multiplicity-free and whose weight posets are totally ordered sets.…

We construct easy embeddings of relatively free groups (say the free Burnside group, the free solvable group) into finitely presented groups. We introduce a concept of verbal isoperimetric function of a group variety. We prove that if the…

We give very flexible, concrete constructions of discrete and faithful epresentations of right-angled Artin groups into higher-rank Lie groups. Using the geometry of the associated symmetric spaces and the combinatorics of the groups, we…

In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.

We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups. Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related…

We construct the finite-dimensional continuous complex representations of $\mathrm{SL}_2$ over compact discrete valuation rings of even residual characteristic. We also prove that the complex group algebras of $\mathrm{SL}_2$ over finite…

We study the complex irreducible representations of special linear, symplectic, orthogonal and unitary groups over principal ideal local rings of length two. We construct a canonical correspondence between the irreducible representations of…

We consider the relative group presentation $\mathcal{P} = \langle G, \mathbf{x} | \mathbf{r} \rangle$ where $\mathbf{x} = \{ x \}$ and $\mathbf{r} = \{ xg_1 xg_2 xg_3 x^{-1} g_4 \}$. We show modulo a small number of exceptional cases…

We establish an equivalence between categories of 'formally nilpotent' Lie algebras and exponential groups in characteristic zero. It extends the equivalences of Mal'cev, Lazard, Quillen and Warfield, and applies to groups under composition…