1
$\begingroup$

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?

$\endgroup$
1
  • $\begingroup$ I am actually quite confused by equation 3.16. Where is the metric? How to derive 3.17 from 3.16? $\endgroup$
    – S. Kohn
    Jan 31, 2022 at 4:48

1 Answer 1

2
$\begingroup$

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.

$\endgroup$
3
  • $\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, 2020 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$ Oct 28, 2020 at 14:01
  • $\begingroup$ Ok great! Thanks for clearing that up :) $\endgroup$
    – Charlie
    Oct 28, 2020 at 14:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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