Title:Bestvina-Brady discrete Morse theory and Vietoris-Rips complexes

Abstract:We inspect Vietoris-Rips complexes $VR_t(X)$ of certain metric spaces $X$ using a generalization of Bestvina-Brady discrete Morse theory. Our main result is a pair of metric criteria on $X$, called the \emph{Morse Criterion} and \emph{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 show that $VR_t(S^n)\simeq S^n$ for all $0<t<1/4$ (where $S^n$ is scaled so antipodal points have distance $1/2$). Another application is to geometric group theory; we prove that any group acting geometrically on a proper metric space satisfying a version of the Link Criterion is of type $F_\infty$. We also prove that any group with a word metric satisfying the Link Criterion in an appropriate range has a contractible Vietoris-Rips complex, and exhibit a family of combable groups with this property.