Source author record

Doryan Temmerman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RA math.RT

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Abelianization and fixed point properties of units in integral group rings

Let $G$ be a finite group and $\mathcal{U} (\mathbb{Z} G)$ the unit group of the integral group ring $\mathbb{Z} G$ . We prove a unit theorem, namely a characterization of when $\mathcal{U}(\mathbb{Z}G)$ satisfies Kazhdan's property $(\operatorname{T})$ , both in terms of the finite group $G$ and in terms of the simple components of the semisimple algebra $\mathbb{Q}G$ . Furthermore, it is shown that for $\mathcal{U}( \mathbb{Z} G)$ this property is equivalent to the weaker property $\operatorname{FAb}$ (i.e. every subgroup of finite index has finite abelianization), and in particular also to a hereditary version of Serre's property $\operatorname{FA}$ , denoted $\operatorname{HFA}$ . More precisely, it is described when all subgroups of finite index in $\mathcal{U} (\mathbb{Z} G)$ have both finite abelianization and are not a non-trivial amalgamated product. A crucial step for this is a reduction to arithmetic groups $\operatorname{SL}_n(\mathcal{O})$ , where $\mathcal{O}$ is an order in a finite dimensional semisimple $\mathbb{Q}$ -algebra $D$ , and finite groups $G$ which have the so-called cut property. For such groups $G$ we describe the simple epimorphic images of $\mathbb{Q} G$ . The proof of the unit theorem fundamentally relies on fixed point properties and the abelianization of the elementary subgroups $\operatorname{E}_n(D)$ of $\operatorname{SL}_n(D)$ . These groups are well understood except in the degenerate case of lower rank, i.e.\ for $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ an order in a division algebra $D$ with a finite number of units. In this setting we determine Serre's property \FA for $\operatorname{E}_2(\mathcal{O})$ and its subgroups of finite index. We construct a generic and computable exact sequence describing its abelianization, affording a closed formula for its $\mathbb{Z}$ -rank.

preprint2020arXiv

A dichotomy for integral group rings via higher modular groups as amalgamated products

We show that $\mathcal{U}(\mathbb{Z}G)$ , the unit group of the integral group ring $\mathbb{Z} G$ , either satisfies Kazhdan's property (T) or is, up to commensurability, a non-trivial amalgamated product, in case $G$ is a finite group satisfying some mild conditions. Crucial in the proof is the construction of amalgamated decompositions of the elementary group $\operatorname{E}_2(\mathcal{O})$ , where $\mathcal{O}$ is an order in a rational division algebra. A major step is to introduce subgroups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ inside the so-called higher modular groups $\operatorname{SL}_+(Γ_n(\mathbb{Z}))$ , which are discrete subgroups of certain $2 \times 2$ matrix groups with entries in a Clifford algebra. The groups $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ mimic the elementary groups in linear groups over rings. We prove that $\operatorname{E}_2(Γ_n(\mathbb{Z}))$ has in general a non-trivial decomposition as a free product with amalgamated subgroup $\operatorname{E}_2(Γ_{n-1}(\mathbb{Z}))$ . From this we obtain that also the higher modular groups do have a very clearly structured amalgam decompositions in low dimensions.

preprint2016arXiv

Free products in the unit group of the integral group ring of a finite group

Let $G$ be a finite group and let $p$ be a prime. We continue the search for generic constructions of free products and free monoids in the unit group $\mathcal{U}(\mathbb{Z}G)$ of the integral group ring $\mathbb{Z}G$ . For a nilpotent group $G$ with a non-central element $g$ of order $p$ , explicit generic constructions are given of two periodic units $b_1$ and $b_2$ in $\mathcal{U}(\mathbb{Z}G)$ such that $\langle b_1 , b_2\rangle =\langle b_1\rangle \star \langle b_2 \rangle \cong \mathbb{Z}_p \star \mathbb{Z}_{p}$ , a free product of two cyclic groups of prime order. Moreover, if $G$ is nilpotent of class $2$ and $g$ has order $p^n$ , then also concrete generators for free products $\mathbb{Z}_{p^k} \star \mathbb{Z}_{p^m}$ are constructed (with $1\leq k,m\leq n$ ). As an application, for finite nilpotent groups, we obtain earlier results of Marciniak-Sehgal and Gon{ç}alves-Passman. Further, for an arbitrary finite group $G$ we give generic constructions of free monoids in $\mathcal{U}(\mathbb{Z}G)$ that generate an infinite solvable subgroup.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.