Source author record

Ann Kiefer

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 math.MG math.NT

Catalog footprint

Research overview

9works

5topics

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.

preprint2020arXiv

On Units in Orders in 2-by-2 Matrices over Quaternion Algebras with Rational Center

We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and $3$ , to hyperbolic space of higher dimensions using Clifford algebras. We hence get an algorithm which gives a finite set of generators of finite index subgroups of a discrete subgroup of Vahlen's group, i.e. a group of $2$ -by- $2$ matrices with entries in the Clifford algebra satisfying certain conditions. The motivation comes from units in integral group rings and this new algorithm allows to handle unit groups of orders in $2$ -by- $2$ matrices over rational quaternion algebras. The rings investigated are part of the so-called exceptional components of a rational group algebra.

preprint2016arXiv

Dirichlet-Ford domains and Double Dirichlet domains

We continue investigations started by Lakeland on Fuchsian and Kleinian groups which have a Dirichlet fundamental domain that also is a Ford domain in the upper half-space model of hyperbolic $2$ - and $3$ -space, or which have a Dirichlet domain with multiple centers. Such domains are called DF-domains and Double Dirichlet domains respectively. Making use of earlier obtained concrete formulas for the bisectors defining the Dirichlet domain of center $i \in \HQ^2$ or center $j \in \HQ^3$, we obtain a simple condition on the matrix entries of the side-pairing transformations of the fundamental domain of a Fuchsian or Kleinian group to be a DF-domain. Using the same methods, we also complement a result of Lakeland stating that a cofinite Fuchsian group has a DF domain (or a Dirichlet domain with multiple centers) if and only if it is an index $2$ subgroup of the discrete group G of reflections in a hyperbolic polygon.

preprint2015arXiv

Presentations of Groups Acting Discontinuously on Direct Products of Hyperbolic Spaces

The problem of describing the group of units $\mathcal{U}(\mathbb{Z} G)$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$ has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order $\mathcal{O}$ in the simple epimorphic images $A$ of the rational group algebra $\mathbb{Q} G$ . Making use of the presentation part of Poincaré's Polyhedron Theorem, Pita, del Río and Ruiz proposed such a method for a large family of finite groups $G$ and consequently Jespers, Pita, del Río, Ruiz and Zalesskii described the structure of $\mathcal{U}(\mathbb{Z} G)$ for a large family of finite groups $G$ . In order to handle many more groups, one would like to extend Poincaré's Method to discontinuous subgroups of the group of isometries of a direct product of hyperbolic spaces. If the algebra $A$ has degree 2 then via the Galois embeddings of the centre of the algebra $A$ one considers the group of reduced norm one elements of the order $Ø$ as such a group and thus one would obtain a solution to the mentioned problem. This would provide presentations of the unit group of orders in the simple components of degree 2 of $\mathbb{Q} G$ and in particular describe the unit group of $\mathbb{Z} G$ for every group $G$ with irreducible character degrees less than or equal to 2. The aim of this paper is to initiate this approach by executing this method on the Hilbert modular group, i.e. the projective linear group of degree two over the ring of integers in a real quadratic extension of the rationals. This group acts discontinuously on a direct product of two hyperbolic spaces of dimension two. The fundamental domain constructed is an analogue of the Ford domain of a Fuchsian or a Kleinian group.

preprint2015arXiv

Revisiting Poincaré's Theorem on presentations of discontinuous groups via fundamental polyhedra

We give a new self-contained proof of Poincaré's Polyhedron Theorem on presentations of discontinuous groups of isometries of a Riemann manifold of constant curvature. The proof is not based on the theory of covering spaces, but only makes use of basic geometric concepts. In a sense one hence obtains a proof that is of a more constructive nature than most known proofs.

preprint2014arXiv

Describing units of integral group rings up to commensurability

We restrict the type of $2 \times 2$ -matrices which can occur as simple components in the Wedderburn decomposition of the rational group algebra of a finite group. This results in a description up to commensurability of the group of units of the integral group ring $\mathbb Z G$ for all finite groups $G$ that do not have a non-commutative Frobenius complement as a quotient.

preprint2014arXiv

Poincaré Bisectors in Hyperbolic Spaces

We determine explicit formulas for the bisectors used in constructing a Dirichlet fundamental domain in hyperbolic two and three space. They are compared with the isometric spheres employed in the construction of a Ford domain and used to find a finite set of generators for discrete groups of finite covolume. Applications are given to Fuchsian groups, Kleinian groups, including the Bianchi groups, and for the construction of a finite set of generators of the unit group of the integral group ring of a finite nilpotent group. An easy implementable algorithm, DAFC, is also given and used in the search for generators of discrete groups.

preprint2013arXiv

From the Poincaré Theorem to generators of the unit group of integral group rings of finite groups

We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$ , this provided the rational group algebra $\mathbb{Q} G$ does not have simple components that are division classical quaternion algebras or two-by-two matrices over a classical quaternion algebra with centre $\mathbb{Q}$ . The main difficulty is to deal with orders in quaternion algebras over the rationals or a quadratic imaginary extension of the rationals. In order to deal with these we give a finite and easy implementable algorithm to compute a fundamental domain in the hyperbolic three space $\mathbb{H}^3$ (respectively hyperbolic two space $\mathbb{H}^2$ ) for a discrete subgroup of ${\rm PSL}_2(\mathbb{C})$ (respectively ${\rm PSL}_2(\mathbb{R})$ ) of finite covolume. Our results on group rings are a continuation of earlier work of Ritter and Sehgal, Jespers and Leal.

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.