The Cohen-Macaulayness of the bounded complex of an affine oriented matroid

An affine oriented matroid M is a combinatorial abstraction of an affine hyperplane arrangement. From M, Novik, Postnikov and Sturmfels [11] constructed a squarefree monomial ideal OM in a polynomial ring S˜, and got beautiful results. Developing their theory, we will show the following.