Related papers: Explicit presentation of relative Steinberg groups

The concept of the Schwinger Representation of a finite or compact simple Lie group is set up as a multiplicity-free direct sum of all the unitary irreducible representations of the group. This is abstracted from the properties of the…

For an isotropic reductive group G satisfying a suitable rank condition over an infinite field k, we show that the sections of the $\mathbb{A}^1$-fundamental group sheaf of G over an extension field L/k can be identified with the second…

For certain rings $\mathcal{R}$, we construct explicit matrices representing nonzero classes in the algebraic $K$ theory group $NK_{1}(\mathcal{R})$.

Let $A$ be a ring with $1\neq 0$, not necessarily finite, endowed with an involution~$*$, that is, an anti-automorphism of order $\leq 2$. Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$.…

Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the…

We prove that metabelian Baumslag$-$Solitar group $BS(1,k)$, $k>1$, is (strongly) regularly bi-interpretable with the ring of integers $\mathbb{Z}$, and describe in algebraic terms all groups that are elementarily equivalent to $BS(1,k)$.

A practical approach is proposed to construct short presentations for Euclidean crystallographic groups in terms of generators and relations. For our purposes a short presentation is the one with a small number of short relators for a given…

We prove that the Steinberg representation of a connected reductive group over an infinite field is irreducible. For finite fields, this is a classical theorem of Steinberg and Curtis.

We describe the full group of isometries of each left invariant Riemannian metric on the simply connected unimodular nilpotent or solvable $(R)$-type Lie groups of dimension four.

Uhlenbeck proved that a set of simple elements generates the group of rational loops in GL(n,C) that satisfy the U(n)-reality condition. For an arbitrary complex reductive group, a choice of representation defines a notion of rationality…

For any finite type connected surface $S$, we give an infinite presentation of the fundamental group $\pi_1(S,\ast)$ of $S$ based at an interior point $\ast\in{S}$ whose generators are represented by simple loops. When $S$ is…

Let $G$ be a real compact Lie group, such that $G=G^0\rtimes C_2$, with $G^0$ simple. Here $G^0$ is the connected component of $G$ containing the identity and $C_2$ is the cyclic group of order $2$. We give a criterion for whether an…

We obtain a Lie theoretic intrinsic characterization of the connected and simply connected solvable Lie groups whose regular representation is a factor representation. When this is the case, the corresponding von Neumann algebras are…

We describe the full group of isometries of absolutely simple, compact, connected real Lie groups, of SO(4) and of U(n), endowed with suitable bi-invariant Riemannian metrics.

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group…

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…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

We prove a variant of the well-known Reidemeister-Schreier theorem for finitely $L$-presented groups. More precisely, we prove that each finite index subgroup of a finitely $L$-presented group is itself finitely $L$-presented. Our proof is…

The goal of this paper is to establish a general rigidity statement for abstract representations of elementary subgroups of Chevalley groups of rank at least 2 over a class of commutative rings that includes the localizations of 1-generated…