Según tengo entendido, hay esencialmente dos maneras de estudiar la mecánica cuántica en una variedad con cierta curvatura. En términos clásicos, estas dos formas conducen a la misma física, pero en un enfoque mecánico cuántico son distintas.
El primer enfoque consiste en pensar en una partícula que se mueve "libremente" por el espacio tridimensional, pero que está sujeta a fuerzas externas que la confinan en alguna submaniferia. La partícula vive, en cierto sentido, en un potencial de confinamiento que define el colector. El espacio de fase de la partícula es, de entrada, el espacio de fase habitual asociado al espacio tridimensional. Sin embargo, el potencial externo limita la partícula a algún subespacio de este espacio de fase.
El segundo enfoque consiste en trabajar con coordenadas generalizadas, como se hace en la mecánica lagrangiana. Las coordenadas de la partícula son entonces una parametrización del submanifold. Lo importante aquí es que no hay referencia a las coordenadas del espacio tridimensional. Un ejemplo es el péndulo, que puede describirse únicamente en términos del ángulo que forma el péndulo con el eje z.
Clásicamente no hay distinción entre los dos enfoques. Esto ya no es así cuando se pasa a la mecánica cuántica. Si se sigue el primer enfoque, utilizando algún potencial de confinamiento para mantener la partícula en el colector, se enfrentará al principio de incertidumbre que prohíbe la localización exacta de la partícula en el colector. Debido a este principio, la partícula nunca estará completamente protegida del espacio dimensional mayor. Sin embargo, se puede establecer sistemáticamente el procedimiento de cuantificación. La ventaja de este enfoque es que la cuantización funciona de la forma habitual (después de todo, se trabaja con coordenadas cartesianas). La resolución consiste esencialmente en dividir la función de onda y la ecuación de Schroedinger (E.S.) en contribuciones debidas al potencial de confinamiento y una especie de E.S. efectiva para la parte restante de la función de onda. La E.S. efectiva contiene entonces dos potenciales efectivos debidos al Curvatura media y Curvatura de Gauss del colector correspondiente.
Esta es una característica muy importante: un cilindro, por ejemplo, no tiene curvatura de Gauss, sino sólo una curvatura media. En la segunda aproximación encontrarás que no hay distinción entre dos cilindros con diferentes curvaturas medias, porque en esta aproximación sólo aparece la curvatura de Gauss. Tomemos por ejemplo una partícula que vive en una línea 1D. Sólo necesitas una coordenada para describir esta línea, así que para la segunda aproximación todos los sistemas son equivalentes. Pero en la primera aproximación hay que especificar de qué manera la línea está incrustada en el espacio de dimensión superior, y cómo la partícula está confinada en el espacio de dimensión inferior.
El segundo enfoque puede resultar más natural, si se piensa como un matemático. En este enfoque se requiere una forma de cuantificar las coordenadas generalizadas, que es mucho más sutil que la cuantificación ordinaria. El problema que afecta a este enfoque es el llamado problema de ordenación. Esencialmente se quiere sustituir la etiqueta de momento por un operador de derivación $p \rightarrow -i\hbar\nabla$ . Además, también está la elección de la parametrización de la variedad, que por supuesto no debería tener ningún efecto sobre la física subyacente (similar a la relatividad general). El problema de la ordenación consiste en que no se sabe a priori en qué sentido hay que ordenar las variables clásicas (conmutativas) antes de sustituirlas por sus homólogas mecánicas cuánticas (no conmutativas). Y lo que es peor, debido a la curvatura del espacio, el operador de la derivada también contiene cierta ambigüedad. Hay una ambigüedad en la elección de su operador de momento y su Hamiltoniano (y cualquier otra función). Muchos hamiltonianos de la mecánica cuántica tienen el mismo límite clásico, y el principio de equivalencia (es decir, la vinculación de la mecánica cuántica con la física clásica) no dicta cuál es el mejor. Por ejemplo, el operador cinético $\nabla^2$ puede definirse utilizando el laplaciano canónico o el operador de Laplace-Beltrami. Aun así, hay algunos trabajos que motivan un principio de equivalencia generalizado (véase, por ejemplo, Kleinert) y que dan lugar a un procedimiento de cuantificación consistente.
Ambos enfoques tienen características interesantes, pero el primero es realmente un poco más físico. La razón es que en la materia condensada se trata de potenciales de confinamiento debidos a una red iónica. Tomemos por ejemplo el grafeno, que es una superficie bidimensional. Resulta que esta superficie no es completamente plana, sino que siempre formará algunas ondulaciones. Estas deformaciones de la superficie pueden interpretarse como si los electrones (o los fermiones de Dirac, si se quiere utilizar la teoría efectiva) vivieran en un colector curvo incrustado en una superficie tridimensional. Esto lleva a aplicaciones divertidísimas, como la existencia de agujeros de gusano en el grafeno. Pero al final la curvatura tiene una manifestación muy física en las propiedades electrónicas del sistema.
\= El primero de estos enfoques, que utiliza un potencial de confinamiento, se discute en estos trabajos de Costa:
http://link.aps.org/doi/10.1103/PhysRevA.23.1982
http://link.aps.org/doi/10.1103/PhysRevA.25.2893 (caso de muchas partículas)
El segundo enfoque se trata en este artículo de revisión de B.S. De Witt: http://link.aps.org/doi/10.1103/RevModPhys.29.377
Véase también el libro de Kleinert, que tiene un capítulo entero sobre ello utilizando un enfoque de la integral de la trayectoria: http://www.amazon.com/Integrals-Quantum-Mechanics-Statistics-Financial/dp/9814273562
Agujeros de gusano de grafeno: http://arxiv.org/abs/0909.3057