Idea

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.

Abstract

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.

Notation

The Poincaré Group

The universal covering SL(2,C)⋉R4SL(2, \C) \ltimes \R^4 of the restricted Poincaré group𝒫+†\mathcal{P}^{\dagger}_+ will be denoted by 𝒫\mathcal{P}, the abeliansubgroup of all translations by 𝒯\mathcal{T}.

The Minkowski Spacetime

We talk about 4-dimensional Minkowski spacetimeℳ𝒾𝓃\mathcal{Min} only, i.e. ℳ𝒾𝓃\mathcal{Min} is the vector spaceR4=R×R3\R^{4} = \R \times \R^{3} equipped with the scalar product <x,y>:=x0y0−(x⇀,y⇀)\lt x, y \gt := x_0 y_0 - (\vec x, \vec y) with (⋅,⋅)( \cdot , \cdot ) being the Euclidean scalar product on R3\R^{3}. Open bounded subsets of ℳ𝒾𝓃\mathcal{Min} will be denoted by 𝒪\mathcal{O}. The union of these 𝒪\mathcal{O} form an index set 𝒥\mathcal{J}, that is partially ordered by inclusion.

If two sets are spacelike separated, this will be denoted by 𝒪1⊥𝒪2\mathcal{O}_1 \perp \mathcal{O}_2, the interior of the spacelike complement of a given set 𝒪\mathcal{O} will be denoted by 𝒪′\mathcal{O}' or 𝒪⊥\mathcal{O}^{\perp}. The bounded open sets thus form a causal index set.

We denote the open forward (light)cone at x by V+(x)V_+(x), similar V−(x)V_-(x) is the open backward cone at xx, if x=0x=0 we simply write V+V_+ and V−V_-. 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 𝒦\mathcal{K}.

An important class of unbounded regions are the wedges: Choose an inertial frame and define the right wedge as

Operator Algebras

Von Neumann algebrasℳ\mathcal{M} will always be concrete operator algebras acting on a given Hilbert spaceℋ\mathcal{H}, as is the rule in the literature (see also von Neumann algebra). The commutant of ℳ\mathcal{M} will be denoted by ℳ′\mathcal{M}', the positive cone by ℳ+\mathcal{M}^+. The minimal von Neumann algebra that contains two given ones ℳ1\mathcal{M}_1 and ℳ2\mathcal{M}_2 will be denoted by:

As in this formula we will make frequently use of the bicommutant theorem to denote by ℳ″\mathcal{M}'' the weak resp. strong closure resp. the generated von Neumann algebra of a give set of bounded operators.

An automorphism of an algebra αℳ→ℳ\alpha \mathcal{M} \rightarrow \mathcal{M} is called an inner automorphism if there is an invertible element u∈ℳu \in \mathcal{M} such that α\alpha is given by conjugation with u:α(m)=umu−1∀m∈ℳu: \alpha(m) = u \quad m \quad u^{-1} \qquad \forall m\in \mathcal{M} (note that our convention here differs from that used by Wikipedia).

Group Representations

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 𝒢\mathcal{G} will be a topological group, ℋ\mathcal{H} a (complex) Hilbert space and 𝒰\mathcal{U} an unitary representation of 𝒢\mathcal{G} in the algebra of bounded operators of ℋ\mathcal{H}.

Definition (analytical vector): Let 𝒢\mathcal{G} be a n-dimensional real Lie group. Fix a f∈ℋf \in \mathcal{H}, a neighbourhood B of 0 in Rn\R^n and a parametrization ϕ:B→𝒢\phi: B \to \mathcal{G} of a neighbourhood of 1 in 𝒢\mathcal{G}. Then we can define a function 𝒰f\mathcal{U}_f by

𝒰f:B→ℋ
\mathcal{U}_f: B \to \mathcal{H}

x↦𝒰(ϕ(x))f
x \mapsto \mathcal{U}(\phi(x)) f

If 𝒰f\mathcal{U}_f has an extension to an analytic function on a neighbourhood of 0 in Cn\C^n, the vector ff is called an analytic vector (for 𝒰\mathcal{U}).

See planetmath for the definition of Banach space valued analytic functions.

Definition of Vacuum Representations

A net of von Neumann algebras ℳ(𝒪)\mathcal{M}(\mathcal{O}) on a common Hilbert space (ℋ)(\mathcal{H}), indexed by 𝒪∈𝒥\mathcal{O} \in \mathcal{J}, is called a vacuum respresentation (on the 4-dimensional Minkowski spacetime) if it satisfies the following axioms:

(V4) covariance: There is a strongly continuous unitary representation 𝒰(𝒫)\mathcal{U}(\mathcal{P}) of 𝒫\mathcal{P} such that for each g∈𝒫g \in \mathcal{P} the following holds: ℳ(g𝒪)=𝒰(g)ℳ(𝒪)𝒰(g)−1\mathcal{M}(g\mathcal{O}) = \mathcal{U}(g) \mathcal{M}(\mathcal{O}) \mathcal{U}(g)^{-1}

Remark (mathematical viewpoint): 𝒯\mathcal{T} is the abelian subgroup of translations, and 𝒱+\mathcal{V}_+ is the (open) forward cone at 0, see above. For the definiton of the spectrum of the representation 𝒰(𝒯)\mathcal{U}(\mathcal{T}) see spectral measure.

(V6) existence of a vacuum vector: There exists a vector Ω∈ℋ,‖Ω‖=1\Omega \in \mathcal{H}, \|\Omega\| = 1, such that (⋃𝒪∈𝒥ℳ(𝒪))Ω\bigl( \bigcup_{\mathcal{O}\in\mathcal{J}}\mathcal{M}(\mathcal{O}) \bigr) \Omega is dense in ℋ\mathcal{H} and 𝒰(g)Ω=Ω\mathcal{U}(g)\Omega = \Omega for all g∈𝒫g \in \mathcal{P}

Remark

(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.

Additional Notations and Notions of Vacuum Representations

A short hand notation for vacuum representations will be ℳ(𝒥)\mathcal{M}(\mathcal{J}) in the following.

The algebras ℳ(𝒪)\mathcal{M}(\mathcal{O}) are sometimes called local algebras.

The C*−C^*-algebra 𝒜:=clo‖⋅‖(⋃𝒪∈𝒥ℳ(𝒪))\mathcal{A} := clo_{\| \cdot \|} \bigl( \bigcup_{\mathcal{O}\in\mathcal{J}}\mathcal{M}(\mathcal{O}) \bigr) is called quasilocal algebra, the smallest von Neuman algebra that contains 𝒜\mathcal{A} is called the global algebra and denoted by ℛ\mathcal{R}.

A vacuum representation is called irreducible if ℛ=ℒ(ℋ)\mathcal{R} = \mathcal{L}(\mathcal{H}) (the global algebra is the whole algebra of all bounded linear operators on the given Hilbert space), it is called factorial if ℛ\mathcal{R} is a factor.

The subspace of ℋ\mathcal{H} that is invariant under the action of the translation group 𝒯\mathcal{T} 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 CΩ\C\Omega).

first consequences and the Reeh-Schlieder theorem

Definition (algebras of unbounded open set) To any unbounded open set 𝒰\mathcal{U} we associate a von Neumann algebra by

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 𝒪0\mathcal{O}_0 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 ℛ\mathcal{R} from open bounded sets to diamonds, since every bounded set is contained in a diamond:

Given an arbitrary diamond 𝒦\mathcal{K} we have 𝒦⊂(⋃a∈𝒦(𝒪0+a))\mathcal{K} \subset \bigl( \bigcup_{a \in \mathcal{K}}(\mathcal{O}_0 + a) \bigr) while the latter is a bounded open subset ∈𝒥\in \mathcal{J}. 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 ℛ\mathcal{R}, i.e. they are inner automorphisms of ℛ\mathcal{R}: 𝒰(𝒯)⊆ℛ\mathcal{U}(\mathcal{T}) \subseteq \mathcal{R}.

Theorem (uniqueness of vacuum): Every factorial vacuum representation is irreducible. A vacuum representation is irreducible iff it has an unique vacuum vector.

Theorem

triviality of algebras of points The conclusion of the preceding statement holds if we put b=0b = 0, 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.