El espacio-tiempo puede ser modelado utilizando un cuatrodimensiones topológicas colector. Decir que denotan el colector de uso de $(M, \mathcal{O})$ donde $\dim M =d$. La estructura de $(M,\mathcal{O})$ no es suficiente para hablar de una noción de la diferenciabilidad de una curva en el colector. Necesitamos hacer más decisiones u obtener más información antes de que podamos hablar de la la diferenciabilidad.
Ahora Schuller dice (dentro de los primeros 5 minutos), que para uno, dos y tresdimensiones colectores tenemos sólo una opción para una noción de la diferenciabilidad (o más bien todas las opciones posibles son equivalentes). Para cinco, seis, siete y más dimensiones topológicas colectores hay un finito número de opciones (en cada caso) para hablar acerca de una noción de la diferenciabilidad. De acuerdo con el capítulo 4 de este conjunto de notas de la conferencia, el primero es un corolario de Morse-Radón teoremas, mientras que el segundo es un resultado de la cirugía de la teoría.
Número de $C^{\infty}$-colectores uno puede hacer fuera de la vista $C^0$-colectores (si cualquier) - hasta diffeomorphisms:
\begin{array}{l | c | r } \dim M & \# & \\ \hline 1 & 1 & \text{Morse-Radon theorems} \\ 2 & 1 & \text{Morse-Radon theorems} \\ 3 & 1 & \text{Morse-Radon theorems} \\ 4 & \text{uncountably infinite} & \\ 5 & \text{finite} & \text{surgery theory} \\ 6 & \text{finite} & \text{surgery theory} \\ \vdots & \text{finite} & \text{surgery theory} \end{array}
Este gráfico probablemente tiene algunas excepciones. Por ejemplo, @QiaochuYuan señala que:
Donaldson mostró que Dolgachev superficies han countably muchos suaves estructuras.
Mis preguntas son, básicamente:
Es simplemente coincidencia que sólo cuatrodimensiones topológicas colectores tienen infinitas opciones para hablar acerca de una noción de la diferenciabilidad? ¿O es que esta tiene un significado físico?
Fundamentales de los postulados de la física podría cambiar si decimos que nuestro espacio-tiempo fuera (por ejemplo) un tresdimensiones o un cincodimensiones topológicas colector con sólo un finito número de opciones para una noción de la diferenciabilidad?