# Can someone give a simple expose on Coleman Mandula theorem and what Mandelstam variables are?

Can someone give a simple expose on Coleman Mandula theorem and what Mandelstam variables are?

Coleman-Mandula is often cited as being the key theorem that leads us to consider Supersymmetry for unification. An overview discussion with sufficient detail is missing in many popular texts. So how does Coleman Mandula theorem actually meet its no-go claim?

-
I'd suggest you try asking two separate questions as the Coleman-Mandula theorem (not theory) has nothing to do with Mandelstam variables. –  pho Jan 23 '11 at 4:03
I am not totally without reference here, Supersymmetry Demystifed by Patrick Labelle makes reference to Mandelstam variables in the discussion of Coleman Mandula. The reference gives an example of one condition for the proof is that elastic scattering amplitudes are analytic functions of Mandelstam variables. –  Humble Jan 23 '11 at 11:59

This a bit of a sketch;

The $S$-matrix acts on shift the state or momentum state of a particle. A state with two particle states $|p, p’\rangle$ is acted upon by the $S$ matrix through the $T$ matrix $$S~=~1~–~i(2\pi)^4 \delta^4(p~–~p’)T$$ So that $T|p, p’\rangle~\ne~= 0$. For zero mass plane waves scatter at almost all energy. The Hilbert space is then an infinite product of n-particle subspaces $H~=~\otimes_nH^n$. As with all Hilbert spaces there exists a unitary operator $U$, often $U~=~exp(iHt)$, which transforms the states S acts upon. $U$ transforms n-particle states into n-particle states as tensor products. The unitary operator commutes with the $S$ matrix $$SUS^{-1}~=~[1 – i(2\pi)^4 \delta^4(p~–~p’)T]U[1~+~i(2π)^4 \delta^4(p~–~p’)T^\dagger]$$$$= U~+~i(2\pi)^4 \delta^4(p~–~p’)[TU~–~UT^\dagger] ~+~[(2\pi)^4 \delta^4(p~–~p’)]^2(TUT^\dagger).$$ By Hermitian properties and unitarity it is not difficult to show the last two terms are zero and that the S-matrix commutes with the unitary matrix. The Lorentz group then defines operator $p_\mu$ and $M_{\mu\nu}$ for momentum boosts and rotations. The $S$-matrix defines changes in momentum eigenstates, while the unitary operator is generated by a internal symmetries $A_a$, where the index a is within some internal space (the circle in the complex plane for example, and we then have with some $$[A_a,~p_\mu]~=~[A_a,~M_{\mu\nu}]~=~0.$$ This is a sketch of the infamous “no-go” theorem of Coleman and Mundula. This is what prevents one from being able to place internal and external generators or symmetries on the same footing.

The way around this problem is supersymmetry. The generators of the supergroup, or a graded Lie algebra, have 1/2 commutator group elements $[A_a,~A_b]~=~C_{ab}^cA_c$ ($C_{ab}^c$ = structure constant of some Lie algebra), plus another set of graded operators which obey $$\{{\bar Q}_a, Q_b\}~=~\gamma^\mu_{ab}p_\mu,$$ which if one develops the SUSY algebra you find this is a loophole which allows for the intertwining of internal symmetries and spacetime generators. One might think of the above anti-commutator as saying the momentum operator, as a boundary operator $p_\mu~= -i\hbar\partial_\mu$ which has a cohomology, where it results from the application of a Fermi-Dirac operator $Q_a$. Fermi-Dirac states are such that only one particle can occupy a state, which has the topological content of $d^2~=~0$. This cohomology is the basis for BRST quantization.

-
I did not discuss Mandelstam variable, but I will lead that to the next contributor. –  Lawrence B. Crowell Jan 23 '11 at 1:56
Very awesome, thanks... Just a note for future readers, Mandelstam variables are discussed in answer provided by Lubos Motl. –  Humble Jan 23 '11 at 12:17

Mandelstam variables $s,t,u$ are quantities with units of squared momentum (or mass) that describe the Lorentz-invariant part of the information about the momenta and energy in $2\to 2$ scattering processes: $$s= (p_1+p_2)^2, \quad t=(p_1-p_3)^2,\quad u=(p_1-p_4)^2$$ If you Lorentz transform the incoming momenta $p_1,p_2$ as well as outgoing ones $p_3,p_4$, the quantities above don't change. So by relativity, all the nontrivial information about the collision is encoded in functions of $s,t,u$. Moreover, $s+t+u=4m^2$ if all four particles' masses are equal to $m$; this is generalized easily if they're different. The Mandelstam variables may also be generalized easily to the case of more than 4 external lines - there are more variables in that case. So the Mandelstam variables are a simple thing, given by the formulae above.

Coleman-Mandula theorem

The Coleman-Mandula theorem shows that theories with (bosonic) symmetry groups that mix the spatial (geometric) and internal parts, i.e. they don't have the form $G_{spacetime}\times G_{internal}$, the interactions essentially vanish, so such theories are not usable for any realistic modeling. So for example, if someone hypothesized that an $E_8$ symmetry may include both rotations in space as well as the Standard Model gauge group, his hypothesis would be instantly ruled out by the theorem.

Concerning the proof, I think that they take the lightest scalar excitation in the given theory, two or several of them, and scatter them. The extra symmetries - besides energy and momentum etc. - will inevitably mean that some tensors have to be conserved in a collision, too. Because these tensors may only depend on the momenta of the particles we scatter and they have too many components that must remain unchanged, they can show that the momenta after the scattering have to be essentially equal to those before the scattering. This already means that the interactions kind of vanish universally.

The theorem assumes that the conserved quantities can't be spinors - with half-integral spin. When fermionic conserved quantities with half-integer spin - supersymmetries - are allowed, one finds out that it is possible to circumvent the original theorem, in theories with supersymmetry, because the conserved spinors are not too constraining. One gets supersymmetric theories but their possibilities are still restricted by a supersymmetric extension of the Coleman-Mandula theorem, the Haag-Lopuszanski-Sohnius theorem.

Cheers LM

-