The Borchers property is a property of local nets in the Haag-Kastler approach to quantum field theory that follows, by a theorem of Borchers, from three physically motivated axioms on local nets. If every local algebra of the net is a type III factor, then the Borchers property is also a direct consequence.
The Borchers property is therefore often used as an “intermediate technical assumption”.
Sometimes this property is also abbreviated as “property B”.
The net satisfies the Borchers property if for every double cones with and a nonzero projection, is (Murray-von Neumann) equivalent to the identity with respect to . That is, there is a partial isometry such that .
A net satisfying causality, the spectrum condition and weak additivity (see Haag-Kastler vacuum representation for definitions) satisfies the Borchers property.
Remark : In particular the local algebras of nets that satisfy the Borchers property cannot be finite where finite is meant in the sense of the Murray-von Neumann classification of factors.