Source author record

Geoffrey Janssens

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

ResearcherUnclaimed source record

math.RA math.RT math.GR

Catalog footprint

Research overview

9works

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.

preprint2020arXiv

Codimension Growth of Lie algebras with a generalized action

Let $L$ be a finite dimensional Lie $F$ -algebra endowed with a generalized action by an associative algebra $H$ . We investigate the exponential growth rate of the sequence of $H$ -graded codimensions $c_n^H(L)$ of $L$ which is a measure for the number of non-polynomial $H$ -identities of $L$ . More precisely, we construct the first example of an $S$ -graded Lie algebra having a non-integer, even irrational, exponential growth rate $\lim_{n\rightarrow \infty} \sqrt[n]{c_n^{S}(L)}$ . Hereby $S$ is a semigroup and an exact value is given. On the other hand, returning to general $H$ , if $L$ is semisimple and also semisimple for the $H$ -action we prove the analog of Amitsur's conjecture (i.e. $\lim_{n\rightarrow \infty} \sqrt[n]{c_n^{H}(L)} \in \mathbb{Z}$ ). Moreover if $H=FS$ is a semigroup algebra the semisimplicity on $L$ can be dropped which is in strong contract to the associative setting.

preprint2020arXiv

Glider Representation Rings with a view on distinguishing groups

Let $G$ be a finite group. In the first part of the paper we develop further the foundations of the youngly introduced glider representation theory. Glider representations encompass filtered modules over filtered rings and as such carry much information of $G$ . Therefore the main focus is on the glider representation ring $R_d(\widetilde{G})$ , which is shown to be realisable as a concrete subring of the split Grothendieck ring of the monoidal category $\text{glid}_d(G)$ of (Noetherian) glider $\mathbb{C}$ -representations of (length $d$ ) of $G$ . In the second part we investigate a Wedderburn-Malcev type decomposition of the (infinite-dimensional) $\mathbb{Q}$ -algebra $\mathbb{Q}(\widetilde{G}) := \mathbb{Q} \otimes_{\mathbb{Z}}R_1(\widetilde{G})$ . The main theorem obtains a $\mathbb{Q}[G^{ab}]$ -module decomposition of $\mathbb{Q}(\widetilde{G})$ relating it in a precise way to $\mathbb{C}$ -representation theory of subnormal subgroups in $G$ . Under certain vanishing assumptions, which are proven to hold for nilpotent groups (of class $2$ ), the second main theorem completely describes a $\mathbb{Q}[G^{ab}]$ -algebra decomposition. We end with pointing out applications on distinguishing isocategorical groups.

preprint2016arXiv

A reduction theorem for $τ$ -rigid modules

We prove a theorem which gives a bijection between the support $τ$ -tilting modules over a given finite-dimensional algebra $A$ and the support $τ$ -tilting modules over $A/I$ , where $I$ is the ideal generated by the intersection of the center of $A$ and the radical of $A$ . This bijection is both explicit and well-behaved. We give various corollaries of this, with a particular focus on blocks of group rings of finite groups. In particular we show that there are $τ$ -tilting finite wild blocks with more than one simple module. We then go on to classify all support $τ$ -tilting modules for all algebras of dihedral, semidihedral and quaternion type, as defined by Erdmann, which include all tame blocks of group rings. Note that since these algebras are symmetric, this is the same as classifying all basic two-term tilting complexes, and it turns out that a tame block has at most $32$ different basic two-term tilting complexes. We do this by using the aforementioned reduction theorem, which reduces the problem to ten different algebras only depending on the ground field $k$ , all of which happen to be string algebras. To deal with these ten algebras we give a combinatorial classification of all $τ$ -rigid modules over (not necessarily symmetric) string algebras.

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.

preprint2016arXiv

The Polynomial Part of the Codimension Growth of Affine PI Algebras

Let $F$ be a field of characteristic zero and $W$ be an associative affine $F$ -algebra satisfying a polynomial identity (PI). The codimension sequence associated to $W$ , $c_n(W)$ , is known to be of the form $Θ(c n^t d^n)$ , where $d$ is the well known (PI) exponent of $W$ . In this paper we establish an algebraic interpretation of the polynomial part (the constant $t$ ) by means of Kemer's theory. In particular, we show that in case $W$ is a basic algebra, then $t = \frac{d-q}{2} + s$ , where $q$ is the number of simple component in $W/J(W)$ and $s+1$ is the nilpotency degree of $J(W)$ . Thus proving a conjecture of Giambruno.

preprint2014arXiv

$\mathbb ZS_n$ -modules and polynomial identities with integer coefficients

We show that, like in the case of algebras over fields, the study of multilinear polynomial identities of unitary rings can be reduced to the study of proper polynomial identities. In particular, the factors of series of $\mathbb ZS_n$ -submodules in the $\mathbb ZS_n$ -modules of multilinear polynomial functions can be derived by the analog of Young's (or Pieri's) rule from the factors of series in the corresponding $\mathbb ZS_n$ -modules of proper polynomial functions. As an application, we calculate the codimensions and a basis of multilinear polynomial identities of unitary rings of upper triangular $2\times 2$ matrices and infinitely generated Grassmann algebras over unitary rings. In addition, we calculate the factors of series of $\mathbb ZS_n$ -submodules for these algebras. Also we establish relations between codimensions of rings and codimensions of algebras and show that the analog of Amitsur's conjecture holds in all torsion-free rings, and all torsion-free rings with 1 satisfy the analog of Regev's conjecture.

preprint2013arXiv

Primitive Central Idempotents of Rational Group Algebras

We give a description of the primitive central idempotents of the rational group algebra QG of a finite group G. Such a description is already investigated by Jespers, Olteanu and del Río, but some unknown scalars are involved. Our description also gives answers to their questions.

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.

Geoffrey Janssens

Research overview

Is this your work?

9 publications

Abelianization and fixed point properties of units in integral group rings

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

Codimension Growth of Lie algebras with a generalized action

Glider Representation Rings with a view on distinguishing groups

A reduction theorem for $τ$ -rigid modules

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

The Polynomial Part of the Codimension Growth of Affine PI Algebras

$\mathbb ZS_n$ -modules and polynomial identities with integer coefficients

Primitive Central Idempotents of Rational Group Algebras

See the researcher in context

Building this map preview

Geoffrey Janssens

Research overview

Is this your work?

9 publications

Abelianization and fixed point properties of units in integral group rings

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

Codimension Growth of Lie algebras with a generalized action

Glider Representation Rings with a view on distinguishing groups

A reduction theorem for τττ-rigid modules

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

The Polynomial Part of the Codimension Growth of Affine PI Algebras

ZSn\mathbb ZS_nZSn​-modules and polynomial identities with integer coefficients

Primitive Central Idempotents of Rational Group Algebras

See the researcher in context

Building this map preview

A reduction theorem for $τ$ -rigid modules

$\mathbb ZS_n$ -modules and polynomial identities with integer coefficients