The extension space conjecture of oriented matroid theory states that thespace of all one-element, non-loop, non-coloop extensions of a realizableoriented matroid of rank $d$ has the homotopy type of a sphere of dimension$d-1$. We disprove this conjecture by showing the existence of a realizableuniform oriented matroid of high rank and corank 3 with disconnected extensionspace.
展开▼