## Manifolds whose isometry group is Pati-Salam?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

-

## 1 Answer

$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.

-

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 2010 at 0:04
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9421646595001221, "perplexity_flag": "head"}