4.4.3 Monopole Harmonics#

Prompts

In a monopole background, neither the canonical nor kinetic angular momentum is conserved alone. What is the conserved total angular momentum \(\hat{\boldsymbol{J}}\), and why does it satisfy the standard SU(2) algebra \([\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{J}_k\)?
The minimum angular momentum in a monopole field is \(j_{\min} = |s|\). Explain physically why this minimum is nonzero, and why no state with \(j < |s|\) can exist.
For a Dirac monopole (\(s = 1/2\)), the lowest monopole harmonics form a doublet with \(j = 1/2\) and \(m = \pm 1/2\). How does this relate to spin-1/2? What does this tell you about the origin of intrinsic angular momentum?
Connect the Berry curvature of spin-\(s\) to the monopole field in parameter space. What is the Chern number, and how does it relate to \(s\)?

Lecture Notes#

Overview#

When a charged particle moves on a sphere with a magnetic monopole at the center, a key subtlety arises: neither the canonical angular momentum \(\hat{\boldsymbol{L}}_{\rm can} = \boldsymbol{r} \times \hat{\boldsymbol{p}}\) nor the kinetic angular momentum \(\hat{\boldsymbol{\Lambda}} = \boldsymbol{r} \times \hat{\boldsymbol{\pi}}\) (where \(\hat{\boldsymbol{\pi}} = \hat{\boldsymbol{p}} - (q/c)\boldsymbol{A}\)) is separately conserved. The conserved quantity is the total angular momentum \(\hat{\boldsymbol{J}} = \hat{\boldsymbol{\Lambda}} + s\hat{\boldsymbol{r}}\), including the electromagnetic field’s angular momentum \(s\hat{\boldsymbol{r}}\). This \(\hat{\boldsymbol{J}}\) satisfies the standard SU(2) algebra \([\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{J}_k\), but the minimum eigenvalue is shifted: \(j \geq |s|\) instead of \(j \geq 0\). The eigenfunctions are monopole harmonics \(Y^s_{j,m}(\theta,\phi)\). The punchline: for \(s = 1/2\) (a Dirac monopole), the lowest harmonics form a doublet with \(j = 1/2\) \textemdash they are spin-1/2 spinors. Half-integer angular momentum is not an independent axiom; it emerges from gauge topology.

Monopole Quantum Number#

Monopole Quantum Number

The monopole quantum number characterizes the coupling strength:

(76)#\[ s = \frac{qg}{2\hbar c} \]

The Dirac quantization condition \(qg = n\hbar c/2\) (from the two-patch construction of §4.4.2) restricts \(s\) to integer or half-integer values:

\[ s \in \left\{0,\, \pm\tfrac{1}{2},\, \pm 1,\, \pm\tfrac{3}{2},\, \ldots\right\} \]

For an electron in the field of a minimal Dirac monopole: \(|s| = 1/2\).

Total Angular Momentum#

In the monopole background, the kinetic angular momentum \(\hat{\boldsymbol{\Lambda}}\) does not commute with itself in the standard way because the gauge field \(\boldsymbol{A}\) depends on position. The physically conserved quantity is:

Total Angular Momentum in a Monopole Field

\[ \hat{\boldsymbol{J}} = \hat{\boldsymbol{\Lambda}} + s\hat{\boldsymbol{r}} \]

where \(\hat{\boldsymbol{\Lambda}} = \boldsymbol{r} \times \hat{\boldsymbol{\pi}}\) is the kinetic angular momentum and \(s\hat{\boldsymbol{r}}\) is the angular momentum carried by the electromagnetic field.

\(\hat{\boldsymbol{J}}\) satisfies the standard SU(2) commutation relations:

\[ [\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\,\epsilon_{ijk}\hat{J}_k \]

with eigenvalues:

\[ \hat{J}^2 \vert s, j, m\rangle = \hbar^2 j(j+1) \vert s, j, m\rangle, \quad \hat{J}_z \vert s, j, m\rangle = \hbar m \vert s, j, m\rangle \]

The monopole modifies only the allowed values of \(j\):

\[ j = |s|,\; |s|+1,\; |s|+2,\; \ldots \quad (\text{not } j = 0, 1, 2, \ldots) \]

The shift \(j_{\min} = |s|\) has a direct physical interpretation: the electromagnetic field already carries angular momentum \(s\hat{\boldsymbol{r}}\). The total angular momentum cannot be less than this field contribution.

Derivation: \([\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{J}_k\)

The key ingredients are:

\([\Lambda_i, \hat{r}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{r}_k\) (kinetic angular momentum generates rotations of \(\hat{\boldsymbol{r}}\))
\([\Lambda_i, \Lambda_j] = \mathrm{i}\hbar\epsilon_{ijk}(\Lambda_k - s\hbar\hat{r}_k/r^2 \cdot r^2) = \mathrm{i}\hbar\epsilon_{ijk}\Lambda_k - \mathrm{i}\hbar s \,\epsilon_{ijk}\hat{r}_k/r^2 \cdot r^2\)

More precisely, in the monopole background \([\Lambda_i, \Lambda_j] = \mathrm{i}\hbar(\epsilon_{ijk}\Lambda_k - s\hbar B_k/B)\) where \(\boldsymbol{B} = g\hat{\boldsymbol{r}}/(4\pi r^2)\). On the sphere this gives an extra \(-s\hbar\epsilon_{ijk}\hat{r}_k\) term.

Adding \(s\hat{\boldsymbol{r}}\) to \(\hat{\boldsymbol{\Lambda}}\) exactly cancels the extra term:

\[ [J_i, J_j] = [\Lambda_i + s\hat{r}_i, \Lambda_j + s\hat{r}_j] = \mathrm{i}\hbar\epsilon_{ijk}(\Lambda_k + s\hat{r}_k) = \mathrm{i}\hbar\epsilon_{ijk}J_k \quad \checkmark \]

Monopole Harmonics#

The eigenfunctions of \(\hat{J}^2\) and \(\hat{J}_z\) in the monopole background are monopole harmonics:

Monopole Harmonics

\(Y^s_{j,m}(\theta,\phi)\) are simultaneous eigenfunctions of \(\hat{J}^2\) and \(\hat{J}_z\):

\[ \hat{J}^2 Y^s_{j,m} = \hbar^2 j(j+1) Y^s_{j,m}, \quad \hat{J}_z Y^s_{j,m} = \hbar m Y^s_{j,m} \]

with \(j = |s|, |s|+1, \ldots\) and \(m = -j, \ldots, j\).

Orthonormality: \(\displaystyle\int \sin\theta\,\mathrm{d}\theta\,\mathrm{d}\phi\,(Y^s_{j,m})^* Y^s_{j',m'} = \delta_{jj'}\delta_{mm'}\)

Reduction: For \(s = 0\), \(Y^0_{l,m} = Y_{lm}(\theta,\phi)\) (ordinary spherical harmonics).

The explicit form of \(Y^s_{j,m}\) requires the two-patch construction (§4.4.2): the monopole gauge field cannot be described by a single vector potential on the whole sphere, so northern and southern hemispheres use separate gauges, related by a transition function on the equator.

Summary of how the monopole modifies the spectrum:

\(s\)	\(j_{\min}\)	Degeneracy at \(j_{\min}\)
\(0\) (no monopole)	\(0\)	\(1\) (singlet)
\(1/2\) (Dirac)	\(1/2\)	\(2\) (doublet = spin-1/2)
\(1\)	\(1\)	\(3\) (triplet)
\(3/2\)	\(3/2\)	\(4\) (quartet)

Punchline: Spin-1/2 from Monopole Topology#

Spin-1/2 Emerges from \(s = 1/2\)

For a Dirac monopole (\(|s| = 1/2\)), the minimum angular momentum is \(j_{\min} = 1/2\). The lowest states are:

\[ \vert \tfrac{1}{2}, +\tfrac{1}{2}\rangle \quad \text{and} \quad \vert \tfrac{1}{2}, -\tfrac{1}{2}\rangle \]

These form a doublet transforming exactly as spin-1/2: under a \(2\pi\) rotation, each state acquires a factor \(\mathrm{e}^{2\pi\mathrm{i}s} = \mathrm{e}^{\pi\mathrm{i}} = -1\) (the spinor sign flip).

Conclusion: Half-integer angular momentum is not an independent axiom. It is the minimum angular momentum enforced by the topology of the monopole gauge bundle.

Discussion

For a Dirac monopole (\(s = 1/2\)), list all states at the minimum angular momentum level \(j = 1/2\).

In what sense are these states “spinors” rather than “vectors”? What would change physically if the minimum were \(j = 0\) instead of \(j = 1/2\)? Could you design an experiment to observe the \(2\pi\) sign flip of monopole harmonics with \(s = 1/2\)?

Connection to Berry Phase#

The monopole structure of angular momentum has a direct physical manifestation through Berry phase (§4.2). For a spin-1/2 particle in a slowly rotating magnetic field \(\boldsymbol{B}(t)\), as \(\boldsymbol{B}\) traces a closed loop on the unit sphere in parameter space, the spin acquires a geometric phase \(\gamma = -\frac{1}{2}\Omega\) where \(\Omega\) is the solid angle subtended. The Berry curvature is:

\[ \boldsymbol{F} = \frac{1}{2}\frac{\hat{\boldsymbol{n}}}{|\boldsymbol{n}|^2} \]

Spin = Monopole in Parameter Space

The Berry curvature of a spin-\(s\) system is the field of a monopole of charge \(s\) at the origin of parameter space. This is not an analogy \textemdash it is the same mathematical structure.

The Chern number of the Berry connection over any closed surface enclosing the degeneracy is:

\[ c_1 = \frac{1}{2\pi}\oint \boldsymbol{F}\cdot\mathrm{d}\boldsymbol{S} = 2s \]

This closes the circle: spin-1/2 emerges from monopole topology (§4.4.2), and the Berry phase of spin-1/2 is itself a monopole field (§4.2.1).

Summary#

The conserved total angular momentum in a monopole field is \(\hat{\boldsymbol{J}} = \hat{\boldsymbol{\Lambda}} + s\hat{\boldsymbol{r}}\), satisfying standard SU(2): \([\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{J}_k\).
Monopole harmonics \(Y^s_{j,m}\) are eigenstates of \(\hat{J}^2\) and \(\hat{J}_z\) with eigenvalues \(\hbar^2 j(j+1)\), but \(j_{\min} = |s|\) instead of 0.
The shift \(j_{\min} = |s|\) reflects the angular momentum already carried by the electromagnetic field.
For \(s = 1/2\) (Dirac monopole): the lowest harmonics form a spin-1/2 doublet \textemdash half-integer angular momentum emerges from topology, not as an axiom.
Berry connection: the Berry curvature of spin-\(s\) is a monopole of charge \(s\) in parameter space \textemdash spin is topological.

Homework#

1. Show that for \(s = 0\), the monopole harmonics \(Y^0_{j,m}(\theta,\phi)\) reduce to ordinary spherical harmonics \(Y_{lm}(\theta,\phi)\), and the minimum angular momentum is \(j_{\min} = 0\). What is the role of the monopole quantum number \(s\) in modifying the spectrum?

2. Verify that the orthonormality relation \(\int \sin\theta\,\mathrm{d}\theta\,\mathrm{d}\phi\,(Y^s_{j,m})^* Y^s_{j',m'} = \delta_{jj'}\delta_{mm'}\) is consistent with the completeness relation \(\sum_{j \geq |s|}\sum_{m=-j}^{j} Y^s_{j,m}(\theta,\phi)(Y^s_{j,m}(\theta',\phi'))^* = \delta(\cos\theta - \cos\theta')\delta(\phi-\phi')\). Explain why completeness requires summing \(j\) from \(|s|\) rather than from \(0\).

3. The conserved angular momentum is \(\hat{\boldsymbol{J}} = \hat{\boldsymbol{\Lambda}} + s\hat{\boldsymbol{r}}\), where \([\Lambda_i, \hat{r}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{r}_k\) and the monopole modifies \([\Lambda_i, \Lambda_j]\) by an extra term \(-\mathrm{i}\hbar s\,\epsilon_{ijk}\hat{r}_k\).

(a) Show that adding \(s\hat{\boldsymbol{r}}\) to \(\hat{\boldsymbol{\Lambda}}\) cancels the extra term, so \(\hat{\boldsymbol{J}}\) satisfies \([\hat{J}_i, \hat{J}_j] = \mathrm{i}\hbar\epsilon_{ijk}\hat{J}_k\).

(b) For \(s = 0\), \(\hat{\boldsymbol{J}} = \hat{\boldsymbol{\Lambda}}\) is the kinetic angular momentum and the standard SU(2) algebra is recovered. Explain why adding \(s\hat{\boldsymbol{r}}\) is the unique fix that restores SU(2).

(c) Why is it the total \(\hat{\boldsymbol{J}}\), not \(\hat{\boldsymbol{\Lambda}}\) alone, that gives good quantum numbers?

4. For each value of \(s\) below, list the first four allowed values of \(j\) and state the degeneracy (\(2j+1\)) of the lowest level:

(a) \(s = 0\) (no monopole)
(b) \(s = 1/2\) (Dirac monopole)
(c) \(s = 1\)
(d) \(s = 3/2\)

5. For a Dirac monopole (\(s = 1/2\)):

(a) List all states at the lowest level \(j = 1/2\). Compare their magnetic quantum numbers to spin-1/2 values \(m_s = \pm 1/2\).

(b) Under a \(2\pi\) rotation, monopole harmonics with monopole number \(s\) acquire a phase \(\mathrm{e}^{2\pi\mathrm{i}s}\). Compute this phase for \(s = 1/2\). What does this tell you about the topology of spin-1/2?

(c) Explain why this result supports the claim that “spin-1/2 can be understood as orbital angular momentum in a Dirac monopole background.”

6. The Dirac monopole condition \(qg = n\hbar c/2\) ensures the monopole string is undetectable (Aharonov-Bohm phase around the string is \(2\pi n\)).

(a) Show that for \(n = 1\) (minimal monopole), an electron (\(q = -e\)) gives \(|s| = 1/2\).

(b) For a charge-\(2e\) Cooper pair, compute \(|s|\). What is the minimum angular momentum for a Cooper pair in a Dirac monopole field?

(c) Flux quantization in a superconductor uses flux quantum \(\Phi_0 = hc/(2e)\) (Cooper pairs). How does this relate to the Dirac condition?

7. The Chern number of the Berry connection for a spin-\(s\) system is \(c_1 = 2s\).

(a) For spin-1/2: verify that the Berry curvature \(\boldsymbol{F} = \frac{1}{2}\frac{\hat{\boldsymbol{n}}}{|\boldsymbol{n}|^2}\) integrated over the unit sphere gives \(c_1 = 1\).

(b) For spin-1: what is the Berry curvature at the origin in parameter space, and what is the Chern number?

8. Compare monopole harmonics \(Y^s_{j,m}\) to ordinary spherical harmonics \(Y_{lm}\):

(a) For each case \(s = 0, 1/2, 1\), write down the full set of quantum numbers \((j, m)\) for the first two values of \(j\).

(b) Show that the total number of states with \(j \leq J_{\max}\) is \((J_{\max} - |s| + 1)(J_{\max} + |s| + 1)\) (for integer \(J_{\max} - |s|\)). Compare to the free-space count \((J_{\max}+1)^2\).