HOME

TheInfoList



OR:

Certain
commutation relation In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory. Group theory The commutator of two elements, ...
s among the current density operators in
quantum field theories In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct physical models of subatom ...
define an infinite-dimensional
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
called a current algebra. Mathematically these are Lie algebras consisting of smooth maps from a manifold into a finite dimensional Lie algebra.


History

The original current algebra, proposed in 1964 by
Murray Gell-Mann Murray Gell-Mann (; September 15, 1929 – May 24, 2019) was an American theoretical physicist who played a preeminent role in the development of the theory of elementary particles. Gell-Mann introduced the concept of quarks as the funda ...
, described weak and electromagnetic currents of the strongly interacting particles,
hadrons In particle physics, a hadron is a composite subatomic particle made of two or more quarks held together by the strong nuclear force. Pronounced , the name is derived . They are analogous to molecules, which are held together by the electric ...
, leading to the Adler–Weisberger formula and other important physical results. The basic concept, in the era just preceding
quantum chromodynamics In theoretical physics, quantum chromodynamics (QCD) is the study of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type of ...
, was that even without knowing the Lagrangian governing hadron dynamics in detail, exact kinematical information – the local symmetry – could still be encoded in an algebra of currents. The commutators involved in current algebra amount to an infinite-dimensional extension of the Jordan map, where the quantum fields represent infinite arrays of oscillators. Current algebraic techniques are still part of the shared background of particle physics when analyzing symmetries and indispensable in discussions of the Goldstone theorem.


Example

In a non-Abelian Yang–Mills symmetry, where and are flavor-current and axial-current 0th components (charge densities), respectively, the paradigm of a current algebra is : \bigl V^a(\vec),\ V^b(\vec)\ \bigr= i\ f^_c\ \delta(\vec-\vec)\ V^c(\vec)\ , and : \bigl V^a(\vec),\ A^b(\vec)\ \bigr= i\ f^_c\ \delta(\vec - \vec)\ A^c(\vec)\ ,\qquad \bigl A^a(\vec),\ A^b(\vec)\ \bigr= i\ f^_c\ \delta(\vec - \vec)\ V^c(\vec) ~, where are the structure constants of the
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
. To get meaningful expressions, these must be normal ordered. The algebra resolves to a direct sum of two algebras, and , upon defining : L^a(\vec)\equiv \tfrac\bigl(\ V^a(\vec) - A^a(\vec)\ \bigr)\ , \qquad R^a(\vec) \equiv \tfrac\bigl(\ V^a(\vec) + A^a(\vec)\ \bigr)\ , whereupon \bigl L^a(\vec),\ L^b(\vec)\ \bigr i\ f^_c\ \delta(\vec-\vec)\ L^c(\vec)\ ,\quad \bigl L^a(\vec),\ R^b(\vec)\ \bigr= 0, \quad \bigl R^a(\vec),\ R^b(\vec)\ \bigr= i\ f^_c\ \delta(\vec-\vec)\ R^c(\vec)~.


Conformal field theory

For the case where space is a one-dimensional circle, current algebras arise naturally as a central extension of the loop algebra, known as
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 g ...
s or, more specifically,
affine Lie algebra In mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody ...
s. In this case, the commutator and normal ordering can be given a very precise mathematical definition in terms of integration contours on the complex plane, thus avoiding some of the formal divergence difficulties commonly encountered in quantum field theory. When 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) sho ...
of the Lie algebra is contracted with the current commutator, one obtains the
energy–momentum tensor Energy–momentum may refer to: * Four-momentum * Stress–energy tensor * Energy–momentum relation {{dab ...
of a
two-dimensional conformal field theory A two-dimensional conformal field theory is a quantum field theory on a Euclidean two-dimensional space, that is invariant under local conformal transformations. In contrast to other types of conformal field theories, two-dimensional conformal fi ...
. When this tensor is expanded as a
Laurent series In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansio ...
, the resulting algebra is called the
Virasoro algebra In mathematics, the Virasoro algebra is a complex Lie algebra and the unique nontrivial central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string theory. It is named after Miguel Ángel ...
. This calculation is known as the Sugawara construction. The general case is formalized as the
vertex operator algebra In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven usef ...
.


See also

*
Affine Lie algebra In mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody ...
* Chiral model * Jordan map *
Virasoro algebra In mathematics, the Virasoro algebra is a complex Lie algebra and the unique nontrivial central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string theory. It is named after Miguel Ángel ...
*
Vertex operator algebra In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven usef ...
*
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 g ...


Notes


References

* * * *
Sample.
Quantum field theory Lie algebras Murray Gell-Mann {{quantum-stub