MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

By the Pati-Salam group I refer to SU(2) x SU(2) x SU(4). It can be obtained as the group of isometries of the 8 dimensional manifold $S^3 \times S^5$, but I wonder if this is the only 8 dimensional manifold having this group of isometries.

This particular manifold is interesting because a quotient by any U(1) will produce a 7 dimensional manifold whose isometry group is the unbroken standard model group, as pointed out by Witten time ago. But my particular curiosity comes because Non Commutative Geometry gets the Pati Salam group from a different setup: the finite algebra $M_2(H) \oplus M_4(C)$, related perhaps to deformations of even spheres.

share|cite|improve this question
up vote 4 down vote accepted

$S^3 \times S^5$ has isometry group $SO_4(\mathbb{R}) \times SO_6(\mathbb{R})$, which has $SU(2) \times SU(2) \times SU(4)$ as a four-fold cover. Since it appears that you aren't worrying too much about central terms, we can replace $S^3$ with $\mathbb{R}P^3$, $S^5$ with $\mathbb{R}P^5$, or take a quotient by a diagonal group of order 2.

I'm pretty sure these are the only connected choices, because we can characterize homogeneous orbits by the stabilizers of points. In this case, you need a closed subgroup of Pati-Salam of dimension at least 13 whose intersection with each factor group is not the whole factor. There just aren't that many subgroups of suitably large dimension: we need a diagonally embedded $SU(2)$ (possibly with a central translate) to get dimension at least 3 in the first factors, and we need Spin(5) in the last factor to get dimension at least 10. This forces the orbits to be connected components.

share|cite|improve this answer
Indeed, asking for the classification of the non simply connected cases should be a very different question, albeit an interesting one. For instance, 3 dim lens spaces seem to do a interpolation from $S^3$ to $S^2 \times S^1$, with all the spaces, except $S^3$ itself, having a SU(2)xU(1) group. – arivero May 27 '10 at 0:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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