Originally posted by lethe
this is news to me
One common technique used in constructing the representations of the lorentz group begins with the canonical re-expression of the standard commutation relations among it's generators in terms of two decoupled spin 3-vectors
Ai and
Bi satisfying the commutation relations
[
Ai,
Aj] = iε
ijkAk
[
Bi,
Bj] = iε
ijkBk
[
Ai,
Bj] = 0.
We find matrices satisfying these in the same way that we find matrices representing the spins of a pair of uncoupled particles - as a direct sum. That is, we label the rows and columns of these matrices with a pair of integers and/or half-integers a, b, running over the values
a = -A, -A+1, ⋅⋅⋅, A
b = - B, -B+1, ⋅⋅⋅, B
and take
(
A)
a'b',ab = δ
bb' (
J(A))
a'a
(
B)
a'b',ab = δ
aa' (
J(B))
b'b
where
J(A) and
J(B) are just the standard matrices for spins A and B. The reps are then labelled by (A, B) and are (2A+1)(2B+1)-dimensional. The generators of the rotation group may then be represented by the hermitian matrices
J =
A +
B.
The usual rules of vector addition show that (A, B)-fields have components that rotate like spin-j objects with
j = A+B, A+B-1, ⋅⋅⋅, |A-B|.
For example, (½, ½)-fields have j = 1 and j = 0 components corresponding to the spatial and temporal parts of a 4-vector. It turns out that massless (A. B)-fields can be formed only from the annihilation and creation operators for massless particles of helicity ±σ in which
σ = B - A.
Since massless lorentz 4-vectors transform in the (½, ½), they can only describe helicity zero. However, the electromagnetic potential a
μ(x) is a massless field of helicity ±1 and thus can't be a true lorentz vector, despite the lorentz index. In fact it transforms under general lorentz transformations Λ as
U(Λ)a
μ(x)U
-1(Λ) = Λ
νμa
ν(Λx) + ∂
μΩ(x,Λ)
where U(Λ) is a unitary rep of the lorentz group and Ω(x,Λ) is a linear combination of annihilation and creation operators.
As I mentioned, we can use fields like a
μ(x) as ingredients in lorentz-invariant physical theories if the
couplings of a
μ(x) are not only
formally lorentz-invariant (that is, invariant under formal lorentz transformations under which a
μ(x) → Λ
μν a
ν), but also invariant under the "gauge" transformations a
μ(x) → a
μ(x) + ∂
μΩ. This is achieved by taking the couplings of a
μ to be of the form a
μj
μ, where j
μ is a conserved 4-vector current, i.e. it satisfies ∂
μj
μ = 0.