In mathematics, loop algebras are certain types of Lie algebras, of particular interest in theoretical physics.
Definition For a Lie algebra g {\displaystyle {\mathfrak {g}}} over a field K {\displaystyle K} , if K [ t , t − 1 ] {\displaystyle K[t,t^{-1}]} is the space of Laurent polynomials, then
L g := g ⊗ K [ t , t − 1 ] , {\displaystyle L{\mathfrak {g}}:={\mathfrak {g}}\otimes K[t,t^{-1}],}
with the inherited bracket
[ X ⊗ t m , Y ⊗ t n ] = [ X , Y ] ⊗ t m + n . {\displaystyle [X\otimes t^{m},Y\otimes t^{n}]=[X,Y]\otimes t^{m+n}.}
Geometric definition If g {\displaystyle {\mathfrak {g}}} is a Lie algebra, the tensor product of g {\displaystyle {\mathfrak {g}}} with C∞(S1), the algebra of (complex) smooth functions over the circle manifold S1 (equivalently, smooth complex-valued periodic functions of a given period),
g ⊗ C ∞ ( S 1 ) , {\displaystyle {\mathfrak {g}}\otimes C^{\infty }(S^{1}),}
is an infinite-dimensional Lie algebra with the Lie bracket given by
[ g 1 ⊗ f 1 , g 2 ⊗ f 2 ] = [ g 1 , g 2 ] ⊗ f 1 f 2 . {\displaystyle [g_{1}\otimes f_{1},g_{2}\otimes f_{2}]=[g_{1},g_{2}]\otimes f_{1}f_{2}.}
Here g1 and g2 are elements of g {\displaystyle {\mathfrak {g}}} and f1 and f2 are elements of C∞(S1). This isn't precisely what would correspond to the direct product of infinitely many copies of g {\displaystyle {\mathfrak {g}}} , one for each point in S1, because of the smoothness restriction. Instead, it can be thought of in terms of smooth map from S1 to g {\displaystyle {\mathfrak {g}}} ; a smooth parametrized loop in g {\displaystyle {\mathfrak {g}}} , in other words. This is why it is called the loop algebra.
Gradation Defining g i {\displaystyle {\mathfrak {g}}_{i}} to be the linear subspace g i = g ⊗ t i < L g , {\displaystyle {\mathfrak {g}}_{i}={\mathfrak {g}}\otimes t^{i}<L{\mathfrak {g}},} the bracket restricts to a product [ ⋅ , ⋅ ] : g i × g j → g i + j , {\displaystyle [\cdot \,,\,\cdot ]:{\mathfrak {g}}_{i}\times {\mathfrak {g}}_{j}\rightarrow {\mathfrak {g}}_{i+j},}
hence giving the loop algebra a Z {\displaystyle \mathbb {Z} } -graded Lie algebra structure. In particular, the bracket restricts to the 'zero-mode' subalgebra g 0 ≅ g {\displaystyle {\mathfrak {g}}_{0}\cong {\mathfrak {g}}} .
Derivation
There is a natural derivation on the loop algebra, conventionally denoted d {\displaystyle d} acting as
d : L g → L g {\displaystyle d:L{\mathfrak {g}}\rightarrow L{\mathfrak {g}}}
… excerpt ends here. Continue reading the full article.
