Showing 1–12 of 12 results for author: Kropholler, P H

Finiteness properties of stabilisers of oligomorphic actions

Authors: Francesco Fournier-Facio, Peter H. Kropholler, Robert Alonzo Lyman, Matthew C. B. Zaremsky

Abstract: An action of a group on a set is oligomorphic if it has finitely many orbits of $n$-element subsets for all $n$. We prove that for a large class of groups (including all groups of finite virtual cohomological dimension and all countable linear groups), for any oligomorphic action of such a group on an infinite set there exists a finite subset whose stabiliser is not of type $\mathrm{FP}_\infty$. T… ▽ More An action of a group on a set is oligomorphic if it has finitely many orbits of $n$-element subsets for all $n$. We prove that for a large class of groups (including all groups of finite virtual cohomological dimension and all countable linear groups), for any oligomorphic action of such a group on an infinite set there exists a finite subset whose stabiliser is not of type $\mathrm{FP}_\infty$. This leads to obstructions on finiteness properties for permutational wreath products and twisted Brin-Thompson groups. We also prove a version for actions on flag complexes, and discuss connections to the Boone-Higman conjecture. In the appendix, we improve on the criterion of Bartholdi-Cornulier-Kochloukova for finiteness properties of wreath products, and the criterion of Kropholler-Martino for finiteness properties of graph-wreath products. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 16 pages

MSC Class: 20F65; 20B07

Coherence for elementary amenable groups

Authors: Sam Hughes, Dawid Kielak, Peter H. Kropholler, Ian J. Leary

Abstract: We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. △ Less

Submitted 6 November, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: v2. updated with referee's comments, to appear in Proceedings of the American Mathematical Society; v1. 10 pages, comments welcome!

MSC Class: 20F19; 16P70; 20J05; 20J06; 43A07

Journal ref: Proc. Am. Math. Soc. 152(3), 977--986, 2024

A property of the lamplighter group

Authors: Ilaria Castellano, Ged Corob Cook, Peter H. Kropholler

Abstract: We show that the inert subgroups of the lamplighter group fall into exactly five commensurability classes. The result is then connected with the theory of totally disconnected locally compact groups and with algebraic entropy. We show that the inert subgroups of the lamplighter group fall into exactly five commensurability classes. The result is then connected with the theory of totally disconnected locally compact groups and with algebraic entropy. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Journal ref: Topological Algebra and its Applications, 2020

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.

Comments: 22 pages

MSC Class: 20E26; 20F65; 20E08; 20E18; 20F16

Graph-wreath products and finiteness conditions

Authors: Peter H. Kropholler, Armando Martino

Abstract: A notion of \emph{graph-wreath product} is introduced. We obtain sufficient conditions for these products to satisfy the topologically inspired finiteness condition type $\operatorname{F}_n$. Under various additional assumptions we show that these conditions are necessary. Our results generalise results of Cornulier about wreath products in case $n=2$. Graph-wreath products include classical permu… ▽ More A notion of \emph{graph-wreath product} is introduced. We obtain sufficient conditions for these products to satisfy the topologically inspired finiteness condition type $\operatorname{F}_n$. Under various additional assumptions we show that these conditions are necessary. Our results generalise results of Cornulier about wreath products in case $n=2$. Graph-wreath products include classical permutational wreath products and semidirect products of right-angled Artin groups by groups of automorphisms amongst others. △ Less

Submitted 2 August, 2015; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: 12 pages

MSC Class: 18G10; 20J05

Dimension of elementary amenable groups

Authors: M. R. Bridson, P. H. Kropholler

Abstract: The paper has three parts. It is conjectured that for every elementary amenable group G and every non-zero commutative ring k, the homological dimension of G over k is equal to the Hirsch length of G whenever G has no k-torsion. In Part I this is proved for several classes, including the abelian-by-polycyclic groups. In Part II it is shown that elementary amenable groups of homological dimension o… ▽ More The paper has three parts. It is conjectured that for every elementary amenable group G and every non-zero commutative ring k, the homological dimension of G over k is equal to the Hirsch length of G whenever G has no k-torsion. In Part I this is proved for several classes, including the abelian-by-polycyclic groups. In Part II it is shown that elementary amenable groups of homological dimension one are filtered colimits of systems of groups of cohomological dimension one. Part III is devoted to the deeper study of cohomological dimension with particular emphasis on the nilpotent-by-polycyclic case. △ Less

Submitted 18 February, 2013; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: Final version. To appear in J. fur die reine und angewandte Math. (Crelle's journal). 31 pages, 2 figures

MSC Class: 20F16; 20F19; 20J05; 16E10

Cohomological finiteness conditions for a class of metabelian groups

Authors: P. H. Kropholler, J. Mullaney

Abstract: We consider a class of metabelian groups first studied by Baumslag and Stammbach and we show that these groups are consistent with the Bieri-Groves conjecture which relates cohomological finiteness conditions to the Bieri-Neumann-Strebel sigma invariant. We consider a class of metabelian groups first studied by Baumslag and Stammbach and we show that these groups are consistent with the Bieri-Groves conjecture which relates cohomological finiteness conditions to the Bieri-Neumann-Strebel sigma invariant. △ Less

Submitted 2 September, 2017; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: 10 pages Accepted for publication in the Bulletin of the London Mathematical Society

MSC Class: 20J06

Groups with many finitary cohomology functors

Authors: P. H. Kropholler

Abstract: For a group G we consider the set of natural numbers n for which the nth cohomology functor of G commutes with filtered colimit systems of coefficient modules. We find that for the large class of hierarchically decomposable groups there is a dichotomy: this set of natural numbers is either finite or cofinite. Moreover any finite or cofinite set is shown to arise in suitable examples. A survey of r… ▽ More For a group G we consider the set of natural numbers n for which the nth cohomology functor of G commutes with filtered colimit systems of coefficient modules. We find that for the large class of hierarchically decomposable groups there is a dichotomy: this set of natural numbers is either finite or cofinite. Moreover any finite or cofinite set is shown to arise in suitable examples. A survey of recent literature on this topic, especially the work of Martin Hamilton, is included. △ Less

Submitted 5 August, 2012; originally announced August 2012.

Comments: 16 pages

MSC Class: 20J06

Groups possessing extensive hierarchical decompositions

Authors: T. Januszkiewicz, P. H. Kropholler, I. J. Leary

Abstract: Kropholler's class of groups is the smallest class of groups which contains all finite groups and is closed under the following operator: whenever $G$ admits a finite-dimensional contractible $G$-CW-complex in which all stabilizer groups are in the class, then $G$ is itself in the class. Kropholler's class admits a hierarchical structure, i.e., a natural filtration indexed by the ordinals. For e… ▽ More Kropholler's class of groups is the smallest class of groups which contains all finite groups and is closed under the following operator: whenever $G$ admits a finite-dimensional contractible $G$-CW-complex in which all stabilizer groups are in the class, then $G$ is itself in the class. Kropholler's class admits a hierarchical structure, i.e., a natural filtration indexed by the ordinals. For example, stage 0 of the hierarchy is the class of all finite groups, and stage 1 contains all groups of finite virtual cohomological dimension. We show that for each countable ordinal $α$, there is a countable group that is in Kropholler's class which does not appear until the $α+1$st stage of the hierarchy. Previously this was known only for $α= 0$, 1 and 2. The groups that we construct contain torsion. We also review the construction of a torsion-free group that lies in the third stage of the hierarchy. △ Less

Submitted 25 August, 2009; originally announced August 2009.

Comments: 9 pages

MSC Class: 57S30; 20J05

A generalization of the Lyndon--Hochschild--Serre spectral sequence with applications to group cohomology and decompositions of groups

Authors: P. H. Kropholler

Abstract: We set up a Grothendieck spectral sequence which generalizes the Lyndon--Hochschild--Serre spectral sequence for a group extension $K\mono G\epi Q$ by allowing the normal subgroup $K$ to be replaced by a subgroup, or family of subgroups which satisfy a weaker condition than normality. This is applied to establish a decomposition theorem for certain groups as fundamental groups of graphs of Poinc… ▽ More We set up a Grothendieck spectral sequence which generalizes the Lyndon--Hochschild--Serre spectral sequence for a group extension $K\mono G\epi Q$ by allowing the normal subgroup $K$ to be replaced by a subgroup, or family of subgroups which satisfy a weaker condition than normality. This is applied to establish a decomposition theorem for certain groups as fundamental groups of graphs of Poincaré duality groups. We further illustrate the method by proving a cohomological vanishing theorem which applies for example to Thompson's group $F$. △ Less

Submitted 24 March, 2005; originally announced March 2005.

Comments: 22 pages

MSC Class: 20J06; 20E08

Invariant rings of orthogonal groups over the field of two elements

Authors: P. H. Kropholler, S. Mosheni Rajaei, J. Segal

Abstract: We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is shown to have a presentation in which the difference between the number of generators and the number of relations is equal to the minimum possibility, namely… ▽ More We determine the rings of invariants in the symmetric algebra on the dual of a vector space V over the field of two elements, for the group G of orthogonal transformations preserving a non-singular quadratic form on V. The invariant ring is shown to have a presentation in which the difference between the number of generators and the number of relations is equal to the minimum possibility, namely the dimension of V, and it is shown to be a complete intersection. In particular, the rings of invariants computed here are all Gorenstein and hence Cohen-Macaulay. △ Less

Submitted 22 December, 2003; originally announced December 2003.

Comments: 41 pages

Report number: 2003/54 MSC Class: 13A50; 20G40

Classifying spaces for proper actions of locally-finite groups

Authors: Warren Dicks, Peter H. Kropholler, Ian J. Leary, Simon Thomas

Abstract: For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about cohomology with induced coefficients. Our techniques also give information about the location of some large free abelian groups in the hierarchy HF. For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about cohomology with induced coefficients. Our techniques also give information about the location of some large free abelian groups in the hierarchy HF. △ Less

Submitted 27 November, 2001; originally announced November 2001.

Comments: AMSTeX.amsppt, 25 pages, no figures

Report number: CRM preprint 479 MSC Class: 20F50 (Primary) 20J06; 20K20; 57M07 (Secondary)

Journal ref: J. Group Theory, 5 (2002), 453-480