The acyclic sets of an oriented matroid (Q795053)

A set A in an oriented matroid \({\mathcal O}=(E,{\mathcal C},*)\) is acyclic if \(A\cap A^*\) is empty and A does not contain any circuits of \({\mathcal O}\). The collections of all acyclic sets of \({\mathcal O}\) forms a simplicial complex \({\mathcal A}\) in which the maximal simplices are the acyclic orientations of \({\mathcal O}\). The main result of this paper is that \({\mathcal A}\) has the homotopy type of a sphere.