Teorema de Noether supersimétrico y supercorrientes: requisitos de invariancia

Considerar norte = 1 , d = 4 SUSY con norte supercampos quirales Φ i , Potencial Kaehler k , superpotencial W y acción ( Φ ¯ i es conjugado complejo de Φ i )

S = d 4 X [ d 2 θ d 2 θ ¯ k ( Φ , Φ ¯ ) + d 2 θ W ( Φ ) + d 2 θ ¯ W ¯ ( Φ ¯ ) ] .

Como en Weinberg (QFT, volumen 3, página 89), que requiere la invariancia de k y W por debajo

d Φ i = i ϵ q   j i Φ j d Φ ¯ i = i ϵ Φ ¯ j q   i j
con ϵ pequeño parámetro real constante positivo y q matriz hermitiana, se obtienen algunas condiciones sobre k y W , a saber (que denota k i = k Φ i y k i = k Φ ¯ i , y lo mismo para W )
k i q   j i Φ j = Φ ¯ j q   i j k i
W i q   j i Φ j = 0 = Φ ¯ j q   i j W ¯ i
y luego puede calcular la corriente de Noether asociada a tales transformaciones, promover ϵ a un supercampo quiral completo ϵ Λ , etc.

La invariancia obtenida implica d ϵ S = 0 para las transformaciones anteriores.

PREGUNTA: ¿lo contrario también es cierto? es decir, requiriendo d ϵ S = 0 (en lugar de la condición de invariancia aparentemente más fuerte en k y W ), ¿se obtienen las mismas restricciones que las anteriores en k y W ?

Respuestas (1)

La respuesta es ; esto se puede demostrar evaluando la variación de la acción. La acción consta de tres términos, los consideraremos por separado:

d ϵ k ( Φ , Φ ¯ ) = k ( Φ , Φ ¯ ) Φ i d ϵ Φ i + k ( Φ , Φ ¯ ) Φ ¯ i d ϵ Φ ¯ i = i ϵ k i q i j Φ j i ϵ k i Ψ ¯ j q j i ,

d ϵ W ( Φ ) = W ( Φ ) Φ i d ϵ Φ i = i ϵ W i q i j Φ j

d ϵ W ¯ ( Φ ¯ ) = W ¯ ( Φ ¯ ) Φ ¯ i d ϵ Φ ¯ i = i ϵ W ¯ i Ψ ¯ j q j i ,

donde he usado las mismas convenciones y abreviaturas que tú. Para que desaparezca la variación de la acción, cada una de las expresiones anteriores tiene que ser igual a cero por separado. Esto conduce precisamente a las mismas restricciones que ha anotado.

gracias por la respuesta. el punto radica precisamente en i. convencerse de que las dos contribuciones pueden tratarse por separado; ii. probar que la desaparición de la acción funcional requiere la desaparición de las piezas anteriores, que son una especie de integrandos, y para las cuales creo que se requiere algún tipo de argumento bicomplejo variacional