Abstract
We investigate fixed-point properties of automorphisms of groups similar to Richard Thompson’s group \(F\). Revisiting work of Gonçalves and Kochloukova, we deduce a cohomological criterion to detect infinite fixed-point sets in the abelianization, implying the so-called property \(R_\infty \). Using the Bieri–Neumann–Strebel \(\varSigma \)-invariant and drawing from works of Gonçalves–Sankaran–Strebel and Zaremsky, we show that our tool applies to many \(F\)-like groups, including Stein’s group \(F_{2,3}\), cleary’s irrational-slope group \(F_\tau \), the Lodha–Moore groups, and the braided version of \(F\).
Similar content being viewed by others
1 Introduction
Many groups admit automorphism groups with a rich structure. Though in general, fully describing automorphism groups can be challenging. Given a group \(\varGamma \) with unknown \({{\,\textrm{Aut}\,}}(\varGamma )\), one might draw inspiration from dynamics and ask for qualitative information on arbitrary elements \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\). For instance, one may ask whether \(\varphi \) is periodic (i.e., of finite order), how the subgroup of fixed points \({{\,\textrm{Fix}\,}}(\varphi )\) looks like, whether \(\varphi \) stabilizes interesting subsets of \(\varGamma \) besides characteristic subgroups, or if the whole group \({{\,\textrm{Aut}\,}}(\varGamma )\) 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 \({\mathcal {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 \({\mathcal {F}}\) denote the family consisting of the following:
- 1.
-
2.
the braided variant \(F_br \) of Thompson’s group F of Brady–Burillo–Cleary–Stein [10]; and
-
3.
the Lodha–Moore groups \(G, {}_yG, G_y, {}_yG_y\) introduced in [39];
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_\tau \) all belong to \({\mathcal {F}}\); see Sect. 3.3. Our main result is the following.
Theorem 1.1
Let \(\varGamma \) be a group in the family \({\mathcal {F}}\) as above and let \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\) be arbitrary. Then \(\varphi \) stabilizes (set-wise) infinitely many cosets of the commutator subgroup \([\varGamma ,\varGamma ]\). Equivalently, the fixed-point set of the induced map \({\varphi }^{\textrm{ab}}\) on the abelianization \({\varGamma }^{\textrm{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. Sect. 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 Sect. 2 for definitions.
Corollary 1.2
All groups in the family \({\mathcal {F}}\) have property \(R_\infty \), that is, the Reidemeister number of any of their automorphisms is infinite.
The result above is proved as Corollary 5.8 in Sect. 5.2. For Thompson’s group F, property \(R_\infty \) 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_\tau \). To the best of our knowledge we record here the first proof that \(F_br \) and the Lodha–Moore groups have property \(R_\infty \). 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 Sect. 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 Sect. 5. Roughly speaking, it is a cohomological fixed-point criterion to check for property \(R_\infty \). 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 \(\varGamma \) does not have property \(R_\infty \), then the canonical action of \({{\,\textrm{Aut}\,}}(\varGamma )\) on the first integral cohomology \(H^1(\varGamma )\) 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 Sect. 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. [2, 48]. It is unknown to us whether there is a connection between property \(R_\infty \) for a group \(\varGamma \) and its automorphism group \({{\,\textrm{Aut}\,}}(\varGamma )\) 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 \(\varSigma \)-invariant [6]. For groups in \(\mathcal {F}\), the \(\varSigma \)-invariants were studied by Gonçalves–Sankaran–Strebel [32] and Zaremsky [50, 51]. The general version of Theorem 1.3 is stated in Sect. 5 and follows easily from Theorem 5.1 and standard facts about cohomology.
The organization of this article 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. (Sect. 2 is thus independent of the material on Thompson-like groups, and our questions might be of general interest). In Sect. 3 we give a brief introduction to the Thompson-like groups we consider. We then recall statements about their BNS \(\varSigma \)-invariant in Sect. 4. Our main results are proved in Sect. 5. Motivated by fixed-point phenomena studied here and in the literature, we raise multiple related questions throughout the text.
2 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 [2, 31, 48]. Among those is property \(R_\infty \), which combines automorphisms and conjugation. Given \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\), its Reidemeister number \(R(\varphi )\) is the number of orbits of the \(\varphi \)-twisted conjugation action \(\varGamma \times \varGamma \rightarrow \varGamma \), \((g,a) \mapsto ga\varphi (g)^{-1}\). One then says that \(\varGamma \) has property \(R_\infty \) in case \(R(\varphi ) = \infty \) for every \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\).
Interest in Reidemeister numbers goes back to the 1930s, and checking whether a group has \(R_\infty \) 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 \rightarrow X\) is a self-map of a compact connected simplicial complex such that the induced map \(f_*\) on \(\pi _1(X)\) is an automorphism. Then the Reidemeister trace of f takes values in a \({\mathbb {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_*) = \infty \); cf. [27, 31].
From the group-theoretic perspective, the literature shows connections between the Reidemeister number \(R(\varphi )\) and fixed point sets (or stabilized subsets) of the given automorphism \(\varphi \), as we now elucidate.
Example 2.1
(Folklore) Given \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\), consider the map
from \(\varGamma \) onto the \(\varphi \)-twisted conjugacy class of the identity \(1 \in \varGamma \). Now look at the subgroup of fixed points \({{\,\textrm{Fix}\,}}(\varphi ) = \{ g \in \varGamma \mid \varphi (g) = g \}\), sometimes also denoted by \(C_\varGamma (\varphi )\) and called the centralizer of \(\varphi \) in \(\varGamma \). One has that \(F_\varphi \) is injective if and only if \({{\,\textrm{Fix}\,}}(\varphi ) = \{ 1 \}\). Hence, if \(\varGamma \) is a finite group, it holds \(R(\varphi ) = 1 \iff |{{\,\textrm{Fix}\,}}(\varphi )| = {1}\).
Example 2.1 also occurs for some linear algebraic groups as long as \(\varphi \) 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.
Lemma 2.2
[24, Corollary 4.3] Assume \(\varGamma \) is finitely generated abelian and let \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\). Then \(|{{\,\textrm{Fix}\,}}(\varphi )| = \infty \iff R(\varphi ) = \infty \).
We stress that Jabara [34] generalized one of the above implications: replacing ‘abelian’ by ‘residually finite’ it holds \(|{{\,\textrm{Fix}\,}}(\varphi )| = \infty \implies R(\varphi ) = \infty \); see [43, Proposition 3.7] for a proof of Jabara’s lemma. (Recall that \(\varGamma \) 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(\varphi ) = \infty \), the following well-known observation is particularly useful.
Lemma 2.3
[24, Corollary 2.5] Let \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\) and suppose \(N \trianglelefteq \varGamma \) is \(\varphi \)-invariant. Then \(\varphi \) induces an automorphism \(\overline{\varphi } \in {{\,\textrm{Aut}\,}}(\varGamma / N)\) given by \(gN \mapsto \varphi (g)N\) and moreover \(R(\varphi ) \ge R(\overline{\varphi })\).
Since the commutator subgroup is characteristic, one always obtains from \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\) an induced automorphism on the abelianization \({\varGamma }^{\textrm{ab}} = \varGamma /[\varGamma ,\varGamma ]\), which we henceforth denote by \({\varphi }^{\textrm{ab}}\).
Now, given an automorphism \(\varphi \) which is known to have infinite Reidemeister number, one might ask whether its fixed-point set \({{\,\textrm{Fix}\,}}(\varphi )\) 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.4
(Cohen–Lustig [21]) Let \(\varGamma = F_n\) be a finitely generated free group. Then one can construct automorphisms \(\varphi \in {{\,\textrm{Aut}\,}}(F_n)\) with the following properties:
-
1.
\([\varphi ] \in {{\,\textrm{Out}\,}}(F_n)\) is nontrivial,
-
2.
the automorphism \({\varphi }^{\textrm{ab}}\) induced on the abelianization \({F_n}^{\textrm{ab}}\cong {\mathbb {Z}}^n\) is the identity (thus \(R(\varphi )=\infty \) by Lemmas 2.2 and 2.3), but
-
3.
\(|{{\,\textrm{Fix}\,}}(\varphi )|=1\).
For an explicit example, take \(\varGamma = F_3 = \langle {x,y,z} \rangle \) and
It is straightforward to check that properties (1) and (2) hold, while property (3) follows from [21, Theorem 1].
We stress the importance of considering outer automorphisms. Firstly, composing with inner automorphisms does not alter the Reidemeister number: for any \(\iota \in \textrm{Inn}(\varGamma )\) and all \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\) it holds \(R(\iota \circ \varphi ) = R(\varphi )\); see [24, Corollary 2.3]. Secondly, inner automorphisms might well have few fixed points.
Example 2.5
Take \(\varGamma = {{\,\textrm{SL}\,}}_2({\mathbb {Z}})\). Straightforward computations show that the inner automorphism
satisfies
But the class number \(R({{\,\textrm{id}\,}})\)—i.e., the total number of conjugacy classes—of \({{\,\textrm{SL}\,}}_2({\mathbb {Z}})\) is infinite; see, e.g., [19] for a number-theoretic proof. Thus \(R(\iota ) = R(\iota \circ {{\,\textrm{id}\,}}) = R({{\,\textrm{id}\,}}) = \infty \).
Remark 2.6
The groups \(F_n\) and \({{\,\textrm{SL}\,}}_2({\mathbb {Z}})\) actually have property \(R_\infty \). This follows, e.g., from the fact that nonelementary Gromov hyperbolic groups do so; c.f. [37]. (Recall that \({{\,\textrm{SL}\,}}_2({\mathbb {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 \(\texttt{GW}\) with property \(R_\infty \) and an automorphism \(\varphi \in {{\,\textrm{Aut}\,}}(\texttt{GW})\) with the following properties.
-
1.
\([\varphi ] \in {{\,\textrm{Out}\,}}(\texttt{GW})\) is nontrivial, and
-
2.
both \({{\,\textrm{Fix}\,}}(\varphi )\) and \({{\,\textrm{Fix}\,}}(\varphi ^{\textrm{ab}})\) are finite.
Proof
Given a natural number b, let B denote the matrix
The group \(\texttt{GW}\) is defined as the extension
where \({\mathbb {Z}}\) acts on \({\mathbb {Z}}^2\) via \(B \in {{\,\textrm{GL}\,}}_2({\mathbb {Z}}) \cong {{\,\textrm{Aut}\,}}({\mathbb {Z}}^2)\). That is, writing the elements of \({\mathbb {Z}}^2\) as (integral) column vectors in \({\mathbb {R}}^2\), the product in \(\texttt{GW}\) is given by
Now define \(\varphi : \texttt{GW} \rightarrow \texttt{GW}\) by setting
As \(B^2 = {{\,\textrm{id}\,}}\) and hence \(B^{-z} = B^z\) for any \(z \in {\mathbb {Z}}\), it follows that \(\varphi \) is a homomorphism since
By construction, the kernel of \(\varphi \) is trivial and any \(\left( \left( {\begin{matrix} x \\ y \end{matrix}}\right) , z \right) \in {\mathbb {Z}}^2 \rtimes _B {\mathbb {Z}}\) lies in the image of \(\varphi \), whence \(\varphi \in {{\,\textrm{Aut}\,}}(\texttt{GW})\).
The fact that \(\varphi \) is not an inner automorphism is immediate since conjugating \(\left( \left( {\begin{matrix} x \\ y \end{matrix}}\right) , z \right) \) by any element of \(\texttt{GW}\) fixes the coordinate z. Also, \({{\,\textrm{Fix}\,}}(\varphi )\) is trivial by the very definition of \(\texttt{GW}\) and \(\varphi \).
Let us now check that \({{\,\textrm{Fix}\,}}(\varphi ^{\textrm{ab}})\) is finite. To see this, we observe that \(\texttt{GW}\) admits the following presentation.
In the above, we identify the normal subgroup \({\mathbb {Z}}^2\) with \(\langle {e_1,e_2} \rangle \), and the quotient \({\mathbb {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 \(\varphi \) on the abelian group \(\texttt{GW}^{\textrm{ab}}\) simply inverts the powers of its generators. Thus \(\varphi ^{\textrm{ab}}\) fixes 1 and \(\overline{e_1}\), in case b is even, and only the identity element otherwise.
Since \(\texttt{GW}\) is an extension of \({\mathbb {Z}}^2\) by \({\mathbb {Z}}\), it is (elementary) amenable, finitely generated, and residually finite. In fact, one can recognize \(\texttt{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 \(\langle {e_1,e_2,z^2} \rangle \) is a maximal abelian subgroup isomorphic to \({\mathbb {Z}}^3\) and of index 2. That \(\texttt{GW}\) has property \(R_\infty \) 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. \(\square \)
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_\infty \). Our examples differ from theirs in that they consider extensions \({\mathbb {Z}}^2 \rtimes _A {\mathbb {Z}}\) with \(A \in {{\,\textrm{SL}\,}}_2({\mathbb {Z}})\) (instead of \({{\,\textrm{GL}\,}}_2({\mathbb {Z}})\)) and having eigenvalues of absolute value different from 1. This allows them to obtain groups without \(R_\infty \) and of exponential growth, whereas our extension \(\texttt{GW} = {\mathbb {Z}}^2 \rtimes _B {\mathbb {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 \(\vert {{\,\textrm{Fix}\,}}(\varphi ) \vert = \vert {{\,\textrm{Fix}\,}}(\varphi ^{\textrm{ab}}) \vert = 1\).) Although the group \(\texttt{GW}\) depends on a parameter \(b \in {\mathbb {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 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_\infty \) 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 [3], 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_\infty \) 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_\infty \) such that every outer automorphism \(\varPhi \) is represented by an element \(\varphi \in \varPhi \) 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 \(\varGamma \) with a characteristic quotient \(\varGamma /N\) all of whose automorphisms \(\overline{\varphi }\) induced by \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\) 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 \(\overline{\varphi }\) have \(R(\overline{\varphi })=\infty \); 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\in F\) have: finitely many singularities; slopes in the multiplicative subgroup \(\langle {2} \rangle \le ({\mathbb {R}}^\times ,\cdot )\); and the singularities lie in \({\mathbb {Z}}[\frac{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}^{\textrm{ab}}\cong {\mathbb {Z}}^2\) [18].) In the following we record a slight refinement of the fact that Thompson’s group \(F\) has property \(R_\infty \), which was first proved by Bleak–Fel’shtyn–Gonçalves [9].
Proposition 2.12
Thompson’s group F satisfies \(\vert {{\,\textrm{Fix}\,}}({\psi }^{\textrm{ab}}) \vert = \infty \) for any \(\psi \in {{\,\textrm{Aut}\,}}(F)\) and thus has property \(R_\infty \). Moreover, there exist infinitely many outer automorphisms of F of finite order, and every \(\varphi \in {{\,\textrm{Aut}\,}}(F)\) of finite order satisfies \(\vert {{\,\textrm{Fix}\,}}(\varphi )\vert = \infty \).
Proof
In a seminal paper, Brin [11] completely determined \({{\,\textrm{Aut}\,}}(F)\). Building upon this, Bleak–Fel’shtyn–Gonçalves observed that any element of \({{\,\textrm{Aut}\,}}(F)\) induces a matrix \(A \in {{\,\textrm{GL}\,}}_2({\mathbb {Z}}) \cong {{\,\textrm{Aut}\,}}({F}^{\textrm{ab}})\) having 1 as an eigenvalue; cf. the proof of [9, Theorem 3.3]. Thus \(\vert {{\,\textrm{Fix}\,}}({\psi }^{\textrm{ab}}) \vert = \infty \) for any \(\psi \in {{\,\textrm{Aut}\,}}(F)\) and, by Lemmas 2.2 and 2.3, F has property \(R_\infty \).
Again from Brin’s work (see [11, Theorem 1]), there is a subgroup of index two \({{\,\textrm{Aut}\,}}^+(F) \trianglelefteq {{\,\textrm{Aut}\,}}(F)\) that fits into a short exact sequence \(F\hookrightarrow {{\,\textrm{Aut}\,}}^+(F) \twoheadrightarrow T\times T\), where T is Thompson’s simple group T [18]. This sequence, in turn, implies that \({{\,\textrm{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 \(\varphi \in {{\,\textrm{Aut}\,}}(F)\) of finite order satisfies \(\vert {{\,\textrm{Fix}\,}}(\varphi ) \vert = \infty \). This is because \({{\,\textrm{Fix}\,}}(\varphi )\) 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]. \(\square \)
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 Sect. 5.
3 Thompson-like groups
Thompson groups are those generalizing or resembling Richard Thompson’s original trio \(F \subset T \subset 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 Sect. 2, here we are interested in the Lodha–Moore groups (cf. Sect. 3.1), the braided Thompson group \(F_br \) (cf. Sect. 3.2) and the Bieri–Strebel groups G(I; A, P) (cf. Sect. 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^{{\mathbb {N}}}\), whose points are infinite binary sequences \(\xi =a_0a_1a_2\cdots \) with each digit \(a_i \in \{0,1\}\). Define the following two functions of \(2^{{\mathbb {N}}}\).
One similarly defines \(x^{-1}\) and \(y^{-1}\). Now, given \(s\in 2^{<{\mathbb {N}}}\), the set of all finite binary sequences, define the following families of maps on \(2^{{\mathbb {N}}}\).
If s is the empty sequence ø, we set \(x_s = x\) and \(y_s = y\). Considering \({\mathbb {N}}_{0}:=\left\{ 0\right\} \cup {\mathbb {N}}\), the Lodha–Moore groups are the following subgroups of bijections \(2^{{\mathbb {N}}} \rightarrow 2^{{\mathbb {N}}}\):
Here, \(0^{n}\) and \(1^{n}\) denote constant binary sequences, where \(n\in {\mathbb {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 \({}_yG_y\ge {}_yG, G_y, G\), indexed by sequences \(s,t\in 2^{<{\mathbb {N}}}\).
-
(LM1)
\(x_{s}^{2} = x_{s1}x_{s}x_{s0}\);
-
(LM2)
If \(x_{s}(t)\) is well-defined, then \(x_{s}x_{t}=x_{x_{s}(t)}x_{s}\);
-
(LM3)
If \(x_{s}(t)\) is well-defined, then \(x_{s}y_{t}=y_{x_{s}(t)}x_{s}\);
-
(LM4)
If \(s\in 2^{<{\mathbb {N}}}\) is not a prefix of \(t\in 2^{<{\mathbb {N}}}\), nor is \(t\) a prefix of \(s\), then \(y_{s}y_{t}=y_{t}y_{s}\);
-
(LM5)
\(y_{s}=y_{s11}y_{s10}^{-1}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 \(\xi =s\eta \). 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 \in {\mathbb {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\in B_n\) can be represented between them; see Fig. . In accordance with braid diagrams, we regard isotopic diagrams to be equal.
Given a leaf \(\ell _-\) of \(T_-\), let \(\ell _+\) denote the unique leaf of \(T_+\) connected to \(\ell _-\) by a strand \(s_\ell \) of \(b\). An expansion of \((T_{-},b,T_{+})\) is given as follows: one adds a caret to the leaf \(\ell _-\) and another one to \(\ell _+\), then one bifurcates the strand \(s_\ell \) into two parallel strands; see Fig. 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 \({\mathcal {T}}=(T_{-},b,T_{+})\) and \({\mathcal {R}}=(R_{-},b',R_{+}) \in V_br \), we obtain \({\mathcal {T}}\cdot {\mathcal {R}}\) by gluing the root of \(T_+\) to the root of \(R_{-}\) and then performing the reduction moves from Fig. until reaching a braided paired tree diagram; cf. [17, Section 1.1]. For an example of multiplication see Fig. . 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 \(PB_n \le 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 \in PB_n\) in their diagrams (Fig. ).
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 \(PB_n\). Denote by \(x_0, x_1\) the usual generators of \(F \le F_br \). Now for each \(n\in {\mathbb {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_{ij}^n \in PB_n\), for \(i < j\), which wrap the \(i\hbox {th}\) strand around the \(j\hbox {th}\) one. For \(1 \le i < j\), let
By [10, Theorem 6.1], the group \(F_br \) is generated by
3.3 The F-like Bieri–Strebel groups
Let \(\textrm{PL}_{\circ }({\mathbb {R}})\) be the group of all orientation-preserving piecewise-linear homeomorphisms of the real line with only finitely many singularities.
Given a nontrivial additive subgroup \(A \le ({\mathbb {R}},+)\), a nontrivial (positive) multiplicative subgroup \(P \le ({\mathbb {R}}_{> 0}^\times ,\cdot )\) such that \(P\cdot A \subseteq A\), and a closed interval \([0,\ell ] \subset {\mathbb {R}}\) with \(\ell \in A\), the corresponding \(F\)-like Bieri–Strebel group is the subgroup
whose elements \(g \in G([0,\ell ]; A, P)\) map A to A and have
-
\(\textrm{supp}(g) \subseteq [0,\ell ]\), where \(\textrm{supp}(g) = \{ r \in {\mathbb {R}}\mid g(r) \ne 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 \(\textrm{PL}_{\circ }({\mathbb {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,\ell ]; A, P)\) include familiar examples.
Example 3.1
-
1.
Thompson’s F is just \(G([0,\ell ]; A, P)\) with \(\ell =1\), \(A = {\mathbb {Z}}[\frac{1}{2}]\) and \(P = \langle {2} \rangle = \{ 2^k \mid k\in {\mathbb {Z}}\} \le {\mathbb {R}}^\times _{>0}\).
-
2.
The group nowadays known as Stein’s group \(F_{2,3}\) is simply \(F_{2,3} = G([0,1]; {\mathbb {Z}}[\frac{1}{6}], \langle {2,3} \rangle )\); cf. [44, 45].
-
3.
Using the (small) golden ratio \(\tau = \frac{\sqrt{5}-1}{2}\), Cleary constructed the irrational-slope group \(F_\tau = G([0,1]; {\mathbb {Z}}[\tau ], \langle {\tau } \rangle )\); see [16, 20].
We remark that it is still an open problem to classify all finitely generated F-like Bieri–Strebel groups; see [7].
4 Characters and \(\varSigma \)-invariants
Investigating properties of automorphisms of a group \(\varGamma \) usually requires deep knowledge on the full automorphism group \({{\,\textrm{Aut}\,}}(\varGamma )\). This was illustrated in Sect. 2, and particularly for Thompson’s group F in Proposition 2.12. However, it is sometimes possible to obtain qualitative information on \({{\,\textrm{Aut}\,}}(\varGamma )\) bypassing an explicit computation of \({{\,\textrm{Aut}\,}}(\varGamma )\). We shall take this route with help of (the complement of) the geometric invariant \(\varSigma ^1(\varGamma )\) of Bieri–Neumann–Strebel [6].
A character of a group \(\varGamma \) is a homomorphism \(\chi :\varGamma \rightarrow {\mathbb {R}}\), where \({\mathbb {R}}\) is the additive group of real numbers, and \(\chi \) is discrete if \(\textrm{Im}(\chi ) \subseteq {\mathbb {Z}}\).
When \(\varGamma \) is finitely generated, its character sphere is defined as
where the equivalence relation \(\sim \) is given by
The equivalence class of a character \(\mu \) is denoted by \([\mu ]\), and the invariant \(\varSigma ^{1}(\varGamma )\subseteq S(\varGamma )\) of the group \(\varGamma \) is then defined as
where \(\textrm{Cay}(\varGamma )\) is the Cayley graph of \(\varGamma \) using some finite generating set of \(\varGamma \). Here, \(\textrm{Cay}(\varGamma )_{\mu \geqslant 0}\) is the full subgraph of \(\textrm{Cay}(\varGamma )\) whose vertices are mapped to nonnegative real numbers by \(\mu \). In practice, it is often more convenient to work with the complement of \(\varSigma ^1\), defined by
we refer the reader to Strebel’s notes [47] for more on \(\varSigma ^1\) and its complement. An important feature is that \(\varSigma ^1(\varGamma )\) and \(\varSigma ^1(\varGamma )^c\) do not depend on the generating set for \(\varGamma \) (cf. [6]), which is why we omit this in the notation for the Cayley graph \(\textrm{Cay}(\varGamma )\).
4.1 Characters of Thompson-like groups
Though computing \(\varSigma ^1\) can be challenging in general, Zaremsky observed in [50] and [51] that certain characters of G, \({}_yG\), \(G_y\), \({}_yG_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 \(\varGamma _i\) are considered.
Turning to \(\varGamma _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 \(\varphi _0, \varphi _1:\varGamma _0 \rightarrow {\mathbb {Z}}\) by
Theorem 4.1
([50, Theorem 4.5] and [51, Theorem 3.4]) The complement \(\varSigma ^1(\varGamma _i)^c\) of the \(\varSigma \)-invariant of \(\varGamma _i\) equals \(P_i \subset S(\varGamma _i)\), with \(P_i\) as follows.
The \(\varSigma \)-invariant of the F-like Bieri–Strebel groups \(G([0,\ell ];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 \(\varSigma \)-invariant.
Theorem 4.2
[32, Theorem 1.4] For any F-like Bieri–Strebel group \(G([0,\ell ];A,P)\) there exists a nontrivial homomorphism \(f:G([0,\ell ];A,P) \rightarrow {\mathbb {R}}\) such that \(f \circ \varphi = f\) for any \(\varphi \in {{\,\textrm{Aut}\,}}(G([0,\ell ];A,P))\).
5 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 \(\varphi \in {{\,\textrm{Aut}\,}}(G)\). Suppose there is a nontrivial \(f \in {{\,\textrm{Hom}\,}}(G,A)\) with A abelian and f(G) containing an element of infinite order. Assume further that there exists a \(\varphi \)-invariant \(N \trianglelefteq G\) contained in \(\ker (f)\), and let
be the maps from G/N induced by \(\varphi \) and f, respectively. In the above notation, if \(\overline{f} \circ \overline{\varphi } = \overline{f}\), then \(|{{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})|=\infty \).
Proof
It suffices to show that \(R({\varphi }^{\textrm{ab}})=\infty \) and Lemma 2.2 will assure that \(|{{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})|=\infty \). Our proof idea is to construct a \({\varphi }^{\textrm{ab}}\)-invariant subgroup M of \({G}^{\textrm{ab}}\) such that the induced automorphism \(\overline{{\varphi }^{\textrm{ab}}}\) on \({G}^{\textrm{ab}}/M\) satisfies \(R(\overline{{\varphi }^{\textrm{ab}}})=\infty \). Then, Lemma 2.3 will assure that
The hypothesis \(\overline{f} \circ \overline{\varphi } = \overline{f}\) guarantees that \(\ker (\overline{f})\) is \(\overline{\varphi }\)-invariant, which in turn assures that \(\overline{\varphi }\) induces an automorphism
For simplicity, write \(\overline{\overline{G}}=\frac{G/N}{\ker (\overline{f})}\) and \(\overline{\overline{g}}=(gN)\ker (\overline{f}) \in \overline{\overline{G}}\).
Since \(\overline{f}\) has abelian image, one has that \(\overline{\overline{G}}\) itself is a quotient of \({G}^{\textrm{ab}}\) via the natural projection
We shall take \(\ker (p)\) as the subgroup \(M \le {G}^{\textrm{ab}}\) mentioned above.
First, we need to check that \(\ker (p)\) is \({\varphi }^{\textrm{ab}}\)-invariant. This is equivalent to showing that any element \(x[G,G] \in \ker (p)\) satisfies
Since \(p({\varphi }^{\textrm{ab}}(x[G,G]))=\overline{\overline{\varphi (x)}}\), we need to prove that \(\overline{\varphi }(xN) \in \ker (\overline{f})\), which is a direct consequence of the assumption \(\overline{f} \circ \overline{\varphi } = \overline{f}\).
It is left to verify that \(R(\overline{{\varphi }^{\textrm{ab}}})=\infty \), where \(\overline{{\varphi }^{\textrm{ab}}}\) is the automorphism induced by \({\varphi }^{\textrm{ab}}\) on the quotient \({G}^{\textrm{ab}}/\ker (p)\). Notice that \({G}^{\textrm{ab}}/\ker (p)\) is isomorphic to \(\overline{\overline{G}}\) and that \({\varphi }^{\textrm{ab}}\) and \(\overline{\overline{\varphi }}\) are the same automorphism. Thus, we need only prove that \(R(\overline{\overline{\varphi }})=\infty \), which is equivalent to showing that \(\overline{\overline{\varphi }}\) has infinitely many fixed points by Lemma 2.2.
Let \(g \in G\) be an element such that f(g) is of infinite order in A. Let us check that \(\overline{\overline{g}}\) has infinite order in \(\overline{\overline{G}}\) and \(\overline{\overline{\varphi }}(\overline{\overline{g}})=\overline{\overline{g}}\). We shall write A additively.
In fact, \(\overline{\overline{g}}^n=\overline{\overline{1}}\) is equivalent to \(g^nN \in \ker (\overline{f})\). This means that
The fact that f(g) has infinite order implies that \(n=0\).
Finally, \(\overline{\overline{\varphi }}(\overline{\overline{g}})=\overline{\varphi }(gN)\ker (\overline{f})\) can only coincide with \(\overline{\overline{g}}=(gN)\ker (\overline{f})\) if \(\overline{\varphi }(gN)g^{-1}N \in \ker (\overline{f})\). This is the case because
and since \(\overline{f} \circ \overline{\varphi } = \overline{f}\), this means that \(\overline{f}(\overline{\varphi }(g)g^{-1}N)=\overline{\overline{1}}\). \(\square \)
Remark 5.2
The conclusion of Theorem 5.1 is equivalent to the following statement: there exists \(g \in G\) such that \(g^n \notin [G,G]\) for any \(n \in {\mathbb {Z}}{\setminus }\{ 0 \}\) and the set g[G, G] is \(\varphi \)-invariant. Indeed, if the statement above holds, then the induced automorphism \({\varphi }^{\textrm{ab}}\) fixes \({\mathbb {Z}}\cong \langle {g[G,G]} \rangle \le {G}^{\textrm{ab}}\) pointwise. Conversely, if \(|{{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})| = \infty \), then because \({G}^{\textrm{ab}}\) is finitely generated abelian, there must exist an element \(g[G,G] \in {G}^{\textrm{ab}}\) of infinite order fixed by \({\varphi }^{\textrm{ab}}\). Thus
since the commutator subgroup [G, G] is characteristic.
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 S-arithmetic type \(\mathcal {O}_S\) for which the metabelian groups
are finitely presented and such that all their automorphisms \(\varphi \) have \({{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})\) infinite; cf. [38].
In fact, besides the above example and the family \(\mathcal {F}\) to be discussed in Sect. 5.2, there are uncountably many finitely generated groups to which Theorem 5.1 applies; cf. Remark 5.7.
5.1 Applications
As mentioned in Sect. 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 fixed-point result in group cohomology.
By a trivial G-module M we mean a \({\mathbb {Z}}[G]\)-module such that the elements of G act as the identity on M. A global fixed point in a group action \(H \curvearrowright X\) is an element \(x\in X\) such that \(h(x)=x\) for all \(h \in 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 \([c]\in H^1(G,M)\) under the canonical action \({{\,\textrm{Aut}\,}}(G) \curvearrowright H^1(G,M)\). Then G has property \(R_\infty \).
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 \(\varphi \in {{\,\textrm{Aut}\,}}(G)\) again yields a cochain; see, for instance, [13, Chapter III]. While this a priori yields no action of \({{\,\textrm{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 \rightarrow 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 \({{\,\textrm{Aut}\,}}(G) \curvearrowright H^1(G,M) \cong {{\,\textrm{Hom}\,}}(G,M)\) is given by
The existence of a nonzero global fixed point \([c] \in H^1(G,M) \curvearrowleft {{\,\textrm{Aut}\,}}(G)\) means that there exists a corresponding nontrivial homomorphism \(f_c :G \rightarrow M\) fixed by every automorphism of G, that is,
whence \(f_c= f_c\circ \varphi \) for any \(\varphi \in {{\,\textrm{Aut}\,}}(G)\). 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 \trianglelefteq G\) and \(A=M\) and \(f=f_c\), yielding \(\vert {{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})\vert = \infty \) for any \(\varphi \in {{\,\textrm{Aut}\,}}(G)\). By Lemmas 2.2 and 2.3, it follows that \(R(\varphi ) = \infty \) for all \(\varphi \in {{\,\textrm{Aut}\,}}(G)\), which finishes the proof. \(\square \)
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 = {\mathbb {Z}}\) as a trivial \(\varGamma \)-module. \(\square \)
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 \(\mathcal {F}\) is the family consisting of the F-like Bieri–Strebel groups \(G([0,\ell ];A,P)\), the Lodha–Moore groups \(G\), \({}_yG\), \(G_y\), \({}_yG_y\), and the braided Thompson group \(F_br \) defined in Sect. 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 Sect. 4. Moreover, for \(n \in {\mathbb {N}}\), we define \(\llbracket n\rrbracket =\{1, \dots , n\}\) and \(\llbracket n\rrbracket _0=\{0\}\cup \llbracket n\rrbracket \). Recall from Theorem 4.1 that \(\varSigma ^1(\varGamma _i)^c= P_{i}\). Now fix
where \(i\in \llbracket 4\rrbracket _{0}\). We shall describe \(\varGamma _i/N_i\) more precisely. In what follows, given \(g \in \varGamma _i\), denote by \({\overline{g}}\) its canonical image in \(\varGamma _i / N_i\).
Proposition 5.5
The group \(\varGamma _i/N_i\) is isomorphic to \({\mathbb {Z}}^2\) for all \(i\in \llbracket 4\rrbracket _0\).
Proof
Throughout we let \(\{e_1,\ldots ,e_k\}\) denote the canonical basis for \({\mathbb {Z}}^k\). It is clear that the \(\varGamma _i/N_i\) are abelian and, since \({\mathbb {R}}\) is itself torsion-free, the same holds for \(\varGamma _i / N_i\).
Looking back at the generating set of \(\varGamma _0 = F_br \) (cf. Sect. 3.2), one sees that elements of the form \((T,b,T) \in \varGamma _0\) must lie in \(N_0=\ker (\varphi _0)\cap \ker (\varphi _1)\). In particular, the generators of \(\varGamma _0\) of the form \(\alpha _{ij}\) and \(\beta _{ij}\) all belong to \(N_0\). Thus \(\varGamma _0/N_0\) is generated by the images of \(x_0\) and \(x_1\) under the projection \(\varGamma _0 \twoheadrightarrow \varGamma _0/N_0\). Since \({\overline{x}}_0^{n}{\overline{x}}_1^{m} \in N_0\) if and only if \(0=n=m\), the map \(f:\varGamma _0/N_0 \rightarrow {\mathbb {Z}}^2\) given by \(f({\overline{x}}_0)=e_1\) and \(f({\overline{x}}_1)=e_2\) is an isomorphism.
Now we check the isomorphism only in the case \(i=1\), as the remaining cases are established along similar lines. Since \(x_s, y_t \in N_1\) for all \(s \in 2^{\mathbb {N}}{\setminus }\{0^n,1^n\}_{n=1}^{\infty }\) and \(t \in 2^{\mathbb {N}}\), the group \(\varGamma _1/N_1\) is generated by \({\overline{x}}_{0^n}, {\overline{x}}_{1^n}\) with \(n\in {\mathbb {N}}_0\). We claim that this quotient is generated by \({\overline{x}}_0\) and \({\overline{x}}_1\). Indeed, since \(x_0(0^n)=0^{n-1}\), relation (LM2) implies that
Inductively, we have
The relation (LM1) with \(s=0\) gives \(x_0^2=x_{0^2}x_0x_{01}\). Since \(x_{01} \in N_1\), it follows that \({\overline{x}}_0={\overline{x}}_{0^2}\). Similar arguments show that
and \({\overline{x}}_1={\overline{x}}_{1^2}\). Last but not least, relation (LM1) with \(s=\)ø implies
in \(\varGamma _{1}/N_{1}\). Since this group is abelian, we get
We then conclude that \(\varGamma _1/N_1\) is generated by \({\overline{x}}_0, {\overline{x}}_1\). Because \({\overline{x}}_0^a{\overline{x}}_1^b\in N_1 \iff 0=-a=b\), the map \(g:{\overline{x}}_0 \mapsto e_1, {\overline{x}}_1 \mapsto e_2\) extends to an isomorphism \(\varGamma _1/N_1 \cong {\mathbb {Z}}^2\). \(\square \)
It follows from Proposition 5.5 that \(V_i\cong {{\,\textrm{Hom}\,}}({\mathbb {Z}}^2,{\mathbb {R}}) \cong {\mathbb {R}}^2\).
Corollary 5.6
For each \(i\in \llbracket 4\rrbracket _0\) the image of \(\left\{ \chi \mid \left[ \chi \right] \in P_i\right\} \) in \(V_i\cong {\mathbb {R}}^2\) is a basis for \(V_i\).
Proof
We first argue that the canonical image \(\left\{ {\overline{\varphi }}_0,{\overline{\varphi }}_1\right\} \) of \(\left\{ \varphi _0,\varphi _1\right\} \) in \(V_0 = {{\,\textrm{Hom}\,}}(\varGamma _0/N_0,{\mathbb {R}})\) is a basis of \(V_0 \cong {\mathbb {R}}^2\). Let \(\alpha , \beta \in {\mathbb {R}}\) satisfy
in \(\varGamma _0/N_0\). Equality (5.1) means that \(\alpha {\overline{\varphi }}_0({\overline{w}})+\beta {\overline{\varphi }}_1({\overline{w}})=0\) for all \({\overline{w}} \in \varGamma _0/N_0\), and linear independence means both \(\alpha \) and \(\beta \) must be 0. Since
we see that the only solution for (5.1) is \((\alpha ,\beta )=(0,0)\), as desired.
Lastly we again restrict ourselves to the case \(i=1\), the remaining ones being entirely analogous. To check linear independence let \(\alpha , \beta \in {\mathbb {R}}\) satisfy
in \(\varGamma _1/N_1\). Recall that \(\varGamma _{1}/N_{1}\) is generated by \(\{{\overline{x}}_{0},{\overline{x}}_{1}\}\), so that
Thus the only solution for Eq. (5.2) is \((\alpha ,\beta )=(0,0)\). \(\square \)
With elementary facts established, we can prove the main result from the Introduction.
Proof of Theorem 1.1
Let \(\varGamma \in \mathcal {F}\). If \(\varGamma \) is one of the F-like groups of Bieri–Strebel (cf. Sect. 3.3), we know from Theorem 4.2 that there exists a nontrivial homomorphism \(f:\varGamma \rightarrow {\mathbb {R}}\) such that \(f \circ \varphi = f\) for any \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\). We then just apply Theorem 5.1 with \(N = 1\) and \(A={\mathbb {R}}\).
Now suppose \(\varGamma \) is one of the Lodha–Moore groups or \(F_br \) and let \(\varphi \in {{\,\textrm{Aut}\,}}(\varGamma )\). By Theorem 4.1, one has that \(\varSigma ^1(\varGamma )^c\) consists of two (classes of) discrete characters. By Corollary 5.6, there are representatives \(\chi _1\) and \(\chi _2\) of such classes so that their respective images \(\overline{\chi _1},\overline{\chi _2} \in {{\,\textrm{Hom}\,}}(\varGamma /N,{\mathbb {R}})\) are linearly independent.
Now set \(N =\ker (\chi _1)\cap \ker (\chi _2)\). Since the natural action of \(\varphi \) on the character sphere \(S(\varGamma )\) stabilizes the whole invariant \(\varSigma ^1(\varGamma )^c\) (see [47, p. 47]), one has that N is \(\varphi \)-invariant. We can thus consider the induced map \(\overline{\varphi } \in {{\,\textrm{Aut}\,}}(\varGamma /N)\). Following [29, Lemma 3.1] (up to replacing the representatives \(\chi _1\) and \(\chi _2\) to obtain appropriate integer coordinates for their respective images \(\overline{\chi _1}\) and \(\overline{\chi _2}\)), we obtain
(We remark that \(\ker (\chi _1) = \ker (r\chi _1)\) and \(\ker (\chi _2) = \ker (r\chi _2)\) for any \(r \in {\mathbb {R}}{\setminus } \{ 0 \}\).) Defining
one has \(N \subseteq \ker (f)\). It is clear that \(f \in {{\,\textrm{Hom}\,}}(\varGamma ,{\mathbb {R}})\) is nontrivial (e.g., by linear independence of the \(\overline{\chi _1}\) and \(\overline{\chi _2}\)) and that \(f(\varGamma )\) has elements of infinite order. Again using equality (5.3), it follows that the induced map \(\overline{f}:\varGamma /N \rightarrow {\mathbb {R}}\) satisfies \(\overline{f} \circ \overline{\varphi } = \overline{f}\). Applying Theorem 5.1 to N, \(A={\mathbb {R}}\) and f chosen above thus finishes off the proof. \(\square \)
Although we have restricted ourselves to F-like Bieri–Strebel groups as defined in Sect. 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 \in {\mathbb {R}}_{>1}\) and \(q = e^{a/b}\) with \(\frac{a}{b}\in {\mathbb {Q}}_{>1}\). Then, choose \(r \in T_{>1} \subset {\mathbb {R}}\), where T is a set of irrational representatives for the orbits of the action of the group \(\left( {\begin{matrix} a/b &{} 0 \\ 0 &{} 1 \end{matrix}} \right) \cdot {{\,\textrm{GL}\,}}_2({\mathbb {Z}}) \cdot \left( {\begin{matrix} b/a &{} 0 \\ 0 &{} 1 \end{matrix}} \right) \) by fractional linear transformations on \({\mathbb {S}}^1 \cong {\mathbb {R}}\cup \{\infty \}\). Now consider the following PL homeomorphisms \(f_p\), \(g_q\), \(h_r\) of the unit interval [0, 1].
The Bieri–Strebel group \(G(p,q,r):= \langle f_p, q_g, h_r \rangle \le \textrm{PL}_\circ ([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 \(\chi \) from G(p, q, r) to a torsion-free abelian group such that \(\chi \circ \varphi = \chi \) for any \(\varphi \in {{\,\textrm{Aut}\,}}(G(p,q,r))\).
Now Corollary 1.2 from the Introduction is easily deduced. For convenience, we restate it below.
Corollary 5.8
Any \(\varGamma \in \mathcal {F}\) has property \(R_\infty \). In particular, Stein’s group \(F_{2,3}\), Cleary’s irrational-slope group \(F_\tau \), the Lodha–Moore groups \(G, {}_yG, G_y, {}_yG_y\), and the braided Thompson group \(F_br \) have \(R_\infty \).
Proof
Immediate from Theorem 1.1 and Lemmas 2.2 and 2.3. \(\square \)
As mentioned, Corollary 5.8 had already been established for ‘most’ groups in the family \({\mathcal {F}}\), including \(F_{2,3}\) and \(F_\tau \); 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.
Proof
(Alternative proof of Corollary 5.8 for \(G, {}_yG, G_y, {}_yG_y, F_br \).) Gonçalves–Kochloukova deduced a direct criterion to check for property \(R_\infty \) using the \(\varSigma \)-invariant; see [29, Theorem 3.2]. To apply this result, the first step is to check that the complement of the BNS \(\varSigma \)-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 \(\{\chi \mid [\chi ] \in \varSigma ^1(\varGamma _i)^c\}\) in \(V_i = {{\,\textrm{Hom}\,}}(\varGamma _i/N_i,{\mathbb {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. \(\square \)
It is interesting to note that the alternative arguments above to deduce \(R_\infty \) might fail for F-like Bieri–Strebel groups. Indeed, Spahn–Zaremsky [44] showed that \(\varSigma ^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 \(\varSigma \)-invariants of \(F_\tau \)—particularly, \(\varSigma ^1(F_{\tau })^c\) is finite (nonempty), contains only discrete characters, and [29, Theorem 3.2] does apply.
As discussed at the end of Sect. 2, it would be interesting to find non-residually finite groups with \(R_\infty \) 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.
Proposition 5.9
Let \(n \in {\mathbb {N}}_{\ge 2}\) be arbitrary and write \(\texttt{BS}_n :=G([0,n-1];{\mathbb {Z}}[1/n],\langle {n} \rangle )\). Then every \(\varphi \in {{\,\textrm{Aut}\,}}(\texttt{BS}_n)\) satisfies \(\vert {{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})\vert =\infty \) and, if \(\varphi \) is of finite order, it also holds \(\vert {{\,\textrm{Fix}\,}}({\varphi })\vert =\infty \). Moreover, there are infinitely many elements in \({{\,\textrm{Out}\,}}(\texttt{BS}_n)\) of finite order.
Proof
That \(\vert {{\,\textrm{Fix}\,}}({\varphi }^{\textrm{ab}})\vert =\infty \) for any \(\varphi \in {{\,\textrm{Aut}\,}}(\texttt{BS}_n)\) has just been proved in Theorem 1.1 (and \(\texttt{BS}_n\) has \(R_\infty \)).
We now recall that, for every \(n \in {\mathbb {N}}\) and \(i \in {\mathbb {Z}}[1/n]\), the generalized Thompson groups \(F_{n,\infty }\) and \(F_{n,i}\) from [12] are isomorphic by [12, Lemma 2.1.6] and [35, Lemma 2.1], and in turn the \(F_{n,0}\) are isomorphic to the F-like groups \(\texttt{BS}_n\) of Bieri–Strebel; cf. [12, Lemma 2.3.1 and Definition 1.1.1]. We may thus work with \(F_{n,\infty }\) instead of \(\texttt{BS}_n\).
Now suppose \(\varphi \in {{\,\textrm{Aut}\,}}(F_{n,\infty })\) has finite order. If the fixed subgroup \({{\,\textrm{Fix}\,}}(\varphi )\) is infinitely generated, we are done. Otherwise, it follows from [35, Lemmas 4.2 and 5.1] that there is an element \(f \in {{\,\textrm{Fix}\,}}(\varphi )\) fixing a point \(i \notin {\mathbb {Z}}[1/n] \subset {\mathbb {R}}\) with slope not equal to 1 at i. By [35, Theorem 4.14], this condition implies that \({{\,\textrm{Fix}\,}}(\varphi )\) is isomorphic to the group \(F_{n,[i,\infty ]}\), which in turn contains (multiple copies of) \(F_{n,\infty }\) itself by [35, Proposition 4.4]. Thus, again one has \(|{{\,\textrm{Fix}\,}}(\varphi )| = \infty \).
For the last claim, the case \(n=2\) has been dealt with in Proposition 2.12 since \(F=G([0,1];{\mathbb {Z}}[1/2],\langle {2} \rangle )=\texttt{BS}_2\). For \(n\ge 3\), Kochloukova–Martínez-Pérez–Nucinkis construct in [35, Section 10] infinitely many ‘exotic’ automorphisms of finite order, which implies the claim. \(\square \)
We close with related open questions. The automorphism groups of \(F \subset T \subset V\) and \(\texttt{BS}_n\) are by now well studied [8, 12]. Moreover, the generalizations \(T_{n,r}\) of T also have property \(R_\infty \) [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_\infty \)?
We also remark that the proof by Burillo–Matucci–Ventura that F and T have property \(R_\infty \) 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, {}_yG, G_y\) and \({}_yG_y\), we are also led to the following.
Question 5.11
Is the conjugacy (or twisted conjugacy) problem decidable for all the groups in \({\mathcal {F}}\)?
References
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
Bekka, B., de la Harpe, P., Valette, A.: Kazhdan’s Property (T), New Mathematical Monographs 11. Cambridge University Press, Cambridge (2008)
Bartholdi, L., Kaimanovich, V.A., Nekrashevych, V.V.: On amenability of automata groups. Duke Math. J. 154(3), 575–598 (2010)
Belk, J., Matucci, F.: Conjugacy and dynamics in Thompson’s groups. Geom. Dedicata 169, 239–261 (2014)
Berrick, A.J., Chatterji, I., Mislin, G.: Homotopy idempotents on manifolds and Bass’ conjectures. In: Proceedings of the Nishida Fest (Kinosaki 2003), Geometry & Topology Monographs, vol. 10, pp. 41–62. Geometry & Topology Publisher, Coventry (2007)
Bieri, R., Neumann, W.D., Strebel, R.: A geometric invariant of discrete groups. Invent. Math. 90(3), 451–477 (1987)
Bieri, R., Strebel, R.: On Groups of PL-Homeomorphisms of the Real Line, Mathematical Surveys and Monographs 215. American Mathematical Society, Providence, RI (2016)
Bleak, C., Cameron, P., Maissel, Y., Navas, A., Olukoya, F.: The further chameleon groups of Richard Thompson and Graham Higman: automorphisms via dynamics for the Higman groups \(G_{n,r}\). Mem. Am. Math. Soc. arXiv:1605.09302 (2023) (to appear)
Bleak, C., Fel’shtyn, A., Gonçalves, D.L.: Twisted conjugacy classes in R. Thompson’s group \(F\). Pac. J. Math. 238.1, 1–6 (2008)
Brady, T., Burillo, J., Cleary, S., Stein, M.: Pure braid subgroups of braided Thompson’s groups. Publ. Mat. 52(1), 57–89 (2008)
Brin, M.G.: The chameleon groups of Richard J. Thompson: automorphisms and dynamics. Inst. Hautes Études Sci. Publ. Math. 84, 5–33 (1996)
Brin, M.G., Guzmán, F.: Automorphisms of generalized Thompson groups. J. Algebra 203(1), 285–348 (1998)
Brown, K.S.: Cohomology of Groups, Graduate Texts in Mathematics 87. Springer, New York (1994)
Burillo, J., Bux, K.-U., Nucinkis, B.: Cohomological and metric properties of groups of homeomorphism of \({ {R}}\). Oberwolfach Rep. 15(2), 1579–1633 (2018)
Burillo, J., Matucci, F., Ventura, E.: The conjugacy problem in extensions of Thompson’s group \(F\). Isr. J. Math. 216(1), 15–59 (2016)
Burillo, J., Nucinkis, B., Reeves, L.: An irrational-slope Thompson’s group. Publ. Mat. 65(2), 809–839 (2021)
Bux, K.-U., Fluch, M.G., Marschler, M., Witzel, S., Zaremsky, M.C.B.: The braided Thompson’s groups are of type \({\rm F}_\infty \). J. Reine Angew. Math. 718, 59–101 (2016). (With an appendix by Zaremsky)
Cannon, J.W., Floyd, W.J., Parry, W.R.: Introductory notes on Richard Thompson’s groups. Enseign. Math. (2) 42(3–4), 215–256 (1996)
Chowla, S., Cowles, J., Cowles, M.: On the number of conjugacy classes in \({\rm SL}(2,\,{{ {Z}}})\). J. Number Theory 12(3), 372–377 (1980)
Cleary, S.: Regular subdivision in \({\mathbb{Z} }[\frac{1+\sqrt{5}}{2}]\). Ill. J. Math. 44(3), 453–464 (2000)
Cohen, M.M., Lustig, M.: On the dynamics and the fixed subgroup of a free group automorphism. Invent. Math. 96(3), 613–638 (1989)
Dekimpe, K.: Almost-Bieberbach Groups: Affine and Polynomial Structures. Lecture Notes in Mathematics, vol. 1639. Springer, Berlin (1996)
Dekimpe, K., Gonçalves, D.L.: The \(R_\infty \) property for nilpotent quotients of surface groups. Trans. Lond. Math. Soc. 3(1), 28–46 (2016)
Dekimpe, K., Tertooy, S.: Algorithms for twisted conjugacy classes of polycyclic-by-finite groups. Topol. Appl. 293, 107565, 12 (2021)
Dekimpe, K., Tertooy, S., Van den Bussche, I.: Reidemeister spectra for solvamanifolds in low dimensions. Topol. Methods Nonlinear Anal. 53(2), 575–601 (2019)
Fel’shtyn, A., Leonov, Y., Troitsky, E.: Twisted conjugacy classes in saturated weakly branch groups. Geom. Dedicata 134, 61–73 (2008)
Geoghegan, R.: Fixed points in finitely dominated compacta: the geometric meaning of a conjecture of H. Bass. In: Shape Theory and Geometric Topology (Dubrovnik, 1981), Lecture Notes in Mathematics, vol. 870, pp. 6–22. Springer, Berlin (1981)
Ghys, E., Sergiescu, V.: Sur un groupe remarquable de difféomorphismes du cercle. Comment. Math. Helv. 62(2), 185–239 (1987)
Gonçalves, D., Kochloukova, D.H.: Sigma theory and twisted conjugacy classes. Pac. J. Math. 247(2), 335–352 (2010)
Gonçalves, D., Wong, P.: Twisted conjugacy classes in exponential growth groups. Bull. Lond. Math. Soc. 35(2), 261–268 (2003)
Gonçalves, D., Wong, P.: Twisted conjugacy classes in nilpotent groups. J. Reine Angew. Math. 633, 11–27 (2009)
Gonçalves, D.L., Sankaran, P., Strebel, R.: Groups of PL-homeomorphisms admitting nontrivial invariant characters. Pac. J. Math. 287(1), 101–158 (2017)
Gupta, N., Sidki, S.: On the Burnside problem for periodic groups. Math. Z. 182(3), 385–388 (1983)
Jabara, E.: Automorphisms with finite Reidemeister number in residually finite groups. J. Algebra 320(10), 3671–3679 (2008)
Kochloukova, D.H., Martínez-Pérez, C., Nucinkis, B.E.A.: Fixed points of finite groups acting on generalised Thompson groups. Isr. J. Math. 187, 167–192 (2012)
Lavreniuk, Y., Nekrashevych, V.: Rigidity of branch groups acting on rooted trees. Geom. Dedicata 89, 159–179 (2002)
Levitt, G., Lustig, M.: Most automorphisms of a hyperbolic group have very simple dynamics. Ann. Sci. École Norm. Sup. (4) 33(4), 507–517 (2000)
Lins de Araujo, P.M., Santos Rego, Y.: Twisted conjugacy in soluble arithmetic groups. Preprint, arXiv:2007.02988 (2020)
Lodha, Y., Moore, J.T.: A nonamenable finitely presented group of piecewise projective homeomorphisms. Groups Geom. Dyn. 10(1), 177–200 (2016)
Matucci, F., de Oliveira-Tosti, A.S.: Conjugacy and centralizers in groups of piecewise projective homeomorphisms. Groups Geom. Dyn. 16(1), 1–28 (2022)
Nasybullov, T.: Twisted conjugacy classes in unitriangular groups. J. Group Theory 22(2), 253–266 (2019)
Olukoya, F.: Automorphisms of the generalized Thompson’s group \(T_{n, r}\). Trans. Lond. Math. Soc. 9(1), 86–135 (2022)
Senden, P.: Twisted conjugacy in direct products of groups. Commun. Algebra 49(12), 5402–5422 (2021)
Spahn, R., Zaremsky, M.C.B.: The BNSR-invariants of the Stein group \(F_{2,3}\). J. Group Theory 24(6), 1149–1162 (2021)
Stein, M.: Groups of piecewise linear homeomorphisms. Trans. Am. Math. Soc. 332(2), 477–514 (1992)
Steinberg, R.: Endomorphisms of Linear Algebraic Groups, vol. 80. Memoirs of the American Mathematical Society, Providence (1968)
Strebel, R.: Notes on the sigma invariants. Preprint, arXiv:1204.0214v2 (2013)
Varghese, O.: Representations of groups with \({\rm CAT}(0)\) fixed point property. Arch. Math. (Basel) 111(3), 231–238 (2018)
Wolf, J.A.: Growth of finitely generated solvable groups and curvature of Riemannian manifolds. J. Differ. Geom. 2, 421–446 (1968)
Zaremsky, M.C.B.: HNN decompositions of the Lodha–Moore groups, and topological applications. J. Topol. Anal. 8(4), 627–653 (2016)
Zaremsky, M.C.B.: On normal subgroups of the braided Thompson groups. Groups Geom. Dyn. 12(1), 65–92 (2018)
Acknowledgements
The authors would like to thank Dawid Kielak, Ian Leary, Lewis Molyneux, Brita Nucinkis, and Rachel Skipper for helpful remarks and discussions. We are also indebted to the anonymous referees for key comments and suggestions which improved the paper, particularly regarding Proposition 2.7.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Paula M. Lins de Araujo was supported by the long term structural funding Methusalem Grant of the Flemish Government, Belgium. Yuri Santos Rego was partially supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation), 314838170, GRK 2297 MathCoRe.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lins de Araujo, P.M., de Oliveira-Tosti, A.S. & Santos Rego, Y. Thompson-like groups, Reidemeister numbers, and fixed points. Geom Dedicata 217, 54 (2023). https://doi.org/10.1007/s10711-023-00790-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10711-023-00790-2