Acylindrical actions on CAT(0) square complexes

For group actions on hyperbolic CAT(0) square complexes, we show that the acylindricity of the action is equivalent to a weaker form of acylindricity phrased purely in terms of stabilisers of points, which has the advantage of being much more tractable for actions on non-locally compact spaces. For group actions on general CAT(0) square complexes, we show that an analogous characterisation holds for the so-called WPD condition. As an application, we study the geometry of generalised Higman groups on at least $5$ generators, the first historical examples of finitely presented infinite groups without non-trivial finite quotients. We show that these groups act acylindrically on the CAT(-1) polygonal complex naturally associated to their presentation. As a consequence, such groups satisfy a strong version of the Tits alternative and are residually $F_2$-free, that is, every element of the group survives in a quotient that does not contain a non-abelian free subgroup.