3
$\begingroup$

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?

$\endgroup$
21
  • 5
    $\begingroup$ The long line strikes me as more set-theoretic than geometric, but this might reflect my ignorance. $\endgroup$ Commented Feb 3, 2021 at 21:11
  • 8
    $\begingroup$ @MichaelGreinecker Per Schoenfield absoluteness, things will have to get fairly set-theoretic for GCH to be relevant in the first place. $\endgroup$ Commented Feb 3, 2021 at 21:13
  • 3
    $\begingroup$ @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. $\endgroup$ Commented Feb 3, 2021 at 21:27
  • 6
    $\begingroup$ @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? $\endgroup$ Commented Feb 3, 2021 at 21:30
  • 5
    $\begingroup$ CH is equivalent to the statement that all asymptotic cones of the symmetric space of $\mathrm{SL}_3(\mathbf{R})$ are isometric. $\endgroup$
    – YCor
    Commented Feb 4, 2021 at 0:14

0

You must log in to answer this question.