
TL;DR
This paper explores the structure of certain tree automorphism groups, establishing conditions for their subgroups to resemble topological full groups, and demonstrating properties like compact generation, virtual simplicity, and the absence of lattices.
Contribution
It provides new criteria for subgroup isomorphism to topological full groups and applies these to universal groups, revealing their compact generation and simplicity properties.
Findings
Almost automorphism groups are compactly generated.
Some groups are virtually simple.
Certain groups have no lattices.
Abstract
We give sufficient conditions for a subgroup of a tree almost automorphism group to be isomorphic to the topological full groups of a one-sided shift in the sense of Matui. As an application, we show that almost automorphism groups of trees obtained from universal groups constructed by Burger and Mozes are compactly generated and virtually simple. In addition, using the approach of Bader, Caprace, Gelander and Mozes we show that some of these almost automorphism groups do not have any lattice.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Coloured Neretin Groups
Waltraud Lederle
ETH Zürich
Abstract
We give sufficient conditions for a subgroup of a tree almost automorphism group to be isomorphic to the topological full groups of a one-sided shift in the sense of Matui. As an application, we show that almost automorphism groups of trees obtained from universal groups constructed by Burger and Mozes are compactly generated and virtually simple. In addition, using the approach of Bader, Caprace, Gelander and Mozes we show that some of these almost automorphism groups do not have any lattice.
\unmarkedfntext
This article was in 2019 accepted for publication in Groups, Geometry and Dynamics.
1 Introduction
In the nineties Neretin [Ner92] introduced a class of groups acting on the boundary of a regular tree by piecewise tree automorphisms. He thought of them as ”combinatorial analogs of the group of diffeomorphism of the circle” and studied their representations. The groups are now known as Neretin’s group and are mostly considered as groups of almost automorphisms of regular trees; see Section 2.3 for definitions. They attracted the interest of group theorists when Kapoudjian [Kap99] proved them to be simple. Equipped with a natural topology, Neretin’s group is totally disconnected and locally compact, and it is now one of the fundamental and most interesting examples in the new growing structure theory of totally disconnected, locally compact groups, which has been mostly developed by Caprace, Reid and Willis; see for example [CRW17a, CRW17b]. Caprace and De Medts [CDM11] showed that Neretin’s group is compactly generated by showing it contains a dense copy of a Higman-Thompson group. In fact, Neretin’s group is even compactly presented; see Le Boudec [LB16]. This result was strengthened by Sauer and Thumann [ST17], who showed that it admits a cellular action on a contractible cellular complex with compact open stabilizers and such that the restriction of the action on each -skeleton is cocompact.
In his recent study of the topological full group of an étale groupoid, Matui [Mat15] focused on groupoids associated to one-sided shifts of finite type. He showed that the aforementioned Higman-Thompson groups are examples of such topological full groups. This gives one class of examples of groups which can be realized as tree almost automorphism groups and also as a topological full groups associated to a one-sided shift of finite type. In the present work, see Theorem 3.9, we generalize this example in the following sense. We will exhibit sufficient conditions determining when a subgroup of a tree almost automorphism group is isomorphic to the topological full group associated to a one-sided shift of finite type, and we will give the shift explicitly. This will allow us to explicitly determine their abelianization and prove compact generation for groups they embed in densely.
One reason why Neretin’s group is of great interest is the result by Bader, Caprace, Gelander and Mozes [BCGM12] that Neretin’s group does not have any lattice. Lattices play a tremendously important role in geometric group theory. Let be a locally compact group. A lattice in is a discrete subgroup such that there exists a finite, -invariant measure on the quotient . Neretin’s group was the first known example of a locally compact simple group not admitting any lattice. Other groups having these properties, which are acting on trees, were constructed by Le Boudec [LB16]. Besides being interesting in itself, being simple in combination with having no lattice is a necessary condition to also not admit any nontrivial invariant random subgroup (IRS). So far no example of a compactly generated, non-discrete, locally compact group without nontrivial IRS is known. It is an open question whether Neretin’s group has a nontrivial IRS. A good introduction into IRSs are, for example, the notes of Gelander [Gel15].
The major part of the present paper ist devoted to the study of generalizations of Neretin’s group, obtaining more examples of locally compact, compactly generated, simple groups without lattices. Let us shortly describe the construction. Let be a regular tree of degree and denote by its group of automorphisms with topology generated by all vertex stabilizers. Let be a closed subgroup. We are interested in the group of homeomorphisms of the boundary of consisting of all those homeomorphisms which ”locally look like” elements of . To make the last statement precise, one could say that is the topological full group of acting on the boundary ; see Section 2.3 for precise definitions. We prove that if has Tits’ Independence Property, then there exists a unique group topology on this group such that the inclusion is continuous and open; see Proposition 2.22.
We investigate more closely the case where is a universal group in the sense of Burger and Mozes. For every vertex of we fix a bijection from the edges incident to to the set . For every element we may, thus, talk about its local action at a vertex as an element of . Let be a subgroup of the symmetric group on letters. Burger and Mozes [BM00] constructed closed subgroups , called universal groups, whose local action at every vertex is in .
Definition 1.1**.**
A subgroup is called a Young subgroup if there is no subgroup preserving the orbits of .
The following theorem summarizes the main results of this paper; for full statements and proofs see Corollary 4.6, Theorem 4.11, Theorem 4.1, Theorem 5.1 and Theorem 5.11.
Theorem 1.2**.**
Let be any subgroup. The following hold for .
- a)
The commutator subgroup of is open, simple and has finite index. More precisely, the abelianization is a quotient of .
- b)
The group is compactly generated.
- c)
If is a Young subgroup with strictly less than orbits, then does not have any lattice. If has precisely orbits, then does not have any cocompact lattices.
Consequently, if is a Young subgroup with less than orbits, then is a compactly generated, non-discrete, simple group without lattices.
The first two statements are an application of the connection between almost automorphism groups of trees and topological full groups associated to one-sided shifts of finite type. This connection allows us to find a dense subgroup of that, by Matui’s work, is finitely generated. This is the generalization of the fact that Neretin’s group contains dense copies of a Higman-Thompson group. The proof of the third statement follows the approach of Bader, Caprace, Gelander and Mozes [BCGM12].
We want to point out the following questions that are left open in this article and we are interested in.
Question 1.3**.**
If a subgroup has Tit’s Independence Property and acts minimally on the tree, is its group of almost automorphisms compactly generated? Does it always densely contain a topological full group coming from a one-sided shift in the sense of Matui?
Question 1.4**.**
Let be a regular tree. If is a closed subgroup satisfying Tit’s Independence Property, which properties distinguish from Neretin’s group?
Question 1.5**.**
It appears rather arbitrary that the proof that does not have any lattices goes through only if is a Young subgroup. If is not a Young subgroup, does have lattices? For transitive satisfying specific additional properties, the answer can be found in the work by Le Boudec [LB16], Corollary 7.7.. He constructs examples of groups without lattices which embed as open subgroups into . For general the question whether has lattices or not is still open. Especially interesting would, of course, be a proof following a different approach to the one by Bader, Caprace, Gelander and Mozes or the one by Le Boudec.
Question 1.6**.**
Does have invariant random subgroups?
1.1 Organization of the paper
In Section 2 we set up basic notations, definitions and terminology. We introduce universal groups, almost automorphism groups of trees and Higman-Thompson groups. We establish some basic results about topological full groups of subgroups of for a regular tree . We also define the group and show the existence of a locally compact group topology on a class of almost automorphism groups including .
In Section 3 we introduce the topological full group of an étale groupoid following Matui. We also define one-sided irreducible shifts of finite type. We give a connection between topological full groups associated to one-sided shifts and tree almost automorphisms. As an application we will find a finitely generated subgroup which we think of as an analog of the Higman-Thompson group.
In Section 4 we show that is dense in and conclude that is compactly generated and its commutator subgroup is open, simple and has finite index. We also give normal subgroups of .
In Section 5 we prove the third part of Theorem 1.2.
Section 5 does not rely on Sections 3 and 4 and can be read independently.
1.2 Acknowledgments
I want to thank Marc Burger for helpful discussions and comments on previous versions of this work, Mario Šikić for careful reading of early versions and help with computer algebra systems for the lattice part, David Robertson for fruitful discussions, and Nicolás Matte Bon, Adrien Le Boudec, Pierre-Emmanuel Caprace and Stephan Tornier for useful remarks about previous versions of this article. I am particularly grateful to the anonymous referee for a very careful reading, plenty of good suggestions and pointing out a mistake in an earlier version. I also want to acknowledge the hospitality of the Australian Winter of Disconnectedness in Creswick, Victoria and Newcastle, New South Wales, where part of this work was completed.
2 Preliminaries and basic results
2.1 Trees
In this subsection we establish notations and conventions about graphs and trees. We follow the notion of Serre [Ser03]. In particular, an edge has an origin , a terminus and an inverse edge .
In the whole paper denotes a locally finite tree with vertex set and edge set . We assume it has no leaves and no isolated points in the boundary (see below for the definition of the boundary). Endow with the usual metric such that for all the distance between and is the length of the geodesic (i.e. the shortest path) from to . Fix a vertex of and consider as a rooted tree with root . Now we can talk about the parent and the children of a vertex of , namely its neighbours closer respectively more distant to (only does not have a parent but children). A path starting at is called rooted.
Definition 2.1**.**
The boundary of is the set of all rooted infinite geodesics in . It is denoted by .
Topology on .
For every vertex we denote by the subtree of whose vertices are all such that lies on the rooted geodesic to . It is a rooted tree with root . Its boundary is a subset of in an obvious way. The set is a basis of the topology on . With this topology is a Cantor space.
Automorphisms of .
Denote by the group of automorphisms of , that is, all graph morphisms which are bijective on and . We define a group topology on making it into a totally disconnected locally compact group. Let . Denote by all the elements of which fix every element of . A neighbourhood basis of the identity in consists of all subgroups of the form with finite. With this topology each of these basis elements is compact and open.
Terminology.
A subset of a topological space is called clopen if it is closed and open.
Tits’ Independence Property.
Tits [Tit70], Section 4.2, defined a property for subgroups of and proved a simplicity theorem for groups satisfying it. Let be any path in . For every vertex denote by the unique vertex of which is closest to . For such a vertex let be the subtree spanned by , that is, the inclusion-minimal subtree of containing . Let . The group leaves invariant. Thus, for every the restriction is a well-defined homomorphism. The group is said to have Tits’ Independence Property if for every as above the induced map is an isomorphism.
Remark 2.2**.**
If is closed, Tits’ Independence Property is equivalent to each of the following conditions, which for non-closed are weaker, but equivalent to each other, in general (see [Ama03], Section 1.2.):
- •
replacing “any path ” by “any finite subtree of ”;
- •
replacing “any path ” by “any edge of ”.
The importance of Tits’ Independence Property lies in the following theorem.
Theorem 2.3** ([Tit70], Theorem 4.5).**
Let be a subgroup satisfying Tits’ Independence Property. Assume that neither preserves any proper subtree nor fixes any element of . Then, the subgroup
[TABLE]
generated by all edge fixators in is simple or trivial.
2.2 Colorings and universal groups
In this subsection is a -regular tree. Definitions and statements presented here are, unless otherwise stated, due to Burger and Mozes [BM00], Section 3.2. For a more detailed introduction and proofs we refer to [GGT18], Section 4.
Legal colourings.
Throughout the paper we denote and call it the set of colours. We fix a legal edge colouring of , that is a map
[TABLE]
satisfying the following two properties.
- •
It is constant on geometric edges, i.e. for all .
- •
For every the edges incident to all have different colours, i.e. the restriction is a bijection.
Let be any subgroup. Every automorphism induces for each vertex a permutation defined by
[TABLE]
Definition 2.4**.**
The universal group associated to is defined by
[TABLE]
Informally speaking, it consists of all tree automorphisms whose local action is everywhere prescribed by .
That this indeed defines a group is due to the following lemma.
Lemma 2.5** ([GGT18], Lemma 4.2.).**
Let and . Then .
Remark 2.6**.**
A different choice of a legal colouring will result in a universal group that is conjugate to the original one.
Remark 2.7**.**
For every the universal group is a closed subgroup of satisfying Tits’ Independence Property. It is not hard to see that the group is discrete if and only if the action is free, which is again equivalent to .
The following lemma about extending certain tree automorphisms to “almost being in ” was formulated by Le Boudec in the case of a ball around a vertex. A close look at the proof shows that it is valid for every subtree of .
Lemma 2.8** ([LB16], Lemma 3.4.).**
Let be a subtree of . Let be such that for every vertex of the permutation preserves the orbits of . Then there exists such that and such that for all vertices which are either leaves of or not vertices of holds .
2.3 Almost automorphisms
Definition 2.9**.**
A finite subtree is called complete if it contains the root and if for every vertex of that is not a leaf all children of are also in .
Notation 2.10**.**
For a subtree we will denote by the set of leaves of .
Notation 2.11**.**
For a finite complete subtree the difference will always denote the subgraph . Hence is a forest with many connected components.
Definition 2.12**.**
Let and be finite complete subtrees of . An honest almost automorphism of is a forest isomorphism .
Almost automorphisms.
We now construct an equivalence relation on the set of honest almost automorphisms. Let be finite complete subtrees of . Let and be honest almost automorphisms of . We say that and are equivalent if there exists a finite complete subtree such that .
An almost automorphism of is the equivalence class of an honest almost automorphism under this equivalence relation. In our notation we will usually not distinguish between an honest almost automorphisms and its equivalence class, but say it explicitly whenever we need to talk about an honest almost automorphism.
Simple expansions.
In proofs it will be convenient to work with generators for this equivalence relation. For finite complete subtrees , we say that is obtained from by a simple expansion if there exists a leaf of such that is spanned by and the children of . Note that any finite complete subtree of containing is obtained from by a sequence of simple expansions. If in the preceding paragraph we require that is obtained from by a simple expansion and , the resulting relation generates the equivalence relation.
Remark 2.13**.**
Let be finite subtrees with the same number of leaves and let be an honest almost automorphism. Then, for every finite complete subtree containing there exists a unique finite complete subtree containing and a unique representative of . Explicitly and .
The analogous statement holds for .
Product of two almost automorphisms.
Take finite complete subtrees . Let and be almost automorphisms. By the previous remark we can choose a finite complete subtree of and take representatives for and with image respectively domain . These representatives we can compose. The equivalence class of this composition is the product . With this product the set of almost automorphisms of is a group, the almost automorphism group of the tree, denoted .
Definition 2.14**.**
If is a regular tree, then is called Neretin’s group.
The group of almost automorphisms for a subgroup of .
Let . We define its group of almost automorphisms. Let be finite complete subtrees. A -honest almost automorphism of is an honest almost automorphism such that for every there exists a with . The elements of are the equivalence classes of all -honest almost automorphisms. It is not hard to see that is a subgroup of .
Remark 2.15**.**
Note that Remark 2.13 remains true for -honest almost automorphisms.
Remark 2.16**.**
Let and be finite complete subtrees of and let be a subgroup. It is possible that there does not exist any -honest almost automorphism . Consider for example the group . Then there is no -honest almost automorphism as indicated in Figure 2 because clearly every -honest almost automorphism needs to preserve the distance of the leaves of to .
The intersection .
For a subgroup , sometimes the intersection is of interest. In general it is strictly larger than and can be much different. For example, even if is a closed subgroup of , this is in general not the case for . It is easy to see that enjoys a weaker form of Tits’ independence property, where is replaced by arbitrary finite subtrees, see Remark 2.2. Le Boudec investigated the intersection for regular trees and in [LB16] and for more general in [LB17a], Section 4.
We now generalize a proposition by Le Boudec, Lemma 3.3 in [LB16]. Recall that by convention all our trees are locally finite.
Proposition 2.17**.**
Let be a tree without leaves. Let be any subgroup. The orbits of on the directed edges of are the same as the orbits of .
Proof.
It suffices to show that and have the same orbits on edges. Recall that an edge by definition has an origin and a terminus, i.e. a tree automorphism fixing an edge also fixes both of its endpoints. It is obvious that every orbit of is contained in an orbit of .
Let, by contradiction, be such that there exists an edge of with . We call such an edge a bad edge for . Note that and therefore the inverse edge of a bad edge is also bad. Since coincides with automorphisms of on all but finitely many edges of , it has at most finitely many bad edges. Therefore, there exists a bad edge with no bad children, we assume is such and we denote . Formally, this implies that for all edges with and there exists a with . Note that is not a leaf, i.e. it has children.
Note that we do not assume that . Since there exists an element such that , for example for , the subgroups and of are conjugated and act orbit-equivalently on and , namely for example via . In particular, for all holds
[TABLE]
Let now be an element of . Since there exists an with . In particular and are in the same -orbit. Now if and are in the same -orbit, we find an element such that , contradiction. Hence and are not in the same orbit. But since the orbits of and need to have the same cardinalities, there exists an not equal to and such that and are in the same -orbit, but is not in . That means there exists a such that . But then . This is a contradiction. ∎
Remark/Warning.
Let be a subgroup. Consider an honest almost automorphism for finite complete subtrees of such that the equivalence class of is an element of . It is in general not true that is a -honest almost automorphism.
The group as topological full group.
We now give an alternative description of and prove that it is equivalent to the previous one.
Definition 2.18**.**
Consider a group acting on a topological space . The topological full group of this action is the following subgroup of . It consists of all those homeomorphisms such that for every there exists a neighbourhood of and a group element with .
Lemma 2.19**.**
For a subgroup the group is isomorphic to the topological full group of acting on . Consequently, it acts itself faithfully on .
Proof.
The group can be seen as a subgroup of in the same way as . Let be finite complete subtrees of with the same number of leaves and let be a -honest almost automorphism of . Let . Then is a path starting at and it needs to pass through one of the leaves of . Let be this leaf. There exists a with . For the action of on this means , and clearly is an open neighbourhood of . Therefore the equivalence class of is an element of the topological full group of acting on .
Let on the other hand be an element of the topological full group of acting on . By definition of the topology on and by compactness there exist finitely man vertices and such that and such that for every holds . We claim that the subtree of spanned by is finite and complete. It is the union of all images of rooted geodesics to for . Finiteness is therefore obvious. For completeness, assume that there is a vertex of which is not a leaf, but such that has a child which is not a vertex in . Then is not contained in , which is a contradiction. With the same argument the tree spanned by is finite and complete and we can see that can be viewed as a -honest almost automorphism with . ∎
2.3.1 Topology on almost automorphisms
Let be a closed subgroup. In particular is totally disconnected and locally compact. We want to define a group topology on such that is open. This is not always possible, but we will see that we can do it if has Tits’ Independence Property. First we need a lemma from Bourbaki.
Lemma 2.20** ([Bou98], Ch. III, Sect. I, Subsect. 2, Prop. 1).**
Let be a group and be a filter on satisfying the following three conditions.
For every there exists a such that . 2. 2.
For every holds . 3. 3.
For every and every holds .
Then, there exists a unique group topology on such that is a neighbourhood basis of the identity element.
Recall the important theorem of Van Dantzig about totally disconnected locally compact groups.
Theorem 2.21** ([VD36], TG. 39).**
For every totally disconnected locally compact group the set of its compact open subgroups is a neighbourhood basis of the identity.
Proposition 2.22**.**
Assume is closed and has Tits’ Independence Property. Then there exists a unique group topology on such that is an open subgroup.
Proof.
Since is totally disconnected and locally compact, any group topology on for which is open also has to be totally disconnected and locally compact. So we choose the filter on defined by
[TABLE]
Conditions 1 and 2 of Lemma 2.20 are clearly fulfilled by van Dantzig’s Theorem.
To verify Condition 3 let and be arbitrary. Take a finite complete subtree such that . By Remark 2.13 we can choose big enough such that there exists a finite complete subtree and a representative as -honest almost automorphism. Let be arbitrary. Then the -honest almost automorphism fixes the leaves of and therefore extends to an element in . Also, on each connected component of it coincides with an element of . Hence by Tits’ Independence Property it is an element of . We thus proved that , or equivalently , which shows . ∎
It is obvious that whenever is a subgroup of , then also is a subgroup of . The next proposition relates the actions of and on to a topological property of the almost automorphism groups.
Proposition 2.23**.**
Let be subgroups of . Assume is closed in and has Tits’ independence property, and endow with the topology from Proposition 2.22. Then is dense in if and only if and have the same orbits on directed edges of .
Proof.
Assume . Let be an edge of and let . Let be a finite complete subtree containing . Since is dense in and is open, there exist and such that . Hence, is an element of satisfying . Now we are done by Proposition 2.17.
Assume now that and have the same orbits on directed edges of . Let be an arbitrarily big finite complete subtree of . Let . We want to show that there exists a such that . Let be finite complete subtrees of such that is a representative as -honest almost automorphism. Assume without loss of generality that contains . Let be a leaf of and let be the unique edge of not contained in such that . Let be such that . Since and have the same orbits, there exists an such that . For this holds . Let be the -honest almost automorphism such that for every leaf of holds . By construction , so we are done. ∎
Example 2.24**.**
If is regular of degree and then is dense in if and only if and have the same orbits. See Section 2.2 to recall definitions. In addition, Proposition 3.5 in [LB16] proves that is closed in if and only if is a Young subgroup.
2.4 Higman-Thompson groups
We follow the approach of Caprace and De Medts described in [CDM11] Section 6.3. For a general reference with proofs, see Higman’s lecture notes [Hig74]. Another good introduction is [Bro87], Section 4.
Definition 2.25**.**
A plane order on a rooted tree is a collection of total orders such that for each the element is a total order on the children of .
Remark 2.26**.**
This is called a plane order because it indicates an embedding of the tree into with the following properties. The root is at the origin and the children of each vertex are below its parent, arranged from left to right according to the plane order.
Definition 2.27**.**
An almost automorphism is called locally order-preserving if there exist finite complete subtrees and a representative as honest almost automorphism satisfying the following. For every vertex of the restriction of on the children of is order-preserving.
It is not hard to see that the set of locally order-preserving almost automorphisms is a subgroup which does not depend on the root, but on the plane order.
Definition 2.28**.**
Let be such that the root has children and all other vertices have children. The subgroup of of locally order-preserving elements is called the Higman-Thompson group .
The conjugacy class of the Higman-Thompson group inside does not depend on the plane order. In Section 3.4.1 we will specify a plane order or a regular tree giving us a copy of the Higman-Thompson group which will turn out to be useful for our purposes.
Remark 2.29**.**
Let be finite complete subtrees with the same number of leaves. Let be a bijection. Then there exists a unique honest almost automorphism extending in an order-preserving way. We call its equivalence class the almost automorphism induced by . Let be a finite complete subtree of containing and let be the finite complete subtree of spanned by . Then is also induced by the bijection .
Notation 2.30**.**
For any group , we denote by its commutator subgroup, also called the derived subgroup.
Abelianization of .
Higman proved that is finitely presented and that it is simple if is even and has a simple subgroup of index , its commutator subgroup , if is odd. We will now describe the quotient map . We will not directly need this quotient map for the present work, but we will generalize the concept in Section 4 and therefore present the idea here. First we need to extend the plane order on to a total order on .
Definition 2.31**.**
Let be a plane order on . The lexographical order on is the total order on defined as follows. The choice of the root induces a partial order on , namely if and only if . Note that is a join-semilattice, i.e. every finite set has a supremum.
- •
If are such that , then .
- •
Otherwise, let be the supremum of and with respect to . For let be the child of satisfying . Then if and only if .
Let as in Defintion 2.27. Let be the unique order-preserving bijection with respect to the lexographical order on . Then is a permutation of the elements in and we can consider its sign . We want to know when the map descends to a well-defined homomorphism .
We replace (and thus also ) by a simple expansion (respectively ). We denote by the bijection induced by and by the unique order-preserving bijection with respect to the lexographical order on . If is odd, then . Therefore the map descends to a homomorphism . The kernel of this homomorphism is the subgroup , which is simple as proven by Higman. If is even, however, it is not difficult to see that . Therefore the map does not descend to a well-defined homomorphism , but is simple, see [Hig74].
3 From almost automorphisms to shifts
In this section we will define the topological full group of an étale groupoid as introduced by Matui. We will see how certain groups of tree almost automorphisms are isomorphic to topological full groups of groupoids associated to one-sided shifts.
3.1 The topological full group of a groupoid
We refer to the preliminaries in Matui’s article [Mat12] for a more detailed introduction to this topic.
Topological groupoids.
A groupoid is a category such that every morphism is an isomorphism. For our purposes we assume in addition that it is a small category, i.e. the class of objects as well as the class of morphisms are sets. A topological groupoid is a groupoid such that the set of objects and the set of morphisms are topological spaces and all structure maps (composition, inverse, identity, source and range) are continuous, and such that source and range are open maps. We denote by the space of objects and by the space of morphisms of . Denote by
[TABLE]
the source and range maps. A topological groupoid is called étale if and are local homeomorphisms. We will assume in addition that is a Cantor space and is Hausdorff.
Definition 3.1**.**
Let be a clopen subset. The reduction of to is the subgroupoid of with object space and morphism space , both endowed with the subspace topology. We denote it by .
Definition 3.2**.**
Let be an étale groupoid. A bisection of is a clopen subset such that and are homeomorphisms.
Definition 3.3**.**
The topological full group of an étale groupoid is
[TABLE]
We leave to the reader to check that it is indeed a subgroup of .
Recall that in Definition 2.18 we already had the notion of a topological full group, namely of a group acting on a topological space. Given an action of a discrete group on the Cantor set, one can associate to it the so-called action groupoid, and it turns out that the topological full group of the action groupoid coincides with the topological full group of the group action.
3.2 One-sided shifts of finite type
We refer to [Mat15], Section 6, for a more detailed treatment of shifts of finite type and the topological full group associated to them.
Definition 3.4**.**
Let be an oriented graph and its orientation. The adjacency matrix of is the matrix such that for all .
Assumptions on oriented graphs.
Let be an oriented graph and its adjacency matrix. We will always require two conditions on respectively . The first condition is that it must be irreducible, i.e. for all there exists an such that . This is equivalent to saying that there exists a path of length from to . The second condition is that must not be a permutation matrix, which is equivalent to saying that is not a disjoint union of oriented cycles.
One-sided irreducible shifts of finite type.
Let
[TABLE]
be the set of infinite oriented paths in . Note that is closed. Moreover, that is irreducible and not a permutation matrix ensures that is a Cantor space. Define the map by . It is a local homeomorphism. The pair is called the one-sided irreducible shift of finite type associated to .
Associated groupoid.
We associate to the following groupoid . The space of objects and morphisms are
[TABLE]
We endow with the topology that is generated by all sets of the form with clopen. The source and range maps are the projection on the last respecively first factor. Two elements and are composable if and only if and the product is . The unit space consists of all elements of the form and is homeomorphic to in an obvious way. The inverse is given by .
Theorem 3.5** ([Mat15], Section 6).**
Let be a finite oriented graph such that the associated adjacency matrix is irreducible and not a permutation matrix. Then, the topological full group is finitely presented (more precisely, it is of type ). Moreover, every non-trivial subgroup of normalized by contains . In particular is simple. Its abelianization is isomorphic to
[TABLE]
3.3 A connection between shifts and almost automorphisms
Recall from Subsection 2.4 that the group of locally order-preserving almost automorphisms of a tree depends on the choice of a plane order on the tree. Also recall that two finite complete subtrees of and a bijection incude a locally order-preserving almost automorphism.
Definition 3.6**.**
Let be a rooted tree with root . A labelling of is a finite set together with a map . Assume now that is endowed with a plane order. Let be complete finite subtrees of and let be an honest almost automorphism of . It is called label-preserving if and only if
- •
it is induced by the bijection and
- •
for every holds .
We denote the set of all almost automorphisms of admitting a label-preserving representative by .
It is in general not true that is a subgroup of , since the property of being label-preserving does not survive passing to a simple expansion. It is, however, stable under inversion.
Definition 3.7**.**
With the notation as in Definition 3.6, say that is compatible with the plane order if for all vertices with the following holds. They have the same number of children, we denote them by and respectively, and for every .
Lemma 3.8**.**
Let be a rooted tree endowed with a plane order. Let be a labelling of compatible with the plane order. Then is a subgroup of .
Proof.
Clearly contains the identity element and is closed under inverting elements. Let and be elements of with label-preserving representatives. Let be a finite complete subtree of containing and , and let be such that is another representative. Then is induced by . Moreover, an easy induction shows that for all vertices of holds . The result follows. ∎
We already know one rather trivial example. Namely, if is such that the root has children and all other vertices have children, and if is any constant map, then is the Higman-Thompson group .
Theorem 3.9**.**
Let be a rooted tree with root . Assume is endowed with a plane order. Let be a finite set. Let be a labelling compatible with the plane order. Assume in addition that is for every spanned by the set .
Then, the set is a subgroup of . Moreover, there exists a diconnected and non-circular finite oriented graph and a clopen subset such that .
Remark 3.10**.**
Before going to the proof, we want to construct a suitable graph and give an informal motivation why it looks like that. Concrete examples will be given in Theorem 3.17.
The group acts by homeomorphisms on , which is a set of infinite paths. Similarly the group acts by homeomorphisms on , which is also a set of infinite paths. We want to identify and in a way that identifies and .
Let be a vertex of . Consider the finite rooted geodesic with endpoint . This path has as many possibilities to continue without backtracking as has children. The number of children of only depends on the label of , and each of this children has itself a label, which may or may not be the same as .
Implementing this simple observation into the directed graph to be constructed, we declare that for every the graph has one vertex which we can identify with , i.e. . Imitating the children of the vertex above, we want that the vertex of has as many outgoing edges as has children, namely one with target for every child of with label . Note that the children of that have the same label as will yield loops.
This graph now almost does what we want, but there is still an issue, namely with the root of . Among its children, some labels might appear several times, and others not at all. To deal with the first problem, let for every the number denote the number of children of with label . If we distribute additional vertices arbitrarily on the incoming edges of . This completes the (not completely determined) construction of .
Summarizing, the graph we constructed above can be described and characterized as follows.
The set of vertices of is . 2. 2.
Call a path starting and ending at an element of , but not passing through any element of , an interrupted edge. 3. 3.
For every there are exactly as many interrupted edges starting at and ending in as one, and hence every, vertex of of label has children with label . 4. 4.
Two interrupted edges intersect at most in their start- and/or endpoint. 5. 5.
Every lies on exactly one interrupted edge. This interrupted edge ends in . In particular has incoming degree and outgoing degree equal to one. 6. 6.
The set of edges of we denote by .
The second problem we solve by choosing the clopen set appropriately. Denote . Then we define as the set of all infinite oriented paths in not starting at a , i.e.
[TABLE]
Proof of Theorem 3.9.
Let and be in Remark 3.10. We will also use other notations from there. Let be the set of finite oriented paths of positive length in with starting point not in and with endpoint in , i.e.
[TABLE]
The outline of the proof is the following. We first construct a tree with vertex set , where we consider the root. The set of infinite paths can be identified with the set of infinite paths in an obvious way. We endow with a specific plane order. Then there exists a unique tree isomorphism with and preserving the order on the children of every vertex. The plane order on will have the property that for all holds , where denotes the terminal vertex of the oriented path . We will see that the elements of can be written as precisely those almost automorphisms of which under correspond to elements of .
Let . Let be the set of interrupted edges starting at .
Now we are ready to construct . As mentioned we declare to be the root of . We define the set of children of to consist of the minimal paths in , i.e.
[TABLE]
Now iteratively for every with the set of children of is
[TABLE]
Informally speaking every child of the path is continued one (possibly interrupted) step further. This completes the construction of .
Next we define a plane order on , i.e. an order on the children of every vertex. Note that the root has for every exactly children with endpoint , which is as many children as has with label . Therefore there exists an order on the children of such that the order-preserving bijection from the children of to the children of satisfies for every child of . Endow the set of children of with such an order.
To define an order on the children of the other vertices of , we need a little preparation. For every fix an arbitrary vertex with . It will now serve as reference vertex. Further choose a bijection from to the children of with the property that for every . Recall that there is a total order on the children of , since has a plane order. Going back to , for every vertex of which is not the root its set of children has the form . Let now . We say that if and only if .
Now we will show that elements of are locally order-preserving almost automorphisms of . There is an easy identification between the set of infinite paths and the boundary . Namely, note that every element in can be uniquely written as , where is a minimal path in and is an interrupted edge in for every . Using this representation, is a homeomorphism.
Let be a bisection. There exist clopen partitions and of and positive integers satisfying the following. The bisection can be written as
[TABLE]
and restricts to a homeomorphism for every . By making the and smaller if necessary, we can assume that for every there exist finite paths and such that
[TABLE]
and Note that since the vertices of of the form have precisely one outgoing edge we can assume that for all without changing and . Then all and are vertices of . Observe that for holds
[TABLE]
Since is a clopen partition of , there is a finite complete subtree with
[TABLE]
In the same way there exists a finite complete subtree with
[TABLE]
The element is then an almost automorphism . It is such that for every vertex of holds
[TABLE]
Therefore this almost automorphism is locally order-preserving. This shows that every element of is a locally order-preserving almost automorphism of .
Let now and for let and be finite paths such that for
[TABLE]
the sets and are clopen partitions of . Then it is easy to see that that is a bisection of if and only if for every .
Let, on the other hand, be finite complete subtrees and let be an honest almost automorphism satisfying the following. It is locally order-preserving and for all holds . Repeating above argument in reverse shows that the sets of leaves and define two compact and open partitions of . These partitions together with the bijection can also be interpreted as a bisection of . This gives rise to an element of looking like .
Let be the unique tree isomorphism with and preserving the order on the children on every vertex. It has the following property. By definition of the plane order on , for every holds . Therefore, the almost automorphisms in and the almost automorphisms in exactly correspond to each other under . ∎
3.4 A subgroup of
Let as before be an integer and . In this section is a -regular tree. Let be any subgroup. We use notation and definitions from Subsection 2.2.
Notation 3.11**.**
From now on we will write .
In this section we investigate a certain subgroup that plays a role analogous to the Higman-Thompson group inside Neretin’s group. Theorem 3.9 will give that it is isomorphic to the topological full group of a shift of finite type. Consequently, by results of Matui [Mat15], it is finitely presented and its commutator subgroup is simple.
Notation 3.12**.**
We denote the orbits of by . For each we write .
3.4.1 A plane order on
Let be finite complete subtrees of and let be an arbitrary -honest almost automorphism. Then is a bijection such that for every the colours of the parent edges of and are in the same orbit of . This motivates the following definition of a labelling on .
Definition 3.13**.**
Let be defined as follows. Let be a vertex of and its parent edge. Then is the -orbit of .
Now we construct a plane order on such that we can apply the results of the preceding subsection to investigate the set of all label-preserving almost automorphisms .
Proposition 3.14**.**
There exists a plane order on with .
More precisely, there exists a plane order on such that every label-preserving honest almost automorphism is an -honest almost automorphism.
Proof.
As we will now see, the inclusion holds independently of the plane order. Let . Then there exist finite complete subtrees such that is an -almost automorphism which is as element of induced by the bijection . It is enough to show that the bijection enjoys the following property. For all and for all elements such that holds . But note that this is true because for the parent edge of holds .
For the reverse inclusion we first specify a plane order on , i.e. a total order on the children of every vertex , and then prove that it has the desired property. Denote for every vertex its parent edge by .
For children of we say that if and only if . For all other vertices the order will be determined by . Choose for each a colour , which we will now use as “reference colour”. Let be any vertex with and let be children of . Say if and only if . Let now and let be such that . We will now compare with the reference colour. Choose an element with , and set . Then restricts to a bijection . Let be any vertex with and let be children of . Say if and only if .
To verify that this plane order has the desired property, we first prove that . Let and be two finite complete subtrees of and let be a label-preserving honest almost automorphism. Let be a vertex of and let be such that . We have to prove that . We do this in three steps.
Step 1: The vertex is a leaf of .
By Lemma 2.8 there exists an element with and . Then by Lemma 2.5 we have .
Step 2: The vertex is a child of a leaf of .
Let denote the simple expansion of such that . Similarly denote by the simple expansion of such that . From Step 1 follows in particular that for all leaves of the colours and lie in the same orbit of , and therefore . Note that is also induced by the bijection . Thus the restriction is a label-preserving honest almost automorphism. Now we can repeat the argument from Step 1 for replaced by and get that .
Step 3: The vertex is a descendant of a vertex of .
Recall that every finite complete subtree containing is obtained from by a finite sequence of simple expansions. Therefore we iteratively get . This means that indeed . ∎
Notation 3.15**.**
Henceforth we abbreviate .
Example 3.16**.**
Consider the -regular tree from Figure 4. Its plane order is implied by how the tree is drawn from left to right, namely, for any children of a vertex holds if and only if is drawn to the left of .
Let . Let be the finite complete subtree whose leaves are the children of . Then there exists an element in (even in ) switching the vertices of label , i.e. the children of whose parent edge have colour and . Note, however, that the element of induced by this permutation of is not an element of .
Let now . Then holds with the drawn order.
Theorem 3.17**.**
There exists a diconnected, non-circular, finite, oriented graph such that is isomorphic to .
More precisely, let be the following graph. Let . The vertex set of is the union , where the are arbitrary pairwise different elements. The adjacency matrix in is defined to be
[TABLE]
Then .
Proof.
This follows directly from Theorem 3.9 since the graph is exactly as in Remark 3.10. ∎
Remark 3.18**.**
It might seem surprising at first sight that the dense subgroup only depends on the size of the orbits of . However, this is precisely what was already known in the transitive case. If is transitive, then is a group introduced by Caprace and De Medts in [CDM11] which in the literature is usually denoted as , a good introduction to it is Le Boudec’s article [LB17b]. The group in this case is the Higman-Thompson group .
4 Compact generation and virtual simplicity
Let be any subgroup. In this section we prove that is compactly generated and that is open, simple and has finite index in . Compact generation is a direct consequence of the theorem below. The statement is the analog to saying that Neretin’s group contains a dense copy of a Higman-Thompson group.
Theorem 4.1**.**
The finitely generated group is dense in .
Proof.
Let be an arbitrarily big finite complete subtree. We need to prove that for every element there exists an element such that . Let be two finite complete subtrees and let be an -honest almost automorphism. By Remark 2.13 we can assume that . Then restricts to a bijection which induces an element in such that . Proposition 3.14 implies that . In addition we observe that , which concludes the proof. ∎
Definition 4.2**.**
Let a group act on a topological space . The action is called minimal if every orbit is dense.
Definition 4.3**.**
Let a group act on the Cantor space . The action is called purely infinite if for every nonempty compact open subset there exist such that and .
Theorem 4.4** ([Mat15], Theorem 4.16).**
Let a group act minimally on the Cantor space such that the action is purely infinite. The commutator subgroup of the topological full group of this action is simple.
Remark 4.5**.**
In the article where this theorem is stated, it is assumed that is countable and the action is essentially free. However, a close inspection of the proof shows that these two assumptions are not used. I am grateful to Hiroki Matui for clarifying this point with me. See also Theorem 5.1 in [GG17].
Corollary 4.6**.**
The commutator subgroup is simple.
Proof.
By Theorem 4.4 it suffices to show that the action is purely infinite and minimal. For minimality, we refer to Proposition 51 in [Ama03], there it is also shown that the action does no preserve any proper subtree. For a proof of the classical fact that this implies that the action is purely infinite, see Lemma 4.25 in [LBMB18]. ∎
To investigate the abelianization of , we need the well-known Smith normal form. For the reader’s convenience we recall the statement here, it can be looked up e.g. in [BK00], Section 3.3.2 or [AW92], Section 5.3.
Lemma 4.7** (Smith normal form).**
Let be a principal ideal domain and let be a matrix. Then, there exist invertible matrices and , an integer and elements , called elementary divisors, such that
- •
* is the -th diagonal entry of ,*
- •
all other entries of are [math] and
- •
* divides for .*
The elementary divisors are unique up to multiplication with a unit. They have the property that the product is the greatest common divisor of the determinants of all -submatrices. Furthermore
[TABLE]
Notation 4.8**.**
As in the preceeding section we denote the orbits of by . For each we write .
Proposition 4.9**.**
The commutator subgroup has finite index in . More precisely, if all are even, the abelianization of is isomorphic to . Otherwise it is isomorphic to .
Proof.
By Theorem 3.5 the abelianization is isomorphic to
[TABLE]
To determine and we use the Smith normal form. When writing out the matrix explicitly, it is not hard to see that performing elementary row- and column operations on we get the block diagonal matrix
[TABLE]
which has a identity matrix in the upper left corner. The determinant of this matrix is , therefore . This already implies that the number of elementary divisors is , so is finite and therefore has finite index in .
We now determine the abelianization . Let be the elementary divisors of . Lemma 4.7 says
[TABLE]
The first elementary divisors are . The -th to -th elementary divisors are the elementary divisors of the second of two blocks in the above block diagonal matrix. They are given by the greatest common divisors of determinants of submatrices. Note that all possibly odd matrix entries are in the same column. From that we see that if one of the is odd, then the -th elementary divisor is odd and the further ones are even, otherwise all are even. Now since and since tensor product is distribuitive with direct sums, we get that
[TABLE]
∎
Remark 4.10**.**
This shows in particular that if is not transitive, then is not isomorphic to any Higman-Thompson group. By Theorem 3.10 in [Mat15], this implies that also the commutator subgroup cannot be isomorphic to the commutator subgroup of any Higman-Thompson group.
Theorem 4.11**.**
The commutator subgroup of is open and has finite index. More precisely, the homomorphism
[TABLE]
is surjective.
Proof.
We first show that is open. If is discrete, so is and there is nothing to show. Recall that is the subgroup of generated by all the edge fixators in . It is trivial if and only if the action of on is free, so if and only if is discrete, see Remark 2.7. Otherwise it is open in and simple by Theorem 2.3. If is non-discrete, it is easy to find two non-commuting elements in , so is not an abelian group. Therefore is non-trivial and normal in . Simplicitly of now implies and as a conclusion is open.
Obviously is a normal subgroup of . By the third isomorphism theorem the homomorphism is surjective. The second isomorphism theorem implies
[TABLE]
Since is dense and is open in we know and the result follows. ∎
The following corollary is immediate.
Corollary 4.12**.**
If is even and is transitive, then is simple.
4.1 Normal subgroups
We want to understand what normal subgroups can have.
Sign of an almost automorphism.
Let be finite complete subtrees of . Let be a -honest almost automorphism. If then by enlarging and if necessary we assume that is induced by the bijection . Consider an -invariant subset . Then induces a bijection
[TABLE]
Recall that in Section 2.4 we defined the lexographical order on the plane ordered tree . There exists a unique order-preserving bijection
[TABLE]
We define . Denote by the sign of the permutation . Recall that, as we have seen in Section 2.4 for , it is only defined on honest almost automorphisms and ist not constant on equivalence classes in general.
Proposition 4.13**.**
Let be -invariant.
- a)
The sign induces a well-defined homomorphism if and only if the cardinality is even. 2. b)
The sign induces a well-defined homomorphism if and only if the following two conditions are satisfied.
For every holds . 2. 2.
The cardinality is even.
Proof.
Let be finite complete subtrees of and let
[TABLE]
be -honest almost automorphisms. It is clear that
[TABLE]
We now prove the “if”-parts of a) and b). Consider a -honest almost automorphism . We need to show that for an equivalent honest almost automorphism with replaced by a simple expansion (and similarly replaced by a simple expansion ) holds . Recall that an inversion of the permutation is a pair such that but . Also recall that the sign of a permutation is or depending on if the number of its inversions is even or odd. Denote the set of inversions of a permutation by .
Let be the leaf of whose children are leaves of .
Step 1: The “if”-part of a). Assume that is even. Assume that the -honest almost automorphism is the element of induced by the bijection .
Observe that
[TABLE]
The second assumption of Step 1 implies
[TABLE]
Let be a child of and such that . Then is an inversion for if and only if for every child of with the pair is an inversion. The analogous statement holds for the pair . Therefore the cardinalities of the second and third set in above union are divisible by the number of children of whose label is contained in . We now distinguish two cases.
Case 1:
In this case
[TABLE]
Furthermore the number of children of whose label is a subset of is , hence even by assumption. Therefore is even if and only if is even. Consequently .
Case 2:
Let be a leaf of with . Let be a child of with . Note that by definition of the lexicographical order holds if and only if . This implies
[TABLE]
and since, by assumption, the number is odd, the cardinality is even if and only if is even. The analogous statement holds for instead of . Consequently
[TABLE]
This implies .
Step 2: The “if”-part of b). Assume that Assumptions 1. and 2. hold.
Recall that the bijection uniquely determines an element of . By post-composing with the inverse of this element and Step 1, we can assume . Now passing to , we see that the only possible inversions for are amongst the children of with label in . Note that they are permuted by an elmemet of that fixes . By Assumption 2., there are evenly many inversions. This concludes the proof that .
For the “only if”-parts denote by the vertices of distance to and denote by the finite complete subtree of spanned by .
Step 3: The “only if”-part of a). Assume that is odd.
Let . Let be an integer and let be such that the colour of their parent edges is . Let be the element of induced by the transposition of and . Then is a transposition and therefore . We consider now the -honest almost automorphism that is equivalent to . The permutation is the product of many transpositions. Since is odd, . Therefore is not well-defined on equivalence classes of almost automorphisms.
Step 4: The “only if”-part of b). Assume that Assumption 1. does not hold.
Let . Let and be such that and such that . Choose as follows. Pick a vertex such that the colour of its parent edge of is . Let and . Note that this implies and . Let and be -honest almost automorphisms and equivalent to . Then, since is an odd permutation we know that and . Therefore is not well-defined on the equivalence classes of almost automorphisms. ∎
Example 4.14**.**
Let and let . Then has four orbits, one of them with odd cardinality, and therefore . Consider . Its stabilizer in equals and restricts to a subgroup of with even for . The stabilizer of restricts to a subgroup of with even for . The stabilizer of and restricts to a subgroup of with even for and . Therefore is a well-defined homomorphism only for .
Remark 4.15**.**
The set is closed under symmetric difference, so it is an abelian group where every element has order . It seems plausible, and is true for , that is isomorphic to this group via an isomorphism induced by
[TABLE]
5 No lattices
In this section will always be a Young subgroup with orbits . Recall that this means . Denote again . The main goal of this section is to prove the following theorem.
Theorem 5.1**.**
Assume is a Young subgroup with less than orbits. Then the group does not admit a lattice.
The case is the content of [BCGM12]. Our proof follows the same argument.
Notation 5.2**.**
For each we write .
For we denote by the set of vertices of distance from and by the subtree spanned by , i.e. the smallest subtree of containing .
Denote by the equivalence classes of all -honest almost automorphisms . It is easy to see that is a compact and open subgroup and that . For we have and . Let
[TABLE]
Denote by the Haar measure on normalized by For denote
[TABLE]
In particular . The collection is a neighbourhood basis of the identity for and therefore also for and .
For the group acts on the leaves of . Denote this action by
[TABLE]
Its kernel is . Clearly it has orbits We can determine explicitly, namely
[TABLE]
where as in the previous section is the -orbit of the parent edge of . Since preserves the partition , acts on each as the whole symmetric group and for permutes the vertices of and independently, the image of is . Therefore induces an isomorphism
[TABLE]
5.1 The group has no lattice
Since is open, the following theorem implies Theorem 5.1.
Theorem 5.3**.**
Assume and . Then the group does not admit any lattice.
Remark 5.4** (Strategy of the proof of Theorem 5.3).**
Let by contradiction be a lattice. Denote its covolume by . Similarly denote by the covolume of in . We will now establish a lower bound for in terms of the index of in and use it to get an estimate for the index . Using this estimate we will, precisely as in [BCGM12], find non-trivial elements in for very large , which shows that cannot be discrete.
Notation 5.5**.**
For a subgroup we denote
[TABLE]
Covolume estimate.
Since is discrete there exists an such that for all holds . That implies since . We can make for the volume computation
[TABLE]
To prove that cannnot exist, we need a preparatory estimate.
Proposition 5.6**.**
If and there exists a constant such that for big enough holds
[TABLE]
Remark 5.7**.**
One can check that if then the inequality is reversed. This corresponds to exactly of the numbers being equal to and the remaining one equal to .
The case , in particular the case and , is covered in [BCGM12].
Before going to the quite technical proof of this Proposition we will derive Theorem 5.3 from it. We rephrase the key proposition from [BCGM12], which roughly says that subgroups of a huge finite symmetric group satisfying a certain index bound must contain one large alternating group or a product of many not so small alternating groups.
Proposition 5.8** (Proposition 4.1 from [BCGM12]).**
Let be positive real numbers and . There exists an integer depending on and such that for every finite set with every subgroup with
[TABLE]
satisfies one of the following (non-exclusive) alternatives.
There exists a subset with and . 2. 2.
There exist disjoint subsets which satisfy
[TABLE]
The conclusion of the proof that does not have a lattice works exactly as in [BCGM12]. For completeness we reproduce it here.
Proof of Theorem 5.3.
Let . By Proposition 5.6 we may apply Proposition 5.8 to and with and for some fixed Note that the choice of implies .
We introduce some terminology. Vertices with same parent are called siblings. Grandparents and grandchildren are defined in the obvious way.
First assume that satisfies Alternative 1. Then, by the pigeonhole principle there need to exist either three siblings or two pairs of siblings and in the set . Since , the corresponding permutation or is in . These permutations only permute amongst siblings, the preimage under of this element must be a nontrivial element in such that for all vertices outside of the local permutation is in . Since is a Young subgroup, by Lemma 3.3 in [LB16], or alternatively by Proposition 2.17, the element is contained in . This contradicts .
Assume now that satisfies Alternative 2. We can assume in addition that does not contain a nontrivial element that only permutes siblings, because otherwise we get a contradiction as above. This means that every contains at most one pair of siblings. We call siblings that are contained in the same twins. Note that there are as many as every parent has children. So, if a parent does not have twins, but still all its children are contained , then every contains exactly one of their children. Note that there are at most parents of twins and thus also at most grandparents of twins.
There are at most vertices in having a grandchild that is not in . Since and , this means that at least grandparents in have all their grandchildren in . If is such that , there are at least two grandparents all of whose grandchildren are in but who are not grandparents of twins. For each of the two , we can construct an element in by switching two of their children in a way that the grandchildren do not change they are contained in. By composing these two elements, we get an element in whose preimage under lies in , contradiction. ∎
In the proof of Proposition 5.6 we will need the following formulae.
Lemma 5.9**.**
For holds
[TABLE]
Proof.
By symmetry, for every the number of leaf edges of with is . This implies and
[TABLE]
Restriction to defines a surjective homomorphism
[TABLE]
The kernel of consists of all those automorphisms of which fix .
Incident to each leaf of label in are leaves of with label for and leaves with label . Thus we get and for we see
[TABLE]
Inductively we get
[TABLE]
∎
Proof of Proposition 5.6.
Recall Estimate (1), namely
[TABLE]
It is equivalent to
[TABLE]
and therefore it suffices to show that
[TABLE]
We write out this inequality explicitly in the values calculated in Lemma 5.9 and use the -Notation. The term is constant, so the inequality is equivalent to
[TABLE]
and after taking the logarithm it is equivalent to
[TABLE]
We need to deal with factorials of powers. For that we invoke Stirling’s estimate
[TABLE]
showing that
[TABLE]
It yields
[TABLE]
and
[TABLE]
Thus we obtain
[TABLE]
The dominant term appears on both sides with the same coefficient , so we can eliminate it and compare the coefficients of the newly dominating term, namely . They are
[TABLE]
on the left and
[TABLE]
on the right. To conclude the proof it suffices to show that this left dominant coefficient is strictly smaller than this right dominant coefficient, which is equivalent to
[TABLE]
i.e.
[TABLE]
This inequality is precisely the content of the next lemma. ∎
Lemma 5.10**.**
If and , then
[TABLE]
Proof.
For and we have equality. If and the inequality is true. Inductively and by symmetry in , the lemma will follow from two claims.
For positive integers with and define the function as the difference of the right hand side minus the left hand side, i.e.
[TABLE]
Claim 1:
Proof: Appending to the vector does not change the sums and , but increments by . After obvious simplifications and rearrangings of terms the desired inequality is equlivalent to
[TABLE]
Because the function is convex and symmetric in , it attains its minimum if all the are the same, i.e.
[TABLE]
We estimate the term dependent on the from below
[TABLE]
and are left with showing that
[TABLE]
Oberve that
[TABLE]
and similarly
[TABLE]
Therefore converges to [math] as approaches infinity. The first three derivatives of are
[TABLE]
Since is strictly negative for , we know that is strictly concave. In addition converges to zero, so it must be negative. This implies that is a strictly decreasing function converging to zero. Therefore must be positive and Claim 1 follows.
Claim 2:
Proof: The inequality is, after obvious simplifications, equivalent to
[TABLE]
which after exponentiating is equivalent to
[TABLE]
We estimate the left hand side from above by setting and get
[TABLE]
which is true for because and , so Claim 2 follows.
To conclude the lemma from these two claims, observe that any vector as in the lemma arises from or by a sequence of operations as in Claim 1 and Claim 2 and rearranging coordinates. ∎
5.2 The group has no cocompact lattice
We do not know if for a Young group with orbits the group has a non-cocompact lattice or not, but at least we can prove the non-existence of cocompact lattices. After conjugating with an element of we can assume .
Theorem 5.11**.**
The group has no cocompact lattice.
The proof works again as in [BCGM12]. We need three lemmata.
Lemma 5.12** (Ramanujan,[Ram00]).**
For every there exist three different prime numbers in the interval .
Definition 5.13**.**
Let be a finite set. A subgroup of is called primitive if the only partitions of it preserves are the trivial partition and the atomic partition .
Lemma 5.14** ([BCGM12], Lemma 3.1.).**
A subgroup of generated by two prime cycles whose respective supports intersect nontrivially, but are not contained in one another, acts doubly transitively (in particular, primitively) on its support.
Lemma 5.15** (Jordan’s Theorem, see [Wie64], Theorem 13.9.).**
A primitive subgroup of containing a -cycle for a prime number is equal to or .
Proof of Theorem 5.11.
We again show that already does not have a cocompact lattice. Let, by contradiction, be a cocompact lattice. Consider now a compact fundamental domain of . Because is the increasing union of the , for big enough, the fundamental domain is contained in . Thus, for big enough, the sequence becomes constant and all inequalities in Estimate (1) are actually equalities. This shows that is rational and for big holds
[TABLE]
Observe that has arbitrarily big odd prime factors. All of them need to be cancelled out in the fraction above by . By Lemma 5.12 there exist three different prime numbers in the closed interval . Hence there exist primes such that . None of their squares divides . Consequently needs to be divisible by and by , so by Cauchy’s Theorem contains a -cycle and a -cycle. Without loss of generality we can assume . Since for every , the mentioned -cycle and -cycle must be contained in and intersect nontrivially. Now conjugating the -cycle with the -cycle we can produce another -cycle whose support intersects the support of the original -cycle non-trivially and such that the union of their supports has cardinality at least . By Lemma 5.14 and Lemma 5.15 we deduce that contains the alternating group of some set of vertices of size .
Now as in the proof of Theorem 5.3, by the pigeonhole principle contains two pairs of siblings and such that for and . The permutation
[TABLE]
is an element of , but its pre-image is a non-trivial element of . This is not possible for large and makes the existence of impossible. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[Ama 03] Olivier Amann. Groups of tree-automorphisms and their unitary representations . Ph D thesis, Diss., Mathematische Wissenschaften ETH Zürich, Nr. 15292, 2003, 2003.
- 2[AW 92] William A. Adkins and Steven H. Weintraub. Algebra , volume 136 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1992. An approach via module theory.
- 3[BCGM 12] Uri Bader, Pierre-Emmanuel Caprace, Tsachik Gelander, and Shahar Mozes. Simple groups without lattices. Bull. Lond. Math. Soc. , 44(1):55–67, 2012.
- 4[BK 00] A. J. Berrick and M. E. Keating. An introduction to rings and modules with K 𝐾 K -theory in view , volume 65 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2000.
- 5[BM 00] Marc Burger and Shahar Mozes. Groups acting on trees: from local to global structure. Inst. Hautes Études Sci. Publ. Math. , (92):113–150 (2001), 2000.
- 6[Bou 98] Nicolas Bourbaki. General topology. Chapters 1–4 . Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. Translated from the French, Reprint of the 1989 English translation.
- 7[Bro 87] Kenneth S. Brown. Finiteness properties of groups. In Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985) , volume 44, pages 45–75, 1987.
- 8[CDM 11] Pierre-Emmanuel Caprace and Tom De Medts. Simple locally compact groups acting on trees and their germs of automorphisms. Transform. Groups , 16(2):375–411, 2011.
