{\tau}-Cluster Morphism Categories and Picture Groups

$\tau$-cluster morphism categories, introduced by Buan and Marsh, are a generalization of cluster morphism categories (defined by Igusa and Todorov). We show the classifying space of such a category is a cube complex, generalizing results of Igusa and Todorov and Igusa. Furthermore, the fundamental group of this space is the picture group of the algebra, first defined by Igusa, Todorov, and Weyman. Finally, we show that for Nakayama algebras, this space is a $K(\pi,1)$. The key step is a combinatorial proof that, for Nakayama algebras, 2-simple minded collections are characterized by pairwise compatibility conditions, a fact not true in general.
Comment: 38 pages, 4 figures. v4: journal version. v3: Numerous improvements have been made following suggestions of an anonymous referee. v2: Lemma 4.13 has been combined with Lemma 4.12 (now Lemma 4.11) and its proof has been changed. The introduction has been rewritten and minor typos have been fixed