# Irreducible tensors concept

This might be a little naive question, but I am having difficulty grasping the concept of irreducible tensors. Particularly, why do we decompose tensors into symmetric and anti-symmetric parts? I have not found a justification for this in my readings and would be happy to gain some intuition here.

-

## 3 Answers

You can decompose a rank two tensor $X_{ab}$ into three parts:

$$X_{ab} = X_{[ab]} + (1/n)\delta_{ab}\delta^{cd}X_{cd} + (X_{(ab)}-1/n \delta_{ab}\delta^{cd}X_{cd})$$

The first term is the antisymmetric part (the square brackets denote antisymmetrization). The second term is the trace, and the last term is the trace free symmetric part (the round brackets denote symmetrization). n is the dimension of the vector space.

Now under, say, a rotation $X_{ab}$ is mapped to $\hat{X}_{ab}=R_{a}^{c}R_{b}^{d}X_{cd}$ where $R$ is the rotation matrix. The important thing is that, acting on a generic $X_{ab}$, this rotation will, for example, take symmetric trace free tensors to symmetric trace free tensors etc. So the rotations aren't "mixing" up the whole space of rank 2 tensors, they're keeping certain subspaces intact.

It is in this sense that rotations acting on rank 2 tensors are reducible. It's almost like separate group actions are taking place, the antisymmetric tensors are moving around between themselves, the traceless symmetrics are doing the same. But none of these guys are getting rotated into members "of the other team".

If, however, you look at what the rotations are doing to just, say the symmetric trace free tensors, they're churning them around amongst themselves, but they're not leaving any subspace of them intact. So in this sense, the action of the rotations on the symmetric traceless rank 2 tensors is "irreducible". Ditto for the other subspaces.

-

Can you convince me that the symmetric part alone (without subtracting off the trace) is reducible? Is it as simple as saying "there is a subspace $\delta_{ab} Tr(X)$ of $X_{(ab)}$ which transforms to itself under rotations"? – levitopher Jan 17 '12 at 21:37
@cduston  Yes, the orthogonality property of the rotation matrix means that their action on $\delta_{ab}$ preserves $\delta_{ab}$ and hence the one dimensional subspace of multiples of $\delta_{ab}$ is preserved. – twistor59 Jan 18 '12 at 9:05
@twistor59: How would you mathematically prove that the traceless symmetric part is irreducible? – ramanujan_dirac Feb 21 at 4:01
@ramanujan_dirac Just thinking about SO3, probably the easiest way is to re-examine the argument that led to the (antisymm+symm_traceless+trace) decomposition and try to apply it again.  We started with a 9 dim space of rank 2 tensors, and found the 1, 4 and 5 dimensional subspaces by using the invariant tensors $\delta_{ab}$ and $\epsilon_{abc}$.  Given that these are the only invariant tensors, then if we wanted an inv't subspace of the 5dim space of symm traceless tensors, we'd have to get it by applying these tensors to the symm. traceless tensors, which can only give trivial answers. – twistor59 Feb 22 at 13:24

Physicists are always interested in what properties of a physical system are invariant under symmetries. If it's tricky to see the symmetry then they'll rearrange the system to make the symmetry more obvious.

For example, consider a covariant rank two tensor like $T^{ab}$. In general the components of this tensor will change if the tensor is rotated in 3D. It's hard to see what might be invariant under rotation.

Now consider a symmetric tensor $S^{ab}$. Again, the components of this tensor will change when it is rotated. However, the property of being symmetric is preserved. So from a physicist's point of view this is interesting. Similarly, an antisymmetric tensor $A^{ab}$ remains antisymmetric when rotated.

So we have nice properties that are preserved for these special classes of tensor, but not for $T^{ab}$. But as you probably know, any tensor $T^{ab}$ can be written as a sum of symmetric and antisymmetric parts, $T^{ab}=S^{ab}+A^{ab}$. So now we know that $T^{ab}$ can be written as a sum of two parts, each of which behaves more simply when rotated. This simplifies the analysis of what happens to $T^{ab}$ when it is rotated.

Once we've done that once the obvious question is "can we do this again"? It'd be nice if we could break $T^{ab}$ into more pieces that behave as simply as possible under rotations.

There's another class of tensor that behaves nicely under rotation: the diagonal tensors of the form $\alpha\delta_{ab}$. Under rotations, they simply map to themselves. That's as simple as it gets. There's also a kind of converse class: the symmetric tensors of trace zero. These keep their trace of zero when they are rotated. But here's the nice bit: any symmetric tensor can be written as the sum of a diagonal tensor and a trace-zero symmetric tensor. So now we've broken down $T^{ab}$ into three pieces, each of which has a nice invariance property with respect to rotations.

Can we keep going? Well it turns out for covariant rank two tensors in 3D this is as far as we can go. If we try to break up the antisymmetric matrices, say, as the sum of two pieces from a pair of complementary classes, we'll always find that some rotation will move an element of one class into the other. So three classes is as far as we can go. The elements of these classes are the irreducible tensors.

The space of covariant rank two tensors has dimension 9. It is the sum of three spaces: the diagonal tensors (a space of dimension 1), the antisymmetric tensors (dimension 3) and the symmetric trace-zero tensors (dimension 5). 1+3+5=9.

For tensors of different rank, and in different dimensions, you get different irreducible tensors.

-

To get the intuition, it is better to become familiar with Wigner–Eckart theorem and spherical tensors which generalize these ideas.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 23, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9374856352806091, "perplexity_flag": "head"}