To appear in Commun. Math. Phys.