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
, 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
, the Lagrangian can be written
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
and timelike coordinate
. Greek indices indicate spacetime coordinates.
For some choice of root basis,
is the
th
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
.
Then the field content is a collection of
scalar fields
, 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
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
are integer constants, known as Kac labels or Dynkin labels.
The physical constants are the mass
and the
coupling constant .
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 A
1 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
in the classification of Lie algebras by Cartan matrices. The algebra
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 ...
:
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
. This has a single simple root,
and Coxeter label
, but the Lagrangian is modified for the affine theory: there is also an ''affine root''
and Coxeter label
. Due to the single root, there is a single field
, so
is simply
.
The sum is
Then if
is purely imaginary,
with
real and, without loss of generality, positive, then this is
. The Lagrangian is then
which is the Sine-gordon Lagrangian.
References
*
Quantum field theory
Lattice models
Lie algebras
Exactly solvable models
Integrable systems
{{quantum-stub