Phase transitions in anisotropic lattice spin systems

A general method for proving the existence of phase transitions is presented and applied to six nearest neighbor models, both classical and quantum mechanical, on the two dimensional square lattice. Included are some two dimensional Heisenberg models. All models are anisotropic in the sense that the groundstate is only finitely degenerate. Using our method which combines a Peierls argument with reflection positivity, i.e. chessboard estimates, and the principle of exponential localization we show that five of them have long range order at sufficiently low temperature. A possible exception is the quantum mechanical, anisotropic Heisenberg ferromagnet for which reflection positivity is not proved, but for which the rest of the proof is valid.