Definable orthogonality classes in accessible categories are small

Joan Bagaria; Carles Casacuberta; A. R. D. Mathias; Jiří Rosický

Journal of the European Mathematical Society (2015)

  • Volume: 017, Issue: 3, page 549-589
  • ISSN: 1435-9855

Abstract

top
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 Vopěnka’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 𝒮 of morphisms in a locally presentable category 𝒞 of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) can be proved in ZFC if 𝒮 is Σ 1 , while it follows from the existence of a proper class of supercompact cardinals if 𝒮 is Σ 2 , and from the existence of a proper class of what we call C ( n ) -extendible cardinals if 𝒮 is Σ n + 2 for n 1 . These cardinals form a new hierarchy, and we show that Vopěnka’s principle is equivalent to the existence of C ( n ) -extendible cardinals for all n . As a consequence of our approach, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This follows from the fact that E * -equivalence classes are Σ 2 , where E denotes a spectrum treated as a parameter. In contrast with this fact, E * -equivalence classes are Σ 1 , from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.

How to cite

top

Bagaria, Joan, et al. "Definable orthogonality classes in accessible categories are small." Journal of the European Mathematical Society 017.3 (2015): 549-589. <http://eudml.org/doc/277196>.

@article{Bagaria2015,
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 Vopěnka’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 $\mathcal \{S\}$ of morphisms in a locally presentable category $\mathcal \{C\}$ of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) can be proved in ZFC if $\mathcal \{S\}$ is $\mathbf \{\Sigma \}_1$, while it follows from the existence of a proper class of supercompact cardinals if $\mathcal \{S\}$ is $\mathbf \{\Sigma \}_2$, and from the existence of a proper class of what we call $C(n)$-extendible cardinals if $\mathcal \{S\}$ is $\mathbf \{\Sigma \}_\{n+2\}$ for $n \ge 1$. These cardinals form a new hierarchy, and we show that Vopěnka’s principle is equivalent to the existence of $C(n)$-extendible cardinals for all $n$. As a consequence of our approach, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This follows from the fact that $E^*$-equivalence classes are $\mathbf \{\Sigma \}_2$, where $E$ denotes a spectrum treated as a parameter. In contrast with this fact, $E_*$-equivalence classes are $\mathbf \{\Sigma \}_1$, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.},
author = {Bagaria, Joan, Casacuberta, Carles, Mathias, A. R. D., Rosický, Jiří},
journal = {Journal of the European Mathematical Society},
keywords = {supercompact cardinal; extendible cardinal; Lévy hierarchy; accessible category; reflective subcategory; cohomological localization; supercompact cardinal; extendible cardinal; Lévy hierarchy; accessible category; reflective subcategory; cohomological localization},
language = {eng},
number = {3},
pages = {549-589},
publisher = {European Mathematical Society Publishing House},
title = {Definable orthogonality classes in accessible categories are small},
url = {http://eudml.org/doc/277196},
volume = {017},
year = {2015},
}

TY - JOUR
AU - Bagaria, Joan
AU - Casacuberta, Carles
AU - Mathias, A. R. D.
AU - Rosický, Jiří
TI - Definable orthogonality classes in accessible categories are small
JO - Journal of the European Mathematical Society
PY - 2015
PB - European Mathematical Society Publishing House
VL - 017
IS - 3
SP - 549
EP - 589
AB - 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 Vopěnka’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 $\mathcal {S}$ of morphisms in a locally presentable category $\mathcal {C}$ of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) can be proved in ZFC if $\mathcal {S}$ is $\mathbf {\Sigma }_1$, while it follows from the existence of a proper class of supercompact cardinals if $\mathcal {S}$ is $\mathbf {\Sigma }_2$, and from the existence of a proper class of what we call $C(n)$-extendible cardinals if $\mathcal {S}$ is $\mathbf {\Sigma }_{n+2}$ for $n \ge 1$. These cardinals form a new hierarchy, and we show that Vopěnka’s principle is equivalent to the existence of $C(n)$-extendible cardinals for all $n$. As a consequence of our approach, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This follows from the fact that $E^*$-equivalence classes are $\mathbf {\Sigma }_2$, where $E$ denotes a spectrum treated as a parameter. In contrast with this fact, $E_*$-equivalence classes are $\mathbf {\Sigma }_1$, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.
LA - eng
KW - supercompact cardinal; extendible cardinal; Lévy hierarchy; accessible category; reflective subcategory; cohomological localization; supercompact cardinal; extendible cardinal; Lévy hierarchy; accessible category; reflective subcategory; cohomological localization
UR - http://eudml.org/doc/277196
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.