Call the two horizontal edge classes indicated by one and two arrowheads and . All vertices in the displayed quotient are identified. In the third displayed square, an -edge and a -edge are opposite, so they are dual to the same hyperplane of a cube complex . At the unique vertex, the distinct edges and are therefore dual to , but no square has them as adjacent sides. With the orientations shown, they have the same initial vertex. Hence is a self-osculating hyperplane, one of the forbidden pathologies of a special cube complex. The displayed cube complex is not special.
Articles by others on the same topic
There are currently no matching articles.