Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 303 / 3 / b

For the $O(2)$ model writeAt long distances the massive radial field $\rho$ can be neglected, leaving the Goldstone-mode effective free energyThereforeThe mode is massless, so its correlation length is infinite. For $d>2$ its large-distance Green function isFor $d=2$ it is $-(2\pi \gamma v^2{)}^{-1}\log (r/a)$ up to an infrared-dependent constant, and in $d=1$ it is $-|r|/(2\gamma v^2)$ up to such a constant.

The invariant diagnostic is the phase-difference varianceIt diverges linearly in $d=1$ and logarithmically in $d=2$, destroying true long-range order, but approaches a finite infrared limit for $d=3,4$. Thus the continuous-symmetry ordered phase exists for $d=3,4$ and not for $d=1,2$, in agreement with the Mermin-Wagner theorem. The lower critical dimension is $d_{\mathrm{lc}}=2$; the two-dimensional $O(2)$ model can instead show quasi-long-range order below a BKT transition.