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