Local incentive compatibility on gross substitutes and other non-convex type-spaces

Abstract

We explore the equivalence of local incentive compatibility (LIC) (Carroll 2012) and incentive compatibility (IC) in non-convex type-spaces. We provide a sufficient condition on a type-space called richness for the said equivalence. Using this result, we show that LIC and IC are equivalent on large class of non-convex type-spaces which include the gross substitutes type-space and the generalized gross substitutes and complements type-space. Finally, we provide a geometric property consisting of three conditions for the equivalence of LIC and IC, and show that all the conditions are indispensable.