# Re: Quantum Gravity Seminar: Week 7: Track 2

• From: baez@galaxy.ucr.edu (John Baez)
• Date: 6 Feb 2001 20:18:05 GMT
• Approved: baez@math.ucr.edu
• Newsgroups: sci.physics.research

```Paul Arendt wrote, concerning
the diagrammatic approach to Clebsch-Gordan coefficients:

>This is absolutely mega-mega cool!

>Somebody asked a short while ago
>of the diagrammatic notation.  I was going to rattle off (what would
>probably have been) some barely intelligible garbage about
>highest-weight decomposition and conventions for Clebsch-Gordan
>coefficients, while not knowing how to do it the polynomial way.
>The diagrams make it seem much, much, much more sensible!

Yes, diagrams are often the way to go for this stuff.

>But I must ask: does the diagrammatic technique generalize to
>other (semisimple?) Lie groups?  A quick guess: only if there's
>a unique fundamental representation?

Good guess!

The method of diagrams works for studying representations of any
group, but the more you know about the group and its representations,
the more you can do.   Apparently the Wizard will be talking more
some very good reasons: to keep things simple, to connect the subject
momentum, and because SU(2) is important for quantum gravity.

As you guessed, the method of diagrams works especially nicely when your
group has a representation V such that every finite-dimensional
irreducible representation can be produced by taking tensor powers
of V and then applying various "mixtures" of symmetrization and
antisymmetrization.  To describe these "mixtures" we need to use
"Young diagrams", as sketched here:

http://math.ucr.edu/home/baez/week157.html

All the "classical" Lie groups work this way, e.g. SL(n,R), SL(n,C),
SU(n), SO(n), and Sp(n).   In every case we can use the obvious
n-dimensional representation as our representation V.  Folks call
this the "fundamental" representation.  It's usually not the *unique*
representation with the above property, but that's okay.

The case of SU(2) is even nicer, because in this case, to get all
the irreducible representations, all we need is *symmetrized* tensor
powers of the fundamental rep V = C^2.  So we don't even need Young
diagrams!

The same is true for SO(3), of course.