First-order transitions for n-vector models in two and more dimensions: rigorous proof.

We prove that various SO(n)-invariant n-vector models with interactions which have a deep and narrow enough minimum have a first-order transition in the temperature. The result holds in dimensions two or more and is independent of the nature of the low-temperature phase.