52
$\begingroup$

On page 98 of Weibel's An Introduction to Homological Algebra he mentions that the ring $R = \prod_{i=1}^\infty \mathbb{C}$ has global dimension $\geq 2$ with equality iff the continuum hypothesis holds. He doesn't give any clue as to the proof of this fact or why the continuum hypothesis got involved. On page 92 he mentions some examples of Osofsky and says the continuum hypothesis gets involved there because of non-constructible ideals over uncountable rings. I think this explains at least the "why" of the appearance of the continuum hypothesis (though I would welcome more details on this!), but it leaves me with some other questions:

How is the continuum hypothesis used in this proof?

Why wouldn't the proof work without the continuum hypothesis?

I will understand if the above have to do with some work of Osofsky that is not widely known. If I can't get answers for those questions, perhaps I can still get help on the below. I got involved with this because I wanted to understand an example of a ring that is von Neumann regular but not semisimple (and an infinite product of fields is such an example). I had hoped all such examples would have weak dimension zero (to be VNR) and right global dimension 1. In particular, I wanted to know that the global dimension of $A = \prod_{i=1}^\infty \mathbb{F}_2$ was $1$. According to this MO answer and its comments, $Spec A$ is the Stone-Cech compactification of $\mathbb{N}$. Now I'm concerned that things from set theory which I try to avoid thinking about will come into play in this example as well as in the above ring $R$.

What is the global dimension of $\prod_{i=1}^\infty \mathbb{F}_2$? Do we need to assume the continuum hypothesis at any point? What about an uncountable product of $\mathbb{F}_2$?

$\endgroup$
4
  • 7
    $\begingroup$ Have you tried asking Weibel? I had a beer with him last thursday at Paris, and I can tell you he's alive and well! $\endgroup$ Jun 21, 2011 at 21:41
  • 4
    $\begingroup$ I actually think it's better to post an answer here. Mariano's answer is excellent, and it's quite possible that Weibel learned this fact directly from Osofsky anyway (they are colleagues at Rutgers). $\endgroup$
    – Todd Trimble
    Jun 22, 2011 at 14:07
  • 4
    $\begingroup$ We've had this sort of question before. See Anton's answer to mathoverflow.net/questions/1924/… for a precise reference to Osofsky's work. $\endgroup$ Jun 22, 2011 at 20:12
  • $\begingroup$ @Kevin, Thanks, that link preemptively answers a question I was starting to formulate about other places where set theory pops up unexpectedly. I never thought I'd get excited about "what's decidable in ZFC" but there are some really cool answers at that link. $\endgroup$ Jun 22, 2011 at 22:51

3 Answers 3

55
$\begingroup$

In [Osofsky, B. L. Homological dimension and cardinality. Trans. Amer. Math. Soc. 151 1970 641--649. MR0265411 (42 #321)] she proved that the global dimension of a countable product of fields is $k+1$ iff $2^{\aleph_0}=\aleph_{k}$. In particular, if the continuum hypothesis holds, so that $2^{\aleph_0}=\aleph_1$, the global dimension of such a product is exactly $2$.

Because the AMS is nice, you can see the paper here.

$\endgroup$
8
  • 19
    $\begingroup$ Most of my set theory I learned due to asides in Weibel's book and a footnote in Hilton-Stammbach ;) $\endgroup$ Jun 21, 2011 at 21:48
  • 6
    $\begingroup$ Am I the only one who finds the appearance of set theory in seemingly random and completly unexpected places in mathematics strange? $\endgroup$
    – Tile
    Jun 22, 2011 at 10:08
  • 14
    $\begingroup$ Why strange? It's the basis of maths $\endgroup$ Jun 22, 2011 at 10:43
  • 5
    $\begingroup$ There are surprising appearances of set theory, but I think you need to revise your intuition if you find this one strange. This isn't deep at all, more of a tautology. $\endgroup$ Jun 22, 2011 at 19:21
  • 2
    $\begingroup$ For more examples of ZFC independence arising in other parts of mathematics, see mathoverflow.net/questions/1924/… $\endgroup$ Jun 22, 2011 at 20:42
41
$\begingroup$

In answer to Tilemachos Vassias, it is not at all unnatural to have the Continuum Hypothesis related to questions on dimension. For example, Sierpinski showed that the Continuum Hypothesis is equivalent to the statement that the plane can be partitioned into two pieces, one of which is countable on every vertical section and the other countable on every horizontal section --- this establishes a connection with dimension 2. A striking result that continues in this direction is due to Jacek Cichoń and Michał Morayne, "On differentiability of Peano type functions. III." Proc. Amer. Math. Soc. 92 (1984), no. 3, 432–438. There they show that the inequality $2^{\aleph_0}\leq \aleph_n$ is equivalent to the assertion that there exists an onto function $f:{\bf R}^{n}\to{\bf R}^{n+m}$ such that at each point of ${\bf R}^n$ at least $n$ coordinates of $f$ are differentiable. However, I believe that Barbara Osofsky was the first to realize that this phenomenon occurs outside of pure set theory.

$\endgroup$
3
  • $\begingroup$ +1 because these results are awesome and I had no idea about any of them! I hadn't thought about CH in at least three years, but now I'm kinda hoping for more surprise appearances of set theory in homological algebra $\endgroup$ Jun 22, 2011 at 13:50
  • 1
    $\begingroup$ @David: Perhaps the Whitehead problem counts? en.wikipedia.org/wiki/Whitehead_problem $\endgroup$ Jun 22, 2011 at 15:58
  • 1
    $\begingroup$ What is $m$? Any positive integer? A particular one? $\endgroup$
    – LSpice
    Feb 26, 2019 at 21:39
38
$\begingroup$

Since Tilemachos Vassias asked (in a comment to Mariano Suárez-Alvarez's answer) about "the appearance of set theory in seemingly random and completely unexpected places in mathematics," I'd like to give a more general answer than the one given by Juris Steprans, who concentrated on dimension. I've come to expect set theory to appear in any area of mathematics that gets beyond the consideration of countable or "essentially countable" (e.g. separable, in topology) structures. This expectation is not so much based on the foundational role of set theory, mentioned in Fernando Muro's comment, but on its role as the study of combinatorial structures on infinite sets. It is not surprising (to me) that when one analyzes problems or structures in depth, combinatorial issues arise. Indeed, it happens surprisingly often that analysis of a problem reduces it entirely to a combinatorial question, and then one expects to use set-theoretic tools. In some cases, that leads to independence results; in other cases, the tools produce solutions in ZFC. One difference between these two sorts of outcomes is that we know how to prove independence results only when uncountability is involved in an essential way (unless you count applications of Gödel's incompleteness theorems, but they're not really set theory), whereas the use of infinite combinatorics to prove results in ZFC can also arise in essentially countable situations.

$\endgroup$
3
  • $\begingroup$ And even "essentially countable" structures (at least as I understand the term) are not entirely safe, see for example Friedman's paper arxiv.org/abs/math/9811187 $\endgroup$ Jun 23, 2011 at 13:03
  • $\begingroup$ For what its worth, separable topological spaces can still be horrendously annoying and complex. $\endgroup$
    – Not Mike
    Jun 28, 2011 at 10:45
  • 2
    $\begingroup$ @Michael: perhaps the right "countability" condition for topological spaces is not separability, but second countability, i.e., the topology is countably generated. $\endgroup$
    – Nik Weaver
    Dec 30, 2012 at 17:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.