A Hidden symmetries in subgroups of Lie groups?

  • A
  • Thread starter Thread starter arivero
  • Start date Start date
  • Tags Tags
    Group
arivero
Gold Member
Messages
3,481
Reaction score
187
TL;DR Summary
Wonder all the ways to hide SU(3) inside of SU(5)
I was wondering, consider the group SU(5) and I break it down to SU(3) x SU(2).
To break it, I have taken some choice of roots. But is the choice unique, or by selecting some roots have I left some other SU(3) that could also exist?
If so, is there a way to see the remnants? Not sure how. Perhaps the 15 or the 24 of SU(5) happend to have a lot of equilateral triangles and by taking a choice some of them survive into the representations of SU(3) and some of them dissapear but they are really there and they could be visible somehow.
 
Physics news on Phys.org
Disclaimer: I've been away from this for a while so do cross check and take my assertions here as tentative.

I think what you are talking about is the quotient space (topological space) for these manifolds. The quotient
SU(5)/SU(3) expressed by the short exact sequence 0-->SU(3)-->SU(5)-->SU(5)/SU(3)-->0. (This is a sequence in the category of manifolds I believe.)

Another way to get a handle on this is to consider the representation spaces. Let Hn be the n-dimensional complex Hilbert space. Then U(n) is its automorphism group. You can then understand U(5)/U(3) or rather U(5)/U(3)xU(2) in terms of the Grasmannian of 3 dimensional subspaces (which also identify their respective 2 dimensional orthogonal subspaces) of H5. Note that once you remove the central element of U(5) you will still have U(3)xU(2)/Z2 subgroups but with a central correlation (there's an element central to U(3) and U(2) in SU(5). Indeed this centralizer in SU(5) will specify the specific SU(3)xSU(2) subgroup as its centralizer.

In the matrix representation you'll need two mutually commuting projective operators P3 and P2 such that trace(Pn)=n (they project onto n-dimensional subspaces n=2,3. The defining central element is then:
X= 3/5 P2-2/5 P3 up to sign. Since by construction X is hermitian and traceless it is a generator for the U(1) subgroup {g=exp(iXt); all real t}. This then is the object of interest and its orbit under the SU(5) group gives you that space of all SU(2)xSU(3) subgroups or rather SU(2)xSU(3)xU(1) subgroups (that is provided the quotient space is connected but I think that is the case here.)

Well, that's my 10min stab at your question. I imagine others here may have better answers.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top