-
Coarse obstructions to cocompact cubulation
Abstract: We provide geometric methods to both lower- and upper-bound the large-scale dimension of CAT(0) cube complexes quasiisometric to a given group $G$. When these bounds overlap, this provides obstructions to $G$ being cocompactly cubulated. More strongly, it prevents $G$ from being a coarse median space. As applications, we show that many free-by-cyclic groups cannot be cocompactly cubulated, and t… ▽ More
Submitted 12 July, 2024; originally announced July 2024.
Comments: 25 pages
-
Constructing metric spaces from systems of walls
Abstract: We give a general procedure for constructing metric spaces from systems of partitions. This generalises and provides analogues of Sageev's construction of dual CAT(0) cube complexes for the settings of hyperbolic and injective metric spaces. As applications, we produce a ``universal'' hyperbolic action for groups with strongly contracting elements, and show that many groups with ``coarsely cubic… ▽ More
Submitted 18 April, 2024; originally announced April 2024.
Comments: 46 pages. Main article by Petyt and Zalloum, appendix co-authored with Spriano
-
GAGTA 2023 Problem Session
Abstract: The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schrödinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hy… ▽ More
Submitted 6 October, 2023; originally announced October 2023.
Comments: 10 pages
-
arXiv:2309.07013 [pdf, ps, other]
Induced quasi-isometries of hyperbolic spaces, Markov chains, and acylindrical hyperbolicity
Abstract: We show that quasi-isometries of (well-behaved) hierarchically hyperbolic groups descend to quasi-isometries of their maximal hyperbolic space. This has two applications, one relating to quasi-isometry invariance of acylindrical hyperbolicity, and the other a linear progress result for Markov chains. The appendix, by Jacob Russell, contains a partial converse under the (necessary) condition that t… ▽ More
Submitted 13 September, 2023; originally announced September 2023.
Comments: 36 pages, 1 figure. Main paper by A. Goldsborough, M. Hagen, H. Petyt and A. Sisto; appendix by J. Russell
-
Uniform undistortion from barycentres, and applications to hierarchically hyperbolic groups
Abstract: We show that infinite cyclic subgroups of groups acting uniformly metrically properly on injective metric spaces are uniformly undistorted. In the special case of hierarchically hyperbolic groups, we use this to study translation lengths for actions on the associated hyperbolic spaces. Then we use quasimorphisms to produce examples where these latter results are sharp.
Submitted 16 May, 2023; originally announced May 2023.
-
$\ell^p$ metrics on cell complexes
Abstract: Motivated by the observation that groups can be effectively studied using metric spaces modelled on $\ell^1$, $\ell^2$, and $\ell^\infty$ geometry, we consider cell complexes equipped with an $\ell^p$ metric for arbitrary $p$. Under weak conditions that can be checked locally, we establish nonpositive curvature properties of these complexes, such as Busemann-convexity and strong bolicity. We also… ▽ More
Submitted 7 February, 2023; originally announced February 2023.
Comments: 36 pages, 7 figures
MSC Class: 57M60; 52A21; 51F30; 20F65; 20F67
-
Hyperbolic models for CAT(0) spaces
Abstract: We introduce two new tools for studying CAT(0) spaces: \emph{curtains}, versions of cubical hyperplanes; and the \emph{curtain model}, a counterpart of the curve graph. These tools shed new light on CAT(0) spaces, allowing us to prove a dichotomy of a rank-rigidity flavour, establish Ivanov-style rigidity theorems for isometries of the curtain model, find isometry-invariant copies of its Gromov bo… ▽ More
Submitted 1 July, 2024; v1 submitted 28 July, 2022; originally announced July 2022.
Comments: 54 pages. v4: Accepted version. v3: Small corrections and clarifications, added an extra figure. v2: Added Section 9, unifying the family of models from v1 into a single space
-
Map** class groups are quasicubical
Abstract: It is proved that the map** class group of any closed surface with finitely many marked points is quasiisometric to a CAT(0) cube complex. We provide two distinct proofs, one tailored to map** class groups, and one applying to a larger class of groups.
Submitted 1 July, 2024; v1 submitted 20 December, 2021; originally announced December 2021.
Comments: 28 pages. v3: Accepted version. v2: Improved exposition
-
Projection complexes and quasimedian maps
Abstract: We use the projection complex machinery of Bestvina--Bromberg--Fujiwara to study hierarchically hyperbolic groups. In particular, we show that if the group has a BBF colouring and its associated hyperbolic spaces are quasiisometric to trees, then the group is quasiisometric to a finite-dimensional CAT(0) cube complex. We deduce various properties, including the Helly property for hierarchically qu… ▽ More
Submitted 30 August, 2021; originally announced August 2021.
Comments: 18 pages, to appear in Algebr. Geom. Topol
-
arXiv:2009.14053 [pdf, ps, other]
Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity
Abstract: We relate three classes of nonpositively curved metric spaces: hierarchically hyperbolic spaces, coarsely injective spaces, and strongly shortcut spaces. We show that every hierarchically hyperbolic space admits a new metric that is coarsely injective. The new metric is quasi-isometric to the original metric and is preserved under automorphisms of the hierarchically hyperbolic space. We show that… ▽ More
Submitted 7 May, 2022; v1 submitted 29 September, 2020; originally announced September 2020.
Comments: 35 pages
MSC Class: 20F65; 20F67; 51F30
Journal ref: Geom. Topol. 27 (2023) 1587-1633
-
Unbounded domains in hierarchically hyperbolic groups
Abstract: We investigate unbounded domains in hierarchically hyperbolic groups and obtain constraints on the possible hierarchical structures. Using these insights, we characterise the structures of virtually abelian HHGs and show that the class of HHGs is not closed under finite extensions. This provides a strong answer to the question of whether being an HHG is invariant under quasiisometries. Along the w… ▽ More
Submitted 17 March, 2023; v1 submitted 24 July, 2020; originally announced July 2020.
Comments: 17 pages. v3: Updated in view of referee comments. v2: General improvements, including the addition of Corollary 4.1 and Remark 4.9
-
Hierarchically hyperbolic groups and uniform exponential growth
Abstract: We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterization of hierarchically hyperbolic groups without uniform exponential growth. To ac… ▽ More
Submitted 4 November, 2021; v1 submitted 1 September, 2019; originally announced September 2019.
Comments: Includes appendix by Radhika Gupta and Harry Petyt and improved exposition
MSC Class: 20F65; 20F67
-
Derivations of octonion matrix algebras
Abstract: It is well-known that the exceptional Lie algebras $\mathfrak{f}_4$ and $\mathfrak{g}_2$ arise from the octonions as the derivation algebras of the $3\times3$ hermitian and $1\times1$ antihermitian matrices, respectively. Inspired by this, we compute the derivation algebras of the spaces of hermitian and antihermitian matrices over an octonion algebra in all dimensions.
Submitted 17 April, 2020; v1 submitted 6 September, 2018; originally announced September 2018.
Comments: v2: Updated references. 7 pages
-
arXiv:1807.05227 [pdf, ps, other]
The special linear group for nonassociative rings
Abstract: We extend to arbitrary rings a definition of the octonion special linear group due to Baez. At the infinitesimal level we get a Lie ring, which we describe over some large classes of rings, including all associative rings and all algebras over a field. As a corollary we compute all the groups Baez defined.
Submitted 1 October, 2019; v1 submitted 13 July, 2018; originally announced July 2018.
Comments: v2: Improved exposition, incorporating referee comments; 7 pages