Thompson-like groups, Reidemeister numbers, and fixed points

We investigate fixed-point properties of automorphisms of groups similar to R. Thompson's group $F$. Revisiting work of Gon\c{c}alves-Kochloukova, we deduce a cohomological criterion to detect infinite fixed-point sets in the abelianization, implying the so-called property $R_\infty$. Using the BNS $\Sigma$-invariant and drawing from works of Gon\c{c}alves-Sankaran-Strebel and Zaremsky, we show that our tool applies to many $F$-like groups, including Stein's $F_{2,3}$, Cleary's $F_\tau$, the Lodha-Moore groups, and the braided version of $F$.


Introduction
Many groups admit automorphism groups with a rich structure.Though in general, fully describing automorphism groups can be challenging.Given a group Γ with unknown Aut(Γ), one might draw inspiration from dynamics and ask for qualitative information on arbitrary elements ϕ ∈ Aut(Γ).For instance, one may ask whether ϕ is periodic (i.e., of finite order), how the subgroup of fixed points Fix(ϕ) looks like, whether ϕ stabilizes interesting subsets of Γ besides characteristic subgroups, or if the whole group Aut(Γ) acts on an interesting object.
In this work we address questions concerning fixed-point properties and stabilized subsets of automorphisms of groups in a family F of Thompson-like groups.That is, we look at relatives of R. Thompson's group F , which is a group of dyadic rearrangements of the unit interval [18].The groups we look at are not residually finite, are typically finitely presented, and include nonamenable examples.Throughout we let F denote the family consisting of the following: (1) the F -like groups G(I; A, P ) of Bieri-Strebel [7,32]; (2) the braided variant F br of Thompson's group F of Brady-Burillo-Cleary-Stein [10]; and (3) the Lodha-Moore groups G, y G, G y , y G y introduced in [39]; The first author was supported by the long term structural funding Methusalem Grant of the Flemish Government, Belgium.The third author was partially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), 314838170, GRK 2297 MathCoRe.
cf. Section 3 for precise definitions of the groups above.We remark that Thompson's F , Stein's F 2,3 and Cleary's irrational-slope group F τ all belong to F; see Section 3.3.Our main result is the following.
Theorem 1.1.Let Γ be a group in the family F as above and let ϕ ∈ Aut(Γ) be arbitrary.Then ϕ stabilizes (set-wise) infinitely many cosets of the commutator subgroup [Γ, Γ].Equivalently, the fixed-point set of the induced map ϕ ab on the abelianization Γ ab is infinite.
This phenomenon -that is, all automorphisms having infinitely many fixed points in the abelianization -has been observed for other interesting families.For instance, many soluble arithmetic groups exhibit this property; see, e.g., [38,41].In contrast, other groups occurring naturally -such as free or free nilpotent groups -do not satisfy this; cf.Section 2 for a discussion.
A consequence of Theorem 1.1 is the following implication about Reidemeister numbers, which give the number of orbits of the twisted conjugation action of group automorphisms; we refer to Section 2 for definitions.
Corollary 1.2.All groups in the family F have property R ∞ , that is, the Reidemeister number of any of their automorphisms is infinite.
The result above is proved as Corollary 5.8 in Section 5.2.For Thompson's group F , property R ∞ was known by work of Bleak-Fel'shtyn-Gonçalves [9].
For the F -like Bieri-Strebel groups it was established by Gonçalves-Kochloukova and Gonçalves-Sankaran-Strebel [29,32], though it was not explicitly stated for Stein's F 2,3 nor Cleary's F τ .To the best of our knowledge we record here the first proof that F br and the Lodha-Moore groups have property R ∞ .Despite this, we remark that this fact is found implicitly in the literature as it can also be deduced by combining the works of Zaremsky [50,51] and Gonçalves-Kochloukova [29]; see the alternative proof of Corollary 5.8 for such groups in Section 5.1.Paraphrasing Zaremsky [50], our results provide a further point of similarity between the Lodha-Moore groups and Thompson's F -though by the time of writing it is still unknown whether F is nonamenable.
Our main technical result, however, is Theorem 5.1 in Section 5. Roughly speaking, it is a cohomological fixed-point criterion to check for property R ∞ .This theorem is a generalization of the (implicit) core idea behind the main results of [29].Instead of stating it here in full generality, we record a special case below which might be of independent interest; cf.Theorem 5.4 for the general version.
Theorem 1.3.If a finitely generated group Γ does not have property R ∞ , then the canonical action of Aut(Γ) on the first integral cohomology H 1 (Γ) does not admit nonzero global fixed points.
The previous result is motivated by, and further highlights, connections between Reidemeister numbers and fixed-point results in algebra, geometry and topology; see Section 2 for examples and references.Other representation-theoretic properties concerning the existence of fixed points (or lack thereof) include Kazhdan's property (T), the Haagerup property, and Serre's property FA; cf.[3,48].It is unknown to us whether there is a connection between property R ∞ for a group Γ and its automorphism group Aut(Γ) having (or not) property (T).
Regarding the proofs, Theorem 1.1 is shown by combining Theorem 5.1 with well-known results about characters and the Bieri-Neumann-Strebel Σ-invariant [6].For groups in F, the Σ-invariants were studied by Gonçalves-Sankaran-Strebel [32] and Zaremsky [50,51].The general version of Theorem 1.3 is stated in Section 5 and follows easily from Theorem 5.1 and standard facts about cohomology.
The organization of these notes is as follows.Section 2 is an exposition where we recall known discoveries about Reidemeister numbers and fixed-point results, posing motivating questions, considering examples, and discussing the state of knowledge.(Section 2 is thus independent of the material on Thompson-like groups, and our questions might be of general interest.)In Section 3 we give a brief introduction to the Thompson-like groups we consider.We then recall statements about their BNS Σ-invariant in Section 4. Our main results are proved in Section 5. Motivated by fixed-point phenomena studied here and in the literature, we raise multiple related questions throughout the text.

Background -Reidemeister numbers and fixed points
Properties relating group actions to the topological study of fixed points have been of paramount importance in multiple areas [3,31,48].Among those is property R ∞ , which combines automorphisms and conjugation.Given ϕ ∈ Aut(Γ), its Reidemeister number R(ϕ) is the number of orbits of the ϕ-twisted conjugation action Γ × Γ → Γ, (g, a) → gaϕ(g) −1 .One then says that Γ has property Interest in Reidemeister numbers goes back to the 1930s, and checking whether a group has R ∞ sheds some light on its automorphism group and on related fixed-point theorems.This is illustrated by results, e.g., for algebraic and Lie groups [46,Theorem 10.1], in algebraic topology [31,Theorem 6.1], and on dynamics of Gromov hyperbolic groups [37, Theorem 0.1].For instance, suppose f : X → X is a self-map of a compact connected simplicial complex such that the induced map f * on π 1 (X) is an automorphism.Then the Reidemeister trace of f takes values in a Z-module whose rank is precisely R(f * ); see [5,27] for more on the Reidemeister trace and its connection to Bass' conjecture.In case X is, additionally, a nilmanifold and f is a self-homeomorphism, results of Lefschetz, Thurston and others imply that f has no fixed points (up to homotopy) if and only if R(f * ) = ∞; cf.[31].
From the group-theoretic perspective, the literature shows connections between the Reidemeister number R(ϕ) and fixed point sets (or stabilized subsets) of the given automorphism ϕ, as we now elucidate.
Example 2.1 (Folklore).Given ϕ ∈ Aut(Γ), consider the map from Γ onto the ϕ-twisted conjugacy class of the identity 1 ∈ Γ.Now look at the subgroup of fixed points Fix(ϕ) = {g ∈ Γ | ϕ(g) = g}, sometimes also denoted by C Γ (ϕ) and called the centralizer of ϕ in Γ.One has that F ϕ is injective if and only if Fix(ϕ Example 2.1 also occurs for some linear algebraic groups as long as ϕ is an algebraic automorphism; see, for instance, [38,46]. The case of abelian groups also has the following useful observation, which has been frequently used in the literature.We stress that E. Jabara [34] generalized one of the above implications: replacing 'abelian' by 'residually finite' it holds | Fix(ϕ)| = ∞ =⇒ R(ϕ) = ∞; see [43,Proposition 3.7] for a proof of Jabara's lemma.(Recall that Γ is residually finite if the intersection of all its normal subgroups of finite index is trivial.) In case one is set to check whether R(ϕ) = ∞, the following wellknown observation is particularly useful.Lemma 2.3 ([24, Corollary 2.5]).Let ϕ ∈ Aut(Γ) and suppose N Γ is ϕ-invariant.Then ϕ induces an automorphism ϕ ∈ Aut(Γ/N ) given by gN → ϕ(g)N and moreover R(ϕ) ≥ R(ϕ).
Since the commutator subgroup is characteristic, one always obtains from ϕ ∈ Aut(Γ) an induced automorphism on the abelianization Γ ab = Γ/[Γ, Γ], which we henceforth denote by ϕ ab .Now, given an automorphism ϕ which is known to have infinite Reidemeister number, one might ask whether its fixed-point set Fix(ϕ) is also infinite.This is not the case, not even assuming residual finiteness as in Jabara's lemma.In a remarkable paper, Cohen and Lustig, building upon work of Goldstein-Turner, analysed the dynamics of automorphisms of free groups by looking at their action on a graph which precisely describes the twisted conjugacy classes in free groups.
Example 2.5.Take Γ = SL 2 (Z).Straightforward computations show that the inner automorphism But the class number R(id) -i.e., the total number of conjugacy classes -of SL 2 (Z) is infinite; see, e.g., [19] for a number-theoretic proof.Thus R(ι Remark 2.6.The groups F n and SL 2 (Z) actually have property R ∞ .This follows, e.g., from the fact that nonelementary Gromov hyperbolic groups do so; c.f. [37].(Recall that SL 2 (Z) is virtually free (on two generators), thus quasi-isometric to a finitely generated nonabelian free group, which in turn is Gromov hyperbolic.) In particular, Examples 2.4 and 2.5 show that a converse to Jabara's lemma, mentioned above, cannot hold.Since fixed-point sets and Reidemeister numbers have a deeper connection in the abelian case, one might wonder whether a partial converse to Jabara's lemma holds for amenable groups.Once again it all fails, as the next result will show.Proposition 2.7.There exists a finitely generated, residually finite, amenable group GW with property R ∞ and an automorphism ϕ ∈ Aut(GW) with the following properties.
Proof.Given a natural number b, let B denote the matrix The group GW is defined as the extension . That is, writing the elements of Z 2 as (integral) column vectors in R 2 , the product in GW is given by . By construction, the kernel of ϕ is trivial and any (( x y ) , z) ∈ Z 2 B Z lies in the image of ϕ, whence ϕ ∈ Aut(GW).
The fact that ϕ is not an inner automorphism is immediate since conjugating (( x y ) , z) by any element of GW fixes the coordinate z.Also, Fix(ϕ) is trivial by the very definition of GW and ϕ.
Let us now check that Fix(ϕ ab ) is finite.To see this, we observe that GW admits the following presentation.
In the above, we identify the normal subgroup Z 2 with e 1 , e 2 , and the quotient Z is generated by t.Forcing the generators to commute, (the image of) e 1 becomes an involution with a vanishing power.More precisely, Moreover, the map induced by ϕ on the abelian group GW ab simply inverts the powers of its generators.Thus ϕ ab fixes 1 and e 1 , in case b is even, and only the identity element otherwise.
Since GW is an extension of Z 2 by Z, it is (elementary) amenable, finitely generated, and residually finite.In fact, one can recognize GW geometrically as a 3-dimensional crystallographic group by a result of Zassenhaus' (see [22,Theorem 2.1.4])since t 2 acts trivially on e 1 and e 2 by conjugation, which implies that e 1 , e 2 , z 2 is a maximal abelian subgroup isomorphic to Z 3 and of index 2.That GW has property R ∞ follows from the fact that it admits the infinite dihedral group as a characteristic quotient; cf.[25, Proposition 4.9] for a proof.The proposition follows.
Remark 2.8.Our construction draws from the ideas of Gonçalves-Wong in [30], where they give examples of polycyclic groups of exponential growth that do not have property R ∞ .Our examples differ from theirs in that they consider extensions ) and having eigenvalues of absolute value different from 1.This allows them to obtain groups without R ∞ and of exponential growth, whereas our extension GW = Z 2 B Z is actually virtually abelian and thus of polynomial growth; see [49].
Remark 2.9.In an earlier version of the present paper, the authors mistakenly claimed to obtain an infinite family of groups with the properties prescribed in Proposition 2.7.(And with the stronger requirement that | Fix(ϕ)| = | Fix(ϕ ab )| = 1.)Although the group GW depends on a parameter b ∈ N, the classification of crystallographic groups (see [22,Chapter 2]) implies that there are only finitely many such groups up to isomorphism.(Notice that choosing b even or odd yields nonisomorphic groups.) Constructing groups as in Proposition 2.7 that have non-inner automorphisms with few fixed points -both in the given group and in its abelianization -seems a nontrivial matter.Indeed, many soluble groups were shown to have R ∞ by finding infinitely many fixed points in their abelianizations or in characteristic subgroups (cf.[25,31,38]).Other candidates of amenable groups with the properties listed in Proposition 2.7 would be certain branch groups [2], such as the groups of Gupta-Sidki [26,33].In fortunate cases, a result of Lavreniuk-Nekrashevych shows that the automorphisms of such groups are induced by conjugation by an automorphism of the corresponding regular rooted tree [36].However, it seems often the case that the centralizers of automorphisms of the given trees are infinite.
It is thus unclear to us whether there exist, up to isomorphism, infinitely many finitely generated, residually finite, amenable groups with property R ∞ and admitting non-inner automorphisms with a single fixed point in the given group and in its abelianization.
All of the previous examples happened in the residually finite (in fact, linear) world.These considerations motivated our present work, namely with the following problems in mind.
Question 2.10.Do there exist (finitely generated) non-residually finite groups with property R ∞ such that every outer automorphism Φ is represented by an element ϕ ∈ Φ with infinitely many fixed points?
In view of formulae and bounds relating Reidemeister numbers of a given automorphism to Reidemeister numbers and fixed points of the induced map on a characteristic quotient, one lands on the following version of the previous question.
Problem 2.11.Give examples of (finitely generated) non-residually finite groups Γ with a characteristic quotient Γ/N all of whose automorphisms ϕ induced by ϕ ∈ Aut(Γ) fix infinitely many points.Problem 2.11 has a sibling in the literature.Dekimpe and Gonçalves initiated the study of groups admitting characteristic quotients all of whose induced automorphisms ϕ have R(ϕ) = ∞; see [23].
Though we are unable to settle Question 2.10, it turns out that a group of R. Thompson partially solves it while also solving Problem 2.11.
Recall that Thompson's F is the group of piecewise-linear (orientation-preserving) self-homeomorphisms of the unit interval [0, 1] whose elements f ∈ F have: finitely many singularities; slopes in the multiplicative subgroup 2 ≤ (R × , •); and the singularities lie in Z[ 1  2 ], the ring of dyadic rationals.(We remind the reader that F is finitely presented and 'not far' from being simple as [F, F ] is simple and F ab ∼ = Z 2 [18].)In the following we record a slight refinement of the fact that Thompson's group F has property R ∞ , which was first proved by Bleak-Fel'shtyn-Gonçalves [9].Proposition 2.12.Thompson's group F satisfies | Fix(ψ ab )| = ∞ for any ψ ∈ Aut(F ) and thus has property R ∞ .Moreover, there exist infinitely many outer automorphisms of F of finite order, and every Proof.In a seminal paper, Brin [11] completely determined Aut(F ).Building upon this, Bleak-Fel'shtyn-Gonçalves observed that any element of Aut(F ) induces a matrix A ∈ GL 2 (Z) ∼ = Aut(F ab ) having 1 as an eigenvalue; cf. the proof of [9,Theorem 3.3].Thus | Fix(ψ ab )| = ∞ for any ψ ∈ Aut(F ) and, by Lemmas 2.2 and 2.3, F has property R ∞ .
Again from Brin's work (see [11, Theorem 1]), there is a subgroup of index two Aut + (F ) Aut(F ) that fits into a short exact sequence F → Aut + (F ) T × T , where T is Thompson's simple group T [18].This sequence, in turn, implies that Out(F ) contains a subgroup (of finite index) that contains copies of T , which is known to contain infinitely many torsion elements [28].
Finally, any element ϕ ∈ Aut(F ) of finite order satisfies | Fix(ϕ)| = ∞.This is because Fix(ϕ) contains a copy of F or is not even finitely generated -for a short proof of this fact we refer the reader to (the proof of) [35,Corollary 5.2].
We will see that many groups similar to F also solve Problem 2.11, and discuss how Proposition 2.12 extends to some of them; see Section 5.

Thompson-like Groups
Thompson groups are those generalizing or resembling Richard Thompson's original trio F ⊂ T ⊂ V ; see [18].Groups in this family are typically finitely presented and not far from being simple, and are prominent for exhibiting peculiar properties [14,18].
Motivated by the case of F seen in Section 2, here we are interested in the Lodha-Moore groups (cf.Section 3.1), the braided Thompson group F br (cf.Section 3.2) and the Bieri-Strebel groups G(I; A, P ) (cf.Section 3.3), which are in a sense 'F -like groups'.The Lodha-Moore groups were the first finitely presented torsion-free counterexamples to the von Neumann conjecture [39], while F br serves as an 'Artinian version' of F [10], and the F -like Bieri-Strebel groups are natural generalizations of F as piecewise-linear homeomorphisms of intervals [7].
In this note we use the usual 'left-hand notation' for maps.
3.1.The Lodha-Moore Groups.We consider self-transformations of the Cantor set 2 N , whose points are infinite binary sequences ξ = a 0 a 1 a 2 • • • with each digit a i ∈ {0, 1}.Define the following two functions of 2 N .
If s is the empty sequence ø, we set x s = x and y s = y.Considering N 0 := {0} ∪ N, the Lodha-Moore groups are the following subgroups of bijections 2 N → 2 N : Here, 0 n and 1 n denote constant binary sequences, where n ∈ N 0 .In particular, 0 0 and 1 0 also represent the empty sequence ø.
For our purposes, we shall need the following defining relators [39] for the larger group y G y ≥ y G, G y , G, indexed by sequences s, t nor is t a prefix of s, then y s y t = y t y s ; (LM5) y s = y s11 y −1 s10 y s0 x s .In the sentence "x s (t) is well-defined" we mean that the finite sequence t has s as its prefix and that x s can act on t as it does on an infinite binary sequence ξ = sη.In order to restrict such relations to the other Lodha-Moore groups, one simply restricts which subscripts are used for the y t -generators.It is as instructive as helpful to check that the four Lodha-Moore groups are in fact finitely generated [39,50].

3.2.
The braided version of F .Throughout, by a tree we mean a finite rooted binary tree.That is, a tree whose vertices have valency 3 except for the root and the leaves, which have valency 2 and 1, respectively.The trivial tree is made of a single node.We fix a numbering on the n leaves of a tree by labeling them from 1 to n from left to right.If v is not a leaf vertex, it is connected to two vertices u and w that are farther away from the root than v.Such a vertex v together with the two edges and their vertices u, w form a caret.
A braided paired tree diagram is a triple (T − , b, T + ) consisting of trees T − and T + both with n ∈ N leaves and an element b of the braid group on n strings B n .Following [10], we represent such triples as split-braid-merge diagrams: we draw T − with its root on the top and the n leaves at the bottom and T + with its root at the bottom and its n leaves at the top, aligned with the leaves of T + so that the braid element b ∈ B n can be represented between them; see Figure 1.In accordance with braid diagrams, we regard isotopic diagrams to be equal.
Given a leaf − of T − , let + denote the unique leaf of T + connected to − by a strand s of b.An expansion of (T − , b, T + ) is given as follows: one adds a caret to the leaf − and another one to + , then one bifurcates the strand s into two parallel strands; see Figure 1.A reduction is the reverse of an expansion.We refer the reader to [10]  for a more detailed explanation.Two braided paired tree diagrams are equivalent if one can be obtained from the other by performing finitely many reductions and expansions.We remark that every such diagram admits a unique reduced representative.
The set of equivalence classes of braided paired tree diagrams forms a group, denoted V br [10].Similarly to the strand diagrams of Belk-Matucci [4], multiplication in V br works as follows: given T = (T − , b, T + ) and R = (R − , b , R + ) ∈ V br , we obtain T • R by gluing the root of T + to the root of R − and then performing the reduction moves from Figure 2 until reaching a braided paired tree diagram; cf.[17, Section 1.1].For an example of multiplication see Figure 3.We stress that, due to Newman's Diamond Lemma (cf.[1]), the order of reductions does not matter since the corresponding abstract rewriting system is confluent.Recall that a braid b lies in the pure braid group P B n ≤ B n if its induced permutation on n elements is the identity.The braided Thompson group F br is the subgroup of V br whose elements (T − , b, T + ) only have pure braids b ∈ P B n in their diagrams.We now recall a finite generating set for F br .First notice that F can be regarded as the subgroup of F br of triples (T − , 1, T + ), where T − , T + are trees with n leaves and 1 is the identity element in P B n .Denote by x 0 , x 1 the usual generators of F ≤ F br .Now for each n ∈ N denote by R n the right vine with n leaves, i.e., the tree where no caret has a left child.Consider also the elements A n ij ∈ P B n , for i < j, which wrap the ith strand around the jth one.For 1 ≤ i < j, let By [10, Theorem 6.1], the group F br is generated by whose elements g ∈ G([0, ]; A, P ) map A to A and have • supp(g) ⊆ [0, ], where supp(g) = {r ∈ R | g(r) = r} is the support of g; • all its singularities belonging to A; • all its slopes lying in P .These groups were first studied by Bieri and Strebel [7] in the 1980s as natural generalizations of F .(We remark that, in the paper [32], the authors view PL • (R) as a group of increasing homeomorphisms.Our definitions of the F -like Bieri-Strebel groups are nevertheless equivalent, for 'increasing' and 'orientation-preserving' can be interchanged here.) Since any homeomorphism of a closed interval that fixes its endpoints can be extended to a homeomorphism of the whole real line, one readily detects that the groups G([0, ]; A, P ) include familiar examples.
We remark that it is still an open problem to classify all finitely generated F -like Bieri-Strebel groups; see [7].

Characters and Σ-invariants
Investigating properties of automorphisms of a group Γ usually requires deep knowledge on the full automorphism group Aut(Γ).This was illustrated in Section 2, and particularly for Thompson's group F in Proposition 2.12.However, it is sometimes possible to obtain qualitative information on Aut(Γ) bypassing an explicit computation of Aut(Γ).We shall take this route with help of (the complement of) the geometric invariant Σ 1 (Γ) of Bieri-Neumann-Strebel [6].
A character of a group Γ is a homomorphism χ : Γ → R, where R is the additive group of real numbers, and χ is discrete if Im(χ) ⊆ Z.
When Γ is finitely generated, its character sphere is defined as where the equivalence relation ∼ is given by The equivalence class of a character µ is denoted by [µ], and the invariant Σ 1 (Γ) ⊆ S(Γ) of the group Γ is then defined as where Cay(Γ) is the Cayley graph of Γ using some finite generating set of Γ.Here, Cay(Γ) µ 0 is the full subgraph of Cay(Γ) whose vertices are mapped to nonnegative real numbers by µ.In practice, it is often more convenient to work with the complement of Σ 1 , defined by we refer the reader to Strebel's notes [47] for more on Σ 1 and its complement.An important feature is that Σ 1 (Γ) and Σ 1 (Γ) c do not depend on the generating set for Γ (cf.[6]), which is why we omit this in the notation for the Cayley graph Cay(Γ).
4.1.Characters of Thompson-like groups.Though computing Σ 1 can be challenging in general, Zaremsky observed in [50] and [51] that certain characters of G, y G, G y , y G y and F br , closely related to two well-known characters of Thompson's F , are particularly important.
From now on, we adopt the following notation.
In [50], the following discrete characters of the Γ i are considered.
Turning to Γ 0 = F br , we recall the following two discrete characters from [51].Given a tree T , considered as a metric graph with edge lengths all equal to 1, denote by L(T ) the length of the shortest path from the root of T to its leftmost leaf.Similarly, denote by R(T ) the length of the shortest path from the root of T to its rightmost leaf.Define ϕ 0 , ϕ 1 : Γ 0 → Z by ϕ 0 (T − , p, T + ) = L(T + ) − L(T − ) and ϕ 1 (T − , p, T + ) = R(T + ) − R(T − ).
The Σ-invariant of the F -like Bieri-Strebel groups G([0, ]; A, P ) has been partially studied in the monograph [7], though we will not make use of them here.Instead, we shall need the following result due to Gonçalves-Sankaran-Strebel, which was also obtained by making heavy use of the Σ-invariant.

Main results and proofs
The main technical result of the present note is the following theorem.Since it has not appeared before in the literature (neither explicitly nor in the version stated below), we provide a detailed proof.It generalizes the core idea from [29] (see also [32]) -the main difference is that they do not lift back to the abelianization to construct stabilized cosets as we do here.
Theorem 5.1.Let G be a finitely generated group and let ϕ ∈ Aut(G).Suppose there is a nontrivial f ∈ Hom(G, A) with A abelian and f (G) containing an element of infinite order.Assume further that there exists a ϕ-invariant N G contained in ker(f ), and let f ∈ Hom(G/N, A), gN → f (g) be the maps from G/N induced by ϕ and f , respectively.In the above notation, if Proof.It suffices to show that R(ϕ ab ) = ∞ and Lemma 2.2 will assure that | Fix(ϕ ab )| = ∞.Our proof idea is to construct a ϕ ab -invariant subgroup M of G ab such that the induced automorphism ϕ ab on G ab /M satisfies R(ϕ ab ) = ∞.Then, Lemma 2.3 will assure that The hypothesis f •ϕ = f guarantees that ker(f ) is ϕ-invariant, which in turn assures that ϕ induces an automorphism For simplicity, write G = G/N ker(f ) and g = (gN ) ker(f ) ∈ G. Since f has abelian image, one has that G itself is a quotient of G ab via the natural projection We shall take ker(p) as the subgroup M ≤ G ab mentioned above.
First, we need to check that ker(p) is ϕ ab -invariant.This is equivalent to showing that any element x[G, G] ∈ ker(p) satisfies It is left to verify that R(ϕ ab ) = ∞, where ϕ ab is the automorphism induced by ϕ ab on the quotient G ab / ker(p).Notice that G ab / ker(p) is isomorphic to G and that ϕ ab and ϕ are the same automorphism.Thus, we need only prove that R(ϕ) = ∞, which is equivalent to showing that ϕ has infinitely many fixed points by Lemma 2.2.
Let g ∈ G be an element such that f (g) is of infinite order in A. Let us check that g has infinite order in G and ϕ(g) = g.We shall write A additively.
In fact, g n = 1 is equivalent to g n N ∈ ker(f ).This that The fact that f (g) has infinite order implies that n = 0. Finally, ϕ(g) = ϕ(gN ) ker(f ) can only coincide with g = (gN ) ker(f ) if ϕ(gN )g −1 N ∈ ker(f ).This is the case because Remark 5.2.The conclusion of Theorem 5.1 is equivalent to the following statement: there exists g ∈ G such that then because G ab is finitely generated abelian, there must exist an element g[G, G] ∈ G ab of infinite order fixed by ϕ ab .Thus As we have seen in Proposition 2.12, automorphisms of Thompson's group F fix infinitely many points in the abelianization.Putting (the conclusion of) Theorem 5.1 further into perspective, consider the following.
Example 5.3.There exist infinitely many Dedekind domains of Sarithmetic type O S for which the metabelian groups ) are finitely presented and such that all their automorphisms ϕ have Fix(ϕ ab ) infinite; cf.[38].
In fact, besides the above example and the family F to be discussed in Section 5.2, there are uncountably many finitely generated groups to which Theorem 5.1 applies; cf.Remark 5.7.

Applications.
As mentioned in Section 2, the study of Reidemeister numbers has its roots in fixed-point theory in different areas.Our technical Theorem 5.1 has the following interpretation as a fixedpoint result in group cohomology.
By a trivial G-module M we mean a Z[G]-module such that the elements of G act as the identity on M .A global fixed point in a group action H X is an element x ∈ X such that h(x) = x for all h ∈ H.
Theorem 5.4.Let G be finitely generated.Suppose there exists a torsion-free trivial G-module M and a nonzero global fixed point Proof.First, a clarification.When computing cohomology with coefficients H * (G, M ) using the standard cochain complex C * (G, M ), then precomposing a cochain with an element ϕ ∈ Aut(G) again yields a cochain; see, for instance, [13,Chapter III].While this a priori yields no action of Aut(G) on cohomology (due to contravariance), inverting the automorphisms and then precomposing suffices -this is the canonical action alluded to in the statement.(The action will be made clearer in the sequel.) Now let M be a trivial G-module with no torsion.Since G acts trivially on M , the derivations d : G → M amount to (group) homomorphisms and the principal derivations are trivial.Thus, one obtains the (well-known) canonical isomorphism cf. [13, Chapter III].Under the above identification, the canonical action Aut(G) The existence of a nonzero global fixed point [c] ∈ H 1 (G, M ) Aut(G) means that there exists a corresponding nontrivial homomorphism f c : G → M fixed by every automorphism of G, that is, Since M is torsion-free and f c is nontrivial, the image of f c obviously contains an element of infinite order.We can thus apply Theorem 5.1 taking N = 1 G and A = M and f = f c , yielding | Fix(ϕ ab )| = ∞ for any ϕ ∈ Aut(G).By Lemmas 2.2 and 2.3, it follows that R(ϕ) = ∞ for all ϕ ∈ Aut(G), which finishes the proof.Theorem 1.3 is just a special case of the previous result.
Proof of Theorem 1.3.Take the contrapositive of Theorem 5.4 with M = Z as a trivial Γ-module.5.2.The case of Thompson-like groups.We now apply our machinery to the Thompson-like groups considered here, following the same line of arguments as Gonçalves-Kochloukova in [29, Section 3].Recall that F is the family consisting of the F -like Bieri-Strebel groups G([0, ]; A, P ), the Lodha-Moore groups G, y G, G y , y G y , and the braided Thompson group F br defined in Section 3.
To give a (mostly) self-contained, non-overly technical proof of Theorem 1.1, we need some further facts about characters for the Lodha-Moore groups and F br .
We keep the notation established in Section 4.Moreover, for n ∈ N, we define n = {1, . . ., n} and n 0 = {0} ∪ n .Recall from Theorem 4.1 that Σ 1 (Γ i ) c = P i .Now fix where i ∈ 4 0 .We shall describe Γ i /N i more precisely.In what follows, given g ∈ Γ i , denote by g its canonical image in Γ i /N i .
Proposition 5.5.The group Γ i /N i is isomorphic to Z 2 for all i ∈ 4 0 .
Proof.Throughout we let {e 1 , . . ., e k } denote the canonical basis for Z k .It is clear that the Γ i /N i are abelian and, since R is itself torsionfree, the same holds for Γ i /N i .
With elementary facts established, we can prove the main result from the Introduction.
Proof of Theorem 1.1.Let Γ ∈ F. If Γ is one of the F -like groups of Bieri-Strebel (cf.Section 3.3), we know from Theorem 4.2 that there exists a nontrivial homomorphism f : Γ → R such that f • ϕ = f for any ϕ ∈ Aut(Γ).We then just apply Theorem 5.1 with N = 1 and A = R. Now suppose Γ is one of the Lodha-Moore groups or F br and let ϕ ∈ Aut(Γ).By Theorem 4.1, one has that Σ 1 (Γ) c consists of two (classes of) discrete characters.By Corollary 5.6, there are representatives χ 1 and χ 2 of such classes so that their respective images χ 1 , χ 2 ∈ Hom(Γ/N, R) are linearly independent.Now set N = ker(χ 1 ∩ ker(χ 2 ).Since the natural action of ϕ on the character sphere S(Γ) stabilizes the whole invariant Σ 1 (Γ) c (see [47, p. 47]), one has that N is ϕ-invariant.We can thus consider the induced map ϕ ∈ Aut(Γ/N ).Following [29, Lemma 3.1] (up to replacing the representatives χ 1 and χ 2 to obtain appropriate integer coordinates for their respective images χ 1 and χ 2 ), we obtain (We remark that ker(χ 1 ) = ker(rχ 1 ) and ker(χ 2 ) = ker(rχ 2 ) for any r ∈ R \ {0}.)Defining , by linear independence of the χ 1 and χ 2 ) and that f (Γ) has elements of infinite order.Again using equality (5.3), it follows that the induced map f : Γ/N → R satisfies f • ϕ = f .Applying Theorem 5.1 to N , A = R and f chosen above thus finishes off the proof.
Although we have restricted ourselves to F -like Bieri-Strebel groups as defined in Section 3.3, it should be noted that there are many more Bieri-Strebel groups for which Theorem 5.1 applies, as the following shows.
Example 5.7 (Gonçalves-Sankaran-Strebel).Start with p ∈ R >1 and q = e a/b with a b ∈ Q >1 .Then, choose r ∈ T >1 ⊂ R, where T is a set of irrational representatives for the orbits of the action of the group a/b 0 0 1 • GL 2 (Z) • b/a 0 0 1 by fractional linear transformations on S 1 ∼ = R ∪ {∞}.Now consider the following PL homeomorphisms f p , g q , h r of the unit interval [0, 1].
) is finitely generated by construction, and varying the defining triple (p, q, r) yields uncountably many such groups.Finally, by [32, Theorem 1.7], there always exist a nontrivial homomorphism χ from G(p, q, r) to a torsion-free abelian group such that χ • ϕ = χ for any ϕ ∈ Aut(G(p, q, r)).As mentioned, Corollary 5.8 had already been established for 'most' groups in the family F, including F 2,3 and F τ ; see [29,32].While Corollary 5.8 for the Lodha-Moore groups and F br has not appeared elsewhere before, we point out that it also follows directly from the work of Zaremsky in [50,51] combined with [29,Theorem 3.2].Below we briefly outline the arguments.
Alternative proof of Corollary 5.8 for G, y G, G y , y G y , F br .Gonçalves-Kochloukova deduced a direct criterion to check for property R ∞ using the Σ-invariant; see [29,Theorem 3.2].To apply this result, the first step is to check that the complement of the BNS Σ-invariant for the group in question is finite, nonempty, and represented by discrete characters.This is the content of Zaremsky's Theorem 4.1.For the last step, keeping the notation from the beginning of this section, one needs to check that the image of the discrete representatives {χ | [χ] ∈ Σ 1 (Γ i ) c } in V i = Hom(Γ i /N i , R) is a basis for V i , as we did in Corollary 5.6.But this result is also implicitly found in the work of Zaremsky; cf.[50, Section 1.2] for the Lodha-Moore case and [51, Section 1.4] for the braided case.
It is interesting to note that the alternative arguments above to deduce R ∞ might fail for F -like Bieri-Strebel groups.Indeed, Spahn-Zaremsky [44] showed that Σ 1 (F 2,3 ) c contains nondiscrete characters, so that [29, Theorem 3.2] is not applicable.In contrast, Lewis Molyneux, Brita Nucinkis and the third author recently computed the BNSR Σinvariants of F τ -particularly, Σ 1 (F τ ) c is finite (nonempty), contains only discrete characters, and [29, Theorem 3.2] does apply.
As discussed at the end of Section 2, it would be interesting to find non-residually finite groups with R ∞ and infinite fixed point sets of automorphisms; cf.Question 2.10.Drawing from the work of Kochloukova, Martínez-Pérez and Nucinkis, we point out that many F -like Bieri-Strebel groups behave similarly to F in this regard, as in Proposition 2.12.We now recall that, for every n ∈ N and i ∈ Z[1/n], the generalized Thompson groups F n,∞ and F n,i from [12] are isomorphic by [12,Lemma 2.1.6]and [35,  For the last claim, the case n = 2 has been dealt with in Proposition 2.12 since F = G([0, 1]; Z[1/2], 2 ) = BS 2 .For n ≥ 3, Kochloukova-Martínez-Pérez-Nucinkis construct in [35,Section 10] infinitely many 'exotic' automorphisms of finite order, which implies the claim.
We close with related open questions.The automorphism groups of F ⊂ T ⊂ V and BS n are by now well studied [8,12].Moreover, the generalizations T n,r of T also have property R ∞ [15,42].We ask: Question 5.10.What are the automorphism groups of F br and of the Lodha-Moore groups?Do analogues of exotic automorphisms [12] exist for such groups?Does Thompson's group V have property R ∞ ?
We also remark that the proof by Burillo-Matucci-Ventura that F and T have property R ∞ employs combinatorial techniques and relates to decision problems [15].In particular, they solve the twisted conjugacy problem for F .Since there has been recent progress [14,40] on the study of conjugacy classes of Thompson groups closely related to F br , G, y G, G y and y G y , we are also led to the following.Question 5.11.Is the conjugacy (or twisted conjugacy) problem decidable for all the groups in F?

Figure 1 .
Figure 1.A diagram (left) and an expansion of it (right).
Lemma 2.1], and in turn the F n,0 are isomorphic to the F -like groups BS n of Bieri-Strebel; cf.[12, Lemma 2.3.1 and Definition 1.1.1].We may thus work with F n,∞ instead of BS n .Now suppose ϕ ∈ Aut(F n,∞ ) has finite order.If the fixed subgroup Fix(ϕ) is infinitely generated, we are done.Otherwise, it follows from [35, Lemmas 4.2 and 5.1] that there is an element f ∈ Fix(ϕ) fixing a point i / ∈ Z[1/n] ⊂ R with slope not equal to 1 at i.By [35, Theorem 4.14], this condition implies that Fix(ϕ) is isomorphic to the group F n,[i,∞] , which in turn contains (multiple copies of) F n,∞ itself by [35, Proposition 4.4].Thus, again one has | Fix(ϕ)| = ∞.
Now Corollary 1.2 from the Introduction is easily deduced.For convenience, we restate it below.Corollary 5.8.Any Γ ∈ F has property R ∞ .In particular, Stein's group F 2,3 , Cleary's irrational-slope group F τ , the Lodha-Moore groups G, y G, G y , y G y , and the braided Thompson group F br have R ∞ .Proof.Immediate from Theorem 1.1 and Lemmas 2.2 and 2.3.