¿Por qué las ecuaciones del electromagnetismo tienen una simetría de calibre?

Físicamente hablando, porque la luz tiene solo dos polarizaciones, no tres.

Esto ya se sabía experimentalmente en el siglo XVII. La gente había notado que un cristal de Islandia spar (una forma transparente de calcita) separa la luz en dos componentes, y que uno de esos componentes no puede separarse más al pasarlo a través de otro cristal con la misma orientación. Modernamente llamamos a esto las dos polarizaciones lineales de la luz (ver Birrefringencia).


Fuente: páginas web de Henry Segerman


Isaac Newton pensó que esto se explicaba mejor por la luz que se compone de dos tipos diferentes de partículas, que están separadas por el mástil de Islandia. Sin embargo, para el siglo XIX estaba claro que la luz se comportaba como una ola. ¿Pero una ola en qué?

Piensa en las ondas sonoras en un sólido. Hay ondas transversales , para las cuales el desplazamiento es perpendicular a la dirección a lo largo de la cual se propaga la onda. Y hay dos direcciones mutuamente perpendiculares (y, por lo tanto, independientes) para ese desplazamiento. Hasta ahora todo bien: estas podrían ser las dos polarizaciones de la luz.

Pero en un sólido (de hecho, en cualquier medio mecánico) debe haber una onda longitudinal , en la que el desplazamiento esté en la misma dirección que la propagación de la onda. En los sólidos, esta onda viaja con una velocidad diferente a la de las ondas transversales. Así, por cierto, es cómo se calcula la distancia a la fuente de un terremoto: a partir del lapso de tiempo entre la llegada de las ondas sísmicas longitudinales (P) y transversales (S):



Fuente: Página de inicio de WWW para JD Landstreet


Entonces, ¿dónde está la tercera polarización (longitudinal) de la luz? No está ahí. Este fue un gran obstáculo para los físicos del siglo XIX como James MacCullagh y Lord Kelvin que querían entender la luz como una onda en un medio mecánico, que la gente llamaba el “éter luminífero”. Kelvin incluso argumentó que el éter era infinitamente compresible, haciendo que la velocidad de la onda longitudinal fuera cero. Para explicar por qué ese éter no se derrumba en la nada, argumentó que está pegado a los límites del espacio.

Ahora sabemos que no existe el éter. La luz es una onda que se propaga en el campo electromagnético, pero ese campo no está hecho de nada mecánico (vea mi respuesta a ‘Si la luz está hecha de campos eléctricos y magnéticos, ¿de qué están hechos esos campos eléctricos y magnéticos?’).

Aprendemos en la escuela que podemos cambiar libremente los voltajes en una cantidad constante. Por ejemplo, si llama al suelo “100 V”, en lugar de 0 V, mientras llama “105 V” a lo que solía ser 5 V, nada cambiará físicamente. Es simplemente una convención adecuada que la tierra esté a 0 V. El campo electromagnético completo obedece a las ecuaciones de Maxwell, que son invariables en una clase más amplia de transferencias matemáticas (que involucran no solo el voltaje, sino también el “potencial vectorial”). Llamamos a estas “transformaciones de calibre local”.

A finales del siglo XIX, Willard Gibbs enfatizó que esta invariancia de las ecuaciones de Maxwell bajo las transformaciones de calibre local implica que las ondas electromagnéticas no tienen polarización longitudinal. Gibbs pensó en esto como un argumento convincente de que la luz es una onda electromagnética, como fue demostrado de manera concluyente poco después por los experimentos de Heinrich Hertz.

En la teoría moderna del campo cuántico , para explicar las propiedades del electromagnetismo (como el hecho de que causa repeticiones de cargas similares), el campo electromagnético debe tener espín [matemática] s = 1 [/ matemática] (espín de un campo nos dice cómo se transforma bajo rotaciones). Esto nuevamente requiere que haya tres polarizaciones [matemáticas] m = +1, 0, -1 [/ matemáticas]. Los casos [math] m = \ pm 1 [/ math] pueden identificarse como las dos polarizaciones circulares de la luz (que es solo otra forma de escribir las ondas transversales). Pero [math] m = 0 [/ math], correspondiente a la polarización longitudinal, está ausente. De hecho, tiene que estar ausente si los cuantos del campo electromagnético (los fotones) no tienen masa , según sea necesario para explicar el rango infinito de la interacción electromagnética.

Luego nos vemos obligados a declarar que el modo longitudinal del campo electromagnético, que aparece en nuestras ecuaciones, no es físico. Es un fantasma matemático. Las transformaciones que involucran solo este modo [matemático] m = 0 [/ matemático] cambian la configuración matemática del campo mientras dejan la física invariable. Estas son precisamente las transformaciones de calibre local.

Tenga en cuenta que las simetrías físicas comunes nos dicen que si hace algo a un sistema físico (por ejemplo, gírelo en el espacio), las leyes físicas que obedece no se verán afectadas. Pero la invariancia local del medidor del campo electromagnético es una caldera diferente de peces. Significa que dos descripciones matemáticamente distintas del campo electromagnético corresponden exactamente a la misma configuración física (porque difieren solo por un cambio del modo longitudinal, que en realidad no existe).

Si lo prefiere, es la invariancia de calibre local del campo electromagnético lo que impide que el modo longitudinal [matemático] m = 0 [/ matemático] que aparece en nuestras ecuaciones interactúe con cualquier cosa y, por lo tanto, tenga manifestaciones físicas. De lo contrario, nuestra teoría sería inconsistente con los fotones sin masa y con espín [math] s = 1 [/ math]. Para que esto funcione, la carga eléctrica debe conservarse , por lo que existe una conexión íntima entre la conservación de la carga y la invariancia del medidor.

Vea también mi respuesta a ‘¿Qué es una explicación intuitiva de la fijación del medidor Fadeev-Popov?’.

Es mejor comenzar con la teoría clásica para ver esto.

Los grados físicos de libertad en la teoría del electromagnetismo de Maxwell son los campos E y B. Son los valores de estos campos cerca de un punto que imponen fuerzas a las cargas a través de la fuerza de Lorentz, y estos campos que influyen en el movimiento de las partículas de prueba. Observe que hay seis de estos campos, ya que E y B tienen tres componentes cada uno.

Las ecuaciones del electromagnetismo se pueden escribir de una manera muy simple. Voy a hacer esto directamente en términos del tensor de intensidad de campo, que se puede escribir directamente en términos de los campos físicos.

Estoy usando la notación de formas diferenciales: el tensor de intensidad de campo [matemática] F [/ matemática] es una forma 2. Una forma general de 2 en cuatro dimensiones tiene seis componentes independientes. Es un tensor antisimétrico.

El primer conjunto de ecuaciones se puede escribir:

[matemáticas] d \ ast F = j [/ matemáticas]

El término [matemáticas] j [/ matemáticas] es una forma de 3 que representa la corriente de carga eléctrica. Esto tiene cuatro componentes independientes en cuatro dimensiones. En la versión más simple de la teoría de Maxwell, solo hay cargas eléctricas, no hay cargas magnéticas.

[Math] \ ast [/ math] representa el operador dual de Hodge: realmente no necesita todas las definiciones para esta discusión y son fáciles de aprender, por lo que no explicaré más la notación. Baste decir que tomar el Hodge dual de F mezcla los campos E y B en el tensor de intensidad de campo, invirtiendo sus roles. [Math] d [/ math] representa el operador derivado exterior; de nuevo, es fácil aprender de qué se trata. Toma una forma n a una forma (n + 1).

El segundo conjunto de ecuaciones simplemente establece que la derivada exterior del tensor de intensidad de campo desaparece. Estas ecuaciones dicen que ciertas combinaciones de las derivadas de los campos E y B siempre deben desaparecer.

[matemáticas] d F = 0 [/ matemáticas]

Entonces, este conjunto de ecuaciones representa un conjunto de restricciones en los campos E y B, que deben cumplirse sin importar cuál sea la j actual.

Debido a estas ecuaciones, en realidad no hay seis grados de libertad, en realidad no hay seis campos libres en la teoría.

Resulta que solo hay cuatro, en realidad solo hay como máximo tres, ya que la corriente también se conserva. La forma de las ecuaciones de restricción sugiere inmediatamente que la intensidad de campo en forma 2 podría reducirse a una forma 1, que tiene cuatro componentes independientes. Si esto se hace correctamente, las ecuaciones de restricción se cumplirían automáticamente.

De hecho, se puede hacer fácilmente introduciendo el “campo de calibre”, o la forma potencial del vector 1, y definiendo F como su derivada exterior.

[matemáticas] F = d A [/ matemáticas]

Para cualquier F que tenga esta forma, será cierto que:

[matemática] d F = dd A = d ^ 2 A = 0 [/ matemática].

Esto es cierto por la definición de la derivada exterior; de nuevo, no se preocupe, esto se aprende muy fácilmente. Es fácil demostrar que [matemáticas] d ^ 2 = 0 [/ matemáticas].

Ahora se puede notar de inmediato que la definición de F en términos de A también implicará relaciones entre los campos físicos E y B y el potencial vectorial o la forma 1, A, de modo que E y B puedan eliminarse por completo de las ecuaciones. Las ecuaciones se pueden escribir en términos de A y j, y ahora hay cuatro campos libres, como debería ser.

Sin embargo, ahora es bastante obvio que F no cambia si hacemos una transformación muy simple de la forma 1 de A al agregarle la derivada exterior de cualquier forma 0. Una forma 0 es solo una función escalar del espacio y el tiempo.

Entonces, si cambiamos A de acuerdo con:

[matemáticas] A \ rightarrow A + df [/ matemáticas],

donde [math] f [/ math] es alguna función del espacio y el tiempo, entonces porque [math] d ^ 2 = 0 [/ math], no habremos cambiado [math] F [/ math] en absoluto. Entonces tendremos los mismos campos E y B.

Entonces podemos ver que hay libertad en la elección del potencial vectorial. Esto se debe a que los campos físicos E y B están relacionados con el potencial vectorial a través de derivadas: solo son cambios particulares en el potencial a través del espacio y el tiempo los que realmente conducen a diferentes campos físicos E y B.

Esa es la razón básica de la libertad del indicador en las ecuaciones del electromagnetismo. Los campos físicos pueden reducirse a potenciales: hay algunas sutilezas que he pasado por alto, pero este es el punto básico.

Los campos físicos y las ecuaciones de movimiento de los campos físicos pueden reescribirse en términos de los potenciales, y la elección de los potenciales que dan los mismos campos físicos simplemente no es única. Hay una libertad de calibre en la elección de los potenciales.

Todo el argumento fallaría si el campo electromagnético recibiera un término de masa. En este caso, las ecuaciones de movimiento para el potencial A no serían invariantes.

Uno de mis tutores en el Imperial College, pionero de la teoría de cuerdas en la década de 1970, el Dr. / Profesor David Olive, dijo que la simetría de calibre era lo más importante que aprenderíamos en nuestro curso de pregrado. Tenía una respuesta muy simple de por qué era cierto:

“Nadie sabe.”

Sin embargo, puedo agregar un fragmento: si el fotón tuviera un electromagnetismo de masa en reposo distinto de cero, no tendría una simetría de calibre. (Lo mismo es cierto para las otras fuerzas). Es por eso que la naturaleza tiene que recurrir a la partícula de Higgs para generar las masas de partículas fundamentales en reposo.