Search arXiv⌕ Search

arXiv subjects

Sam Tertooy

Publications and source records attributed to Sam Tertooy.

13 recordsLinked to original sources
arXiv2026

Taming Reidemeister zeta functions on virtually polycyclic groups

We prove a formula for Reidemeister numbers of virtually polycyclic groups that generalises known formulas for finite groups and torsion-free virtually polycyclic groups. Based on this formula, we introduce a new invariant which we call the tamed Reidemeister number, and prove that its associated zeta functions are rational on virtually polycyclic groups. We also show that this implies rationality of (ordinary) Reidemeister zeta functions, as well as rationality of Nielsen zeta functions on compact infra-solvmanifolds.

math.GR↗
arXiv2026

A Hirsch length inequality

Let $H$ and $K$ be subgroups of a virtually polycyclic group $G$. We prove the Hirsch length inequality $$h(H)+h(K) \leq h(H\cap K)+h(G).$$ We show that equality holds when the number of $(H,K)$-double cosets is finite, and that the converse holds when $G$ is nilpotent. We also apply this to twisted conjugacy, showing that for homomorphisms $φ,ψ\colon G \to H$ with $G$ and $H$ virtually polycyclic, there is a connection between the Hirsch lengths of $G$, $H$, and the coincidence subgroup $\mathrm{Coin}(φ,ψ)$, and the finiteness of the Reidemeister number $R(φ,ψ)$.

math.GR↗
arXiv2026

Bi-twisted conjugacy in finite groups

We provide two alternative ways to determine the number of bi-twisted conjugacy classes in a finite group: one using irreducible characters and one using ordinary conjugacy classes. In addition, we show various equalities and (sharp) inequalities for Reidemeister numbers, as well as relations between bi-twisted conjugacy, representation theory, and fixed-point free automorphisms.

math.GR↗
arXiv2026

Algorithms for twisted conjugacy classes of polycyclic-by-finite groups II

We construct an algorithm that, given a pair of homomorphisms between polycyclic-by-finite groups, determines whether their Reidemeister number is finite, and if so returns a set of representatives of the twisted conjugacy classes. Moreover, we show how this algorithm can be applied to compute double cosets and orbits of affine actions.

math.GR↗
arXiv2026

Extreme Reidemeister spectra of finite groups

We extend the notions of "$R_\infty$-property" and "full (extended) Reidemeister spectrum" to finite groups in a meaningful way. We provide examples of finite groups admitting these properties, if they exist, by looking at groups of small order as well as (quasi)simple groups.

math.GR↗
arXiv2026

Twisted conjugacy and separability

A group $G$ is twisted conjugacy separable if for every automorphism $φ$, distinct $φ$-twisted conjugacy classes can be separated in a finite quotient. Likewise, $G$ is completely twisted conjugacy separable if for any group $H$ and any two homomorphisms $φ,ψ$ from $H$ to $G$, distinct $(φ,ψ)$-twisted conjugacy classes can be separated in a finite quotient. We study how these properties behave with respect to taking subgroups, quotients and finite extensions, and compare them to other notions of separability in groups. Finally, we show that for polycyclic-by-nilpotent-by-finite groups, being completely twisted conjugacy separable is equivalent to all quotients being residually finite.

math.GR↗
arXiv2021

The Reidemeister spectra of low dimensional crystallographic groups

In this paper we study the number of twisted conjugacy classes (the Reidemeister number) for automorphisms of crystallographic groups. We present two main algorithms for crystallographic groups whose holonomy group has finite normaliser in $\operatorname{GL}_n(\mathbb{Z})$. The first algorithm calculates whether a group has the $R_\infty$-property; the second calculates the Reidemeister spectrum. We apply these algorithms to crystallographic groups up to dimension $6$.

math.GR↗
arXiv2021

Algorithms for twisted conjugacy classes of polycyclic-by-finite groups

We construct two practical algorithms for twisted conjugacy classes of polycyclic-by-finite groups. The first algorithm determines whether two elements of a group are twisted conjugate for two given endomorphisms, under the condition that the Reidemeister coincidence number of these endomorphisms is finite. The second algorithm determines representatives of the Reidemeister coincidence classes of two endomorphisms if their Reidemeister coincidence number is finite, or returns "fail" if the Reidemeister coincidence number is infinite.

math.GR↗
arXiv2021

Reidemeister spectra for solvmanifolds in low dimensions

The Reidemeister number of an endomorphism of a group is the number of twisted conjugacy classes determined by that endomorphism. The collection of all Reidemeister numbers of all automorphisms of a group $G$ is called the Reidemeister spectrum of $G$. In this paper, we determine the Reidemeister spectra of all fundamental groups of solvmanifolds up to Hirsch length 4.

math.GR↗
arXiv2021

Fixed points of diffeomorphisms on nilmanifolds with a free nilpotent fundamental group

Let $M$ be a nilmanifold with a fundamental group which is free $2$-step nilpotent on at least 4 generators. We will show that for any nonnegative integer $n$ there exists a self-diffeomorphism $h_n$ of $M$ such that $h_n$ has exactly $n$ fixed points and any self-map $f$ of $M$ which is homotopic to $h_n$ has at least $n$ fixed points. We will also shed some light on the situation for less generators and also for higher nilpotency classes.

math.AT↗