Función de onda "de valor único" frente a "hasta una fase" (transformación de calibre) Existencia de sección global en paquete de línea completo

Siempre me encuentro con los siguientes dichos: en un caso, la gente dice que la función de onda debe tener un solo valor, en otro caso, la gente dice que la función de onda podría estar hasta una fase en el mismo punto si hay una transformación de calibre. Estoy tan desconcertado acerca de estos dos dichos. Voy a enumerar algunos casos en los que me encuentro con estos dichos.

Primero, considere una partícula libre en un círculo S 1 con radio r . El hamitoniano es

H = 1 2 metro r 2 ( i ϕ ) 2
Entonces la función propia es
ψ = 1 2 π r mi i norte ϕ
Debido a que la función de onda debe tener un solo valor en S 1 , norte debe pertenecer a números enteros, es decir norte Z .

Segundo caso, considere una partícula en un círculo S 1 con radio r y poner el fundente Φ en el centro del círculo. Entonces el hamitoniano es

H = 1 2 metro r 2 ( i ϕ + mi Φ 2 π ) 2

ingrese la descripción de la imagen aquí

La función propia sigue siendo

ψ = 1 2 π r mi i norte ϕ
También porque la función de onda debe tener un solo valor en S 1 , norte debe pertenecer a números enteros, es decir norte Z . La única diferencia es que habrá algún cambio de valor propio.

Tercer caso, considere una partícula en un toro T 2 , con dos longitudes L X y L y . Y ponemos un campo magnético uniforme B a través de la superficie del toro. Si elegimos el ancho de Landau A X = 0 , A y = B X . El hamitoniano es ahora

H = 1 2 metro ( pag X 2 + ( pag y + mi B X ) 2 )

Sabemos que en este caso la simetría de Hamitonian se llama grupo de traslación magnética .

T ( d ) = mi i d ( i + mi A / )
es decir [ T ( d ) , H ] = 0 Entonces la función propia ψ ( X , y ) debe ser invariante bajo T ( d ) .
T X ψ ( X , y ) = ψ ( X + L X , y ) = ψ ( X , y )
T y ψ ( X , y ) = mi i mi B L y X / ψ ( X , y + L y ) = ψ ( X , y )
con T X = T ( ( L X , 0 ) ) y T y = T ( ( 0 , L y ) ) . Entonces vemos que la función de onda no tiene un solo valor en este caso, es decir, ψ ( X , y + L y ) ψ ( X , y ) .

Mi pregunta es: ¿En qué caso admitimos que la función de onda no tiene un solo valor? Vemos todos los casos con espacio físico conectado de forma múltiple. Tanto el segundo como el tercer caso son el sistema con campo electromagnético / campo de calibre, ¿por qué el primero, el segundo todavía tienen un valor único pero el tercero no? Parece que la existencia de una topología no trivial del espacio físico o del campo magnético/campo de calibre no es la respuesta.

PD: Gracias a @David Bar Moshe, nunca me di cuenta de que esta pregunta puede estar relacionada con la sección global de paquetes de líneas complejas.

¿Cuáles personas?...
@Qmechanic Muchos libros de texto de QM dirán que la función de onda tiene un solo valor.
Su notación no es ideal ya que tiene ϕ para la función propia y también ϕ por un ángulo. ¿Podría editar para facilitar la referencia?
no creo A X = 0 , A y = B X se mantiene en todo el toro, para empezar.
Creo que la única razón por la que la función de onda no tiene un solo valor es que A no tiene un solo valor en el toro.
La función de onda como cualquier función debe tener solo un valor para cada entrada. ya que su sistema es periódico ψ ( X ) y ψ ( X + L ) debe ser igual porque X y X + L es exactamente el mismo punto en ese sistema.
@physshyp Entonces, ¿cómo explicar mi tercer caso? Es absolutamente no de un solo valor.
Creo que hay una condición de cuantificación en L 1 y L 2 Realmente. Este tipo de temas se suelen tratar con un formalismo geométrico pesado pero encontré una referencia manteniéndolo pedestre: E. Onofri. Niveles de Landau en un toro. International Journal of Theoretical Physics, 40(2):537–549, febrero de 2001. A menos que haya entendido mal su tercer caso, este artículo aborda exactamente eso.

Respuestas (1)

En mecánica cuántica, la normalización de la función de onda no es importante ya que calculamos las expectativas de acuerdo con:

O = ψ O ψ ψ ψ
Esta es la razón por la que las funciones de onda se identifican con secciones de haces de líneas complejos. Consulte esta introducción para físicos de Orlando Alvarez.

Cuando un paquete de líneas es trivial, su espacio de secciones se puede formar a partir de funciones verdaderas, que deben tener un solo valor.

La clase de equivalencia de paquetes de líneas sobre una variedad METRO se llama el grupo de Picard PAG i C ( METRO ) . Cada elemento (además de la unidad) de este grupo da lugar a una cuantificación no equivalente en la que el factor de fase no puede eliminarse mediante una transformación de calibre.

Consulte a Prieto y Vitolo para obtener una breve explicación.

En variedades diferenciables, el grupo de Picard es isomorfo al segundo grupo de cohomología sobre los números enteros

PAG i C ( METRO ) H 2 ( METRO , Z )

Es por eso que rara vez se menciona en los textos de mecánica cuántica que más bien refieren el elemento correspondiente de H 2 ( METRO , Z ) representando a la primera clase de Chern.

Cabe destacar:

(1) que incluso cuando el grupo de Picard es trivial o la cuantización corresponde a un elemento trivial, podemos tener funciones de onda de múltiples valores, pero el valor múltiple puede eliminarse mediante una transformación de calibre.

(2) La primera clase de Chern no es un clasificador suficiente de cuantificaciones no equivalentes. No detecta efectos como el efecto Aharonov-Bohm. Estos son detectados por un elemento del grupo. H o metro ( π 1 ( METRO ) , tu ( 1 ) ) , véase, por ejemplo, Doebner y Tolar .

(3) La variedad relevante METRO es el espacio de fase. Dado que el ejemplo dado son partículas puntuales, cuyo espacio de fase es el paquete cotangente de un espacio de configuración, la topología no trivial se encuentra en el espacio de configuración y podemos hablar de paquetes de línea sobre el espacio de configuración.

Volviendo a tus ejemplos: los dos primeros describen el movimiento en el círculo S 1 . Por razonamiento dimensional H 2 ( S 1 , Z ) = 0 , por lo tanto, las funciones de onda se pueden elegir para que sean funciones verdaderas. El segundo ejemplo se refiere al caso descrito en el segundo comentario anterior ya que π 1 ( S 1 ) = Z

En el tercer ejemplo H 2 ( T 2 , Z ) = Z , generado por múltiplos enteros del elemento de área básico, por lo tanto, para un campo magnético que no desaparece, las funciones de onda no pueden tomarse como funciones verdaderas.

Gracias. Nunca antes imaginé que esta pregunta estaría relacionada con la clase característica del haz de fibras.