Representation theory of the Lorentz group
The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. In any relativistically invariant physical theory, these representations must enter in some fashion;^{[nb 1]} physics itself must be made out of them. Indeed, special relativity together with quantum mechanics are the two physical theories that are most thoroughly established,^{[nb 2]} and the conjunction of these two theories is the study of the infinitedimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative presentday theories.
The full theory of the finitedimensional representations of the Lie algebra of the Lorentz group is deduced using the general framework of the representation theory of semisimple Lie algebras. The finitedimensional representations of the connected component SO(3; 1)^{+} of the full Lorentz group O(3; 1) are obtained by employing the Lie correspondence and the matrix exponential. The full finitedimensional representation theory of the universal covering group (and also the spin group, a double cover) SL(2, ℂ) of SO(3; 1)^{+} is obtained, and explicitly given in terms of action on a function space in representations of SL(2, C) and sl(2, C). The representatives of time reversal and space inversion are given in space inversion and time reversal, completing the finitedimensional theory for the full Lorentz group. The general properties of the (m, n) representations are outlined. Action on function spaces is considered, with the action on spherical harmonics and the Riemann Pfunction appearing as examples. The infinitedimensional case of irreducible unitary representations is classified and realized for the principal series and the complementary series. Finally, the Plancherel formula for SL(2, ℂ) is given.
The development of the representation theory has historically followed the development of the more general theory of representation theory of semisimple groups, largely due to Élie Cartan and Hermann Weyl, but the Lorentz group has also received special attention due to its importance in physics. Notable contributors are physicist E. P. Wigner and mathematician Valentine Bargmann with their Bargmann–Wigner programme,^{[1]} one conclusion of which is, roughly, a classification of all unitary representations of the inhomogeneous Lorentz group amounts to a classification of all possible relativistic wave equations.^{[2]} The classification of the irreducible infinitedimensional representations of the Lorentz group was established by Paul Dirac´s doctoral student in theoretical physics, HarishChandra, later turned mathematician,^{[nb 3]} in 1947.
The nontechnical introduction contains some prerequisite material for readers not familiar with representation theory. The Lie algebra basis and other adopted conventions are given in conventions and Lie algebra bases.
Contents
 1 Nontechnical introduction to representation theory
 1.1 Symmetry groups
 1.2 Symmetry of space and time
 1.3 Lorentz transformations
 1.4 Multiplication table and representations
 1.5 Ordinary Lorentz transformations matrices do not suffice
 1.6 Finitedimensional representations by matrices
 1.7 Infinitedimensional representations by action on vector spaces of functions
 1.8 Infinitedimensional representations viewed as infinitedimensional matrices
 1.9 Lie algebra
 2 Applications
 3 Finitedimensional representations
 3.1 History
 3.2 Strategy
 3.3 The Lie algebra
 3.4 The group
 3.5 The covering group
 3.6 Properties of the (m, n) representations
 3.7 Induced representations on the Clifford algebra and the Dirac spinor representation
 3.8 Reducible representations
 3.9 Space inversion and time reversal
 4 Action on function spaces
 5 Infinitedimensional unitary representations
 6 Explicit formulas
 7 See also
 8 Remarks
 9 Notes
 10 Freely available online references
 11 References
Nontechnical introduction to representation theory[edit]
The present purpose is to illustrate the role of representation theory of groups in mathematics and in physics. Rigor and detail take the back seat, as the main objective is to fix the notion of finitedimensional and infinitedimensional representations of the Lorentz group. The reader familiar with these concepts should skip by.
Symmetry groups[edit]
 Main article: Group (mathematics)
The mathematical notion of a group and the notion of symmetry in both mathematics and physics are intimately related. A group has the simple property that if one element of a group is multiplied by another, the result is another element of the group. The same can, mutatis mutandis, be said of symmetries. Apply one symmetry operation (physically or by changing coordinate system), and then another one. The result is that of applying a single symmetry operation. Else they don't qualify as a symmetry operations the present context. Group theory is thus the mathematical language in which symmetries of nature are expressed.^{[3]} These may relate to very concrete symmetries of physical objects, like the symmetries of a square. One then speaks of the symmetry group associated with the object.
In the case of a square, the symmetry group, called the dihedral group D_{4}, is finite. For instance, only some rotations, and some reflections in the plane, will make the transformed square look exactly like it did before the symmetry operation. Other objects possess higher symmetry. The sphere is the extreme example. It possesses full rotational symmetry and reflectional symmetry. Rotate or reflect a ball with any kind of rotation or reflection about any plane through the origin, and it will look exactly the same as before the symmetry operation.
A central fact is that the symmetry groups can be represented by matrices.^{[nb 4]} In the case of D_{4} for the square, the matrix representation is composed of eight 2 × 2 matrices. In the case of the symmetries of a sphere, the matrix group is the orthogonal group of three dimensions. These are 3 × 3 matrices.
Symmetry of space and time[edit]
 Main articles: Symmetry (physics)#Spacetime symmetries, Spacetime symmetries, and Lorentz group
Less obvious is that space itself possesses symmetry. It too looks the same, no matter how one rotates it, so it has rotational symmetry. In fact, in this case, it is more practical to use passive rotations, meaning the observer^{[nb 5]} rotates himself and does not attempt to physically rotate the universe. Mathematically, the active operation of a rotation is performed by multiplying position vectors by a rotation matrix. A passive rotation is accomplished by rotating only the basis vectors of the coordinate system. (Envisage the coordinate system being fixed in the rotated observer. Then actively rotate the observer only.) In this way, every point in space obtains new coordinates, just as if it was somehow physically rigidly rotated. The Lorentz group contains all rotation matrices, extended to four dimensions with zeros in the first row and the first column except for the upper left element which is one, as elements. There are, in addition, matrices that effect Lorentz boosts. These can be thought of in the passive view as (instantly!) giving the coordinate system (and with it the observer) a velocity in a chosen direction. Two special transformations are used to invert the coordinate system in space, space inversion, and in time, time reversal. In the first case, the space coordinate axes are reversed. The latter is reversal of the time direction. This is best though of as just having the observer set his clock at minus what it shows and then have the clock's hands move counterclockwise. Physical time progresses forward as always.
Lorentz transformations[edit]
 Main article: Lorentz transformation
In the spacetime of special relativity, called Minkowski space, space and time are interwoven. Thus the four coordinates of points in spacetime, called events, change in ways unexpected before the advent of special relativity, with time dilation and length contraction as two immediate consequences. The fourdimensional matrices of Lorentz transformations compose the Lorentz group. Its elements represent symmetries, and just like physical objects can be rotated using rotation matrices, the same physical objects (whose coordinates now include the time coordinate) can be transformed using the matrices representing Lorentz transformations. In particular, the fourvector representing an event in Lorentz frame transforms as
or on short form
Multiplication table and representations[edit]
 Main articles: Cayley table and Representation theory
The basic feature of every finite group is its multiplication table, also called Cayley table, that records the result of multiplying any two elements. A representation of a group can be thought of new set of elements, finitedimensional or infinitedimensional matrices, giving the same multiplication table after mapping the old elements to the new elements in a onetoone fashion.^{[nb 6]} The same holds true in the case of an infinite group like the rotation group SO(3) or the Lorentz group. The multiplication table is just harder to visualize in the case of a group of uncountable size (same size as the set of reals).
Ordinary Lorentz transformations matrices do not suffice[edit]
The objects to be transformed may be something else than ordinary physical objects extending in three spatial dimensions (and time, unless the frame is the rest frame). It is at this point that representation theory enters the picture. The electromagnetic field is usually envisaged by assignment to each point in space a threedimensional vector representing the electric field and another threedimensional vector representing the magnetic field. When space is rotated, the expected thing happens. The electric field and the magnetic field vectors at a designated point rotate with preserved length and angle between them. Under Lorentz boosts they behave differently, and in a way showing that the two vectors certainly aren't separate physical objects. The electric and magnetic components mix. See the illustration on the right. The electromagnetic field tensor displays the manifestly covariant mathematical structure of the electromagnetic field.
Finitedimensional representations by matrices[edit]
The problem of representation theory of the Lorentz group is, in the finitedimensional case, to find new sets of matrices, not necessarily 4 × 4 in size that satisfies the same multiplication table as the matrices in the original Lorentz group. Returning to the example of the electromagnetic field, what is needed here are 6 × 6matrices that can be applied to a 6dimensional column vector containing the all together six components of the electromagnetic field. Thus one is looking for 6 × 6matrices such that
in short
correctly expresses the transformation of the electromagnetic field under the Lorentz transformation Λ.^{[nb 7]} The same reasoning can be applied to Dirac's bispinors. While these have 4 components, the original 4 × 4matrices in the Lorentz group will not do the job properly, not even when restricted to mere rotations. Another 4 × 4representation is needed.
The sections dedicated to finitedimensional representations are dedicated to exposing all such representations by finitedimensional matrices that respect the multiplication table.
Infinitedimensional representations by action on vector spaces of functions[edit]
Infinitedimensional representations are usually realized as acting on sets of real or complexvalued functions on a set X endowed with a group action. A set being endowed with a group action A means, in essence, that if x ∈ X and g ∈ G that A(g)x = y with y ∈ X. Now if ℂ^{X} denotes the set of all complexvalued functions on X, which is a vector space, a representation Π of G can be defined by^{[4]}
The point to make is that again one has
and one has a representation of G. This representation of G is finitedimensional if and only if X is a finite set. This method is very general, and one typically explores vector spaces of more specialized functions on sets close at hand. To illustrate this procedure, consider a group G of ndimensional matrices as a subset of Euclidean space ℝ^{n2}, and let the space of functions be polynomials, perhaps of some maximum degree d, or even homogeneous polynomials of degree d, all defined on ℝ^{n2}. Then restrict those functions to G ⊂ ℝ^{n2}. Now observe that the set X = G automatically comes equipped with group actions, namely
Here L_{g} denotes left action (by g), R_{g} denotes left action (by g), and C_{g} denotes conjugation (by g). With this sort of action, the vectors being acted on are functions. The resulting representations are (when the functions are unrestricted), in the first and second cases respectively, the left regular representation and the right regular representation of G on ℂ^{G}.^{[4]}
The goal in the infinitedimensional case of the representation theory is to classify all different possible representations, and to exhibit them in terms of vector spaces of functions and the action of the standard representation on the arguments of the functions.
Infinitedimensional representations viewed as infinitedimensional matrices[edit]
In order to relate this to the finitedimensional case, one may chose a basis for the vector space of functions and simply then examine what happens to the basis functions under a given transformation. Take image of the first basis function under a transformation, expressed as a linear combination the basis functions. Explicitly, if f_{1}, f_{2}, ... is a basis, compute
The coefficients of the basis functions in this expression is then the first column in a representative matrix. Proceed. In general, the resulting matrix is countably infinite in dimension:
Again, it is required that the set of infinite matrices obtained this way stand in onetoone correspondence with the original 4 × 4matrices and that the multiplication table is the right one  the one of the 4 × 4matrices.^{[nb 8]} It should be emphasized that in the infinitedimensional case, one is rarely concerned with these matrices. They are exposed here only to highlight the common thread. But individual matrix elements are frequently computed, especially for the Lie algebra (below).
Lie algebra[edit]
 Main article: Lie algebra
The Lorentz group is a Lie group and has as such a Lie algebra, The Lie algebra is a vector space of matrices that can be said to model the group near the identity. It is endowed with a multiplication operation, the Lie bracket. With it, the product in the group can near the identity be expressed in Lie algebraic terms (but not in a particularly simple way). The link between the (matrix) Lie algebra and the (matrix) Lie group is the matrix exponential. It is onetoone near the identity in the group.
Due to this it often suffices to find representations of the Lie algebra. Lie algebras are much simpler objects than Lie groups to work with. Due to the fact that the Lie algebra is a finitedimensional vector space, in the case of the Lorentz Lie algebra the dimension is 6, one need only find a finite number of representative matrices of the Lie algebra, one for each element of a basis of the Lie algebra as a vector space. The rest follow from extension by linearity, and the representation of the group is obtained by exponentiation.
The metric signature to be used below is (−1, 1 , 1, 1) and the metric is given by η = diag(−1, 1, 1, 1). The physics convention for Lie algebras and the exponential mapping is used. These choices are arbitrary, but once they are made, fixed. One possible choice of basis for the Lie algebra is, in the standard representation, given by
Applications[edit]
Many of the representations, both finitedimensional and infinitedimensional, are important in theoretical physics. Representations appear in the description of fields in classical field theory, most importantly the electromagnetic field, and of particles in relativistic quantum mechanics, as well as of both particles and quantum fields in quantum field theory and of various objects in string theory and beyond. The representation theory also provides the theoretical ground for the concept of spin. The theory enters into general relativity in the sense that in small enough regions of spacetime, physics is that of special relativity.^{[5]}
The finitedimensional irreducible nonunitary representations together with the irreducible infinitedimensional unitary representations of the inhomogeneous Lorentz group, the Poincare group, are the representations that have direct physical relevance.^{[6]}^{[7]}
Infinitedimensional unitary representations of the Lorentz group appear by restriction of the irreducible infinitedimensional unitary representations of the Poincaré group acting on the Hilbert spaces of relativistic quantum mechanics and quantum field theory. But these are also of mathematical interest and of potential direct physical relevance in other roles than that of a mere restriction.^{[8]} There were speculative theories,^{[9]}^{[10]} (tensors and spinors have infinite counterparts in the expansors of Dirac and the expinors of HarishChandra) consistent with relativity and quantum mechanics, but they have found no proven physical application. Modern speculative theories potentially have similar ingredients per below.
Mathematics[edit]
From the point of view that the goal of mathematics is to classify and characterize, the representation theory of the Lorentz group is since 1947 a finished chapter. But in association with the Bargmann–Wigner programme, there are (as of 2006) yet unresolved purely mathematical problems, linked to the infinitedimensional unitary representations.
The irreducible infinitedimensional unitary representations may have indirect relevance to physical reality in speculative modern theories since the (generalized) Lorentz group appears as the little group of the Poincare group of spacelike vectors in higher spacetime dimension. The corresponding infinitedimensional unitary representations of the (generalized) Poincaré group are the socalled tachyonic representations. Tachyons appear in the spectrum of bosonic strings and are associated with instability of the vacuum.^{[11]}^{[12]} Even though tachyons may not be realized in nature, these representations must be mathematically understood in order to understand string theory. This is so since tachyon states turn out to appear in superstring theories too in attempts to create realistic models.^{[13]}
One open problem (as of 2006) is the completion of the Bargmann–Wigner programme for the isometry group SO(D – 2, 1) of the de Sitter spacetime dS_{D – 2}. Ideally, one would like to see the physical components of wave functions realized on the hyperboloid dS_{D – 2} of radius μ > 0 embedded in ℝ^{D − 2, 1} and the corresponding O(D − 2, 1) covariant wave equations of the infinitedimensional unitary representation to be known.^{[12]}
It is common in mathematics to regard the Lorentz group to be, foremost, the Möbius group to which it is isomorphic. The group may be represented in terms of a set of functions defined on the Riemann sphere. These are the Riemann Pfunctions, which are expressible as hypergeometric functions.
Classical field theory[edit]
While the electromagnetic field together with the gravitational field are the only classical fields providing accurate descriptions of nature, other types of classical fields are important too. In the approach to quantum field theory (QFT) referred to as second quantization, one begins with one or more classical fields, where e.g. the wave functions solving the Dirac equation are considered as classical fields prior to (second) quantization.^{[14]} While second quantization and the Lagrangian formalism associated with it is not a fundamental aspect of QFT,^{[15]} it is the case that so far all quantum field theories can be approached this way, including the standard model.^{[16]} In these cases, there are classical versions of the field equations following from the Euler–Lagrange equations derived from the Lagrangian using the principle of least action. These field equations must be relativistically invariant, and their solutions (which will qualify as relativistic wave functions according to the definition below) must transform under some representation of the Lorentz group.
The action of the Lorentz group on the space of field configurations (a field configuration is the spacetime history of a particular solution, e.g. the electromagnetic field in all of space over all time is one field configuration) resembles the action on the Hilbert spaces of quantum mechanics, except that the commutator brackets are replaced by field theoretical Poisson brackets.^{[14]}
Relativistic quantum mechanics[edit]
For the present purpose one may make the following definition:^{[17]} A relativistic wave function is a set of n functions ψ^{α} on spacetime which transforms under an arbitrary proper Lorentz transformation Λ as
where D[Λ] is an ndimensional matrix representative of Λ belonging to some direct sum of the (m, n) representations to be introduced below.
The most useful relativistic quantum mechanics oneparticle theories (there are no fully consistent such theories) are the Klein–Gordon equation^{[18]} and the Dirac equation^{[19]} in their original setting. They are relativistically invariant and their solutions transform under the Lorentz group as Lorentz scalars ((m, n) = (0, 0)) and bispinors respectively ((0, ^{1}⁄_{2}) ⊕ (^{1}⁄_{2}, 0)). The electromagnetic field is a relativistic wave function according to this definition, transforming under (1, 0) ⊕ (0, 1).^{[20]}
Quantum field theory[edit]
In QFT, the demand for relativistic invariance enters, among other ways in that the Smatrix necessarily must be Poincaré invariant.^{[21]} This has the implication that there is one or more infinitedimensional representation of the Lorentz group acting on Fock space.^{[nb 9]} One way to guarantee the existence of such representations is the existence of a Lagrangian description (with modest requirements imposed, see the reference) of the system using the canonical formalism, from which one may deduce a realization of the generators of the Lorentz group.^{[22]}
The transformations of field operators illustrate the complementary role played by the finitedimensional representations of the Lorentz group and the infinitedimensional unitary representations of the Poincare group, witnessing the deep unity between mathematics and physics.^{[23]} For illustration, consider the definition of some ncomponent field operator:^{[24]} Given a matrix representation as above, a relativistic field operator is a set of n operator valued functions on spacetime which transforms under proper Lorentz transformations Λ according to^{[25]}^{[26]}
By considerations of differential constraints that the field operator must be subjected to in order to describe a single particle with definite mass m and spin s (or helicity), one finds^{[27]}^{[nb 10]}
where a^{†}, a are interpreted as creation and annihilation operators respectively. The creation operator a^{†} transforms according to^{[27]}^{[28]}
and similarly for the annihilation operator. The point to be made is that the field operator transforms according to a finitedimensional nonunitary representation of the Lorentz group, while the creation operator transforms under the infinitedimensional unitary representation of the Poincare group characterized by the mass and spin (m, s) of the particle. The connection between the two is the wave function, also called cofficient function
that carries both the indices (x, α) operated on by Lorentz transformations and the indices (p, σ) operated on by Poincaré transformations. This may be called the Lorentz–Poincaré connection.^{[29]} All of the above formulas, including the definition of the field operator in terms of creation and annihilation operators, as well as the differential equations satisfied by the field operator for a particle with specified mass, spin and the (m, n) representation under which it is supposed to transform,^{[nb 11]} and also that of the wave function, can be derived from group theoretical considerations alone once the frameworks of quantum mechanics and special relativity is given.^{[nb 12]}
Speculative theories[edit]
In theories in which spacetime can have more than D = 4 dimensions, the generalized Lorentz groups O(D − 1; 1) of the appropriate dimension take the place of O(3; 1).^{[nb 13]}
The requirement of Lorentz invariance takes on perhaps its most dramatic effect in string theory. Classical relativistic strings can be handled in the Lagrangian framework by using the Nambu–Goto action.^{[30]} This results in a relativistically invariant theory in any spacetime dimension.^{[31]} But as it turns out, the theory of open and closed bosonic strings (the simplest string theory) is impossible to quantize in such a way that the Lorentz group is represented on the space of states (a Hilbert space) unless the dimension of spacetime is 26.^{[32]} The corresponding result for superstring theory is again deduced demanding Lorentz invariance, but now with supersymmetry. In these theories the Poincaré algebra is replaced by a supersymmetry algebra which is a Z_{2}graded Lie algebra extending the Poincaré algebra. The structure of such an algebra is to a large degree fixed by the demands of Lorentz invariance. In particular, the fermionic operators (grade 1) belong to a (0, ½) or (½, 0) representation space of the (ordinary) Lorentz Lie algebra.^{[33]} The only possible dimension of spacetime in such theories is 10.^{[34]}
Finitedimensional representations[edit]
Representation theory of groups in general, and Lie groups in particular, is a very rich subject. The full Lorentz group is 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 simple and thus semisimple, but is not connected, and none of its components are simply connected. Perhaps most importantly, the Lorentz group is not compact.^{[35]}
For finitedimensional representations, the presence of semisimplicity means that the Lorentz group can be dealt with the same way as other semisimple groups using a welldeveloped theory. In addition, all representations are built from the irreducible ones, since the Lie algebra possesses the complete reducibility property.^{[nb 14]}^{[36]} But, the noncompactness 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. Noncompactness implies, for a connected simple Lie group, that no nontrivial finitedimensional unitary representations exist.^{[37]} Lack of simple connectedness gives rise to spin representations of the group.^{[38]} The nonconnectedness means that, for representations of the full Lorentz group, one has to deal with time reversal and space inversion separately.^{[39]}^{[40]}
History[edit]
The development of the finitedimensional representation theory of the Lorentz group mostly follows that of the subject in general. Lie theory originated with Sophus Lie in 1873.^{[41]} By 1888 the classification of simple Lie algebras was essentially completed by Wilhelm Killing.^{[42]} 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.^{[43]} Richard Brauer was 1935–38 largely responsible for the development of the WeylBrauer matrices describing how spin representations of the Lorentz Lie algebra can be embedded in Clifford algebras.^{[44]} The Lorentz group has also historically received special attention in representation theory, see History of infinitedimensional unitary representations below, due to its exceptional importance in physics. Mathematicians Hermann Weyl^{[45]}^{[46]} and HarishChandra^{[47]} and physicists Eugene Wigner^{[48]} and Valentine Bargmann^{[49]}^{[50]} made substantial contributions both to general representation theory and in particular to the Lorentz group.^{[51]} 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.^{[52]}
Strategy[edit]
Classification of the finitedimensional irreducible representations generally consists of two steps. The first step is to hypothesize the existence of representations. One assumes heuristically that all representations that a priori could exist, do exist. One investigates the properties of these hypothetical representations, primarily using the Lie algebra.^{[53]} The goal of this study is twofold. First, some of these hypothetical representations may not exist. The goal in this situation is to show that their existence would imply a falsehood such as 0 = 1. If this can be done, then the initial hypothesis that the representation existed must be false, and one can therefore exclude these hypothetical representations from later studies. Second, one can better understand the representations that do exist. These representations must have enough structure to manifest the symmetries of the group action, but describing this structure may not be easy. Before a classification has been completed, it is unclear which representations fall into the first class and which fall into the second.
If this first step of the classification is successful, it results in a tentative classification of the possible representations. This is often a short list. Each list entry is a single representation or a family of related representations, and ideally, the entry gives requirements so specific that they can be met by at most a single representation. The second step consists of explicit construction of the representations on this list. If successful, it justifies the existence hypotheses made in the first step. The results of investigations performed in the first step provide hints about how to construct the representations, i.e. construction of a vector space V and a specified Lie algebra action on V, since most of the properties they must have are then known.
For finitedimensional irreducible representations of finitedimensional semisimple Lie algebras the general result is Cartan's theorem of highest weight.^{[54]} It provides a classification of the irreducible representations in terms of the weights of the Lie algebra.
For some semisimple Lie algebras, especially noncompact ones, it is easier to proceed indirectly via Weyl's unitarian trick instead of applying Cartan's theorem directly. In the present case of so(3; 1) one sets up a chain of isomorphisms between Lie algebras and other correspondences preserving irreducible representations, so that the representations may be obtained from representations of SU(2) ⊗ SU(2). See equation (A1) and references around it. It is essential here that SU(2) is compact, since then the irreducible representations of SU(2) ⊗ SU(2) are simply tensor products of irreducible representations of SU(2), that can all be obtained from the irreducible representations of su(2).^{[nb 15]}
Then the classification part. Cartan's theorem is applied to su(2) (together with knowledge of its highest weights) and one obtains a classification of the representations of so(3; 1) via (A1) . An explicit construction of the representations of SL(2, ℂ) is then given (which is not much more difficult to obtain than the more basic su(2) representations), thus completing the task with the (m, n) representations of so(3; 1) as the final result.
Representative matrices may be obtained by choice of basis in the representation space. An explicit formula for matrix elements is presented and some common representations are listed.
The Lie correspondence is subsequently employed for obtaining group representations of the connected component of the Lorentz group, SO(3, 1)^{+}. This is effected by taking the matrix exponential of the matrices of the Lie algebra representation, a topic which is investigated in some depth. A subtlety arises due to the (in physics parlance) doubly connected nature of SO(3, 1)^{+}. This results in the projective representations or twovalue representations that are actually spin representations of the covering group SL(2, ℂ).
The Lie correspondence gives results only for the connected component of the groups, and thus the components of the full Lorentz that contain the operations of time reversal and space inversion are treated separately, mostly from physical considerations, by defining representatives for the space inversion and time reversal matrices.
The Lie algebra[edit]
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 J_{i} of rotations and the three generators K_{i} of boosts. They are explicitly given in conventions and Lie algebra bases.
Now complexify the Lie algebra, and then change basis to the components of^{[55]}
One may verify that the components of A = (A_{1}, A_{2}, A_{3}) and B = (B_{1}, B_{2}, B_{3}) separately satisfy the commutation relations of the Lie algebra su(2) and moreover that they commute with each other,^{[56]}
where i, j, k are indices which each take values 1, 2, 3, and ε_{ijk} is the threedimensional LeviCivita symbol. Let A_{C} and B_{C} denote the complex linear span of A and B respectively.
One has the isomorphisms^{[57]}^{[nb 16]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
where sl(2, C) is the complexification of su(2) ≈ A ≈ B.
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 onetoone correspondence between linear representations of su(2) and complex linear representations of sl(2, C).^{[58]}
The unitarian trick[edit]
In (A1) , all isomorphisms are Clinear (the last is just a defining equality). The most important part of the manipulations below is that the Rlinear (irreducible) representations of a (real or complex) Lie algebra are in onetoone correspondence with Clinear (irreducible) representation of its complexification.^{[59]} With this in mind, it is seen that the Rlinear 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 Clinear representations of sl(2, C) ⊕ sl(2, C).
The manipulations to obtain representations of a noncompact algebra (here so(3; 1)), and subsequently the noncompact group itself, from qualitative knowledge about unitary representations of a compact group (here SU(2)) is a variant of Weyl's socalled unitarian trick. The trick specialized to SL(2, C) can be summarized concisely.^{[60]}
Let V be a finitedimensional complex vector space. The following statements are equivalent, in the sense that if one of them holds, then there is a uniquely determined (modulo choice of basis for V) corresponding representation (either via given Lie algebra isomorphisms, or via complexification of Lie algebras per above, or via restriction to real forms, or via the exponential mapping (to be introduced), or, finally, via a standard mechanism (also to be introduced) for obtaining Lie algebra representations given group representations) of the appropriate type for the other groups and Lie algebras:
 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, direct products (groups) or direct sums (Lie algebras) may be introduced (if done 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.^{[61]} The irreducible unitary representations of SU(2) × SU(2) are precisely the tensor products of irreducible unitary representations of SU(2). These stand in onetoone correspondence with the holomorphic representations of SL(2, C) × SL(2, C)^{[61]} and these, in turn, are in onetoone correspondence with the complex linear representations of sl(2, C) ⊕ sl(2, C) because SL(2, C) × SL(2, C) is simply connected.^{[61]}
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^{[62]}^{[nb 17]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 onetoone correspondence with the real linear representations of sl(2, C).^{[61]} 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, ν).^{[61]} 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
where Φ_{μ}, μ = 0,1, … are the complex linear irreducible representations of sl(2, C) and Φ_{ν}, ν = 0,1, … their complex conjugate representations. Here the tensor product is interpreted in the former sense of (A0) . These representations are concretely realized below.
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.^{[57]} Since so(3; 1) is semisimple,^{[57]} all its representations 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 halfintegers m = μ/2 and n = ν/2, conventionally written as one of
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^{[nb 18]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 1_{n} is the ndimensional unit matrix.
Explicit formula for matrix elements[edit]
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 −m ≤ a, a′ ≤ m, −n ≤ b, b′ ≤ n, the representations are given by^{[63]}
where δ is the Kronecker delta and the J_{i}^{(n)} are the (2n + 1)dimensional irreducible representations of so(3), also termed spin matrices or angular momentum matrices. These are explicitly given as^{[64]}
Common representations[edit]
m=0  ½  1  

n=0  scalar  Weyl spinor bispinor

selfdual 2form 2form field

½  Weyl spinor (righthanded) 
4vector  Rarita–Schwinger field 
1  antiselfdual 2form 
traceless symmetric tensor  
Purple: (m, n) complex irreducible representations
Black: (m, n) ⊕ (n, m) 
Since for any irreducible representation for which m ≠ n 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.
 (0, 0) is the Lorentz scalar representation. This representation is carried by relativistic scalar field theories.
 (½, 0) is the lefthanded Weyl spinor and (0, ½) is the righthanded Weyl spinor representation. Fermionic supersymmetry generators transform under one of these representations.^{[33]}
 (½, 0) ⊕ (0, ½) is the bispinor representation. (See also Dirac spinor and Weyl spinors and bispinors below.)
 (½, ½) is the fourvector representation. The fourmomentum of a particle (either massless or massive) transforms under this representation.
 (1, 0) is the selfdual 2form field representation and (0, 1) is the antiselfdual 2form field representation.
 (1, 0) ⊕ (0, 1) is the adjoint representation and the representation of a parityinvariant 2form field (a.k.a. curvature form). The electromagnetic field tensor transforms under this representation.
 (1, ½) ⊕ (½, 1) is the Rarita–Schwinger field representation.
 (1, 1) is the spin 2 representation of a traceless symmetric tensor field.^{[nb 19]} A physical example is the traceless part of the energymomentum tensor T^{μν}.^{[65]}^{[nb 20]}
 (3/2, 0) ⊕ (0, 3/2) would be the symmetry of the hypothesized gravitino.^{[nb 21]} It can be obtained from the (1, ½) ⊕ (½, 1)representation.^{[66]}
The group[edit]
The approach in this section is based on theorems that, in turn, are based on the fundamental Lie correspondence.^{[67]} The Lie correspondence is in essence a dictionary between connected Lie groups and Lie algebras.^{[68]} The link between them is the exponential mapping from the Lie algebra to the Lie group, denoted exp:g → G. It is onetoone in a neighborhood of the identity.
The Lie correspondence[edit]
The Lie correspondence and some results based on it needed here and below are stated for reference. If G denotes a Lie group and g a Lie algebra, let Γ(g) denote the group generated by exp(g), the image of the Lie algebra under the exponential mapping,^{[nb 22]} and let L(G) denote the Lie algebra of G. The Lie correspondence reads in modern language as follows:
 There is a onetoone correspondence between connected and simply connected Lie groups G and Lie algebras g under which g corresponds to L(G) and G to Γ(g). Equivalently, Γ(L(G)) = G and L(Γ(g)) = g.^{[69]}
A linear Lie group is one that has at least one faithful finitedimensional representation.^{[nb 23]}^{[nb 24]} 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.^{[70]}
 A connected subgroup H with Lie algebra h of a connected linear Lie group G is normal if and only if h ⊂ g is an ideal.^{[70]}
 If G, H are linear Lie groups with Lie algebras g, h and Π:G → H is a group homomorphism, then π:g → h, its pushforward at the identity, is a Lie algebra homomorphism and Π(e^{iX}) = e^{iπ(X)} for every X ∈ g.^{[71]}
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^{[nb 25]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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]
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. Since SO(3; 1)^{+} is a matrix Lie group, the exponential mapping is simply the matrix exponential. If X is an element of so(3; 1) in the standard representation, thenString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" 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; 1)^{+} by first settingString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 g ∈ U ⊂ SO(3; 1)^{+} there may not be exactly one X ∈ so(3; 1) such that g = e^{iX} (local uniqueness). The soundness of the tentative definition (G2) is shown in several steps below:
 Π_{U} is a local homomorphism.
 Π(g) defined along a path using properties of Π_{U} is a global homomorphism.
 The exponential mapping exp:so(3; 1) → SO(3; 1)^{+} is surjective.
 Π(g) defined along a path coincides with Π_{U}(g) with U = SO(3; 1)^{+}.
Local existence and uniqueness[edit]
A theorem^{[72]} based on the inverse function theorem states that the map exp : so(3; 1) → SO(3; 1)^{+} is onetoone for X small enough . This makes the map welldefined. The qualitative form of the Baker–Campbell–Hausdorff formula then guarantees that it is a group homomorphism, still for X small enough . 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, h ∈ U, g = e^{X}, h = e^{Y}, then^{[73]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
This shows that the map Π_{U} is a welldefined group homomorphism on U.
Global existence and uniqueness[edit]
Technically, formula (G2) is used to define Π near the identity. For other elements g ∉ U 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^{[74]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
where the g_{i} are on the path and the factors on the far right are uniquely defined by (G2)
provided that all g_{i} g_{i+1}^{−1} ∈ U and, for all conceivable pairs h,k of points on the path between g_{i} and g_{i+1}, hk^{−1} ∈ U as well. For each i take, by the inverse function theorem, the unique X_{i} such that exp(X_{i}) = g_{i}g_{i−1}^{−1} and obtainString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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.^{[75]} To demonstrate the independence of a 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
But
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 partitions of a given path, they have common refinement, their union. This refinement can be reached from any of the two partitionings by, onebyone, 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.^{[76]} 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,t ∈ R: 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).^{[77]}
Global homomorphism[edit]
The map Π_{U} is, by the BakerCampbellHausdorff formula, a local homomorphism. To show that Π is a global homomorphism, consider two elements g, h ∈ SO(3; 1)^{+}. Lay out paths p_{g}, p_{h} from the identity to them and define a path p_{gh} going along p_{g}(2t) for 0 ≤ t ≤ ½ and along p_{g} · p_{h}(2t  1) for ½ ≤ t ≤ 1. This is a path from the identity to gh. Select adequate partitionings for p_{g}, p_{h}. This corresponds to a choice of "times" t_{0}, t_{1}, ...t_{m} and s_{0}, s_{1}, ...s_{n}. Divide the first set with 2 and divide the second set with 2 and add ½ and so obtain a new (adequate) set of "times" to be used for p_{gh}. Direct computation shows that, with these partitionings (and hence all partitionings), Π(gh) = Π(g)Π(h).^{[78]}
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 X ∈ so(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 noncompact 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.^{[79]} Apply the Lie correspondence theorem with π being the differential at the identity of p. Then for all X ∈ gl(n, C) p(e^{iX}) = e^{iπ(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.^{[80]} 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.^{[81]} One finally unconditionally writesString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
Fundamental group[edit]
The above construction relies on simple connectedness. The result needs modifications for nonsimply connected groups per below. To exhibit the fundamental group of SO(3; 1)^{+}, one may consider first the topology of its covering group SL(2, ℂ). By the polar decomposition theorem, any matrix λ ∈ SL(2, C) may be uniquely expressed as^{[82]}
where u is unitary with determinant one, hence in SU(2), and h is Hermitian with trace zero. The trace and determinant conditions imply^{[83]}
with (a, b, c) ∈ ℝ^{3} unconstrained and (d, e, f, g) ∈ ℝ^{4} constrained to the 3sphere S^{3}. It follows that the manifestly continuous onetoone map ℝ^{3} × S^{3} → SL(2, ℂ); (r, s) ↦ u(s)e^{h(r)} is a homeomorphism (hence preserves the fundamental group). Since ℝ^{n} is simply connected for all n and S^{n} is simply connected for n > 1 and since simple connectedness is preserved under cartesian products, it follows that SL(2, ℂ) is simply connected. Now, SO(3; 1) ≈ SL(2, ℂ)/{I, −I}, where {I, −I} is the center of SL(2, ℂ). Identifying λ and −λ amounts to identifying u with −u, which in turn amounts to identifying antipodal points on S^{3}. Thus topologically,^{[83]}
where last factor is not simply connected: Geometrically, it is easy to see (for visualization purposes, replace S^{3} by S^{2}) that a path from u to −u in SU(2) ≈ S^{3} is a loop in S^{3}/Z_{2} since u and −u are antipodal points, and that it is not contractible to a point. But a path from u to −u, thence to u again, a loop in S^{3} and a double loop (considering p(ue^{h}) = p(−ue^{h}), where p is the covering map SL(2, ℂ) → SL(3; 1)) in S^{3}/Z_{2} that is contractible to a point (continuously move away from −u "upstairs" in S^{3} and shrink the path there to the point u).^{[83]} Thus π_{1}(SO(3; 1)) is a twoelement group with two equivalence classes of loops as its elements – or put more simply, SO(3; 1) is doubly connected.
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.^{[84]} The result, when using (G2) , will then depend on which X in the Lie algebra is used to obtain the representative matrix for g.
Since π_{1}(SO(3; 1)^{+}) per above has two elements, not all representations of the Lie algebra will yield representations of the group, but some will instead yield projective representations.^{[85]}^{[nb 26]} Once these conclusions have been reached, and once one knows whether a representation is projective, there is no need to be concerned about paths and partitions. Formula (G2) applies to all group elements and all representations, including the projective ones.
For the Lorentz group, the (m, n)representation is projective when m + n is a halfinteger. See the section spinors.
For a projective representation Π of SO(3; 1)^{+}, it holds that^{[83]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 doublevalued function. One cannot consistently chose a sign to obtain a continuous representation of all of SO(3; 1)^{+}, but this is possible locally around any point.^{[37]}
The covering group[edit]
Consider sl(2, C) as a real Lie algebra with basis
where the sigmas are the Pauli matrices. From the relationsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" one obtainsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
which are exactly on the form of the 3dimensional version of the commutation relations for so(3; 1) (see conventions and Lie algebra bases below). Thus, one may map J_{i} ↔ j_{i}, K_{i} ↔ k_{i}, 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]
Let π_{g} denote the set of path homotopy classes [p_{g}] of paths p_{g}(t), 0 ≤ t ≤ 1, from 1 ∈ SO(3; 1)^{+} to g ∈ SO(3; 1)^{+} and define the setString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" and endow it with the multiplication operationString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
The dot on the far right denotes path multiplication.
With this multiplication, G is a group and G ≈ SL(2, C),^{[86]} 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,[p_{g}]) = g.
An algebraic view[edit]
For an algebraic view of the universal covering group, let SL(2, C) act on the set of all Hermitian 2×2 matrices h by the operation^{[83]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" Since X ∈ h is Hermitian, A^{†}XA is again Hermitian because (A^{†}XA)^{†} = A^{†}X^{†}A^{††} = A^{†}XA, and also A^{†}(αX + βY)A = αA^{†}XA + βA^{†}YA, so the action is linear as well. An element of h may generally be written in the formString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" for ξ_{i} real, showing that h is a 4dimensional real vector space. Moreover, (AB)^{†}X(AB) = B^{†}A^{†}XAB meaning that P is a group homomorphism into GL(h) ⊂ End h. Thus P : SL(2, C) → GL (h) is a 4dimensional representation of SL(2, C). Its kernel must in particular take the identity matrix to itself, A^{†}IA = A^{†}A = I ⇒ A^{†} = A^{−1}. Thus AX = XA for A in the kernel so, by Schur's lemma,^{[nb 27]} A is a multiple of the identity, which must be ±I since det A = 1.^{[87]} Now map h to spacetime R^{4} endowed with the Lorentz metric, Minkowski space, viaString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" The action of P(A) on h preserves determinants since det(A^{†}XA) = (det A)(det A^{†})(det X) = det X. The induced representation p of SL(2, C) on R^{4}, via the above isomorphism, given byString Module Error: function rep expects a number as second parameter, received "
 "
: (
)
"
will preserve the Lorentz inner product since
 −det X = ξ_{1}^{2} + ξ_{2}^{2} + ξ_{3}^{2} − ξ_{4}^{2} = x^{2} + y^{2} + z^{2} − t^{2}.
This means that p(A) belongs to the full Lorentz group SO(3; 1). By the main theorem of connectedness, since SL(2, C) is connected, its image under p in SO(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 28]} and must therefore be an isomorphism for dimensional reasons). The map P is also onto.^{[nb 29]}
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 weightrepresentations. 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^{[88]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 ℙ^{2}_{n} = {P:C^{2} → C} where each P ∈ ℙ^{2}_{n} is a homogeneous polynomial of degree n in 2 variables.^{[89]}^{[90]} The elements of ℙ^{2}_{n} appears as P(z_{1}, z_{2}) = c_{n}z_{1}^{n} + c_{n−1}z_{1}^{n−1}z_{2} + ... + c_{n}z_{2}^{n}. The action of SL(2, C) is given by^{[91]}^{[92]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
The associated sl(2, C)action is, using (G6)
and the definition above, given by^{[93]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" Defining z(t) = e^{−tX}z = (z_{1}(t), z_{2}(t))^{T} and using the chain rule one finds^{[94]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" The basis elements of sl(2, C) are then represented by^{[95]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
on the space P ∈ ℙ^{2}_{n} (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 ∈ ℙ^{2}_{n}, all these representations become matrix groups or matrix Lie algebras.
The (μ, ν)representations are realized on a space of polynomials ℙ^{2}_{μν} in z_{1}, z_{1}, z_{2}, z_{2}, homogeneous of degree μ in z_{1}, z_{2} and homogeneous of degree ν in z_{1}, z_{2}.^{[90]} The representations are given by^{[96]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" By carrying out the same steps as above, one findsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" from which the expressionsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
for the basis elements follow.
Nonsurjectiveness of exponential mapping[edit]
Unlike in the case exp: so(3; 1) → SO(3; 1)^{+}, the exponential mapping exp: sl(2, C) → SL(2, C) is not onto.^{[97]} The conjugacy classes of SL(2, C) are represented by the matrices^{[98]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
but there is no element Q in sl(2, C) such that q = exp(Q).^{[nb 30]}
In general, if g is an element of a connected Lie group G with Lie algebra g, then^{[99]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" This follows from the compactness of a path from the identity to g and the onetoone nature of exp near the identity. In the case of the matrix q, one may writeString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" 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^{−1}b ∈ N.^{[100]} In the case of the matrix q, one may solve for p in the equation p^{−1}q = I ∈ N. One findsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 X ∈ sl(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 nonprojective 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 nonprojective representation.
Properties of the (m, n) representations[edit]
The (m, n) representations are irreducible, and they are the only irreducible representations.^{[61]}
 Irreducibility follows from the unitarian trick^{[60]} and that a representation Π of SU(2) × SU(2) is irreducible if and only if Π = Π_{μ} ⊗ Π_{ν},^{[nb 31]} 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.^{[101]}
Dimension[edit]
The (m, n) representations are (2m + 1)(2n + 1)dimensional.^{[102]} It follows from the Weyl dimension formula. For a Lie algebra g it reads^{[103]}
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 h ⊂ g, 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.^{[104]} 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.
 N is nondiscrete and abelian.
 N is nondiscrete and nonabelian.
 N is discrete. In this case N ⊂ Z, where Z is the center of G.^{[nb 32]}
In the case of SO(3; 1)^{+}, the first case is excluded since SO(3; 1)^{+} is semisimple.^{[nb 33]} The second case (and the first case) is excluded because SO(3; 1)^{+} is simple.^{[nb 34]} 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 finitedimensional vector spaces are faithful.
By using the fundamental Lie correspondence, the statements and the reasoning above translate directly to Lie algebras with (abelian) nontrivial nondiscrete normal subgroups replaced by (onedimensional) nontrivial ideals in the Lie algebra,^{[105]} and the center of SO(3; 1)^{+} replaced by the center of sl(3; 1)^{+}. The center of any semisimple Lie algebra is trivial^{[106]} and so(3; 1) is semisimple and simple, and hence has no nontrivial ideals.
A related fact is that if the corresponding representation of SL(2, ℂ) is faithful, then the representation is projective. Conversely, if the representation is nonprojective, then the corresponding SL(2, ℂ) representation is not faithful, but is 2:1.
Nonunitarity[edit]
The (m, n) Lie algebra representation is not Hermitian. Accordingly, the corresponding (projective) representation of the group is never unitary.^{[nb 35]} This is due to the noncompactness of the Lorentz group. In fact, a connected simple noncompact Lie group cannot have any nontrivial unitary finitedimensional representations.^{[37]} There is a topological proof of this.^{[107]} Let U:G → GL(V), where V is finitedimensional, be a continuous unitary representation of the noncompact 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,^{[108]} U(G) ≈ G., and U(G) is Lie group. This would mean that U(G) is an embedded noncompact 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^{[109]} If U(G) were closed, it would be compact,^{[nb 36]} and then G would be compact,^{[nb 37]} contrary to assumption.^{[nb 38]}
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 antiHermitian.^{[110]} The nonunitarity is not a problem in quantum field theory, since the objects of concern are not required to have a Lorentzinvariant positive definite norm.^{[111]}
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, … , m − n,^{[112]} 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 (½, ½) 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 subrepresentation will be (m + n)ℏ and the "usual" rules of addition of angular momenta and the formalism of 3j symbols, 6j symbols, etc. applies.^{[113]}
Spinors[edit]
It is the SO(3)invariant 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 halfintegral. The simplest are ( ½, 0) and (0, ½), the Weylspinors of dimension 2. Then, for example, (0, ^{3}⁄_{2}) and (1, ½) are a spin representations of dimensions 2^{3}⁄_{2} + 1 = 4 and (2 + 1)(2½ + 1) = 6 respectively. Note that, according to the above paragraph, there are subspaces with spin both ^{3}⁄_{2} and ½ in the last two cases, so these representations cannot likely represent a single physical particle which must be wellbehaved under SO(3). It cannot be ruled out in general, however, that representations with multiple SO(3) subrepresentations with different spin can represent physical particles with welldefined spin. It may be that there is a suitable relativistic wave equation that projects out unphysical components, leaving only a single spin.^{[114]}
Construction of pure spin ^{n}⁄_{2} representations for any n (under SO(3)) from the irreducible representations involves taking tensor products of the Diracrepresentation with a nonspin representation, extraction of a suitable subspace, and finally imposing differential constraints.^{[115]}
Dual representations[edit]
To see if the dual representation of an irreducible representation is isomorphic to the original representation one can consider the following theorems:
 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.^{[116]}
 Two irreducible representations are isomorphic if and only if they have the same highest weight.^{[nb 39]}
 For each semisimple Lie algebra there exists a unique element w_{0} of the Weyl group such that if μ is a dominant integral weight, then w_{0} ⋅ (−μ) is again a dominant integral weight.^{[117]}
 If π_{μ0} is an irreducible representation with highest weight μ_{0}, then π*_{μ0} has highest weight w_{0} ⋅ (−μ).^{[117]}
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 w_{0} = −I. In the case of sl(2, C), the Weyl group is W = {I, −I}.^{[118]} It follows that each π_{μ}, μ = 0, 1, … is isomorphic to its dual π_{μ}*. The root system of sl(2, C) ⊕ sl(2, C) is shown in the figure to the right.^{[nb 40]} The Weyl group is generated by {w_{γ}} where w_{γ} is reflection in the plane orthogonal to γ as γ ranges over all roots.^{[nb 41]} One sees that w_{α} ⋅w_{β} = −I so −I ∈ W. Then using the fact that if π, σ are Lie algebra representations and π ≈ σ, then Π ≈ Σ.^{[119]} The conclusion for SO(3; 1)^{+} is
Complex conjugate representations[edit]
If π is a representation of a Lie algebra, then π is a representation, where the bar denotes entrywise complex conjugation in the representative matrices. This follows from that complex conjugation commutes with addition and multiplication.^{[120]} In general, every irreducible representation π of sl(n, C) can be written uniquely as π = π^{+} + π^{−}, where^{[121]}
with π^{+} holomorphic (complex linear) and π^{−} antiholomorphic (conjugate linear). For sl(2, C), since π_{μ} is holomorphic, π_{μ} is antiholomorphic. Direct examination of the explicit expressions for π_{μ, 0} and π_{0, ν} in equation (S8) below shows that they are holomorphic and antiholomorphic 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
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 on the Clifford algebra and the Dirac spinor representation[edit]
In general representation theory, if (π, V) is a representation of a Lie algebra g, then there is an associated representation of g on End V, also denoted π, given byString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" Likewise, a representation (Π, V) of a group G yields a representation Π on End V of G, still denoted Π, given by^{[122]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 (½, 0) ⊕ (0, ½) representation on End(H) is the nonprojective 4vector ({½, ½) representation.^{[123]}
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 4vector representation of above on this simplified End H has an invariant 4dimensional subspace that is spanned by the four gamma matrices.^{[124]} (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 M_{4}(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, (½, ½), a pseudovector irrep, (½, ½) with parity inversion eigenvalue +1 (not −1), and a tensor irrep, (1, 0) ⊕ (0, 1).^{[125]} The dimensions add up to 1 + 1 + 4 + 4 + 6 = 16. In other words,String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 16dimensional.^{[126]}
The (½, 0) ⊕ (0, ½) spin representation[edit]
The sixdimensional representation space of the tensor (1, 0) ⊕ (0, 1)representation inside Cℓ_{3,1}(R) has two roles. In particular, letting^{[127]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" where {γ^{μ} ∈ Cℓ_{3,1}(R): μ = 0,1,2,3} are the gamma matrices, the {σ^{μν} ∈ Cℓ_{3,1}(R)} , only 6 of which are nonzero due to antisymmetry of the bracket, span the tensor representation space. Moreover, they have the commutation relations of the Lorentz Lie algebra,^{[126]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
and hence constitute a representation (in addition to being a representation space) sitting inside Cℓ_{3,1}(R), the (½, 0) ⊕ (0, ½) 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 spinrepresentation of the Lorentz Lie algebra, which upon exponentiation becomes a spin representation of the group, acting on C^{4}, making it a space of bispinors.
Reducible representations[edit]
There is a multitude of other representations that can be deduced from the irreducible ones, such as those obtained in a standard manner by taking direct sums, tensor products, and quotients of the irreducible representations. Other methods of obtaining representations include the restriction of a representation of a larger group containing the Lorentz group, e.g. GL(n, ℝ). These representations are in general not irreducible, and are not discussed here. It is to be noted though that the Lorenz group and its Lie algebra have the complete reducibility property. This means that every representation reduces to a direct sum of irreducible representations.
Space inversion and time reversal[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. The representations (m, n) ⊕ (n, m) can be extended likewise.^{[128]}
Space parity inversion[edit]
For space parity inversion, one considers the adjoint action Ad_{P} of P ∈ SO(3; 1) on so(3; 1), where P is the standard representative of space parity inversion, P = diag(1, −1, −1, −1), given byString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 X ∈ so(3; 1), g ∈ SO(3; 1)^{+}. If P is to be included in Π, then consistency with (F1)
requires thatString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
holds, where A and B are defined as in the first section. This can hold only if A_{i} and B_{i} have the same dimensions, i.e. only if m = n. When m ≠ n then (m, n) ⊕ (n, m) can be extended to an irreducible representation of SO(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 (½, 0) ⊕ (0, ½)^{[129]} representation.
If parity is included with a minus sign (the 1×1 matrix [−1]) 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^{[130]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" By explicitly including a representative for T, as well as one for P, one obtains a representation of the full Lorentz group SO(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 J^{i} and K^{i} generate the group. These are interpreted as generators of translations. The timecomponent P^{0} is the Hamiltonian H. The operator T satisfies the relation^{[131]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 timereversal 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.^{[132]} It may be expressed as the composition of complex conjugation with multiplication by a unitary matrix.^{[133]} 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, (½, 0) ⊕ (0, ½), 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.^{[134]}
Action on function spaces[edit]
In the classification of the irreducible finitedimensional 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 f ∈ V given byString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
produces another function Πf ∈ V. Here Π_{x} is an ndimensional representation, and Π is a possibly infinitedimensional representation. A special case of this construction is when V is a space of functions defined on the group G itself, viewed as a ndimensional manifold embedded in R^{n}.^{[135]} 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 finitedimensional representations.^{[61]} The completeness of the characters in this sense can thus be used to prove the existence of the highest weight representations.^{[136]} The latter theorem, providing more explicit representations, makes use of the unitarian trick to yield representations of complex noncompact groups, e.g. SL(2, C); in the present case, there is a onetoone 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.^{[137]}
Euclidean rotations[edit]
 Main articles: Rotation group SO(3), Spherical harmonics
The subgroup SO(3) of threedimensional Euclidean rotations has an infinitedimensional representation on the Hilbert space L^{2}(S^{2}) = span{Y^{ℓ}_{m}, ℓ ∈ N^{+}, −ℓ ≤ m ≤ ℓ }, where the Y^{ℓ}_{m} are spherical harmonics. Its elements are square integrable complexvalued functions^{[nb 42]} on the sphere. The inner product on this space is given byString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" If f is an arbitrary square integrable function defined on the unit sphere S^{2}, then it can be expressed as^{[138]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" where the expansion coefficients are given byString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" The Lorentz group action restricts to that of SO(3) and is expressed asString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" This action is unitary, meaning thatString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" 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 odddimensional su(2)representation (the 3dimensional one is exactly so(3)).^{[139]}^{[140]} In this case the space L^{2}(S^{2}) decomposes neatly into an infinite direct sum of irreducible odd finitedimensional representations V_{2i + 1}, i = 0, 1, … according to^{[141]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
This is characteristic of infinitedimensional unitary representations of SO(3). If Π is an infinitedimensional unitary representation on a separable^{[nb 43]} Hilbert space, then it decomposes as a direct sum of finitedimensional unitary representations.^{[138]} Such a representation is thus never irreducible. All irreducible finitedimensional representations (Π, V) can be made unitary by an appropriate choice of inner product,^{[138]}
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]
 Main article: Möbius transformation, Lorentz group#Relation to the Möbius group
The identity component of the Lorentz group is isomorphic to the Möbius group M. 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^{[142]}String Module Error: function rep expects a number as second parameter, received "
 "
. (
)
" and can be represented by complex matricesString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
since multiplication by a nonzero complex scalar does not change f. These are elements of SL(2, ℂ) and are unique up to a sign (since ±Π_{f} give the same f), hence M ≈ SL(2, ℂ)/{I, −I} ≈ SO(3; 1)^{+}.
The Riemann Pfunctions[edit]
 Main article: Riemann's differential equation
The Riemann Pfunctions, solutions of Riemann's differential equation, are an example of a set of functions that transform among themselves under the action of the Lorentz group. The Riemann Pfunctions are expressed as^{[143]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
" where the a, b, c, α, β, γ, α′, β′, γ′ are complex constants. The Pfunction on the right hand side can be expressed using standard hypergeometric functions. The connection is^{[144]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
The set of constants 0, ∞, 1 in the upper row on the left hand side are the regular singular points of the Gauss' hypergeometric equation.^{[145]} Its exponents, i. e. solutions of the indicial equation, for expansion around the singular point 0 are 0 and 1 − c ,corresponding to the two linearly independent solutions,^{[nb 44]} and for expansion around the singular point 1 they are 0 and c − a − b.^{[146]} Similarly, the exponents for ∞ are a and b for the two solutions.^{[147]}
One has thusString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
where the condition (sometimes called Riemann's identity)^{[148]}
on the exponents of the solutions of Riemann's differential equation has been used to define γ′.
The first set of constants on the left hand side in (T1) , a, b, c denotes the regular singular points of Riemann's differential equation. The second set, α, β, γ, are the corresponding exponents at a, b, c for one of the two linearly independent solutions, and, accordingly, α′, β′, γ′ are exponents at a, b, c for the second solution.
Define an action of the Lorentz group on the set of all Riemann Pfunctions by first settingString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" where A, B, C, D are the entries inString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
for Λ = p(λ) ∈ SO(3; 1)^{+} a Lorentz transformation.
DefineString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" where P is a Riemann Pfunction. The resulting function is again a Riemann Pfunction. The effect of the Mobius transformation of the argument is that of shifting the poles to new locations, hence changing the critical points, but there is no change in the exponents of the differential equation the new function satisfies. The new function is expressed asString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" whereString Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
Infinitedimensional unitary representations[edit]
History[edit]
The Lorentz group SO(3; 1)^{+} and its double cover SL(2, C) also have infinite dimensional unitary representations, studied independently by Bargmann (1947), Gelfand & Naimark (1947) and HarishChandra (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 BargmannWigner equations. In Dirac (1945) he proposed a concrete infinitedimensional 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 infinitedimensional 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 HarishChandra (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 3dimensional unit quasisphere in Minkowski space, or equivalently 3dimensional 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).
Principal series[edit]
The principal series, or unitary principal series, are the unitary representations induced from the onedimensional representations of the lower triangular subgroup B of G = SL(2, C). Since the onedimensional representations of B correspond to the representations of the diagonal matrices, with nonzero complex entries z and z^{−1}, they thus have the form
for k an integer, ν real and with z = re^{iθ}. The representations are irreducible; the only repetitions, i.e. isomorphisms of representations, occur when k is replaced by −k. By definition the representations are realized on L^{2} sections of line bundles on G/B = S^{2}, which is isomorphic to the Riemann sphere. When k = 0, these representations constitute the socalled 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 = B ∩ K is the maximal torus in K consisting of diagonal matrices with  z  = 1. It is the representation induced from the 1dimensional representation z^{k} 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 nonnegative integer.
Using the identification between the Riemann sphere minus a point and C, the principal series can be defined directly on L^{2}(C) by the formula^{[149]}
Irreducibility can be checked in a variety of ways:
 The representation is already irreducible on B. This can be seen directly, but is also a special case of general results on irreducibility of induced representations due to François Bruhat and George Mackey, relying on the Bruhat decomposition G = B ∪ B s B where s is the Weyl group element^{[150]}
 .
 The action of the Lie algebra 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 lowestdimensional subspace generates this direct sum as a module.^{[10]}^{[151]}
Complementary series[edit]
The for 0 < t < 2, the complementary series is defined on L^{2} functions f on C for the inner product^{[152]}
with the action given by^{[153]}^{[154]}
The representations in the complementary series are irreducible and pairwise nonisomorphic. 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 on the algebraic sum of these subspaces^{[10]}^{[151]} or directly without using the Lie algebra.^{[155]}^{[156]}
Plancherel theorem[edit]
The only irreducible unitary representations of SL(2, C) are the principal series, the complementary series and the trivial representation. Since −I acts as (−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 L^{2}(G), only the principal series are required. This immediately yields the decomposition on the subrepresentations L^{2}(G/±I), the left regular representation of the Lorentz group, and L^{2}(G/K), the regular representation on 3dimensional 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 L^{2}(G) by
Now if f is an element of C_{c}(G), the operator π_{ν,k}(f) defined by
is Hilbert–Schmidt. Define a Hilbert space H by
where
and HS(L^{2}(C)) denotes the Hilbert space of Hilbert–Schmidt operators on L^{2}(C).^{[nb 45]} Then the map U defined on C_{c}(G) by
extends to a unitary of L^{2}(G) onto H.
The map U satisfies the intertwining property
If f_{1}, f_{2} are in C_{c}(G) then by unitarity
Thus if f = f_{1} ∗ f_{2}* denotes the convolution of f_{1} and f_{2}*, and , then
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 f_{i} in L_{2}(G). By a theorem of Jacques Dixmier and Paul Malliavin, every function f in 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.^{[61]}
Classification[edit]
The strategy followed in the classification of the irreducible infinitedimensional representations is, in analogy to the finitedimensional case, to assume they exist, and to investigate their properties. Thus first assume that an irreducible strongly continuous infinitedimensional representation Π_{H} on a Hilbert space H of SO(3; 1)^{+} is at hand.^{[157]} Since SO(3) is a subgroup, Π_{H} is a representation of it as well. Each irreducible subrepresentation of SO(3) is finitedimensional, and the SO(3) representation is reducible into a direct sum of irreducible finitedimensional unitary representations of SO(3) if Π_{H} is unitary.^{[158]}
The steps are the following:^{[159]}
 Chose a suitable basis of common eigenvectors of J^{2} and J_{3}.
 Compute matrix elements of J_{1}, J_{2}, J_{3} and K_{1}, K_{2}, K_{3}.
 Enforce Lie algebra commutation relations.
 Require unitarity together with orthonormality of the basis.^{[nb 46]}
Step 1[edit]
One may suitably choose a basis and label the basis vectors by
If this was a finitedimensional representation, then j_{0} would correspond the lowest occurring eigenvalue j(j + 1) of J^{2} in the representation, equal to m − n, and j_{1} would correspond to the highest occurring eigenvalue, equal to m + n. In the infinitedimensional case, j_{0} ≥ 0 retains this meaning, but j_{1} does not.^{[65]} One assumes for simplicity that a given j occurs at most once in a given representation (this is the case for finitedimensional representations), and it can be shown^{[160]} that the assumption is possible to avoid (with a slightly more complicated calculation) with the same results.
Step 2[edit]
The next step is to compute the matrix elements of the operators J_{1}, J_{2}, J_{3} and K_{1}, K_{2}, K_{3} forming the basis of the Lie algebra of so(3; 1). The matrix elements of
(here one is operating in the comlpexified Lie algebra) are known from the representation theory of the rotation group, and are given by^{[161]}^{[162]}
where the labels j_{0} and j_{1} have been dropped since they are the same for all basis vectors in the representation.
Due to the commutation relations
the triple (K_{i}, K_{i}, K_{i}) ≡ K is a vector operator^{[163]} and the Wigner–Eckart theorem^{[164]} applies for computation of matrix elements between the states represented by the chosen basis.^{[165]} The matrix elements of
where the superscript (1) signifies that the defined quantities are the components of a spherical tensor operator of rank k = 1 (which explains the factor √2 as well) and the subscripts 0, ±1 are referred to as q in formulas below, are given by^{[166]}
Here the first factors on the right hand sides are Clebsch–Gordan coefficients for coupling j′ with k to get j. The second factors are the reduced matrix elements. They do not depend on m, m′ or q, but depend on j, j′ and, of course, K. For a complete list of nonvanishing equations, see HarishChandra (1947, p. 375).
Step 3[edit]
The next step is to demand that the Lie algebra relations hold, i.e. that
This results in a set of equations^{[167]} for which the solutions are^{[168]}
where
and
Step 4[edit]
The imposition of the requirement of unitarity of the corresponding representation of the group restricts the possible values for the arbitrary complex numbers j_{0} and ξ_{j}. Unitarity of the group representation translates to the requirement of the Lie algebra representatives being Hermitian, meaning
This translates to^{[169]}
leading to^{[170]}
where β_{j} is the angle of B_{j} on polar form. For B_{j} ≠ 0 one has , and ξ_{j} = 1 is chosen by convention. There are two possible cases. The first with j_{1} + j_{1} = 0 gives, with j_{1} = − iν, ν real,^{[171]}
This is principal series and the elements may be denoted (j_{0}, ν), 2j_{0} ∈ ℕ, ν ∈ ℝ. For the other possibility, j_{0} = 0, one has^{[172]}
One needs to require that is real and positive for j = 1, 2, ... (because B_{0} = B_{j0}), leading to −1 ≤ ν ≤ 1. This is complementary series and its elements may be denoted (0, ν), −1 ≤ ν ≤ 1.
This shows that the representations of above are all infinitedimensional irreducible unitary representations.
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. These choices are arbitrary, but once they are made, fixed. One possible choice of basis for the Lie algebra is, in the 4vector representation, given by
The commutation relations of the Lie algebra so(3; 1) are^{[173]}
In threedimensional notation, these are^{[174]}
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.
Weyl spinors and bispinors[edit]
By taking, in turn, m = 1/2, n = 0 and m = 0, n = 1/2 and by setting
in the general expression (G1)
, and by using the trivial relations 1_{1} = 1 and J^{(0)} = 0, one obtainsString Module Error: function rep expects a number as second parameter, received "
 "
(
)
" These are the lefthanded and righthanded Weyl spinor representations. They act by matrix multiplication on 2dimensional complex vector spaces (with a choice of basis) V_{L} and V_{R}, whose elements Ψ_{L} and Ψ_{R} are called left and righthanded Weyl spinors respectively. Given (π(1/2,0), V_{L}) and (π(0,1/2), V_{R}) one may form their direct sum as representations,^{[175]}String Module Error: function rep expects a number as second parameter, received "
 "
(
)
"
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 4component elements (Ψ_{L}, Ψ_{R}) of (V_{L} ⊕ V_{R}), 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]
 Representation theory
 Bargmann–Wigner equations
 Center of mass (relativistic)
 Dirac algebra
 Gamma matrices
 Lorentz group
 Möbius transformation
 Poincaré group
 Representation theory of the Poincaré group
 Symmetry in quantum mechanics
 Wigner's classification
Remarks[edit]
 ↑ The way in which it enters may take many shapes depending on the theory at hand. While not being the present topic, some details will be provided in footnotes labeled "nb", and in the section applications.
 ↑ Weinberg 2002, p. 1 "If it turned out that a system could not be described by a quantum field theory, it would be a sensation; if it turned out it did not obey the rules of quantum mechanics and relativity, it would be a cataclysm."
 ↑ In 1945 HarishChandra came to see Dirac in Cambridge. He became convinced that he was not suitable for theoretical physics. HarishChandra had found an error in a proof by Dirac in his work on the Lorentz group. Dirac said "I am not interested in proofs but only interested in what nature does." HarishChandra later wrote "This remark confirmed my growing conviction that I did not have the mysterious sixth sense which one needs in order to succeed in physics and I soon decided to move over to mathematics." Dirac did however suggest the topic of his thesis, the classification of the irreducible infinitedimensional representations of the Lorentz group. See Dalitz & Peierls 1986
 ↑ This is true of all groups encountered in the present context. There are examples of noncompact Lie groups not allowing a matrix representation.
 ↑ It is tacitly always assumed that each inertial frame has a dedicated Lorentz observer, I. e. someone who has, in principle, a complete record (i. e. coordinates!) of every event as observed in that frame.
 ↑ It isn't actually required that the mapping is onetoone. It is merely required that the mapping is a group homomorphism, i. e. Π(gh) = Π(g)Π(h) into some GL(V) the general linear group of some vector space V. (The vector space V is allowed to be infinitedimensional, e.g a Hilbert space H, in which case one speaks of B(H), linear operators on H instead of GL(V).
 ↑ This transformation is usually expressed differently, see e.g. transformation of the electromagnetic field. That method can be traced converted to applying a 6 × 6matrix like here and vice versa since the field tensor has 6 independent components.
 ↑ It may happen that the multiplication of two representative infinitedimensional matrices is illdefined. The right composition rule can be verified by other means though.
 ↑ See formula (1) in Smatrix#From free particle states for how free multiparticle states transform.
 ↑ Weinberg 2002, Equations 5.1.45. Weinberg deduces the necessity of creation and annihilation operators from another consideration, the cluster decomposition principle, Weinberg (2002, Chapter 4.)
 ↑ A prescription for how the particle should behave under CPT symmetry may be required as well.
 ↑ For instance, there are versions (free field equations, i.e. without interaction terms) of the Klein–Gordon equation, the Dirac equation, the Maxwell equations, the Proca equation, the Rarita–Schwinger equation, and the Einstein field equations that can systematically be deduced by starting from a given representation of the Lorentz group. In general, these are collectively the quantum field theory versions of the Bargmann–Wigner equations. See Weinberg (2002, Chapter 5), Tung (1985, Section 10.5.2) and references given in these works. It should be remarked that high spin theories (s > 1) encounter difficulties. See Weinberg (2002, Section 5.8), on general (m, n) fields, where this is discussed in some depth, and references therein. High spin particles do without a doubt exist, e.g. nuclei, the known ones are just not elementary.
 ↑ For part of their representation theory, see Bekaert & Boulanger (2006), which is dedicated to representation theory of the Poincare group. These representations are obtained by the method of induced representations or, in physics parlance, the method of the little group, pioneered by Wigner in 1939 for this type of group and put on firm mathematical footing by George Mackey in the fifties.
 ↑ Hall (2015, Section 4.4.)
One says that a group has the complete reducibility property if every representation decomposes as a direct sum of irreducible representations.
 ↑ The latter are all unitary, or can be made unitary, see footnote in nonunitarity. This is probably the origin of the name of the trick.
 ↑ Knapp 2001 The rather mysterious looking third isomorphism is proved in chapter 2, paragraph 4.
 ↑ Tensor products of representations, π_{g} ⊗ π_{h} of g ⊕ h can, when both factors come from the same Lie algebra (h = g), either be thought of as a representation of g or g ⊕ g.
 ↑ Combine Weinberg (2002, Equations 5.6.78, 5.6.1415) with Hall (2015, Proposition 4.18) about Lie algebra representations of group tensor product representations.
 ↑ 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.
 ↑ This doesn't necessarily come symmetric directly from the Lagrangian by using Noether's theorem, but it can be symmetrized as the Belinfante–Rosenfeld stress–energy tensor.
 ↑ This is provided parity is a symmetry. Else there would be two flavors, (3/2, 0) and (0, 3/2) in analogy with neutrinos.
 ↑ The exponential mapping need not be onto and the image is in those cases not a group, see e.g. nonsurjectiveness of exponential mapping for SL(2, C) below. Therefore one takes all finite products of elements in the image in order to obtain a group, which necessarily must be closed under multiplication.
 ↑ This is not always the case. For example, the universal covering group of the linear Lie group SL(2, R) is not linear. See Hall (2015, Proposition 5.16.) A quotient of a matrix Lie group need not be linear. This is e.g. the case for the quotient of the Heisenberg group by a discrete subgroup of its center. See Hall (2015, Section 4.8.) However, if G is a compact Lie group, it is representable as a matrix Lie group. This is a consequence of the Peter–Weyl theorem. See Rossmann (2002, Section 6.2.)
 ↑ It's a rather deep fact that all finitedimensional Lie algebras are linear, meaning that they are all Lie subalgebras of the Lie algebra of matrices. This is the content of Ado's theorem. See Hall (2015, Section 5.10.)
 ↑ Hall 2003, Equation 2.16. Due to the physicist conventions, the formula here differs with a factor of i in the exponent.
 ↑ One should note that the terminology differs between mathematics and physics. In the linked article term projective representation has a slightly different meaning than in physics, where a projective representation is though of as a local section (a local inverse) of the covering map from the covering group onto the group being covered, composed with a proper representation of the covering group. Since this can be done (locally) continuously in two ways in the case at hand as explained below, one also speaks of a doublevalued or twovalued representation.
 ↑ In particular, A commutes with the Pauli matrices, hence with all of SU(2) making Schur's lemma applicable.
 ↑ 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 6dimensional, the kernel must be 0dimensional, hence {∅}.
 ↑ The exponential map is onetoone in a neighborhood of 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.
 ↑ Rossmann 2002 From Example 4 in section 2.1 : 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.
 ↑ Rossmann 2002, Proposition 10, paragraph 6.3. This is easiest proved using character theory.
 ↑ Any discrete normal subgroup of a path connected group G is contained in the center Z of G.
Hall 2015, Exercise 11, chapter 1.
 ↑ A semisimple Lie group does not have any nondiscrete normal abelian subgroups. This can be taken as the definition of semisimplicity.
 ↑ A simple group does not have any nondiscrete normal subgroups.
 ↑ By contrast, there is a trick, also called Weyl's unitarian trick, but unrelated to the unitarian trick of above showing that all finitedimensional representations are, or can be made, unitary. If (Π, V) is a finitedimensional representation of a compact Lie group G and if (·, ·) is any inner product on V, define a new inner product (·, ·)_{Π} by (x, y)_{Π} = ∫_{G}(Π(g)x, Π(g)y dμ(g), where μ is Haar measure on G. Then Π is unitary with respect to (·, ·)_{Π}. See Hall (2015, Theorem 4.28.)
Another consequence is that every compact Lie group has the complete reducibility property, meaning that all its finitedimensional representations decompose as a direct sum of irreducible representations. Hall (2015, Definition 4.24., Theorem 4.28.)
It is also true that there are no infinitedimensional irreducible unitary representations of compact Lie groups, stated, but not proved in Greiner & Müller (1994, Section 15.2.).
 ↑ Lee 2003 Lemma A.17 (c). Closed subsets of compact sets are compact.
 ↑ Lee 2003 Lemma A.17 (a). If f:X → Y is continuous, X is compact, then f(X) is compact.
 ↑ The nonunitarity is a vital ingredient in the proof of the Coleman–Mandula theorem, which has the implication that, contrary to in nonrelativistic theories, there can exist no ordinary symmetry relating particles of different spin. See Weinberg (2000)
 ↑ This is one of the conclusions of Cartan's theorem, the theorem of the highest weight.Hall (2015, Theorems 9.4–5.)
 ↑ Hall 2015, Section 8.2 The root system is the union of two copies of A_{1}, where each copy resides in its own dimensions in the embedding vector space.
 ↑ Rossmann 2002 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.
 ↑ The elements of L^{2}(S^{2}) 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.
 ↑ A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.
 ↑ See Simmons (1972, Section 30.) for precise conditions under which two Frobenius method yields two linearly independent solutions. If the exponents do not differ by an integer, this is always the case.
 ↑ 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.
 ↑ If one instead demands finitedimensionality, one ends up with the (m, n) representations, see Tung (1985, Problem 10.8.) If one demands neither, then one obtains a broader classification of all irreducible representations, including the finitedimensional and the unitary ones. This approach is taken by in HarishChandra (1947).
Notes[edit]
 ↑ Bargmann & Wigner 1948
 ↑ Bekaert & Boulanger 2006
 ↑ Tung 1985, Preface.
 ↑ ^{4.0} ^{4.1} Rossmann 2002, Section 6.1.
 ↑ Misner, Thorne & Wheeler 1973
 ↑ Weinberg 2002, Section 2.5, Chapter 5.
 ↑ Tung 1985, Sections 10.3, 10.5.
 ↑ Tung 1985, Section 10.4.
 ↑ Dirac 1945
 ↑ ^{10.0} ^{10.1} ^{10.2} HarishChandra 1947
 ↑ Zwiebach 2004, Section 12.8.
 ↑ ^{12.0} ^{12.1} Bekaert & Boulanger 2006, p. 48.
 ↑ Zwiebach 2004, Section 18.8.
 ↑ ^{14.0} ^{14.1} Greiner & Reinhardt 1996, Chapter 2.
 ↑ Weinberg 2002, Foreword and introduction to chapter 7.
 ↑ Weinberg 2002, Introduction to chapter 7.
 ↑ Tung 1985, Definition 10.11.
 ↑ Greiner & Müller (1994, Chapter 1)
 ↑ Greiner & Müller (1994, Chapter 2)
 ↑ Tung 1985, p. 203.
 ↑ Weinberg (2002, Section 3.3)
 ↑ Weinberg (2002, Section 7.4.)
 ↑ Tung 1985, Introduction to chapter10.
 ↑ Tung 1985, Definition 10.12.
 ↑ Tung 1985, Equation 10.52.
 ↑ Weinberg 2002, Equations 5.1.67.
 ↑ ^{27.0} ^{27.1} Tung 1985, Equation 10.518.
 ↑ Weinberg 2002, Equations 5.1.1112.
 ↑ Tung 1985, Section 10.5.3.
 ↑ Zwiebach 2004, Section 6.4.
 ↑ Zwiebach 2004, Chapter 7.
 ↑ Zwiebach 2004, Section 12.5.
 ↑ ^{33.0} ^{33.1} Weinberg 2000, Section 25.2.
 ↑ Zwiebach 2004, Last paragraph, section 12.6.
 ↑ These facts can be found in most introductory mathematics and physics texts. See e.g. Rossmann (2002), Hall (2015) and Tung (1985).
 ↑ Hall (2015, Theorem 4.34 and following discussion.)
 ↑ ^{37.0} ^{37.1} ^{37.2} Wigner 1939
 ↑ Hall 2015, Appendix D2.
 ↑ Greiner & Reinhardt 1996
 ↑ Weinberg 2002, Section 2.6 and Chapter 5.
 ↑ Lie 1888, 1890, 1893
 ↑ Killing 1888
 ↑ Cartan 1913
 ↑ Brauer & Weyl 1935 Spinors in n dimensions.
 ↑ Weyl 1931 The Theory of Groups and Quantum Mechanics.
 ↑ Weyl 1939 The Classical Groups. Their Invariants and Representations.
 ↑ HarishChandra 1947 Infinite irreducible representations of the Lorentz group.
 ↑ Wigner 1939 On unitary representations of the inhomogeneous Lorentz group.
 ↑ Bargmann 1947 Irreducible unitary representations of the Lorenz group.
 ↑ Bargmann was also a mathematician. He worked as Albert Einsteins assistant at the Institute for Advanced Study in Princeton.
 ↑ Bargmann & Wigner 1948 Group theoretical discussion of relativistic wave equations.
 ↑ Dirac 1928
 ↑ Hall 2003, Introduction to chapter 7.
 ↑ Hall (2015, Theorems 9.4 and 9.5.)
 ↑ Weinberg 2002, Equations 5.6.7–8.
 ↑ Weinberg 2002, Equations 5.6.9–11.
 ↑ ^{57.0} ^{57.1} ^{57.2} Hall 2003, Chapter 6.
 ↑ Hall 2003, Chapter 4.
 ↑ Rossmann 2002, Section 6.5.
 ↑ ^{60.0} ^{60.1} Knapp 2001, Section 2.3.
 ↑ ^{61.0} ^{61.1} ^{61.2} ^{61.3} ^{61.4} ^{61.5} ^{61.6} ^{61.7} Knapp 2001
 ↑ Hall 2015, Definition 4.20 and following remarks.
 ↑ Weinberg 2002, Section 5.6. The equations follow from equations 5.6.78 and 5.6.1415.
 ↑ Weinberg 2002, Equations 5.6.1617.
 ↑ ^{65.0} ^{65.1} Tung 1985
 ↑ Weinberg 2002 See footnote on p. 232.
 ↑ Lie 1888
 ↑ Rossmann 2002, Section 2.5.
 ↑ Rossmann 2002 Theorem 1, Paragraph 2.5.
 ↑ ^{70.0} ^{70.1} Rossmann 2002 Proposition 3, Paragraph 2.5.
 ↑ Rossmann 2002 Theorem 1, Paragraph 2.6.
 ↑ Hall 2015, Corollary 3.44.
 ↑ Hall 2015, Equations 5.14.
 ↑ Hall 2015, Step 1 of proof of theorem 5.10.
 ↑ Hall 2015, Step 2 of proof of theorem 5.10.
 ↑ Hall 2015, Step 3 of proof of theorem 5.10.
 ↑ Hall 2015, Step 3 of proof of theorem 5.10. gives a detailed account.
 ↑ Hall 2015, Theorem 5.6.
 ↑ Hall 2015, Theorem 2.10.
 ↑ Bourbaki 1998, p. 424.
 ↑ Hall 2003, Step 5 in proof of theorem 3.7.
 ↑ Weinberg 2002, Section 2.7 p.88.
 ↑ ^{83.0} ^{83.1} ^{83.2} ^{83.3} ^{83.4} Weinberg 2002, Section 2.7.
 ↑ Weinberg 2002, Appendix B, Chapter 2.
 ↑ Hall 2015, Appendix C.3.
 ↑ Wigner 1939, p. 27.
 ↑ Gelfand, Minlos & Shapiro 1963 This construction of the covering group is treated in paragraph 4, section 1, chapter 1 in Part II.
 ↑ Hall 2015, First displayed equations in section 4.6.
 ↑ Hall 2015, Example 4.10.
 ↑ ^{90.0} ^{90.1} Knapp 2001, Chapter 2.
 ↑ Knapp 2001 Equation 2.1.
 ↑ Hall 2015, Equation 4.2.
 ↑ Hall 2015, Third equation after 4.3.
 ↑ Hall 2015, Equation 4.4.
 ↑ Hall 2015, Equation before 4.5.
 ↑ Knapp 2001 Equation 2.4.
 ↑ Rossmann 2002, Section 2.1.
 ↑ Rossmann 2002, Example 4, section 2.1.
 ↑ Hall 2015, Corollary 3.47.
 ↑ Hall 2003, Appendix A.
 ↑ Hall 2015, Theorems 9.4–5.
 ↑ Weinberg 2002, Chapter 5.
 ↑ Hall 2015, Theorem 10.18.
 ↑ Hall 2003, p. 235.
 ↑ Rossmann 2002 Propositions 3 and 6 paragraph 2.5.
 ↑ Hall 2003 See exercise 1, Chapter 6.
 ↑ Bekaert & Boulanger 2006 p.4.
 ↑ Hall 2003 Proposition 1.20.
 ↑ Lee 2003, Theorem 8.30.
 ↑ Weinberg 2002, Section 5.6, p. 231.
 ↑ Weinberg 2002, Section 5.6.
 ↑ Weinberg 2002, p. 231.
 ↑ Weinberg 2002, Sections 2.5, 5.7.
 ↑ Tung 1985, Section 10.5.
 ↑ Weinberg 2002 This is outlined (very briefly) on page 232, hardly more than a footnote.
 ↑ Hall 2003, Proposition 7.39.
 ↑ ^{117.0} ^{117.1} Hall 2003, Theorem 7.40.
 ↑ Hall 2003, Section 6.6.
 ↑ Hall 2003, Second item in proposition 4.5.
 ↑ Hall 2003, p. 219.
 ↑ Rossmann 2002, Exercise 3 in paragraph 6.5.
 ↑ Hall 2003 See appendix D.3
 ↑ Weinberg 2002, Equation 5.4.8.
 ↑ ^{124.0} ^{124.1} Weinberg 2002, Section 5.4.
 ↑ Weinberg 2002, pp. 215–216.
 ↑ ^{126.0} ^{126.1} Weinberg 2002 Section 5.4.
 ↑ Weinberg 2002, Equation 5.4.6.
 ↑ Weinberg 2002, Section 5.7, pp. 232–233.
 ↑ Weinberg 2002, Section 5.7, p. 233.
 ↑ Weinberg 2002 Equation 2.6.5.
 ↑ Weinberg 2002 Equation following 2.6.6.
 ↑ Weinberg 2002, Section 2.6.
 ↑ For a detailed discussion of the spin 0, 1/2 and 1 cases, see Greiner & Reinhardt 1996.
 ↑ Weinberg 2002, Chapter 3.
 ↑ Rossmann 2002 See section 6.1 for more examples, both finitedimensional and infinitedimensional.
 ↑ Hall 2015, Theorem 12.6.
 ↑ Hall 2003, Chapter 7.
 ↑ ^{138.0} ^{138.1} ^{138.2} Gelfand, Minlos & Shapiro 1963
 ↑ In Quantum Mechanics  nonrelativistic theory by Landau and Lifshitz the lowest order D are calculated analytically.
 ↑ Curtright, Fairlie & Zachos 2014 A formula for D^{(ℓ)} valid for all ℓ is given.
 ↑ Hall 2003 Section 4.3.5.
 ↑ Churchill & Brown 2014, Chapter 8 pp. 307310.
 ↑ Gonzalez, P. A.; Vasquez, Y. (2014). "Dirac Quasinormal Modes of New Type Black Holes in New Massive Gravity". Eur. Phys. J. C (Berlin·Heidelberg: Springer) 74:2969: 3. doi:10.1140/epjc/s1005201429691. ISSN 14346044. http://link.springer.com/article/10.1140%2Fepjc%2Fs1005201429691.
 ↑ Abramowitz & Stegun 1965, Equation 15.6.5.
 ↑ Simmons 1972, Sections 30, 31.
 ↑ Simmons 1972, Sections 30.
 ↑ Simmons 1972, Section 31.
 ↑ Simmons 1972, Equation 11 in appendix E, chapter 5.
 ↑ Gelfand, Graev & PyatetskiiShapiro 1969
 ↑ Knapp 2001, Chapter II.
 ↑ ^{151.0} ^{151.1} Taylor 1986
 ↑ Knapp 2001 Chapter 2. Equation 2.12.
 ↑ Bargmann 1947
 ↑ Gelfand & Graev 1953
 ↑ Gelfand & Naimark 1947
 ↑ Takahashi 1963
 ↑ Folland 2015, Section 3.1.
 ↑ Folland 2015, Theorem 5.2.
 ↑ Tung 1985, Section 10.3.3.
 ↑ HarishChandra 1947, Footnote p. 374.
 ↑ Tung 1985, Equations 7.313, 7.314.
 ↑ HarishChandra 1947, Equation 8.
 ↑ Hall 2015, Proposition C.7.
 ↑ Hall 2015, Appendix C.2.
 ↑ Tung 1985, Step II section 10.2.
 ↑ Tung 1985, Equations 10.35. Tung's notation for Clebsch–Gordan coefficients differ from the one used here.
 ↑ Tung 1985, Equation VII3.
 ↑ Tung 1985, Equations 10.35, 7, 8.
 ↑ Tung 1985, Equation VII9.
 ↑ Tung 1985, Equations VII10, 11.
 ↑ Tung 1985, Equations VII12.
 ↑ Tung 1985, Equations VII13.
 ↑ Weinberg 2002, Equation 2.4.12.
 ↑ Weinberg 2002, Equations 2.4.182.4.20.
 ↑ Weinberg 2002, Equations 5.4.19, 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:hepth/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, arXiv:1402.3541, Bibcode:2014SIGMA..10..084C, 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]
 Abramowitz, M.; Stegun, I. A. (1965). Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables. Dover Books on Mathematics. New York: Dover Publications. ISBN 9780486612720.
 Bargmann, V. (1947), "Irreducible unitary representations of the Lorenz group", Ann. of Math., 48 (3): 568–640, doi:10.2307/1969129, JSTOR 1969129 (the representation theory of SO(2,1) and SL(2, R); the second part on SO(3; 1) and SL(2, C), described in the introduction, was never published).
 Bargmann, V.; Wigner, E. P. (1948), "Group theoretical discussion of relativistic wave equations", Proc. Natl. Acad. Sci. USA, 34 (5): 211–23, Bibcode:1948PNAS...34..211B, doi:10.1073/pnas.34.5.211, PMC 1079095, PMID 16578292
 Bourbaki, N. (1998). Lie Groups and Lie Algebras: Chapters 13. Springer. ISBN 9783540642428.
 Brauer, R.; Weyl, H. (1935), "Spinors in n dimensions", Amer. J. Math., 57 (2): 425–449, doi:10.2307/2371218
 Cartan, Élie (1913), "Les groupes projectifs qui ne laissant invariante aucun multiplicité plane", Bull. Soc. Math. (in French), 41: 53–96
 Churchill, R. V.; Brown, J. W. (2014) [1948]. Complex Variables and Applications (9th ed.). New York: McGraw–Hill. ISBN 9780073383170.
 Dalitz, R. H.; Peierls, Rudolf (1986). "Paul Adrien Maurice Dirac. 8 August 190220 October 1984". Biogr. Mems Fell. R. Soc. 32: 138–185. doi:10.1098/rsbm.1986.0006.
 Dirac, P. A. M. (1928), "The Quantum Theory of the Electron", Proc. Roy. Soc. A, 117 (778): 610–624, Bibcode:1928RSPSA.117..610D, doi:10.1098/rspa.1928.0023 (free access)
 Dirac, P. A. M. (1936), "Relativistic wave equations", Proc. Roy. Soc. A, 155 (886): 447–459, Bibcode:1936RSPSA.155..447D, doi:10.1098/rspa.1936.0111
 Dirac, P. A. M. (1945), "Unitary representations of the Lorentz group", Proc. Roy. Soc. A, 183 (994): 284–295, Bibcode:1945RSPSA.183..284D, doi:10.1098/rspa.1945.0003
 Dixmier, J.; Malliavin, P. (1978), "Factorisations de fonctions et de vecteurs indéfiniment différentiables", Bull. Sc. Math. (in French), 102: 305–330
 Fierz, M. (1939), "Über die relativistische theorie Kräftefreier teilchen mit beliebigem spin", Helv. Phys. Acta (in German), 12 (1): 3–37, doi:10.5169/seals110930(pdf download available)
 Fierz, M.; Pauli, W. (1939), "On relativistic wave equations for particles of arbitrary spin in an electromagnetic field", Proc.Roy. Soc. A, 173 (953): 211–232, Bibcode:1939RSPSA.173..211F, doi:10.1098/rspa.1939.0140
 Folland, G. (2015). A Course in Abstract Harmonic Analysis (2nd ed.). CRC Press. ISBN 9781498727136.
 Gelfand, I. M.; Graev, M. I. (1953), "On a general method of decomposition of the regular representation of a Lie group into irreducible representations", Doklady Akademii Nauk SSSR, 92: 221–224
 Gelfand, I. M.; Graev, M. I.; Vilenkin, N. Ya. (1966), "Harmonic analysis on the group of complex unimodular matrices in two dimensions", Generalized functions. Vol. 5: Integral geometry and representation theory, translated by Eugene Saletan, Academic Press, pp. 202–267, ISBN 9781483229751
 Gelfand, I. M.; Graev, M. I.; PyatetskiiShapiro, I. I. (1969), Representation theory and automorphic functions, Academic Press, ISBN 0122795067
 Gelfand, I.M.; Minlos, R.A.; Shapiro, Z. Ya. (1963), Representations of the Rotation and Lorentz Groups and their Applications, New York: Pergamon Press
 Gelfand, I. M.; Naimark, M. A. (1947), "Unitary representations of the Lorentz group" (PDF), Izvestiya Akad. Nauk SSSR. Ser. Mat. (in Russian), 11 (5): 411–504, retrieved 20141215(Pdf from Math.net.ru)