Let $Γ$ be a finite simplicial graph such that the flag complex on $Γ$ is a $2$-dimensional triangulated disk. We show that with some assumptions, the Dehn function of the associated Bestvina--Brady group is either quadratic, cubic, or quartic. Furthermore, we can identify the Dehn function from the defining graph $Γ$.
We compute the relative divergence and the subgroup distortion of Bestvina-Brady subgroups. We also show that for each integer $n\geq 3$, there is a free subgroup of rank $n$ of some right-angled Artin group whose inclusion is not a quasi-isometric embedding. This result answers the question of Carr about the minimum rank $n$ such that some right-angled Artin group has a free subgroup of rank $n$ whose inclusion is not a quasi-isometric embedding. It is well-known that a right-angled Artin group $A_Γ$ is the fundamental group of a graph manifold whenever the defining graph $Γ$ is a tree. We sh…
Given a right-angled Artin group A, the associated Bestvina-Brady group is defined to be the kernel of the homomorphism A \to \mathbb{Z} that maps each generator in the standard presentation of A to a fixed generator of \mathbb{Z}. We prove that the Dehn function of an arbitrary finitely presented Bestvina-Brady group is bounded above by n^4. This is the best possible universal upper bound.
Bestvina-Brady groups arise as kernels of length homomorphisms from right-angled Artin groups G_\G to the integers. Under some connectivity assumptions on the flag complex Δ_\G, we compute several algebraic invariants of such a group N_\G, directly from the underlying graph \G. As an application, we give examples of Bestvina-Brady groups which are not isomorphic to any Artin group or arrangement group.
We compute: * the cohomology with group ring coefficients of Artin groups (or actually, of their associated Salvetti complexes), Bestvina-Brady groups, and graph products of groups, * the L^2-Betti numbers of Bestvina-Brady groups and of graph products of groups, * the weighted L^2-Betti numbers of graph products of Coxeter groups. In the case of arbitrary graph products there is an additional proviso: either all factors are infinite or all are finite.(However, for graph products of Coxeter groups this proviso is unnecessary.)
Previously one of us introduced a family of groups $G^M_L(S)$, parametrized by a finite flag complex $L$, a regular covering $M$ of $L$, and a set $S$ of integers. We give conjectural descriptions of when $G^M_L(S)$ is either residually finite or virtually torsion-free. In the case that $M$ is a finite cover and $S$ is periodic, there is an extension with kernel $G_L^M(S)$ and infinite cyclic quotient that is a CAT(0) cubical group. We conjecture that this group is virtually special. We relate these three conjectures to each other and prove many cases of them.
We study the Bieri-Neumann-Strebel-Renz invariants and we prove the following criterion: for groups $H$ and $K$ of type $FP_n$ such that $[H,H] \subseteq K \subseteq H$ and a character $χ: K \to \mathbb{R}$ with $χ([H,H]) = 0$ we have $[χ] \in Σ^n(K, \mathbb{Z})$ if and only if $[μ] \in Σ^n(H, \mathbb{Z})$ for every character $μ: H \to \mathbb{R}$ that extends $χ$. The same holds for the homotopical invariants $Σ^n(-)$ when $K$ and $H$ are groups of type $F_n$. We use these criteria to complete the description of the $Σ$-invariants of the Bieri-Stallings groups $G_m$ and more generally to desc…
For each subcomplex of the standard CW-structure on any torus, we compute the homology of a certain infinite cyclic regular covering space. In all cases when the homology is finitely generated, we also compute the cohomology ring. For aspherical subcomplexes of the torus our computation gives the homology and cohomology of Bestvina-Brady groups. We compute the cohomological dimension of each of these groups over any field and over any subring of the rationals.
We show that quasi-projective Bestvina-Brady groups are fundamental groups of complements to hyperplane arrangements. Furthermore we relate other normal subgroups of right-angled Artin groups to complements to arrangements of hypersurfaces. We thus obtain examples of hypersurface complements whose fundamental groups satisfy various finiteness properties.
In this thesis we investigate the Dehn functions of two different classes of groups: subdirect products, in particular subdirect products of limit groups; and Bestvina-Brady groups. Let D = Γ_1 \times ... \times Γ_n be a direct product of n \geq 3 finitely presented groups and let H be a subgroup of D. Suppose that each Γ_i contains a finite index subgroup Γ_i' \leq Γ_i such that the commutator subgroup [D', D'] of D' = Γ_1' \times ... \times Γ_n' is contained in H. Suppose furthermore that, for each i, the subgroup Γ_i H has finite index in D. We prove that H is finitely presented and satisfi…
A finite simple graph \G determines a right-angled Artin group G_\G, with one generator for each vertex v, and with one commutator relation vw=wv for each pair of vertices joined by an edge. The Bestvina-Brady group N_\G is the kernel of the projection G_\G \to \Z, which sends each generator v to 1. We establish precisely which graphs \G give rise to quasi-Kähler (respectively, Kähler) groups N_\G. This yields examples of quasi-projective groups which are not commensurable (up to finite kernels) to the fundamental group of any aspherical, quasi-projective variety.
Let K be a 2-dimensional finite flag complex. We study the CAT(0) dimension of the `Bestvina-Brady group', or `Artin kernel', Gamma_K. We show that Gamma_K has CAT(0) dimension 3 unless K admits a piecewise Euclidean metric of non-positive curvature. We give an example to show that this implication cannot be reversed. Different choices of K lead to examples where the CAT(0) dimension is 3, and either (i) the geometric dimension is 2, or (ii) the cohomological dimension is 2 and the geometric dimension is not known.
Brady proved that there are hyperbolic groups with finitely presented subgroups that are not of type $FP_3$ (and hence not hyperbolic). We reprove Brady's theorem by presenting a new construction. Our construction uses Bestvina-Brady Morse theory, but does not involve branched coverings.
We inspect Vietoris-Rips complexes $VR_t(X)$ of certain metric spaces $X$ using a new generalization of Bestvina-Brady discrete Morse theory. Our main result is a pair of metric criteria on $X$, called the Morse Criterion and Link Criterion, that allow us to deduce information about the homotopy types of certain $VR_t(X)$. One application is to topological data analysis, specifically persistence of homotopy type for certain Vietoris-Rips complexes. For example we recover some results of Adamaszek-Adams and Hausmann regarding homotopy types of $VR_t(S^n)$. Another application is to geometric gr…
We exhibit free-by-cyclic groups containing non-free locally-free subgroups, including some word hyperbolic examples. We also show that these groups are not subgroup separable. We use Bestvina-Brady Morse theory in our arguments.
We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group contains a conjugacy separable subgroup of finite index and has a residually finite outer automorphism group. Another consequence of the main result is that Bestvina-Brady groups are conjugacy separable and have solvable conjugacy problem.
We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.
For a connected graph L, let G(L) be a group with generators the vertex set of L, subject only to the relations that the ends of each edge commute. Now let H(L) be the kernel of the homomorphism from G(L) to the integers that takes each vertex to 1. M. Bestvina and N. Brady have shown that finiteness properties of H(L) are intimately related to the topology of the clique complex of L. We give a presentation for H(L), with generators the edges of L, and an infinite family of relators for each 1-cycle in L. In the case when the clique complex for L is simply-connected, we give a finite presentat…
Let $G$ be the right-angled Artin group associated to the flag complex $Σ$ and let $π:G\to\Z$ be its canonical height function. We investigate the presentation theory of the groups $Γ_n=π^{-1}(n\Z)$ and construct an algorithm that, given $n$ and $Σ$, outputs a presentation of optimal deficiency on a minimal generating set, provided $Σ$ is triangle-free; the deficiency tends to infinity as $n\to\infty$ if and only if the corresponding Bestvina-Brady kernel $\bigcap_nΓ_n$ is not finitely presented, and the algorithm detects whether this is the case. We explain why there cannot exist an algorithm…
The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to deduce that the commutator subgroup of a RACG, with defining flag complex a finite building of a certain type, admits an epimorphism to $\mathbb{Z}$ whose kernel has strong topological finiteness proper…