Lattice models for liquid crystals

A problem in the theory of liquid crystals is to construct a model system which at low temperatures displays long-range orientational order, but not translational order in all directions. We present five lattice models (two two-dimensional and three three-dimensional) of hard-core particles with attractive interactions and prove (using reflection positivity and the Peierls argument) that they have orientational order at low temperatures; the two-dimensional models have no such ordering if the attractive interaction is not present. We cannot prove that these models do not have complete translational order, but their zero-temperature states are such that we are led to conjecture that complete translational order is always absent.