# Bootstraping a space from its tensor square

• I
• arivero
In summary: I don't remember the details. In summary, the author is exploring the possibility that by playing with different tensor products, one can eventually arrive at the original representation of a group or algebra.
arivero
Gold Member
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 $r\otimes r$ of an irreducible group representation $r$ 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:

$$27 \otimes 27 = 351 \oplus (\bar{27} \oplus \bar {351})$$

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 $A^{\otimes 2}$ 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 $A^{\times n}$, 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 $A^{\otimes 2}$ 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 $h_3(O)$ or its twin $h_3(C \otimes O)$ have some extra matter in the diagonal, an issue that also happens in the naive pairing.

Last edited:

- There is a lot of casuistic. By inspecting the tables of kronecker products, we have cases where the irrep is recovered either in the symmetric part of the square
$$SU(6): 15 \otimes 15 = \bar {105}^s + \bar{105}^a + \bar{15}^s$$
or in the alternating,
$$SU(3): 3 \otimes 3 = 6^s + \bar 3^a$$
or not recovered at all. The tensor square of the adjoint tends to appear in the antisymmetric part, but for the lower SU(n) groups it appears in both parts, duplicated. The groups with triality, as SO(8), could even have a more complex way via the product of same dimension but different irreps.

- the finding in the standard model has not a obvious place in the list because it is formulated in the flavour subgroup of the selected quarks, namely in SU(5), and not with an irreducible but as:
$$(5 \oplus \bar 5) \otimes (5 \oplus \bar 5) \supset 24 \oplus 15 \oplus \bar{15}$$
via $5 \otimes \bar 5 = 24 \oplus 1$ and $5 \otimes 5= \bar{15} \oplus 10$ . There is the obvious hope of fitting it inside E6, perhaps adding the other $\bar {24}$ of the product to sum 78, or considering $27 \oplus \bar {27}$.

Last edited:
A related result that is not fully intuitive to me is that if the representation is faithful, then by iteratively tensoring and decomposing we will eventually arrive to any representation. Some proofs can be found in the question sites: http://math.stackexchange.com/quest...on-of-a-compact-group-occur-in-tensor-product http://mathoverflow.net/questions/5...on-of-a-compact-group-occur-in-tensor-product
Of course, once you admit any combination of tensor product, you can just tensor the fundamental representations as many times you need to produce the weights. I think the square tensor is a funnier think because in some way it minimizes the usage of constituents.
An intermediate step before to play with any tensor product is to consider the tensor cube. The existence of the conjugate representation in the tensor square surely helps to the existence of the singlet in the tensor cube; and the existence of the singlet in the tensor cube is a precondition for the colour group (Cvitanovic says it? See http://journals.aps.org/prd/abstract/10.1103/PhysRevD.27.616 too).

Last edited:
The appendix of the above referred article (Three-preon models of quarks and leptons and the generation problem) addresses in the appendix a related question: when does a tensor cube generate a singlet. Of course, composites need singlets, and also the question of when a tensor square generates a singlet has some interest in the faq-web: http://mathoverflow.net/questions/64925/occurence-of-trivial-representation-in-a-tensor-square . Pretty obviously if the square contains both the trivial and the original representation, also the cube will. Thus the discussion hints about necessary conditions to get $R \otimes R \supset R$

More precisely it is claimed, I guess by inspection, that $R \otimes R \supset R \oplus 1 \oplus ...$ happens for real or pseudoreal representations of SU(n), E6 and SO(4n+2), as well as some representations of the other groups SO(2n+1) SO(4n) Sp(2n) E7 E8 F4 and G2, and so to have a "bootstrap of a representation" is not a very selective criteria for a Lie group .

To close the topic, there was also some nice introduction to tensor squares here: https://arxiv.org/pdf/1504.07732.pdf

## What is "Bootstraping a space from its tensor square"?

"Bootstraping a space from its tensor square" is a mathematical concept that involves using the tensor product of two vector spaces to construct a new vector space with desirable properties. This method is often used in theoretical physics to study the properties of quantum fields and gauge theories.

## How does one "bootstrap" a space from its tensor square?

The process of "bootstrapping" a space from its tensor square involves finding a set of constraints or symmetries that the new space should satisfy, and then constructing a basis for the new space using these constraints. This can be a complex process and often requires advanced mathematical techniques.

## What are the advantages of bootstraping a space from its tensor square?

Bootstraping a space from its tensor square allows for the construction of new spaces with desired properties without explicitly specifying a Lagrangian or Hamiltonian. This can be useful in understanding the fundamental properties of a physical system and can lead to new insights and theories.

## Are there any practical applications of bootstraping a space from its tensor square?

Yes, bootstraping a space from its tensor square has been used in theoretical physics to study the properties of quantum field theories and gauge theories. It has also been applied in other fields such as statistical mechanics and string theory.

## What are some potential challenges or limitations of bootstraping a space from its tensor square?

One potential challenge is that the process of "bootstrapping" can be computationally intensive and may require advanced mathematical techniques. Additionally, the resulting space may be highly abstract and difficult to interpret physically. Furthermore, the constraints used to construct the new space may not always lead to a unique solution, making it difficult to generalize the results.

• Beyond the Standard Models
Replies
3
Views
2K
• Linear and Abstract Algebra
Replies
13
Views
1K
• Beyond the Standard Models
Replies
61
Views
6K
• Linear and Abstract Algebra
Replies
8
Views
2K
• Quantum Physics
Replies
27
Views
1K
• Beyond the Standard Models
Replies
1
Views
2K
• Linear and Abstract Algebra
Replies
1
Views
2K
• General Math
Replies
6
Views
1K
• Atomic and Condensed Matter
Replies
2
Views
2K
• Quantum Physics
Replies
5
Views
2K