Haag Duality in the Thermal Sector

We prove that the net of localised von Neumann algebras associated with a real scalar field propagating on Minkowski spacetime, in the KMS representation, satisfies a generalised version of Haag duality. Our proof combines ideas from existing arguments for the ground-state representation with purification techniques.