- #1
tuu-tikki
- 3
- 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}
e^{i\phi} & 0 &0 \\
0 & e^{i\psi}& 0\\
0 & 0 & e^{-i\phi-i\psi}
\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: