Types of quantum field thories
In quantum field theory on Minkowski space all fields must transform according to a definite (finite dimensional) representation of the Poincare group, which determines the spin of each field. From the representation theory of the Poincare group it is known that the spin is a number with .
On the other hand, if we take fields to be pointwise localized in the sense of the Wightman axioms, then the locality axiom (also known as Einstein microcausality ) says that spacelike separated field operators either commute or anticommute: Two Fermionic fields anticommute, two Bosonic fields commute, a Fermionic and a Bosonic field commute.
The spin-statistics theorem states that fields with integer spin (n is even) are Bosonic fields, fields with half-integer spin (n is uneven) are Fermionic fields. A better name for the theorem would therefore be spin- commutation theorem, the name spin- statistics theorem stems from the fact that Bosons (the particles associated to Bosonic fields) are social, multiple particles can exist in the same quantum state, while Fermions are not social: The Pauli exclusion principle? says maximally one Fermion can exist in a given quantum state. This leads to different partition functions in statistical mechanics of systems consisting of Bosons only and of Fermions only, hence the name.
The statement and proof of the theorem depend on the framework for quantum field theory that is used, therefore there are, strictly speaking, several versions of the spin-statistics theorem, but the physical interpretation is always the same.
In the Haag-Kastler approach the Bisognano-Wichmann theorem states a relation of the representation of the Poincare group on certain local algebras of local nets and their modular groups. If this relation holds for a given net, then this net is said to fulfill the Bisognano-Wichmann property.
The Guido-Longo-paper cited in the references states the spin-statistics theorem for local nets with this property.
The classical textbook reference is
The proof, which goes back originally to Fermi. There is also a more intuitive approach based on topology. One can see hints of it in Feynman’s lecture here:
An exposition is at
A statement and proof of both a spin-statistics and a PCT theorem in the Haag-Kastler approach can be found in this paper:
Generalization to curved spacetime is in