\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{mathbbol}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Haag-Kastler vacuum representation}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{aqft}{}\paragraph*{{AQFT}}\label{aqft}

[[!include AQFT and operator algebra contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{abstract}{Abstract}\dotfill \pageref*{abstract} \linebreak
\noindent\hyperlink{notation}{Notation}\dotfill \pageref*{notation} \linebreak
\noindent\hyperlink{the_poincar_group}{The Poincar\'e{} Group}\dotfill \pageref*{the_poincar_group} \linebreak
\noindent\hyperlink{the_minkowski_spacetime}{The Minkowski Spacetime}\dotfill \pageref*{the_minkowski_spacetime} \linebreak
\noindent\hyperlink{operator_algebras}{Operator Algebras}\dotfill \pageref*{operator_algebras} \linebreak
\noindent\hyperlink{group_representations}{Group Representations}\dotfill \pageref*{group_representations} \linebreak
\noindent\hyperlink{definition_of_vacuum_representations}{Definition of Vacuum Representations}\dotfill \pageref*{definition_of_vacuum_representations} \linebreak
\noindent\hyperlink{additional_notations_and_notions_of_vacuum_representations}{Additional Notations and Notions of Vacuum Representations}\dotfill \pageref*{additional_notations_and_notions_of_vacuum_representations} \linebreak
\noindent\hyperlink{first_consequences_and_the_reehschlieder_theorem}{first consequences and the Reeh-Schlieder theorem}\dotfill \pageref*{first_consequences_and_the_reehschlieder_theorem} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

This page lays down a specific set of axioms of the [[Haag-Kastler axioms]] to [[AQFT]], knowing that this set is not \emph{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.

\hypertarget{abstract}{}\subsection*{{Abstract}}\label{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.

\hypertarget{notation}{}\subsubsection*{{Notation}}\label{notation}

\hypertarget{the_poincar_group}{}\paragraph*{{The Poincar\'e{} Group}}\label{the_poincar_group}

The universal covering $SL(2, \C) \ltimes \R^4$ of the restricted [[Poincaré group]] $\mathcal{P}^{\dagger}_+$ will be denoted by $\mathcal{P}$, the [[abelian group|abelian]] [[subgroup]] of all translations by $\mathcal{T}$.

\hypertarget{the_minkowski_spacetime}{}\paragraph*{{The Minkowski Spacetime}}\label{the_minkowski_spacetime}

We talk about 4-dimensional [[Minkowski spacetime]] $\mathcal{Min}$ only, i.e. $\mathcal{Min}$ is the [[vector space]] $\R^{4} = \R \times \R^{3}$ equipped with the scalar product $\lt x, y \gt := x_0 y_0 - (\vec x, \vec y)$ with $( \cdot , \cdot  )$ being the Euclidean scalar product on $\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 [[poset|partially ordered]] by inclusion.

If two sets are spacelike separated, this will be denoted by $\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)$, similar $V_-(x)$ is the open backward cone at $x$, if $x=0$ we simply write $V_+$ and $V_-$. A \textbf{double cone} or \textbf{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 \textbf{wedges}: Choose an inertial frame and define the right wedge as

\begin{displaymath}
W_R := \{ x = (t, x_1, x_2, x_3) \in \mathbb{R}^4 \mid x_1 \gt \shortmid t \shortmid \}
\end{displaymath}
The set of wedges is then defined to be

\begin{displaymath}
\mathcal{W} := \{\lambda W_R \mid \lambda \in \mathcal{P}^{\dagger}_+ \}
\end{displaymath}
While the definition of the right wedge depends on the chosen initial frame, the definition of the set of wedges does not.

\hypertarget{operator_algebras}{}\paragraph*{{Operator Algebras}}\label{operator_algebras}

See [[operator algebra]] and [[von Neumann algebra]] here on the nLab.

[[von Neumann algebra|Von Neumann algebras]] $\mathcal{M}$ will always be concrete [[operator algebra]]s 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 $\mathcal{M}_1$ and $\mathcal{M}_2$ will be denoted by:

\begin{displaymath}
\mathcal{M}_1 \vee \mathcal{M}_2 :=  {(\mathcal{M}_1 \cup \mathcal{M}_2)}''
\end{displaymath}
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 \textbf{inner} automorphism if there is an invertible element $u \in \mathcal{M}$ such that $\alpha$ is given by conjugation with $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 \href{http://en.wikipedia.org/wiki/Inner_automorphism}{Wikipedia}).

\hypertarget{group_representations}{}\paragraph*{{Group Representations}}\label{group_representations}

In this paragraph we will collect some links and remarks about unitary [[representation]]s of [[topological group]]s 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 (\textbf{analytical vector}): Let $\mathcal{G}$ be a n-dimensional real Lie group. Fix a $f \in \mathcal{H}$, a neighbourhood B of 0 in $\R^n$ and a parametrization $\phi: B \to \mathcal{G}$ of a neighbourhood of 1 in $\mathcal{G}$. Then we can define a function $\mathcal{U}_f$ by

\begin{displaymath}
\mathcal{U}_f: B \to \mathcal{H}
\end{displaymath}
\begin{displaymath}
x \mapsto \mathcal{U}(\phi(x)) f
\end{displaymath}
If $\mathcal{U}_f$ has an extension to an analytic function on a neighbourhood of 0 in $\C^n$, the vector $f$ is called an analytic vector (for $\mathcal{U}$).

See \href{http://planetmath.org/encyclopedia/BanachSpaceValuedAnalyticFunctions.html}{planetmath} for the definition of Banach space valued analytic functions.

\hypertarget{definition_of_vacuum_representations}{}\subsubsection*{{Definition of Vacuum Representations}}\label{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 \textbf{vacuum respresentation} (on the 4-dimensional Minkowski spacetime) if it satisfies the following axioms:

\begin{theorem}
\label{isotony}\hypertarget{isotony}{}
\end{theorem}
\begin{theorem}
\label{additivity}\hypertarget{additivity}{}
\end{theorem}
\begin{theorem}
\label{locality}\hypertarget{locality}{}
\end{theorem}
\begin{theorem}
\label{covariance}\hypertarget{covariance}{}
\end{theorem}
\begin{theorem}
\label{spectrum_condition}\hypertarget{spectrum_condition}{}
\end{theorem}
\emph{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]].

\begin{theorem}
\label{existence_of_vacuum_vector}\hypertarget{existence_of_vacuum_vector}{}
\end{theorem}
\begin{uremark}
\textbf{(choice of axioms)} The \emph{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 \emph{unique} vacuum vector.

\end{uremark}
\hypertarget{additional_notations_and_notions_of_vacuum_representations}{}\subsubsection*{{Additional Notations and Notions of Vacuum Representations}}\label{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 \textbf{local algebras}.

The $C^*-$algebra $\mathcal{A} := clo_{\| \cdot \|} \bigl( \bigcup_{\mathcal{O}\in\mathcal{J}}\mathcal{M}(\mathcal{O}) \bigr)$ is called \textbf{quasilocal algebra}, the smallest von Neuman algebra that contains $\mathcal{A}$ is called the \textbf{global algebra} and denoted by $\mathcal{R}$.

A vacuum representation is called \textbf{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 \textbf{factorial} if $\mathcal{R}$ is a factor.

\begin{itemize}%
\item Wikipedia on \href{http://en.wikipedia.org/wiki/Von_Neumann_algebra#Factors}{factors} of von Neumann algebras.

\end{itemize}
The subspace of $\mathcal{H}$ that is invariant under the action of the translation group $\mathcal{T}$ is not trivial due to the axiom \ref{existence_of_vacuum_vector}. If it is one-dimensional, we will say that the vacuum representation has a \textbf{unique vacuum vector} (the space is then necessarily the subspace $\C\Omega$).

\hypertarget{first_consequences_and_the_reehschlieder_theorem}{}\subsubsection*{{first consequences and the Reeh-Schlieder theorem}}\label{first_consequences_and_the_reehschlieder_theorem}

\begin{itemize}%
\item \textbf{Definition (algebras of unbounded open set)} To any unbounded open set $\mathcal{U}$ we associate a von Neumann algebra by

\begin{displaymath}
\mathcal{M}(U) := \bigl( \bigcup_{\mathcal{O} \subset \mathcal{U}} \mathcal{M}(\mathcal{O}) \bigr)''
\end{displaymath}

\item \textbf{Theorem (weak additivity)} Let $\mathcal{O} \in \mathcal{J}$ be arbitrary, then we have

\begin{displaymath}
\bigl( \bigcup_{a \in \mathcal{T}} \mathcal{M}(a \mathcal{O}) \bigr)'' = \mathcal{R}
\end{displaymath}


\end{itemize}
\emph{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.

\emph{Proof}: Let $\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:

\begin{displaymath}
\bigl( \bigcup_{\mathcal{O} \in \mathcal{J}} \mathcal{M}(\mathcal{O}) \bigr)'' = \bigl( \bigcup_{\mathcal{K}} \mathcal{M}(\mathcal{K}) \bigr)'' = \mathcal{R}
\end{displaymath}
Given an arbitrary diamond $\mathcal{K}$ we have $\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

\begin{displaymath}
\bigcup_{\mathcal{K}} \mathcal{M}(\mathcal{K}) = \bigcup_{a\mathcal{O}_0, a \in {\mathcal{T}}} \mathcal{M}(a\mathcal{O}_0)
\end{displaymath}
which implies that the generated von Neumann algebras coincide, too, of course.

\begin{itemize}%
\item \textbf{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}$.


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


\item \textbf{[[Reeh-Schlieder Theorem]]}: The vacuum vector is cyclic and separating for all local algebras.



\end{itemize}
Let $x, y \in \R^4$ and define $[x, y] := \{\lambda x + \mu y | \lambda, \mu \geqq 0, \lambda + \mu = 1\}$. Define

\begin{displaymath}
\mathcal{M}[x, y] := \cap_{[x, y] \subset \mathcal{O}} \mathcal{M}(\mathcal{O})
\end{displaymath}
\begin{utheorem}
\textbf{triviality of algebras of spacelike segments}

If the segment $[x, x + b]$ is spacelike, i.e. $\langle b, b \rangle \lt 0$, and the vacuum respresentation has a unique vacuum vector, then $\mathcal{M}[x, x + b] = \mathbb{C} \mathbb{1}$, i.e. the algebra associated with the segment is trivial.

\end{utheorem}
\begin{utheorem}
\textbf{triviality of algebras of points} The conclusion of the preceding statement holds if we put $b = 0$, i.e. if we consider the algebra associated with one point.

\end{utheorem}
\emph{Remark} (physical viewpoint): The preceding theorem is sometimes summarized as \emph{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

\begin{itemize}%
\item the [[classification of local algebras]] or


\item [[superselection theory]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

This page is based upon:

\begin{itemize}%
\item Hellmut Baumg\"a{}rtel: Operator algebraic Methods in Quantum Field Theory. A series of lectures. Akademie Verlag 1995 (\href{http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0839.46063&format=complete}{ZMATH entry})

\end{itemize}
A secondary reference is this:

\begin{itemize}%
\item Hellmut Baumg\"a{}rtel, Manfred Wollenberg: Causal nets of operator algebras, Berlin: Akademie Verlag 1992 (\href{http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0749.46038&format=complete}{ZMATH entry})

\end{itemize}


\end{document}