This page lays down a specific set of axioms of the Haag-Kastler axioms to AQFT, knowing that this set is not the set of Haag-Kastler axioms, but one specific choice. The purpose is to state and prove some of the classical results of the theory in a mathematically precise and model independent way. In fact some experts will find the chosen axioms to be stronger than necessary, this is deliberately so to ease the exposition.
It is possible to construct examples that fulfill the axioms, to show that they are not empty, but we will not engage in this task here, at least not now. Note however that up to now there was no success in the task to construct systems in 4 dimensions with interactions, which has led to some doubts about the usefulness of this approach in the physics community: It has yet to be shown if the approach does or does not capture the essential features that makes possible the tremendous success of the standard model of particle physics.
We first collect some terms that are needed to then formulate the axioms of the vacuum representation. A few simple consequences are cited and some links to further concepts are provided.
We talk about 4-dimensional Minkowski spacetime only, i.e. is the vector space equipped with the scalar product with being the Euclidean scalar product on . Open bounded subsets of will be denoted by . The union of these form an index set , that is partially ordered by inclusion.
If two sets are spacelike separated, this will be denoted by , the interior of the spacelike complement of a given set will be denoted by or . The bounded open sets thus form a causal index set.
We denote the open forward (light)cone at x by , similar is the open backward cone at , if we simply write and . A double cone or diamond is an intersection of an open forward cone and an open backward cone that is nonempty and will be denoted by .
An important class of unbounded regions are the wedges: Choose an inertial frame and define the right wedge as
The set of wedges is then defined to be
While the definition of the right wedge depends on the chosen initial frame, the definition of the set of wedges does not.
Von Neumann algebras will always be concrete operator algebras acting on a given Hilbert space , as is the rule in the literature (see also von Neumann algebra). The commutant of will be denoted by , the positive cone by . The minimal von Neumann algebra that contains two given ones and will be denoted by:
As in this formula we will make frequently use of the bicommutant theorem to denote by the weak resp. strong closure resp. the generated von Neumann algebra of a give set of bounded operators.
An automorphism of an algebra is called an inner automorphism if there is an invertible element such that is given by conjugation with (note that our convention here differs from that used by Wikipedia).
In this paragraph we will collect some links and remarks about unitary representations of topological groups on Hilbert spaces that are relevant to our topic and less commonly used in the literature. In the following will be a topological group, a (complex) Hilbert space and an unitary representation of in the algebra of bounded operators of .
Definition (analytical vector): Let be a n-dimensional real Lie group. Fix a , a neighbourhood B of 0 in and a parametrization of a neighbourhood of 1 in . Then we can define a function by
If has an extension to an analytic function on a neighbourhood of 0 in , the vector is called an analytic vector (for ).
See planetmath for the definition of Banach space valued analytic functions.
A net of von Neumann algebras on a common Hilbert space , indexed by , is called a vacuum respresentation (on the 4-dimensional Minkowski spacetime) if it satisfies the following axioms:
Remark (mathematical viewpoint): is the abelian subgroup of translations, and is the (open) forward cone at 0, see above. For the definiton of the spectrum of the representation see spectral measure.
(choice of axioms) The uniqueness is sometimes part of the axioms, but not here. Instead we will cite theorems that will specify necessary and sufficient conditions to ensure that there is a unique vacuum vector.
A short hand notation for vacuum representations will be in the following.
The algebras are sometimes called local algebras.
The algebra is called quasilocal algebra, the smallest von Neuman algebra that contains is called the global algebra and denoted by .
A vacuum representation is called irreducible if (the global algebra is the whole algebra of all bounded linear operators on the given Hilbert space), it is called factorial if is a factor.
The subspace of that is invariant under the action of the translation group is not trivial due to the axiom 6. If it is one-dimensional, we will say that the vacuum representation has a unique vacuum vector (the space is then necessarily the subspace ).
Definition (algebras of unbounded open set) To any unbounded open set we associate a von Neumann algebra by
Theorem (weak additivity) Let be arbitrary, then we have
Remark (choice of axioms): Weak additivity of our nets are a direct consequence of our axioms, but this is often enough not so in the literature: Depending on the choice of axioms, it is either stated as an axiom or an auxiliary property of a net that is called for when needed.
Proof: Let be given (arbitrary but fixed). Let us first note that thanks to isotony and additivity we can restrict the index set of the union in the definition of from open bounded sets to diamonds, since every bounded set is contained in a diamond:
Given an arbitrary diamond we have while the latter is a bounded open subset . This means that we arrive at
which implies that the generated von Neumann algebras coincide, too, of course.
Theorem (Borchers, translations are inner): The representatives of the translations are elements of the global algebra , i.e. they are inner automorphisms of : .
Theorem (uniqueness of vacuum): Every factorial vacuum representation is irreducible. A vacuum representation is irreducible iff it has an unique vacuum vector.
Reeh-Schlieder Theorem: The vacuum vector is cyclic and separating for all local algebras.
Let and define . Define
triviality of algebras of spacelike segments
If the segment is spacelike, i.e. , and the vacuum respresentation has a unique vacuum vector, then , i.e. the algebra associated with the segment is trivial.
triviality of algebras of points The conclusion of the preceding statement holds if we put , i.e. if we consider the algebra associated with one point.
Remark (physical viewpoint): The preceding theorem is sometimes summarized as there are no non-trivial observables at the point. There are two possible ways to interpret this result: The pragmatic approach says that, since no detector can be built that measures observables precisley at one point of spacetime, there is no need of a theory to support the concept of observables localized at a point. The philosophical approach takes this one step further and states that our relativistic quantum theory tells us that the concepts of points and observables localized at points are an idealization with no relevance to nature.
The local algebras fulfill the Borchers property.
There are several directions one can pursue next, for example
This page is based upon:
A secondary reference is this: