Showing 1–27 of 27 results for author: Hughes, S

Profinite rigidity of affine Coxeter groups

Authors: Samuel M. Corson, Sam Hughes, Philip Möller, Olga Varghese

Abstract: We prove that affine Coxeter groups are profinitely rigid. We prove that affine Coxeter groups are profinitely rigid. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 8 pages

Simple groups and complements of smooth surfaces in simply connected $4$-manifolds

Authors: Sam Hughes, Daniel Ruberman

Abstract: For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $Σ$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a question of Kronheimer in Kirby's 1997 problem list. The proof combines a topological construction with homological properties of simple groups such as Thompson's gro… ▽ More For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $Σ$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a question of Kronheimer in Kirby's 1997 problem list. The proof combines a topological construction with homological properties of simple groups such as Thompson's group $V$ and certain sporadic finite simple groups. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 7 pages, comments welcome!

MSC Class: 57R40 (primary); 20E32; 20J06 (secondary)

BNSR invariants and $\ell^2$-homology

Authors: Sam Hughes, Dawid Kielak

Abstract: We prove that if the $n$th $\ell^2$-Betti number of a group is non-zero then its $n$th BNSR invariant over $\mathbb{Q}$ is empty, under suitable finiteness conditions. We apply this to answer questions of Friedl--Vidussi and Llosa Isenrich--Py about aspherical Kähler manifolds, to verify some cases of the Singer Conjecture, and to compute certain BNSR invariants of poly-free and poly-surface group… ▽ More We prove that if the $n$th $\ell^2$-Betti number of a group is non-zero then its $n$th BNSR invariant over $\mathbb{Q}$ is empty, under suitable finiteness conditions. We apply this to answer questions of Friedl--Vidussi and Llosa Isenrich--Py about aspherical Kähler manifolds, to verify some cases of the Singer Conjecture, and to compute certain BNSR invariants of poly-free and poly-surface groups. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 31 pages, comments welcome!

MSC Class: 20J05; 57M07; 20F65; 16S85; 16S35; 57P10; 57N65

Automorphisms of relatively hyperbolic groups and the Farrell--Jones Conjecture

Authors: Naomi Andrew, Yassine Guerch, Sam Hughes

Abstract: We prove the fibred Farrell--Jones Conjecture (FJC) in $A$-, $K$-, and $L$-theory for a large class of suspensions of relatively hyperbolic groups, as well as for all suspensions of one-ended hyperbolic groups. We deduce two applications: (1) FJC for the automorphism group of a one-ended group hyperbolic relative to virtually polycyclic subgroups; (2) FJC is closed under extensions of FJC grou… ▽ More We prove the fibred Farrell--Jones Conjecture (FJC) in $A$-, $K$-, and $L$-theory for a large class of suspensions of relatively hyperbolic groups, as well as for all suspensions of one-ended hyperbolic groups. We deduce two applications: (1) FJC for the automorphism group of a one-ended group hyperbolic relative to virtually polycyclic subgroups; (2) FJC is closed under extensions of FJC groups with kernel in a large class of relatively hyperbolic groups. Along the way we prove a number of results about JSJ decompositions of relatively hyperbolic groups which may be of independent interest. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Comments: 41 pages. Comments welcome!

MSC Class: 18F25 (Primary) 20F28; 20F65; 20F67; 20E08 (Secondary)

Higman-Thompson groups and profinite properties of right-angled Coxeter groups

Authors: Samuel M. Corson, Sam Hughes, Philip Möller, Olga Varghese

Abstract: We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also establish profinite rigidity results for graph products of finite groups. Along the way we prove that the Higman-Thompson groups $V_{n}$ are generated by $4$ inv… ▽ More We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also establish profinite rigidity results for graph products of finite groups. Along the way we prove that the Higman-Thompson groups $V_{n}$ are generated by $4$ involutions, generalising a classical result of Higman for Thompson's group $V$. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 24 pages

MSC Class: Primary: 20F55; 20E18; Secondary: 20E36; 20F65; 20E45

Centralisers and the virtually cyclic dimension of $\mathrm{Out}(F_N)$

Authors: Yassine Guerch, Sam Hughes, Luis Jorge Sánchez Saldaña

Abstract: We prove that the virtually cyclic (geometric) dimension of the finite index congruence subgroup $\mathrm{IA}_N(3)$ of $\mathrm{Out}(F_N)$ is $2N-2$. From this we deduce the virtually cyclic dimension of $\mathrm{Out}(F_N)$ is finite. Along the way we prove Lück's property (C) holds for $\mathrm{Out}(F_N)$, we prove that the commensurator of a cyclic subgroup of $\mathrm{IA}_N(3)$ equals its centr… ▽ More We prove that the virtually cyclic (geometric) dimension of the finite index congruence subgroup $\mathrm{IA}_N(3)$ of $\mathrm{Out}(F_N)$ is $2N-2$. From this we deduce the virtually cyclic dimension of $\mathrm{Out}(F_N)$ is finite. Along the way we prove Lück's property (C) holds for $\mathrm{Out}(F_N)$, we prove that the commensurator of a cyclic subgroup of $\mathrm{IA}_N(3)$ equals its centraliser, we give an $\mathrm{IA}_N(3)$ analogue of various exact sequences arising from reduction systems for map** class groups, and give a near complete description of centralisers of infinite order elements in $\mathrm{IA}_3(3)$. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 35 pages, comments welcome

MSC Class: 20E36; 20F28; 20F65; 55R35; 57M07

Homology growth of polynomially growing map** tori

Authors: Naomi Andrew, Yassine Guerch, Sam Hughes, Monika Kudlinska

Abstract: We prove that residually finite map** tori of polynomially growing automorphisms of hyperbolic groups, groups hyperbolic relative to finitely many virtually polycyclic groups, right-angled Artin groups (when the automorphism is untwisted), and right-angled Coxeter groups have the cheap rebuilding property of Abert, Bergeron, Fraczyk, and Gaboriau. In particular, their torsion homology growth van… ▽ More We prove that residually finite map** tori of polynomially growing automorphisms of hyperbolic groups, groups hyperbolic relative to finitely many virtually polycyclic groups, right-angled Artin groups (when the automorphism is untwisted), and right-angled Coxeter groups have the cheap rebuilding property of Abert, Bergeron, Fraczyk, and Gaboriau. In particular, their torsion homology growth vanishes for every Farber sequence in every degree. △ Less

Submitted 17 May, 2023; originally announced May 2023.

MSC Class: Primary 20J05; Secondary 20E05; 20E08; 20E26; 20F28; 57M07

A note on asynchronously automatic groups and notions of non-positive curvature

Authors: Sam Hughes, Motiejus Valiunas

Abstract: We prove groups acting cocompactly on locally finite trees with hyperbolic vertex stabilisers are asynchronously automatic. Combining this with previous work of the authors we obtain an example of a group satisfying several non-positive curvature properties (being a $\mathrm{CAT}(0)$ group, an injective group, a hierarchically hyperbolic group, and having quadratic Dehn function) which is asynchro… ▽ More We prove groups acting cocompactly on locally finite trees with hyperbolic vertex stabilisers are asynchronously automatic. Combining this with previous work of the authors we obtain an example of a group satisfying several non-positive curvature properties (being a $\mathrm{CAT}(0)$ group, an injective group, a hierarchically hyperbolic group, and having quadratic Dehn function) which is asynchronously automatic but not biautomatic. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 10 pages, 2 figures, comments welcome!

MSC Class: 20F10; 20F65; 20F67; 20E08

On profinite rigidity amongst free-by-cyclic groups I: the generic case

Authors: Sam Hughes, Monika Kudlinska

Abstract: We prove that amongst the class of free-by-cyclic groups, Gromov hyperbolicity is an invariant of the profinite completion. We show that whenever $G$ is a free-by-cyclic group with first Betti number equal to one, and $H$ is a free-by-cyclic group which is profinitely isomorphic to $G$, the ranks of the fibres and the characteristic polynomials associated to the monodromies of $G$ and $H$ are equa… ▽ More We prove that amongst the class of free-by-cyclic groups, Gromov hyperbolicity is an invariant of the profinite completion. We show that whenever $G$ is a free-by-cyclic group with first Betti number equal to one, and $H$ is a free-by-cyclic group which is profinitely isomorphic to $G$, the ranks of the fibres and the characteristic polynomials associated to the monodromies of $G$ and $H$ are equal. We further show that for hyperbolic free-by-cyclic groups with first Betti number equal to one, the stretch factors of the associated monodromy and its inverse is an invariant of the profinite completion. We deduce that irreducible free-by-cyclic groups with first Betti number equal to one are almost profinitely rigid amongst irreducible free-by-cyclic groups. We use this to prove that generic free-by-cyclic groups are almost profinitely rigid amongst free-by-cyclic groups. We also show a similar results for {universal Coxeter}-by-cyclic groups. △ Less

Submitted 29 August, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: 38 pages

MSC Class: 20E36; 20E18; 20E26 (Primary) 20J05; 20J06; 57M07; 20F67; 20F65 (Secondary)

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

Homological growth of Artin kernels in positive characteristic

Authors: Sam P. Fisher, Sam Hughes, Ian J. Leary

Abstract: We prove an analogue of the Lück Approximation Theorem in positive characteristic for certain residually finite rationally soluble (RFRS) groups including right-angled Artin groups and Bestvina--Brady groups. Specifically, we prove that the mod $p$ homology growth equals the dimension of the group homology with coefficients in a certain universal division ring and this is independent of the choice… ▽ More We prove an analogue of the Lück Approximation Theorem in positive characteristic for certain residually finite rationally soluble (RFRS) groups including right-angled Artin groups and Bestvina--Brady groups. Specifically, we prove that the mod $p$ homology growth equals the dimension of the group homology with coefficients in a certain universal division ring and this is independent of the choice of residual chain. For general RFRS groups we obtain an inequality between the invariants. We also consider a number of applications to fibring, amenable category, and minimal volume entropy. △ Less

Submitted 22 December, 2022; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 23 pages. Section 4 is new

MSC Class: 20J05 (primary) 16K99; 16S35; 20E26; 20F36; 20F65; 57M07 (secondary)

Torsion homology growth of polynomially growing free-by-cyclic groups

Authors: Naomi Andrew, Sam Hughes, Monika Kudlinska

Abstract: We show that the homology torsion growth of a free-by-cyclic group with polynomially growing monodromy vanishes in every dimension independently of the choice of Farber chain. It follows that the integral torsion $ρ^\mathbb{Z}$ equals the $\ell^2$-torsion $ρ^{(2)}$ verifying a conjecture of Lück for these groups. We show that the homology torsion growth of a free-by-cyclic group with polynomially growing monodromy vanishes in every dimension independently of the choice of Farber chain. It follows that the integral torsion $ρ^\mathbb{Z}$ equals the $\ell^2$-torsion $ρ^{(2)}$ verifying a conjecture of Lück for these groups. △ Less

Submitted 29 March, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: Final version accepted for publication

MSC Class: 20J05 (Primary) 20E05; 20E08; 20E26; 20F28; 57M07 (Secondary)

Profinite rigidity of fibring

Authors: Sam Hughes, Dawid Kielak

Abstract: We introduce the classes of TAP groups, in which various types of algebraic fibring are detected by the non-vanishing of twisted Alexander polynomials. We show that finitely presented LERF groups lie in the class $\mathsf{TAP}_1(R)$ for every integral domain $R$, and deduce that algebraic fibring is a profinite property for such groups. We offer stronger results for algebraic fibring of products o… ▽ More We introduce the classes of TAP groups, in which various types of algebraic fibring are detected by the non-vanishing of twisted Alexander polynomials. We show that finitely presented LERF groups lie in the class $\mathsf{TAP}_1(R)$ for every integral domain $R$, and deduce that algebraic fibring is a profinite property for such groups. We offer stronger results for algebraic fibring of products of limit groups, as well as applications to profinite rigidity of Poincaré duality groups in dimension $3$ and RFRS groups. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: 34 pages

MSC Class: 20J05; 20E18; 20F67

Regularity of quasigeodesics characterises hyperbolicity

Authors: Sam Hughes, Patrick S. Nairne, Davide Spriano

Abstract: We characterise hyperbolic groups in terms of quasigeodesics in the Cayley graph forming regular languages. We also obtain a quantitative characterisation of hyperbolicity of geodesic metric spaces by the non-existence of certain local (3,0)-quasigeodesic loops. As an application we make progress towards a question of Shapiro regarding groups admitting a uniquely geodesic Cayley graph. We characterise hyperbolic groups in terms of quasigeodesics in the Cayley graph forming regular languages. We also obtain a quantitative characterisation of hyperbolicity of geodesic metric spaces by the non-existence of certain local (3,0)-quasigeodesic loops. As an application we make progress towards a question of Shapiro regarding groups admitting a uniquely geodesic Cayley graph. △ Less

Submitted 20 May, 2024; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: Version 2. 14 pages, comments welcomed

MSC Class: 20F67; 68Q45

A note on the rational homological dimension of lattices in positive characteristic

Authors: Sam Hughes

Abstract: We show via $\ell^2$-homology that the rational homological dimension of a lattice in a product of simple simply connected Chevalley groups over global function fields is equal to the rational cohomological dimension and to the dimension of the associated Bruhat--Tits building. We show via $\ell^2$-homology that the rational homological dimension of a lattice in a product of simple simply connected Chevalley groups over global function fields is equal to the rational cohomological dimension and to the dimension of the associated Bruhat--Tits building. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: 4 pages

Journal ref: Glasg. Math. J. 65 (2023), no. 1, 138-140

Commensurating HNN-extensions: hierarchical hyperbolicity and biautomaticity

Authors: Sam Hughes, Motiejus Valiunas

Abstract: We construct a CAT(0) hierarchically hyperbolic group (HHG) acting geometrically on the product of a hyperbolic plane and a locally-finite tree which is not biautomatic. This gives the first example of an HHG which is not biautomatic, the first example of a non-biautomatic CAT(0) group of flat-rank 2, and the first example of an HHG which is injective but not Helly. Our proofs heavily utilise the… ▽ More We construct a CAT(0) hierarchically hyperbolic group (HHG) acting geometrically on the product of a hyperbolic plane and a locally-finite tree which is not biautomatic. This gives the first example of an HHG which is not biautomatic, the first example of a non-biautomatic CAT(0) group of flat-rank 2, and the first example of an HHG which is injective but not Helly. Our proofs heavily utilise the space of geodesic currents for a hyperbolic surface. △ Less

Submitted 2 March, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: v3: Updated with referees' comments, to appear in Commentarii Mathematici Helvetici. 32 pages, 4 figures. v2: the statement of Corollary D has been strengthened. v1: Comments are welcome!

MSC Class: 20F65; 20F10; 57K20 (primary); 57M50; 37E30; 20F67 (secondary)

Journal ref: Comment. Math. Helv. 99 (2024), no. 2, 397-436

Hyperbolically embedded subgroups and quasi-isometries of pairs

Authors: Sam Hughes, Eduardo Martínez-Pedroza

Abstract: We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups. We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups. △ Less

Submitted 27 January, 2023; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: Version 3. Added some discussion and open questions in new Section 6, to appear in Canadian Mathematical Bulletin, 18 pages. Version 2. Minor typos were corrected

MSC Class: 20F65; 20F67

Irreducible lattices fibring over the circle

Authors: Sam Hughes

Abstract: We investigate the virtual fibrings of irreducible uniform lattices. In the case of a direct product of a tree and a Euclidean space we show that virtual algebraic fibring of a given uniform lattice is equivalent to reducibility. On the other hand we construct irreducible lattices which admit maps to the integers whose kernels finiteness properties are determined by the finiteness properties of ce… ▽ More We investigate the virtual fibrings of irreducible uniform lattices. In the case of a direct product of a tree and a Euclidean space we show that virtual algebraic fibring of a given uniform lattice is equivalent to reducibility. On the other hand we construct irreducible lattices which admit maps to the integers whose kernels finiteness properties are determined by the finiteness properties of certain Bestvina--Brady groups. △ Less

Submitted 10 November, 2023; v1 submitted 17 January, 2022; originally announced January 2022.

Comments: v2. Major rewrite fixing an error caught by referee, 15 pages; v1. Partially split off from arXiv:2104.13728 at request of a referee - several new results also included, 18 pages

MSC Class: 20F67; 20J05; 20J06 (primary); 20F65; 57M07; 57M60 (secondary)

A survey on quasi-isometries of pairs: invariants and rigidity

Authors: Sam Hughes, Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity rea… ▽ More This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity realm. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 14 pages

Higher topological complexity of hyperbolic groups

Authors: Sam Hughes, Kevin Li

Abstract: We prove for non-elementary torsion-free hyperbolic groups $Γ$ and all $r\ge 2$ that the higher topological complexity ${\sf{TC}}_r(Γ)$ is equal to $r\cdot \mathrm{cd}(Γ)$. In particular, hyperbolic groups satisfy the rationality conjecture on the $\sf{TC}$-generating function, giving an affirmative answer to a question of Farber and Oprea. More generally, we consider certain toral relatively hype… ▽ More We prove for non-elementary torsion-free hyperbolic groups $Γ$ and all $r\ge 2$ that the higher topological complexity ${\sf{TC}}_r(Γ)$ is equal to $r\cdot \mathrm{cd}(Γ)$. In particular, hyperbolic groups satisfy the rationality conjecture on the $\sf{TC}$-generating function, giving an affirmative answer to a question of Farber and Oprea. More generally, we consider certain toral relatively hyperbolic groups. △ Less

Submitted 11 October, 2021; originally announced October 2021.

Comments: 5 pages, comments welcome

MSC Class: 55M30; 55R35; 20F67

Quasi-isometry invariance of relative filling functions

Authors: Sam Hughes, Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combina… ▽ More For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combinatorial $G$-$2$-complex $X$ with finite edge stabilisers, the combinatorial Dehn function is well-defined if and only if the $1$-skeleton of $X$ is fine. We also show that if $H$ is a hyperbolically embedded subgroup of a finitely presented group $G$, then the relative Dehn function of the pair $(G, H)$ is well-defined. In the appendix, it is shown that show that the Baumslag-Solitar group $\mathrm{BS}(k,l)$ has a well-defined Dehn function with respect to the cyclic subgroup generated by the stable letter if and only if neither $k$ divides $l$ nor $l$ divides $k$. △ Less

Submitted 25 January, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: Appendix by Ashot Minasyan

Lattices in a product of trees, hierarchically hyperbolic groups, and virtual torsion-freeness

Authors: Sam Hughes

Abstract: We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free △ Less

Submitted 23 March, 2022; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 8 pages, to appear in Bulletin of the London Mathematical Society

MSC Class: 20F65; 20F67

Journal ref: Bull. Lond. Math. Soc. 54 (2022), no. 4, 1413-1419

Graphs and complexes of lattices

Authors: Sam Hughes

Abstract: We study lattices acting on $\mathrm{CAT}(0)$ spaces via their commensurated subgroups. To do this we introduce the notions of a graph of lattices and a complex of lattices giving graph and complex of group splittings of $\mathrm{CAT}(0)$ lattices. Using this framework we characterise irreducible uniform $(\mathrm{Isom}(\mathbb{E}^n)\times T)$-lattices by $C^\ast$-simplicity and give a necessary c… ▽ More We study lattices acting on $\mathrm{CAT}(0)$ spaces via their commensurated subgroups. To do this we introduce the notions of a graph of lattices and a complex of lattices giving graph and complex of group splittings of $\mathrm{CAT}(0)$ lattices. Using this framework we characterise irreducible uniform $(\mathrm{Isom}(\mathbb{E}^n)\times T)$-lattices by $C^\ast$-simplicity and give a necessary condition for lattices in products with a Euclidean factor to be biautomatic. We also construct non-residually finite uniform lattices acting on arbitrary products of right-angled buildings and non-biautomatic lattices acting on the product of $\mathbb{E}^n$ and a right-angled building. △ Less

Submitted 17 January, 2022; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: v4. Major rewrite, paper split at request of referee (see bibliographical note in introduction for details). 38 pages

MSC Class: 20F67; 20E08; 57M07; 20E34; 57M60

The first $\ell^2$-Betti number and groups acting on trees

Authors: Indira Chatterji, Sam Hughes, Peter Kropholler

Abstract: We generalise results of Thomas, Allcock, Thom-Petersen, and Kar-Niblo to the first $\ell^2$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs. We generalise results of Thomas, Allcock, Thom-Petersen, and Kar-Niblo to the first $\ell^2$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs. △ Less

Submitted 24 December, 2020; originally announced December 2020.

Comments: 6 pages

MSC Class: 20J05; 20E08; 20F05

Journal ref: Proc. Edinb. Math. Soc. (2) 64 (2021), no. 4, 916-923

On the equivariant $K$- and $KO$-homology of some special linear groups

Authors: Sam Hughes

Abstract: We compute the equivariant $KO$-homology of the classifying space for proper actions of $\textrm{SL}_3(\mathbb{Z})$ and $\textrm{GL}_3(\mathbb{Z})$. We also compute the Bredon homology and equivariant $K$-homology of the classifying spaces for proper actions of $\textrm{PSL}_2(\mathbb{Z}[\frac{1}{p}])$ and $\textrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$ for each prime $p$. Finally, we prove the Unstable… ▽ More We compute the equivariant $KO$-homology of the classifying space for proper actions of $\textrm{SL}_3(\mathbb{Z})$ and $\textrm{GL}_3(\mathbb{Z})$. We also compute the Bredon homology and equivariant $K$-homology of the classifying spaces for proper actions of $\textrm{PSL}_2(\mathbb{Z}[\frac{1}{p}])$ and $\textrm{SL}_2(\mathbb{Z}[\frac{1}{p}])$ for each prime $p$. Finally, we prove the Unstable Gromov-Lawson-Rosenberg Conjecture for a large class of groups whose maximal finite subgroups are odd order and have periodic cohomology. △ Less

Submitted 16 January, 2021; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: 21 pages. Corrected typos and added some more examples in Section 6. To appear in Algebraic and Geometric Topology

MSC Class: 19L47; 53C21 (Primary); 55N91; 57R15; 19K99; 20J99 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3483-3512

Cohomology of Fuchsian Groups and Non-Euclidean Crystallographic Groups

Authors: Sam Hughes

Abstract: For each geometrically finite 2-dimensional non-Euclidean crystallographic group (NEC group), we compute the cohomology groups. In the case where the group is a Fuchsian group, we also determine the ring structure of the cohomology. For each geometrically finite 2-dimensional non-Euclidean crystallographic group (NEC group), we compute the cohomology groups. In the case where the group is a Fuchsian group, we also determine the ring structure of the cohomology. △ Less

Submitted 21 January, 2022; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 18 pages, to appear in Manuscripta Mathematica

MSC Class: 20J06

The character table of a sharply 5-transitive subgroup of ${\rm Alt}(12)$

Authors: Nick Gill, Sam Hughes

Abstract: In this paper we calculate the character table of a sharply $5$-transitive subgroup of ${\rm Alt}(12)$, and of a sharply $4$-transitive subgroup of ${\rm Alt}(11)$. Our presentation of these calculations is new because we make no reference to the sporadic simple Mathieu groups, and instead deduce the desired character tables using only the existence of the stated multiply transitive permutation re… ▽ More In this paper we calculate the character table of a sharply $5$-transitive subgroup of ${\rm Alt}(12)$, and of a sharply $4$-transitive subgroup of ${\rm Alt}(11)$. Our presentation of these calculations is new because we make no reference to the sporadic simple Mathieu groups, and instead deduce the desired character tables using only the existence of the stated multiply transitive permutation representations. △ Less

Submitted 25 June, 2018; originally announced June 2018.

Comments: 12 pages; submitted

MSC Class: 20C15; 20B20; 20C34

Journal ref: Int. J. Group Theory 10 (2021), no. 1, 11-30