Regarding equation 3.16 on page 39 of Peskin and Schroeder, we are in the middle of talking about the $SU(2)$ group and its representations. It is said that we can write the generators of the algebra as an antisymmetric tensor: $$J^{ij}=-i(x^i\nabla^j-x^j\nabla^i),\qquad i,j=1,2,3,$$ and that "the generalisation to four-dimensional Lorentz transformations is now quite natural" : $$J^{\mu\nu}=i(x^\mu\partial^\nu-x^\nu\partial^\mu),\qquad \mu,\nu=0,1,2,3. \tag{3.16}$$ "We will soon see that these six operators generate the three boosts and three rotations of the Lorentz group". They then go on to consider a particular $4\times 4$ representation given by the matrices: $$(\mathcal J^{\mu\nu})_{\alpha\beta}=i(\delta^\mu_\alpha\delta^\nu_\beta-\delta^\mu_\beta\delta^\nu_\alpha). \tag{3.18}$$ These are the generators of the Lorentz group in the four-vector representation, but what are the generators in equation 3.16? Are they written in a particular representation? In what way do they "generalise" the the generators of $SU(2)$ written above them?


I suspect you are unfamiliar with the (mercifully) loose language of physicists. Strictly matrix realizations of a Lie algebra, and hence group, are termed Representations, like (3.18); but anything else, including (3.16) and its SU(2) antecedent, are just termed Realizations: versatile maps (linear, in this case) which satisfy the Lie Algebra (3.17).

In this case, you see that (3.16) acting on a 4-vector $x^\beta$ amounts to the action of the 4×4 matrix (3.18), i.e., the 4-D representation. But acting on more general homogeneous functions of the coordinates (tensors), it would produce other representations.

The two realizations, up to signs and flukey noncompaction metrics, should be related by inspection: they are rotations in 3-D and 4-D spaces, respectively. My gut says you'd enjoy Robert Gilmore's and Brian Wybourne's books, illustrating this language relentlessly.

  • $\begingroup$ I think I understand the distinction now. When we look at "representations" of, say, $\mathfrak{su}(2)$ in which the elements of the algebra become differential operators acting on a space of functions, these are technically just "realisations" of the algebra, since they can't be written as matrices? I guess my follow up on that would be is this true for all infinite dimensional representations? Since they can't be written as matrices. $\endgroup$ – Charlie Oct 28 '20 at 13:52
  • 1
    $\begingroup$ Yes. Many of them can be written as matrices, however, if the limit to infinity can be specified more or less adequately. The Heisenberg algebra, the PB algebra, and the Moyal Brackets' algebra are examples. $\endgroup$ – Cosmas Zachos Oct 28 '20 at 14:01
  • $\begingroup$ Ok great! Thanks for clearing that up :) $\endgroup$ – Charlie Oct 28 '20 at 14:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.