No Arabic abstract
We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is Z/2.
Suppose an amenable group $G$ is acting freely on a simply connected simplicial complex $tilde X$ with compact quotient $X$. Fix $n geq 1$, assume $H_n(tilde X, mathbb{Z})=0$ and let $(H_i)$ be a Farber chain in $G$. We prove that the torsion of the integral homology in dimension $n$ of $tilde{X}/H_i$ grows subexponentially in $[G:H_i]$. By way of contrast, if $X$ is not compact, there are solvable groups of derived length 3 for which torsion in homology can grow faster than any given function.
The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the best hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non-hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, including for instance many 3-manifold groups and most mapping class groups. Our proofs use the quasi-trees of metric spaces of Bestvina--Bromberg--Fujiwara, among other tools. In addition, we give a complete characterization of the poset of hyperbolic actions of Anosov mapping torus groups, and we show that mapping class groups of closed surfaces of genus at least two have hyperbolic actions which are comparable only to the trivial action.
We present some enumerative and structural results for flag homology spheres. For a flag homology sphere $Delta$, we show that its $gamma$-vector $gamma^Delta=(1,gamma_1,gamma_2,ldots)$ satisfies: begin{align*} gamma_j=0,text{ for all } j>gamma_1, quad gamma_2leqbinom{gamma_1}{2}, quad gamma_{gamma_1}in{0,1}, quad text{ and }gamma_{gamma_1-1}in{0,1,2,gamma_1}, end{align*} supporting a conjecture of Nevo and Petersen. Further we characterize the possible structures for $Delta$ in extremal cases. As an application, the techniques used produce infinitely many $f$-vectors of flag balanced simplicial complexes that are not $gamma$-vectors of flag homology spheres (of any dimension); these are the first examples of this kind. In addition, we prove a flag analog of Perles 1970 theorem on $k$-skeleta of polytopes with few vertices, specifically: the number of combinatorial types of $k$-skeleta of flag homology spheres with $gamma_1leq b$, of any given dimension, is bounded independently of the dimension.
We give a complete list of the cobounded actions of solvable Baumslag-Solitar groups on hyperbolic metric spaces up to a natural equivalence relation. The set of equivalence classes carries a natural partial order first introduced by Abbott-Balasubramanya-Osin, and we describe the resulting poset completely. There are finitely many equivalence classes of actions, and each equivalence class contains the action on a point, a tree, or the hyperbolic plane.
Let G be a compact Lie-group, X a compact G-CW-complex. We define equivariant geometric K-homology groups K^G_*(X), using an obvious equivariant version of the (M,E,f)-picture of Baum-Douglas for K-homology. We define explicit natural transformations to and from equivariant K-homology defined via KK-theory (the official equivariant K-homology groups) and show that these are isomorphism.