Group representations on tensor basis.

rkrsnan
Messages
53
Reaction score
0
I am a physicist, so my apologies if haven't framed the question in the proper mathematical sense.

Matrices are used as group representations. Matrices act on vectors. So in physics we use matrices to transform vectors and also to denote the symmetries of the vector space.
v_i = Sum M_ij v_j
Is there an equivalent group representation that act on tensors instead of vectors?
T_ij = Sum M_iajb T_ab
I guess then we need some group multiplication law...
may be
M_abcd = Sum M_axcy M_xbyd

Does this make any sense? Please provide some references where I can find more information.
 
Physics news on Phys.org
Tensor representations are given by the direct (tensor) product of copies of the vector representation.

They act on the set of tensors of a given rank, which is indeed a linear vector space. These tensors are called Lorentz 4-tensors. For example, consider (2, 0) tensors, that is, tensors with two contravariant (upper) indices T^{/mu /nu).

A representation of the Lorentz group will be a 16 x 16 matrix /Lambda^{/mu /nu}_{/rho /sigma} = /Lambda^{/mu /nu}/Lambda_{/rho /sigma}.

Search for "Lorentz spinors" and the documents you find will give both the matirx version and the tensorial version of the transformations too.
 
I think the natural way to do something like this is to consider a representation into the group of invertible linear operators on the tangent space at a point p of a manifold M. (Do you have a way to associate a representation with each point?) When an invertible linear operator acts on the members of a basis, the result is another basis. Now you can just use the standard stuff about how tensors at p transform under a change of basis of the tangent space at p.
 
Thanks guys for the replies.

What I meant was not a tensor product. Because then it will be
T_ij = Sum M1_ia M2_jb T_ab
What I wrote in my question was a general linear tranformation acting on all components of a two component thingy(need not even be a tensor. I guess if it is a tensor, then I will have to associate a representation at each point etc.)

So the bottomline is that my T_ij is just like a vector with a single index, but the index runs from 1 to n where n is the sum of the individual ranges of i and j. So the question was rather stupid.
 
With my approach, you get transformation rules like T'^i{}_{jk}=(M^{-1})^i{}_l M^m{}_j M^n{}_k T^{\,l}{}_{mn} Not sure if that matters. It seems that what you had in mind was something different.
 
Yeah, I had something else in my mind.
Let me explain why I asked the question.
Consider Z3 group. We may visualize it as a 120 degree rotation of a vector. So the three elements are \left( \begin{matrix}1 \\ 0 \end{matrix}\right ), \left( \begin{matrix}-1/2 \\ \sqrt{3}/2 \end{matrix}\right )and\left( \begin{matrix}-1/2 \\ -\sqrt{3}/2 \end{matrix}\right ). So in physics if I see a vector quantity which is proportional to \left( \begin{matrix}-1/2 \\ \sqrt{3}/2 \end{matrix}\right ), then I may make a guess that the underlying symmetry is Z3.
Now in my case I am encountering a matrix of the form
T = \left( \begin{matrix}1 && 1/\sqrt{2} \\ 1/\sqrt{2} && 1 \end{matrix}\right ) and I need to use some mathematics to 'explain' this particular matrix. I am not sure how to proceed. I mean what is special about this matrix mathematically? What gives you a simple ratio between the diagonal and offdiagonal parts?
 
Last edited:
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...

Similar threads

Replies
0
Views
2K
Replies
8
Views
2K
Replies
2
Views
1K
Replies
1
Views
2K
Replies
1
Views
1K
Replies
3
Views
2K
Replies
4
Views
4K
Back
Top