Types of quantum field thories
This page is a draft, see for now
Rough idea: The Wightman axioms describe how the algebra of observables of a quantum field theory on Minkowski spacetime is generated by quantum fields. The Wightman reconstruction theorem asserts that knowing all correlation functions of all fields in the vacuum state is equivalent to knowing the quantum fields. The Osterwalder–Schrader theorem states conditions that correlation functions on Euclidean spacetime have to satisfy to be equivalent to the correlation functions of a Wightman QFT on Minkowski spacetime.
In this sense the Osterwalder–Schrader theorem states and proves conditions that assure that the Wick rotation is a well defined isomorphism of quantum field theories on Minkowski and on Euclidean spacetime.
The axioms of euclidean field theory are the euclidean analogue of the Wightman axioms on Minkowski spacetime. The axioms may be formulated for tempered distributions, but we follow the lines of Glimm and Jaffe and define them for , the space of distributions that is dual to the space of all smooth functions with compact support, . In the original paper of Osterwalder and Schrader the axioms are given in terms of the Schwinger functions. Here the axioms given in a form more directly related to the measure on field space and its characteristic function, rather than the Schwinger functions themselves. This form was first presented by Fröhlich. We define the generating functional on
as the inverse Fourier transform of a Borel probability measure on .
OS0 (analyticity): For every finite set of test functions and complex numbers the function
is entire analytic on .
OS1 (regularity): For some p with and some constant c the following inequality holds for all test functions f:
OS2 (invariance): S is invariant under euclidean symmetries E of (translations, rotations, reflections), that is S(f) = S(Ef) for all symmetries E and test functions f.
OS3 (reflection positivity) We define exponential functionals on via
Let be the set of all these functionals, by axiom OS0 this is a subset of . Euclidean symmetries act on via duality, that is , and thus define an unitary continuous action on . Let be the set of functionals with where . Let be the time reflection. Then the content of the axiom is:
OS4 (ergodicity): the time translation subgroup acts ergodically on the measure space .
theorem (Schwinger functions): A measure that satisfies OS0 has moments of all order, the nth moment has a density . These distributions are called Schwinger functions.
One possible formulation: To every measure satisfying the axioms stated above there is a Wightman field such that the Schwinger and Wightman functions are related by:
is a Schwinger function, is a Wightman field and is the vacuum vector of the Wightman fields. See theorem 6.15 in the book by Glimm and Jaffe (see references).
The main reference is the classic textbook about constructive quantum field theory: