nLab
Vopěnka's principle

Vopěnka's principle

Idea

Vopěnka’s principle is a large cardinal axiom which implies a good deal of simplification in the theory of locally presentable categories.

It is fairly strong as large cardinal axioms go: its consistency follows from the existence of huge cardinal?s, and it implies the existence of arbitrarily large measurable cardinals.

Statements

The Vopěnka principle

Vopěnka’s principle has many equivalent statements. Here are a few:

Theorem

The VP is equivalent to the statement:

Every discrete full subcategory of a locally presentable category is small.

Theorem

The VP is equivalent to the statement:

For every proper class sequence M ααOrd\langle M_\alpha | \alpha \in Ord\rangle of first-order structures, there is a pair of ordinals α<β\alpha\lt\beta for which M αM_\alpha embeds elementarily into M βM_\beta.

Theorem

The VP is equivalent to the statement:

For CC a locally presentable category, every full subcategory DCD \hookrightarrow C which is closed under colimits is a coreflective subcategory.

This is (AdamekRosicky, theorem 6.28).

Theorem

The VP is equivalent to the statement:

Every cofibrantly generated model category (in a slightly more general sense than usual) is a combinatorial model category.

This is in (Rosicky)

Remark

If one insists on the traditional stricter definition of cofibrant generated model category, then the VP still implies that these are all combinatorial. But the VP is slightly stronger than this statement.

Theorem

The VP is equivalent to both of the statements:

  1. For every nn, there exists a C(n)-extendible cardinal.
  2. For every nn, there exist arbitrarily large C(n)-extendible cardinals.

This is in (BCMR).

The weak Vopěnka principle

The Vopěnka principle implies the weak Vopěnka principle.

Theorem

The weak VP is equivalent to the statement:

For CC a locally presentable category, every full subcategory DCD \hookrightarrow C which is closed under limits is a reflective subcategory.

This is AdamekRosicky, theorem 6.28

Relativized versions of Vopěnka’s principle

Vopěnka’s principle can be relativized to levels of the Lévy hierarchy by restricting the complexity of the (definable) classes to which it is applied. The following theorems are from (BCMR).

Theorem

For any n1n\ge 1, the following statements are equivalent.

  1. There exists a C(n)-extendible cardinal.
  2. Every proper class of first-order structures that is defined by a conjunction of a Σ n+1\Sigma_{n+1} formula and a Π n+1\Pi_{n+1} formula contains distinct structures MM and NN and an elementary embedding MNM\hookrightarrow N.

The ”n=0n=0 case” of this is:

Theorem

For any n1n\ge 1, the following statements are equivalent.

  1. There exists a supercompact cardinal.
  2. Every proper class of first-order structures that is defined by a Σ 2\Sigma_2 formula contains distinct structures MM and NN and an elementary embedding MNM\hookrightarrow N.

Many more refined results can be found in (BCMR).

Motivation

From a category-theoretic perspective, Vopěnka’s principle can be motivated by applications and consequences, but it can also be argued for somewhat a priori, on the basis that large discrete categories are rather pathological objects. We can’t avoid them entirely (at least, not without restricting the rest of mathematics fairly severely), but maybe at least we can prevent them from occurring in some nice situations, such as full subcategories of locally presentable categories. See this MO answer.

Consequences

Theorem

The VP implies the statement:

Let CC be a left proper combinatorial model category and ZMor(C)Z \in Mor(C) a class of morphisms. Then the left Bousfield localization L ZWL_Z W exists.

This is theorem 2.3 in (RosickyTholen)

Corollary

The VP implies the statement:

Let CC be a locally presentable (∞,1)-category and ZZ a class of morphisms in CC. Then the reflective localization of CC at WW extsts.

Proof

By the facts discussed at locally presentable (∞,1)-category and combinatorial model category and Bousfield localization of model categories we have that every locally presentable (,1)(\infty,1)-category is presented by a combinatorial model category and that under this correspondence reflective localizations correspond to left Bousfield localizations. The claim then follows with the (above theorem).

Set-theoretic notes

First- versus second-order

As usually stated, Vopěnka’s principle is not formalizable in first-order ZF set theory, because it involves a “second-order” quantification over proper classes (”…there does not exist a large discrete subcategory…”). It can, however, be formalized in this way in a class-set theory such as NBG.

On the other hand, it can be formalized in ZF as a first-order axiom schema consisting of one axiom for each class-defining formula ϕ\phi, stating that ”ϕ\phi does not define a class which is a large discrete subcategory…” We might call this axiom schema the Vopěnka axiom scheme. As in most situations of this sort, the first-order Vopěnka scheme is appreciably weaker than the second-order Vopěnka principle. See, for instance, this MO question and answer.

Vopěnka cardinals

Unlike some large cardinal axioms, Vopěnka’s principle does not appear to be merely an assertion that “there exist very large cardinals” but rather an assertion about the precise size of the “universe” (the “boundary” between sets and proper classes). In other words, the universe could be “too big” for Vopěnka’s principle to hold, in addition to being “too small.”

(The equivalence of Vopěnka’s principle with the existence of C(n)-extendible cardinals may appear to contradict this. However, the property of being C(n)C(n)-extendible itself “depends on the size of the whole universe” in a sense.)

More precisely, if κ\kappa is a cardinal such that V κV_\kappa satisfies ZFC + Vopěnka’s principle, then knowing that λ>κ\lambda\gt\kappa does not necessarily imply that V λV_\lambda also satifies Vopěnka’s principle. By contrast, if V κV_\kappa satisfies ZFC + “there exists a measurable cardinal” (say), then there must be a measurable cardinal less than κ\kappa, and that measurable cardinal will still exist in V λV_\lambda for any λ>κ\lambda\gt\kappa. On the other hand, large cardinal axioms such as “there exist arbitrarily large measurable cardinals” have the same property that Vopěnka’s principle does: even if measurable cardinals are unbounded below κ\kappa, they will not be unbounded below λ\lambda if λ\lambda is the next greatest inaccessible cardinal after κ\kappa.

Relativizing Vopěnka’s principle to cardinals also raises the same first- versus second-order issues as above. We say that a Vopěnka cardinal is one where Vopěnka’s principle holds “in V κV_\kappa” where the quantification over classes is interpreted as quantification over all subsets of V κV_\kappa. By contrast, we could define an almost-Vopěnka cardinal to be one where V κV_\kappa satisfies the first-order Vopěnka scheme. Then one can show, using the Mahlo reflection principle (see here again), that every Vopěnka cardinal κ\kappa is a limit of κ\kappa-many almost-Vopěnka cardinals, and in particular the smallest almost-Vopěnka cardinal cannot be Vopěnka. Thus, being Vopěnka is much stronger than being almost-Vopěnka.

Definable counterexamples

If Vopěnka’s principle fails, then there exist counterexamples to all of its equivalent statements, such as a large discrete full subcategory of a locally presentable category. If Vopěnka’s principle fails but the first-order Vopěnka scheme holds, then no such counterexamples can be explicitly definable.

On the other hand, if the Vopěnka scheme also fails, then there will be explicit finite formulas one can write down which define counterexamples. However, there is no “universal” counterexample, in the following sense: if Vopěnka’s principle is consistent, then for any class-defining formula ϕ\phi, there is a model of set theory in which Vopěnka’s principle fails (and even in which the first-order Vopěnka scheme fails), but in which ϕ\phi does not define a counterexample to it. See here yet again.

References

The relation to the theory of locally presentable categories is the contents of chapter 6 of

The relation to combinatorial model categories is discussed in

  • Jiří Rosický, Are all cofibrantly generated model categories combinatorial? (ps)

The implication of VP on homotopy theory, model categories and cohomology localization are discussed in the following articles

  • Jiří Rosický, Walter Tholen, Left-determined model categories and universal homotopy theories Transactions of the American Mathematical Society Vol. 355, No. 9 (Sep., 2003), pp. 3611-3623 (JSTOR).
  • Carles Casacuberta, Dirk Scevenels, Jeff Smith, Implications of large-cardinal principles in homotopical localization Advances in Mathematics Volume 197, Issue 1, 20 October 2005, Pages 120-139

  • Joan Bagaria, Carles Casacuberta, Adrian Mathias, Jiri Rosicky Definable orthogonality classes in accessible categories are small, arXiv

Revised on September 24, 2012 06:08:46 by Mike Shulman (192.16.204.218)