4

Let $iS_x$, $iS_y$, and $iS_z$ be a basis for an irreducible unitary representation of $\frak{su}(2)$, the Lie algebra of the Lie group $SU(2)$. In the physics context, $S_x$, $S_y$, and $S_z$ are spin operators corresponding to a spin-$j$ particle, in which case they would be represented by matrices of size $(2j+1)\times(2j+1)$.

Is it true that $S_x^{2k}+S_y^{2k}+S_z^{2k}, k\in\mathbb{N}$, is always a multiple of the identity matrix? I think this might be a consequence of Schur's Lemma for Lie algebras, but it is not very clear to me.

I ask this because I noticed I always get a multiple of the identity in MATLAB whenever I compute a sum of even powers for the three spin operators.

Any help or insight as to why is highly appreciated! Thanks!

amrsa
  • 14,147
  • A different user has asked a more or less equivalent question here: https://math.stackexchange.com/questions/5085902/algebraic-independence-of-even-polynomials Where is this question from? – Qiaochu Yuan Jul 27 '25 at 18:09
  • 1
    Hi @QiaochuYuan I am the same user just accidentally posted from a different gmail :) I put the same name in both and will request a merge of accounts. Thanks for letting me know! – Ralph Sabbagh Jul 27 '25 at 19:01
  • 2
  • 4
    Ralph, if you cross-post to multiple SE sites, please interlink them as a courtesy. That way people won't waste time reproducing calculations/arguments already done elsewhere. That is an established network wide policy that hopefully makes sense after you realize it. Don't take this the wrong way. Surely no harm was intended :-) – Jyrki Lahtonen Jul 28 '25 at 05:00

1 Answers1

6

Negative. This fails already for large enough representations with $k=2$. Barring a programming error the first counterexample I found occurs with the 5-dimensional representation.


I don't want to carry out computations like this by paper & pencil alone, so I needed to reformulate this with something I can plug into a CAS (in my case Mathematica).

The generators of this Lie algebra (= the Pauli spin matrices) act on the 2-dimensional space $V$ spanned by two vectors $u$ and $v$ that I choose to treat as variables via the partial differential operators: $$ \begin{aligned} S_x(p)&=v\frac{\partial p}{\partial u}+u\frac{\partial p}{\partial v},\\ S_y(p)&=i v\frac{\partial p}{\partial u}-i u\frac{\partial p}{\partial v},\\ S_z(p)&=u\frac{\partial p}{\partial u}-v\frac{\partial p}{\partial v}.\\ \end{aligned} $$ My motivation for using partial differential operators is twofold. Most importantly the exact same operator relation then also applies to the symmetric powers $Sym^n(V)$, this is well known (at least in the case of the complexification $\mathfrak{sl}_2$ that I am more familiar with). The symmetric power $Sym^n(V)$ is exactly the $(n+1)$-dimensional irreducible representation of $\mathfrak{su}_2$, so it suffices to scan the list of them to settle this question. Also, $Sym^n(V)$ is then the space of homogeneous polynomials of degree $n$ in the two unknowns $u,v$. This takes us to my second motivation — it is easy to program a CAS to apply an algebraic combination of partial differential operators to a generic homogeneous polynomial!

Concentrating on the case $k=2$, so the operator $$ \Delta:=S_x^4+S_y^4+S_z^4. $$

It turns out (make your computer eat the program) that, for example, $\Delta(p)=123 p$ for all homogeneous cubic polynomials $p(u,v)$. I believe that examples like this guided the OP to their conjecture.

However, in $Sym^4(V)$ see the following: $$ \begin{aligned} \Delta v^4&=48(u^4+7v^4),\\ \Delta v^3u&=288 v^3u,\\ \Delta v^2u^2&=384 v^2u^2,\\ \Delta vu^3&=288 vu^3,\\ \Delta u^4&=48(v^4+7u^4). \end{aligned} $$ So $\Delta$ does not act as a scalar on the 5-dimensional irreducible representation. Consequently it won't belong to the center of the universal enveloping algebra either.


It may be worth noting that the operator $$ L^2:=S_x^2+S_y^2+S_z^2 $$ does act as the scalar $n(2+n)$ on the irreducible representation $Sym^nV$. This reflects the fact (familiar to all students of quantum mechanics under a different guise in relation to spin/angular momentum) that $L^2$, indeed, is in the center of $U(\mathfrak{su}_2)$.

Jyrki Lahtonen
  • 142,653
  • 1
    It is known that $L^2$ generates the center of the universal enveloping algebra. It is not a surprise (but not immediately clear either) that $\Delta$ cannot be written in terms of $L^2$ alone. – Jyrki Lahtonen Jul 28 '25 at 05:28
  • thank you so much for your answer I am extremely grateful! How difficult would you say it is in general to check whether a symmetric homogeneous polynomial expression in $Sx$, $Sy$, and $Sz$, belongs to the center of the universal enveloping algebra of su(2)? Any advice on this would be invaluable!! – Ralph Sabbagh Jul 28 '25 at 15:14