We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.
For a finite abelian group $A$, the Reidemeister number of an endomorphism $φ$ equals the size of $\mathrm{Fix}(φ)$, the set of fixed points of $φ$. Consequently, the Reidemeister spectrum of $A$ is a subset of the set of divisors of $|A|$. We fully determine the Reidemeister spectrum of $|A|$, that is, which divisors of $|A|$ occur as the Reidemeister number of an automorphism. To do so, we discuss and prove a more general result providing upper and lower bounds on the number of fixed points of automorphisms related to a given automorphism $φ$.
We prove that the Reidemeister zeta functions of automorphisms of crystallographic groups with diagonal holonomy $\mathbb{Z}_2$ are rational. As a result, we obtain that Reidemeister zeta functions of automorphisms of almost-crystallographic groups up to dimension 3 are rational.
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.
We prove that a saturated weakly branch group $G$ has the property $R_\infty$ (any automorphism $ϕ:G\to G$ has infinite Reidemeister number) in each of the following cases: 1) any element of $Out(G)$ has finite order; 2) for any $ϕ$ the number of orbits on levels of the tree automorphism $t$ inducing $ϕ$ is uniformly bounded and $G$ is weakly stabilizer transitive; 3) $G$ is finitely generated, prime-branching, and weakly stabilizer transitive with some non-abelian stabilizers (with no restrictions on automorphisms). Some related facts and generalizations are proved.
We investigate the Reidemeister spectrum of direct products of nilpotent groups. More specifically, we prove that the Reidemeister spectra of the individual factors yield complete information for the Reidemeister spectrum of the direct product if all groups are finitely generated torsion-free nilpotent and have a directly indecomposable rational Malcev completion. We show this by determining the complete automorphism group of the direct product.
We prove for a wide class of saturated weakly branch group (including the (first) Grigorchuk group and the Gupta-Sidki group) that the Reidemeister number of any automorphism is infinite.
We prove that for any automorphism $ϕ$ of the restricted wreath product $\mathbb{Z}_2 \mathrm{wr} \mathbb{Z}^k$ and $\mathbb{Z}_3 \mathrm{wr} \mathbb{Z}^{2d}$ the Reidemeister number $R(ϕ)$ is infinite, i.e. these groups have the property $R_\infty$. For $\mathbb{Z}_3 \mathrm{wr} \mathbb{Z}^{2d+1}$ and $\mathbb{Z}_p \mathrm{wr} \mathbb{Z}^k$, where $p>3$ is prime, we give examples of automorphisms with finite Reidemeister numbers. So these groups do not have the property $R_\infty$. For these groups and $\mathbb{Z}_m \mathrm{wr} \mathbb{Z}$, where $m$ is relatively prime to $6$, we prove the t…
We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$ where $\mathbb Z_p$ the group of p-adic integers. As a consequence, we obtain a dichotomy for the Reidemeister zeta function of a continuous map of a topological space with fundamental group that is non-finitely generated torsion abelian group. We also prove the rationality of the coincidence Reidemeister zeta function for tame endomorphisms pairs of finitel…
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$.
There are 9 kinds of crystallographic groups $Π$ of Sol. For any automorphism $φ$ on $Π$, we study the Reidemeister number $R(φ)$. Using the averaging formula for the Reidemeister numbers, we prove that most of the crystallographic groups of Sol have the $R_\infty$ property.
Let $G$ be a finitely generated polyfree group. If $G$ has nonzero Euler characteristic then we show that $Aut(G)$ has a finite index subgroup in which every automorphism has infinite Reidemeister number. For certain $G$ of length 2, we show that the number of Reidemeister classes of every automorphism is infinite.
Given a group $G$ and an automorphism $φ$ of $G$, two elements $x, y \in G$ are said to be $φ$-conjugate if $x = gy φ(g)^{-1}$ for some $g \in G$. The number of equivalence classes for this relation is the Reidemeister number $R(φ)$ of $φ$. The set $\{R(ψ) \mid ψ\in \mathrm{Aut}(G)\}$ is called the Reidemeister spectrum of $G$. We fully determine the Reidemeister spectrum of split metacyclic groups of the form $C_{n} \rtimes C_{p}$ where $p$ is a prime and the action is non-trivial.
The concept of an adapted homology basis for a prime order conformal automorphism of a compact Riemann surface extends to arbitrary finite groups of conformal automorphisms. Here we compute some examples of adapted homology bases for some groups of automorphisms. The method is to begin by apply the Schreier-Reidemeister rewriting process along with the Schreier-Reidemeister Theorem and then to eliminate generators and relations until there is one single large defining relation for the fundamental group in which every generator and its inverse occurs. We are then able to compute the action of t…
In this paper we continue to study the Reidemeister zeta function. We prove Pólya -- Carlson dichotomy between rationality and a natural boundary for analytic behavior of the Reidemeister zeta function for a large class of automorphisms of Abelian groups. We also study dynamical representation theory zeta functions counting numbers of fixed irreducible representations for iterations of an endomorphism. The rationality and functional equation for these zeta functions are proven for several classes of groups. We find a connection between these zeta functions and the Reidemeister torsions of the …
We prove that if $\mathbb{F}$ is an algebraically closed field of zero characteristic which has infinite transcendence degree over $\mathbb{Q}$, then there exists a field automorphism $φ$ of ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ such that $R(φ)=1$. This fact implies that ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ do not possess the $R_{\infty}$-property. However, if the transcendece degree of $\mathbb{F}$ over $\mathbb{Q}$ is finite, then ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ are known to possess the $R_{\infty}$-property.
We prove that the restricted wreath product ${\mathbb{Z}_n \mathbin{\mathrm{wr}} \mathbb{Z}^k}$ has the $R_\infty$-property, i. e. every its automorphism $φ$ has infinite Reidemeister number $R(φ)$, in exactly two cases: (1) for any $k$ and even $n$; (2) for odd $k$ and $n$ divisible by 3. In the remaining cases there are automorphisms with finite Reidemeister number, for which we prove the finite-dimensional twisted Burnside--Frobenius theorem (TBFT): $R(φ)$ is equal to the number of equivalence classes of finite-dimensional irreducible unitary representations fixed by the action ${[ρ]\mapsto…
We introduce new zeta functions related to an endomorphism $ϕ$ of a discrete group $Γ$. They are of two types: counting numbers of fixed ($ρ\sim ρ\circϕ^n$) irreducible representations for iterations of $ϕ$ from an appropriate dual space of $Γ$ and counting Reidemeister numbers $R(ϕ^n)$ of different compactifications. Many properties of these functions and their coefficients are obtained. In many cases it is proved that these zeta functions coincide. The Gauss congruences are proved. Useful asymptotic formulas for the zeta functions are found. Rationality is proved for some examples, which giv…
In this short article, we prove that any automorphism of the R. Thompson's group $F$ has infinitely many twisted conjugacy classes. The result follows from the work of Matthew Brin, together with a standard facts on R. Thompson's group $F$, and elementary properties of the Reidemeister numbers.
We characterize those Lie groups, and algebraic groups over a local field of characteristic zero, whose first reduced L^p-cohomology is zero for all p>1, extending a result of Pansu. As an application, we obtain a description of Gromov-hyperbolic groups among those groups. In particular we prove that any non-elementary Gromov-hyperbolic algebraic group over a non-Archimedean local field of zero characteristic is quasi-isometric to a 3-regular tree. We also extend the study to semidirect products of a general locally compact group by a cyclic group acting by contracting automorphisms.
We prove that an automorphism $ϕ:F\to F$ of a finitely generated free group $F$ is hyperbolic in the sense of Gromov if it has no nontrivial periodic conjugacy classes.
The purpose of the present paper is to discuss the following conjecture of Fel'shtyn and Hill, which is a generalization of the classical Burnside theorem: Let G be a countable discrete group, f its automorphism, R(f) the number of f-conjugacy classes (Reidemeister number), S(f):=# Fix (f^) the number of f-invariant equivalence classes of irreducible unitary representations. If one of R(f) and S(f) is finite, then it is equal to the other. This conjecture plays a very important role in the theory of twisted conjugacy classes having a long history and has very serious consequences in Dynamics, …
The purpose of the present paper is to prove for finitely generated groups of type I the following conjecture of A.Fel'shtyn and R.Hill, which is a generalization of the classical Burnside theorem. Let G be a countable discrete group, f one of its automorphisms, R(f) the number of f-conjugacy classes, and S(f)=# Fix (f^) the number of f-invariant equivalence classes of irreducible unitary representations. If one of R(f) and S(f) is finite, then it is equal to the other. This conjecture plays an important role in the theory of twisted conjugacy classes and has very important consequences in Dyn…
We classify finitely generated, residually finite automorphism-induced HNN-extensions in terms of the residual separability of a single associated subgroup. This classification provides a method to construct automorphism-induced HNN-extensions which are not residually finite. We prove that this method can never yield a "new" counter-example to Gromov's conjecture on the residual finiteness of hyperbolic groups.
We show that the conjugacy problem is solvable in [finitely generated free]-by-cyclic groups, by using a result of O. Maslakova that one can algorithmically find generating sets for the fixed subgroups of free group automorphisms, and one of P. Brinkmann that one can determine whether two cyclic words in a free group are mapped to each other by some power of a given automorphism. The algorithm effectively computes a conjugating element, if it exists. We also solve the power conjugacy problem and give an algorithm to recognize if two given elements of a finitely generated free group are Reideme…
Let $ϕ:G \to G$ be a group endomorphism where $G$ is a finitely generated group of exponential growth, and denote by $R(ϕ)$ the number of twisted $ϕ$-conjugacy classes. Fel'shtyn and Hill \cite{fel-hill} conjectured that if $ϕ$ is injective, then $R(ϕ)$ is infinite. This conjecture is true for automorphisms of non-elementary Gromov hyperbolic groups, see \cite{ll} and \cite {fel:1}. It was showed in \cite {gw:2} that the conjecture does not hold in general. Nevertheless in this paper, we show that the conjecture holds for the Baumslag-Solitar groups $B(m,n)$, where either $|m|$ or $|n|$ is gre…
Let $R(ϕ)$ be the number of $ϕ$-conjugacy (or Reidemeister) classes of an endomorphism $ϕ$ of a group $G$. We prove for several classes of groups (including polycyclic) that the number $R(ϕ)$ is equal to the number of fixed points of the induced map of an appropriate subspace of the unitary dual space $\widehat G$, when $R(ϕ)<\infty$. Applying the result to iterations of $ϕ$ we obtain Gauss congruences for Reidemeister numbers. In contrast with the case of automorphisms, studied previously, we have a plenty of examples having the above finiteness condition, even among groups with $R_\infty$ pr…
The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $Γ$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension $\mathrm{vcd}(Γ)$ of $Γ$ equals $\underline{\mathrm{gd}}(Γ)$ but such that the outer automorphism group $\mathrm{Out}(G)$ is virtually torsion-free, admits a cocompact model for $\underline E\mathrm{…
Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$
We prove that the group STame($k^3$) of special tame automorphisms of the affine 3-space is not simple, over any base field of characteristic zero. Our proof is based on the study of the geometry of a 2-dimensional simply-connected simplicial complex C on which the tame automorphism group acts naturally. We prove that C is contractible and Gromov-hyperbolic, and we prove that Tame($k^3$) is acylindrically hyperbolic by finding explicit loxodromic weakly proper discontinuous elements.
We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of mapping tori of discrete or continuous one-parameter groups of compacting automorphisms. We moreover give a description of all Gromov-hyperbolic locally compact groups with a cocompact amenable subgroup: modulo a compact normal subgroup, these turn out to be either rank one simple Lie groups, or automorphism groups of semi-regular trees acting doubly transitively on the set of ends. As an application, we show that the class of hyperbolic loca…
Given a group $G$ and an automorphism $φ$ of $G$, two elements $x, y \in G$ are said to be $φ$-conjugate if $x = g y φ(g)^{-1}$ for some $g \in G$. The number of equivalence classes is the Reidemeister number $R(φ)$ of $φ$, and if $R(φ) = \infty$ for all automorphisms of $G$, then $G$ is said to have the $R_\infty$-property. A finite simple graph $Γ$ gives rise to the right-angled Artin group $A_Γ$, which has as generators the vertices of $Γ$ and as relations $vw = wv$ if and only if $v$ and $w$ are joined by an edge in $Γ$. We conjecture that all non-abelian right-angled Artin groups have the…
In this article we study the space of left- and bi-invariant orderings on a torsion-free nilpotent group $G$. We will show that generally the set of such orderings is equipped with a faithful action of the automorphism group of $G$. We prove a result which allows us to establish the same conclusion when $G$ is assumed to be merely residually torsion-free nilpotent. In particular, we obtain faithful actions of mapping class groups of surfaces. We will draw connections between the structure of orderings on residually torsion-free nilpotent, hyperbolic groups and their Gromov boundaries, and we s…
Hierarchically hyperbolic spaces provide a common framework for studying mapping class groups of finite type surfaces, Teichmüller space, right-angled Artin groups, and many other cubical groups. Given such a space $\mathcal X$, we build a bordificationcompatible with the hierarchically hyperbolic structure. If $\mathcal X$ is proper, we get a compactification of $\mathcal X$; we also prove that our construction generalizes the Gromov boundary of a hyperbolic space. In our first main set of applications, we introduce a notion of geometrical finiteness for hierarchically hyperbolic subgroups of…
Suppose, $G$ is a residually finite group of finite upper rank admitting an automorphism $φ$ with finite Reidemeister number $R(φ)$ (the number of $φ$-twisted conjugacy classes). We prove that such $G$ is soluble-by-finite (in other words, any residually finite group of finite upper rank, which is not soluble-by-finite, has the $R_\infty$ property). This reduction is the first step in the proof of the second main theorem of the paper: suppose, $G$ is a residually finite group of finite Prüfer rank and $φ$ is its automorphism with $R(φ)<\infty$; then $R(φ)$ is equal to the number of equivalence…
Let $S$ be a compact Riemann surface and $G$ a group of conformal automorphisms of $S$ with $S_0 = S/G$. $S$ is a finite regular branched cover of $S_0$. If $U$ denotes the unit disc, let $Γ$ and $Γ_0$ be the Fuchsian groups with $S = U/Γ$ and $S_0 = U/{Γ_0}$. There is a group homomorphism of $Γ_0$ onto $G$ with kernel $Γ$ and this is termed a surface kernel map. Two surface kernel maps are equivalent if they differ by an automorphism of $Γ_0$. In his 1971 paper Harvey showed that when $G$ is a cyclic group, there is a unique simplest representative for this equivalence class. His result has p…
Given a countable group $G$ splitting as a free product $G=G_1\ast\dots\ast G_k\ast F_N$, we establish classification results for subgroups of the group $Out(G,\mathcal{F})$ of all outer automorphisms of $G$ that preserve the conjugacy classes of each $G_i$. We show that every finitely generated subgroup $H\subseteq Out(G,\mathcal{F})$ either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on $H$ can be dropped for $G=F_N$, or more generally when $G$ …
For a wide class of groups including polycyclic and finitely generated polynomial growth groups it is proved that the Reidemeister number of an automorphism f is equal to the number of finite-dimensional fixed points of the induced map f^ on the unitary dual, if one of these numbers is finite. This theorem is a natural generalization of the classical Burnside-Frobenius theorem to infinite groups. This theorem also has important consequences in topological dynamics and in some sense is a reply to a remark of J.-P. Serre. The main technical results proved in the paper yield a tool for a further …
We study the loxodromic elements for the action of $Out(F_n)$ on the free splitting complex of the rank $n$ free group $F_n$. We prove that each outer automorphism is either loxodromic, or has bounded orbits without any periodic point, or has a periodic point; and we prove that all three possibilities can occur. We also prove that two loxodromic elements are either co-axial or independent, meaning that their attracting/repelling fixed point pairs on the Gromov boundary of the free splitting complex are either equal or disjoint as sets. Each of the alternatives in these results is also characte…
Let $ϕ:G\to G$ be an automorphism of an infinite group $G$. One has an equivalence relation $\sim_ϕ$ on $G$ defined as $x\sim_ϕy$ if there exists a $z\in G$ such that $y=zxϕ(z^{-1})$. The equivalence classes are called $ϕ$-twisted conjugacy classes and the set $G/\!\!\sim_ϕ$ of equivalence classes is denoted $\mathcal R(ϕ)$. The cardinality $R(ϕ)$ of $\mathcal R(ϕ)$ is called the Reidemeister number of $ϕ$. We write $R(ϕ)=\infty$ when $\mathcal R(ϕ)$ is infinite. We say that $G$ has the $R_\infty$-{\it property} if $R(ϕ)=\infty$ for every automorphism $ϕ$ of $G$. We show that the groups $G=GL_…
Let $ϕ$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_ϕ = F_n \rtimes_ϕ \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_ϕ$. To do so, we define the directional Whitehead graph and prove that an indecomposable $F_n$-tree is Levitt type if and only if one of its directional Whitehead graphs contains more than one edge. As an application, we obtain a direct proof of Kapovich-Kleiner's theorem that $\partial G_ϕ$ is homeomorphic to the Menger curve if the auto…
Let $G$ be a group. A function $l:G\rightarrow \lbrack 0,\infty )$ is called a length function if (1) $l(g^{n})=|n|l(g)$ for any $g\in G$ and $n\in \mathbb{Z};$ (2) $l(hgh^{-1})=l(g)$ for any $h,g\in G;$ and (3) $l(ab)\leq l(a)+l(b)$ for commuting elements $a,b.$ Such length functions exist in many branches of mathematics, mainly as stable word lengths, stable norms, smooth measure-theoretic entropy, translation lengths on $\mathrm{CAT}(0)$ spaces and Gromov $δ$% -hyperbolic spaces, stable norms of quasi-cocycles, rotation numbers of circle homeomorphisms, dynamical degrees of birational maps …
With any self-similar action of a finitely generated group $G$ of automorphisms of a regular rooted tree $T$ can be naturally associated an infinite sequence of finite graphs $\{Γ_n\}_{n\geq 1}$, where $Γ_n$ is the Schreier graph of the action of $G$ on the $n$-th level of $T$. Moreover, the action of $G$ on $\partial T$ gives rise to orbital Schreier graphs $Γ_ξ$, $ξ\in \partial T$. Denoting by $ξ_n$ the prefix of length $n$ of the infinite ray $ξ$, the rooted graph $(Γ_ξ,ξ)$ is then the limit of the sequence of finite rooted graphs $\{(Γ_n,ξ_n)\}_{n\geq 1}$ in the sense of pointed Gromov-Hau…