El movimiento mecánico cuántico de una partícula en un colector curvo $X$ es un ejemplo de "modelo sigma no lineal". Véase en el nLab en modelo sigma para un montón de discusiones adicionales. Esta es una noción muy fundamental de la física cuántica. Dado que el espacio-tiempo que habitamos es en general curvo, cualquier La partícula cuántica que se propaga en ese espaciotiempo viene dada por un modelo sigma no lineal.
Esto tiene una relación interesante con cuestiones profundas de la geometría: en concreto, uno puede preguntarse hasta qué punto se puede recuperar la geometría curvada de alguna variedad a partir de la física de una partícula cuántica que se propaga en ella, por tanto, de su espacio de estados, y de los niveles de energía -por tanto, el espectro- de su Hamiltoniano. Esta cuestión de la "geometría espectral" ha sido resuelta por Alain Connes, mediante la noción de " triplete espectral ". Tal como el triple es, en términos de física, nada más que
-
un espacio de Hilbert de estados
-
un Hamiltoniano para una partícula cuántica (o más bien un operador de Dirac para una partícula giratoria);
-
un álgebra de observables espaciales densamente incrustados en el espacio de Hilbert.
El teorema fundamental de los triples espectrales -y, por tanto, de la mecánica cuántica en variedades curvas- es que se puede recuperar la geometría de Riemann de la "variedad objetivo" a partir de estos datos. A su vez, el impacto fundamental de esta observación es: también hay "triples espectrales" y, por tanto, partículas mecánicas cuánticas como las anteriores, que no provienen de variedades objetivo curvas y lisas. Así que, aunque éstas no vienen dadas por la geometría ordinaria, se pueden entender como la descripción del movimiento de las partículas cuánticas en espacios generalizados, es decir, en espacios en geometría no conmutativa . Desde este punto de vista, la "geometría no conmutativa" es lo que una partícula cuántica "ve" cuando "sondea" su espacio objetivo. Véase en el nLab en Geometría espectral y gravedad .
Esta perspectiva de los modelos sigma no lineales es crucial para entender los desarrollos modernos, como los de la teoría de cuerdas. Porque a continuación podemos preguntarnos qué significa para un cadena para propagarse en una colector curvo. Uno encuentra que ahora los datos son una especie de análogo de mayor dimensión de los datos anteriores, que uno podría llamar un Triplete biespectral que suelen modelarse mediante estructuras como las álgebras de operadores de vértice. Así que ahora, para la cuerda cuántica, se puede plantear la misma pregunta de ingeniería inversa que para la partícula cuántica: dada una mecánica cuántica de cuerdas con tal o cual espectro de energía y tales o cuales álgebras de observables, ¿podemos reconstruir el espaciotiempo curvo en el que debe propagarse la cuerda?
De hecho, se puede - precisamente hasta las famosas "dualidades de cuerdas". Así es como la teoría de cuerdas se conecta con la fenomenología, al inferir de la mecánica cuántica de la cuerda la estructura efectiva de fondo por la que debe propagarse.
Por alguna razón, la estrecha similitud entre la descripción de la geometría espectral ("no conmutativa") de Connes de las partículas cuánticas en el espaciotiempo curvo y la teoría de cuerdas perturbadora no se ha publicitado ampliamente. Resultó especialmente llamativo cuando en 2006 Connes y Barret se dieron cuenta de que la única manera de conseguir que la estructura de los fermiones quirales sea correcta en un "modelo estándar espectral" construido de esta manera es considerar una geometría no conmutativa Compactación KK donde el espacio de fibras tiene una dimensión K-teórica igual a 6 (ver las referencias comentadas aquí ). Se trata, por supuesto, de la misma respuesta que en la teoría de cuerdas, aunque aquí se deriva de supuestos diferentes.
En cualquier caso, describir la geometría curva en términos de la mecánica cuántica de las partículas (y las cuerdas y las branas, etc.) que se propagan por ella es un tema profundo en matemáticas y física.
Pero como la pregunta parece ser realmente acerca de en qué espacios el funciones de onda son secciones de algún haz, hay que mirar un poco más allá: en general una función de onda es una sección polarizada de un haz de líneas precuánticas sobre un reducido espacio de fase covariante . Ahora bien, los espacios de fase en la mecánica cuántica y en la teoría cuántica de campos, en la mayoría de los casos, salen como los haces cotangentes $T^\ast X$ del espacio de configuración. Pero es importante recordar que en general hay simetrías (gauge) en el sistema, y que el espacio de fase real es el cociente de este haz cotangente por estas simetrías. En general, esto conduce a espacios de fase geométrica y topológicamente no triviales.
En particular, el espacio de fase de los grados de libertad "internos" de las partículas cuánticas son genéricamente curvos y compacto . El ejemplo más básico es el espacio de fase para los "rotores" y los "espinores", por tanto para el grado de libertad de espín de los fermiones. Se trata de la 2-esfera (con su métrica redonda y curvada). Ver en cuantificación geométrica de la 2-esfera para saber más sobre esto.
O si la partícula está "cargada de forma no abeliana" (por ejemplo si es un quark) entonces los grados de libertad internos están dados por un espacio de fase que es un órbita coadyuvante del grupo gauge Lie dado. Los detalles sobre estos espacios de fase compactos y curvados se encuentran en el nLab en método orbital .
En conlcusión, los espacios objetivo curvos y los espacios de fase son más la regla que la excepción, y su cuantización conecta con problemas importantes y profundos no sólo en física sino también en geometría y en matemáticas en general.