Confusion regarding Wigner D-matrices and rotation of spherical harmonics

quantum mechanicsrotationsspherical harmonics

I am having trouble understanding the role of Wigner D-matrix coefficients when considering the effect of rotations on spherical harmonics.

Suppose that we want to understand the effect of a rotation $R$ on the normal (spin-0) spherical harmonic $Y^l_m(\vec{n})$, defined by a unit direction vector $\vec{n}$. Every textbook (and Wikipedia) I've consulted thus far has claimed that the rotated harmonic $Y^l_m(R^{-1}\vec{n})$ can be expressed as a linear combination of harmonics of the same order $l$
$$Y^l_m(R^{-1}\vec{n}) = \sum_{m'}D^{(l)}_{mm'}[R]Y^{l}_{m'}(\vec{n}),$$
where
$$D^{(l)}_{mm'}[R] \equiv \langle lm|R|lm'\rangle$$
are the Wigner D-matrices and $|lm\rangle$ are the usual eigen-vectors of the generator $J_z$ and the Casimir $\vec{J}^2$ (the angular momentum operators from quantum mechanics).

Now, I do not understand why the sum in the above equation only runs over $m'$. $l$ is associated with the inclination angle $\theta$ and $m$ is associated with the azimuthal angle $\phi$, both of which can be affected by a general rotation. So why does the summation not also run over the $l$ index? I'm sure it's just a simple misunderstanding.

Best Answer

I have already answered this on PSE. l is absolutely not associated with just rotations on the inclination θ, which, of course, do not commute with azimuth rotations.

I do not understand why the sum in the above equation only runs over 𝑚′. 𝑙 is associated with the inclination angle 𝜃 and 𝑚 is associated with the azimuthal angle 𝜙, both of which can be affected by a general rotation. I suppose another way of phrasing this is: why is the 𝑙 index of the spherical harmonic left unaffected by a general rotation?

Your second sentence here encapsulates your misconception! l is the representation index, and is associated with any and all rotations, of all angles, 𝜃 and 𝜙, in a given representation characterized by the Casimir invariant, $${\mathbf L}\cdot {\mathbf L} = l(l+1)~{\mathbb I}_{2l+1}.$$ Since this invariant commutes with rotations, any rotation will not mix its eigenspaces characterized by different l s: it will only scramble the m s, which is the very point (and genius!) of Wigner's rotation matrix.

Rotations in 𝜙 do not mix m components, so they are diagonal D matrices, but rotations in 𝜃 do, which is why Wigner defined them.

So, all rotations are considered and meaningful for a fixed l.

As a result, the composition of two rotations amounts to mere matrix multiplication of two Ds with a common label l, ie, the active indices are just the ms. That's why we are talking matrices. They act on $2l+1$-dimensional subspaces, for which $$ \sum_{m=-l}^l |l~m\rangle \langle l~m | $$ serves as the identity.

The $Y^m_l(\theta, \phi)= \langle \theta, \phi|l~m\rangle$ are a mere representation switch from compact angles to integer indices, and, geometrically, amount to rotations from the middle of the z axis to a given point on the sphere for a given inclination and azimuth, $$ D^{l}_{m 0}(\alpha,\beta,\gamma) = \sqrt{\frac{4\pi}{2l+1}} Y_{l}^{m*} (\beta, \alpha ) . $$ As a result, the action of Ds on the Ys is effectively the composition of two rotations!

But we saw above that compositions of rotations are within each l subspace. The rest ought to be evident. To be sure, the linked expression mixes Euler angles and spherical/celestial angles, but, by taking simple examples, you may illustrate the point to yourself...

Related Question