Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$?

share|improve this question
5  
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! –  Alain Valette Jun 21 '11 at 21:41
3  
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). –  Todd Trimble Jun 22 '11 at 14:07
1  
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. –  Kevin Buzzard Jun 22 '11 at 20:12
    
@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. –  David White Jun 22 '11 at 22:51
add comment

3 Answers

up vote 38 down vote accepted

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.

share|improve this answer
12  
Most of my set theory I learned due to asides in Weibel's book and a footnote in Hilton-Stammbach ;) –  Mariano Suárez-Alvarez Jun 21 '11 at 21:48
6  
Am I the only one who finds the appearance of set theory in seemingly random and completly unexpected places in mathematics strange? –  Tilemachos Vassias Jun 22 '11 at 10:08
9  
Why strange? It's the basis of maths –  Fernando Muro Jun 22 '11 at 10:43
    
@Tilemachos I certainly found it very strange, and that's why I asked the question. I also like the answer below for pointing out other random places it has appeared. –  David White Jun 22 '11 at 13:47
1  
For more examples of ZFC independence arising in other parts of mathematics, see mathoverflow.net/questions/1924/… –  Joel David Hamkins Jun 22 '11 at 20:42
show 3 more comments

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.

share|improve this answer
    
+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 –  David White Jun 22 '11 at 13:50
1  
@David: Perhaps the Whitehead problem counts? en.wikipedia.org/wiki/Whitehead_problem –  Timothy Chow Jun 22 '11 at 15:58
add comment

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.

share|improve this answer
    
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 –  Klaus Draeger Jun 23 '11 at 13:03
    
For what its worth, separable topological spaces can still be horrendously annoying and complex. –  Michael Blackmon Jun 28 '11 at 10:45
    
@Michael: perhaps the right "countability" condition for topological spaces is not separability, but second countability, i.e., the topology is countably generated. –  Nik Weaver Dec 30 '12 at 17:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.