Let
where is Haar measure. Left invariance gives for every . Since the spin- representation is irreducible, Schur lemma implies
Inserting this coherent-state resolution between short time steps and taking the continuum limit gives, for a noninteracting spin with zero Hamiltonian,
up to the normalization generated by . A Hamiltonian would add in the exponent.
For
direct differentiation and give
The term is a total derivative and records only the arbitrary phase used to represent a ray. It cancels against the endpoint-state phases, so the physical Spin coherent-state path integral depends only on the path on the two-sphere. For example, choosing the section gives the Spin coherent-state Berry phase proportional to
Changing the surface used to fill a closed path changes its solid angle by . Single-valuedness of the path-integral phase requires
Thus the Wess-Zumino coefficient is quantized in integer or half-integer units.