Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/38935
Title: | Abelianization and fixed point properties of units in integral group rings | Authors: | Bachle, Andreas Janssens , Geoffrey Jespers, Eric Kiefer, Ann TEMMERMAN, Doryan |
Issue Date: | 2022 | Publisher: | WILEY-V C H VERLAG GMBH | Source: | MATHEMATISCHE NACHRICHTEN, 296 (1), p. 8-56 | Abstract: | Let G be a finite group and U(ZG)${\mathcal {U}}({\mathbb {Z}}G)$ the unit group of the integral group ring ZG${\mathbb {Z}}G$. We prove a unit theorem, namely, a characterization of when U(ZG)$\mathcal {U}(\mathbb {Z}G)$ satisfies Kazhdan's property (T)$(\operatorname{T})$, both in terms of the finite group G and in terms of the simple components of the semisimple algebra QG$\mathbb {Q}G$. Furthermore, it is shown that for U(ZG)$\mathcal {U}(\mathbb {Z} G)$, this property is equivalent to the weaker property FAb$\operatorname{FAb}$ (i.e., every subgroup of finite index has finite abelianization), and in particular also to a hereditary version of Serre's property FA$\operatorname{FA}$, denoted HFA$\operatorname{HFA}$. More precisely, it is described when all subgroups of finite index in U(ZG)${\mathcal {U}}({\mathbb {Z}}G)$ have both finite abelianization and are not a nontrivial amalgamated product. A crucial step for this is a reduction to arithmetic groups SLn(O)$\operatorname{SL}_n(\mathcal {O})$, where O$\mathcal {O}$ is an order in a finite-dimensional semisimple Q${\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 QG$\mathbb {Q} G$. The proof of the unit theorem fundamentally relies on fixed point properties and the abelianization of the elementary subgroups En(D)$\operatorname{E}_n(D)$ of SLn(D)$\operatorname{SL}_n(D)$. These groups are well understood except in the degenerate case of lower rank, that is, for SL2(O)$\operatorname{SL}_2(\mathcal {O})$ with O$\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 E2(O)$\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 Z$\mathbb {Z}$-rank. | Notes: | Janssens, G (corresponding author), Vrije Univ Brussel, Vakgrp Wiskunde Data Sci, Pl Laan 2, B-1050 Brussels, Belgium. Geoffrey.Janssens@vub.be |
Keywords: | abelianization;elementary matrix group;integral group ring;Kazhdan's property (T);Serre's property FA;unit | Document URI: | http://hdl.handle.net/1942/38935 | ISSN: | 0025-584X | e-ISSN: | 1522-2616 | DOI: | 10.1002/mana.202000514 | ISI #: | 000878334300001 | Rights: | 2022 Wiley-VCH GmbH | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2023 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Abelianization_fixed_point_properties_MN_v4.pdf | Peer-reviewed author version | 590.65 kB | Adobe PDF | View/Open |
Abelianization and fixed point properties of units in integral group rings.pdf Restricted Access | Published version | 735.32 kB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.