HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
and
physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, specifically the study of field theory and
partial differential equation In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function. The function is often thought of as an "unknown" to be sol ...
s, a Toda field theory, named after Morikazu Toda, is specified by a choice of
Kac–Moody algebra In mathematics, a Kac–Moody algebra (named for Victor Kac and Robert Moody, who independently and simultaneously discovered them in 1968) is a Lie algebra, usually infinite-dimensional, that can be defined by generators and relations through a ge ...
and a specific
Lagrangian Lagrangian may refer to: Mathematics * Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier ** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
. Fixing the Kac–Moody algebra to have rank r, that is, the
Cartan subalgebra In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if ,Y\in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak). They were introduced by à ...
of the algebra has dimension r, the Lagrangian can be written \mathcal=\frac\left\langle \partial_\mu \phi, \partial^\mu \phi \right\rangle -\frac\sum_^r n_i \exp(\beta \langle\alpha_i, \phi\rangle). The background spacetime is 2-dimensional
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
, with space-like coordinate x and timelike coordinate t. Greek indices indicate spacetime coordinates. For some choice of root basis, \alpha_i is the ith
simple root Simple or SIMPLE may refer to: *Simplicity, the state or quality of being simple Arts and entertainment * ''Simple'' (album), by Andy Yorke, 2008, and its title track * "Simple" (Florida Georgia Line song), 2018 * "Simple", a song by Johnn ...
. This provides a basis for the Cartan subalgebra, allowing it to be identified with \mathbb^r. Then the field content is a collection of r scalar fields \phi_i, which are scalar in the sense that they transform trivially under
Lorentz transformations In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation i ...
of the underlying spacetime. The inner product \langle\cdot, \cdot\rangle is the restriction of the
Killing form In mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria (criterion of solvability and criterion of semisimplicity) show ...
to the Cartan subalgebra. The n_i are integer constants, known as Kac labels or Dynkin labels. The physical constants are the mass m and the coupling constant \beta.


Classification of Toda field theories

Toda field theories are classified according to their associated Kac–Moody algebra. Toda field theories usually refer to theories with a finite Kac–Moody algebra. If the Kac–Moody algebra is affine, it is called an affine Toda field theory (after the component of φ which decouples is removed). If it is
hyperbolic Hyperbolic is an adjective describing something that resembles or pertains to a hyperbola (a curve), to hyperbole (an overstatement or exaggeration), or to hyperbolic geometry. The following phenomena are described as ''hyperbolic'' because they ...
, it is called a hyperbolic Toda field theory. Toda field theories are
integrable model In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first ...
s and their solutions describe
soliton In mathematics and physics, a soliton or solitary wave is a self-reinforcing wave packet that maintains its shape while it propagates at a constant velocity. Solitons are caused by a cancellation of nonlinear and dispersive effects in the medium ...
s.


Examples

Liouville field theory In physics, Liouville field theory (or simply Liouville theory) is a two-dimensional conformal field theory whose classical equation of motion is a generalization of Liouville's equation. Liouville theory is defined for all complex values of the ...
is associated to the A1
Cartan matrix In mathematics, the term Cartan matrix has three meanings. All of these are named after the French mathematician Élie Cartan. Amusingly, the Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the Ki ...
, which corresponds to the Lie algebra \mathfrak(2) in the classification of Lie algebras by Cartan matrices. The algebra \mathfrak(2) has only a single simple root. The sinh-Gordon model is the affine Toda field theory with the
generalized Cartan matrix In mathematics, the term Cartan matrix has three meanings. All of these are named after the French mathematician Élie Cartan. Amusingly, the Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the ...
:\begin 2&-2 \\ -2&2 \end and a positive value for β after we project out a component of φ which decouples. The sine-Gordon model is the model with the same Cartan matrix but an imaginary β. This Cartan matrix corresponds to the Lie algebra \mathfrak(2). This has a single simple root, \alpha_1 = 1 and Coxeter label n_1 = 1, but the Lagrangian is modified for the affine theory: there is also an ''affine root'' \alpha_0 = -1 and Coxeter label n_0 = 1. Due to the single root, there is a single field \phi, so \langle \partial_\mu \phi, \partial^\mu \phi\rangle is simply \partial_\mu \phi \partial^\mu \phi. The sum is \sum_^1 n_i\exp(\beta \alpha_i\phi) = \exp(\beta \phi) + \exp(-\beta\phi). Then if \beta is purely imaginary, \beta = ib with b real and, without loss of generality, positive, then this is 2\cos(b\phi). The Lagrangian is then \mathcal = \frac\partial_\mu \phi \partial^\mu \phi + \frac\cos(b\phi), which is the Sine-gordon Lagrangian.


References

* Quantum field theory Lattice models Lie algebras Exactly solvable models Integrable systems {{quantum-stub