How to deal with unusual factor-group?

  • Thread starter Thread starter tuu-tikki
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
tuu-tikki
Messages
2
Reaction score
0

Homework Statement


Let symmetry group SU(3) be broken by two Higgs fields in adjoint representation, so as SU(3) is transitive on vacuum manifold M, and the fields in one of vacuums are diagonal:
[tex]v_1 \cdot[/tex] diag(1,1,-2); [tex]v_1 \cdot[/tex] diag(1,-1,0). Find the homotopy groups of vacuum manifold [tex]\pi_2[/tex] (M); [tex]\pi_1[/tex] (M).

Homework Equations



Theorem. M=G/H, if action G is transitive on M, H - stationary subgroup. Stationary subgroup consists of all the elements h[tex]\in[/tex] G which don't change the element of M: F(h) m = m, m[tex]\in[/tex] M. There also is a theorem that the resulting subgroup H doesn't depend on the chosen element m.

The Attempt at a Solution



So, to use the theorem, we have to find stationary subgroup H, and the manifold M would be isomorphic to SU(3)/H. One element of M (we'll call it m) is given right in the problem statement. So, we should find all h that F(h) m = m. The fields do transform on the adjoint representation of SU(3), so it is [tex]h m h^{-1} = m[/tex] which leads us to equation [h,m]=0, [,] is commutator. For the given in the problem statement vacuum m (two expressions for fields) one can find two constraints on all the elements h. In addition to this, elements [tex]h \in H[/tex] are subgroups of SU(3), so, if we take it into account, we'll get such an expression for subgroup H:
[tex]\begin{pmatrix}<br /> e^{i\phi} & 0 &0 \\ <br /> 0 & e^{i\psi}& 0\\ <br /> 0 & 0 & e^{-i\phi-i\psi}<br /> \end{pmatrix}[/tex]

It seems to me that group of such matrices is isomorphic to U(1)xU(1). So, the desired manifold is M= SU(3)/(U(1)xU(1)). Firstly, I want to ask about some site or book where many of the relations using the factor groups are gathered (like [tex]SU(2)/Z_2 = SO(3)[/tex]). They really make life easier sometimes; and, in particular, I want to know if SU(3)/(U(1)xU(1) is isomorphic to some more simple-written group. Moreover, I completely don't understand how to find homotopy groups like [tex]\pi_2[/tex] (SU(3)/(U(1)xU(1))). Give an idea, please. Probably SU(3)/(U(1)xU(1)) is homotopically equivalent to something easy?

Thank you.
 
Last edited:
Physics news on Phys.org
The solution.

I found the answer to it by myself.
There's such a theorem that if there is a bundle (G, G/H, H), G is compact and simply-connected then [tex]\pi_2 (G/H) = \pi_1 (H)[/tex]. Also if G is connected, [tex]\pi_1 (G/H) = \pi_0 (H)[/tex]. So, the desired homotopy classes are [tex]\pi_2 (SU(3)/(U(1)\times U(1))) = \pi_1 (U(1) \times U(1)) = \pi_1 (U(1)) \times \pi_1 (U(1)) = Z \times Z ; \pi_1 (SU(3)/(U(1)\times U(1))) = \pi_0 (U(1) \times U(1)) = 0[/tex].