Structure constants

In mathematics, the structure constants or structure coefficients of an algebra over a field are used to explicitly specify the product of two basis vectors in the algebra as a linear combination. Given the structure constants, the resulting product is bilinear and can be uniquely extended to all vectors in the vector space, thus uniquely determining the product for the algebra.

Using the cross product as a Lie bracket, the algebra of 3-dimensional real vectors is a Lie algebra isomorphic to the Lie algebras of SU(2) and SO(3). The structure constants are ${\displaystyle f^{abc}=\epsilon ^{abc}}$, where ${\displaystyle \epsilon ^{abc}}$ is the antisymmetric Levi-Civita symbol.

Structure constants are used whenever an explicit form for the algebra must be given. Thus, they are frequently used when discussing Lie algebras in physics, as the basis vectors indicate specific directions in physical space, or correspond to specific particles. Recall that Lie algebras are algebras over a field, with the bilinear product being given by the Lie bracket or commutator.

Definition

Given a set of basis vectors ${\displaystyle \{\mathbf {e} _{i}\}}$ for the underlying vector space of the algebra, the structure constants or structure coefficients ${\displaystyle c_{ij}^{\;k}}$ express the multiplication ${\displaystyle \cdot }$ of pairs of vectors as a linear combination:

${\displaystyle \mathbf {e} _{i}\cdot \mathbf {e} _{j}=\sum _{k}c_{ij}^{\;\;k}\mathbf {e} _{k}}$.

The upper and lower indices are frequently not distinguished, unless the algebra is endowed with some other structure that would require this (for example, a pseudo-Riemannian metric, on the algebra of the indefinite orthogonal group so(p,q)). That is, structure constants are often written with all-upper, or all-lower indexes. The distinction between upper and lower is then a convention, reminding the reader that lower indices behave like the components of a dual vector, i.e. are covariant under a change of basis, while upper indices are contravariant.

The structure constants obviously depend on the chosen basis. For Lie algebras, one frequently used convention for the basis is in terms of the ladder operators defined by the Cartan subalgebra; this is presented further down in the article, after some preliminary examples.

Example: Lie algebras

For a Lie algebra, the basis vectors are termed the generators of the algebra, and the product is given by the Lie bracket. That is, the algebra product ${\displaystyle \cdot }$ is defined to be the Lie bracket: for two vectors ${\displaystyle A}$ and ${\displaystyle B}$ in the algebra, the product is ${\displaystyle A\cdot B\equiv [A,B].}$ In particular, the algebra product ${\displaystyle \cdot }$ must not be confused with a matrix product, and thus sometimes requires an alternate notation.

There is no particular need to distinguish the upper and lower indices in this case; they can be written all up or all down. In physics, it is common to use the notation ${\displaystyle T_{i}}$ for the generators, and ${\displaystyle f_{ab}^{\;\;c}}$ or ${\displaystyle f^{abc}}$ (ignoring the upper-lower distinction) for the structure constants. The Lie bracket of pairs of generators is a linear combination of generators from the set, i.e.

${\displaystyle [T_{a},T_{b}]=\sum _{c}f_{ab}^{\;\;c}T_{c}}$.

By linear extension, the structure constants completely determine the Lie brackets of all elements of the Lie algebra.

All Lie algebras satisfy the Jacobi identity. For the basis vectors, it can be written as

${\displaystyle [T_{a},[T_{b},T_{c}]]+[T_{b},[T_{c},T_{a}]]+[T_{c},[T_{a},T_{b}]]=0}$

and this leads directly to a corresponding identity in terms of the structure constants:

${\displaystyle f_{ad}^{\;\;e}f_{bc}^{\;\;d}+f_{bd}^{\;\;e}f_{ca}^{\;\;d}+f_{cd}^{\;\;e}f_{ab}^{\;\;d}=0.}$

The above, and the remainder of this article, make use of the Einstein summation convention for repeated indexes.

The structure constants play a role in Lie algebra representations, and in fact, give exactly the matrix elements of the adjoint representation. The Killing form and the Casimir invariant also have a particularly simple form, when written in terms of the structure constants.

The structure constants often make an appearance in the approximation to the Baker–Campbell–Hausdorff formula for the product of two elements of a Lie group. For small elements ${\displaystyle X,Y}$ of the Lie algebra, the structure of the Lie group near the identity element is given by

${\displaystyle \exp(X)\exp(Y)\approx \exp(X+Y+{\tfrac {1}{2}}[X,Y]).}$

Note the factor of 1/2. They also appear in explicit expressions for differentials, such as ${\displaystyle e^{-X}de^{X}}$; see Baker–Campbell–Hausdorff formula#Infinitesimal case for details.

Lie algebra examples

𝖘𝖚(2) and 𝖘𝖔(3)

The algebra 𝖘𝖚(2) of the special unitary group SU(2) is three-dimensional, with generators given by the Pauli matrices ${\displaystyle \sigma _{i}}$. The generators of the group SU(2) satisfy the commutation relations (where ${\displaystyle \epsilon ^{abc}}$ is the Levi-Civita symbol):

${\displaystyle [\sigma _{a},\sigma _{b}]=2i\epsilon ^{abc}\sigma _{c}}$

where

${\displaystyle \sigma _{1}={\begin{pmatrix}0&1\\1&0\end{pmatrix}}}$

${\displaystyle \sigma _{2}={\begin{pmatrix}0&-i\\i&0\end{pmatrix}}}$

${\displaystyle \sigma _{3}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}}$

In this case, the structure constants are ${\displaystyle f^{abc}=2i\epsilon ^{abc}}$. Note that the constant 2i can be absorbed into the definition of the basis vectors; thus, defining ${\displaystyle t_{a}=-i\sigma _{a}/2}$, one can equally well write

${\displaystyle [t_{a},t_{b}]=\epsilon ^{abc}t_{c}}$

Doing so emphasizes that the Lie algebra 𝖘𝖚(2) of the Lie group SU(2) is isomorphic to the Lie algebra 𝖘𝖔(3) of SO(3). This brings the structure constants into line with those of the rotation group SO(3). That is, the commutator for the angular momentum operators are then commonly written as

${\displaystyle [L_{i},L_{j}]=\epsilon ^{ijk}L_{k}}$

where

${\displaystyle L_{x}=L_{1}={\begin{pmatrix}0&0&0\\0&0&-1\\0&1&0\end{pmatrix}}}$

${\displaystyle L_{y}=L_{2}={\begin{pmatrix}0&0&1\\0&0&0\\-1&0&0\end{pmatrix}}}$

${\displaystyle L_{z}=L_{3}={\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\end{pmatrix}}}$

are written so as to obey the right hand rule for rotations in 3-dimensional space.

The difference of the factor of 2i between these two sets of structure constants can be infuriating, as it involves some subtlety. Thus, for example, the two-dimensional complex vector space can be given a real structure. This leads to two inequivalent two-dimensional fundamental representations of 𝖘𝖚(2), which are isomorphic, but are complex conjugate representations; both, however, are considered to be real representations, precisely because they act on a space with a real structure.[1] In the case of three dimensions, there is only one three-dimensional representation, the adjoint representation, which is a real representation; more precisely, it is the same as its dual representation, shown above. That is, one has that the transpose is minus itself: ${\displaystyle L_{k}^{T}=-L_{k}.}$

In any case, the Lie groups are considered to be real, precisely because it is possible to write the structure constants so that they are purely real.

𝖘𝖚(3)

A less trivial example is given by SU(3):[2]

Its generators, T, in the defining representation, are:

${\displaystyle T^{a}={\frac {\lambda ^{a}}{2}}.\,}$

where ${\displaystyle \lambda \,}$, the Gell-Mann matrices, are the SU(3) analog of the Pauli matrices for SU(2):

${\displaystyle \lambda ^{1}={\begin{pmatrix}0&1&0\\1&0&0\\0&0&0\end{pmatrix}}}$	${\displaystyle \lambda ^{2}={\begin{pmatrix}0&-i&0\\i&0&0\\0&0&0\end{pmatrix}}}$	${\displaystyle \lambda ^{3}={\begin{pmatrix}1&0&0\\0&-1&0\\0&0&0\end{pmatrix}}}$
${\displaystyle \lambda ^{4}={\begin{pmatrix}0&0&1\\0&0&0\\1&0&0\end{pmatrix}}}$	${\displaystyle \lambda ^{5}={\begin{pmatrix}0&0&-i\\0&0&0\\i&0&0\end{pmatrix}}}$	${\displaystyle \lambda ^{6}={\begin{pmatrix}0&0&0\\0&0&1\\0&1&0\end{pmatrix}}}$
${\displaystyle \lambda ^{7}={\begin{pmatrix}0&0&0\\0&0&-i\\0&i&0\end{pmatrix}}}$	${\displaystyle \lambda ^{8}={\frac {1}{\sqrt {3}}}{\begin{pmatrix}1&0&0\\0&1&0\\0&0&-2\end{pmatrix}}.}$

These obey the relations

${\displaystyle \left[T^{a},T^{b}\right]=if^{abc}T^{c}\,}$

${\displaystyle \{T^{a},T^{b}\}={\frac {1}{3}}\delta ^{ab}+d^{abc}T^{c}.\,}$

The structure constants are totally antisymmetric. They are given by:

${\displaystyle f^{123}=1\,}$

${\displaystyle f^{147}=-f^{156}=f^{246}=f^{257}=f^{345}=-f^{367}={\frac {1}{2}}\,}$

${\displaystyle f^{458}=f^{678}={\frac {\sqrt {3}}{2}},\,}$

and all other ${\displaystyle f^{abc}}$ not related to these by permuting indices are zero.

The d take the values:

${\displaystyle d^{118}=d^{228}=d^{338}=-d^{888}={\frac {1}{\sqrt {3}}}\,}$

${\displaystyle d^{448}=d^{558}=d^{668}=d^{778}=-{\frac {1}{2{\sqrt {3}}}}\,}$

${\displaystyle d^{146}=d^{157}=-d^{247}=d^{256}=d^{344}=d^{355}=-d^{366}=-d^{377}={\frac {1}{2}}.\,}$

Examples from other algebras

Hall polynomials

The Hall polynomials are the structure constants of the Hall algebra.

Hopf algebras

In addition to the product, the coproduct and the antipode of a Hopf algebra can be expressed in terms of structure constants. The connecting axiom, which defines a consistency condition on the Hopf algebra, can be expressed as a relation between these various structure constants.

Applications

• A Lie group is abelian exactly when all structure constants are 0.
• A Lie group is real exactly when its structure constants are real.
• The structure constants are completely anti-symmetric in all indices if and only if the Lie algebra is a direct sum of simple compact Lie algebras.
• A nilpotent Lie group admits a lattice if and only if its Lie algebra admits a basis with rational structure constants: this is Malcev's criterion. Not all nilpotent Lie groups admit lattices; for more details, see also Raghunathan.[3]
• In quantum chromodynamics, the symbol ${\displaystyle G_{\mu \nu }^{a}\,}$ represents the gauge covariant gluon field strength tensor, analogous to the electromagnetic field strength tensor, F^μν, in quantum electrodynamics. It is given by:[4]

${\displaystyle G_{\mu \nu }^{a}=\partial _{\mu }{\mathcal {A}}_{\nu }^{a}-\partial _{\nu }{\mathcal {A}}_{\mu }^{a}+gf^{abc}{\mathcal {A}}_{\mu }^{b}{\mathcal {A}}_{\nu }^{c}\,,}$

where f_abc are the structure constants of SU(3). Note that the rules to push-up or pull-down the a, b, or c indexes are trivial, (+,... +), so that f^abc = f_abc = f^a
_bc whereas for the μ or ν indexes one has the non-trivial relativistic rules, corresponding e.g. to the metric signature (+ − − −).

Choosing a basis for a Lie algebra

One conventional approach to providing a basis for a Lie algebra is by means of the so-called "ladder operators" appearing as eigenvectors of the Cartan subalgebra. The construction of this basis, using conventional notation, is quickly sketched here. An alternative construction (the Serre construction) can be found in the article semisimple Lie algebra.

Given a Lie algebra ${\displaystyle {\mathfrak {g}}}$, the Cartan subalgebra ${\displaystyle {\mathfrak {h}}\subset {\mathfrak {g}}}$ is the maximal Abelian subalgebra. By definition, it consists of those elements that commute with one-another. An orthonormal basis can be freely chosen on ${\displaystyle {\mathfrak {h}}}$; write this basis as ${\displaystyle H_{1},\cdots ,H_{r}}$ with

${\displaystyle \langle H_{i},H_{j}\rangle =\delta _{ij}}$

where ${\displaystyle \langle \cdot ,\cdot \rangle }$ is the inner product on the vector space. The dimension ${\displaystyle r}$ of this subalgebra is called the rank of the algebra. In the adjoint representation, the matrices ${\displaystyle \mathrm {ad} (H_{i})}$ are mutually commuting, and can be simultaneously diagonalized. The matrices ${\displaystyle \mathrm {ad} (H_{i})}$ have (simultaneous) eigenvectors; those with a non-zero eigenvalue ${\displaystyle \alpha }$ are conventionally denoted by ${\displaystyle E_{\alpha }}$. Together with the ${\displaystyle H_{i}}$ these span the entire vector space ${\displaystyle {\mathfrak {g}}}$. The commutation relations are then

${\displaystyle [H_{i},H_{j}]=0\quad {\mbox{and}}\quad [H_{i},E_{\alpha }]=\alpha _{i}E_{\alpha }}$

The eigenvectors ${\displaystyle E_{\alpha }}$ are determined only up to overall scale; one conventional normalization is to set

${\displaystyle \langle E_{\alpha },E_{-\alpha }\rangle =1}$

This allows the remaining commutation relations to be written as

${\displaystyle [E_{\alpha },E_{-\alpha }]=\alpha _{i}H_{i}}$

and

${\displaystyle [E_{\alpha },E_{\beta }]=N_{\alpha ,\beta }E_{\alpha +\beta }}$

with this last subject to the condition that the roots (defined below) ${\displaystyle \alpha ,\beta }$ sum to a non-zero value: ${\displaystyle \alpha +\beta \neq 0}$. The ${\displaystyle E_{\alpha }}$ are sometimes called ladder operators, as they have this property of raising/lowering the value of ${\displaystyle \beta }$.

For a given ${\displaystyle \alpha }$, there are as many ${\displaystyle \alpha _{i}}$ as there are ${\displaystyle H_{i}}$ and so one may define the vector ${\displaystyle \alpha =\alpha _{i}H_{i}}$, this vector is termed a root of the algebra. The roots of Lie algebras appear in regular structures (for example, in simple Lie algebras, the roots can have only two different lengths); see root system for details.

The structure constants ${\displaystyle N_{\alpha ,\beta }}$ have the property that they are non-zero only when ${\displaystyle \alpha +\beta }$ are a root. In addition, they are antisymmetric:

${\displaystyle N_{\alpha ,\beta }=-N_{\beta ,\alpha }}$

and can always be chosen such that

${\displaystyle N_{\alpha ,\beta }=-N_{-\alpha ,-\beta }}$

They also obey cocycle conditions:[5]

${\displaystyle N_{\alpha ,\beta }=N_{\beta ,\gamma }=N_{\gamma ,\alpha }}$

whenever ${\displaystyle \alpha +\beta +\gamma =0}$, and also that

${\displaystyle N_{\alpha ,\beta }N_{\gamma ,\delta }+N_{\beta ,\gamma }N_{\alpha ,\delta }+N_{\gamma ,\alpha }N_{\beta ,\delta }=0}$

whenever ${\displaystyle \alpha +\beta +\gamma +\delta =0}$.

References

1. Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
2. Weinberg, Steven (1995). The Quantum Theory of Fields. 1 Foundations. Cambridge University Press. ISBN 0-521-55001-7.
3. Raghunathan, Madabusi S. (2012) [1972]. "2. Lattices in Nilpotent Lie Groups". Discrete Subgroups of Lie Groups. Springer. ISBN 978-3-642-86428-5.
4. Eidemüller, M.; Dosch, H.G.; Jamin, M. (2000) [1999]. "The field strength correlator from QCD sum rules". Nucl. Phys. B Proc. Suppl. 86: 421–5. arXiv:hep-ph/9908318. Bibcode:2000NuPhS..86..421E. doi:10.1016/S0920-5632(00)00598-3.
5. Cornwell, J.F. (1984). Group Theory In Physics. 2 Lie Groups and their applications. Academic Press. ISBN 0121898040. OCLC 969857292.