Representation theory of the Lorentz group

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Hendrik Antoon Lorentz (right) after whom the Lorentz group is named and Albert Einstein whose special theory of relativity is the main source of application. Photo taken by Paul Ehrenfest 1921.

The Lorentz group, a Lie group on which special relativity is based, has a wide variety of representations. Many of these representations, both finite-dimensional and infinite-dimensional, are important in theoretical physics in the description of particles in relativistic quantum mechanics, as well as of both particles and quantum fields in quantum field theory.

This representation theory also provides the theoretical ground for the concept of spin, which, for a particle, can be either integer or half-integer in the unit of the reduced Planck constant ℏ. Quantum mechanical wave functions representing particles with half-integer spin are called spinors. The classical electromagnetic field has spin as well. It transforms under a representation with spin one.[1]

The group may also be represented in terms of a set of functions defined on the Riemann sphere. These are the Riemann P-functions, which are expressible as hypergeometric functions. The identity component SO(3;1)+ of the Lorentz group is isomorphic to the Möbius group, and hence any representation of the Lorentz group is necessarily a representation of the Möbius group and vice versa.The subgroup SO(3) with its representation theory form a simpler theory, but the two are related and both are prominent in theoretical physics as descriptions of spin, angular momentum, and other phenomena related to rotation.

The adopted Lie algebra basis and conventions used are presented here.

Contents

Finite-dimensional representations[edit]

Representation theory of groups in general, and Lie groups in particular, is a very rich subject. The full Lorentz group makes no exception. The Lorentz group has some properties that makes it "agreeable" and others that make it "not very agreeable" within the context of representation theory. The group is semisimple, and also simple, but is not connected, and none of its components are simply connected. Perhaps most importantly, the Lorentz group is not compact.[2]

For finite-dimensional representations, the presence of semisimplicity means that the Lorentz group can be dealt with the same way as other semisimple groups using a well-developed theory. In addition, all representations are built from the irreducible ones.[3] But, the non-compactness of the Lorentz group, in combination with lack of simple connectedness, cannot be dealt with in all the aspects as in the simple framework that applies to simply connected, compact groups. Non-compactness implies that no nontrivial finite-dimensional unitary representations exist.[4] Lack of simple connectedness gives rise to spin representations of the group.[5] The non-connectedness means that, for representations of the full Lorentz group, one has to deal with time reversal and space inversion separately.[1][6]

History[edit]

The development of the finite-dimensional representation theory of the Lorentz group mostly follows that of the subject in general. Lie theory originated with Sophus Lie in 1873.[7] By 1888 the classification of simple Lie algebras was essentially completed by Wilhelm Killing.[8] In 1913 the theorem of highest weight for representations of simple Lie algebras, the path that will be followed here, was completed by Élie Cartan.[9] Richard Brauer was 1935–38 largely responsible for the development of the Weyl-Brauer matrices describing how spin representations of the Lorentz Lie algebra can be embedded in Clifford algebras.[10] The Lorentz group has also historically received special attention in representation theory, see History of infinite-dimensional unitary representations below, due to its exceptional importance in physics. Hermann Weyl,[11][12] Harish-Chandra[13] mathematicians who also made major contributions to the general theory, and the physicists Eugene Wigner[14] and Valentine Bargmann[15][16] made substantial contributions specialized to the Lorentz group over the years.[17] Physicist Paul Dirac was perhaps the first to manifestly knit everything together in a practical application of major lasting importance with the Dirac equation in 1928.[18]

The Lie algebra[edit]

Wilhelm Killing, Independent discoverer of Lie algebras. The simple Lie algebras were first classified by him in 1888.

According to the general representation theory of Lie groups, one first looks for the representations of the complexification, so(3;1)C of the Lie algebra so(3;1) of the Lorentz group. A convenient basis for so(3;1) is given by the three generators Ji of rotations and the three generators Ki of boosts as described in Conventions below. Now complexify the Lie algebra, and then change basis to the components of:

\mathbf{A} = \frac{\mathbf{J} + i \mathbf{K}}{2}\,,\quad \mathbf{B} = \frac{\mathbf{J} - i \mathbf{K}}{2}\,.[19]

In this new basis, one checks that the components of A = (A1, A2, A3) and B = (B1, B2, B3) separately satisfy the commutation relations of the Lie algebra su(2) and moreover that they commute with each other[20]

\left[A_i ,A_j\right] = i\varepsilon_{ijk}A_k\,,\quad \left[B_i ,B_j\right] = i\varepsilon_{ijk}B_k\,,\quad \left[A_i ,B_j\right] = 0\,,[21]

where i, j, k are indices which each take values 1, 2, 3, and εijk is the three-dimensional Levi-Civita symbol. Let AC and BC denote the complex linear span of A and B respectively. One has the isomorphisms

\mathfrak{so}(3,1) \hookrightarrow \mathfrak{so}(3,1)_C \approx \mathbf{A}_C \oplus \mathbf{B}_C \approx \mathfrak{sl}(2,C) \oplus \mathfrak{sl}(2,C) \approx \mathfrak{sl}(2,C) \oplus i\mathfrak{sl}(2,C) = \mathfrak{sl}(2,C)_C \hookleftarrow \mathfrak{sl}(2,C) \,,[22][23]

 

 

 

 

(A1)

where sl(2, C) is the complexification of su(2) ≈ AB. The utility of these isomorphisms comes from the fact that all irreducible representations of su(2) are known. Every irreducible representation of su(2) is isomorphic to one of the highest weight representations. Moreover, there is a one-to-one correspondence between linear representations of su(2) and complex linear representations of sl(2, C).[24]

The unitarian trick[edit]

Hermann Weyl, the man behind the unitarian trick.

In (A1), all isomorphisms are C-linear (the last is just a defining equality). The most important part of the manipulations below is that the R-linear (irreducible) representations of a (real or complex) Lie algebra are in one-to-one correspondence with C-linear (irreducible) representation of its complexification.[25] With this in mind, it is seen that the R-linear representations of the real forms of the far left, so(3, 1), and the far right, sl(2, C), in (A1) can be obtained from the C-linear representations of sl(2, C) ⊕ sl(2, C).

The manipulations to obtain representations of a non-compact algebra (here so(3;1)), and subsequently the non-compact group itself, from qualitative knowledge about unitary representations of a compact group (here SU(2)) is a variant of Weyl's so-called unitarian trick. The trick specialized to SL(2, C) can be summarized concisely.[26] Let V be a finite-dimensional complex vector space. The following are equivalent:

  • There is a representation of SL(2, R) on V
  • There is a representation of SU(2) on V
  • There is a holomorphic representation of SL(2, C) on V
  • There is a representation of sl(2, R) on V
  • There is a representation of su(2) on V
  • There is a complex linear representation of sl(2, C) on V

If one representation is irreducible, then all of them are. In this list, cross products (groups) or direct sums (Lie algebras) may be introduced (consistently). The essence of the trick is that the starting point in the above list is immaterial. Both qualitative knowledge (like existence theorems for one item on the list) and concrete realizations for one item on the list will translate and propagate, respectively, to the others.

Now, the representations of sl(2, C) ⊕ sl(2, C), which is the Lie algebra of SL(2, C) × SL(2, C), are supposed to be irreducible. This means that they must be tensor products of complex linear representations of sl(2, C), as can be seen by restriction to the subgroup SU(2) × SU(2) ⊂ SL(2, C) × SL(2, C), a compact group to which the Peter–Weyl theorem applies.[27] The irreducible unitary representations of SU(2) × SU(2) are precisely the tensor products of irreducible unitary representations of SU(2). These stand in one-to-one correspondence with the holomorphic representations of SL(2, C) × SL(2, C)[27] and these, in turn, are in one-to-one correspondence with the complex linear representations of sl(2, C) ⊕ sl(2, C) because SL(2, C) × SL(2, C) is simply connected.[27]

For sl(2, C), there exists the highest weight representations (obtainable, via the trick, from the corresponding su(2)-representations), here indexed by μ for μ = 0, 1, … . The tensor products of two complex linear factors then form the irreducible complex linear representations of sl(2, C) ⊕ sl(2, C). For reference, if (π1, U) and (π2, V) are representations of a Lie algebra g, then their tensor product (π1 ⊗ π2, U ⊗ V) is given by either of

\pi_1\otimes\pi_2(X) = \pi_1(X) \otimes \mathrm{Id}_V + \mathrm{Id}_U \otimes \pi_2(X), \quad X \in \mathbf{g}, \qquad \pi_1\otimes\pi_2(X, Y) = \pi_1(X) \otimes \mathrm{Id}_V + \mathrm{Id}_U \otimes \pi_2(Y), \quad (X,Y) \in \mathbf{g} \oplus \mathbf{g},[22][nb 1]

 

 

 

 

(A0)

where Id is the identity operator. Here, the latter interpretation is intended. The not necessarily complex linear representations of sl(2, C) come using another variant of the unitarian trick as is shown in the last Lie algebra isomorphism in (A1).

The representations[edit]

The representations for all Lie algebras and groups involved in the unitarian trick can now be obtained. The real linear representations for sl(2, C) and so(3; 1) follow here assuming the complex linear representations of sl(2, C) are known. Explicit realizations and group representations are given later.

sl(2, C)[edit]

The complex linear representations of the complexification of sl(2, C), sl(2, C)C, obtained via isomorphisms in (A1), stand in one-to-one correspondence with the real linear representations of sl(2, C).[27] The set of all, at least real linear, irreducible representations of sl(2, C) are thus indexed by a pair (μ, ν). The complex linear ones, corresponding precisely to the complexification of the real linear su(2) representations, are of the form (μ, 0), while the conjugate linear ones are the (0, ν).[27] All others are real linear only. The linearity properties follow from the canonical injection, the far right in (A1), of sl(2, C) into its complexification. Representations on the form (ν, ν) or (μ, ν) ⊕ (ν, μ) are given by real matrices (the latter is not irreducible). Explicitly, the real linear (μ, ν)-representations of sl(2, C) are

\phi_{\mu, \nu}(X) = \phi_\mu \otimes \overline{\phi}_\nu(X) = \phi_\mu(X) \otimes \mathrm{Id}_{\nu + 1} + \mathrm{Id}_{\mu + 1} \otimes \overline{\phi_\nu(X)}, \quad X \in \mathfrak{sl}(2, \mathbb{C})

where Φμ, μ = 0,1, … are the complex linear irreducible representations of sl(2, C) and Φν, ν = 0,1, … their complex conjugate representations. Now the tensor product is interpreted in the former sense of (A0).

so(3; 1)[edit]

Via the displayed isomorphisms in (A1) and knowledge of the complex linear irreducible representations of sl(2, C) ⊕ sl(2, C), upon solving for J and K, all irreducible representations of so(3;1)C, and, by restriction, those of so(3;1) are known. It's worth noting that the representations of so(3;1) obtained this way are real linear (and not complex or conjugate linear) because the algebra is not closed upon conjugation, but they are still irreducible.[22] Since so(3;1) is semisimple,[22] all its representations, not necessarily irreducible, can be built up as direct sums of the irreducible ones.

Thus the finite dimensional irreducible representations of the Lorentz algebra are classified by an ordered pair of half-integers m = μ/2 and n = ν/2, conventionally written as one of

(m,n) \equiv D^{(m,n)} \equiv \pi_{m,n}.

The notation D(m,n) is usually reserved for the group representations. Let π(m, n) : so(3;1) → gl(V), where V is a vector space, denote the irreducible representations of so(3;1) according to this classification. These are, up to a similarity transformation, uniquely given by

\begin{align}
\pi_{m,n}(J_i) & = 1_{(2m+1)}\otimes J^{(n)}_i + J^{(m)}_i\otimes 1_{(2n+1)}\\
\pi_{m,n}(K_i) & = i(1_{(2m+1)}\otimes J^{(n)}_i - J^{(m)}_i \otimes 1_{(2n+1)}),
\end{align}[28]

 

 

 

 

(A2)

where the J(n) = (J(n)1, J(n)2, J(n)3) are the (2n + 1)-dimensional irreducible spin n representations of so(3)su(2) and 1n is the n-dimensional unit matrix. Explicit formulas on component form are given at the end of the article.

Common representations[edit]

m=0 1/2 1
n=0 scalar
Weyl spinor
bispinor
self-dual 2-form
2-form field
1/2 Weyl spinor
(right-handed)
4-vector Rarita–Schwinger
field
1 anti-self-dual
2-form
traceless
symmetric tensor

Purple: (m, n) complex irreps   Black: (m, n) ⊕ (n, m)
Bold: (m, m)

Since for any irrep where mn it is essential to operate over the field of complex numbers, the direct sum of representations (m, n) and (n, m) has a particular relevance to physics, since it permits to use linear operators over real numbers.

The group[edit]

The approach in this section is based on a theorem that, in turn, is based on the fundamental Lie correspondence.[30] The Lie correspondence is, in essence, a dictionary between connected Lie groups and Lie algebras.[31]

The Lie correspondence[edit]

Sophus Lie, the originator of Lie theory. The theory of manifolds was not discovered in Lie's time, so he worked locally with subsets of Rn. The structure would today be called a local group.

The Lie correspondence and some results based on it needed here and below are stated for reference. If G denotes a linear Lie group (i.e. a group representable as a group of matrices) and g a linear Lie algebra (again, linear means representable as an algebra of matrices),[nb 4] let Γ(g) denote the group generated by exp(g), and let L(G) denote the Lie algebra of G (interpreted as the set of matrices X such that eitXG for all tR). The Lie correspondence reads in modern language, here specialized to linear Lie groups, as follows:

  • There is a one-to-one correspondence between connected linear Lie groups and linear Lie algebras given by Gg with g = L(G) or, equivalently G = Γ(g), expressed as Γ(L(G)) = G, respectively L(Γ(g)) = g.[32] (Lie)

The following are some corollaries that will be used in the sequel:

  • A connected linear Lie group G is abelian if and only if g is abelian.[33] (Lie i)
  • A connected subgroup H with Lie algebra h of a connected linear Lie group G is normal if and only if hg is an ideal.[33] (Lie ii)
  • If G, H are linear Lie groups with Lie algebras g, h and Π:GH is a group homomorphism, then π:gh, its pushforward at the identity, is a Lie algebra homomorphism and Π(eiX) = eiπ(X) for every Xg.[34] (Lie iii)

Lie algebra representations from group representations[edit]

Using the above theorem it is always possible to pass from a representation of a Lie group G to a representation of its Lie algebra g. If Π : G → GL(V) is a group representation for some vector space V, then its pushforward (differential) at the identity, or Lie map, π : g → End V is a Lie algebra representation. It is explicitly computed using

\pi(X) = \frac{d}{dt}\Pi(e^{itX})|_{t = 0}, \quad X \in \mathfrak{g}.[nb 5]

 

 

 

 

(G6)

This, of course, holds for the Lorentz group in particular, but not all Lie algebra representations arise this way because their corresponding group representations may not exist as proper representations, i.e. they are projective, see below.

Group representations from Lie algebra representations[edit]

Here V is a finite-dimensional vector space, GL(V) is the set of all invertible linear transformations on V and gl(V) is its Lie algebra. The maps π and Π are Lie algebra and group representations respectively, and exp is the exponential mapping. The diagram commutes only up to a sign if Π is projective.

Given a so(3;1) representation, one may try to construct a representation of SO(3;1)+, the identity component of the Lorentz group, by using the exponential mapping. If X is an element of so(3;1) in the standard representation, then

\Lambda = e^{iX} \equiv \sum_{n=0}^{\infty} \frac{(iX)^n}{n!}

 

 

 

 

(G1)

is a Lorentz transformation by general properties of Lie algebras. Motivated by this and the Lie correspondence theorem stated above, let π : so(3;1) → gl(V) for some vector space V be a representation and tentatively define a representation Π of SO(3)+ by first setting

\Pi_U(e^{iX}) = e^{i\pi(X)}, \quad X \in \mathfrak{so}(3;1).

 

 

 

 

(G2)

The subscript U indicates a small open set containing the identity. Its precise meaning is defined below. There are at least two potential problems with this definition. The first is that it is not obvious that this yields a group homomorphism, or even a well defined map at all (local existence). The second problem is that for a given gU ⊂ SO(3;1)+ there may not be exactly one Xso(3;1) such that g = eiX (local uniqueness). The soundness of the tentative definition (G2) is given in several steps below:

  1. ΠU is a local homomorphism.
  2. Π(g) defined along a path using properties of ΠU is a global homomorphism.
  3. The exponential mapping exp:so(3, 1) → SO(3, 1)+ is surjective.
  4. Π(g) defined along a path coincides with ΠU(g) with U = SO(3, 1)+.
Local existence and uniqueness[edit]

A theorem[35] based on the inverse function theorem states that the map exp : so(3, 1) → SO(3, 1)+ is one-to-one for X small enough (A). This makes the map well-defined. The qualitative form of the Baker–Campbell–Hausdorff formula then guarantees that it is a group homomorphism, still for X small enough (B).[36] Let U ⊂ SO(3, 1)+ denote image under the exponential mapping of the open set in so(3;1) where conditions (A) and (B) both hold. Let g, hU, g = eX, h = eY, then

\begin{align}\Pi_U(gh) &= \Pi_U(e^Xe^Y) = e^{i\pi(\operatorname{log}(e^Xe^Y))} &\text{(by definition and by }\textbf{(A)}\text{)}\\
&= e^{i\pi(X + Y + \frac{1}{2}[X, Y] + \frac{1}{12}[X, [X, Y]] -\frac{1}{12}[Y, [X, Y]] + \ldots)} &\text{(by Baker–Campbell–Hausdorff and }\textbf{(B)}\text{)}\\
&= e^{i\pi(X) + i\pi(Y) + \frac{1}{2}[i\pi(X), i\pi(Y)] + \frac{1}{12}[i\pi(X), [i\pi(X), i\pi(Y)]] -\frac{1}{12}[i\pi(Y), [i\pi(X), i\pi(Y)]] + \ldots)} &\text{(since }\pi \text{ is a Lie algebra homomorphism)}\\
&= e^{\operatorname{log}(e^{i\pi(X)}e^{i\pi(Y)})} &\text{(by Baker–Campbell–Hausdorff and }\textbf{(B)}\text{ again)}\\
&= e^{\operatorname{log}(\Pi_U(g)\Pi_U(h))} = \Pi_U(g)\Pi_U(h) &\text{(by definition and by }\textbf{(A)}\text{)}\\
\end{align}[37]

 

 

 

 

(G7)

This shows that the map ΠU is a well-defined group homomorphism on U.

Global existence and uniqueness[edit]

Technically, formula (G2) is used to define Π near the identity. For other elements gU one chooses a path from the identity to g and defines Π along that path by partitioning it finely enough so that formula (G2) can be used again on the resulting factors in the partition. In detail, one sets

g = g_n = (g_n g_{n-1}^{-1})(g_{n-1}g_{n-2}^{-1})\cdots(g_{2}g_{1}^{-1})(g_{1}g_{0}), \qquad \Pi(g) \equiv \Pi_U(g_{n}g_{n-1}^{-1})\Pi_U(g_{n-1}g_{n-2}^{-1})\cdots\Pi_U(g_{2}g_{1}^{-1})\Pi_U(g_{1}g_{0}), \quad g_0 = 1[35]

 

 

 

 

(G3)

where the gi are on the path and the factors on the far right are uniquely defined by (G2) provided that all gigi+1−1U and, for all conceivable pairs h,k of points on the path between gi and gi+1, hk-1U as well. For each i take, by the inverse function theorem, the unique Xi such that exp(Xi) = gigi−1−1 and obtain

\Pi(g) = \Pi_U(e^{iX_n})\Pi_U(e^{iX_{n - 1}})\cdots\Pi_U(e^{iX_2})\Pi_U(e^{iX_1}) = e^{i\pi(X_n)}e^{i\pi(X_{n - 1})}\cdots e^{i\pi(X_2)}e^{i\pi(X_1)}.

 

 

 

 

(G4)

By compactness of the path there is an n large enough so that Π(g) is well defined, possibly depending on the partition and/or the path, whether g is close to the identity or not.

Partition independence[edit]

It turns out that the result is always independent of the partitioning of the path.[35] To demonstrate the independence of the partitioning of the chosen path, one employs the Baker–Campbell–Hausdorff formula. It shows that ΠU is a group homomorphism for elements in U. To see this, first fix a partitioning used in (G3). Then insert a new point h somewhere on the path, say

g = \cdots(g_{i + 1}h^{-1})(hg_i^{-1})\cdots, \qquad \cdots \Pi_U(g_{i + 1}h^{-1})\Pi_U(hg_i^{-1})\cdots.

But

 \cdots \Pi_U(g_{i + 1}h^{-1})\Pi_U(hg_i^{-1})\cdots = \cdots\Pi_U(g_{i + 1}h^{-1}hg_i^{-1})\cdots = \cdots\Pi_U(g_{i + 1}g_i^{-1})\cdots

as a consequence of the Baker–Campbell–Hausdorff formula and the conditions on the original partitioning. Thus adding a point on the path has no effect on the definition of Π(g). Then for any two given partitionings of a given path, they have common refinement, their union. This refinement can be reached from any of the two partitionings by, one-by-one, adding points from the other partition. No individual addition changes the definition of Π(g), hence, since there are finitely many points in each partition, the value of Π(g) must have been the same for the two partitionings to begin with.

Path independence[edit]

For simply connected groups, the construction will be independent of the path as well, yielding a well defined representation.[35] In that case formula (G2) can unambiguously be used directly. Simply connected spaces have the property that any two paths can be continuously deformed into each other. Any such deformation is called a homotopy and is usually chosen as a continuous function H from the unit square {s,tR: 0 ≤ s, t ≤ 1} into the group. For s = 0 the image is one of the paths, for s = 1 the other, for intermediate s, an intermediate path results, but endpoints are kept fixed.

One deforms the path, a little bit at a time, using the previous result, the independence of partitioning. Each consecutive deformation is so small that two consecutive deformed paths can be partitioned using the same partition points. Thus two consecutive deformed paths yield the same value for Π(g). But any two pairs of consecutive deformations need not have the same choice partition points, so the actual path laid out in the group as one progresses through the deformation does indeed change.

Using compactness arguments, in a finite number of steps, the original (s = 0) path is deformed into the other (s = 1) without affecting the value of Π(g).[38]

Global homomorphism[edit]

The map ΠU is, by the Baker-Campbell-Hausdorff formula, a local homomorphism. To show that Π is a global homomorphism, consider two elements g, h ∈ SO(3, 1)+. Lay out paths pg, ph from the identity to them and define a path pgh going along pg(2t) for 0 ≤ t1/2 and along pg · ph(2t - 1) for 1/2t ≤ 1. This is a path from the identity to gh. Select adequate partitionings for pg, ph. This corresponds to a choice of "times" t0, t1, ...tm and s0, s1, ...sn. Divide the first set with 2 and divide the second set with 2 and add 1/2 and so obtain a new (adequate) set of "times" to be used for pgh. Direct computation shows that, with these partitionings (and hence all partitionings), Π(gh) = Π(g)Π(h).[39]

Surjectiveness of exponential mapping[edit]

From a practical point of view, it is important that formula (G2) can be used for all elements of the group. The Lie correspondence theorem above guarantees that (G2) holds for all Xso(3, 1), but provides no guarantee that all g ∈ SO(3, 1)+ are in the image of exp:so(3, 1) → SO(3, 1)+. For general Lie groups, this is not the case, especially not for non-compact groups, as for example for SL(2, C), the universal covering group of SO(3, 1)+. It will be treated in this respect below.

But exp: so(3, 1) → SO(3, 1)+ is surjective. One way to see this is to make use of the isomorphism SO(3, 1)+ ≈ PGL(2, C), the latter being the Möbius group. It is a quotient of GL(n, C) (see the linked article). Let p:GL(n, C) → PGL(2, C) denote the quotient map. Now exp:gl(n, C) → GL(n, C) is onto.[40] Now apply the Lie correspondence theorem with π being the differential at the identity of p. Then for all Xgl(n, C) p(eiX) = eiπ(X). Since the left hand side is surjective (both exp and p are), the right hand side is surjective and hence exp:pgl(2, C) → PGL(2, C) is surjective. Finally, recycle the argument once more, but now with the known isomorphism between SO(3, 1)+ and PGL(2, C) to find that exp is onto for the connected component of the Lorentz group.

Consistency[edit]

From the way Π(g) has been defined for elements far from the identity, it not immediately clear that formula (G2) holds for all elements of SO(3, 1)+, i.e. that one can take U = G in (G2). But, in summary,

  • Π is a uniquely constructed homomorphism.
  • Using (G6) with Π as defined here, then one ends up with the π one started with since Π was defined that way near the identity, and (G6) depends only on an arbitrarily small neighborhood of the identity.
  • exp: so(3, 1) → SO(3, 1)+ is surjective.

Hence (G2) holds everywhere.[41] One finally unconditionally writes

\Pi(e^{iX}) = e^{i\pi(X)}, \quad X \in \mathfrak{so}(3;1).

 

 

 

 

(G6)

Projective representations[edit]

For a group that is connected but not simply connected, such as SO(3;1)+, the result may depend on the homotopy class of the chosen path.[42] The result, when using (G2), will then depend on which X in the Lie algebra is used to obtain the representative matrix for g.

The Lorentz group is doubly connected so that its fundamental group π1(SO(3,1)+), whose elements are the path homotopy classes, has two members. Thus not all representations of the Lie algebra will yield representations of the group, but some will instead yield projective representations.[35] Once these conclusions has been reached, and once one knows whether a representation is projective, there is no need not be concerned about paths and partitions. Formula (G2) applies to all group elements and all representations, including the projective ones.

For a projective representation Π of SO(3;1)+ it holds that


[\Pi(\Lambda_1)\Pi(\Lambda_2)\Pi^{-1}(\Lambda_1\Lambda_2)]^2 = 1\Rightarrow \Pi(\Lambda_1\Lambda_2) = \pm \Pi(\Lambda_1)\Pi(\Lambda_2), \qquad \Lambda_1,\Lambda_2 \in \mathrm{SO}(3;1),
[43]

 

 

 

 

(G5)

since any loop in SO(3;1)+ traversed twice, due to the double connectedness, is contractible to a point so that its homotopy class is that of a constant map. It follows that Π is a double-valued function. One cannot consistently chose sign to obtain a continuous representation of all of SO(3;1)+, but this is possible to do locally around any point.[4]

The covering group[edit]

Consider sl(2, C) as a real Lie algebra with basis (1/√2σ1, 1/√2σ2, 1/√2σ3, i/√2σ1, i/√2σ2, i/√2σ3) ≡ (j1, j2, j3, k1, k2, k3), where the sigmas are the Pauli matrices. From the relations

[\sigma_i, \sigma_j] = 2i\epsilon_{ijk}\sigma_k

 

 

 

 

(J1)

one obtains

[j_i, j_j] = i\epsilon_{ijk}j_k, \quad [j_i, k_j] = i\epsilon_{ijk}k_k, \quad [k_i, k_j] = -i\epsilon_{ijk}j_k,

 

 

 

 

(J2)

which are exactly on the form of the 3-dimensional version of the commutation relations for so(3, 1) (see Conventions and Lie algebra bases below). Thus map Jiji,Kiki, and extend by linearity to obtain an isomorphism. Since SL(2, C) is simply connected, it is the universal covering group of SO(3, 1)+.

A geometric view[edit]

E.P. Wigner investigated the Lorentz group in depth and is known for the Bargmann-Wigner equations. The realization of the covering group given here is from his 1937 paper.

Let πg denote the set of path homotopy classes [pg] of paths pg(t), 0 ≤ t ≤ 1, from 1 ∈ SO+(3;1) to g ∈ SO+(3;1) and define the set

G = \{(g,[p_g]): g\in \mathrm{SO}^+(3,1),[p_g]\in \pi_g\}

 

 

 

 

(C1)

and endow it with the multiplication operation

(g_1,[p_1])(g_2,[p_2]) = (g_1g_2,[p_{12}]),\quad g_1,g_2\in \mathrm{SO}(3;1)^+,\quad [p_1]\in\pi_{g_1}, [p_2]\in \pi_{g_2}, [p_{12}]\in \pi_{g_{12}},\quad p_{12}(t) = p_1(t)\cdot p_2(t).

 

 

 

 

(C2)

The dot on the far right denotes path multiplication. With this multiplication, G is a group and GSL(2, C),[44] the universal covering group of SO+(3;1). By the above construction, there is, since each πg has two elements, a 2:1 covering map p : G → SO(3,1)+ and an isomorphism G ≈ SL(2, C). According to covering group theory, the Lie algebras so(3;1), sl(2, C) and g of G are all isomorphic. The covering map p:G → SO(3,1)+ is simply given by p(g,[pg]) = g.

An algebraic view[edit]

For an algebraic view of the universal covering group, let SL(2, C) act on the set of all Hermitean 2×2 matrices h by the operation[45]

\mathbf{P}(A): \mathbf{h} \rightarrow \mathbf{h}; \quad X \rightarrow A^\dagger XA, \quad X \in \mathbf{h}, A \in \mathrm{SL}(2,C).

 

 

 

 

(C3)

Since Xh is Hermitean, AXA is again Hemitean because (AXA) = AXA†† = AXA, and also A(αX + βY)A = αAXA + βAYA, so the action is linear as well. An element of h may generally be written in the form

X = \bigl(\begin{smallmatrix}
\xi_4 + \xi_3&\xi_1 + i\xi_2\\ \xi_1 - i\xi_2&\xi_4 - \xi_3\\
\end{smallmatrix}\bigr)

 

 

 

 

(C4)

for ξi real, showing that h is a 4-dimensional real vector space. Moreover, (AB)X(AB) = BAXAB meaning that P is a group homomorphism into GL(h) ⊂ End h. Thus P : SL(2, C) → GL (h) is a 4-dimensional representation of SL(2, C). Its kernel must in particular take the identity matrix to itself, AIA = AA = IA = A-1. Thus AX = XA for A in the kernel so, by Schur's lemma,[nb 6] A is a multiple of the identity, which must be ±I since det A = 0.[46] Now map h to spacetime R4 endowed with the Lorentz metric, Minkowski space, via

X = (\xi_1,\xi_2,\xi_3,\xi_4) \leftrightarrow \overrightarrow{(\xi_1,\xi_2,\xi_3,\xi_4)} = (x,y,z,t) = \overrightarrow{X}.

 

 

 

 

(C5)

The action of P(A) on h preserves determinants since det(AXA) = (det A)(det A)(det X) = det X. The induced representation p of SL(2, C) on R4, via the above isomorphism, given by

:\mathbf{p}(A)\overrightarrow{X} = \overrightarrow{AXA^\dagger}

 

 

 

 

(C6)

will preserve the Lorentz inner product since −det X = ξ12 + ξ22 + ξ32ξ42 = x2 + y2 + z2t2. This means that p(A) belongs to the full Lorentz group O(3;1). By the main theorem of connectedness, since SL(2, C) is connected, its image under p in O(3;1) is connected as well, and hence is contained in SO(3;1)+. It can be shown that the Lie map of p : SL(2, C) → SO(3;1)+, π : sl(2, C) → so(3;1) is a Lie algebra isomorphism (its kernel is {∅}[nb 7] and must therefore be an isomorphism for dimensional reasons). The map P is also onto.[nb 8] Thus SL(2, C), since it is simply connected, is the universal covering group of SO(3;1)+, isomorphic to the group G of above.

Representations of SL(2, C) and sl(2, C)[edit]

The complex linear representations of sl(2, C) and SL(2, C) are more straightforward to obtain than the SO(3;1)+ representations. If πμ is a representation of su(2) with highest weight μ, then the complexification of πμ is a complex linear representation of sl(2, C). All complex linear representation of sl(2, C) are of this form. The holomorphic group representations (meaning the corresponding Lie algebra representation is complex linear) are obtained by exponentiation. By simple connectedness of SL(2, C), this always yields a representation of the group as opposed to in the SO(3;1)+ case. The real linear representations of sl(2, C) are exactly the (μ, ν)-representations presented earlier. They can be exponentiated too. The (μ, 0)-representations are complex linear and are (isomorphic to) the highest weight-representations. These are usually indexed with only one integer.

It is also possible to obtain representations of SL(2, C) directly. This will be done below. Then, using the unitarian trick, going the other way, one finds sl(2, C)-,SU(2)-,su(2)-,SL(2, R)-, and sl(2, R)-representations as well as so(3, 1)-representations (via (A1)) and, possibly projective, SO(3, 1)+-representations (via projection from SL(2, C), see below, or exponentiation).

The mathematics convention is used in this section for convenience. Lie algebra elements differ by a factor of i and there is no factor of i in the exponential mapping compared to the physics convention used elsewhere. Let the basis of sl(2, C) be


H = \bigl(\begin{smallmatrix} 1&0\\ 0&-1\\ \end{smallmatrix}\bigr), \quad 
X = \bigl(\begin{smallmatrix} 0&1\\ 0&0\\ \end{smallmatrix}\bigr), \quad
Y = \bigl(\begin{smallmatrix} 0&0\\ 1&0\\ \end{smallmatrix}\bigr).
[47]

 

 

 

 

(S1)

This choice of basis, and the notation, is standard in the mathematical literature.

Concrete realization[edit]

The irreducible holomorphic (n + 1)-dimensional representations of SL(2, C), n ≥ 0, can be realized on a set of functions 2n = {P:C2C} where each P ∈ ℙ2n is a homogeneous polynomial of degree n in 2 variables.[47][48] The elements of 2n appears as P(z1z2) = cnz1n + cn−1z1n−1z2 + ... + cnz2n. The action of SL(2, C) is given by

[\Phi_n(g)]P(z) = \biggl[\Phi\biggl(\begin{matrix} a&b\\ c&d\\ \end{matrix}\biggr)P\biggr] \biggl(\begin{matrix} z_1\\ z_2\\ \end{matrix}\biggr) = 
P\biggl( \biggl(\begin{matrix} a&b\\ c&d\\ \end{matrix}\biggr)^{-1} \biggl(\begin{matrix} z_1\\ z_2\\ \end{matrix}\biggr) \biggr), \quad P \in \mathbb{P}^2_n.[49][50]

 

 

 

 

(S2)

The associated sl(2, C)-action is, using (G6) and the definition above, given by

\phi_n(X) = \frac{d}{dt}\Phi(e^tX)|_{t = 0} \Rightarrow \phi_n(X)P(z) = \frac{d}{dt}P(e^{-tX}z)|_{t = 0},\quad z = \biggl(\begin{matrix} z_1\\ z_2\\ \end{matrix}\biggr).[51]

 

 

 

 

(S3)

Defining z(t) = e-tXz = (z1(t), z2(t))T and using the chain rule one finds

\phi_n(X)P = \frac{\partial P}{\partial z_1}\frac{dz_1}{dt}|_{t = 0} + \frac{\partial P}{\partial z_2}\frac{dz_2}{dt}|_{t = 0} =
-\frac{\partial P}{\partial z_1}(X_{11}z_1 + X_{12}z_2) - \frac{\partial P}{\partial z_2}(X_{21}z_1 + X_{22}z_2).[52]

 

 

 

 

(S4)

The basis elements of sl(2, C) are then represented by

\phi_n(H) = -z_1\frac{\partial}{\partial z_1} + z_2\frac{\partial}{\partial z_2}, \quad \phi_n(X) = -z_2\frac{\partial}{\partial z_1}, \quad \phi_n(Y) = -z_1\frac{\partial}{\partial z_2}.[53]

 

 

 

 

(S5)

on the space P ∈ ℙ2n (all n). By employing the unitarian trick one obtains representations for SU(2), su(2), SL(2, R, and sl(2, R), all are obtained by restriction of either (S2) or (S4). They are formally identical to (S2) or (S4). With a choice of basis for P ∈ ℙ2n, all these representations become matrix groups or matrix Lie algebras.

The (μ, ν)-representations are realized on a space of polynomials 2μν in z1, z1, z2, z2, homogeneous of degree μ in z1, z2 and homogeneous of degree ν in z1, z2.[48] The representations are given by

[\Phi_{\mu,\nu}(g)]P(z) = \biggl[\Phi\biggl(\begin{matrix} a&b\\ c&d\\ \end{matrix}\biggr)P\biggr] \biggl(\begin{matrix} z_1\\ z_2\\ \end{matrix}\biggr) = 
P\biggl( \biggl(\begin{matrix} a&b\\ c&d\\ \end{matrix}\biggr)^{-1} \biggl(\begin{matrix} z_1\\ z_2\\ \end{matrix}\biggr) \biggr), \quad P \in \mathbb{P}^2_{\mu,\nu}.[54]

 

 

 

 

(S6)

By carrying out the same steps as above, one finds

\phi_{\mu,\nu}(X)P  = -\frac{\partial P}{\partial z_1}(X_{11}z_1 + X_{12}z_2) - \frac{\partial P}{\partial z_2}(X_{21}z_1 + X_{22}z_2)
-\frac{\partial P}{\partial \overline{z_1}}(\overline{X_{11}}\overline{z_1} + \overline{X_{12}}\overline{z_2})
-\frac{\partial P}{\partial \overline{z_2}}(\overline{X_{21}}\overline{z_1} + \overline{X_{22}}\overline{z_2}), \quad X \in \mathfrak{sl}(2, \mathbb{C}),

 

 

 

 

(S7)

from which the expressions

\phi_{\mu,\nu}(H) = -z_1\frac{\partial}{\partial z_1} + z_2\frac{\partial}{\partial z_2}
-\overline{z_1}\frac{\partial}{\partial \overline{z_1}} + \overline{z_2}\frac{\partial}{\partial \overline{z_2}}, \quad
\phi_{\mu,\nu}(X) = -z_2\frac{\partial}{\partial z_1} - \overline{z_2}\frac{\partial}{\partial \overline{z_1}}, \quad
\phi_{\mu,\nu}(Y) = -z_1\frac{\partial}{\partial z_2} - \overline{z_1}\frac{\partial}{\partial \overline{z_2}}

 

 

 

 

(S8)

for the basis elements follow.

Non-surjectiveness of exponential mapping[edit]
This diagram shows the web of maps discussed in the text. Here V is a finite-dimensional vector space carrying representations of sl(2, C), so(3, 1), SL(2, C), SO(3, 1)+, exp is the exponential mapping, p is the covering map from SL(2, C) onto SO(3, 1)+ and σ is the Lie algebra isomorphism induced by it. The maps Π, π and the two Φ are representations. the picture is only partially true when Π is projective.

Unlike in the case exp: so(3, 1) → SO(3;1)+, the exponential mapping exp: sl(2, C) → SL(2, C) is not onto.[55] The conjugacy classes of SL(2, C) are represented by the matrices

a(\alpha) = \bigl(\begin{smallmatrix} \alpha&0\\ 0&\alpha^{-1}\\ \end{smallmatrix}\bigr) = 
e^{\operatorname{log}(\alpha)H},\alpha \neq 0, \quad
p = \bigl(\begin{smallmatrix} 1&1\\ 0&1\\ \end{smallmatrix}\bigr) = e^X, \quad 
q = \bigl(\begin{smallmatrix} -1&1\\ 0&-1\\ \end{smallmatrix}\bigr),[56]

 

 

 

 

(S6)

but there is no element Q in sl(2, C) such that q = exp(Q).[nb 9]

In general, if g is an element of a connected Lie group G with Lie algebra g, then

g = e^{X_1}e^{X_2}\cdots e^{X_n}, \quad X_i \in \mathfrak{g}, 1 \leq i \leq n.[57]

 

 

 

 

(S7)

This follows from the compactness of a path from the identity to g and the one-to-one nature of exp near the identity. In the case of the matrix q, one may write

e^{-X}e^{i\pi H} = e^{\bigl(\begin{smallmatrix} 0&-1\\ 0&0\\ \end{smallmatrix}\bigr)}e^{i\pi\bigl(\begin{smallmatrix} 1&0\\ 0&-1\\ \end{smallmatrix}\bigr)} 
= \bigl(\begin{smallmatrix} 1&-1\\ 0&1\\ \end{smallmatrix}\bigr)\bigl(\begin{smallmatrix} -1&0\\ 0&-1\\ \end{smallmatrix}\bigr) = 
\bigl(\begin{smallmatrix} -1&1\\ 0&-1\\ \end{smallmatrix}\bigr) = q.

 

 

 

 

(S8)

The kernel of the covering map p:SL(2, C) → SO(3, 1)+ of above is N = {I, −I}, a normal subgroup of SL(2, C)+. The composition p ∘ exp: sl(2, C) → SO(3, 1) is onto. If a matrix a is not in the image of exp, then there is a matrix b equivalent to it with respect to p, meaning p(b) = p(a), that is in the image of exp. The condition for equivalence is a-1bN.[58] In the case of the matrix q, one may solve for p in the equation p-1q = -IN. One finds

p = \bigl(\begin{smallmatrix} 1&-1\\ 0&1\\ \end{smallmatrix}\bigr) = e^{-X}, \quad 
p^{-1}q = \bigl(\begin{smallmatrix} 1&1\\ 0&1\\ \end{smallmatrix}\bigr)\bigl(\begin{smallmatrix} -1&1\\ 0&-1\\ \end{smallmatrix}\bigr) = 
\bigl(\begin{smallmatrix} -1&0\\ 0&-1\\ \end{smallmatrix}\bigr) = -I.

 

 

 

 

(S9)

As a corollary, since the covering map p is a homomorphism,the mapping version of the Lie correspondence (G6) can be used to provide a proof of the surjectiveness of exp for so(3, 1). Let σ denote the isomorphism between sl(2, C) and so(3, 1). Refer to the commutative diagram. One has p ∘ exp: sl(2, C) → SO(3, 1) = exp ∘ σ for all Xsl(2, C). Since p ∘ exp is onto, exp ∘ σ is onto, and hence exp: so(3, 1) → SO(3, 1)+ is onto as well.

SO(3, 1)+-representations from SL(2, C)-representations[edit]

By the first isomorphism theorem, a representation (Φ, V) of SL(2, C) descends to a representation (Π, V) of SO(3;1)+ if and only if ker p ⊂ ker Φ. Refer to the commutative diagram. If this condition holds, then both elements in the fiber p−1(g), g ∈ SO(3;1)+ will be mapped by Φ to the same representative, and the expression Φ(p−1(g)) makes sense. One may thus define Π: SO(3;1)+ → GL(V), Π(g) = Φ(p−1(g)). In particular, if Π is faithful, i.e. having kernel = I, then there is no corresponding proper representation of SO(3;1)+, but there is a projective one as was shown in a previous section, corresponding to the two possible choices of representative in each fiber p−1(g).

Lie algebra representations of so(3, 1) are obtained from sl(2, C)-representations simply by composition with σ-1.

SL(2, C)-representations from SO(3, 1)+-representations[edit]

SL(2, C)-representations can be obtained from non-projective SO(3, 1)+-representations by composition with the projection map p. These are always representations since they are compositions of group homomorphisms. Such a representation is never faithful because Ker p = {I, −I}. If the SO(3, 1)+-representation is projective, then the resulting SL(2, C)-representation would be projective as well. Instead, the isomorphism σ:so(3, 1) → sl(3, C) can be employed, composed with exp:sl(2, C) → SL(2, C). This is always a non-projective representation.

Properties of the (m, n) representations[edit]

The (m, n) representations are (2m + 1)(2n + 1)-dimensional,[59] irreducible, and they are the only irreducible representations.[27]

  • Irreducibility follows from the unitarian trick[26] and that a representation Π of SU(2) × SU(2) is irreducible if and only if Π = Πμ ⊗ Πν,[nb 10] where Πμ, Πν are irreducible representations of SU(2).
  • Uniqueness follows from that the Πm are the only irreducible representations of SU(2), which is one of the conclusions of the theorem of the highest weight.[60]
  • The dimensionality follows from the Weyl dimension formula. For a Lie algebra g it reads

\operatorname{dim}\pi_\mu = \frac{\Pi_{\alpha \in R^+} \langle\alpha, \mu + \delta \rangle}{\Pi_{\alpha \in R^+} \langle\alpha, \delta \rangle},[61]

where R+ is the set of positive roots and δ is half the sum of the positive roots. The inner product <⋅,⋅> is that of the Lie algebra g, invariant under the action of the Weyl group on hg, the Cartan subalgebra. The roots (really elements of h*) are via this inner product identified with elements of h. For sl(2, C), the formula reduces to dim πμ = μ + 1 = 2m + 1.[62] By taking tensor products, the result follows. A quicker approach is, of course, to simply count the dimensions in any concrete realization, such as the one given in Representations of SL(2, C) and sl(2,  C).

Faithfulness[edit]

If a representation Π of a Lie group G is not faithful, then N = ker Π is a nontrivial normal subgroup because Π(n) = I ⇒ Π(gng−1) = Π(g)Π(n)Π(g)−1 = Π(g)Π(g)−1 = I. There are three relevant cases.

  1. N is non-discrete and abelian.
  2. N is non-discrete and non-abelian.
  3. N is discrete. In this case NZ, where Z is the center of G.[nb 11]

In the case of SO(3, 1)+, the first case is excluded since SO(3, 1)+ is semi-simple.[nb 12] The second case (and the first case) is excluded because SO(3, 1)+ is simple.[nb 13] For the third case, SO(3, 1)+ is isomorphic to the quotient SL(2, C)/{I, −I}. But {I, −I} is the center of SL(2, C). It follows that the center of SO(3, 1)+ is trivial, and this excludes the third case. The conclusion is that every representation Π:SO(3, 1)+ → GL(V) and every projective representation Π:SO(3, 1)+ → PGL(W) for V, W finite-dimensional vector spaces are faithful.

By using the fundamental Lie correspondence, the statements and the reasoning above translate directly to Lie algebras with (abelian) nontrivial non-discrete normal subgroups replaced by (one-dimensional) nontrivial ideals in the Lie algebra,[63] and the center of SO(3, 1)+ replaced by the center of sl(3, 1)+. The center of any semisimple Lie algebra is trivial[64] and so(3, 1) is semi-simple and simple, and hence has no non-trivial ideals.

Non-unitarity[edit]

The (m, n) Lie algebra representation is not Hermitian. Accordingly, the corresponding (projective) representation of the group is never unitary. This is due to the non-compactness of the Lorentz group. A connected simple non-compact Lie group cannot have any nontrivial finite-dimensional irreducible representations.[65] There is a topological proof of this.[66] Let U:G → GL(V), where V is finite-dimensional, be a continuous unitary representation of the non-compact connected simple Lie group G. Then U(G) ⊂ U(V) ⊂ GL(V) where U(V) is the compact subgroup of GL(V) consisting of unitary transformations of v). The kernel, ker U, of U is a normal subgroup of G. Since G is simple, ker U is either all of G, in which case U is trivial, or ker U is trivial, in which case U is faithful. In the latter case U is a diffeomorphism onto its image,[67] U(G) ≈ G., and U(G) is Lie group. This would mean that U(G) is an embedded non-compact Lie subgroup of the compact group U(V). This is impossible with the subspace topology on U(G) ⊂ U(V) since all embedded Lie subgroups of a Lie group are closed[68] If U(G) were closed, it would be compact,[nb 14] and the G would be compact,[nb 15] contrary to assumption.

In the case of the Lorentz group, this can also be seen directly from the definitions. The representations of A and B used in the construction are Hermitian. This means that J is Hermitian, but K is anti-Hermitian.[28] The non-unitarity is not a problem in quantum field theory, since the objects of concern are not required to have a Lorentz-invariant positive definite norm.[28]

Restriction to SO(3)[edit]

The (m, n) representation is, however, unitary when restricted to the rotation subgroup SO(3), but these representations are not irreducible as representations of SO(3). A Clebsch–Gordan decomposition can be applied showing that an (m, n) representation have SO(3)-invariant subspaces of highest weight (spin) m + n, m + n − 1, … , | mn |,[28] where each possible highest weight (spin) occurs exactly once. A weight subspace of highest weight (spin) j is (2j + 1)-dimensional. So for example, the (1/2, 1/2) representation has spin 1 and spin 0 subspaces of dimension 3 and 1 respectively.

Since the angular momentum operator is given by J = A + B, the highest spin in quantum mechanics of the rotation sub-representation will be (m + n)ℏ and the "usual" rules of addition of angular momenta and the formalism of 3-j symbols, 6-j symbols, etc. applies.[69]

Spinors[edit]

It is the SO(3)-invariant subspaces subspaces of the irreducible representations that determine whether a representation has spin. From the above paragraph, it is seen that the (m, n) representation has spin if m + n is half-integral. The simplest are ( 1/2, 0) and (0,  1/2), the Weyl-spinors of dimension 2. Then, for example, (0,  3/2) and (1,  1/2) are a spin representations of dimensions 23/2 + 1 = 4 and (2 + 1)(21/2 + 1) = 6 respectively. Note that, according to the above paragraph, there are subspaces with spin both 3/2 and 1/2 in the last two cases, so these representations cannot likely represent a single physical particle which must be well-behaved under SO(3).

Construction of pure spin n/2 representations for any n (under SO(3)) from the irreducible representations involves taking tensor products of the Dirac-representation with a non-spin representation, extraction of a suitable subspace, and finally imposing differential constraints.[70]

Dual representations[edit]

The root system A1 × A1 of sl(2, C) ⊕ sl(2, C).

To see if the dual representation of an irreducible representation is equivalent to the original representation one can consider the following theorems:

  1. The set of weights of the dual representation of an irreducible representation of a semisimple Lie algebra is, including multiplicities, the negative of the set of weights for the original representation.[71]
  2. Two irreducible representations are equivalent if and only if they have the same highest weight.[nb 16]
  3. For each semisimple Lie algebra there exists a unique element w0 of the Weyl group such that if μ is a dominant integral weight, then w0 ⋅ (−μ) is again a dominant integral weight.[72]
  4. If πμ0 is an irreducible representation with highest weight μ0, then π*μ0 has highest weight w0 ⋅ (−μ).[73]

Here, the elements of the Weyl group are considered as orthogonal transformations, acting by matrix multiplication, on the real vector space of roots. One sees that if I is an element of the Weyl group of a semisimple Lie algebra, then w0 = −I. In the case of sl(2, C), the Weyl group is W = {I, −I}.[74] It follows that each πμ, μ = 0, 1, … is equivalent to its dual πμ*. The root system of sl(2, C) ⊕ sl(2, C) is shown in the figure to the right.[nb 17] The Weyl group is generated by {wγ} where wγ is reflection in the plane orthogonal to γ as γ ranges over all roots.[nb 18] One sees that wα ⋅wβ = −I so IW. Then using the fact that if π, σ are Lie algebra representations and π ≈ σ, then Π ≈ Σ.[75] The conclusion for SO(3, 1)+ is

\pi_{m, n}^{*} \cong \pi_{m, n}, \quad \Pi_{m, n}^{*} \cong \Pi_{m, n}, \quad 2m, 2n \in \mathbb{N}.

Complex conjugate representations[edit]

If π is a representation of a Lie algebra, then π is a representation, where the bar denotes entry-wise complex conjugation in the representative matrices. This follows from that complex conjugation commutes with addition and multiplication.[76] In general, every irreducible representation π of sl(n, C) can be written uniquely as π = π+ + π, where

\pi^{\pm}(X) = \frac{1}{2}(\pi(X) \pm i\pi(i^{-1}X)),[77]

with π+ holomorphic (complex linear) and π anti-holomorphic (conjugate linear). For sl(2, C), since πμ is holomorphic, πμ is anti-holomorphic. Direct examination of the explicit expressions for πμ, 0 and π0, ν in equation (S8) below shows that they are holomorphic and anti-holomorphic respectively. Closer examination of the expression (S8) also allows for identification of π+ and π for πμ, ν as π+μ, ν = πμν + 1 and πμ, ν = πνμ + 1.

Using the above identities (interpreted as pointwise addition of functions), for SO(3, 1)+ yields

\overline{\pi_{m, n}} = \overline{\pi_{m, n}^+ + \pi_{m, n}^-} = 
\overline{\pi_m^{\oplus_{2n + 1}}} + \overline{\overline{\pi_n}^{\oplus_{2m + 1}}} = 
\pi_n^{\oplus_{2m + 1}} + \overline{\pi_m}^{\oplus_{2n + 1}} = \pi_{n, m}^+ + \pi_{n, m}^- = 
\pi_{n, m}, \quad \overline{\Pi_{m, n}} = \Pi_{n, m}, \quad 2m, 2n \in \mathbb{N},

where the statement for the group representations follow from exp(X) = exp(X). It follows that the irreducible representations (m, n) have real matrix representatives if and only if m = n. Reducible representations on the form (m, n) ⊕ (n, m) have real matrices too.

Induced representations[edit]

Richard Brauer and wife Ilse 1970. Brauer generalized the spin representations of Lie algebras sitting inside Clifford algebras to spin higher than 1/2. Photo courtesy of MFO.

In general representation theory, if (π, V) is a representation of a Lie algebra g, then there is an associated representation of g on EndV, also denoted π, given by

\pi(X)(A) = [\pi(X),A], \quad A\in \operatorname{End}V,\ X\in\mathfrak{g}.

 

 

 

 

(I1)

Likewise, a representation (Π, V) of a group G yields a representation Π on End  V of G, still denoted Π, given by

\Pi(g)(A) = \Pi(g)A\Pi(g)^{-1}, \quad A\in \operatorname{End}V,\ g\in G.[78]

 

 

 

 

(I2)

Applying this to the Lorentz group, if (Π, V) is a projective representation, then direct calculation using (G4) shows that the induced representation on End V is, in fact, a proper representation, i.e. a representation without phase factors.

In quantum mechanics this means that if (π, H) or (Π, H) is a representation acting on some Hilbert space H, then the corresponding induced representation acts on the set of linear operators on H. As an example, the induced representation of the projective spin (1/2, 0) ⊕ (0, 1/2) representation on End(H) is the non-projective 4-vector (1/2, 1/2) representation.[28]

For simplicity, consider now only the "discrete part" of End H, that is, given a basis for H, the set of constant matrices of various dimension, including possibly infinite dimensions. A general element of the full End H is the sum of tensor products of a matrix from the simplified End H and an operator from the left out part. The left out part consists of functions of spacetime, differential and integral operators and the like. See Dirac operator for an illustrative example. Also left out are operators corresponding to other degrees of freedom not related to spacetime, such as gauge degrees of freedom in gauge theories.

The induced 4-vector representation of above on this simplified End H has an invariant 4-dimensional subspace that is spanned by the four gamma matrices.[28] (Note the different metric convention in the linked article.) In a corresponding way, the complete Clifford algebra of spacetime, Cℓ3,1(R), whose complexification is M4(C), generated by the gamma matrices decomposes as a direct sum of representation spaces of a scalar irreducible representation (irrep), the (0, 0), a pseudoscalar irrep, also the (0, 0), but with parity inversion eigenvalue −1, see the next section below, the already mentioned vector irrep, (1/2, ,1/2), a pseudovector irrep, (1/2, 1/2) with parity inversion eigenvalue +1 (not −1), and a tensor irrep, (1, 0) ⊕ (0, 1).[28] The dimensions add up to 1 + 1 + 4 + 4 + 6 = 16. In other words,

Cl_{3,1}(\mathbb{R}) = (0,0) \oplus (\frac{1}{2}, \frac{1}{2}) \oplus [(1, 0) \oplus (0, 1)] \oplus (\frac{1}{2}, \frac{1}{2})_p \oplus (0, 0)_p,

 

 

 

 

(I3)

where, as is customary, a representation is confused with its representation space. This is, in fact, a reasonably convenient way to show that the algebra spanned by the gammas is 16-dimensional.[79]

The six-dimensional representation space of the tensor (1, 0) ⊕ (0, 1)-representation inside Cℓ3,1(R) has two roles. In particular, letting

\sigma^{\mu\nu} = -\frac{i}{4}[\gamma^\mu, \gamma^\nu],[80]

 

 

 

 

(I4)

where μ ∈ Cℓ3,1(R): μ = 0,1,2,3} are the gamma matrices, the μν ∈ Cℓ3,1(R)} , only 6 of which are non-zero due to antisymmetry of the bracket, span the tensor representation space. Moreover, they have the commutation relations of the Lorentz Lie algebra,

[\sigma^{\mu\nu},\sigma^{\rho\tau}] = i(\eta^{\tau\mu}\sigma^{\rho\nu} + \eta^{\nu\tau}\sigma^{\mu\rho} - \eta^{\rho\mu}\sigma^{\tau\nu} -\eta^{\nu\rho}\sigma^{\mu\tau}),[79]

 

 

 

 

(I5)

and hence constitute a representation (in addition to being a representation space) sitting inside Cℓ3,1(R), the (1/2, 0) ⊕ (0, 1/2) spin representation. For details, see bispinor and Dirac algebra.

The conclusion is that every element of the complexified Cℓ3,1(R) in End H (i.e. every complex 4×4 matrix) has well defined Lorentz transformation properties. In addition, it has a spin-representation of the Lorentz Lie algebra, which upon exponentiation becomes a spin representation of the group, acting on C4, making it a space of bispinors.

There is also a multitude of other representations that can be said being "induced" by the irreducible ones, such as those obtained in a standard manner by taking direct sums, tensor products, dual representations, quotients, etc. of the irreducible representations. These are not discussed here.

The full Lorentz group[edit]

The (possibly projective) (m, n) representation is irreducible as a representation SO(3,1)+, the identity component of the Lorentz group, in physics terminology the proper orthochronous Lorentz group. If m = n it can be extended to a representation of all of O(3,1), the full Lorentz group, including space parity inversion and time reversal.[28]

Space parity inversion[edit]

For space parity inversion, one considers the adjoint action AdP of P ∈ O(3,1) on so(3, 1), where P is the standard representative of space parity inversion, P = diag(1, −1, −1, −1), given by

\mathrm{Ad}_P(J_i) = PJ_iP^{-1} = J_i, \qquad \mathrm{Ad}_P(K_i) = PK_iP^{-1} = -K_i.

 

 

 

 

(F1)

It is these properties of K and J under P that motivate the terms vector for K and pseudovector or axial vector for J. In a similar way, if π is any representation of so(3, 1) and Π is its associated group representation, then Π(SO(3,1)+) acts on the representation of π by the adjoint action, π(X) ↦ Π(g) π(X) Π(g)−1 for Xso(3;1), g ∈ SO(3, 1)+. If P is to be included in Π, then consistency with (F1) requires that

\Pi(P)\pi(B_i)\Pi(P)^{-1} = \pi(A_i)

 

 

 

 

(F2)

holds, where A and B are defined as in the first section. This can hold only if Ai and Bi have the same dimensions, i.e. only if m = n. When mn then (m, n) ⊕ (n, m) can be extended to an irreducible representation of O+(3;1), the orthocronous Lorentz group. The parity reversal representative Π(P) does not come automatically with the general construction of the (m, n) representations. It must be specified separately. The matrix β = iγ0 (or a multiple of modulus −1 times it) may be used in the (1/2, 0) ⊕ (0, 1/2)[28] representation. If parity is included with a minus sign in the (0,0) representation, it is called a pseudoscalar representation.

Time reversal[edit]

Time reversal T = diag(−1, 1, 1, 1), acts similarly on so(3, 1) by

\mathrm{Ad}_T(J_i) = TJ_iT^{-1} = -J_i,  \qquad \mathrm{Ad}_T(K_i) = TK_iT^{-1} = K_i.[81]

 

 

 

 

(F3)

By explicitly including a representative for T, as well as one for P, one obtains a representation of the full Lorentz group O(3, 1). A subtle problem appears however in application to physics, in particular quantum mechanics. When considering the full Poincaré group, four more generators, the Pμ, in addition to the Ji and Ki generate the group. These are interpreted as generators of translations. The time-component P0 is the Hamiltonian H. The operator T satisfies the relation

\mathrm{Ad}_{T}(iH) = TiHT^{-1} = -iH[82]

 

 

 

 

(F4)

in analogy to the relations above with so(3, 1) replaced by the full Poincaré algebra. By just cancelling the i's, the result THT−1 = −H would imply that for every state Ψ with positive energy E in a Hilbert space of quantum states with time-reversal invariance, there would be a state Π(T−1 with negative energy E. Such states do not exist. The operator Π(T) is therefore chosen antilinear and antiunitary, so that it anticommutes with i, resulting in THT−1 = +H, and its action on Hilbert space likewise becomes antilinear and antiunitary.[83] It may be expressed as the composition of complex conjugation with multiplication by a unitary matrix.[84][85] This is mathematically sound, see Wigner's theorem, but if one is very strict with terminology, Π is not a representation.

When constructing theories such as QED which is invariant under space parity and time reversal, Dirac spinors may be used, while theories that do not, such as the electroweak force, must be formulated in terms of Weyl spinors. The Dirac representation, (1/2, 0) ⊕ (0, 1/2), is usually taken to include both space parity and time inversions. Without space parity inversion, it is not an irreducible representation.

The third discrete symmetry entering in the CPT theorem along with P and T, charge conjugation symmetry C, has nothing directly to do with Lorentz invariance.[86]

Infinite-dimensional representations[edit]

History[edit]

The Lorentz group SO(3,1)+ and its double cover SL(2, C) also have infinite dimensional unitary representations, first studied independently by Bargmann (1947), Gelfand & Naimark (1947) and Harish-Chandra (1947) at the instigation of Paul Dirac. This trail of development begun with Dirac (1936) where he devised matrices U and B necessary for description of higher spin (compare Dirac matrices), elaborated upon by Fierz (1939), see also Fierz & Pauli (1939), and proposed precursors of the Bargmann-Wigner equations. In Dirac (1945) he proposed a concrete infinite-dimensional representation space whose elements were called expansors as a generalization of tensors. These ideas were incorporated by Harish–Chandra and expanded with expinors as an infinite-dimensional generalization of spinors in his 1947 paper.

The Plancherel formula for these groups was first obtained by Gelfand and Naimark through involved calculations. The treatment was subsequently considerably simplified by Harish-Chandra (1951) and Gelfand & Graev (1953), based on an analogue for SL(2, C) of the integration formula of Hermann Weyl for compact Lie groups. Elementary accounts of this approach can be found in Rühl (1970) and Knapp (2001).

The theory of spherical functions for the Lorentz group, required for harmonic analysis on the 3-dimensional unit quasi-sphere in Minkowski space, or equivalently 3-dimensional hyperbolic space, is considerably easier than the general theory. It only involves representations from the spherical principal series and can be treated directly, because in radial coordinates the Laplacian on the hyperboloid is equivalent to the Laplacian on R. This theory is discussed in Takahashi (1963), Helgason (1968), Helgason (2000) and the posthumous text of Jorgenson & Lang (2008).

Action on function spaces[edit]

In the classification of the irreducible finite-dimensional representations of above it was never specified precisely how a representative of a group or Lie algebra element acts on vectors in the representation space. The action can be anything as long as it is linear. The point silently adopted was that after a choice of basis in the representation space, everything becomes matrices anyway.

If V is a vector space of functions of a finite number of variables n, then the action on a scalar function fV given by

(\Pi(g)f)(x) = f(\Pi_x(g)^{-1}x),\qquad x \in \mathbb{R}^n, f \in V

 

 

 

 

(H1)

produces another function ΠfV. Here Πx is an n-dimensional representation, and Π is a possibly infinite-dimensional representation. A special case of this construction is when V is a space of functions defined on the group G itself, viewed as a n-dimensional manifold embedded in Rn.[87] This is the setting in which the Peter–Weyl theorem and the Borel–Weil theorem are formulated. The former demonstrates the existence of a Fourier decomposition of functions on a compact group into characters of finite-dimensional representations.[27] The completeness of the characters in this sense can thus be used to prove the existence of the highest weight representations.[22] The latter theorem, providing more explicit representations, makes use of the unitarian trick to yield representations of complex non-compact groups, e.g. SL(2, C); in the present case, there is a one-to-one correspondence between representations of SU(2) and holomorphic representations of SL(2, C). (A group representation is called holomorphic if its corresponding Lie algebra representation is complex linear.) This theorem too can be used to demonstrate the existence of the highest weight representations.[22]

Euclidean rotations[edit]

The subgroup SO(3) of three-dimensional Euclidean rotations has an infinite-dimensional representation on the Hilbert space L2(S2) = span{Ym, N+, −m }, where the Ym are spherical harmonics. Its elements are square integrable complex-valued functions[nb 19] on the sphere. The inner product on this space is given by

\langle f,g\rangle = \int_{\mathbb{S}^2}\overline{f}gd\Omega = \int_0^{2\pi}\int_0^{\pi}\overline{f}g \sin\theta d\theta d\varphi.

 

 

 

 

(H1)

If f is an arbitrary square integrable function defined on the unit sphere S2, then it can be expressed as[88]

|f\rangle = \sum_{l = 1}^\infty\sum_{m = -l}^{m = l} |Y_m^l\rangle\langle Y_m^l|f\rangle, \quad f(\theta, \varphi) = \sum_{l = 1}^\infty\sum_{m = -l}^{m = l}f_{lm}Y^l_m(\theta, \varphi),

 

 

 

 

(H2)

where the expansion coefficients are given by

f_{lm} = \langle Y_m^l, f \rangle = \int_{\mathbb{S}^2}\overline{{Y^l_m}}fd\Omega = \int_0^{2\pi}\int_0^\pi \overline{{Y_m^l}}(\theta, \varphi)f(\theta, \varphi)\sin \theta d\theta d\varphi.

 

 

 

 

(H3)

The Lorentz group action restricts to that of SO(3) and is expressed as

(\Pi(R)f)(\theta(x), \varphi(x)) = \sum_{l = 1}^\infty\sum_{m = -l}^{m = l}\sum_{m' = -l}^{m' = l}D^{(l)}_{mm'}(R)f_{lm'}Y^l_m(\theta(R^{-1}x), \varphi(R^{-1}x)), \qquad R \in \mathrm{SO}(3), \quad x \in \mathbb{S}^2.

 

 

 

 

(H4)

This action is unitary, meaning that

\langle \Pi(R)f,\Pi(R)g\rangle = \langle f,g\rangle \qquad \forall f,g \in \mathbb{S}^2, \quad\forall R \in \mathrm{SO}(3).

 

 

 

 

(H5)

The D() can be obtained from the D(m, n) of above using Clebsch–Gordan decomposition, but they are more easily directly expressed as an exponential of an odd-dimensional su(2)-representation (the 3-dimensional one is exactly so(3)).[89][90] In this case the space L2(S2) decomposes neatly into an infinite direct sum of irreducible odd finite-dimensional representations V2i + 1, i = 0, 1, … according to

L^2(\mathbb{S}^2) = \sum_{i = 0}^{\infty} V_{2i + 1} \equiv \bigoplus_{i=0}^\infty \operatorname{span}\{Y_m^{2i+1}\}.[91]

 

 

 

 

(H6)

This is characteristic of infinite-dimensional unitary representations of SO(3). If Π is an infinite-dimensional unitary representation on a separable[nb 20] Hilbert space, then it decomposes as a direct sum of finite-dimensional unitary representations.[88] Such a representation is thus never irreducible. All irreducible finite-dimensional representations (Π, V) can be made unitary by an appropriate choice of inner product,[88]

\langle f, g\rangle_U \equiv \int_{\mathrm{SO}(3)}\langle \Pi(R)f, \Pi(R)g\rangle dg = \frac{1}{8\pi^2}\int_0^{2\pi}\int_0^{\pi}\int_0^{2\pi} \langle \Pi(R)f, \Pi(R)g\rangle \sin \theta d\varphi d\theta d\psi, \quad f,g \in V,

where the integral is the unique invariant integral over SO(3) normalized to 1, here expressed using the Euler angles parametrization. The inner product inside the integral is any inner product on V.

The Möbius group[edit]

The identity component of the Lorentz group is isomorphic to the Möbius group M as is described in detail in Lorentz group. This group can be thought of as conformal mappings of either the complex plane or, via stereographic projection, the Riemann sphere. In this way, the Lorentz group itself can be thought of as acting conformally on the complex plane or on the Riemann sphere. In the plane, a Möbius transformation characterized by the complex numbers a, b, c, d acts on the plane according to

f(z) = \frac{a z + b}{c z + d}, \qquad ad - bc \neq 0.

 

 

 

 

(M1)

and can be represented by complex matrices

\Pi_f = \begin{pmatrix} a & b \\ c & d \end{pmatrix}, \qquad \operatorname{det} \Pi_f = 1.

 

 

 

 

(M2)

These are elements of SL(2, C) and are unique up to a sign and M ≈ SL(2, C)/{I, −I} ≈ SO(3;1)+. The conformal mappings of the Riemann sphere are thoroughly described in Möbius transformations.

The Riemann P-functions[edit]

The Riemann P-functions are an example of a set of functions that transform among themselves under the action of the Lorentz (Möbius) group. The Riemann P-functions are expressed as

w(z)=P  \left\{ \begin{matrix} a & b & c & \; \\ 
\alpha & \beta & \gamma & z \\
\alpha' & \beta' & \gamma' & \;
\end{matrix} \right\} = \left(\frac{z-a}{z-b}\right)^\alpha 
\left(\frac{z-c}{z-b}\right)^\gamma
P \left\{ \begin{matrix} 0 & \infty & 1 & \; \\ 
0 & \alpha+\beta+\gamma & 0 & \;\frac{(z-a)(c-b)}{(z-b)(c-a)} \\
\alpha'-\alpha & \alpha+\beta'+\gamma & \gamma'-\gamma & \;
\end{matrix} \right\}
,

 

 

 

 

(T1)

where the a, b, c, α, β, γ, α′, β′, γ′ are complex constants. The P-function on the right hand side can be expressed using standard hypergeometric functions giving

w(z)=
\left(\frac{z-a}{z-b}\right)^\alpha 
\left(\frac{z-c}{z-b}\right)^\gamma
\;_2F_1 \left(
\alpha+\beta +\gamma, 
\alpha+\beta'+\gamma; 
1+\alpha-\alpha';
\frac{(z-a)(c-b)}{(z-b)(c-a)} \right) 
.

 

 

 

 

(T2)

Now define an action of the Lorentz group on the set of all Riemann P-functions by

u=\frac{Az+B}{Cz+D} 
\quad \text{ and } \quad
\eta=\frac{Aa+B}{Ca+D}

 

 

 

 

(T3)

and

\zeta=\frac{Ab+B}{Cb+D}
\quad \text{ and } \quad
\theta=\frac{Ac+B}{Cc+D},

 

 

 

 

(T4)

where A, B, C, D are the entries in

\pi_{f_\Lambda}^{-1} = \begin{pmatrix} A & B \\ C & D \end{pmatrix},

 

 

 

 

(T5)

where, Λ is a Lorentz transformation and fΛ is the corresponding Möbius transformation, and, finally, ΠfΛ is one of the two possible SL(2, C) matrices corresponding to it, then one has the relation

P  \left\{ \begin{matrix} a & b & c & \; \\ 
\alpha & \beta & \gamma & z \\
\alpha' & \beta' & \gamma' & \;
\end{matrix} \right\}
=P  \left\{ \begin{matrix} 
\eta & \zeta & \theta & \; \\ 
\alpha & \beta & \gamma & u \\
\alpha' & \beta' & \gamma' & \;
\end{matrix} \right\}

 

 

 

 

(T6)

expressing the symmetry. The inverse in T5 is needed to obtain a (local) homomorphism.

Principal series[edit]

The principal series, or unitary principal series, are the unitary representations induced from the one-dimensional representations of the lower triangular subgroup B of G = SL(2, C). Since the one-dimensional representations of B correspond to the representations of the diagonal matrices, with non-zero complex entries z and z−1, they thus have the form

\chi_{\nu,k}\begin{pmatrix}z& 0\\ c& z^{-1}\end{pmatrix}=r^{i\nu} e^{ik\theta},

for k an integer, ν real and with z = re. The representations are irreducible; the only repetitions occur when k is replaced by k. By definition the representations are realized on L2 sections of line bundles on G/B = S2, which is isomorphic to the Riemann sphere. When k = 0, these representations constitute the so-called spherical principal series.

The restriction of a principal series to the maximal compact subgroup K = SU(2) of G can also be realized as an induced representation of K using the identification G / B = K / T, where T = BK is the maximal torus in K consisting of diagonal matrices with | z | = 1. It is the representation induced from the 1-dimensional representation zk T, and is independent of ν. By Frobenius reciprocity, on K they decompose as a direct sum of the irreducible representations of K with dimensions |k| + 2m + 1 with m a non-negative integer.

Using the identification between the Riemann sphere minus a point and C, the principal series can be defined directly on L2(C) by the formula

\pi_{\nu,k}\begin{pmatrix}a& b\\ c& d\end{pmatrix}^{-1}f(z)=|cz+d|^{-2-i\nu} \left({cz+d\over |cz+d|}\right)^{-k}f\left({az+b\over cz+d}\right).[92]

Irreducibility can be checked in a variety of ways:

  • The action of the Lie algebra \mathfrak{g} of G can be computed on the algebraic direct sum of the irreducible subspaces of K can be computed explicitly and the it can be verified directly that the lowest-dimensional subspace generates this direct sum as a \mathfrak{g}-module.[94][95]

Complementary series[edit]

The for 0 < t < 2, the complementary series is defined on L2 functions f on C for the inner product

 (f,g)=\int \int {f(z) \overline{g(w)}\, dz\, dw\over |z-w|^{2-t}}.[96]

with the action given by

\pi_{t}\begin{pmatrix}a& b\\ c& d\end{pmatrix}^{-1}f(z)=|cz+d|^{-2-t} f\left({az+b\over cz+d}\right).[97][98]

The complementary series are irreducible and inequivalent. As a representation of K, each is isomorphic to the Hilbert space direct sum of all the odd dimensional irreducible representations of K = SU(2). Irreducibility can be proved by analyzing the action of \mathfrak{g} on the algebraic sum of these subspaces[94][95] or directly without using the Lie algebra.[99][100]

Plancherel theorem[edit]

Israïl Moiseevich Gelfand and Mark Naimark found the Plancherel formula for the Lorentz group in 1947.

The only irreducible unitary representations of SL(2, C) are the principal series, the complementary series and the trivial representation. Since I acts (−1)k on the principal series and trivially on the remainder, these will give all the irreducible unitary representations of the Lorentz group, provided k is taken to be even.

To decompose the left regular representation of G on L2(G), only the principal series are required. This immediately yields the decomposition on the subrepresentations L2(GI), the left regular representation of the Lorentz group, and L2(G/K), the regular representation on 3-dimensional hyperbolic space. (The former only involves principal series representations with k even and the latter only those with k = 0.)

The left and right regular representation λ and ρ are defined on L2(G) by

\lambda(g)f(x)=f(g^{-1}x),\,\,\rho(g)f(x)=f(xg).

Now if f is an element of Cc(G), the operator πν,k(f) defined by

\pi_{\nu,k}(f)=\int_G f(g)\pi(g)\, dg

is Hilbert–Schmidt. We define a Hilbert space H by

 H=\bigoplus_{k\ge 0} HS(L^2(C)) \otimes L^2(R, c_k(\nu^2 + k^2)^{1/2} d\nu),

where

c_0=1/4\pi^{3/2}, \,\, c_k=1/(2\pi)^{3/2}\,\,(k\ne 0)

and HS(L2(C)) denotes the Hilbert space of Hilbert–Schmidt operators on L2(C).[nb 21] Then the map U defined on Cc(G) by

U(f)(\nu,k) = \pi_{\nu,k}(f)

extends to a unitary of L2(G) onto H.

The map U satisfies

 U(\lambda(x)\rho(y)f)(\nu,k) = \pi_{\nu,k}(x)^{-1} \pi_{\nu,k}(f)\pi_{\nu,k}(y).

If f1, f2 are in Cc(G) then

 (f_1,f_2) = \sum_{k\ge 0} c_k^2 \int_{-\infty}^\infty {\rm Tr}(\pi_{\nu,k}(f_1)\pi_{\nu,k}(f_2)^*) (\nu^2 +k^2) \, d\nu.

Thus if f = f1f2* denotes the convolution of f1 and f2*, and f_2^*(g)=\overline{f_2(g^{-1})}, then

 f(1) = \sum_{k\ge 0} c_k^2 \int_{-\infty}^\infty  {\rm Tr}(\pi_{\nu,k}(f)) (\nu^2+k^2)\, d\nu.

The last two displayed formulas are usually referred to as the Plancherel formula and the Fourier inversion formula respectively. The Plancherel formula extends to all fi in L2(G). By a theorem of Jacques Dixmier and Paul Malliavin, every function f in C^\infty_c(G) is a finite sum of convolutions of similar functions, the inversion formula holds for such f. It can be extended to much wider classes of functions satisfying mild differentiability conditions.[27]

Explicit formulas[edit]

Conventions and Lie algebra bases[edit]

The metric of choice is given by η = diag(−1, 1, 1, 1), and the physics convention for Lie algebras and the exponential mapping is used in this article. These choices are arbitrary, but once they are made, fixed. The rationale is to allow the use of a single reference[28] for several related formulas. One possible choice of basis for the Lie algebra (which is not fixed by the reference) is, in the 4-vector representation, given by

\begin{align}
J_1 &= J^{23} = -J^{32} = i\biggl(\begin{smallmatrix}
0&0&0&0\\ 0&0&0&0\\ 0&0&0&-1\\ 0&0&1&0\\
\end{smallmatrix}\biggr),\\
J_2 &= J^{31} = -J^{13} = i\biggl(\begin{smallmatrix}
0&0&0&0\\ 0&0&0&1\\ 0&0&0&0\\ 0&-1&0&0\\
\end{smallmatrix}\biggr),\\
J_3 &= J^{12} = -J^{21} = i\biggl(\begin{smallmatrix}
0&0&0&0\\ 0&0&-1&0\\ 0&1&0&0\\ 0&0&0&0\\
\end{smallmatrix}\biggr),\\
K_1 &= J^{01} = J^{10} = i\biggl(\begin{smallmatrix}
0&1&0&0\\ 1&0&0&0\\ 0&0&0&0\\ 0&0&0&0\\
\end{smallmatrix}\biggr),\\
K_2 &= J^{02} = J^{20} = i\biggl(\begin{smallmatrix}
0&0&1&0\\ 0&0&0&0\\ 1&0&0&0\\ 0&0&0&0\\
\end{smallmatrix}\biggr),\\
K_3 &= J^{03} = J^{30} = i\biggl(\begin{smallmatrix}
0&0&0&1\\ 0&0&0&0\\ 0&0&0&0\\ 1&0&0&0\\
\end{smallmatrix}\biggr).
\end{align}

The commutation relations of the Lie algebra so(3;1) are

[J^{\mu\nu},J^{\rho\sigma}] = i(\eta^{\sigma\mu}J^{\rho\nu} + \eta^{\nu\sigma}J^{\mu\rho} - \eta^{\rho\mu}J^{\sigma\nu} -\eta^{\nu\rho}J^{\mu\sigma}).[28]

In three-dimensional notation, these are

[J_i,J_j] = i\epsilon_{ijk}J_k, \quad [J_i,K_j] = i\epsilon_{ijk}K_k, \quad [K_i,K_j] = -i\epsilon_{ijk}J_k.[28]

The choice of basis above satisfies the relations, but other choices are possible. The multiple use of the symbol J above and in the sequel should be observed.

Let π(m, n) : so(3;1) → gl(V), where V is a vector space, denote the irreducible representations of so(3;1) according to the (m, n) classification. In components, with ma,a′m, nb,b′n, the representations are given by

\begin{align}
(\pi_{m,n}(J_i))_{a'b' , ab} &= \delta_{b'b}(J_i^{(m)})_{a'a} + \delta_{a'a}(J_i^{(n)})_{b'b},\\
(\pi_{m,n}(K_i))_{a'b' , ab} &= i(\delta_{a'a}(J_i^{(n)})_{b'b} - \delta_{b'b}(J_i^{(m)})_{a'a}),
\end{align}[28]

where δ is the Kronecker delta and the Ji(n) are the (2n + 1)-dimensional irreducible representations of so(3), also termed spin matrices or angular momentum matrices. These are explicitly given by

\begin{align}
(J_3^{(j)})_{a'a} &= a\delta_{a'a},\\
(J_1^{(j)} \pm iJ_2^{(j)})_{a'a} &= \sqrt{(j \mp a)(j \pm a + 1)}\delta_{a',a \pm 1}.
\end{align}[28]

Weyl spinors and bispinors[edit]

P.A.M Dirac put the (1/2, 0) ⊕ (0, 1/2)-representation to use in the Dirac equation.

By taking, in turn, m = 1/2, n = 0 and m = 0, n = 1/2 and by setting

J_i^{(\frac{1}{2})} = \frac{1}{2}\sigma_i

in the general expression (G1), and by using the trivial relations 11 = 1 and J(0) = 0, one obtains

\begin{align}
\pi_{(\frac{1}{2},0)}(J_i) & = \frac{1}{2}(\sigma_i\otimes 1_{(1)} + 1_{(2)}\otimes J^{(0)}_i) = \frac{1}{2}\sigma_i\quad\pi_{(\frac{1}{2},0)}(K_i) = \frac{i}{2}(1_{(2)}\otimes J^{(0)}_i - \sigma_i \otimes 1_{(1)}) = -\frac{i}{2}\sigma_i,\\
\pi_{(0,\frac{1}{2})}(J_i) & = \frac{1}{2}(J^{(0)}_i\otimes 1_{(2)} + 1_{(1)}\otimes \sigma_i) = \frac{1}{2}\sigma_i\quad\pi_{(0,\frac{1}{2})}(K_i) = \frac{i}{2}(1_{(1)}\otimes\sigma_i  - J^{(0)}_i \otimes 1_{(2)}) = +\frac{i}{2}\sigma_i.
\end{align}

 

 

 

 

(W1)

These are the left-handed and right-handed Weyl spinor representations. They act by matrix multiplication on 2-dimensional complex vector spaces (with a choice of basis) VL and VR, whose elements ΨL and ΨR are called left- and right-handed Weyl spinors respectively. Given (π(1/2,0), VL) and (π(0,1/2), VR) one may form their direct sum as representations,

\begin{align}
\pi_{(\frac{1}{2},0) \oplus (0,\frac{1}{2})}(J_i) &= \frac{1}{2}\biggl(\begin{matrix}
\sigma_i&0\\ 0&\sigma_i\\
\end{matrix}\biggr),\\
\pi_{(\frac{1}{2},0) \oplus (0,\frac{1}{2})}(K_i) &= \frac{i}{2}
\biggl(\begin{matrix}
\sigma_i&0\\ 0&-\sigma_i\\
\end{matrix}\biggr)\\
\end{align}.[101]

 

 

 

 

(D1)

This is, up to a similarity transformation, the (1/2,0) ⊕ (0,1/2) Dirac spinor representation of so(3,1). It acts on the 4-component elements L, ΨR) of (VLVR), called bispinors, by matrix multiplication. The representation may be obtained in a more general and basis independent way using Clifford algebras. These expressions for bispinors and Weyl spinors all extend by linearity of Lie algebras and representations to all of so(3,1). Expressions for the group representations are obtained by exponentiation.

See also[edit]

Remarks[edit]

  1. ^ Tensor products of representations, πg ⊗ πh of gh can, when both factors come from the same Lie algebra (h = g), either be thought of as a representation of g or gg.
  2. ^ The "traceless" property can be expressed as Sαβgαβ = 0, or Sαα = 0, or Sαβgαβ = 0 depending on the presentation of the field: covariant, mixed, and contravariant respectively.
  3. ^ This is provided parity is a symmetry. Else there would be two flavors, (3/2, 0) and (0, 3/2) in analogy with neutrinos.
  4. ^ It's a rather deep fact that all finite-dimensional Lie algebras are linear. See Ado's theorem. The corresponding statement for compact Lie groups is true, but not for general Lie groups.
  5. ^ Hall 2003, Equation 2.16. Due to the physicist conventions, the formula here differs with a factor of i in the exponent.
  6. ^ In particular, A commutes with the Pauli matrices, hence with all of SU(2) making Schur's lemma applicable.
  7. ^ The kernel of a Lie algebra homomorphism is an ideal, hence a subspace. Since p is 2:1 and both SL(2, C) and SO(3, 1)+ are 6-dimensional, the kernel must be 0-dimensional, hence {∅}.
  8. ^ The exponential map is one-to-one in a neighborhood if the identity in SL(2, C), hence the composition exp ∘ σ ∘ log:SL(2, C) → SO(3, 1)+, where σ is the Lie algebra isomorphism, is onto an open neighborhood U ⊂ SO(3, 1)+ containing the identity. Such a neighborhood generates the connected component.
  9. ^ Rossmann 2002 From Section 2.1 Example 4: This can be seen as follows. The matrix q has eigenvalues {-1, -1} , but it is not diagonalizable. If q = exp(Q), then Q has eigenvalues λ, −λ with λ = iπ + 2πik for some k because the tracelessness of sl(2, C)-matrices forces them to be negatives of each other. But then Q is diagonalizable, hence q is diagonalizable. This is a contradiction.
  10. ^ Rossmann 2002 Proposition 10, paragraph 6.3. This is a consequence of the Peter-Weyl theorem.
  11. ^ Hall 2003 Any discrete normal subgroup of a path connected group G is contained in the center Z of G. See Exercise 11, Chapter 1.
  12. ^ A semisimple Lie group does not have any non-discrete normal abelian subgroups. This can be taken as the definition of semisimplicity.
  13. ^ A simple group does not have any non-discrete normal subgroups.
  14. ^ Lee 2003 Lemma A.17 (c). Closed subsets of compact sets are compact.
  15. ^ Lee 2003 Lemma A.17 (a). If f:XY is continuous, X is compact, then f(X) is compact.
  16. ^ This is one of the conclusions of Cartan's theorem, the theorem of the highest weight. See Hall (2003) Chapter 6.
  17. ^ Hall 2003 The root system is the union of two copies of A1, where each copy resides in its own dimensions in the embedding vector space.
  18. ^ Rossmann 2003 This definition is equivalent to the definition in terms of the connected Lie group whose Lie algebra is the Lie algebra of the root system under consideration.
  19. ^ The elements of L2(S2) are actually equivalence classes of functions. two functions are declared equivalent if they differ merely on a set of measure zero. The integral is the Lebesgue integral in order to obtain a complete inner product space.
  20. ^ A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.
  21. ^ Note that for a Hilbert space H, HS(H) may be identified canonically with the Hilbert space tensor product of H and its conjugate space.

Notes[edit]

  1. ^ a b Greiner 1996
  2. ^ These facts can be found in most elementary mathematics texts, and many physics texts. See e.g. Rossmann (2002), Hall (2003)
  3. ^ See e.g. Hall (2003)
  4. ^ a b Wigner 1937
  5. ^ Hall 2003 Appendix D2.
  6. ^ Weinberg 2003
  7. ^ Lie 1888, 1890, 1893
  8. ^ Killing 1888
  9. ^ Cartan 1913
  10. ^ Brauer & Weyl 1935 Spinors in n dimensions.
  11. ^ Weyl 1931 The Theory of Groups and Quantum Mechanics.
  12. ^ Weyl 1939 The Classical Groups. Their Invariants and Representations.
  13. ^ Harish-Chandra 1947 Infinite irreducible representations of the Lorentz group.
  14. ^ Wigner 1939 On unitary representations of the inhomogeneous Lorentz group.
  15. ^ Bargmann 1947 Irreducible unitary representations of the Lorenz group.
  16. ^ Bargmann was also a mathematician. He worked as Albert Einsteins assistant at the Institute for Advanced Study in Princeton.
  17. ^ Bargmann & Wigner 1948 Group theoretical discussion of relativistic wave equations.
  18. ^ Dirac 1928
  19. ^ Weinberg 2003 Equation 5.6.7-8
  20. ^ Weinberg 2003, Chapter 5
  21. ^ Weinberg 2003 Equation 5.6.9-11
  22. ^ a b c d e f Hall 2003, Chapter 6
  23. ^ Knapp 2001 The rather mysterious looking third isomorphism is proved in chapter 2, paragraph 4.
  24. ^ Hall 2003, Chapter 4
  25. ^ Rossmann 2002 Section 6.5
  26. ^ a b Knapp 2001 See section 2.3
  27. ^ a b c d e f g h Knapp 2001
  28. ^ a b c d e f g h i j k l m n Weinberg 2002, Chapter 5
  29. ^ Weinberg 2003 See footnote on p. 232.
  30. ^ Lie 1888
  31. ^ Rossmann 2002, Section 2.5
  32. ^ Rossmann 2002 Theorem 1, Paragraph 2.5.
  33. ^ a b Rossmann 2002 Proposition 3, Paragraph 2.5.
  34. ^ Rossmann 2002 Theorem 1, Paragraph 2.6.
  35. ^ a b c d e Hall 2003, Theorem 2.27, Chapter 2.
  36. ^ Hall 2003 Section 3.1.
  37. ^ Hall 2003 Formulae 3.1, 3.2 and 3.3 modified for physics convention.
  38. ^ Hall 2003 See section 3.6 for a detailed account.
  39. ^ Hall 2003 Exercise 10 Chapter 3.
  40. ^ Rossmann 2002
  41. ^ Hall 2003 Step 5 in proof of theorem 3.7
  42. ^ Weinberg 2002, Appendix B, Chapter 2
  43. ^ Weinberg 2002, Section 2.7, Chapter 2
  44. ^ Wigner 1937, p.27
  45. ^ Weinberg 2003, Section 2.7
  46. ^ Gelfand, Minlos & Shapiro 1963 This construction of the covering group is treated in paragraph 4, section 1, chapter 1 in Part II.
  47. ^ a b Hall 2003 Chapter 4.
  48. ^ a b Knapp 2001 Chapter 2.
  49. ^ Knapp 2001 Equation 2.1.
  50. ^ Hall 2003 Equation 4.2.
  51. ^ Hall 2003 Equation after 4.2.
  52. ^ Hall 2003 Equation 4.3.
  53. ^ Hall 2003 Equation after 4.3
  54. ^ Knapp 2001 Equation 2.4.
  55. ^ Rossmann 2002 Section 2.1
  56. ^ Rossmann 2002 Section 2.1 Example 4.
  57. ^ Hall 2003 Corollary 2.31.
  58. ^ Hall 2003 Appendix A.
  59. ^ Weinberg 2003 Chapter 5.
  60. ^ Hall 2003 Theorem 7.15.
  61. ^ Hall 2003 Theorem 7.43.
  62. ^ Hall 2003 p. 235.
  63. ^ Rossmann 2002 Propositions 3 and 6 paragraph 2.5.
  64. ^ Hall 2003 See exercise 1, Chapter 6.
  65. ^ Wigner 1937
  66. ^ Bekaert & Boulanger 2006 p.4.
  67. ^ Hall 2003 Proposition 1.20.
  68. ^ Lee 2003 Theorem 8.30
  69. ^ Weinberg 2002Chapters 2, 5.
  70. ^ Weinberg 2002 This is outlined (very briefly) on page 232, hardly more than a footnote.
  71. ^ Hall 2003 Proposition 7.39.
  72. ^ Hall 2003 Theorem 7.40.
  73. ^ Hall 2003 Theorem 7.40.
  74. ^ Hall 2003 See section 6.6 for a detailed discussion.
  75. ^ Hall 2003 Second item in proposition 4.5.
  76. ^ Hall 2003 p.219
  77. ^ Rossmann 2002 See exercise 3 in paragraph 6.5.
  78. ^ Hall 2003 See appendix D.3
  79. ^ a b Weinberg 2002 Section 5.4.
  80. ^ Weinberg 2002 Eqn 5.4.6
  81. ^ Weinberg 2003 Equation 2.6.5.
  82. ^ Weinberg 2003 Equation following 2.6.6.
  83. ^ Weinberg 2002 Chapter 2.
  84. ^ Greiner, W (2000), Relativistic Quantum Mechanics, ISBN 3-540-67457-8 
  85. ^ For a detailed discussion of the spin 0, 1/2 and 1 cases, see Greiner & Reinhardt 1996.
  86. ^ Weinberg 2002, Chapter 3
  87. ^ Rossmann 2002 See section 6.1 for more examples, both finite-dimensional and infinite-dimensional.
  88. ^ a b c Gelfand, Minlos & Shapiro 1963
  89. ^ In Quantum Mechanics - non-relativistic theory by Landau and Lifshitz the lowest order D are calculated analytically.
  90. ^ Curtright, Fairlie & Zachos 2014 A formula for D() valid for all is given.
  91. ^ Hall 2003 Section 4.3.5.
  92. ^ Gelfand & Graev 1969
  93. ^ Knapp 2001, Chapter II
  94. ^ a b Harish-Chandra 1947
  95. ^ a b Taylor 1986
  96. ^ Knapp 2001 Chapter 2. Equation 2.12.
  97. ^ Bargmann 1947
  98. ^ Gelfand & Gaev 1963
  99. ^ Gelfand & Naimark 1947
  100. ^ Takahashi 1963, p. 343
  101. ^ Weinberg 2002, Equations (5.4.19) and (5.4.20)

Freely available online references[edit]

  • Bekaert, X.; Boulanger, N. (2006). "The unitary representations of the Poincare group in any spacetime dimension". arXiv:hep-th/0611263. Expanded version of the lectures presented at the second Modave summer school in mathematical physics (Belgium, August 2006).
  • Curtright, T L; Fairlie, D B; Zachos, C K (2014), "A compact formula for rotations as spin matrix polynomials", SIGMA 10: 084, doi:10.3842/SIGMA.2014.084  Group elements of SU(2) are expressed in closed form as finite polynomials of the Lie algebra generators, for all definite spin representations of the rotation group.

References[edit]