Soporte fermiónico de Poisson

Me gustaría entender el corchete de Poisson para fermiones en la teoría de campos clásica definida en un cilindro (con coordenadas ( t , X ) , X siendo la dirección compacta) y propagándose en T norte con métrica constante GRAMO i j (aunque T norte probablemente no sea importante para la discusión aquí).

la acción es

S = i 4 π d t d X GRAMO i j [ ψ i ( t + X ) ψ j + ψ ¯ i ( t X ) ψ ¯ j ] .

A partir de esto, ¿cómo puedo dar una definición general del soporte de Poisson? Algunas restricciones al respecto deberían ser las siguientes:

  1. Debe ser simétrico (ya que en el caso bosónico es antisimétrico).

  2. Debería poder recuperar la relación estándar.

    { ψ i ( t , X ) , ψ j ( t , X ) } PAG B = 2 π i GRAMO i j d ( X X )
    de eso.

Una definición que parece funcionar es

{ F , GRAMO } = 2 π i d X GRAMO i j ( d F d ψ i d GRAMO d ψ j + d F d ψ ¯ i d GRAMO d ψ ¯ j )

Sin embargo, si esto es correcto, me gustaría ver por qué en términos más generales.

También un corchete de Poisson en particular que estoy interesado en la informática es { ( t X 1 ) ψ i ( X 1 ) , ψ j ( X 2 ) } que obtengo de la definición anterior para ser 2 π i X 1 d ( X 1 X 2 ) . ¿Es esto sensato?

Editar: como referencia, estoy mirando el Apéndice A en el siguiente artículo de Kapustin y Orlov:

http://arxiv.org/abs/hep-th/0010293

y tratando de verificar los corchetes de Poisson en la ecuación. (48).

Respuestas (1)

El soporte de super-Poisson se deriva de una superversión del procedimiento de Dirac-Bergmann o Faddeev-Jackiw. Se debe tener cuidado diligente para lograr convenciones de signos consistentes cuando se trata de variables impares de Grassmann, consulte, por ejemplo, mi respuesta Phys.SE aquí .

La transformación singular de Legendre para fermiones también se analiza en mi respuesta Phys.SE aquí . En el caso de OP [que es la parte fermiónica de la ec. (44) en Ref.1], la densidad lagrangiana dice

(1) L   =   i 4 π GRAMO i j [ ψ i ψ ˙ j + ψ ¯ i ψ ¯ ˙ j ] H ,

donde hemos identificado la densidad hamiltoniana

(2) H   =   i 4 π GRAMO i j [ ψ i X ψ j ψ ¯ i X ψ ¯ j ] .

El potencial simpléctico de una forma se puede transcribir del término cinético en (1):

(3) ϑ ( t )   =   i 4 π d X   GRAMO i j [ ψ i ( X , t )   d ψ j ( X , t ) + ψ ¯ i ( X , t )   d ψ ¯ j ( X , t ) ] ,

dónde d denota la derivada exterior en infinitas dimensiones. La forma simpléctica de dos es entonces

ω ( t )   =   d ϑ ( t )   =   i 4 π d X   GRAMO i j [ d ψ i ( X , t ) d ψ j ( X , t ) + d ψ ¯ i ( X , t ) d ψ ¯ j ( X , t ) ]
(4)   =   i 4 π d X   d y   GRAMO i j   d ( X y ) [ d ψ i ( X , t ) d ψ j ( X , t ) + d ψ ¯ i ( X , t ) d ψ ¯ j ( X , t ) ] .

El corchete de super-Poisson /Dirac de tiempos iguales en campos fundamentales es la supermatriz inversa de la supermatriz para la forma simpléctica de dos (4):

(5) { ψ i ( X , t ) , ψ j ( y , t ) } PAG B   =   2 π i ( GRAMO 1 ) i j   d ( X y )   =   { ψ ¯ i ( X , t ) , ψ ¯ j ( y , t ) } PAG B ,

y otros brackets súper-Poisson fundamentales desaparecen. El soporte de super-Poisson de igual tiempo decía

(6) { F ( t ) , GRAMO ( t ) }   =   2 π i d X ( GRAMO 1 ) i j [ d R F ( t ) d ψ i ( X , t ) d L GRAMO ( t ) d ψ j ( X , t ) + d R F ( t ) d ψ ¯ i ( X , t ) d L GRAMO ( t ) d ψ ¯ j ( X , t ) ]

para funciones arbitrarias de igual tiempo F ( t ) y GRAMO ( t ) . Aquí los subíndices L y R se refieren a la diferenciación de izquierda y derecha, respectivamente.

Referencias:

  1. A. Kapustin y D. Orlov, arXiv:hep-th/0010293 .