¿Cómo debo pensar en los monopolos en una teoría de calibre U (1) U (1) U (1) de celosía 3 + 1D?

El hamiltoniano para compactos 3+1D tu ( 1 ) la teoría de calibre en una red cúbica es de la forma

H = j Enlaces   yo mi yo 2 + gramo plaquetas   PAG porque ( Φ PAG ) ,
donde el operador mi yo es el campo eléctrico de valor entero, conjugado canónicamente al vector potencial A yo : [ A yo , mi yo ] = i . Puedo usar el 2 π -Potencial vectorial periódico o el campo eléctrico para etiquetar los enlaces de la red cúbica y corresponden a dos bases diferentes del espacio de Hilbert de la teoría.

Las cargas en esta teoría son muy fáciles de representar. En particular, se pueden definir en base a la línea de campo eléctrico por la ley de Gauss:

q i = < i j > mi i j
Entonces puedo agregar un sitios   i q i 2 término al hamiltoniano anterior, y considere una carga como una excitación de la teoría que vive en los sitios de la red.

También sabemos que una teoría de calibre U(1) compacta 3+1D alberga monopolos.

Mi pregunta es: ¿Cómo debemos representar un monopolo en la descripción de la red?

Ingenuamente, uno puede imitar la definición de una carga eléctrica y usar la siguiente ley de Gauss para definir un monopolo:

metro i ~   en la doble red = plaquetas   PAG   C o norte t a i norte i norte gramo   i ~ Φ PAG
Entonces puedo agregar un sitios en la red dual   i ~ metro i ~ 2 término al hamiltoniano anterior, y considere un monopolo como una excitación de la teoría que vive en los sitios de red dual. Pero parece haber algo mal con esta conjetura, porque la siguiente identidad siempre se cumple:
plaquetas límite   PAG   de un cubo Φ PAG = 0.
Esto se puede verificar aplicando una versión discreta del teorema de Stokes ( D B = D A ), Φ PAG = Enlaces   yo   de   PAG a yo , y la suma de los flujos sobre las placas límite de un cubo se reduce a la suma de los campos de calibre sobre todos los eslabones del cubo, cada campo de calibre se suma dos veces, una vez con cada signo, y la suma desaparece. Entonces parece que los monopolos siempre están ausentes en la teoría.

Una forma de hacerlo es la siguiente: en lugar de definir F=dA (la versión de red), escriba F = dA + S, donde *dS=m y m es la corriente monopolar (de valor entero). Esto es algo esperado ya que en monopolo continuo significa que A no está globalmente bien definido.
Hola Meng, gracias! También encuentro esta referencia journals.aps.org/prd/pdf/10.1103/PhysRevD.22.2478 . En la sección III (ecuación 3.2), defineF= reA 2 πnorte , dóndenorte es el número de hilos de Dirac a través de la plaqueta. Creo que esto es esencialmente lo que escribiste arriba.
Pero todavía estoy un poco confundido porque aunque el vector potencial no se puede definir globalmente, aún se puede definir localmente (estoy pensando en el monopolo Wu-Yang). Entonces, la presencia del monopolo aún debería modificar el potencial del vector de alguna manera, pero esto no puede reflejarse en el nivel de la red, porque no importa cómo redefina el potencial del vectorayo j=ayo j+dyo j y calcular el modificadoF paraayo j , el resultado siempre sería cero.
Por ejemplo, en la ecuación 11 de journals.aps.org/prd/pdf/10.1103/PhysRevD.12.3845 . El vector potencial te daría el campo magnético de un monopolo. ¿Es posible escribir este potencial vectorial a nivel de red? Entonces todavía podemos usarF= reA .
No estoy seguro de qué significa exactamente su "n", en la expresión que escribí para encontrar realmente SI, necesito invertir el núcleo, y probablemente termine con una expresión que no parezca muy local para S. De alguna manera creo que esta es la lo mejor que se puede hacer en celosía...
¿Es ese un Hodge dual en frente dedS ?
¿Puedo pensar en su expresión de esta manera: la ecuación habitual de Maxwell con corriente eléctrica dicedF= j . Para la otra ecuación de Maxwell sin fuente se leedF= 0 , que es la identidad de Bianchi. Ahora, en presencia de monopolo, necesito agregar un monopolo actual de 1 formametro , por lo que ahora se leedF= metro , y estometro es elmetro en tu expresión.
Un poco tarde para este, pero vea este documento , página 6 de la versión arXiv en la mitad de la columna derecha, párrafo que comienza con "Debido a que la teoría es compacta, también se permite la carga magnética". Específicamente: "Ingenuamente esta divergencia se desvanece ya que cada términoar r ' ocurre dos veces, con signos opuestos, pero este no es el caso porqueb es una variable periódica invariante bajosegundo segundo + 2 . de hecho tenemos( div _ _b)r= 2norter para enteronorter ; la carga magnética se cuantifica automáticamente"

Respuestas (1)

Pero parece haber algo mal con esta conjetura, porque la siguiente identidad siempre se cumple:

plaquetas límite   PAG   de un cubo Φ PAG = 0.
Esto se puede verificar aplicando una versión discreta del teorema de Stokes ( D B = D A ) Φ PAG = Enlaces   yo   de   PAG a yo , y la suma de los flujos sobre las placas límite de un cubo se reduce a la suma de los campos de calibre sobre todos los eslabones del cubo, con cada campo de calibre sumado dos veces, una vez con cada signo, y la suma desaparece. Entonces parece que los monopolos siempre están ausentes en la teoría.

Recuérdese que en el continuo el monoplo es precisamente un objeto que viola el teorema de Stokes. lo hace porque A es compacto y no univaluado. En una red viola la versión discreta del teorema de Stokes por la misma razón. Entonces, por definición, no puede usar el teorema de Stokes discreto para argumentar su ausencia.