This is an old revision of the document!
The $O(2)$ model is a well studied special case of the $O(N)$ model.