Definable orthogonality classes in accessible categories are small

Abstract

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class S of morphisms in an accessible category C, the orthogonal class of objects S⊥ is a small-orthogonality class (hence reflective, if C is cocomplete) is provable in ZFC if S is Σ1, while it follows from the existence of a proper class of supercompact cardinals if S is Σ2, and from the existence of a proper class of what we call C(n)-extendible cardinals if S is Σn+2 for n≥1. These cardinals form a new hierarchy, and we show that Vopenka's principle is equivalent to the existence of C(n)-extendible cardinals for all n. As a consequence, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, follows from the existence of sufficiently large supercompact cadianls, since E∗-equivalences are Σ2-definable for every cohomology theory E∗. On the other hand, E∗-equivalences are Σ1-definable, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.