For an unpolarized electromagnetic target, Lorentz covariance and parity symmetry in quantum field theory permit a symmetric hadronic tensor built from , and , where . Its surviving general form is
The totally antisymmetric tensor structure is excluded by electromagnetic parity symmetry in quantum field theory for this unpolarized target. The other possible antisymmetric structure, , cannot be transverse for generic scattering kinematics and hence is excluded by current conservation. Current conservation gives the Ward identities , imposing
Two scalar functions remain. Taking gives the transverse basis
These are the deep-inelastic structure functions; is Bjorken x. At fixed target mass, the two independent Lorentz scalar invariants can equivalently be chosen as . In this paper has dimensions of mass squared, rather than the alternative convention used for energy transfer.
Work in four-dimensional Minkowski spacetime, with in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.
The Spinor representation of the Lorentz group gives
Here denotes the Lorentz algebra matrices in the convention of the paper. Moving to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.
The tensor product of group representations
is a Lorentz four-vector. The only such even generator is , so the mixed anticommutator must be
Applying Hermitian conjugation makes a Hermitian matrix. Positivity of for every linear combination of supercharges makes a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain . Thus counts the independent nontrivial supercharges.
For equal chirality, the tensor product of group representations is
Consequently the tentative equal-chirality anticommutator can contain and a symmetric spinor tensor , where is the intertwining operator for Lorentz covariance onto . Symmetry of the anticommutator under forces and . At this stage is an internal Lorentz scalar, hence commutes with ; its full centrality will follow below.
To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave only
and the relation obtained by Hermitian conjugation. The graded Jacobi identity for , using , gives
where means entrywise complex conjugation. This equation alone would not imply . Contract the graded Jacobi identity
with . The term drops out because its spinor tensor is symmetric, and makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of . Thus . It follows that and , whence . Applying Hermitian conjugation proves the same assertion for :
Returning to the uncontracted graded Jacobi identity now gives . Since the Lorentz algebra generators do not commute with translations, the tentative term must have . Hence
In particular for . The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.
The graded Jacobi identity for , together with , gives . As a Lorentz scalar, commutes with , and it already commutes with . Closure and Lorentz covariance make for some coefficients. Apply the graded Jacobi identity once more:
Thus . Since every and is itself an anticommutator of supercharges, the 's also commute with each other and their conjugates. Therefore are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.
For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum with , and take the finite internal space of states at that four-momentum. Let be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed , summing the diagonal spinor indices gives
because and the Pauli matrices are traceless. Cyclicity of the operator trace and imply
The supertrace of the preceding summed anticommutator therefore vanishes:
This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.
Use the Minkowski metric and define the electromagnetic field tensor by
As a rank-two Lorentz tensor, it transforms under a Lorentz transformation as
Two independent quadratic electromagnetic field invariants are
With , , and , the components are
Direct contraction gives
where the sign of changes if the opposite spacetime orientation is chosen. Since both are complete tensor contractions, and are Lorentz scalars.
For a constant uniform field, the relativistic Lorentz force is a constant-coefficient linear ordinary differential equation. Its solution is the matrix exponential
Now implies that the field is a null electromagnetic field:
The stated axes allow us to choose
Put . On the coordinates, the mixed tensor divided by is
The particle starts with four-velocity , so the exponential terminates after its quadratic term and gives
Integrating with the particle initially at the origin gives the relativistic trajectory in a constant null crossed field
Eliminating yields
If the original positive direction is opposite to , both the sign of and the displayed signed coefficient reverse.
In the Weyl representation of the gamma matrices,
A Lorentz transformation acts as with . In this basis a boost is block diagonal and gives and .
For boosts, the two exponentials cancel in ; for rotations, the unitary rotation and its inverse cancel. Hence this bilinear is a Lorentz scalar. The Pauli matrices obey the identity
shows that acquires the right-handed boost matrix and the usual rotation matrix, so it is right-handed.
For , a Dirac spinor and vector field transform as
where . Hence the spinor terms and are Lorentz scalars. The Maxwell term is real. Integration by parts and show that the adjoint of differs from it by . Finally, is Dirac-Hermitian, so the real coefficient makes the Pauli bilinear real. Thus the action is real.
The antisymmetric transforms as a Lorentz tensor, so its complete contraction
is a Lorentz scalar. Hence
Parts ii and v give . It therefore commutes with every generator of the Super-Poincaré algebra and is a Casimir element, called the superspin Casimir.
Scalar field theory Created 2026-10-07 Updated 2026-10-13
A scalar field theory describes one or more Lorentz scalar fields through an action. The displayed Lagrangian density is a common classical normalization for a real scalar field; a complex scalar field has two real components. Canonical quantization turns these classical degrees of freedom into operators. The free real scalar field gives spin-zero particles, while interactions arise from the potential .
In light-cone coordinates on two-dimensional Minkowski spacetime, add two real odd Grassmann variables . With left Grassmann derivatives, the supercharges and supersymmetric covariant derivatives can be represented as
The identity gives , , , and for every . A Lorentz boost acts as , . Thus have boost weights , and is a Lorentz scalar. Since it commutes with both supercharges, an equation for an even scalar superfield is Lorentz invariant and supersymmetry covariant.