Showing 1–7 of 7 results for author: Ashcroft, C J

Random groups do not have Property (T) at densities below 1/4

Authors: Calum J Ashcroft

Abstract: We prove that random groups in the Gromov density model at density d <1/4 do not have Property (T), answering a conjecture of Przytycki. We also prove similar results in the k-angular model of random groups. We prove that random groups in the Gromov density model at density d <1/4 do not have Property (T), answering a conjecture of Przytycki. We also prove similar results in the k-angular model of random groups. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 18 pages

Property (T) in random quotients of hyperbolic groups at densities above 1/3

Authors: Calum J. Ashcroft

Abstract: We study random quotients of a fixed non-elementary hyperbolic group in the Gromov density model. Let $G=\langle S\;\vert\; T\rangle $ be a finite presentation of a non-elementary hyperbolic group, and let $Ann_{l,ω}(G)$ be the set of elements of norm between $l-ω(l)$ and $l$ in $G$. A random quotient at density $d$ and length $ω$-near $l$ is defined by killing a uniformly randomly chosen set of… ▽ More We study random quotients of a fixed non-elementary hyperbolic group in the Gromov density model. Let $G=\langle S\;\vert\; T\rangle $ be a finite presentation of a non-elementary hyperbolic group, and let $Ann_{l,ω}(G)$ be the set of elements of norm between $l-ω(l)$ and $l$ in $G$. A random quotient at density $d$ and length $ω$-near $l$ is defined by killing a uniformly randomly chosen set of $\vert S_{l}(G)\vert ^{d}$ words in $Ann_{l,ω(l)}(G)$, where $ω(l) =o_{l}(l)$. We prove that for any d>1/3, such a quotient has Property (T) with probability tending to $1$ as $l$ tends to infinity. This result answers a question of Gromov--Ollivier and strengthens a theorem of Żuk (c.f Kotowski--Kotowski). △ Less

Submitted 25 March, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 39 pages. V2: corrected statement and proof of Theorem A, introduced Theorem B, added appropriate reference for Lemma 4.4

MSC Class: 20F65 (Primary) 20F67 (Secondary)

Link Conditions for the Haagerup Property

Authors: Calum J. Ashcroft

Abstract: We provide a condition on the links of a polygonal complex X that is sufficient to ensure Aut(X) has the Haagerup property, and hence so do any closed subgroups of Aut(X) (in particular, any group acting properly on X). We provide an application of this work by considering the group of automorphisms of simply-connected triangle complexes where the link of every vertex is isomorphic to the graph F0… ▽ More We provide a condition on the links of a polygonal complex X that is sufficient to ensure Aut(X) has the Haagerup property, and hence so do any closed subgroups of Aut(X) (in particular, any group acting properly on X). We provide an application of this work by considering the group of automorphisms of simply-connected triangle complexes where the link of every vertex is isomorphic to the graph F090A, as constructed by Świątkowski. △ Less

Submitted 21 November, 2021; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 21 pages, V2: typos correctex. arXiv admin note: text overlap with arXiv:2012.09019

Property (T) in density-type models of random groups

Authors: Calum J. Ashcroft

Abstract: We study Property (T) in the $Γ(n,k,d)$ model of random groups: as $k$ tends to infinity this gives the Gromov density model, introduced in [Gro93]. We provide bounds for Property (T) in the $k$-angular model of random groups, i.e. the $ Γ(n,k,d)$ model where $k$ is fixed and $n$ tends to infinity. We also prove that for $d>1\slash 3$, a random group in the $Γ(n,k,d)$ model has Property (T) with p… ▽ More We study Property (T) in the $Γ(n,k,d)$ model of random groups: as $k$ tends to infinity this gives the Gromov density model, introduced in [Gro93]. We provide bounds for Property (T) in the $k$-angular model of random groups, i.e. the $ Γ(n,k,d)$ model where $k$ is fixed and $n$ tends to infinity. We also prove that for $d>1\slash 3$, a random group in the $Γ(n,k,d)$ model has Property (T) with probability tending to $1$ as $k$ tends to infinity, strengthening the results of Żuk and Kotowski--Kotowski, who consider only groups in the $Γ(n,3k,d)$ model. △ Less

Submitted 21 May, 2022; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: 34 pages. V2 incorporates referee's suggestions. This is the final version accepted for publication

On the eigenvalues of Erdos-Renyi random bipartite graphs

Authors: Calum J. Ashcroft

Abstract: We analyse the eigenvalues of Erdös--Rényi random bipartite graphs. In particular, we consider $p$ satisfying $n_{1}p=Ω(\sqrt{n_{1}p}\log^{3}(n_{1})),$ $n_{2}p=Ω(\sqrt{n_{2}p}\log^{3}(n_{2})),$ and let $G\sim G(n_{1},n_{2},p)$. We show that with probability tending to $1$ as $n_{1}$ tends to infinity: $$μ_{2} (A(G))\leq 2[1+o(1)](\sqrt{n_{1}p}+\sqrt{n_{2}p}+\sqrt{(n_{1}+n_{2})p}).$$ We analyse the eigenvalues of Erdös--Rényi random bipartite graphs. In particular, we consider $p$ satisfying $n_{1}p=Ω(\sqrt{n_{1}p}\log^{3}(n_{1})),$ $n_{2}p=Ω(\sqrt{n_{2}p}\log^{3}(n_{2})),$ and let $G\sim G(n_{1},n_{2},p)$. We show that with probability tending to $1$ as $n_{1}$ tends to infinity: $$μ_{2} (A(G))\leq 2[1+o(1)](\sqrt{n_{1}p}+\sqrt{n_{2}p}+\sqrt{(n_{1}+n_{2})p}).$$ △ Less

Submitted 14 March, 2021; originally announced March 2021.

Comments: 5 pages; comments welcome

Link conditions for cubulation

Authors: Calum J. Ashcroft

Abstract: We provide a condition on the links of polygonal complexes that is sufficient to ensure groups acting properly discontinuously and cocompactly on such complexes contain a virtually free codimension-1 subgroup. We provide stronger conditions on the links of polygonal complexes, which are sufficient to ensure groups acting properly discontinuously and cocompactly on such complexes act properly disco… ▽ More We provide a condition on the links of polygonal complexes that is sufficient to ensure groups acting properly discontinuously and cocompactly on such complexes contain a virtually free codimension-1 subgroup. We provide stronger conditions on the links of polygonal complexes, which are sufficient to ensure groups acting properly discontinuously and cocompactly on such complexes act properly discontinuously on a CAT(0) cube complex. If the group is hyperbolic then this action is also cocompact, hence by Agol's Theorem the group is virtually special (in the sense of Haglund-Wise); in particular it is linear over Z. We consider some applications of this work. Firstly, we consider the groups classified by [KV10] and [CKV12], which act simply transitively on CAT(0) triangular complexes with the minimal generalized quadrangle as their links, proving that these groups are virtually special. We further apply this theorem by considering generalized triangle groups, in particular a subset of those considered by [CCKW20]. △ Less

Submitted 14 January, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 43 pages, 4 figures; v2: typos corrected

On random presentations with fixed relator length

Authors: C. J. Ashcroft, Colva M. Roney-Dougal

Abstract: The standard $(n, k, d)$ model of random groups is a model where the relators are chosen randomly from the set of cyclically reduced words of length $k$ on an $n$-element generating set. Gromov's density model of random groups considers the case where $n$ is fixed, and $k$ tends to infinity. We instead fix $k$, and let $n$ tend to infinity. We prove that for all $k \geq 2$ at density $d > 1/2$ a r… ▽ More The standard $(n, k, d)$ model of random groups is a model where the relators are chosen randomly from the set of cyclically reduced words of length $k$ on an $n$-element generating set. Gromov's density model of random groups considers the case where $n$ is fixed, and $k$ tends to infinity. We instead fix $k$, and let $n$ tend to infinity. We prove that for all $k \geq 2$ at density $d > 1/2$ a random group in this model is trivial or cyclic of order two, whilst for $d < \frac{1}{2}$ such a random group is infinite and hyperbolic. In addition we show that for $d<\frac{1}{k}$ such a random group is free, and that this threshold is sharp. These extend known results for the triangular ($k = 3$) and square ($k = 4)$ models of random groups. △ Less

Submitted 21 November, 2017; originally announced November 2017.

MSC Class: 20F67; 20F69; 20P05