La justificación de la compactación a $S^3$ y $S^4$ es diferente.
En el primer caso (compactación del espacio), la compactación puede explicarse como sigue: (Esta es una explicación física plausible, no una prueba matemática completa).
Creemos que el modelo de Skyrme explica el comportamiento a baja energía de la QCD. Hay muchos resultados experimentales que apoyan esta suposición. En particular, este modelo es capaz de predecir ciertas propiedades incluso para los bariones pesados dentro del 10% de los valores experimentales. El número de bariones en este modelo viene dado por: $$B = \frac{1}{24\pi^2} \int_{\mathrm{space}}\mathrm{Tr} \left ( U^{-1}dU \wedge U^{-1}dU \wedge U^{-1}dU \right ) $$ Si el espacio es plano, el número bariónico de cualquier barión de masa finita desaparece. Por lo tanto, el espacio plano no admite bariones. Por favor, observad que esta consecuencia es muy fuerte físicamente porque nos dice que el espacio-tiempo que es una solución de las ecuaciones de campo de Einstein de la gravitación debe ser compacto en los cortes espaciales.
En el caso de los instantones, podemos seguir estando en un espacio-tiempo físico minkowskiano. Las soluciones en la firma euclidiana sólo corresponden a eventos de túnel en el espacio-tiempo físico. Este es el truco básico del uso de la firma euclidiana. Sucede que estas soluciones, si se restringen a una energía finita, deben desaparecer en el infinito euclidiano, describiendo así efectivamente soluciones en un espacio-tiempo euclidiano compactado, pero las amplitudes de estas soluciones corresponden a verdaderas amplitudes de tunelización en el espacio-tiempo físico minkowskiano.
Observaciones:
Matemáticos(1): Los matemáticos no tienen interés en una explicación física de por qué el espacio-tiempo está compactado. Eligen cualquier espacio-tiempo que se adapte al resultado matemático que necesitan. Así que no creo que se puedan encontrar este tipo de explicaciones en trabajos matemáticamente rigurosos.
Matemáticos(2): Los matemáticos que se dedican a la investigación de la teoría cuántica de campos utilizan la maquinaria functorial qft (especialmente en tqft). Según esta forma de pensar, una teoría cuántica de campos no es más que una caja negra que acepta una variedad como entrada y devuelve un espacio de Hilbert en la salida, es decir, la misma teoría no está definida en una única variedad espacio-temporal, y puede utilizarse simultáneamente en variedades compactas y no compactas con firmas minkowskianas o euclidianas.
Calibre grande: No se pueden aplicar transformaciones gauge grandes sobre los instantones, porque si se hace se obtiene otra configuración no equivalente con un número de instantón diferente. Las transformaciones gauge grandes no son redundancias en la descripción de la teoría de campo como lo son las transformaciones gauge pequeñas. Las grandes transformaciones gauge son simetrías que conectan configuraciones no equivalentes. Son singulares en el infinito, por lo que son transformaciones gauge inaceptables. Este tema se ha discutido aquí en PSE en varias ocasiones.
1 votos
Las grandes transformaciones gauge son un tema cargado de trampas, cf. physics.stackexchange.com/q/314384/50583 donde mi respuesta, de paso, también discute un argumento para el espaciotiempo compactado a partir de los instantones.
0 votos
@ACuriousMind En realidad, ¡esa respuesta era una de las "fuentes matemáticamente rigurosas" de las que hablaba! Por lo que veo, se pasa inmediatamente de $\mathbb{R}^4$ a $S^4$ y argumentar que si no lo hiciéramos, las matemáticas serían aburridas, ya que todos los paquetes en $\mathbb{R}^4$ sería trivial. Pero eso no me dice por qué, físicamente, uno debería usar $S^4$ . Dado que la elección tiene consecuencias físicas, debería tener una justificación física.
0 votos
Al final de la primera sección digo que los haces no triviales, es decir, los instantones, son necesarios para que contribuyan a efectos detectables como la anomalía axial. En $\mathbb{R}^4$ no se obtienen efectos instantáneos.
1 votos
@ACuriousMind Me refiero a que acepto que los efectos instantáneos son reales, y que obtendrías una respuesta errónea si usaras $\mathbb{R}^4$ pero todavía hay que físicamente justificar la toma de $S^4$ en $\mathbb{R}^4$ . Por ejemplo, si se resuelven las frecuencias armónicas de una cuerda cuyos extremos están sujetos a las paredes, no se puede decir simplemente "postulamos unas condiciones de contorno fijas, porque si no las frecuencias calculadas no coincidirían con el experimento". En su lugar, se justifican esas condiciones de contorno diciendo que los extremos están físicamente sujetos.
2 votos
No estoy de acuerdo en que haya que "justificar físicamente" nada más allá de "coincide con el experimento". Tu analogía de la cuerda es engañosa porque hay una ontología clara de la "teoría de la cuerda" en el sentido de que corresponde claramente a la cuerda física, pero no hay una ontología tan clara e incontrovertible para la mecánica cuántica en general.