Undergrad What is the definition of trace for n-indexed tensor in group theory?

  • Thread starter Thread starter dontknow
  • Start date Start date
  • Tags Tags
    Symmetric Tensor
Click For Summary
The discussion focuses on the definition of trace for n-indexed tensors in group theory, particularly in the context of rotation groups. It explains how a 2-index tensor can be decomposed into an antisymmetric vector, a symmetric traceless tensor, and a scalar, with the trace being invariant and reducing dimensions from 6 to 5. However, for 3-index tensors, taking a trace with a 2-dimensional Kronecker delta does not yield an invariant quantity. The conversation raises the question of whether a symmetric traceless 3-index tensor can be formed by subtracting a vector-like quantity. The discussion emphasizes the complexity of defining trace for higher-index tensors and the role of angular momentum in understanding these transformations.
dontknow
Messages
8
Reaction score
1
TL;DR
Reducing Representations of tensors
I was reading zee's group theory in a nutshell.
I understand that we can decompose a 2 index tensor for rotation group into an antisymmetric vector(3), symmetric traceless tensor(5) and a scalar(trace of the tensor). Because "trace is invariant" it put a condition on the transformation of symmetric tensor elements, reduces it further from dimension from 6 to 5. But when we go for 3-index tensor and try to take a trace with 2 dimension Kronecker delta, we don't get an invariant quantity (like trace(scalar) for 2 index tensor). Can we really make a "symmetric traceless" 3 index tensor by subtracting a quantity which kind of transform like a vector?
What's the definition of trace for n indexed tensor (if possible specify reasons)?
Sorry for not posting any mathematical equation.
Thanks in advance
 
Physics news on Phys.org
For rotations in three dimensions one can use addition of angular momentum. Let a vector be one unit of angular momentum, ##\mathbf{1}##. The two index tensors looks like.

##\mathbf{1}\otimes \mathbf{1} = \mathbf{0} \oplus \mathbf{1} \oplus \mathbf{2}##

where ##\mathbf{1}## transforms like a vector and ##\mathbf{2}## is your trace free symmetric tensor. This all follows from the Clebach-Gordan coefficients. So, just add an additional vector to the above to get the three index tensors. Clearly the only way to get a scalar in the three index case is to add a vector to the ##\mathbf{1}## representation above. There may be more than one way to do this since the order in which one couples the indices may be important.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
9K
  • · Replies 6 ·
Replies
6
Views
2K