The propagator is the quantum amplitude for evolving from one angular position to another. It evolves a wavefunction by . The path integral weights each trajectory by , with . Since the configuration space is a circle, paths must include all possible lifts of the final angle to the real line.
Take by Wick rotation. Let , which runs from zero to , and let the dot denote . The dimensionless Euclidean exponent is then . Tracing the kernel identifies final and initial angles modulo , while the lift can change by . Thus the rotor winding-sector path integral is
The integration measure is fixed by the short-time free-rotor kernel. The dot on is essential; it is present in the PDF but lost in the TeX aid.