3

In a paper by Rafael Dahman on the embedding of the long line into weakly complete vector spaces, those of the form $R^I$ for arbitrary $I$, and equipped with the Michal-Bastiani calculus, he notes a generalisation of Whitney's embedding theorem where he shows that the long line, equipped with a $C^r$ structure can be so embedded, but unlike Whitney, he is not able to provide a precise bound on the cardinality of $I$. He gives instead,a lower and an upper bound. However he notes that if the GCH is true then he can provide a precise cardinality.

This was news to me as I've always viewed GCH as about pure set theory - at least, this is how it has always been presented to me. To give a situation where it has geometric consequences made it seem suddenly more important. Of course, this might be - and most likely is - due to what little I know about mathematics. Hence the question:

Q. Are there geometric interpretations of GCH or/and are there geometric situations where it plays an important part?

Mozibur Ullah
  • 2,222
  • 14
  • 21
  • 5
    The long line strikes me as more set-theoretic than geometric, but this might reflect my ignorance. – Michael Greinecker Feb 03 '21 at 21:11
  • 8
    @MichaelGreinecker Per Schoenfield absoluteness, things will have to get fairly set-theoretic for GCH to be relevant in the first place. – Noah Schweber Feb 03 '21 at 21:13
  • 3
    @MichaelGreinecker And even more so if we want a $\mathsf{ZFC}$-provable relationship: e.g. under an appropriate large cardinal assumption, $\mathsf{GCH}$ won't affect projective sentences, so you can't hope for a projective "test" for $\mathsf{GCH}$ without proving the inconsistency of those large cardinals. – Noah Schweber Feb 03 '21 at 21:27
  • 6
    @NoahSchweber I'm not sure what large cardinals have to do with this. GCH is $\Pi^2_1$-conservative over ZF+DC. Unless you're referring to GCH being projectively conservative over ZF + large cardinals? – Elliot Glazer Feb 03 '21 at 21:30
  • 2
    @ElliotGlazer You're quite right, I'd forgotten about that - there's no need to go to Schoenfield or large cardinals, that's a much stronger result. (Reference.) – Noah Schweber Feb 03 '21 at 21:36
  • @Michael Greiner: Please have a look at Rafael Dahmen's paper to see a view to the contrary. He equips the long line with a $C^r$ differentiable structure with r=1 to infinity. These, unlike the usual xase, aten'tbunique. But then again we'be become accustomed to that with Milnors exotic spheres. My personal belief is that geometrising set theory will make set theoretic concepts such as the GCH and large cardinal axioms more vivid. It certainly has that for me with GCH. – Mozibur Ullah Feb 03 '21 at 21:36
  • @MoziburUllah Is this the paper you have in mind? If so, I believe only $\mathsf{CH}$ is relevant there. – Noah Schweber Feb 03 '21 at 21:42
  • Frederick Otto Bagemihl (1920-2002) and a few of his students studied some implications of CH and variations of CH in cluster set theory. For a short survey, see Bagemihl's paper The present state of ambiguity theory (pp. 85-90 in Infinite and Finite Sets To Paul Erdős on His 60th Birthday, Volume I, 1975). See also his 1967 paper The hypothesis $2^{\aleph_0}\leq {\aleph}_n$ and ambiguous points of planar functions. However, this may not be geometric enough for you. – Dave L Renfro Feb 03 '21 at 22:31
  • @Dave L Renfro: Do you know whether any of their work on "implications to CH" was of geometric interest? – Mozibur Ullah Feb 03 '21 at 23:13
  • 5
    CH is equivalent to the statement that all asymptotic cones of the symmetric space of $\mathrm{SL}_3(\mathbf{R})$ are isometric. – YCor Feb 04 '21 at 00:14
  • @Dave L Renfro: If not, then it's not really of any relevance to my question. One reason why I find set theory uninteresting is its narrowness. Unlike the other great theories of mathematics like geometry and algebra it stands on a strange isolated limb on its own whilst claiming to represent it's foundations. Large claims. My guess, is that as mathematicians move beyond the doctrinaire positions of second countable manifolds, they will find a wealth of examples to illuminate the concepts of set theory in a much more vivid way and can only benefit mathematics as a whole. – Mozibur Ullah Feb 04 '21 at 00:32
  • @YCor: Do you have a reference for that claim? – Mozibur Ullah Feb 04 '21 at 00:32
  • @MoziburUllah Look for a paper by Kramer, Shelah, Tent, Thomas. – YCor Feb 04 '21 at 01:01
  • @Ycor: Do you have a title for the paper? – Mozibur Ullah Feb 04 '21 at 01:03
  • 1
    @MoziburUllah Googling the authors gets this, which seems right. – Noah Schweber Feb 04 '21 at 01:07
  • 3
    In the question, the words "important" and "geometric" are both extremely subjective. And we haven't clarified what "GCH" means. Are applications of GCH which are already applications of CH of interest? If so then there are any number of results in general topology to talk about, which are just as "geometric" as the long line! To me, it sounds like OP is unfamiliar with any applications of GCH outside of pure set theory. So I suggest the most appropriate interpretation of the question is "What are some applications of GCH outside of pure set theory?". – Tim Campion Feb 04 '21 at 04:12
  • @Tim Campion: Your subtleties are lost on me. To me, geometry has a very vivid and concrete existence. GCH has a very well known characterisation as the equality of the alpha and beth cardinality hierchies. As for importance, I let that be understood as however the poster wants to answer it - within the limits of that ever fructable quantity known as mathematical maturity. – Mozibur Ullah Feb 04 '21 at 04:21
  • @Noah Schweber: Thanks for pointing this out, but to be honest, I'm distinctly underwhelmed by cones. If they were talking about convexity, well that would be something else. – Mozibur Ullah Feb 04 '21 at 04:24
  • 2
    @MoziburUllah To reiterate the question about GCH: an important consequence of GCH is CH. There are probably more theorems in the literature which state "Assuming CH, the following is true..." than theorems of the form "Assuming GCH, the following is true..", however both types of theorem are consequences of GCH. Are you interested in both types of theorem, or are you interested only in theorems which follow from GCH but not from CH? – Tim Campion Feb 04 '21 at 04:27
  • 2
    @MoziburUllah Tim wasn't insulting your intelligence at all, he was asking an important question: "Are you interested in both types of theorem, or are you interested only in theorems which follow from GCH but not from CH?" The fact that GCH trivially implies CH was narrative lead-in to that. – Noah Schweber Feb 04 '21 at 04:47
  • 2
    I'm actually surprised I can't immediately find a MO question specifically collecting "non-pure-set-theoretic" applications of CH. It's worth linking here and there are quite a number of applications of CH discussed in the answers here. Gosh, neither has the continuum-hypothesis tag! Plenty more here on MO, but I don't immediately see anything else not covered there. Not sure about GCH statements per se, beyond the top answer on the second question, where OP has actually left a comment already. – Tim Campion Feb 04 '21 at 12:22

0 Answers0