5
$\begingroup$

Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times SU(3)_R)/SU(3)_{\rm diag}\cong SU(3)$ and so the coset space is itself a group, but how does this extend to more general examples like say $G/H=SU(5)/(SU(3)\times SU(2)\times U(1))$?

What about the case where the groups are non-compact, say they're spacetime symmetry groups? For example, $G/H= ISO(4,1)/ISO(3,1)$ or $G/H=SO(4,2)/SO(3,1)$?

Improve this question
$\endgroup$
5
  • 3
    $\begingroup$ I think this question is not complete enough. In particular, it is not stated what homotopy classes of maps you want to compute. $\endgroup$
    – Fernando Muro
    Commented Oct 1, 2013 at 21:04
  • 1
    $\begingroup$ Witten computes $\pi_4(SU(3))$ and $\pi_5(SU(3))$ in his paper so I suspect that the OP wishes to know how to calculate the homotopy groups of group coset spaces. $\endgroup$
    – j.c.
    Commented Oct 1, 2013 at 21:48
  • $\begingroup$ Noncompact Lie groups are homotopic to their maximal compact subgroups, so you can reduce to those. $\endgroup$
    – Allen Knutson
    Commented Oct 2, 2013 at 0:20
  • 1
    $\begingroup$ I'm pursuing a crusade so that people do not confuse being homotopic, which is a relation among maps, with being homotopy equivalent, a relation for spaces $\endgroup$
    – Fernando Muro
    Commented Oct 2, 2013 at 9:53
  • $\begingroup$ I don't think you need a crusade for this; the question is simply ambiguous, and the OP should state more clearly what is being asked for: some homotopy groups of these spaces, a homotopy classification of these spaces, or perhaps something entirely different. $\endgroup$
    – Danny Ruberman
    Commented Oct 2, 2013 at 13:55

1 Answer 1

Reset to default
9
$\begingroup$

Let $G$ be a Lie group and $H\subseteq G$ a closed subgroup. The quotient map $G\rightarrow G/H$ is a principal $H$-bundle. In particular, it is an example of a fibration. We then have an associated long-exact sequence of homotopy groups, $$\ldots\rightarrow\pi_n(H)\rightarrow\pi_n(G)\rightarrow\pi_n(G/H)\rightarrow\pi_{n-1}(H)\rightarrow\ldots.$$ So, if you have information about the homotopy groups of $G$ and $H$, you might be able to obtain information about those of $G/H$ using this sequence.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .