Groups and representations

In summary: I didn't specifically say that, but that's what I meant. I think it would be weird for something with two indices that transform under the adjoint representation to be in the fundamental representation.
  • #1
Bobhawke
144
0
I have a few questions:

1) The tensor product of two matrices is define by

[tex] A \otimes B =\left( {\begin{array}{cc}
a_{11}B & a_{12}B \\
a_{21}B & a_{22}B \\
\end{array} } \right)
[/tex]

for the 2x2 case with obvious generalisation to higher dimensions.

The tensor product of two groups is defined by
[tex] G \otimes H = \ { (g,h) \vert g \epsilon G , h\epsilon H \ }
[/tex]

My question is this: Does the tensor product, defined in the first equation, of two matrix representations of groups A and B form a representation of the tensor product of the two groups as defined in the second equation? And if so, why?

A general element of the group AxB is (a,b), with the group operation defined in the obvious way ie
[tex] (a_1 , b_1) * (a_2 , b_2) = (a_1 a_2 , b_1 b_2) [/tex]
My first instinct to form a matrix representation of the group AxB would be to take matrix reps of A and B and make a block diagonal matrix out of them. Then if I multiplied together two such matrices I would get exactly the multiplication law described above.

However, the tensor product of matrix reps of A and B gives something completely different. It is not clear to me that such a matrix should be a rep of the group AxB, or that it should obey the above multiplication law if we use matrix multiplication.

2) Assuming that the tensor product of matric reps of groups A and B gives a matrix rep of the group AxB, then:
If the matrix reps of A and B are in the the fundamental representation, does the matrix I get by taking their tensor product live in the fundamental representation of AxB?

Finally...
3) This all came from a statement in a book I am reading at the moment, namely:
"The electromagnetic current belongs to the singlet and adjoint representation of SU(N)"
where the eleectromagnetic current is
[tex] j_{\mu} = \psi_a \gamma_{\mu} \psi_b [/tex]
where a and b are flavour indices transforming under the fundamental represenation of SU(N). It is not clear to me why this object should be in the "singlet and adjoint representation" of SU(N).



Thanks in advance.
 
Physics news on Phys.org
  • #2
1) Yes.
2) Not necessarily.
3) Follow the defination of adjoint representation. A quick way to see this: the current has no spinor indices like a and b, so it cannot belong to the fundamental represenation of SU(N).
 
  • #3
Do you know where I might find a proof of 1)?

Im having some trouble with 3). I am considering how something with two indices each transforming under the fundamental representation behaves. I get two exponentials, which I want to combine into one, so I am thinking I need to use the BCH formula. In the end I want this to look like

[tex] \exp{i \Lambda^a f^{a}_{bc}} [/tex]

since the structure constants are the generators in the adjoints rep. But I can't see how to get this from the BCH formula.
 
  • #4
I always thought 2 was true. For example, SO(4)=SU(2)xSU(2), and you characterize the irreducible representations of SO(4) by the fundamental representations of SU(2): (0,0), (1/2,0), (0,1/2), (1/2,1/2) ...

I think you're confusing some concepts of group theory. Take the direct product of groups G and H, GxH. If you stack G and H in block-diagonal form in a larger matrix, then this larger matrix does form a representation of the group GxH. However, in general, this representation will be reducible. An example is the fundamental representation of SU(5) under the subgroup SU(3)xSU(2)xU(1). This representation breaks up into (3,1,Y)+(1,2,Y'), where Y and Y' is the U(1) hypercharge which I can't remember.

edit: o wait, for 2) you said fundamental representation, not irreducible representation. oops. actually come to think of it I don't know what fundamental representation means when it comes to direct products of groups.
 
  • #5
Ok I can show that [tex] F_{\mu \nu}= F_{\mu \nu}^a t^a [/tex] transforms under the adjoint representation, in the sense that one of the contracted indices a gets acted on by a matrix in the adjoint rep (which is kinda weird I think), but the proof relies on the fact that it is contracted with the generators. I can't figure out why [tex] \psi_a \psi_b [/tex] would transform under the adjoint because there are no generators kicking about, so the proof I did seems not to work.

RedX, when I said fundamental rep of AxB I guess I assumed that this would be isomorphic to a group whose fundamental rep would be defined.
 
Last edited:

FAQ: Groups and representations

What is a group in mathematics?

A group is a set of elements that follow a specific set of rules, called group axioms. These rules include closure, associativity, identity element, and inverse element. Groups are important in mathematics because they allow us to study symmetry and structure in various mathematical objects.

What is a representation of a group?

A representation of a group is a way of associating each element of a group with a mathematical object, often a matrix. This allows us to study the group through its actions on the mathematical object. Representations are useful in understanding the structure and properties of groups.

What is the difference between a finite and an infinite group?

A finite group has a finite number of elements, while an infinite group has an infinite number of elements. Finite groups have a limited number of possible structures and can be classified, while infinite groups have more diverse and complex structures.

How are groups and symmetries related?

Groups and symmetries are closely connected. In fact, symmetries can be seen as a type of group, called a symmetry group. This group represents all the possible transformations that preserve the symmetry of an object.

What are some applications of group theory?

Group theory has applications in many fields, including mathematics, physics, chemistry, and computer science. It is used to study symmetry, shapes, and patterns, as well as to solve problems in abstract algebra, number theory, and quantum mechanics. In computer science, group theory is used in cryptography and coding theory.

Similar threads

Replies
3
Views
2K
Replies
1
Views
1K
Replies
27
Views
5K
Replies
2
Views
1K
Replies
27
Views
2K
Replies
9
Views
4K
Replies
2
Views
1K
Back
Top