Chapter 12 Key Takeaways: Angular Momentum Algebra

Core Message

The complete theory of angular momentum in quantum mechanics is derivable from three commutation relations alone. These algebraic relations — encoding the geometry of rotations — determine the eigenvalue spectrum (including the existence of half-integer angular momentum), the matrix representations, and the rotation matrices. This is one of the most powerful demonstrations that in quantum mechanics, the formalism IS the physics.

Key Concepts

1. Angular Momentum Is Defined by Algebra

Any set of three Hermitian operators satisfying $[\hat{J}_i, \hat{J}_j] = i\hbar\epsilon_{ijk}\hat{J}_k$ is an angular momentum. This definition is more general than $\hat{\mathbf{L}} = \hat{\mathbf{r}} \times \hat{\mathbf{p}}$ and encompasses orbital, spin, and total angular momentum.

2. The Casimir Operator $\hat{J}^2$

The operator $\hat{J}^2 = \hat{J}_x^2 + \hat{J}_y^2 + \hat{J}_z^2$ commutes with every component of $\hat{\mathbf{J}}$, allowing simultaneous eigenstates $|j, m\rangle$ of $\hat{J}^2$ and $\hat{J}_z$.

3. Ladder Operators $\hat{J}_\pm$

The operators $\hat{J}_\pm = \hat{J}_x \pm i\hat{J}_y$ raise/lower $m$ by one unit while keeping $j$ fixed. They satisfy $[\hat{J}_z, \hat{J}_\pm] = \pm\hbar\hat{J}_\pm$.

4. The Eigenvalue Spectrum (The Crown Jewel)

Pure algebra determines: $j = 0, 1/2, 1, 3/2, 2, \ldots$ and $m = -j, -j+1, \ldots, j$, with eigenvalues $\hat{J}^2 = j(j+1)\hbar^2$ and $\hat{J}_z = m\hbar$. Half-integer values emerge automatically.

5. Matrix Representations

For each $j$, there is a unique $(2j+1)$-dimensional matrix representation. $\hat{J}_z$ is diagonal, $\hat{J}_+$ is superdiagonal, $\hat{J}_-$ is subdiagonal.

6. Rotation Matrices

The Wigner $D$-matrices $D^{(j)}_{m'm}(\alpha, \beta, \gamma) = e^{-im'\alpha} d^{(j)}_{m'm}(\beta) e^{-im\gamma}$ describe how angular momentum states transform under rotations.

7. Integer vs. Half-Integer Distinction

Integer $j$: single-valued under $2\pi$ rotation (bosons). Half-integer $j$: sign change under $2\pi$ rotation (fermions). Orbital angular momentum is always integer; spin can be half-integer.

Key Equations

Key Matrix Representations

$j = 1/2$ (Pauli Matrices)

$$\hat{J}_x = \frac{\hbar}{2}\begin{pmatrix}0&1\\1&0\end{pmatrix}, \quad \hat{J}_y = \frac{\hbar}{2}\begin{pmatrix}0&-i\\i&0\end{pmatrix}, \quad \hat{J}_z = \frac{\hbar}{2}\begin{pmatrix}1&0\\0&-1\end{pmatrix}$$

$j = 1$

$$\hat{J}_x = \frac{\hbar}{\sqrt{2}}\begin{pmatrix}0&1&0\\1&0&1\\0&1&0\end{pmatrix}, \quad \hat{J}_y = \frac{\hbar}{\sqrt{2}}\begin{pmatrix}0&-i&0\\i&0&-i\\0&i&0\end{pmatrix}, \quad \hat{J}_z = \hbar\begin{pmatrix}1&0&0\\0&0&0\\0&0&-1\end{pmatrix}$$

Common Misconceptions

The Derivation at a Glance

The logical chain in five steps:

1. Commutation relations $\to$ Define $\hat{J}_\pm$, show they raise/lower $m$ by 1
2. Boundedness ($\hat{J}^2 \geq \hat{J}_z^2$) $\to$ Ladder must terminate at $m_{\max}$ and $m_{\min}$
3. Top of ladder: $\hat{J}_-\hat{J}_+|j,m_{\max}\rangle = 0$ $\to$ $\lambda_j = m_{\max}(m_{\max}+1)\hbar^2$
4. Bottom of ladder: $\hat{J}_+\hat{J}_-|j,m_{\min}\rangle = 0$ $\to$ $\lambda_j = m_{\min}(m_{\min}-1)\hbar^2$
5. Equating $\to$ $m_{\min} = -m_{\max} \equiv -j$, and $2j$ must be a non-negative integer

Looking Ahead

Self-Test Questions

Before moving on, you should be able to:

• [ ] Derive $[\hat{J}^2, \hat{J}_z] = 0$ from the commutation relations
• [ ] Explain why the $m$-ladder terminates
• [ ] State the eigenvalue spectrum (values of $j$ and $m$) from memory
• [ ] Write the normalization constants for $\hat{J}_\pm |j, m\rangle$
• [ ] Construct the $j = 1/2$ and $j = 1$ matrix representations
• [ ] Explain why half-integer $j$ is allowed algebraically but not for orbital angular momentum
• [ ] Compute a simple rotation matrix (e.g., $d^{(1/2)}(\pi/2)$)