A subgroup is commensurated if for all . We show that a finitely generated branch group is just infinite if and only if every commensurated subgroup is either finite or of finite index. As a consequence, every commensurated subgroup of the Grigorchuk group and many other branch groups of independent interest is either finite or of finite index.
Subgroups H and K of a group G are commensurate if and . The subgroup H is commensurated in G if H and are commensurate for all . Normal subgroups are obvious examples of commensurated subgroups. However, commensurated subgroups need not be even commensurate with a normal subgroup. Simple groups can admit such commensurated subgroups; for example, Thompson’s group V admits an infinite commensurated proper subgroup.
G. Margulis’ celebrated normal subgroup theorem demonstrates that any lattice in a higher rank simple algebraic group is just infinite – i.e. every non-trivial normal subgroup is of finite index; see . Margulis and R. Zimmer then ask if the commensurated subgroups can be classified up to commensurability by a precise family of known commensurated subgroups; this question is sometimes called the Margulis–Zimmer commensurated subgroup problem. Aside from a strengthening of the normal subgroup theorem, the commensurated subgroup problem seems related to many aspects of arithmetic groups, as discussed in . In loc. cit., Y. Shalom and G. Willis classify the commensurated subgroups for a large family of arithmetic groups, making substantial progress on this problem.
Considering the analogues of the commensurated subgroup problem for other classes of groups with few normal subgroups seems independently interesting. Using the Shalom–Willis strategy of studying certain completions, we here classify the commensurated subgroups of finitely generated just infinite branch groups. Indeed, we characterize the just infinite property for finitely generated branch groups by commensurated subgroups.
Suppose G is a finitely generated branch group. Then G is just infinite if and only if every commensurated subgroup is either finite or of finite index.
As an immediate consequence of this result, we obtain a description of the commensurated subgroups of various groups of independent interest.
The Grigorchuk group and the Gupta–Sidki groups are such that every commensurated subgroup is either finite or of finite index.
We use “t.d.”, “l.c.”, and “s.c.” for “totally disconnected”, “locally compact”, and “second countable”, respectively. Recall that a t.d.l.c.s.c. group is a Polish group – i.e. it is separable and admits a complete, compatible metric.
2.1 Branch groups
Our approach to branch groups follows closely R. I. Grigorchuk’s presentation in .
A rooted treeT is a locally finite tree with a distinguished vertex r called the root. Letting d be the usual graph metric, the levels of T are the sets
The degree of a vertex is the number of such that there is an edge from v to w. When vertices k and w lie on the same path to the root and , we write . Given a vertex , the tree below s, denoted by , is the collection of t such that along with the induced graph structure.
We call a rooted tree spherically homogeneous if for all the degree of v is the same as the degree of w. A spherically homogeneous tree is completely determined by specifying the degree of the vertices at each level. These data are given by an infinite sequence such that for all . The condition is to ensure that levels are not redundant; i.e. if , then we can remove the i-th level without changing the automorphism group. We denote a spherically homogeneous tree by for . When for some , we write .
For a subgroup and for a vertex , the rigid stabilizer of v in G is defined to be
The n-th rigid level stabilizer in G is defined to be
It is easy to see that .
A group G is said to be a branch group if there is a rooted tree for some such that the following hold:
G is isomorphic to a subgroup of .
G acts transitively on each level of .
For each level n, the index is finite.
Let (iii) be the following condition:
Every is infinite.
A group satisfying (i), (ii), and (iii) is called a weakly branch group. Plainly, every branch group is also weakly branch.
An infinite group is just infinite if all proper quotients are finite. Just infinite branch groups already have a characterization in terms of certain normal subgroups.
Theorem 2.2 (Grigorchuk, [3, Theorem 4])
Suppose is a branch group. Then G is just infinite if and only if the commutator subgroup has finite index in for all levels k.
We shall need a fact implicit in the proof of [3, Theorem 4].
Proposition 2.3 (Grigorchuk)
Suppose acts transitively on each level of . If is non-trivial, then there is a level m such that .
2.2 Completions and chief blocks
Our proof requires the Schlichting completion. This completion has appeared in various contexts in the literature. See for example  or consider  for a longer discussion. We here give a brief account.
Given a countable group G with a commensurated subgroup O, the group G acts by left multiplication on the collection of left cosets . This induces a permutation representation with kernel the normal core of O in G. The group is a topological, indeed Polish, group under the pointwise convergence topology, and we may thus form a completion as follows:
For a countable group G with a commensurated subgroup O, the Schlichting completion of G with respect to O, denoted by , is defined to be . The map is called the completion map.
It is easy to verify that is a t.d.l.c.s.c. group. When G is finitely generated, is additionally compactly generated.
We shall also need the theory of chief blocks developed in . A normal factor of a topological group G is a quotient such that K and L are closed normal subgroups of G with . We say that is a chief factor if there are no closed normal subgroups of G strictly between L and K. The centralizer of a normal factor is
Centralizers give a notion of equivalence for chief factors; we restrict this equivalence to non-abelian chief factors for technical reasons. Non-abelian chief factors and are associated if . For a non-abelian chief factor , the equivalence class of non-abelian chief factors equivalent to is denoted by . The class is called a chief block of G. The set of chief blocks of G is denoted by . For a chief block , the centralizer is defined to be for some (equivalently, any) representative .
A key property of chief blocks is a general refinement theorem.
Theorem 2.5 (Reid–Wesolek, )
Let G be a Polish group, let , and let be a series of closed normal subgroups in G. Then there is exactly one such that there exist closed normal subgroups of G for which .
3 Commensurated subgroups
We first establish the reverse implication of our main theorem. For this implication, we need not assume the group is finitely generated, and the result holds for weakly branch groups.
Let be a weakly branch group. If every commensurated subgroup of G is either finite or of finite index, then G is just infinite.
Fix a level m. The commutator subgroup is then a normal subgroup of G and, a fortiori, commensurated. Suppose for contradiction that H is finite. Since , there is some integer such that . The group then injects into , so it is abelian. This is absurd since weakly branch groups do not admit abelian rigid stabilizers. We thus deduce that H is of finite index in G, and it follows that G is a branch group. Appealing to Theorem 2.2, G is just infinite. ∎
We now consider the converse for finitely generated branch groups.
Suppose is a finitely generated branch group. If G is just infinite, then every commensurated subgroup of G is either finite or of finite index.
Suppose for contradiction is an infinite commensurated subgroup of infinite index. Form the Schlichting completion and let be the completion map.
Since G is finitely generated, H is a compactly generated t.d.l.c.s.c. group. For all open normal subgroups , the preimage is a non-trivial normal subgroup of G, hence it has finite index. It follows that L is a finite index open subgroup of H. Every open normal subgroup of H therefore has finite index. Appealing to [1, Theorem F], we deduce that
is a cocompact characteristic subgroup of H without non-trivial discrete quotients. If R is trivial, then H is a compact group, and O has finite index in G. However, this is absurd, as we assume O has infinite index.
The group R is thus an infinite compactly generated t.d.l.c.s.c. group with no non-trivial discrete quotients. Since R is t.d.l.c., any non-trivial compact quotient is profinite, and thus, such a quotient produces a non-trivial discrete quotient. We deduce that R additionally has no non-trivial compact quotient. The result [1, Theorem A] now implies that R admits exactly n non-discrete topologically simple quotients where ; say that lists the kernels of these quotients. The group H acts on by conjugation, so there is a closed with finite index such that fixes each . The pre-image is then a finite index normal subgroup of G. Via Proposition 2.3, there is some level m of the tree such that , and we may assume . Taking , we have that E is a finite index subgroup of H and that E normalizes each . Each factor is thus a chief factor of E; let be the chief block of E given by .
For each , the subgroup is a non-abelian closed normal subgroup of E. Letting list , put and observe that . We thus obtain a normal series for E:
Repeatedly applying Theorem 2.5, we may refine the series to include a representative for each . Since , there is some such that the refinement puts no subgroups between and . The subgroup is plainly contained in the centralizer of any which has a representative which appears in the refined series after . On the other hand, since centralizes , the group also centralizes the with representatives appearing in the refined series before . The group thus centralizes each block , and therefore, it centralizes each factor .
Returning to the setting of H, the subgroup is normal in H, and moreover, the previous paragraph ensures . Therefore, K intersects non-trivially, so is a finite index subgroup of G. We conclude that K has finite index in H, so . Each is thus abelian, which is absurd. ∎
Proof of Theorem 1.1.
The following example shows that the finite generation hypothesis is necessary in Theorem 3.2:
Let be the alternating group on five elements and take the usual permutation representation . For each , let be the iterated wreath product of n copies of . The permutation group given by the imprimitive action induces an embedding , where the action of on moves the vertices below the n-th level rigidly.
The form a directed system, so we may take the direct limit G. One verifies that the maps cohere to induce a map . The map ϕ moreover witnesses that G is a branch group. Applying Theorem 2.2, it follows that G is also just infinite.
However, G admits infinite commensurated subgroups of infinite index. For example, let F be a proper non-trivial subgroup of and let be the permutation representation induced by . The iterated wreath products of copies of again form a direct system. Moreover, the direct limit is an infinite commensurated subgroup of infinite index in G.
We conclude with an easy observation. The results of Shalom–Willis  show that various arithmetic groups, including for , have the following strong property, which is sufficient to ensure every commensurated subgroup is either finite or of finite index for a just infinite group. We say that commensurates if for all .
A group G is said to have the outer commensurator-normalizer property if the following holds: for every group H and every homomorphism , if there is commensurated by , then there is commensurate with D and normalized by .
Just infinite finitely generated branch groups can fail the outer commensurator-normalizer property. To see this, we recall a standard group-theoretic construction:
Suppose is a sequence of t.d.l.c. groups and suppose there is a distinguished compact open subgroup for each . The local direct product of over is defined to be
with the group topology such that continuously embeds as an open subgroup. We denote the local direct product by .
Local direct products of t.d.l.c. groups are again t.d.l.c. groups.
The Grigorchuk group fails the outer commensurator-normalizer property.
The Grigorchuk group G admits an action on a countable set X with a non-transfixed commensurated subset . That is to say, there is no such that G fixes setwise and ; see [2, Section 2.7].
Fix a non-trivial finite group F, let list copies of F indexed by X, and for each , define
We then form the local direct product . The group G obviously acts on by shift, so we take
Since Y is a commensurated subset of X and F is finite, it follows that H is a t.d.l.c. group.
The subgroup is a compact open subgroup of H, and thus, G commensurates it. Suppose for contradiction that is commensurate with U and normalized by G. Passing to the closure if necessary, we may take V to be closed, hence V is also a compact open subgroup. Let be the collection of coordinates x such that the projection is non-trivial. It follows that . However, since G normalizes V, the set must be stabilized by G, contradicting our choice of Y. ∎
Funding source: European Research Council
Award Identifier / Grant number: 278469
Funding statement: The author was supported by ERC grant #278469.
The author thanks Colin Reid for his helpful remarks and the anonymous referee for his or her detailed suggestions.
 Reid C. D. and Wesolek P. R., Homomorphisms into totally disconnected, locally compact groups with dense image, preprint 2015, http://arxiv.org/abs/1509.00156. 10.1515/forum-2018-0017Search in Google Scholar
 Shalom Y. and Willis G. A., Commensurated subgroups of arithmetic groups, totally disconnected groups and adelic rigidity, Geom. Funct. Anal. 23 (2013), no. 5, 1631–1683. 10.1007/s00039-013-0236-5Search in Google Scholar
 Tzanev K., Hecke -algebras and amenability, J. Operator Theory 50 (2003), 169–178. Search in Google Scholar
© 2017 by De Gruyter