In a recent paper, Reny (2011) generalized the results of Athey (2001) and McAdams (2003) on the existence of monotone strategy equilibrium in Bayesian games. Though the generalization is subtle, Reny introduces far-reaching new techniques applying the ﬁxed point theorem of Eilenberg and Montgomery (1946, Theorem 5). This is done by showing that with atomless type spaces the set of monotone functions is an absolute retract and when the values of the best response correspondence are non-empty sub-semilattices of monotone functions, they too are absolute retracts. In this paper, we provide an extensive generalization of Reny (2011), McAdams (2003), and Athey (2001). We study the problem of existence of Bayesian equilibrium in pure strategies for a given partially ordered compact subset of strategies. The ordering need not be a semilattice and these strategies need not be monotone. The main innovation is the interplay between the homotopy structures of the order complexes that are the subject of the celebrated work of Quillen (1978), and the hulling of partially ordered sets, an innovation that extends the properties of Reny’s semilattices to the non-lattice setting. We then describe some auctions that illustrate how this framework can be applied to generalize the existing results and extend the class of models for which we can establish existence of equilibrium. As with Reny (2011), our proof utilizes the ﬁxed point theorem in Eilenberg and Montgomery (1946).
Meneghel, Idione and Tourky, Rabee, "On the Existence of Equilibrium in Bayesian Games Without Complementarities" (2019). Cowles Foundation Discussion Papers. 64.