core29 min studyLesson 28 in Physics

Angular momentum and rotation symmetry

Use angular-momentum commutators and quantum numbers to predict compatible components, spectra, and rotational behavior.

On this page

What you’ll understand

  • Identify which angular-momentum observables can be simultaneously definite.
  • Interpret l and m for orbital angular momentum without inventing a fixed classical vector.
  • Calculate component spreads in an angular-momentum eigenstate.

Rotation symmetry imposes algebraic structure before we specify a potential in detail. In quantum mechanics, that structure replaces the classical picture of three simultaneously definite vector components. We can know the total squared angular momentum and one chosen component exactly, while the remaining components still have distributions. This lesson develops that statement and prepares for intrinsic spin.

Rotations have noncommuting generators

Orbital angular momentum is L=r×p\mathbf L=\mathbf r\times\mathbf p. Its components obey [Lx,Ly]=iℏLz[L_x,L_y]=i\hbar L_z and cyclic counterparts. Small rotations about different axes therefore do not generally commute. The algebra is a quantum expression of rotation geometry, not an arbitrary complication added to the classical definition. More general angular momentum J\mathbf J, including spin, satisfies the same component commutators.

The squared magnitude J2=Jx2+Jy2+Jz2J^2=J_x^2+J_y^2+J_z^2 commutes with each component. We conventionally choose a common basis for J2J^2 and JzJ_z. The choice of z is a coordinate or experimental reference, not a privileged direction built into empty space. If a Hamiltonian is fully rotation invariant, it commutes with the rotation generators, so angular momentum organizes its states and constrains the dynamics.

[Jx,Jy]=iℏJz,[Jy,Jz]=iℏJx,[Jz,Jx]=iℏJy,[J2,Ji]=0[J_x,J_y]=i\hbar J_z,\qquad [J_y,J_z]=i\hbar J_x,\qquad [J_z,J_x]=i\hbar J_y,\qquad [J^2,J_i]=0
These relations define the angular-momentum algebra. Products must retain their order; the last identity holds for each Cartesian component.↔ Scroll wide equations horizontally.

Two quantum numbers and an entire multiplet

A state ∣j,m⟩|j,m\rangle has J2J^2 eigenvalue ℏ2j(j+1)\hbar^2j(j+1) and JzJ_z eigenvalue ℏm\hbar m. For fixed jj, the allowed mm values run from −j-j to jj in unit steps, giving 2j+12j+1 states. General angular momentum permits integer or half-integer jj. For orbital wavefunctions on ordinary three-dimensional space, ll is a nonnegative integer and the angular eigenfunctions are spherical harmonics.

Do not confuse the total magnitude ℏj(j+1)\hbar\sqrt{j(j+1)} with the maximum component jℏj\hbar. Their difference encodes unavoidable spread in the other components. A cone drawing may suggest this distinction, but it does not prove that an individual angular-momentum vector is literally precessing with a hidden fixed direction. The state provides outcome distributions, not three simultaneously sharp classical components waiting to be uncovered.

J2∣j,m⟩=ℏ2j(j+1)∣j,m⟩,Jz∣j,m⟩=ℏm∣j,m⟩,m=−j,−j+1,…,jJ^2|j,m\rangle=\hbar^2j(j+1)|j,m\rangle,\qquad J_z|j,m\rangle=\hbar m|j,m\rangle,\qquad m=-j,-j+1,\ldots,j
The orbital case uses integer l in place of j. Half-integer representations will describe spin in the next lesson.↔ Scroll wide equations horizontally.

Ladders connect orientations, not energy by default

The operators J±=Jx±iJyJ_\pm=J_x\pm iJ_y change mm by one while leaving jj fixed. Their amplitudes vanish at the top and bottom of a multiplet. This resembles the oscillator ladder, but the physical label is different: here the ladder has only 2j+12j+1 rungs. An angular-momentum raising operation does not necessarily raise energy; that depends on the Hamiltonian and any external fields.

In a ∣j,m⟩|j,m\rangle state, rotational symmetry about z gives equal x and y second moments and zero x and y means. Subtracting the known z contribution from ⟨J2⟩\langle J^2\rangle then determines both spreads. This is a useful strategy: combine symmetry and algebra before attempting coordinate integrals. When a magnetic field picks an axis, it can split the energies of different mm values without changing these basic representation rules.

A state with a sharp z component and transverse spread

An orbital state has l=2l=2 and m=1m=1. Find the magnitude associated with L2L^2, the definite LzL_z value, and ΔLx\Delta L_x.

  1. Use the squared-magnitude eigenvalue: L2=2(2+1)ℏ2=6ℏ2L^2=2(2+1)\hbar^2=6\hbar^2. The magnitude is therefore 6ℏ\sqrt{6}\hbar, not 2ℏ2\hbar.

  2. The z component is mℏ=ℏm\hbar=\hbar, with zero variance in this state. Also ⟨Lx⟩=⟨Ly⟩=0\langle L_x\rangle=\langle L_y\rangle=0.

  3. Subtract ⟨Lz2⟩=ℏ2\langle L_z^2\rangle=\hbar^2 from 6ℏ26\hbar^2 and divide equally between x and y. Each second moment is 5ℏ2/25\hbar^2/2, so ΔLx=5/2ℏ\Delta L_x=\sqrt{5/2}\hbar.

The result

Sharp total squared angular momentum and a sharp z component coexist with a nonzero transverse spread. They do not define a fully sharp classical vector.

Explore the model

Interactive lab

Interactive lab · vectors

Separate magnitude from projection

Rotate an ordinary two-dimensional vector and inspect its projections as a geometric comparison. The diagram has simultaneously defined components, unlike quantum angular momentum. Use it only to identify what a projection means; the quantum spectrum and transverse spread come from the operator algebra.

Separate magnitude from projectionPlayback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Current readings: x component: 1.393; y component: 0.975; Magnitude: 1.7. All parameters are adjustable with the labeled controls below.−7.46−3.7303.737.46−3.5−1.7501.753.5xyvvₓ = 1.39
Vectorx / y projectionsTrace marker
x component
1.393
y component
0.975
Magnitude
1.7
t = 0 s

Playback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA projection and a magnitude answer different questions, and the classical drawing must not erase noncommuting quantum components.

Check your understanding

How many allowed m values belong to an orbital l=3 multiplet?

Try it yourself

For l=1,m=1l=1,m=1, find ΔLxΔLy\Delta L_x\Delta L_y and compare it with ∣⟨[Lx,Ly]⟩∣/2|\langle[L_x,L_y]\rangle|/2.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The equal transverse variances are [l(l+1)−m2]ℏ2/2[l(l+1)-m^2]\hbar^2/2. Use the angular-momentum commutator.

Compare with the solution

Each transverse variance is ℏ2/2\hbar^2/2, so the product of standard deviations is ℏ2/2\hbar^2/2. The commutator expectation is iℏ⟨Lz⟩=iℏ2i\hbar\langle L_z\rangle=i\hbar^2, whose half-magnitude is also ℏ2/2\hbar^2/2. This state saturates that uncertainty bound.

Take it with you

  • Rotation generators obey a noncommuting algebra shared by orbital and intrinsic angular momentum.
  • J² and one component can be definite together; all three components generally cannot.
  • Orbital multiplets have integer l and 2l+1 allowed projections.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.