4
$\begingroup$

In the representation theory of the group $SU_2$ a big role is played by so-called $6j-$symbols. Let me sketch its definition (some other interpretations could be found here).

Denote a representation of highest weight $a$ by $V_a.$ The space of invariants $$ Inv(V_a \otimes V_b \otimes V_c \otimes V_d) $$ has two natural bases coming from pairings $$ Inv(V_a \otimes V_b \otimes V_e) \otimes Inv(V_e^* \otimes V_c \otimes V_d ) \longrightarrow Inv(V_a \otimes V_b \otimes V_c \otimes V_d) $$ and $$ Inv(V_a \otimes V_c \otimes V_f) \otimes Inv(V_f^* \otimes V_b \otimes V_d ) \longrightarrow Inv(V_a \otimes V_b \otimes V_c \otimes V_d) $$ for various $e$ and $f$. A $6j-$symbol $$ \begin{bmatrix} a & b & c\\ d & e & f\\ \end{bmatrix} $$ is the corresponding coefficient of an operator on the space $$ Inv(V_a \otimes V_b \otimes V_c \otimes V_d), $$ sending the first basis to the second.

These numbers poses a surprising number of symmetries. The most surprising one is the famous Regge symmetry: $$ \begin{bmatrix} a & b & c\\ d & e & f\\ \end{bmatrix}= \begin{bmatrix} a & s-b & s-c\\ d & s-e & s-f\\ \end{bmatrix}, $$ where $$ s=\frac{b+c+e+f}{2}. $$

Question: How to prove this statement? In physical books it is usually derived as a corollary of a direct computation. Also, any mathematical interpretation of these symmetries will be of great interest to me.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.