I. INTRODUCCIÓN
Como es bien sabido, el formalismo Hamiltoniano de Dirac1,2 ha constituido, durante mucho tiempo, el método habitual para efectuar la cuantificación canónica de sistemas vinculados.
Hace algún tiempo, Faddeev y Jackiw3 desarrollaron otro formalismo para llevar a cabo la cuantificación canónica de sistemas físicos.
Costa y Girotti4 probaron la equivalencia entre los formalismos de Dirac y de Faddeev-Jackiw (FJ) para sistemas bosónicos, y Govaerts5 extendió este resultado a sistemas con variables dinámicas de Grassmann.
Barcelos-Neto y Wotzasek6-8 consideraron el tratamiento de vínculos en el formalismo de FJ para sistemas bosónicos. De esta forma, establecieron el formalismo de FJ usual, denominado algoritmo simpléctico.
El formalismo de FJ usual se utilizó en el marco de la teoría de campos con variables dinámicas bosónicas solamente6-28 y también con variables dinámicas de Grassmann.29-35
En este contexto, propusimos36 una extensión del formalismo de FJ usual para sistemas vinculados con variables dinámicas de Grassmann en el marco de la teoría de campos, con el propósito de que dicha extensión sea equivalente al formalismo de Dirac.
Estamos interesados en aplicar el formalismo de FJ extendido propuesto a modelos de campos de gauge, y comparar los resultados obtenidos con los encontrados utilizando los formalismos de Dirac y de FJ usual. De esta manera, buscamos poner de manifiesto la efectividad de dicho formalismo en cumplir con el propósito nombrado. En esta búsqueda, tenemos en cuenta los siguientes factores:
(i) Los tipos de términos para los campos de gauge intervinientes en la Lagrangiana.
(ii) La dimensionalidad del espacio-tiempo.
(iii) La consideración de altas derivadas para los campos de gauge (ver, por ejemplo, las referencias correspondientes a altas derivadas en la Ref.37).
Con respecto al primer factor, podemos decir que hemos considerado un modelo de campos de gauge no relativista (2+1)-dimensional con un término de Chern-Simons que describe la interacción electromagnética de fermiones compuestos. Este es el primer modelo estudiado en la Ref.38 Al aplicar a este modelo el formalismo de FJ usual, obtuvimos sólo dos vínculos y, además, sólo uno de ellos coincidió con uno de los dos vínculos secundarios de Dirac. De esta manera, en este caso, encontramos que los formalismos de FJ usual y de Dirac no son equivalentes. Por otro lado, vimos que el formalismo de FJ extendido provee un vínculo menos del conjunto total de vínculos obtenido por medio del formalismo de Dirac. Asimismo, observamos que este formalismo provee un paréntesis menos del conjunto total de paréntesis de Dirac.
También, hemos considerado la electrodinámica no relativista (2+1)-dimensional sin término de Chern-Simons. Este es el modelo estudiado en la Ref.36 Al aplicar el formalismo de FJ usual a este modelo, obtuvimos sólo el vínculo secundario de Dirac. Así, al considerar este modelo, encontramos que los formalismos de FJ usual y de Dirac no son equivalentes, lo mismo que para el modelo anterior. En cambio, observamos que los vínculos y paréntesis encontrados a través de los formalismos de FJ extendido y de Dirac coinciden.
Referido al segundo factor, teniendo en cuenta que los modelos citados fueron desarrollados en 2+1 dimensiones, deseamos analizar la efectividad del formalismo extendido cuando se consideran otras dimensiones del espacio-tiempo.
Con referencia al tercer factor, queremos estudiar la efectividad del formalismo extendido cuando se consideran modelos de campos de gauge en altas derivadas.
Teniendo en cuenta lo dicho recién, el propósito del presente trabajo es aplicar el formalismo extendido al modelo considerado en la Ref.,36 ahora en 1+1 dimensiones.
El trabajo está organizado como sigue. En la Sec. , recordamos los principales resultados encontrados en la Ref.36 Luego, en la Sec. , consideramos la cuantificación canónica de FJ extendida de la electrodinámica no relativista en 1+1 dimensiones. Finalmente, en la Sec. , damos nuestras conclusiones y perspectivas.
II. FORMALISMO DE FADDEEV-JACKIW EXTENDIDO
En la Ref.,38 hemos confeccionado una síntesis de los resultados encontrados en la Ref.36 En esta sección, reescribiremos parte de esta síntesis.
El formalismo de FJ debe ser utilizado en sistemas físicos descriptos por Lagrangianas de primer orden. Esto no constituye una restricción porque, como es sabido, cualquier Lagrangiana ordinaria en teorías de campos puede generalmente escribirse en la forma de primer orden introduciendo adecuadas variables dinámicas auxiliares.
De esta manera, partimos considerando una densidad Lagrangiana de primer orden de la forma
donde los campos son variables de Grassmann, son las componentes de la 1-forma canónica y es la densidad de potencial simpléctico.
Ahora, buscaremos los vínculos asociados con la supermatriz simpléctica
donde la paridad de Grassmann de las variables se denota con (1) (mod2) para una variable par (impar) (en todo este trabajo, a menos que sea explícitamente especificado, las derivadas con respecto a son derivadas por izquierda). Entonces, en el cálculo de esta supermatriz, debemos considerar como variables independientes tanto a los campos como a sus derivadas
Podemos escribir donde, de acuerdo a lo que hemos dicho recién, no puede contener derivadas del tipo En esta última ecuación, es el producto de las funciones delta de las coordenadas espaciales.
Supongamos que la supermatriz tiene modos cero por izquierda Así, estos modos cero son supervectores fila con componentes que verifican la ecuación
De esta manera, los vínculos asociados con la supermatriz simpléctica están dados por
De acuerdo a lo que ha sido expresado en el comienzo de esta sección, asumimos que el conjunto de variables de campo dinámicas está compuesto por las independientes más posibles variables de campo dinámicas auxiliares necesarias para escribir la densidad Lagrangiana original en la forma de primer orden ().
Particionamos el conjunto de variables de campo dinámicas y el correspondiente conjunto de componentes de la 1-forma canónica en la manera y respectivamente. En estas ecuaciones, el índice compuesto se mueve sobre el conjunto donde y
Las pautas consideradas en esta partición son:
(i) Las variables son las variables de campo dinámicas independientes con componentes no nulas de la 1-forma canónica más las posibles variables de campo dinámicas auxiliares. De aquí en adelante, estas variables serán llamadas variables de campo dinámicas no singulares. En general, la supermatriz simpléctica asociada subsupermatriz de la supermatriz simpléctica (), es no singular.
(ii) Las variables son las variables de campo dinámicas independientes con componentes de la 1-forma canónica iguales a cero. De ahora en adelante, estas variables serán llamadas variables de campo dinámicas singulares.
Por lo tanto, la densidad Lagrangiana () puede expresarse como
Además, la supermatriz simpléctica () puede escribirse en notación compacta como
En esta ecuación, hemos supuesto que las componentes de la 1-forma canónica correspondientes a las variables no dependen de las variables
Así, existen modos cero por izquierda de la supermatriz () que verifican la Ec. ().
Asimismo, por medio de la Ec. (), obtenemos los vínculos Luego, debemos adicionar estos vínculos a la densidad Lagrangiana utilizando multiplicadores de Lagrange y debemos repetir el procedimiento anterior. Con este fin, escribimos y consideramos las variables de campo dinámicas Consecuentemente, las componentes de la 1-forma canónica son En estas ecuaciones, el índice compuesto se mueve sobre el conjunto
Por esto, la densidad Lagrangiana en la primera iteración se escribe
donde la nueva densidad de potencial simpléctico es
Además, por medio de la Ec. (), la supermatriz simpléctica extendida se escribe como
En esta ecuación, los elementos y tienen dimensiones y respectivamente, y están dados por
Si la supermatriz () es singular, el procedimiento anterior debe ser repetido. En cada paso iterativo, el espacio de configuración se agranda y consecuentemente, las sucesivas supermatrices simplécticas tienen la forma general dada por las Ecs. (), (), () y (), pero con una dimensión mayor. Si no aparece ningún vínculo adicional, el procedimiento iterativo concluye.
Se encuentra que la regularidad de la supermatriz simpléctica que queda al finalizar el procedimiento iterativo depende del modelo considerado. Para modelos invariantes de gauge, esta supermatriz es singular. Sin embargo, en dicha situación, como veremos en la próxima sección, es posible obtener una supermatriz simpléctica final no singular.
Previamente, obtuvimos los vínculos () asociados con la supermatriz simpléctica. Ahora, vamos a completar la estructura de vínculos. Con este propósito, debemos considerar los momentos canónicamente conjugados a las variables de campo dinámicas definidos como
donde está dada por la Ec. (). Consecuentemente, sobre el espacio de fases generado quedan definidos los paréntesis de Bose-Fermi39,40 a igual tiempo fundamentales no nulos.
Utilizando las Ecs. () y (), notamos que los momentos verifican los vínculos
Por medio de las variables de campo dinámicas y las correspondientes componentes de la 1-forma canónica observamos que estos vínculos se escriben como
donde y son los momentos canónicamente conjugados a y respectivamente.
De manera distinta que en el procedimiento de Dirac, en el de FJ no se considera la clasificación de vínculos en primarios o secundarios ni en primera o segunda clase.
En ciertos casos, para un tratamiento conveniente en el contexto de FJ, debemos tener en cuenta la clasificación anterior de vínculos en primera o segunda clase.
Como sabemos, los vínculos de primera clase pueden ser obtenidos por medio del procedimiento habitual utilizado en el método de Dirac desde el conjunto de vínculos dados por la Ec. (). Un procedimiento alternativo se describe en lo que sigue.
Supongamos que la supermatriz
tiene modos cero por izquierda con componentes esto es,
Así, por medio de las Ecs. () y (), es fácil probar que los vínculos
Como fue establecido con anterioridad, para modelos invariantes de gauge, la supermatriz simpléctica obtenida cuando el procedimiento iterativo concluye es singular. No obstante, en este caso, es posible encontrar una supermatriz simpléctica final no singular.
Con este fin, debemos buscar condiciones de fijado de gauge adecuadas una por cada vínculo de primera clase. Estas condiciones deben verificar que donde
con y y deben ser compatibles con las ecuaciones de movimiento.
Al igual que lo que ocurría con los vínculos asociados con la supermatriz simpléctica, debemos introducir estas condiciones en la densidad Lagrangiana. Por esto, las invariancias de gauge desaparecen y así se obtiene una supermatriz simpléctica no singular. Consecuentemente, puede ser encontrada la inversa de esta supermatriz.
Si la supermatriz simpléctica es singular, el procedimiento debe ser repetido considerando condiciones de fijado de gauge alternativas.
Ahora, supongamos que la supermatriz simpléctica es no singular. En esta situación, está definido el paréntesis generalizado en el contexto de FJ o brevemente, el paréntesis de FJ. Los paréntesis de FJ sobre el espacio de configuración son
Si la supermatriz es singular, los paréntesis de FJ no están definidos.
III. CUANTIFICACIÓN CANÓNICA DE FADDEEV-JACKIW EXTENDIDA DE LA ELECTRODINÁMICA NO RELATIVISTA EN 1+1 DIMENSIONES
Vamos a considerar la electrodinámica no relativista en 1+1 dimensiones descripta a través de la siguiente densidad Lagrangiana singular:
donde es el tensor del campo electromagnético. En la Ec. (), los índices griegos toman los valores
Utilizamos unidades naturales donde La métrica Minkowskiana es
En la Ec. (), la derivada covariante que involucra al campo electromagnético se escribe como (tomamos la carga del electrón como y también, El campo de materia es un campo espinorial cargado que describe electrones. y son la masa y el potencial químico de los electrones, respectivamente.
Por medio de la expresión de la derivada covariante, reescribimos la Ec. () como sigue:
En esta ecuación, el término fermiónico cinético está escrito en la forma general a través del parámetro arbitrario .41
Ahora, por medio del método de FJ extendido, desarrollaremos la cuantificación canónica del modelo y compararemos los resultados encontrados con los correspondientes a la utilización del procedimiento de Dirac en el modelo. Por esto, el punto de partida es escribir la densidad Lagrangiana () en la forma de primer orden ().
Las variables de campo dinámicas independientes son y donde el nuevo índice griego toma los valores Así, tenemos
En esta ecuación, la densidad de potencial simpléctico es
y las componentes de la 1-forma canónica son
Observando la Ec. (), vemos que es necesario introducir como variable de campo dinámica auxiliar la componente espacial del momento canónicamente conjugado a definido por la Ec. (), con componente de la 1-forma canónica igual a cero. Además, por medio de la Ec. (), observamos que es una variable de campo dinámica singular.
Consecuentemente, las variables de campo dinámicas iniciales son y las correspondientes componentes de la 1-forma canónica son
En este caso, la matriz simpléctica singular dada por la Ec. (), tiene dimensión y la submatriz no singular construida en base a las variables de campo dinámicas no singulares, y se escribe
Ahora, buscamos los vínculos asociados con la matriz simpléctica Así, utilizando las Ecs. (), (), () y (), tenemos el vínculo
Por lo tanto, este procedimiento debe ser repetido.
Por esto, debemos construir la densidad Lagrangiana en la primera iteración
donde
El espacio de configuración está ahora establecido por las variables de campo dinámicas cuyas respectivas componentes de la 1-forma canónica son
Utilizando las Ecs. (), (), (), () y (), calculamos la supermatriz simpléctica extendida obtenida en la primera iteración
Ahora, calculamos los vínculos asociados con la supermatriz simpléctica extendida
Así, por medio de las Ecs. (), (), () y (), encontramos que no existen nuevos vínculos. Consecuentemente, el procedimiento iterativo finaliza.
Ahora, analizamos la regularidad de la supermatriz (). Con este propósito, debemos reescribirla en la forma estándar, reordenando sus elementos matriciales, y evaluando su superdeterminante.42 De esta manera, encontramos que este superdeterminante se anula y así es singular.
En consecuencia, la supermatriz simpléctica obtenida cuando se completa el procedimiento iterativo es singular. Este resultado era de esperar debido a que estamos en presencia de un modelo de gauge.
Ahora, procedemos a completar la estructura de vínculos del modelo. Con este fin, por medio del último conjunto de variables de campo dinámicas considerado y las correspondientes componentes de la 1-forma canónica, utilizando las Ecs. (), (), (), (), (), (), () y (), encontramos que las funciones son
donde y son los momentos canónicamente conjugados a las variables de campo y respectivamente.
De esta manera, tenemos los vínculos
Ahora, presentamos la estructura de vínculos del modelo obtenida por medio del formalismo de Dirac. Como puede verse, esta estructura de vínculos es la correspondiente a la Ref.37 luego de eliminar las altas derivadas. Así, en el lenguaje de Dirac, encontramos que los vínculos primarios coinciden con los vínculos (), () y (), y el vínculo secundario coincide con el vínculo ().
De esta manera, observamos que el conjunto total de vínculos encontrados por medio del método de FJ extendido coincide con el obtenido en base al método de Dirac. Al aplicar, en este modelo, el formalismo de FJ usual, obtenemos sólo el vínculo secundario () y, una vez más, encontramos que los formalismos de FJ usual y de Dirac no son equivalentes.
Es fácil mostrar que el vínculo () es de primera clase mientras que los vínculos (), () y () son de segunda clase. No obstante, estos últimos no forman un conjunto minimal de vínculos de segunda clase. La razón es que el superdeterminante de la supermatriz cuyos elementos son los paréntesis de Bose-Fermi entre estos vínculos se anula.
Por lo tanto, debe existir al menos una combinación lineal de vínculos de segunda clase que sea independiente del vínculo de primera clase anterior y debe también ser de primera clase. Encontramos que existe sólo una de tales combinaciones, que es la siguiente:
Consecuentemente, el vínculo de segunda clase () debe ser eliminado y así el conjunto final de vínculos queda:
(i) Los vínculos de primera clase definidos por las funciones y Como es bien sabido, estos vínculos están relacionados a las simetrías del grupo de gauge del modelo.
(ii) Los vínculos de segunda clase definidos por las funciones y
Ahora, buscamos una supermatriz simpléctica final no singular por medio de condiciones de fijado de gauge adecuadas. Teniendo en cuenta que el presente modelo tiene dos vínculos de primera clase, debemos considerar dos de tales condiciones. Como puede verse, un conjunto adecuado de dichas condiciones es el correspondiente a la Ref.37 luego de eliminar las altas derivadas. Este conjunto viene dado por
donde es el operador Laplaciano.
Así, consideramos la densidad Lagrangiana en la segunda iteración dada por
El espacio de configuración está ahora dado por las variables de campo dinámicas cuyas correspondientes componentes de la 1-forma canónica son
Utilizando las Ecs. (), (), (), (), (), () y (), encontramos la supermatriz simpléctica extendida obtenida en la segunda iteración
Encontramos que la supermatriz es no singular. Consecuentemente, luego de que se imponen las condiciones de fijado de gauge () y (), obtenemos una supermatriz simpléctica final no singular. Por el contrario, aplicando la condición de fijado de gauge () (gauge de Coulomb) en lugar del conjunto completo de condiciones () y (), no encontramos la requerida supermatriz simpléctica final no singular, como era de esperar. Lo mismo ocurre con la condición ().
Ahora, calculamos los paréntesis de FJ para las variables de campo dinámicas iniciales en el gauge () y () utilizando la Ec. () con la supermatriz simpléctica dada por la Ec. ().
Así, tenemos que
De esta manera, utilizando las Ecs. (), (), (), () y () obtenemos los paréntesis de FJ no nulos en el gauge () y ()
campo-campo:
campo-momento:
donde la notación indica paréntesis entre variables de Grassmann bosónicas y fermiónicas, respectivamente.
Así, encontramos que los paréntesis de FJ no nulos, dados por las Ecs. () y (), coinciden con los correspondientes paréntesis de Dirac no nulos, dados en la Ref..37
Es importante señalar que notamos que los desarrollos algebraicos necesarios para obtener los vínculos y los paréntesis generalizados por medio del formalismo de FJ extendido son más reducidos que los correspondientes al método de Dirac.
Retomando el procedimiento de cuantificación, debemos imponer los paréntesis de FJ. Consecuentemente, utilizando las Ecs. (), (), () y (), encontramos que las siguientes variables de campo quedan determinadas:
De esta manera, la dinámica del modelo clásico queda completamente especificada.
Finalmente, se realiza la cuantificación canónica reemplazando los paréntesis de FJ entre variables de campo por los conmutadores o anticonmutadores a igual tiempo entre operadores de campo de acuerdo con la regla usual.2
IV. CONCLUSIONES Y PERSPECTIVAS
Las principales derivaciones de la Ref.36 han sido reescritas.
Luego, en base a dichas derivaciones, fue realizada la cuantificación canónica de FJ extendida de la electrodinámica no relativista en 1+1 dimensiones, y los resultados obtenidos fueron comparados con los encontrados utilizando el formalismo de Dirac. De esta manera, vimos que los formalismos de FJ extendido y de Dirac proveen los mismos vínculos y paréntesis generalizados, sugiriendo así la equivalencia entre estos formalismos, al menos para el presente modelo. Por el contrario, en este caso, encontramos que los formalismos de FJ usual y de Dirac no son equivalentes.
Por otro lado, encontramos que el formalismo de FJ extendido es más económico que el de Dirac con respecto al cálculo tanto de los vínculos como de los paréntesis generalizados.
En futuros trabajos, aplicaremos el formalismo de FJ extendido a dos modelos de campos de gauge, uno (3+1)-dimensional y otro en altas derivadas.