- #1
arivero
Gold Member
- 3,494
- 167
By space, I mean a vector space which could be a representation of a group or even have some expanded algebraic structure. So I am not sure if this question goes here or in the Algebra subforum.
Consider the tensor square [itex]r\otimes r[/itex] of an irreducible group representation [itex]r [/itex] with itself, and decompose it as irreducible representations. What can we said about the circumstance of finding the initial representation in the list? Or perhaps about finding its conjugate, as for instance in E6:
[tex]27 \otimes 27 = 351 \oplus (\bar{27} \oplus \bar {351})[/tex]
What groups have representations having this "bootstraping"? Can the irrep appear in both parts, symmetric and alternating, of the tensor square? Does it appear in an unique way, or can it be extracted from different combinations of the roots?
Similarly, consider the tensor square [itex]A^{\otimes 2}[/itex] of an algebra. Are there situations where the new algebra does contain the initial one as a subalgebra in a non trivial way? This seems to generalise the question of generating an algebra from a finite number of elements and its n-times product, call it [itex]A^{\times n}[/itex], but perhaps it is not more general... still I wonder what can be said generically about such action. What I am expecting is that some ideal J can be chosen in [itex]A^{\otimes 2}[/itex] such that the quotient recovers the initial algebra. Or some similar mechanism, anyway.
The motivation of the post to be in BSM is, of course, my old observation that by choosing five quarks, out of all the set of three particle generations of the standard model, and pairing them we seem to be able to recover the full three generations, and I wondering if this phenomena could be tracked to some peculiar property in mathematical representation. Thinking it also in algebraic terms is interesting because the attempts to get generations out of the exceptional jordan algebra [itex]h_3(O)[/itex] or its twin [itex]h_3(C \otimes O)[/itex] have some extra matter in the diagonal, an issue that also happens in the naive pairing.
Consider the tensor square [itex]r\otimes r[/itex] of an irreducible group representation [itex]r [/itex] with itself, and decompose it as irreducible representations. What can we said about the circumstance of finding the initial representation in the list? Or perhaps about finding its conjugate, as for instance in E6:
[tex]27 \otimes 27 = 351 \oplus (\bar{27} \oplus \bar {351})[/tex]
What groups have representations having this "bootstraping"? Can the irrep appear in both parts, symmetric and alternating, of the tensor square? Does it appear in an unique way, or can it be extracted from different combinations of the roots?
Similarly, consider the tensor square [itex]A^{\otimes 2}[/itex] of an algebra. Are there situations where the new algebra does contain the initial one as a subalgebra in a non trivial way? This seems to generalise the question of generating an algebra from a finite number of elements and its n-times product, call it [itex]A^{\times n}[/itex], but perhaps it is not more general... still I wonder what can be said generically about such action. What I am expecting is that some ideal J can be chosen in [itex]A^{\otimes 2}[/itex] such that the quotient recovers the initial algebra. Or some similar mechanism, anyway.
The motivation of the post to be in BSM is, of course, my old observation that by choosing five quarks, out of all the set of three particle generations of the standard model, and pairing them we seem to be able to recover the full three generations, and I wondering if this phenomena could be tracked to some peculiar property in mathematical representation. Thinking it also in algebraic terms is interesting because the attempts to get generations out of the exceptional jordan algebra [itex]h_3(O)[/itex] or its twin [itex]h_3(C \otimes O)[/itex] have some extra matter in the diagonal, an issue that also happens in the naive pairing.
Last edited: