A recent theorem of Dobrinskaya 20 states that the K(pi,1)-conjecture holds for an Artin group G if and only if the canonical map BM -> BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of 13, and a small chain complex for computing its monoid homology, similar to the one of 44.
展开▼