Cohomological Finiteness Conditions in Bredon Cohomology
D. H. Kochloukova, C. Martinez-Perez, B. E. A. Nucinkis
备注：
Corrected a mistake in Lemma 2.4 of the previous version, which had an effect on the results in Section 5 (the condition that all centralisers of infinite order elements are of type $FP_\infty$ was added)
We show that any soluble group $G$ of type Bredon-$\FP_{\infty}$ with respect to the family of all virtually cyclic subgroups such that centralizers of infinite order elements are of type $\FP_{\infty}$ must be virtually cyclic. To prove this, we first reduce the problem to the case of polycyclic groups and then we show that a polycyclic-by-finite group with finitely many conjugacy classes of maximal virtually cyclic subgroups is virtually cyclic. Finally we discuss refinements of this result: we only impose the property Bredon-$\FP_n$ for some $n \leq 3$ and restrict to abelian-by-nilpotent, abelian-by-polycyclic or (nilpotent of class 2)-by-abelian groups.
Given a discrete group $G$, for any integer $r\geqslant0$ we consider the family of all virtually abelian subgroups of $G$ of rank at most $r$. We give an upper bound for the Bredon cohomological dimension of $G$ for this family for a certain class of groups acting on $\mathrm{CAT}(0)$ spaces. This covers the case of Coxeter groups, Right-angled Artin groups, fundamental groups of special cube complexes and graph products of finite groups. Our construction partially answers a question of J.-F. Lafont.
We investigate strictly developable simple complexes of groups with arbitrary local groups, or equivalently, group actions admitting a strict fundamental domain. We introduce a new method for computing the cohomology of such groups. We also generalise Bestvina's construction to obtain a polyhedral complex equivariantly homotopy equivalent to the standard development of the lowest possible dimension. As applications, for a group acting chamber transitively on a building of type $(W,S)$, we show that its Bredon cohomological dimension is equal to the virtual cohomological dimension of $W$ and gi…
We prove that the Bredon cohomological dimension and the virtual cohomological dimension coincide for groups that admit a cocompact model for $\underline{E}G$ and satisfy properties (M) and (NM). Among the examples of groups satisfying these hypothesis are cocompact and arithmetic Fuchsian groups, one relator groups, the Hilbert modular group and $3$-manifold groups.
We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We prove and make use of Stallings--Swan type results which characterise the groups of equivariant cohomological dimension one. Some of our examples are relevant to Farber's problem which asks for an algebraic characterisation of the topological complexity of discrete groups. In particular, the topological complexity of a group is not in general given by a rela…
This thesis concerns the study of the Bredon cohomological and geometric dimensions of a discrete group $G$ with respect to a family $\mathfrak{F}$ of subgroups of $G$. With that purpose, we focus on building finite-dimensional models for $\operatorname{E}_{\mathfrak{F}} \left( G \right)$. The cases of the family $\mathfrak{Fin}$ of finite subgroups of a group and the family $\mathfrak{VC}$ of virtually cyclic subgroups of a group have been widely studied and many tools have been developed to relate the classifying spaces for $\mathfrak{VC}$ with those for $\mathfrak{Fin}$. Given a discrete gr…
Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for …
This is the second paper in a series of three papers aiming to study cohomology of group theoretic Dehn fillings. In the present paper, we derive a spectral sequence for Cohen-Lyndon triples which can be thought of as a refined version of the classical Lyndon-Hochschild-Serre spectral sequence in the settings of group theoretic Dehn fillings. In the next paper arXiv:1908.01290, we will apply this spectral sequence to study cohomological finiteness properties of Dehn fillings of acylindrically hyperbolic groups.
On the residual finiteness of the non-abelian exterior square of some Artin groups, constructible soluble groups, generalised Baumslag-Solitar groups and $SL_n(\Z)$
We study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedean valued field $K$. To capture the features of classical amenability that induce the vanishing of real bounded cohomology, we introduce the notion of normed $K$-amenability, of which we prove an algebraic characterization. It implies that normed $K$-amenable groups are locally elliptic, and it relates an invariant, the norm of a $K$-amenable group, to the order of its discrete finite $p$-subquotients, where $p$ is the characteristic of the residue field of $K$. Moreover, w…
We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such families \F\ for rank two arrangements, reflection arrangements of types $A_\ell$, $B_\ell$, $D_\ell$, $F_4$, and for arrangements supporting multinet structures with three classes, with the resulting…
