13
$\begingroup$

I am reading P&S (Peskin's and Schroeder's book An Introduction to Quantum Field Theory) and in particular Chapter 15.4. At some point the authors say that any infinitesimal group element $g$ can be written as $$g(a)=1+i\alpha^aT^a+\mathcal{O}(\alpha^2).\tag{15.67}$$ I have learnt from my group theory courses (introductory and from the physics perspective) that the group elements $g\in G$ are abstract entities, whose so-called representation maps them to matrices which act on a vector space of some dimensionality. So, my question-concern is: shouldn't the authors speak about this representation and Taylor expand the representation rather than the group elements, i.e. $$D(\alpha)=D[g(\alpha)]=1+i\alpha^aT^a+\mathcal{O}(\alpha^2).$$ This seems to be implying that the identity element is actually the unit matrix. Do the authors mean that there are some symmetry groups of particular interest, in which the identity element is actually the unit matrix? Or do the authors (silently) imply taking the Taylor expansion of the representation?

Any help will be appreciated.

$\endgroup$
3
  • 2
    $\begingroup$ You re right, see also this (the simplest example, useful to set terminology) physics.stackexchange.com/q/563709/226902 $\endgroup$
    – Quillo
    Jun 14 at 12:38
  • 1
    $\begingroup$ The authors do acknowledge the differing viewpoints at the bottom of the page in question: "From the mathematician's viewpoint (considering the generators to be abstract entities rather than Hermitian operators)...." $\endgroup$
    – Buzz
    Jun 15 at 0:40
  • 1
    $\begingroup$ It might also be helpful to read some of Lie's original papers (some of which have been translated into English). For Lie, a group is always a continuous group of (generally nonlinear) transformations acting on some finite dimensional space (this is opposed to the 'discrete' groups studied by Jordan, Klein, and others). In this case, the direct expansion of the element is possible, since you are expanding automorphisms of a vector space with a well-defined coordinate representation. $\endgroup$
    – JMJ
    Jun 15 at 14:51

2 Answers 2

8
$\begingroup$

Yes, OP is right: P&S do not distinguish between the abstract Lie group and its defining representation, which is usually the fundamental representation.

$\endgroup$
4
$\begingroup$

You learnt that in your group theory course, that sounds right. But you must consider the topology. Lie groups are manifolds, so they have tangent spaces (this is an additional structure to being a group: you can talk about continuity, in terms of the matrix parameters probably). This is the Lie algebra. Your Taylor expansion, I feel, is just expressing the Lie algebra as the tangent space.

If you consider group multiplication as a function ($G\times G\to G$), the differential basically gives you the Lie algebra bracket map.

Your use of the phrase "abstract entities" may be your real confusion though? The axioms are stated abstractly, as might proofs and theorems. But variable names are "abstract entities" representing numbers, when you take gradeschool math. This is the same way: a group is a set which still has elements. Here it is a set of matrices.

(Actually, in the field of Lie theory, a Lie group which can be written as a group of matrices, i.e. a Lie group which is isomorphic, is called concrete. You need some nontrivial details about covering groups and representations to prove that there exist non-concrete Lie groups).

Maybe something else you'd like to know: even though not all Lie groups are concrete, every Lie algebra has at least one concrete Lie group for which it is the tangent space. So for any Lie algebra, pick such a group, and then yes: the identity element is the identity matrix. The Lie algebra is the tangent plane, specifically at the identity element of the group. You could look up "PBW formula" and "differential of exponential map" for more details: these are important for mathematical physics.

Anyways, the equations you wrote are just identifying the Lie algebra as the tangent space of the Lie group. Many physics text, including this one, throw you into confusion by blurring the line between the group, and a representation on a particular state space that you're looking at. You've unfortunately got to learn to use context clues to fill in those gaps.

More directly, the answer to your question is: probably. What is Chapter 15.4 talking about? You know $SU_2$ is the spin-$\frac 12$ symmetry group, the Poincare group is the relativistic symmetry group, etc., so you may need to (again) use context clues.

$\endgroup$
1
  • 1
    $\begingroup$ Thank you so much @forgetfulfunctor. $\endgroup$
    – schris38
    Jun 15 at 7:01

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.