Elección de fijación de calibre para el campo de calibre A0A0A_0

En muchas situaciones, he visto que el autor hace una elección de calibre A 0 = 0 , por ejemplo, Manton en su artículo sobre la fuerza entre el monopolo 't Hooft Polyakov.

Por favor, ¿puede darme una justificación matemática de esto? ¿Cómo puedo hacer siempre una transformación de calibre tal que A 0 = 0 ?

Bajo una transformación de calibre A i se transforma como

A i gramo A i gramo 1 i gramo gramo 1 ,

dónde gramo está en el grupo de indicadores.

Respuestas (3)

La condición de "fijación del calibre" A 0 = 0 llamado indicador temporal o indicador de Weyl, consulte la siguiente página de Wikipedia ). Esta condición es solo una condición de fijación de calibre parcial porque, el Yang-Mills Lagrangian permanece invariante de calibre bajo transformaciones de calibre independientes del tiempo:

A i gramo A i gramo 1 i gramo gramo 1 , i = 1 , 2 , 3

con gramo tiempo independiente.

Sin embargo, esta no es toda la historia: la derivada temporal de A 0 no aparece en el Lagrangiano de Yang-Mills. Por lo tanto, no es una variable dinámica. Es simplemente el multiplicador de Lagrange. Su ecuación de movimiento es simplemente la ley de Gauss:

. mi = 0 .

No se puede obtener esta ecuación después de establecer A 0 = 0 . Por lo tanto, debe agregarse como una restricción y debe exigirse que desaparezca en la cuantificación canónica de los estados físicos. (Esta es la razón por la que se llama restricción de la ley de Gauss).

No entendí tu última parte sobre la ley de Gauss. ¿No se obtiene la ley de Gauss al establecer el índice libre como cero en la segunda ecuación de movimiento (obtenida al variar A m ? ¿Por qué dice: "No se puede obtener esta ecuación después de establecer A0 = 0. Por lo tanto, debe agregarse como una restricción y debe desaparecer en la cuantificación canónica de los estados físicos". Pensé que es aplicable a todos. A 0 's y no tiene nada que ver con que sea 0.
Pero si uno sustituye A 0 = 0 en el Lagrangiano antes del cálculo de las ecuaciones de movimiento, entonces ecuación de movimiento de A 0 , a saber, la ley de Gauss se perderá, porque uno no tendrá un A 0 en el lagrangiano para tomar una variación con respecto a él. En este caso hay que imponer la ley de Gauss "a mano".
(cont.), consulte la siguiente reseña de: ANTTI SALMELA ethesis.helsinki.fi/julkaisut/mat/fysik/vk/salmela/gausssla.pdf
Parece que la MOE de 𝐴 0 es j A j = A = 0 --- ¿podría aclarar esto? physics.stackexchange.com/q/718090/310987 ¡ Muchas gracias!

I) Elijamos la siguiente convención

(1) A m   =   gramo 1 ( A m + i d m ) gramo

para una transformación de norma no abeliana. Para ser concretos, supongamos que el grupo de calibre GRAMO es cualquiera tu ( norte ) o S tu ( norte ) .

II) Entonces la pregunta de OP se convierte en

¿Existe una transformación de indicador definida globalmente? gramo GRAMO de modo que A 0 = 0 ?

O equivalente,

¿Existe un calibre temporal globalmente definido?

Respuesta: Sí, elija, por ejemplo, la siguiente transformación de calibre como una línea de Wilson ordenada en el tiempo

gramo ( r , t )   =   T Exp [ i 0 t d t   A 0 ( r , t ) ] , t 0.

(Hay una fórmula similar para t 0 .) Esto es posible si el lado derecho está bien definido, es decir, si el potencial de calibre temporal anterior A 0 es integrable en el tiempo.

+1, esto era justo lo que estaba buscando. Sin embargo, algunas preguntas; ¿Por qué la parte ``ordenada por tiempo''? ¿No podemos ejecutar la integral de tiempo de a t ? Gracias.
1. El orden de tiempo es necesario cuando el grupo de calibre GRAMO es no abeliano. La fórmula no es correcta sin el orden del tiempo. 2. Sí, uno puede poner la condición inicial en t 0 = .

Además de las respuestas anteriores, esto es completamente obvio en la teoría de calibre de celosía. Esto muestra que los calibres axiales y temporales están bien definidos, y también brinda una prescripción de fijación de calibre completa que elimina las ambigüedades de calibre residuales. Es la versión de celosía de la respuesta de Qmechanic y Bar-Moshe.

En una red, hay un elemento de grupo para cada vínculo de red. Existe la libertad de multiplicar por un elemento de grupo en cualquier punto. Entonces, para arreglar completamente un indicador, todo lo que tiene que hacer es elegir una ruta única a este punto desde alguna posición inicial, y esto le da un elemento de grupo único en cada punto para multiplicar.

Haga que esta posición sea el origen y defina la ruta de la siguiente manera:

siga el eje x hasta la coordenada x del punto, luego siga paralelo al eje y hasta las coordenadas x,y del punto (todavía en z=0 t=0), luego siga paralelo al eje z a la z adecuada, luego paralela al eje t. Multiplicando todos los elementos del grupo en el orden en que los encuentras. Luego gire por esta matriz en este punto.

Esto establece el elemento del grupo de calibre en la dirección t a la identidad, esto es equivalente a establecer el campo de calibre continuo en cero. También establece el campo de calibre en la dirección z en cero en la superficie t=0, establece el campo de calibre en la dirección y y z en cero en el plano xy, y todo el campo de calibre en cero a lo largo del eje x. .

Esta es una corrección de calibre de celosía completa y no perturbativa, que deja solo el grupo de calibre global intacto. Corresponde al calibre axial, porque está en un tiempo imaginario, pero hacer la fijación del calibre temporal heurísticamente sin regulador es idéntico a lo explicado por Qmechanic, y no hay problemas de principio (aunque, como dijo Bar Moshe, hay que tener cuidado para no descartar las ecuaciones de restricción de movimiento que surgen al variar el campo de calibre en las direcciones que violan la condición de calibre).