Skip to content

SL(2, ℂ) and the Lorentz Group

A real Minkowski vector can be encoded as a Hermitian two-by-two matrix whose determinant is its spacetime norm. Acting on that matrix with SL(2,C)SL(2,\mathbb C) constructs every proper orthochronous Lorentz transformation, with exactly two matrices representing the same transformation. This double cover explains how a two-component spinor can transform consistently while acquiring a minus sign under a 2π2\pi rotation.

Required background. Lorentz Transformations fixes the group components and passive boosts. We use the Pauli identity (a⋅σ)(b⋅σ)=(a⋅b)I+i(a×b)⋅σ(\mathbf a\cdot\boldsymbol\sigma)(\mathbf b\cdot\boldsymbol\sigma) =(\mathbf a\cdot\mathbf b)I+i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma.

For real components xμx^\mu, with x0=ctx^0=ct, define

X=x0I+x1σ1+x2σ2+x3σ3=(x0+x3x1−ix2x1+ix2x0−x3).X=x^0I+x^1\sigma^1+x^2\sigma^2+x^3\sigma^3 =\begin{pmatrix} x^0+x^3&x^1-ix^2\\ x^1+ix^2&x^0-x^3 \end{pmatrix}.

This is an explicit use of upper vector components, not an implicit Minkowski contraction with a lowered sigma matrix. Every Hermitian two-by-two matrix has a unique expansion of this form, and

det⁡X=(x0)2−∣x∣2.\det X=(x^0)^2-|\mathbf x|^2.

For A∈SL(2,C)A\in SL(2,\mathbb C), meaning det⁡A=1\det A=1, let

X′=AXA†.X'=AXA^\dagger .

The result is Hermitian, real-linear in xμx^\mu, and has the same determinant as XX. It therefore defines a real Lorentz matrix Λ(A)\Lambda(A) by x′=Λ(A)xx'=\Lambda(A)x. The assignment respects composition:

Λ(A2A1)=Λ(A2)Λ(A1).\Lambda(A_2A_1)=\Lambda(A_2)\Lambda(A_1).

The Hermitian conjugate is essential. Replacing it by the inverse would describe a different action and would not give the boosts below.

Why the image preserves orientation and the future

Section titled “Why the image preserves orientation and the future”

A future timelike vector corresponds to a positive-definite XX: its eigenvalues are x0±∣x∣>0x^0\pm|\mathbf x|>0. Congruence by an invertible AA preserves positive definiteness. Future null vectors similarly correspond to nonzero positive-semidefinite matrices of rank one. Thus the map preserves the future cone.

Moreover SL(2,C)SL(2,\mathbb C) is connected. One way to see this is polar decomposition: A=HUA=HU, where HH is positive Hermitian with determinant one and U∈SU(2)U\in SU(2). The path HtH^t connects HH to II, and SU(2)SU(2) is connected. The determinant of Λ(A)\Lambda(A) cannot change continuously between +1+1 and −1-1, so the image is in SO+(1,3)SO^+(1,3).

This construction does not produce parity or time reflection. Those disconnected transformations need an extension of the connected-group action, not another choice of AA within SL(2,C)SL(2,\mathbb C).

For a right-handed spatial rotation through θ\theta about a unit vector n\mathbf n, take

AR=exp⁡(−iθ n⋅σ/2)=Icos⁡(θ/2)−in⋅σsin⁡(θ/2).A_R=\exp(-i\theta\,\mathbf n\cdot\boldsymbol\sigma/2) =I\cos(\theta/2)-i\mathbf n\cdot\boldsymbol\sigma\sin(\theta/2).

For example, about zz, conjugation sends σ1\sigma^1 to cos⁡θ σ1+sin⁡θ σ2\cos\theta\,\sigma^1+\sin\theta\,\sigma^2. It leaves x0x^0 unchanged and gives the ordinary spatial rotation.

For the passive boost used in the toolkit, the primed frame moves with velocity ctanh⁡ξ nc\tanh\xi\,\mathbf n. The lift is

AB=exp⁡(−ξ n⋅σ/2)=Icosh⁡(ξ/2)−n⋅σsinh⁡(ξ/2).A_B=\exp(-\xi\,\mathbf n\cdot\boldsymbol\sigma/2) =I\cosh(\xi/2)-\mathbf n\cdot\boldsymbol\sigma\sinh(\xi/2).

Along zz, AB=diag⁡(e−ξ/2,eξ/2)A_B=\operatorname{diag}(e^{-\xi/2},e^{\xi/2}). The diagonal entries of XX then give

x′0=cosh⁡ξ x0−sinh⁡ξ x3,x′3=−sinh⁡ξ x0+cosh⁡ξ x3,\begin{aligned} x'^0&=\cosh\xi\,x^0-\sinh\xi\,x^3,\\ x'^3&=-\sinh\xi\,x^0+\cosh\xi\,x^3, \end{aligned}

while x′1=x1x'^1=x^1 and x′2=x2x'^2=x^2. This checks the rapidity sign against a physical frame convention. The active boost that sends a rest momentum toward +n+\mathbf n uses the inverse lift.

Rotations and boosts generate SO+(1,3)SO^+(1,3), and each has a lift above, so the map is onto that group. Equivalently, map a future unit timelike vector to rest with a boost; any remaining transformation fixes rest and is a rotation.

Suppose AXA†=XAXA^\dagger=X for every Hermitian XX. Setting X=IX=I first gives AA†=IAA^\dagger=I. The remaining condition becomes AX=XAAX=XA for every Hermitian matrix, so AA commutes with all Pauli matrices. It must be a scalar matrix A=aIA=aI. Finally det⁡A=a2=1\det A=a^2=1, hence

ker⁡Λ={I,−I},SO+(1,3)≃SL(2,C)/{I,−I}.\ker\Lambda=\{I,-I\},\qquad SO^+(1,3)\simeq SL(2,\mathbb C)/\{I,-I\}.

If A1A_1 and A2A_2 induce the same Lorentz transformation, A2−1A1A_2^{-1}A_1 lies in this kernel. There are exactly two lifts, not an arbitrary phase freedom. The six real parameters of SL(2,C)SL(2,\mathbb C) encode the three rotations and three boosts.

Under the lift of a continuously performed full rotation, AR(2π)=−IA_R(2\pi)=-I and AR(4π)=IA_R(4\pi)=I. A spinor transforming by AA therefore returns to itself only after 4π4\pi, although the associated vector matrix has already returned after 2π2\pi.

A common overall sign does not change a quantum ray or a bilinear such as AXA†AXA^\dagger. It can matter as a relative phase if only one coherently interfering branch is rotated. The double cover is therefore compatible with both the invariance of probabilities under a global phase and the possibility of detecting relative spinor phases.

The two-component action z↦Azz\mapsto Az is not unitary for boosts: for the zz boost, the squared component norm z†zz^\dagger z of z=(1,0)Tz=(1,0)^T changes by e−ξe^{-\xi}. This finite-component norm is not the conserved integrated one-particle norm. The latter also involves the spacetime argument, hypersurface measure, and current, as explained by Relativistic Currents.

There is a second inequivalent complex two-component action z↦(A†)−1zz\mapsto(A^\dagger)^{-1}z. On rotations the two actions agree, but their boost signs are opposite. They provide the two chiral pieces of a Dirac spinor. A field’s transformation law must also specify its argument: z′(x′)=Az(x)z'(x')=Az(x), with x′=Λ(A)xx'=\Lambda(A)x, is equivalent to z′(x)=Az(Λ(A)−1x)z'(x)=Az(\Lambda(A)^{-1}x). Continue with Weyl Spinors for the two chiral representations and their equations.

  1. Let X=zz†X=zz^\dagger for a nonzero two-component column zz. Show that its associated vector is future null and that this remains true after z↦Azz\mapsto Az.
Solution

XX has rank one and is positive semidefinite. Thus det⁡X=0\det X=0 and x0=tr⁡X/2=z†z/2>0x^0=\operatorname{tr}X/2=z^\dagger z/2>0. After the transformation, X′=(Az)(Az)†X'=(Az)(Az)^\dagger has the same properties because AA is invertible.

  1. For a passive boost along zz with tanh⁡ξ=3/5\tanh\xi=3/5, compute ABA_B and its action on X=IX=I.
Solution

cosh⁡ξ=5/4\cosh\xi=5/4, sinh⁡ξ=3/4\sinh\xi=3/4, and eξ=2e^\xi=2. Therefore AB=diag⁡(1/2,2)A_B=\operatorname{diag}(1/\sqrt2,\sqrt2) and X′=diag⁡(1/2,2)X'=\operatorname{diag}(1/2,2), corresponding to x′0=5/4x'^0=5/4, x′3=−3/4x'^3=-3/4. Its determinant remains one.

  1. Why do the matrices eiφAe^{i\varphi}A not supply an arbitrary continuous family of lifts in SL(2,C)SL(2,\mathbb C)?
Solution

Although the phase cancels in AXA†AXA^\dagger, its determinant is det⁡(eiφA)=e2iφ\det(e^{i\varphi}A)=e^{2i\varphi}. Staying in SL(2,C)SL(2,\mathbb C) requires e2iφ=1e^{2i\varphi}=1, leaving only AA and −A-A.

  • H. K. Dreiner, H. E. Haber, and S. P. Martin, “Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry,” Physics Reports 494, 1–196, 2010, doi:10.1016/j.physrep.2010.05.002; corrected arXiv:0812.1594v6, 2022 — two-component Lorentz representations.
  • S. Weinberg, The Quantum Theory of Fields, Vol. I: Foundations, Cambridge University Press, 1995 — Lorentz transformations, their covering group, and particle states.
  • P. Woit, Quantum Field Theory for Mathematicians, Columbia University course notes, 2024, chapter 10 — vectors, spinors, and the Lorentz real form.