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.)
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 $Γ$.
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…
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 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.
It is conjectured that the central quotient of every irreducible Artin group is either virtually cyclic or acylindrically hyperbolic. We prove this conjecture for Artin groups associated to triangle-free graphs and Artin groups of large type associated to cones over square-free bipartite graphs. In fact, we treat Artin groups that are known to be CAT(0) groups by a result of Brady and McCammond.
We prove the $K$- and $L$-theoretic Farrell-Jones Conjecture with coefficients in an additive category for every normally poly-free group, in particular for even Artin groups of FC-type, and for all groups of the form $A\rtimes \mathbb{Z}$ where $A$ is a right-angled Artin group. Our proof relies on the work of Bestvina-Fujiwara-Wigglesworth on the Farrell--Jones Conjecture for free-by-cyclic groups.
From Trees to Tripods: Proof of $K(π,1)$ for Artin groups with $ABI$-type spherical parabolics
Instytut Matematyczny, Uniwersytet Wrocławski（弗罗茨瓦夫大学数学研究所）；Department of Mathematics, Tufts University（塔夫茨大学数学系）；Department of Mathematics, The Ohio State University（俄亥俄州立大学数学系）
We describe the structure of quasiflats in two-dimensio\-nal Artin groups. We rely on the notion of metric systolicity developed in our previous work. Using this weak form of non-positive curvature and analyzing in details the combinatorics of tilings of the plane we describe precisely the building blocks for quasiflats in all two-dimensional Artin groups -- atomic sectors. This allows us to provide useful quasi-isometry invariants for such groups -- completions of atomic sectors, stable lines, and the intersection pattern of certain abelian subgroups. These are described combinatorially, in t…
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…
The classical result by Dyer--Scott about fixed subgroups of finite order automorphisms of $F_n$ being free factors of $F_n$ is no longer true in $Z^m\times F_n$. Within this more general context, we prove a relaxed version in the spirit of Bestvina--Handel Theorem: the rank of fixed subgroups of finite order automorphisms is uniformly bounded in terms of $m,n$. We also study periodic points of endomorphisms of $Z^m\times F_n$, and give an algorithm to compute auto-fixed closures of finitely generated subgroups of $Z^m\times F_n$. On the way, we prove the analog of Day's Theorem for real eleme…
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…
