En matemáticas y física , específicamente en el estudio de la teoría de campos y ecuaciones diferenciales parciales , una teoría de campos de Toda , llamada así en honor a Morikazu Toda , se especifica mediante una elección de álgebra de Lie y un lagrangiano específico . [1]
Fijando el álgebra de Lie para que tenga rango , es decir, el subálgebra de Cartan del álgebra tiene dimensión , el lagrangiano se puede escribir
El espacio-tiempo de fondo es un espacio de Minkowski bidimensional , con coordenadas espaciales y temporales . Los índices griegos indican las coordenadas del espacio-tiempo.
Para algunas opciones de base de raíz, es la raíz simple . Esto proporciona una base para la subálgebra de Cartan, lo que permite identificarla con .
Entonces, el contenido del campo es una colección de campos escalares , que son escalares en el sentido de que se transforman trivialmente bajo las transformaciones de Lorentz del espacio-tiempo subyacente.
El producto interno es la restricción de la forma Killing a la subálgebra de Cartan.
Son constantes enteras, conocidas como etiquetas Kac o etiquetas Dynkin .
Las constantes físicas son la masa y la constante de acoplamiento .
Las teorías de campos de Toda se clasifican según su álgebra de Lie asociada.
Las teorías de campos de Toda suelen referirse a teorías con un álgebra de Lie finita. Si el álgebra de Lie es un álgebra de Lie afín , se denomina teoría de campos de Toda afín (después de eliminar el componente de φ que se desacopla). Si es hiperbólica , se denomina teoría de campos de Toda hiperbólica.
Las teorías de campos de Toda son modelos integrables y sus soluciones describen solitones .
La teoría de campos de Liouville está asociada a la matriz A 1 de Cartan , que corresponde al álgebra de Lie en la clasificación de las álgebras de Lie por matrices de Cartan. El álgebra tiene una única raíz simple.
El modelo sinh-Gordon es la teoría de campo afín de Toda con la matriz de Cartan generalizada
y un valor positivo para β después de proyectar un componente de φ que se desacopla.
El modelo seno-Gordon es el modelo con la misma matriz de Cartan pero un β imaginario. Esta matriz de Cartan corresponde al álgebra de Lie . Esta tiene una sola raíz simple y etiqueta de Coxeter , pero el lagrangiano se modifica para la teoría afín: también hay una raíz afín y una etiqueta de Coxeter . Se puede expandir como , pero para la raíz afín , entonces el componente se desacopla.
La suma es Entonces si es puramente imaginaria, con real y, sin pérdida de generalidad, positiva, entonces ésta es . El lagrangiano es entonces que es el lagrangiano seno-Gordon.