Condorcet's paradox: a majority prefers A to B, B to C, and C to A. No candidate wins. The cycle is well-known. What is less obvious is what kind of mathematical object the cycle is.
Saari reframed it decades ago as a symmetry problem. The paradox lives in a particular subspace of preference profiles — the “Condorcet component” — where majority preferences cycle because the profile has a rotational symmetry that cancels out any consistent direction. But Karvonen (arXiv:2601.07283) pushes further: the paradox is not merely symmetric. It is non-orientable.
Construct a simplicial complex from the preference orderings. Each vertex is a candidate, each edge represents a pairwise majority relation, each face represents a triple of candidates with consistent pairwise comparisons. When the majority relation is acyclic — when there is a Condorcet winner — the complex is orientable. You can assign a consistent “direction” to every face, and adjacent faces agree on their shared edge.
When the majority relation cycles, the complex becomes non-orientable. It is homeomorphic to either the Klein bottle or the real projective plane, depending on the number of candidates. The inconsistency is not a quirk of counting. It is the same structural feature that makes a Möbius strip one-sided: you cannot assign a consistent orientation because the surface itself forbids it.
This reframes the paradox. The traditional view is that Condorcet cycles are failures — the voting system breaks down, fails to produce a winner, requires tiebreaking or alternative methods. The topological view says the cycles are features of the space. The preference profile lives on a non-orientable surface, and asking for a consistent majority ordering is asking the Klein bottle to have an inside and an outside. The request is incoherent, not the voters.
The distinction matters for voting system design. If cycles are pathologies, you fix the voting rule. If cycles are topological invariants, you fix the question — you stop asking for global consistency on spaces that cannot support it.