Rotations and Orbital Angular Momentum

Rotational symmetry turns geometry into an operator algebra. Proper rotations act on vectors and wavefunctions, their self-adjoint generators are angular-momentum operators, and the noncommutativity of rotations fixes the multiplet structure labeled by $j$ and $m$. For spatial wavefunctions, this abstract algebra becomes orbital angular momentum, spherical harmonics, central-potential separation, and the rotational spectra of systems such as hydrogen and the rigid rotor.

Three-dimensional rotation
→ unitary action on the Hilbert space
→ angular-momentum generators $J_i$
→ noncommuting algebra and Casimir $J^2$
→ finite $(2j+1)$-state multiplets
→ orbital realization $\mathbf L=\mathbf R\times\mathbf P$
→ spherical harmonics and rotationally organized spectra

This chapter is both general and concrete. The $J_i$ algebra applies to orbital angular momentum, intrinsic spin, and total angular momentum. The wave-mechanical realization developed here is specifically orbital and therefore has additional conditions, including integer $\ell$ for ordinary single-valued scalar wavefunctions.

Canonical Boundaries

This page owns the chapter map and the structural relation among its results. The detailed derivations and applications remain at their canonical homes.

Topic	Canonical home	Role here
active and passive rotation geometry	Rotations in Three Dimensions	fixes inverse actions and sign conventions
global relation between vector and spinor rotations	SO(3) and SU(2) Preview	distinguishes local algebra from global group structure
generators of rotations	Angular Momentum Operators	defines $\mathbf J$ operationally
commutators and Casimir	Angular Momentum Algebra	states the shared algebra
raising and lowering within a multiplet	Ladder Operators	owns the normalized ladder action
allowed $j,m$ labels	Eigenvalues of J² and Jz	derives the spectrum from positivity
orbital realization	Orbital Angular Momentum	distinguishes $\mathbf L$ from spin
differential operators	Position-Space Representation	derives $\mathbf L=-i\hbar\mathbf r\times\boldsymbol\nabla$
angular coordinates and measure	Spherical Coordinates	isolates the Laplacian on $S^2$
angular basis functions	Spherical Harmonics	owns orthonormality, parity, and phase convention
central-potential symmetry	Central Potentials	connects invariance to $\ell,m$ labels
Coulomb angular labels	Hydrogen Angular Structure	separates angular structure from the radial solution
pure angular dynamics	Rigid Rotor	applies the Casimir Hamiltonian
orbital magnetic response	Orbital Magnetic Moments	connects $\mathbf L$ to Zeeman and Larmor physics

The complete hydrogen solution belongs to Hydrogen Atom. The full rotor model belongs to Rigid Rotor in Wave Mechanics. Spin continues in Spin and Spinors, beginning conceptually with What Spin Is; composite rotation sectors continue in Addition of Angular Momentum.

Rotation Geometry

A proper rotation of ordinary Euclidean three-space is represented by a real matrix $\mathcal R$ satisfying

$$\mathcal R^T\mathcal R=I, \qquad \det\mathcal R=1.$$

The first condition preserves dot products and lengths. The determinant condition preserves orientation and separates proper rotations from reflections and parity. These matrices form $SO(3)$.

With an active rotation, a vector changes while the axes remain fixed:

$$\mathbf v\longmapsto\mathcal R\mathbf v.$$

A passive rotation changes the coordinate description of the same vector and uses the inverse matrix. For a spinless scalar wavefunction, the active unitary action is

$$(U(\mathcal R)\psi)(\mathbf r) = \psi(\mathcal R^{-1}\mathbf r).$$

The inverse is not a convention that can be removed independently. It ensures that the wavepacket moves in the same geometric direction as the active rotation. The corresponding operator identity is

$$U^\dagger(\mathcal R) \mathbf R U(\mathcal R) = \mathcal R\mathbf R.$$

Most sign errors in rotation problems come from combining an active state formula with a passive coordinate formula. State the physical operation first, then derive the argument and conjugation order.

SO(3), SU(2), and Global Structure

Ordinary real vectors transform under $SO(3)$. Quantum states need only transform consistently as rays, so spinor representations reveal the double cover

$$SU(2)\longrightarrow SO(3).$$

The two elements $U$ and $-U$ in $SU(2)$ correspond to the same proper rotation of an ordinary vector. For spin $1/2$,

$$U(\hat{\mathbf n},\theta) = \exp\!\left( -\frac{i\theta}{2} \hat{\mathbf n}\cdot\boldsymbol\sigma \right),$$

so

$$U(\hat{\mathbf n},2\pi)=-I, \qquad U(\hat{\mathbf n},4\pi)=I.$$

The sign under a $2\pi$ spinor rotation leaves an isolated ray unchanged but can matter as a relative phase in interference. $SO(3)$ and $SU(2)$ share the same local Lie algebra, yet their global topology permits different representations. The angular-momentum commutators alone do not decide whether a representation descends to $SO(3)$ or only to its double cover.

Angular Momentum as the Generator

A rotation through angle $\theta$ about the unit vector $\hat{\mathbf n}$ is represented by

$$U(\hat{\mathbf n},\theta) = \exp\!\left( -\frac{i\theta}{\hbar} \hat{\mathbf n}\cdot\mathbf J \right).$$

Near the identity,

$$U(\hat{\mathbf n},\theta) = I -\frac{i\theta}{\hbar} \hat{\mathbf n}\cdot\mathbf J +O(\theta^2).$$

The operator $\mathbf J$ is whichever angular momentum generates rotations on the Hilbert space under study:

Hilbert-space structure	Rotation generator
scalar spatial wavefunction	orbital $\mathbf L$
internal spin degree of freedom	spin $\mathbf S$
particle with orbital and spin variables	total $\mathbf J=\mathbf L+\mathbf S$
several subsystems	sum of their angular momenta, followed by coupling

An operator-valued vector $\mathbf V$ satisfies

$$[J_i,V_j] = i\hbar \sum_k\epsilon_{ijk}V_k.$$

A rotational scalar $A$ instead obeys $[J_i,A]=0$ for all $i$. These commutator definitions extend geometric language to operators that may have no classical position-space picture.

The Angular Momentum Algebra

The defining relations are

$$[J_i,J_j] = i\hbar \sum_k\epsilon_{ijk}J_k.$$

Equivalently,

$$\begin{aligned} [J_x,J_y]&=i\hbar J_z, \\ [J_y,J_z]&=i\hbar J_x, \\ [J_z,J_x]&=i\hbar J_y. \end{aligned}$$

The components cannot generally be sharp simultaneously. The rotationally invariant quadratic operator

$$J^2=J_x^2+J_y^2+J_z^2$$

commutes with every component:

$$[J^2,J_i]=0.$$

Thus one chooses $J^2$ and one component, conventionally $J_z$, as a compatible set. Their simultaneous eigenstates satisfy

$$\begin{aligned} J^2|j,m\rangle &= \hbar^2j(j+1)|j,m\rangle, \\ J_z|j,m\rangle &= \hbar m|j,m\rangle. \end{aligned}$$

The labels $j,m$ are dimensionless. The factors of $\hbar$ belong to the operator eigenvalues.

Ladder Structure and Allowed Labels

Define

$$J_\pm=J_x\pm iJ_y.$$

They obey

$$[J_z,J_\pm]=\pm\hbar J_\pm, \qquad [J^2,J_\pm]=0.$$

Therefore $J_\pm$ changes $m$ by one while preserving $j$. With the standard phase convention,

$$\begin{aligned} J_\pm|j,m\rangle &= \hbar\sqrt{j(j+1)-m(m\pm1)} \\ &\quad\times |j,m\!\pm\!1\rangle. \end{aligned}$$

Positivity of norms and termination of the ladder imply

$$j=0,\frac12,1,\frac32,\ldots,$$

and, for fixed $j$,

$$m=-j,-j+1,\ldots,j.$$

The multiplet dimension is $2j+1$. The algebra allows both integer and half-integer $j$. Additional global and wavefunction conditions determine which occur in a given realization. Ordinary scalar orbital wavefunctions have integer $\ell$, whereas spinor states can carry half-integer $j$.

Orbital Angular Momentum

For one particle in three-dimensional space,

$$\mathbf L=\mathbf R\times\mathbf P.$$

It satisfies the angular-momentum algebra and rotates both position and momentum:

$$\begin{aligned} [L_i,R_j] &= i\hbar\sum_k\epsilon_{ijk}R_k, \\ [L_i,P_j] &= i\hbar\sum_k\epsilon_{ijk}P_k. \end{aligned}$$

Orbital angular momentum is not an intrinsic label attached to a particle independently of its spatial state. It acts on the wavefunction’s position dependence. A scalar wavefunction can have $\ell=0,1,2,\ldots$, while intrinsic spin is represented on a separate internal factor of the Hilbert space.

The choice of origin matters for $\mathbf L=\mathbf R\times\mathbf P$. Translating the origin changes orbital angular momentum unless total momentum vanishes or the corresponding center-of-mass decomposition is made.

Position-Space Realization

With $\mathbf P=-i\hbar\boldsymbol\nabla$,

$$\mathbf L = -i\hbar\, \mathbf r\times\boldsymbol\nabla.$$

The Cartesian components are

$$\begin{aligned} L_x &=-i\hbar \left( y\frac{\partial}{\partial z} -z\frac{\partial}{\partial y} \right), \\ L_y &=-i\hbar \left( z\frac{\partial}{\partial x} -x\frac{\partial}{\partial z} \right), \\ L_z &=-i\hbar \left( x\frac{\partial}{\partial y} -y\frac{\partial}{\partial x} \right). \end{aligned}$$

These are tangent derivatives along rotations. They differentiate angular dependence and contain no radial component. In spherical coordinates,

$$L_z=-i\hbar\frac{\partial}{\partial\phi}.$$

Single-valued scalar wavefunctions satisfy $\psi(\phi+2\pi)=\psi(\phi)$, so the azimuthal dependence $e^{im\phi}$ has integer $m$. This is an orbital boundary condition, not an algebraic prohibition on half-integer spin.

Spherical Coordinates and the Sphere

The standard physics convention is

$$\begin{aligned} x&=r\sin\theta\cos\phi, \\ y&=r\sin\theta\sin\phi, \\ z&=r\cos\theta, \end{aligned}$$

with angular measure

$$d\Omega=\sin\theta\,d\theta\,d\phi.$$

The orbital Casimir is the negative angular Laplacian:

$$L^2=-\hbar^2\Delta_{S^2},$$

where

$$\Delta_{S^2} = \frac{1}{\sin\theta} \frac{\partial}{\partial\theta} \left( \sin\theta \frac{\partial}{\partial\theta} \right) + \frac{1}{\sin^2\theta} \frac{\partial^2}{\partial\phi^2}.$$

The three-dimensional Laplacian separates into radial and angular parts:

$$\nabla^2 = \frac{1}{r^2} \frac{\partial}{\partial r} \left(r^2\frac{\partial}{\partial r}\right) - \frac{L^2}{\hbar^2r^2}.$$

This identity is the coordinate bridge from rotational symmetry to radial equations.

Spherical Harmonics

Spherical harmonics are the simultaneous orbital eigenfunctions

$$\begin{gathered} Y_\ell^m(\theta,\phi), \\ \ell=0,1,2,\ldots, \\ m=-\ell,\ldots,\ell. \end{gathered}$$

They satisfy

$$\begin{aligned} L^2Y_\ell^m &= \hbar^2\ell(\ell+1)Y_\ell^m, \\ L_zY_\ell^m &= \hbar mY_\ell^m. \end{aligned}$$

With the measure $d\Omega$, they are orthonormal and complete in $L^2(S^2)$. This volume uses the Condon–Shortley phase convention. Comparing formulas from different sources without checking that phase convention can change signs in angular integrals and later Clebsch–Gordan coefficients.

Their parity is

$$Y_\ell^m(-\hat{\mathbf r}) = (-1)^\ell Y_\ell^m(\hat{\mathbf r}).$$

The spherical harmonics are not probability-density pictures by themselves. The density $|Y_\ell^m|^2$ discards phase information, and real linear combinations can have a different visual orientation while spanning the same $\ell$ representation space.

Central Potentials

For

$$H=\frac{\mathbf P^2}{2m}+V(r),$$

rotational invariance gives

$$[H,L_i]=0, \qquad [H,L^2]=0.$$

Stationary states can be chosen as

$$\psi_{\alpha\ell m}(r,\theta,\phi) = R_{\alpha\ell}(r) Y_\ell^m(\theta,\phi).$$

The energy is independent of $m$ in a fully rotationally invariant spinless problem. For each fixed $\ell$, symmetry therefore gives a $(2\ell+1)$-dimensional magnetic multiplet. A generic central potential can still have energy dependence on $\ell$; rotational symmetry alone does not force degeneracy between different $\ell$ values.

The radial potential controls bound states, scattering, and accidental degeneracies. Symmetry controls the angular organization. Keeping those roles separate prevents overclaiming what rotation invariance alone determines.

Hydrogen Angular Structure

The ideal spinless Coulomb eigenfunctions separate as

$$\psi_{n\ell m} = R_{n\ell}(r)Y_\ell^m(\theta,\phi),$$

with

$$\begin{gathered} n=1,2,\ldots, \\ \ell=0,1,\ldots,n-1, \\ m=-\ell,\ldots,\ell. \end{gathered}$$

Angular momentum algebra determines the $m$ values once $\ell$ is fixed. The radial Coulomb equation and normalizability determine which $\ell$ occur in a given principal shell. The ideal energy’s independence of $\ell$ is an additional Coulomb degeneracy, associated with hidden symmetry, not a generic consequence of $SO(3)$ alone.

The spatial number of states in shell $n$ is

$$\sum_{\ell=0}^{n-1}(2\ell+1)=n^2.$$

Spin doubles this count only before spin-dependent interactions and other corrections are included.

Rigid Rotor

For an ideal linear rotor with moment of inertia $I$,

$$H_{\rm rot}=\frac{L^2}{2I}.$$

The eigenstates are spherical harmonics and the energy levels are

$$E_J = \frac{\hbar^2}{2I}J(J+1), \qquad J=0,1,2,\ldots.$$

Each level has degeneracy $2J+1$ in the ideal field-free model. This is a direct representation-theoretic consequence: the Hamiltonian is a function of the Casimir and is therefore constant within each irreducible rotation multiplet. Molecular exchange symmetry, centrifugal distortion, external fields, and nonspherical tops refine this simple model.

Orbital Magnetic Moments

A charged particle’s orbital motion contributes

$$\boldsymbol\mu_L = \frac{q}{2m}\mathbf L.$$

For an electron with $q=-e$ and $e>0$,

$$\boldsymbol\mu_L = -\mu_B\frac{\mathbf L}{\hbar}, \qquad \mu_B=\frac{e\hbar}{2m_e}.$$

The minus sign means the electron’s orbital moment points opposite to $\mathbf L$. In a uniform magnetic field,

$$H_Z^{(L)} = -\boldsymbol\mu_L\cdot\mathbf B.$$

A field along $z$ preserves axial rotations but breaks full rotational symmetry, so $m$ remains useful while the field splits its values. The orbital factor is $g_L=1$; the approximate electron spin factor $g_s\simeq2$ must not be substituted into an orbital Zeeman term.

A Reliable Workflow

1. Identify the rotating object. Vector, coordinate axes, scalar wavefunction, spinor, or operator require related but distinct formulas.
2. Fix active or passive convention. Record whether the physical system or the coordinate description moves.
3. Write the finite unitary. Use $U(\hat{\mathbf n},\theta)$ before taking the infinitesimal limit.
4. Identify the correct generator. Decide whether the problem involves $\mathbf L$, $\mathbf S$, or total $\mathbf J$.
5. Use the algebra. Select $J^2$ and one component, then use ladder operators within a fixed-$j$ multiplet.
6. Apply realization-specific conditions. Single-valued scalar orbital wavefunctions impose integer $\ell$; spinors do not.
7. Test the Hamiltonian. Determine whether full rotations, only axial rotations, or no continuous rotational symmetry survives.
8. Separate angular from radial dynamics. Symmetry labels the angular sector; the radial equation fixes model-dependent energies and admissible states.
9. Track phase conventions. Spherical harmonics, ladder states, and coupling coefficients require a consistent convention.
10. State perturbations explicitly. Fields, anisotropy, spin–orbit coupling, and boundary conditions can change the conserved labels.

Chapter Map

Page	Central question	Best use
Rotations in Three Dimensions	how do vectors, coordinates, and scalar wavefunctions rotate?	geometry and convention control
SO(3) and SU(2) Preview	why can spinors change sign under a $2\pi$ rotation?	global group structure before spin
Angular Momentum Operators	what does it mean for $\mathbf J$ to generate rotations?	operational definition and vector operators
Angular Momentum Algebra	which commutators organize every angular momentum?	Casimir and simultaneous labels
Ladder Operators	how are states within one multiplet connected?	normalized raising and lowering
Eigenvalues of J² and Jz	why are $j$ and $m$ quantized as they are?	full positivity and endpoint derivation
Orbital Angular Momentum	how does spatial rotation produce $\mathbf L$?	distinction between orbital and spin
Position-Space Representation	how does $\mathbf L$ act on wavefunctions?	differential-operator derivations
Spherical Coordinates	how does the sphere isolate angular motion?	measure, $L_z$, $L^2$, and Laplacian split
Spherical Harmonics	what is the canonical orbital angular basis?	orthonormality, parity, and completeness
Central Potentials	what does rotational invariance guarantee?	separation, labels, and degeneracy limits
Hydrogen Angular Structure	what do $n,\ell,m$ mean geometrically?	shell multiplets without repeating the radial solution
Rigid Rotor	how does a Casimir become a Hamiltonian?	pure angular spectrum and degeneracy
Orbital Magnetic Moments	how does charged orbital motion respond to $\mathbf B$?	Bohr magneton, Zeeman, and Larmor bridge

Reading Paths

Algebra-first path

1. Angular Momentum Operators
2. Angular Momentum Algebra
3. Ladder Operators
4. Eigenvalues of J² and Jz

Wave-mechanics path

1. Rotations in Three Dimensions
2. Orbital Angular Momentum
3. Position-Space Representation
4. Spherical Coordinates
5. Spherical Harmonics

Applications path

1. Central Potentials
2. Hydrogen Angular Structure
3. Rigid Rotor
4. Orbital Magnetic Moments

Bridge to spin

1. SO(3) and SU(2) Preview
2. What Spin Is
3. Spin as Intrinsic Angular Momentum
4. Spin Rotations

Distinctions Worth Keeping

Do not identify	With	Reason
active rotation	passive coordinate change	inverse matrices and signs differ
$SO(3)$	$SU(2)$	same local algebra, different global structure
angular-momentum algebra	orbital realization	spin obeys the algebra without $\mathbf R\times\mathbf P$
$J^2$	a classical squared vector length	its spectrum is $\hbar^2j(j+1)$
quantum number $j$	eigenvalue of $J^2$	the eigenvalue includes $\hbar^2j(j+1)$
good labels	complete labels	radial or multiplicity labels may remain
rotational degeneracy in $m$	Coulomb degeneracy in $\ell$	the latter needs additional structure
spherical harmonic	orbital probability density	phase is lost in $
orbital $g_L=1$	electron spin $g_s\simeq2$	they describe different magnetic moments
a $2\pi$ spinor sign	a changed isolated ray	only relative phase makes the sign observable

Common Mistakes

• Rotating a scalar wavefunction with $\psi(\mathcal R\mathbf r)$ in an active convention that requires $\mathcal R^{-1}$.
• Treating $J_x,J_y,J_z$ as simultaneously measurable because they are components of one symbol $\mathbf J$.
• Omitting $\hbar$ from operator eigenvalues while keeping dimensionless $j,m$ labels.
• Using the ladder coefficient with $m(m\mp1)$ attached to the wrong operator.
• Assuming the algebra alone forces orbital $\ell$ to be integer.
• Replacing total $\mathbf J$ by orbital $\mathbf L$ in a spinful rotation problem.
• Forgetting the spherical measure $\sin\theta\,d\theta\,d\phi$.
• Mixing Condon–Shortley and other phase conventions.
• Claiming a generic central potential has hydrogen’s full $n^2$ degeneracy.
• Applying the electron spin $g$ factor to an orbital Zeeman term.

Cross-Links

• Spatial Symmetries
• Tensor Operators and Selection Rules
• Generators
• Complete Sets of Commuting Observables
• SO(3)
• SU(2)
• SU(2) versus SO(3)
• Spherical Harmonics in the Mathematical Toolkit
• Angular Momentum Formula Card
• Angular Momentum Problems

References

• A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1957.
• E. P. Wigner, Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra, Academic Press, 1959.
• L. D. Landau and E. M. Lifshitz, Quantum Mechanics: Non-Relativistic Theory, 3rd ed., Pergamon, 1977.
• A. Messiah, Quantum Mechanics, Dover, 1999.
• D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum, World Scientific, 1988.
• R. N. Zare, Angular Momentum: Understanding Spatial Aspects in Chemistry and Physics, Wiley, 1988.
• R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
• J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.

Exercises

1. Use the angular-momentum commutators to show that $J^2$ commutes with $J_z$.

Solution

Since $J_z^2$ commutes with $J_z$,

$$[J^2,J_z] = [J_x^2,J_z]+[J_y^2,J_z].$$

Using $[AB,C]=A[B,C]+[A,C]B$,

$$\begin{aligned} [J_x^2,J_z] &= -i\hbar(J_xJ_y+J_yJ_x), \\ [J_y^2,J_z] &= i\hbar(J_yJ_x+J_xJ_y). \end{aligned}$$

The terms cancel, so $[J^2,J_z]=0$. The same argument works for every component.

2. Compute $J_+|3/2,1/2\rangle$ with the standard normalization.

Solution

The coefficient is

$$\hbar \sqrt{ j(j+1)-m(m+1) }.$$

For $j=3/2$ and $m=1/2$,

$$\begin{aligned} j(j+1)&=\frac{15}{4}, \\ m(m+1)&=\frac{3}{4}. \end{aligned}$$

Thus

$$J_+|3/2,1/2\rangle = \hbar\sqrt3 |3/2,3/2\rangle.$$

3. Explain why an orbital factor $e^{im\phi}$ requires integer $m$ for an ordinary scalar wavefunction, and why this does not exclude half-integer spin.

Solution

Single-valuedness of the scalar spatial wavefunction requires

$$e^{im(\phi+2\pi)}=e^{im\phi}.$$

Therefore

$$e^{i2\pi m}=1,$$

which gives integer $m$. This condition applies to the orbital position-space factor. A spinor transforms in an internal $SU(2)$ representation and can change sign under a $2\pi$ rotation while representing the same isolated ray. Its half-integer labels are not scalar orbital Fourier indices.

4. For a generic spinless central potential, how many states are symmetry-degenerate for fixed radial label and fixed $\ell=2$? Does rotational symmetry require degeneracy with $\ell=1$?

Solution

For fixed $\ell$, the allowed values are

$$m=-\ell,-\ell+1,\ldots,\ell.$$

At $\ell=2$, there are $2\ell+1=5$ values:

$$m=-2,-1,0,1,2.$$

Rotational invariance makes the energy independent of $m$ within this multiplet. It does not generally make different $\ell$ sectors degenerate. Degeneracy between $\ell=2$ and $\ell=1$ would require additional dynamics or hidden symmetry, as in special idealized potentials.

5. An electron in a weak uniform field $\mathbf B=B\hat{\mathbf z}$ has the orbital Zeeman Hamiltonian $H_Z=\mu_BBL_z/\hbar$. Find the first-order shift of $|\ell,m\rangle$ and state which symmetry survives.

Solution

Since

$$L_z|\ell,m\rangle = \hbar m|\ell,m\rangle,$$

the shift is

$$\Delta E_{\ell m}^{(1)} = \mu_BBm.$$

The field selects the $z$ axis, so full rotational symmetry is reduced to rotations about $z$. The label $m$ remains good in this ideal orbital model, while the degeneracy among different $m$ values is split.