On the topology of the set of Nash equilibria

Abstract

It has been an open conjecture in the theory of non-cooperative games that Nash equilibrium is universal for the collection of (non-empty) compact semi-algebraic sets, meaning that for every such set there is a game whose set of Nash equilibria is homeomorphic to the given set. In this paper we prove this conjecture.