-
On commensurators of free groups and free pro-p groups
Authors:
Yiftach Barnea,
Mikhail Ershov,
Adrien Le Boudec,
Colin D. Reid,
Matteo Vannacci,
Thomas Weigel
Abstract:
We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a question of Lubotzky. On the other hand, we exhibit a family of easy-to-define finitely generated subgroups of $Comm(F)$ and show that some groups in this family are s…
▽ More
We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a question of Lubotzky. On the other hand, we exhibit a family of easy-to-define finitely generated subgroups of $Comm(F)$ and show that some groups in this family are simple.
For a prime $p$, we also consider the p-commensurator $Comm_p(F)$, which is the commensurator of $F$ viewed as a group with pro-$p$ topology. By contrast with $Comm(F)$, we prove that $Comm_p(F)$ has a simple subgroup of index at most 2. Further, while the isomorphism class of $Comm(F)$ does not depend on the rank of $F$, we prove that the isomorphism class of $Comm_p(F)$ depends on the rank of $F$ and determine the exact dependency.
If $\mathbf F$ is the pro-$p$ completion of $F$ (which is a free pro-$p$ group), $Comm(\mathbf F)$ is a totally disconnected locally compact (tdlc) group containing $\mathbf F$ as an open subgroup. We use $Comm_p(F)$ to construct an abstractly simple subgroup of $Comm(\mathbf F)$ containing $\mathbf F$ as well as a family of non-discrete tdlc groups which are compactly generated and simple.
△ Less
Submitted 5 July, 2025;
originally announced July 2025.
-
Locally compact piecewise full groups of homeomorphisms
Authors:
Alejandra Garrido,
Colin D. Reid
Abstract:
We study when a piecewise full group (a.k.a. topological full group) of homeomorphisms of the Cantor space $X$ can be given a non-discrete totally disconnected locally compact (t.d.l.c.) topology and give a criterion for the alternating full group (in the sense of Nekrashevych's group A(G) to be compactly generated. As a result, starting from qualitative criteria, we obtain a large class of t.d.l.…
▽ More
We study when a piecewise full group (a.k.a. topological full group) of homeomorphisms of the Cantor space $X$ can be given a non-discrete totally disconnected locally compact (t.d.l.c.) topology and give a criterion for the alternating full group (in the sense of Nekrashevych's group A(G) to be compactly generated. As a result, starting from qualitative criteria, we obtain a large class of t.d.l.c. groups such that the derived group is non-discrete, compactly generated, open and simple, putting previous constructions of Neretin, Roever and Lederle in a more systematic context. We also show some notable properties of Neretin's groups apply to this class in general. General consequences are derived for the theory of simple t.d.l.c. groups, prime among them the universal role that alternating full groups play in the class of simple t.d.l.c. groups that are non-discrete, compactly generated and locally decomposable.
Some of the theory is developed in the setting of topological inverse monoids of partial homeomorphisms of $X$. In particular, we obtain a sufficient condition to extend the topology to a monoid equipped with all restrictions with respect to compact open subsets of $X$ and all joins of compatible pairs of elements. The compact generation criterion is also naturally expressed in this context.
△ Less
Submitted 1 January, 2025;
originally announced January 2025.
-
Compressible subgroups and simplicity
Authors:
Alejandra Garrido,
Colin D. Reid
Abstract:
In this article we give sufficient conditions for a group to have simple derived subgroup; the argument is based on generalising properties observed for extremely proximal micro-supported actions on the Cantor space, and generalises previous results of Matui, Le Boudec and others in this direction. We give a sufficient condition for a non-trivial normal subgroup (not assumed closed) of a locally c…
▽ More
In this article we give sufficient conditions for a group to have simple derived subgroup; the argument is based on generalising properties observed for extremely proximal micro-supported actions on the Cantor space, and generalises previous results of Matui, Le Boudec and others in this direction. We give a sufficient condition for a non-trivial normal subgroup (not assumed closed) of a locally compact group $G$ to be open, also based on the theory of micro-supported actions. This shows in particular that many of the class of robustly monolithic groups introduced by Caprace--Reid--Wesolek are simple-by-discrete.
△ Less
Submitted 25 December, 2024;
originally announced December 2024.
-
The scale function for locally compact groups acting on non-positively curved spaces
Authors:
Colin D. Reid
Abstract:
Let $G$ be a totally disconnected, locally compact (t.d.l.c.) group. The scale $s_G(g)$ of $g \in G$ in the sense of Willis is given by the minimum value of the index $|gUg^{-1}:U \cap gUg^{-1}|$ as $U$ ranges over the compact open subgroups; the theory associated to the scale has been very successful in describing general dynamical features of automorphisms of t.d.l.c. groups.
We focus on the c…
▽ More
Let $G$ be a totally disconnected, locally compact (t.d.l.c.) group. The scale $s_G(g)$ of $g \in G$ in the sense of Willis is given by the minimum value of the index $|gUg^{-1}:U \cap gUg^{-1}|$ as $U$ ranges over the compact open subgroups; the theory associated to the scale has been very successful in describing general dynamical features of automorphisms of t.d.l.c. groups.
We focus on the case where $G$ acts properly and continuously by isometries on a geodesic space $X$, where $X$ is complete CAT(0) or proper and Gromov-hyperbolic, and $g \in G$ is hyperbolic. In this context, we find geometric descriptions of the parabolic and contraction groups, tidy subgroups, and structures in the $G$-action that encode the scale, including criteria for $g$ to have scale $1$.
△ Less
Submitted 15 December, 2024;
originally announced December 2024.
-
An introduction to the local-to-global behaviour of groups acting on trees and the theory of local action diagrams
Authors:
Colin D. Reid,
Simon M. Smith
Abstract:
The primary tool for analysing groups acting on trees is Bass--Serre Theory. It is comprised of two parts: a decomposition result, in which an action is decomposed via a graph of groups, and a construction result, in which graphs of groups are used to build examples of groups acting on trees. The usefulness of the latter for constructing new examples of `large' (e.g. nondiscrete) groups acting on…
▽ More
The primary tool for analysing groups acting on trees is Bass--Serre Theory. It is comprised of two parts: a decomposition result, in which an action is decomposed via a graph of groups, and a construction result, in which graphs of groups are used to build examples of groups acting on trees. The usefulness of the latter for constructing new examples of `large' (e.g. nondiscrete) groups acting on trees is severely limited. There is a pressing need for new examples of such groups as they play an important role in the theory of locally compact groups. An alternative `local-to-global' approach to the study of groups acting on trees has recently emerged, inspired by a paper of Marc Burger and Shahar Mozes, based on groups that are `universal' with respect to some specified `local' action. In recent work, the authors of this survey article have developed a general theory of universal groups of local actions, that behaves, in many respects, like Bass--Serre Theory. We call this the theory of local action diagrams. The theory is powerful enough to completely describe all closed groups of automorphisms of trees that enjoy Tits' Independence Property (P).
This article is an introductory survey of the local-to-global behaviour of groups acting on trees and the theory of local action diagrams. The article contains many ideas for future research projects.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Rigid stabilizers and local prosolubility for boundary-transitive actions on trees
Authors:
Colin D. Reid
Abstract:
Let $G$ be a group acting $2$-transitively on the boundary of a locally finite tree, and exclude the situation (which is a genuine exception) where $G$ has both $\mathrm{P}Γ\mathrm{L}_3(4)$ and $\mathrm{P}Γ\mathrm{L}_3(5)$ as local actions. We show that for each half-tree $T_a$, the local action of the rigid stabilizer of $T_a$ at the root of $T_a$ contains the soluble residual of the point stabil…
▽ More
Let $G$ be a group acting $2$-transitively on the boundary of a locally finite tree, and exclude the situation (which is a genuine exception) where $G$ has both $\mathrm{P}Γ\mathrm{L}_3(4)$ and $\mathrm{P}Γ\mathrm{L}_3(5)$ as local actions. We show that for each half-tree $T_a$, the local action of the rigid stabilizer of $T_a$ at the root of $T_a$ contains the soluble residual of the point stabilizer of the local action of $G$. In particular, $G$ is locally prosoluble if and only if its local actions have soluble point stabilizers; if $G$ is not locally prosoluble, then it has micro-supported action on the boundary. We also prove some strong restrictions on the local actions of end stabilizers in $G$. These results are partly inspired by Radu's classification of groups acting boundary-$2$-transitively on trees with local action containing the alternating group, and partly based on the author's recent classification of finite permutation groups that preserve an equivalence relation, act faithfully on blocks and act transitively on pairs of points from different blocks.
△ Less
Submitted 9 August, 2024; v1 submitted 22 January, 2023;
originally announced January 2023.
-
Multiple transitivity except for a system of imprimitivity
Authors:
Colin D. Reid
Abstract:
Let $Ω$ be a set equipped with an equivalence relation $\sim$; we refer to the equivalence classes as blocks of $Ω$. A permutation group $G \le \mathrm{Sym}(Ω)$ is $k$-by-block-transitive if $\sim$ is $G$-invariant, with at least $k$ blocks, and $G$ is transitive on the set of $k$-tuples of points such that no two entries lie in the same block. The action is block-faithful if the action on the set…
▽ More
Let $Ω$ be a set equipped with an equivalence relation $\sim$; we refer to the equivalence classes as blocks of $Ω$. A permutation group $G \le \mathrm{Sym}(Ω)$ is $k$-by-block-transitive if $\sim$ is $G$-invariant, with at least $k$ blocks, and $G$ is transitive on the set of $k$-tuples of points such that no two entries lie in the same block. The action is block-faithful if the action on the set of blocks is faithful. In this article we classify the finite block-faithful $2$-by-block-transitive actions. We also show that for $k \ge 3$, there are no finite block-faithful $k$-by-block-transitive actions with nontrivial blocks.
△ Less
Submitted 9 August, 2024; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Locally normal subgroups and ends of locally compact Kac-Moody groups
Authors:
Pierre-Emmanuel Caprace,
Timothée Marquis,
Colin D. Reid
Abstract:
A locally normal subgroup in a topological group is a subgroup whose normaliser is open. In this paper, we provide a detailed description of the large-scale structure of closed locally normal subgroups of complete Kac-Moody groups over finite fields. Combining that description with the main result from arXiv:2111.07066, we show that under mild assumptions, if the Kac-Moody group is one-ended (a pr…
▽ More
A locally normal subgroup in a topological group is a subgroup whose normaliser is open. In this paper, we provide a detailed description of the large-scale structure of closed locally normal subgroups of complete Kac-Moody groups over finite fields. Combining that description with the main result from arXiv:2111.07066, we show that under mild assumptions, if the Kac-Moody group is one-ended (a property that is easily determined from the generalised Cartan matrix), then it is locally indecomposable, which means that no open subgroup decomposes as a nontrivial direct product.
△ Less
Submitted 17 November, 2022; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Growing trees from compact subgroups
Authors:
Pierre-Emmanuel Caprace,
Timothée Marquis,
Colin D. Reid
Abstract:
We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is…
▽ More
We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is compact, and is closely related to the Boolean algebra formed by the centralisers of the subgroups of $G/N$ with open normaliser. As an application, we find a sufficient condition, given a one-ended t.d.l.c. group $G$, for all direct factors of open subgroups of $G$ to be trivial or open.
△ Less
Submitted 5 September, 2023; v1 submitted 13 November, 2021;
originally announced November 2021.
-
A class of well-founded totally disconnected locally compact groups
Authors:
Colin D. Reid
Abstract:
Motivated by the problem of finding a "well-foundedness principle" for totally disconnected, locally compact (t.d.l.c.) groups, we introduce a class $\mathscr{E}^{\mathscr{S}}$ of t.d.l.c. groups, containing P. Wesolek's class $\mathscr{E}$ of (regionally) elementary groups but also including many groups in the class $\mathscr{S}$ of nondiscrete compactly generated topologically simple t.d.l.c. gr…
▽ More
Motivated by the problem of finding a "well-foundedness principle" for totally disconnected, locally compact (t.d.l.c.) groups, we introduce a class $\mathscr{E}^{\mathscr{S}}$ of t.d.l.c. groups, containing P. Wesolek's class $\mathscr{E}$ of (regionally) elementary groups but also including many groups in the class $\mathscr{S}$ of nondiscrete compactly generated topologically simple t.d.l.c. groups. The class $\mathscr{E}^{\mathscr{S}}$ carries a well-behaved rank function and is closed under taking directed unions, open subgroups, closed normal subgroups, extensions and quotients. The class $\mathscr{E}^{\mathscr{S}}$ also includes other well-studied families of t.d.l.c. groups that are not contained in $\mathscr{E}$, including all locally linear t.d.l.c. groups, all complete geometric Kac--Moody groups over finite fields, the Burger--Mozes groups $U(F)$ where $F$ is primitive, and $2^{\aleph_0}$ more examples of groups in $\mathscr{S}$ that arise as groups acting on trees with Tits' independence property (P). On the other hand, $\mathscr{E}^{\mathscr{S}}$ excludes the Burger--Mozes groups $U(F)$ where $F$ is nilpotent and does not act freely. By contrast, a larger class $\mathscr{E}^{[\mathrm{Sim}]}$ (with similar closure properties to $\mathscr{E}^{\mathscr{S}}$) is closed under forming actions on trees with property (P).
△ Less
Submitted 6 August, 2021;
originally announced August 2021.
-
Totally disconnected locally compact groups with just infinite locally normal subgroups
Authors:
Colin D. Reid
Abstract:
We obtain a characterization of totally disconnected, locally compact groups $G$ with the following property: given a locally normal subgroup $K$ of $G$, then there is an open subgroup of $K$ that is a direct factor of an open subgroup of $G$. This property is motivated by J. Wilson's structure theory of just infinite groups, and indeed, when $G$ has trivial quasi-centre, the condition turns out t…
▽ More
We obtain a characterization of totally disconnected, locally compact groups $G$ with the following property: given a locally normal subgroup $K$ of $G$, then there is an open subgroup of $K$ that is a direct factor of an open subgroup of $G$. This property is motivated by J. Wilson's structure theory of just infinite groups, and indeed, when $G$ has trivial quasi-centre, the condition turns out to be equivalent to the condition that $G$ is locally isomorphic to a finite direct product of just infinite profinite groups. In the latter situation we obtain some global structural features of $G$, building on an earlier result of Barnea--Ershov--Weigel and also using tools developed by P.-E. Caprace, G. Willis and the author for studying local structure in totally disconnected locally compact groups.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Decomposition of locally compact coset spaces
Authors:
Colin D. Reid
Abstract:
In a previous article by the author and P. Wesolek, it was shown that a compactly generated locally compact group $G$ admits a finite normal series $(G_i)$ in which the factors are compact, discrete or irreducible in the sense that no closed normal subgroup of $G$ lies properly between $G_{i-1}$ and $G_{i}$. In the present article, we generalize this series to an analogous decomposition of the cos…
▽ More
In a previous article by the author and P. Wesolek, it was shown that a compactly generated locally compact group $G$ admits a finite normal series $(G_i)$ in which the factors are compact, discrete or irreducible in the sense that no closed normal subgroup of $G$ lies properly between $G_{i-1}$ and $G_{i}$. In the present article, we generalize this series to an analogous decomposition of the coset space $G/H$ with respect to closed subgroups, where $G$ is locally compact and $H$ is compactly generated. This time, the irreducible factors are coset spaces $G_{i}/G_{i-1}$ where $G_{i}$ is compactly generated and there is no closed subgroup properly between $G_{i-1}$ and $G_{i}$. Such irreducible coset spaces can be thought of as a generalization of primitive actions of compactly generated locally compact groups; we establish some basic properties and discuss some sources of examples.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
A classification of the abelian minimal closed normal subgroups of locally compact second-countable groups
Authors:
Colin D. Reid
Abstract:
We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$; with known exceptions (specifically, when $A$ is $\mathbb{Q}^n$ or its dual for some $n \in \mathbb{N}$), we can take $G$ to be compactly generated. This amoun…
▽ More
We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$; with known exceptions (specifically, when $A$ is $\mathbb{Q}^n$ or its dual for some $n \in \mathbb{N}$), we can take $G$ to be compactly generated. This amounts to a classification of the possible isomorphism types of abelian chief factors of l.c.s.c. groups, which is of particular interest for the theory of compactly generated locally compact groups.
△ Less
Submitted 6 June, 2020;
originally announced June 2020.
-
Discrete locally finite full groups of Cantor set homeomorphisms
Authors:
Alejandra Garrido,
Colin D. Reid
Abstract:
This work is motivated by the problem of finding locally compact group topologies for piecewise full groups (a.k.a.~ topological full groups). We determine that any piecewise full group that is locally compact in the compact-open topology on the group of self-homeomorphisms of the Cantor set must be uniformly discrete, in a precise sense that we introduce here. Uniformly discrete groups of self-ho…
▽ More
This work is motivated by the problem of finding locally compact group topologies for piecewise full groups (a.k.a.~ topological full groups). We determine that any piecewise full group that is locally compact in the compact-open topology on the group of self-homeomorphisms of the Cantor set must be uniformly discrete, in a precise sense that we introduce here. Uniformly discrete groups of self-homeomorphisms of the Cantor set are in particular countable, locally finite, residually finite and discrete in the compact-open topology. The resulting piecewise full groups form a subclass of the ample groups introduced by Krieger. We determine the structure of these groups by means of their Bratteli diagrams and associated dimension ranges ($K_0$ groups). We show through an example that not all uniformly discrete piecewise full groups are subgroups of the ``obvious'' ones, namely, piecewise full groups of finite groups.
△ Less
Submitted 5 April, 2021; v1 submitted 17 May, 2020;
originally announced May 2020.
-
Groups acting on trees with Tits' independence property (P)
Authors:
Colin D. Reid,
Simon M. Smith
Abstract:
A 1970 article of J. Tits concerning groups acting on trees introduced an independence property $(\mathrm{P})$ as a condition to produce the first examples of nonlinear nondiscrete locally compact simple groups, answering a question of J. P. Serre. This property has become very important in the recent development of the theory of totally disconnected, locally compact (t.d.l.c.) groups, with the ma…
▽ More
A 1970 article of J. Tits concerning groups acting on trees introduced an independence property $(\mathrm{P})$ as a condition to produce the first examples of nonlinear nondiscrete locally compact simple groups, answering a question of J. P. Serre. This property has become very important in the recent development of the theory of totally disconnected, locally compact (t.d.l.c.) groups, with the majority of new constructions of compactly generated simple t.d.l.c. groups using $(\mathrm{P})$ or related ideas.
In this paper we aim to advance the local-to-global theory of groups acting on trees by developing a `local action' complement to classical Bass--Serre theory. We describe, for a closed group $G$ of automorphisms of a (not necessarily locally finite) tree $T$ something called a local action diagram: a graph decorated with the local actions of $G$. A local action diagram plays a role in our theory that is analogous to a graph of groups in Bass--Serre theory. In place of the universal cover of a graph of groups, we define the universal group of a local action diagram. In this context, the groups $\mathbf{U}(F)$ and $\mathbf{U}(F_1, F_2)$ play analogous roles to the HNN extension and amalgamated free product respectively in Bass--Serre theory. We then show how to determine whether the universal group has certain properties, such as geometric density, compact generation and simplicity, directly from the local action diagram.
Our theory allows us to completely describe all closed groups of automorphisms of trees with Tits' independence property $(\mathrm{P})$: they are precisely the universal groups of local action diagrams.
△ Less
Submitted 26 July, 2022; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Topologically simple, totally disconnected, locally compact infinite matrix groups
Authors:
Peter Groenhout,
Colin D. Reid,
George A. Willis
Abstract:
Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group topology and are topologically simple.
Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group topology and are topologically simple.
△ Less
Submitted 14 December, 2019; v1 submitted 22 November, 2019;
originally announced November 2019.
-
A sufficient condition for a locally compact almost simple group to have open monolith
Authors:
Colin D. Reid
Abstract:
We obtain a sufficient condition, given a totally disconnected, locally compact group $G$ with a topologically simple monolith $S$, to ensure that $S$ is open in $G$ and abstractly simple.
We obtain a sufficient condition, given a totally disconnected, locally compact group $G$ with a topologically simple monolith $S$, to ensure that $S$ is open in $G$ and abstractly simple.
△ Less
Submitted 17 February, 2019;
originally announced February 2019.
-
Orientation of piecewise powers of a minimal homeomorphism
Authors:
Colin D. Reid
Abstract:
We show that given a compact minimal system $(X,g)$ and an element $h$ of the topological full group $τ[g]$ of $g$, then the infinite orbits of $h$ admit a locally constant orientation with respect to the orbits of $g$. We use this to obtain a clopen partition of $(X,G)$ into minimal and periodic parts, where $G$ is any virtually polycyclic subgroup of $τ[g]$. We also use the orientation of orbits…
▽ More
We show that given a compact minimal system $(X,g)$ and an element $h$ of the topological full group $τ[g]$ of $g$, then the infinite orbits of $h$ admit a locally constant orientation with respect to the orbits of $g$. We use this to obtain a clopen partition of $(X,G)$ into minimal and periodic parts, where $G$ is any virtually polycyclic subgroup of $τ[g]$. We also use the orientation of orbits to give a refinement of the index map and to describe the role in $τ[g]$ of the submonoid generated by the induced transformations of $g$. Finally, we consider the problem, given a homeomorphism $h$ of the Cantor space $X$, of determining whether or not there exists a minimal homeomorphism $g$ of $X$ such that $h \in τ[g]$.
△ Less
Submitted 26 October, 2021; v1 submitted 2 December, 2018;
originally announced December 2018.
-
Equicontinuity, orbit closures and invariant compact open sets for group actions on zero-dimensional spaces
Authors:
Colin D. Reid
Abstract:
Let $X$ be a locally compact zero-dimensional space, let $S$ be an equicontinuous set of homeomorphisms such that $1 \in S = S^{-1}$, and suppose that $\overline{Gx}$ is compact for each $x \in X$, where $G = \langle S \rangle$. We show in this setting that a number of conditions are equivalent: (a) $G$ acts minimally on the closure of each orbit; (b) the orbit closure relation is closed; (c) for…
▽ More
Let $X$ be a locally compact zero-dimensional space, let $S$ be an equicontinuous set of homeomorphisms such that $1 \in S = S^{-1}$, and suppose that $\overline{Gx}$ is compact for each $x \in X$, where $G = \langle S \rangle$. We show in this setting that a number of conditions are equivalent: (a) $G$ acts minimally on the closure of each orbit; (b) the orbit closure relation is closed; (c) for every compact open subset $U$ of $X$, there is $F \subseteq G$ finite such that $\bigcap_{g \in F}g(U)$ is $G$-invariant. All of these are equivalent to a notion of recurrence, which is a variation on a concept of Auslander-Glasner-Weiss. It follows in particular that the action is distal if and only if it is equicontinuous.
△ Less
Submitted 24 July, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Inverse system characterizations of the (hereditarily) just infinite property in profinite groups
Authors:
Colin D. Reid
Abstract:
We give criteria on an inverse system of finite groups that ensure the limit is just infinite or hereditarily just infinite. More significantly, these criteria are 'universal' in that all (hereditarily) just infinite profinite groups arise as limits of the specified form.
This is a corrected and revised version of the article: 'Inverse system characterizations of the (hereditarily) just infinite…
▽ More
We give criteria on an inverse system of finite groups that ensure the limit is just infinite or hereditarily just infinite. More significantly, these criteria are 'universal' in that all (hereditarily) just infinite profinite groups arise as limits of the specified form.
This is a corrected and revised version of the article: 'Inverse system characterizations of the (hereditarily) just infinite property in profinite groups', Bull. LMS vol 44, 3 (2012) 413--425.
△ Less
Submitted 28 August, 2017;
originally announced August 2017.
-
Approximating simple locally compact groups by their dense locally compact subgroups
Authors:
Pierre-Emmanuel Caprace,
Colin D. Reid,
Phillip Wesolek
Abstract:
The class, denoted by $\mathscr{S}$, of totally disconnected locally compact groups which are non-discrete, compactly generated, and topologically simple contains many compelling examples. In recent years, a general theory for these groups, which studies the interaction between the compact open subgroups and the global structure, has emerged. In this article, we study the non-discrete totally disc…
▽ More
The class, denoted by $\mathscr{S}$, of totally disconnected locally compact groups which are non-discrete, compactly generated, and topologically simple contains many compelling examples. In recent years, a general theory for these groups, which studies the interaction between the compact open subgroups and the global structure, has emerged. In this article, we study the non-discrete totally disconnected locally compact groups $H$ that admit a continuous embedding with dense image into some $G\in \mathscr{S}$; that is, we consider the dense locally compact subgroups of groups $G\in \mathscr{S}$. We identify a class $\mathscr{R}$ of almost simple groups which properly contains $\mathscr{S}$ and is moreover stable under passing to a non-discrete dense locally compact subgroup. We show that $\mathscr{R}$ enjoys many of the same properties previously obtained for $\mathscr{S}$ and establish various original results for $\mathscr{R}$ that are also new for the subclass $\mathscr{S}$, notably concerning the structure of the local Sylow subgroups and the full automorphism group.
△ Less
Submitted 18 February, 2019; v1 submitted 22 June, 2017;
originally announced June 2017.
-
On the residual and profinite closures of commensurated subgroups
Authors:
Pierre-Emmanuel Caprace,
Peter H. Kropholler,
Colin D. Reid,
Phillip Wesolek
Abstract:
The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the residual closure of $H$ in $G$ is virtually normal. This implies that separable commensurated subgroups of finitely generated groups are virtually normal. A stream of…
▽ More
The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the residual closure of $H$ in $G$ is virtually normal. This implies that separable commensurated subgroups of finitely generated groups are virtually normal. A stream of applications to separable subgroups, polycyclic groups, residually finite groups, groups acting on trees, lattices in products of trees and just-infinite groups then flows from this main result.
△ Less
Submitted 3 July, 2019; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Distal actions on coset spaces in totally disconnected, locally compact groups
Authors:
Colin D. Reid
Abstract:
Let $G$ be a totally disconnected, locally compact group and let $H$ be an equicontinuously (for example, compactly) generated group of automorphisms of $G$. We show that every distal action of $H$ on a coset space of $G$ is a SIN action, with the small invariant neighbourhoods arising from open $H$-invariant subgroups. We obtain a number of consequences for the structure of the collection of open…
▽ More
Let $G$ be a totally disconnected, locally compact group and let $H$ be an equicontinuously (for example, compactly) generated group of automorphisms of $G$. We show that every distal action of $H$ on a coset space of $G$ is a SIN action, with the small invariant neighbourhoods arising from open $H$-invariant subgroups. We obtain a number of consequences for the structure of the collection of open subgroups. For example, it follows that for every compactly generated subgroup $K$ of $G$, there is a compactly generated open subgroup $E$ of $G$ such that $K \le E$ and such that every open subgroup of $G$ containing a finite index subgroup of $K$ contains a finite index subgroup of $E$. We also show that for a large class of closed subgroups $L$ of $G$ (including for instance all closed subgroups $L$ such that $L$ is an intersection of subnormal subgroups of open subgroups), every compactly generated open subgroup of $L$ can be realized as $L \cap O$ for an open subgroup of $G$.
△ Less
Submitted 2 October, 2017; v1 submitted 21 October, 2016;
originally announced October 2016.
-
Dense normal subgroups and chief factors in locally compact groups
Authors:
Colin D. Reid,
Phillip R. Wesolek
Abstract:
In 'The essentially chief series of a compactly generated locally compact group', an analogue of chief series for finite groups is discovered for compactly generated locally compact groups. In the present article, we show that chief factors necessarily exist in all locally compact groups with sufficiently rich topological structure. We also show that chief factors have one of seven types, and for…
▽ More
In 'The essentially chief series of a compactly generated locally compact group', an analogue of chief series for finite groups is discovered for compactly generated locally compact groups. In the present article, we show that chief factors necessarily exist in all locally compact groups with sufficiently rich topological structure. We also show that chief factors have one of seven types, and for all but one of these types, there is a decomposition into discrete groups, compact groups, and topologically simple groups.
Our results for chief factors require exploring the theory developed in 'Chief factors in Polish groups' in the setting of locally compact groups. In this context, we obtain tighter restrictions on the factorization of normal compressions and the structure of quasi-products. Consequently, both (non-)amenability and elementary decomposition rank are preserved by normal compressions.
△ Less
Submitted 15 October, 2016; v1 submitted 27 January, 2016;
originally announced January 2016.
-
The essentially chief series of a compactly generated locally compact group
Authors:
Colin D. Reid,
Phillip R. Wesolek
Abstract:
We first obtain finiteness properties for the collection of closed normal subgroups of a compactly generated locally compact group. Via these properties, every compactly generated locally compact group admits an essentially chief series - i.e. a finite normal series in which each factor is compact, discrete, or a topological chief factor. Additionally, a Jordan-Hölder theorem holds for the `large'…
▽ More
We first obtain finiteness properties for the collection of closed normal subgroups of a compactly generated locally compact group. Via these properties, every compactly generated locally compact group admits an essentially chief series - i.e. a finite normal series in which each factor is compact, discrete, or a topological chief factor. Additionally, a Jordan-Hölder theorem holds for the `large' factors in an essentially chief series.
△ Less
Submitted 18 September, 2017; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Chief factors in Polish groups
Authors:
Colin D. Reid,
Phillip R. Wesolek
Abstract:
In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier refinement theorem. We also prove a trichotomy for the structure of topologically characteristically simple Polish groups.
The development of the theory of chief…
▽ More
In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier refinement theorem. We also prove a trichotomy for the structure of topologically characteristically simple Polish groups.
The development of the theory of chief factors requires two independently interesting lines of study. First we consider injective, continuous homomorphisms with dense normal image. We show such maps admit a canonical factorization via a semidirect product, and as a consequence, these maps preserve topological simplicity up to abelian error. We then define two generalizations of direct products and use these to isolate a notion of semisimplicity for Polish groups.
△ Less
Submitted 25 June, 2021; v1 submitted 2 September, 2015;
originally announced September 2015.
-
Homomorphisms into totally disconnected, locally compact groups with dense image
Authors:
Colin D. Reid,
Phillip R. Wesolek
Abstract:
Let $φ: G \rightarrow H$ be a group homomorphism such that $H$ is a totally disconnected locally compact (t.d.l.c.) group and the image of $φ$ is dense. We show that all such homomorphisms arise as completions of $G$ with respect to uniformities of a particular kind. Moreover, $H$ is determined up to a compact normal subgroup by the pair $(G,φ^{-1}(L))$, where $L$ is a compact open subgroup of…
▽ More
Let $φ: G \rightarrow H$ be a group homomorphism such that $H$ is a totally disconnected locally compact (t.d.l.c.) group and the image of $φ$ is dense. We show that all such homomorphisms arise as completions of $G$ with respect to uniformities of a particular kind. Moreover, $H$ is determined up to a compact normal subgroup by the pair $(G,φ^{-1}(L))$, where $L$ is a compact open subgroup of $H$. These results generalize the well-known properties of profinite completions to the locally compact setting.
△ Less
Submitted 3 January, 2018; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Dynamics of flat actions on totally disconnected, locally compact groups
Authors:
Colin D. Reid
Abstract:
Let $G$ be a totally disconnected, locally compact group and let $H$ be a virtually flat (for example, polycyclic) group of automorphisms of $G$. We study the structure of, and relationships between, various subgroups of $G$ defined by the dynamics of $H$. In particular, we consider the following four subgroups: the intersection of all tidy subgroups for $H$ on $G$ (in the case that $H$ is flat);…
▽ More
Let $G$ be a totally disconnected, locally compact group and let $H$ be a virtually flat (for example, polycyclic) group of automorphisms of $G$. We study the structure of, and relationships between, various subgroups of $G$ defined by the dynamics of $H$. In particular, we consider the following four subgroups: the intersection of all tidy subgroups for $H$ on $G$ (in the case that $H$ is flat); the intersection of all $H$-invariant open subgroups of $G$; the smallest closed $H$-invariant subgroup $D$ such that no $H$-orbit on $G/D$ accumulates at the trivial coset; and the group generated by the closures of contraction groups of elements of $H$ on $G$.
△ Less
Submitted 12 February, 2016; v1 submitted 6 March, 2015;
originally announced March 2015.
-
Locally normal subgroups of totally disconnected groups. Part II: Compactly generated simple groups
Authors:
Pierre-Emmanuel Caprace,
Colin D. Reid,
George A. Willis
Abstract:
We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given $G \in \mathscr S$, we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble norma…
▽ More
We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given $G \in \mathscr S$, we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble normal subgroup other than the trivial one. By results of Part I, this implies that the centraliser lattice and local decomposition lattice of $G$ are Boolean algebras. We show that the $G$-action on the Stone space of those Boolean algebras is minimal, strongly proximal, and micro-supported. Building upon those results, we obtain partial answers to the following key problems: Are all groups in $\mathscr S$ abstractly simple? Can a group in $\mathscr S$ be amenable? Can a group in $\mathscr S$ be such that the contraction groups of all of its elements are trivial?
△ Less
Submitted 4 January, 2017; v1 submitted 14 January, 2014;
originally announced January 2014.
-
Limits of contraction groups and the Tits core
Authors:
Pierre-Emmanuel Caprace,
Colin D. Reid,
George A. Willis
Abstract:
The Tits core G^+ of a totally disconnected locally compact group G is defined as the abstract subgroup generated by the closures of the contraction groups of all its elements. We show that a dense subgroup is normalised by the Tits core if and only if it contains it. It follows that every dense subnormal subgroup contains the Tits core. In particular, if G is topologically simple, then the Tits c…
▽ More
The Tits core G^+ of a totally disconnected locally compact group G is defined as the abstract subgroup generated by the closures of the contraction groups of all its elements. We show that a dense subgroup is normalised by the Tits core if and only if it contains it. It follows that every dense subnormal subgroup contains the Tits core. In particular, if G is topologically simple, then the Tits core is abstractly simple, and if G^+ is non-trivial then it is the unique minimal dense normal subgroup. The proofs are based on the fact, of independent interest, that the map which associates to an element the closure of its contraction group is continuous.
△ Less
Submitted 23 April, 2013;
originally announced April 2013.
-
Locally normal subgroups of totally disconnected groups. Part I: General theory
Authors:
Pierre-Emmanuel Caprace,
Colin D. Reid,
George A. Willis
Abstract:
Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo commensurability, this family forms a modular lattice, called the structure lattice of G. We show that G admits a canonical maximal quotient H for which the quasi-cen…
▽ More
Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo commensurability, this family forms a modular lattice, called the structure lattice of G. We show that G admits a canonical maximal quotient H for which the quasi-centre and the abelian locally normal subgroups are trivial. In this situation the structure lattice of H has a canonical subset called the centraliser lattice, forming a Boolean algebra whose elements correspond to centralisers of locally normal subgroups. If H is second-countable and acts faithfully on its centraliser lattice, we show that the topology of H is determined by its algebraic structure (and thus invariant by every abstract group automomorphism), and also that the action on the Stone space of the centraliser lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs.
△ Less
Submitted 20 June, 2016; v1 submitted 18 April, 2013;
originally announced April 2013.
-
Locally normal subgroups of simple locally compact groups
Authors:
Pierre-Emmanuel Caprace,
Colin D. Reid,
George A. Willis
Abstract:
We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with open normaliser, and show that its properties reflect the global structure of the ambient group.
We announce various results concerning the structure of compactly generated simple locally compact groups. We introduce a local invariant, called the structure lattice, which consists of commensurability classes of compact subgroups with open normaliser, and show that its properties reflect the global structure of the ambient group.
△ Less
Submitted 27 March, 2013;
originally announced March 2013.
-
The number of profinite groups with a specified Sylow subgrou
Authors:
Colin D. Reid
Abstract:
Let $S$ be a finitely generated pro-$p$ group. Let $\Emb(S)$ be the class of profinite groups $G$ that have $S$ as a Sylow subgroup, and such that $S$ intersects non-trivially with every non-trivial normal subgroup of $G$. In this paper, we investigate the question of whether or not $\Emb(S)$ has finitely many isomorphism classes. For instance, we give an example where $\Emb(S)$ contains an infini…
▽ More
Let $S$ be a finitely generated pro-$p$ group. Let $\Emb(S)$ be the class of profinite groups $G$ that have $S$ as a Sylow subgroup, and such that $S$ intersects non-trivially with every non-trivial normal subgroup of $G$. In this paper, we investigate the question of whether or not $\Emb(S)$ has finitely many isomorphism classes. For instance, we give an example where $\Emb(S)$ contains an infinite ascending chain of soluble groups, and on the other hand show that $\Emb(S)$ contains only finitely many isomorphism classes in the case that $S$ is just infinite.
△ Less
Submitted 10 January, 2013;
originally announced January 2013.
-
The profinite completion of a group localised at a subgroup
Authors:
Colin D. Reid
Abstract:
Let $G$ be a group and let $K$ be a commensurated subgroup of $G$. Then there is a totally disconnected, locally compact (t.d.l.c.) group $\hat{G}_K$ that contains the profinite completion of $K$ as an open compact subgroup and also contains $G$ (modulo the finite residual of $K$) as a dense subgroup. Moreover, given an arbitrary group $G$, then every t.d.l.c. group containing an image of $G$ as a…
▽ More
Let $G$ be a group and let $K$ be a commensurated subgroup of $G$. Then there is a totally disconnected, locally compact (t.d.l.c.) group $\hat{G}_K$ that contains the profinite completion of $K$ as an open compact subgroup and also contains $G$ (modulo the finite residual of $K$) as a dense subgroup. Moreover, given an arbitrary group $G$, then every t.d.l.c. group containing an image of $G$ as a dense subgroup can be realised as a quotient of $\hat{G}_K$ for some commensurated subgroup $K$.
△ Less
Submitted 1 September, 2015; v1 submitted 17 August, 2012;
originally announced August 2012.
-
On endomorphisms of profinite groups
Authors:
Colin D. Reid
Abstract:
We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is finitely generated). In particular, given such a group G and a continuous endomorphism phi we obtain a semidirect decomposition of G into a 'contracting' normal subg…
▽ More
We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is finitely generated). In particular, given such a group G and a continuous endomorphism phi we obtain a semidirect decomposition of G into a 'contracting' normal subgroup and a complement on which phi induces an automorphism; both the normal subgroup and the complement are closed. If G is isomorphic to a proper open subgroup of itself, we show that G has an infinite abelian normal pro-p subgroup.
△ Less
Submitted 16 December, 2011;
originally announced December 2011.
-
Local Sylow theory of totally disconnected, locally compact groups
Authors:
Colin D. Reid
Abstract:
We define a local Sylow subgroup of a totally disconnected, locally compact group G to be a maximal pro-p subgroup of an open compact subgroup of G. We use these subgroups to define the p-localisation of G, a locally virtually pro-p group which maps continuously and injectively to G with dense image, and describe the relationship between the scale and modular functions of G and those of its p-loca…
▽ More
We define a local Sylow subgroup of a totally disconnected, locally compact group G to be a maximal pro-p subgroup of an open compact subgroup of G. We use these subgroups to define the p-localisation of G, a locally virtually pro-p group which maps continuously and injectively to G with dense image, and describe the relationship between the scale and modular functions of G and those of its p-localisation. In the case of locally virtually prosoluble groups, we consider all primes simultaneously using local Sylow bases.
△ Less
Submitted 30 November, 2011;
originally announced November 2011.
-
On a construction of A. Lucchini
Authors:
Colin D. Reid
Abstract:
We show that the group constructed in the 2004 paper 'A 2-generated just-infinite profinite group which is not positively finitely generated' by A. Lucchini is in fact hereditarily just infinite and contains every countably based profinite group as a closed subgroup. Lucchini's paper predates some related work of J. Wilson.
We show that the group constructed in the 2004 paper 'A 2-generated just-infinite profinite group which is not positively finitely generated' by A. Lucchini is in fact hereditarily just infinite and contains every countably based profinite group as a closed subgroup. Lucchini's paper predates some related work of J. Wilson.
△ Less
Submitted 22 June, 2011;
originally announced June 2011.
-
On (hereditarily) just infinite profinite groups that are not virtually pro-p
Authors:
Colin D. Reid
Abstract:
A profinite group G is just infinite if every non-trivial closed normal subgroup of G is of finite index, and hereditarily just infinite if every open subgroup is just infinite. Hereditarily just infinite profinite groups need not be virtually pro-p, as shown in a recent paper of Wilson. The same paper gives a criterion on an inverse system of finite groups that is sufficient to ensure the limit i…
▽ More
A profinite group G is just infinite if every non-trivial closed normal subgroup of G is of finite index, and hereditarily just infinite if every open subgroup is just infinite. Hereditarily just infinite profinite groups need not be virtually pro-p, as shown in a recent paper of Wilson. The same paper gives a criterion on an inverse system of finite groups that is sufficient to ensure the limit is either virtually abelian or hereditarily just infinite. We give criteria of a similar nature that characterise the just infinite and hereditarily just infinite properties under the assumption that G is not virtually pro-p.
△ Less
Submitted 21 October, 2010; v1 submitted 19 October, 2010;
originally announced October 2010.
-
On finite groups whose Sylow subgroups have a bounded number of generators
Authors:
Colin D. Reid
Abstract:
Let G be a finite non-nilpotent group such that every Sylow subgroup of G is generated by at most d elements, and such that p is the largest prime dividing |G|. We show that G has a non-nilpotent image G/N, such that N is characteristic and of index bounded by a function of d and p. This result will be used to prove that the index of the Frattini subgroup of G is bounded in terms of d and p. Upper…
▽ More
Let G be a finite non-nilpotent group such that every Sylow subgroup of G is generated by at most d elements, and such that p is the largest prime dividing |G|. We show that G has a non-nilpotent image G/N, such that N is characteristic and of index bounded by a function of d and p. This result will be used to prove that the index of the Frattini subgroup of G is bounded in terms of d and p. Upper bounds will be given explicitly for soluble groups.
△ Less
Submitted 13 April, 2010; v1 submitted 24 March, 2010;
originally announced March 2010.
