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 classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles ...
define an infinite-dimensional
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
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 physicist who received the 1969 Nobel Prize in Physics for his work on the theory of elementary particles. He was the Robert Andrews Millikan Professor of Theoretical ...
, described weak and electromagnetic currents of the strongly interacting particles,
hadrons In particle physics, a hadron (; grc, ἁδρός, hadrós; "stout, thick") is a composite subatomic particle made of two or more quarks held together by the strong interaction. They are analogous to molecules that are held together by the ele ...
, 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 theory 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 ...
, 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 In theoretical physics, the Jordan map, often also called the Jordan–Schwinger map is a map from matrices to bilinear expressions of quantum oscillators which expedites computation of representations of Lie algebras occurring in physics. It was ...
, 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 : ^a(\vec),V^b(\vec)if^_c\delta(\vec-\vec)V^c(\vec), and : ^a(\vec),A^b(\vec)if^_c\delta(\vec-\vec)A^c(\vec),\qquad ^a(\vec),A^b(\vec)if^_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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
. To get meaningful expressions, these must be
normal order In quantum field theory a product of quantum fields, or equivalently their creation and annihilation operators, is usually said to be normal ordered (also called Wick order) when all creation operators are to the left of all annihilation operator ...
ed. The algebra resolves to a direct sum of two algebras, ''L'' and ''R'', upon defining : 2L^a(\vec)\equiv V^a(\vec)-A^a(\vec), \qquad 2 R^a(\vec)\equiv V^a(\vec)+A^a(\vec), whereupon ^a(\vec),L^b(\vec)if^_c\delta(\vec-\vec)L^c(\vec),\quad ^a(\vec),R^b(\vec)0,\quad ^a(\vec),R^b(\vec)if^_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 In mathematics, loop algebras are certain types of Lie algebras, of particular interest in theoretical physics. Definition For a Lie algebra \mathfrak over a field K, if K ,t^/math> is the space of Laurent polynomials, then L\mathfrak := \mat ...
, 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 a ...
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) show ...
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 expansion c ...
, the resulting algebra is called the
Virasoro algebra In mathematics, the Virasoro algebra (named after the physicist Miguel Ángel Virasoro) is a complex Lie algebra and the unique central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string the ...
. 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 a ...
* Chiral model *
Jordan map In theoretical physics, the Jordan map, often also called the Jordan–Schwinger map is a map from matrices to bilinear expressions of quantum oscillators which expedites computation of representations of Lie algebras occurring in physics. It was ...
*
Virasoro algebra In mathematics, the Virasoro algebra (named after the physicist Miguel Ángel Virasoro) is a complex Lie algebra and the unique central extension of the Witt algebra. It is widely used in two-dimensional conformal field theory and in string 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 ...
*
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 {{quantum-stub