Skip to main content
MathOverflow

Return to Answer

Fixed TeX, other small edits
Source Link
Joel David Hamkins
Joel David Hamkins
  • 236.2k
  • 44
  • 777
  • 1.4k

My belief is that no result in algebraic geometry that does not explicitly engage the universe concept will fully require the use of universes. Indeed, I shall advance an argument that no such results actually need anything beyond ZFC, and indeed, that they need much less than this. (But please note, I have comparatively little knowledge of algebraic geometry, although much more of universes,answer as these align exactly with concepts of large cardinala set theorytheorist rather than an algebraic geometer.)

This axiom is strictly weaker than the Universe Axiom, since in fact, every universe is already a model of it. Namely, if $\kappa$ is inaccessible, then there are unboundedly many $\alpha\lt\kappa$ with $V_\alpha\curlylt V_\kappa$$V_\alpha$ elementary in $V_\kappa$, by the Lowenheim-Skolem theorem, and so $V_\kappa$ satisfies the Weak Universe Axiom by itself. From what (little) I have seen, it appears that most of the applications of universes in algebraic geometry could be carried out with weak universes, if one is somewhat more careful about how one treats universes. The difference is that when using weak universes, one must pay attention to whether a given construction is definable inside the universe or not, in order to know whether the top level $\kappa$ of the weak universe, which may now be singular (and this is the difference), is reached.

I can imagine, however, a case where one has used the Universe theory to prove an elementary result, such as Fermat's Last Theorem, and one wants to know what are the optimal hypotheses for the proof. The question would be whether the extra universe hypotheses are required or not. The thrust of my answer here is that such a question will be answered by replacing the universe concepts that are used in the proof with any of the various weakened universe concepts that I have mentioned above, and thereby realizing the theorem as a theorem of ZFC or much less.

(I beg apologies and forgiveness for the indulgence concerning the length of this answer.)

My belief is that no result in algebraic geometry that does not explicitly engage the universe concept will fully require the use of universes. Indeed, I shall advance an argument that no such results actually need anything beyond ZFC, and indeed, that they need much less than this. (But please note, I have comparatively little knowledge of algebraic geometry, although much more of universes, as these align exactly with concepts of large cardinal set theory.)

This axiom is strictly weaker than the Universe Axiom, since in fact, every universe is already a model of it. Namely, if $\kappa$ is inaccessible, then there are unboundedly many $\alpha\lt\kappa$ with $V_\alpha\curlylt V_\kappa$, by the Lowenheim-Skolem theorem, and so $V_\kappa$ satisfies the Weak Universe Axiom by itself. From what (little) I have seen, most of the applications of universes in algebraic geometry could be carried out with weak universes, if one is somewhat more careful about how one treats universes. The difference is that when using weak universes, one must pay attention to whether a given construction is definable inside the universe or not, in order to know whether the top level $\kappa$ of the weak universe, which may now be singular (and this is the difference), is reached.

I can imagine, however, a case where one has used the Universe theory to prove an elementary result, such as Fermat's Last Theorem, and one wants to know what are the optimal hypotheses for the proof. The question would be whether the extra universe hypotheses are required or not. The thrust of my answer here is that such a question will be answered by replacing the universe concepts that are used in the proof with any of the various weakened universe concepts that I have mentioned above, and thereby realizing the theorem as a theorem of ZFC or much less.

(I beg apologies and forgiveness for the indulgence concerning the length of this answer.)

My belief is that no result in algebraic geometry that does not explicitly engage the universe concept will fully require the use of universes. Indeed, I shall advance an argument that no such results actually need anything beyond ZFC, and indeed, that they need much less than this. (But please note, I answer as a set theorist rather than an algebraic geometer.)

This axiom is strictly weaker than the Universe Axiom, since in fact, every universe is already a model of it. Namely, if $\kappa$ is inaccessible, then there are unboundedly many $\alpha\lt\kappa$ with $V_\alpha$ elementary in $V_\kappa$, by the Lowenheim-Skolem theorem, and so $V_\kappa$ satisfies the Weak Universe Axiom by itself. From what I have seen, it appears that most of the applications of universes in algebraic geometry could be carried out with weak universes, if one is somewhat more careful about how one treats universes. The difference is that when using weak universes, one must pay attention to whether a given construction is definable inside the universe or not, in order to know whether the top level $\kappa$ of the weak universe, which may now be singular (and this is the difference), is reached.

I can imagine, however, a case where one has used the Universe theory to prove an elementary result, such as Fermat's Last Theorem, and one wants to know what are the optimal hypotheses for the proof. The question would be whether the extra universe hypotheses are required or not. The thrust of my answer here is that such a question will be answered by replacing the universe concepts that are used in the proof with any of the various weakened universe concepts that I have mentioned above, and thereby realizing the theorem as a theorem of ZFC or much less.

Source Link
Joel David Hamkins
Joel David Hamkins
  • 236.2k
  • 44
  • 777
  • 1.4k

My belief is that no result in algebraic geometry that does not explicitly engage the universe concept will fully require the use of universes. Indeed, I shall advance an argument that no such results actually need anything beyond ZFC, and indeed, that they need much less than this. (But please note, I have comparatively little knowledge of algebraic geometry, although much more of universes, as these align exactly with concepts of large cardinal set theory.)

My reason is that there are several hierarchies of weakened universe concepts, which appear to be sufficient to carry out all the arguments that I have heard using universes, but which are set-theoretically strictly weaker hypotheses.

A universe, as you know, is known in set theory as $H_\kappa$, the set of all hereditarily-size-less-than-$\kappa$ sets, for some inaccessible cardinal $\kappa$. Every such universe also has the form $V_\kappa$, in the cumulative Levy hierarchy, because $H_\kappa=V_\kappa$ for any beth-fixed point, which includes all inaccessible cardinals. Thus, the Universe Axiom, asserting that every set is in a universe, is equivalent to the large cardinal assertion that there are unboundedly many inaccessible cardinals.

This hypothesis is relatively low in the large cardinal hierarchy, and so from this perspective, it is relatively mild to just go ahead and use universes. In consistency strength, for example, it is strictly weaker than the existence of a single Mahlo cardinal, which is considered to be very weak large-cardinal theoretically, and much stronger hypotheses are routinely considered in set theory. Nevertheless, these hypotheses do definitely exceed ZFC in strength, unless ZFC is already inconsistent, and so your question is a good one. It follows the pattern in set theory of inquiring the exact large cardinal strength of a given hypothesis.

The weaker universe concepts that I propose to use in replacement of universes are the following, where I take the liberty of introducing some new terminology.

  • A weak universe is some $V_\alpha$ which models ZFC. The Weak Universe axiom is the assertion that every set is in a weak universe.

This axiom is strictly weaker than the Universe Axiom, since in fact, every universe is already a model of it. Namely, if $\kappa$ is inaccessible, then there are unboundedly many $\alpha\lt\kappa$ with $V_\alpha\curlylt V_\kappa$, by the Lowenheim-Skolem theorem, and so $V_\kappa$ satisfies the Weak Universe Axiom by itself. From what (little) I have seen, most of the applications of universes in algebraic geometry could be carried out with weak universes, if one is somewhat more careful about how one treats universes. The difference is that when using weak universes, one must pay attention to whether a given construction is definable inside the universe or not, in order to know whether the top level $\kappa$ of the weak universe, which may now be singular (and this is the difference), is reached.

  • Let us say that a very weak universe is simply a transitive set model of ZFC. (In set theory, one would want just to call these universes, but here that word is taken to have the meaning above; so we could call them set-theoretic universes.) The Very Weak Universe Axiom (or Set-theoretic Universe Axiom) is the assertion that every set is an element of a very weak universe.

The difference between a very weak universe and a weak universe is that a very weak universe $M$ may be wrong about power sets, even though it satisfies its own version of the Powerset Axiom. Set theorists are very attentive to such very weak universes, and pay attention in a set-theoretic construction to which model of set theory it is undertaken. If the algebraic geometers were to give similar attention to this point, thereby turning themselves into set theorists, I believe that all of their arguments using universes could be essentially replaced with very weak universes. Another important point is that while universes are always linearly ordered by inclusion, this is no longer true for very weak universes.

Now, even the Very Weak Universe Axiom transcends ZFC in consistency strength, because it clearly implies Con(ZFC). So let me now describe how one might provide an even greater reduction in the strength of the hypothesis, and capture a use of universes within ZFC itself.

The key is to realize that algebraic geometry does not really use the full force of ZFC. (Please take this with some skepticism, given my comparatively little exposure to algebraic geometry.) It seems to me unlikely, for example, that one needs the full Replacement Axiom in order to carry out the principal goal constructions of algebraic geometry. Let me suppose that these arguments can be carried out in some finite fragment $ZFC_0$ of $ZFC$, for example, $ZFC$ restricted to formulas of complexity $\Sigma_N$ for some definite number $N$, such as $100$ or so. In this case, let me define that a good-enough-universe is $V_\kappa$, provided that this satisfies $ZFC_0$. All such good-enough universes have $V_\kappa=H_\kappa$, just as with universes, since these will be beth-fixed points. The Good-enough Universe Axiom is the assertion that every set is a member of a good-enough universe.

Now, my claim is first, that this Good-enough Universe Axiom is sufficient to carry out most or even all of the applications of universes in algebraic geometry, provided that one is sufficiently attentive to the set-theoretic issues, and second, that this axiom is simply a theorem of ZFC. Indeed, one can get more, that the various good-enough universes agree with each other on truth.

Theorem. There is a definable closed unbounded class of cardinals $\kappa$ such that every $V_\kappa$ is a good-enough universe and furthermore, whenever $\kappa\lt\lambda$ in $C$, then $\Sigma_N$-truth in $V_\kappa$ agrees with $\Sigma_N$-truth in $V_\lambda$, and moreover, agrees with $\Sigma_N$ truth in the full universe $V$.

This theorem is exactly an instance of the Levy Reflection Theorem.

OK, so if I am right, then the algebraic geometers can carry out their universe arguments by paying a lot of careful attention to the set-theoretic complexity of their constructions, and using good-enough universes instead of universes.

But should they do this? For most purposes, I don't think so. The main purpose of universes is as a simplifying device of convenience to stratify the full universe by levels, which can be fruitfully compared by local notions of large and small. This makes for a very convenient theory, having numerous local concepts of large and small.

I can imagine, however, a case where one has used the Universe theory to prove an elementary result, such as Fermat's Last Theorem, and one wants to know what are the optimal hypotheses for the proof. The question would be whether the extra universe hypotheses are required or not. The thrust of my answer here is that such a question will be answered by replacing the universe concepts that are used in the proof with any of the various weakened universe concepts that I have mentioned above, and thereby realizing the theorem as a theorem of ZFC or much less.

(I beg apologies and forgiveness for the indulgence concerning the length of this answer.)