長さ4の関係式で作るランダム群の固定点性を証明

A random group in the square model $\mathcal{Q}(n,d)$ is given by a presentation with $n$ generators and a uniformly random set of $(2n-1)^{4d}$ cyclically reduced relators of length 4 over them. We prove that if $d>\frac{5}{12}$, then a random group in $\mathcal{Q}(n,d)$ has Kazhdan's property (T) asymptotically almost surely (a.a.s.). This provides a new construction of infinite word-hyperbolic Kazhdan groups when $d\in\left(\frac{5}{12}, \frac{1}{2}\right)$. Moreover, also for $d>\frac{5}{12}$, we show that a random group in the square model a.a.s. has property $(\textrm{F}L^p)$ for an increasing range of values of $p$, and property $(\textrm{F}_X)$ for any fixed uniformly curved Banach space $X$. These results lead to bounds on the conformal dimension of the boundary of a random group in the square model. In the process we devise a method of applying the spectral link criteria for property (T), and other fixed point properties, to the groups presented by relations of length 4. In order to use it for the square model, we verify the required spectral gap hypothesis by the trace method, in the spirit of the work of Broder-Shamir.