\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\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*{perturbative algebraic quantum field theory}

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

\hypertarget{algebraic_quantum_field_theory}{}\paragraph*{{Algebraic Quantum Field Theory}}\label{algebraic_quantum_field_theory}

[[!include AQFT and operator algebra contents]]

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{review}{Review}\dotfill \pageref*{review} \linebreak
\noindent\hyperlink{original_articles}{Original articles}\dotfill \pageref*{original_articles} \linebreak


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

What is called \emph{locally covariant perturbative algebraic quantum field theory} (\hyperlink{BrunettiFredenhagen00}{Brunetti-Fredenhagen 00}, \hyperlink{BrunettiFredenhagenVerch03}{Brunetti-Fredenhagen-Verch 03}) is a formulation of [[local quantum field theory|local]] [[perturbative quantum field theory|perturbative]] [[quantum field theory]] [[AQFT on curved spacetimes|on general spacetimes]] (hence on general [[classical field theory|classical]] [[background field]] configurations of the field theory of [[gravity]]) which is both mathematically rigorous as well as closely connected to the traditional non-rigorous discussions, hence to [[phenomenology]] and [[experiment]].

The approach uses the [[Haag-Kastler axioms]] for [[algebraic quantum field theory]] in a variant that

\begin{enumerate}%
\item demands only [[formal power series]] [[star-algebras]] [[algebra of observables|of observables]] instead of [[C\emph{-algebras]]}

(this reflects the [[perturbation theory]] in [[Planck's constant]] and the [[coupling constant]]);


\item evaluates [[local nets of observables]] not just on causal subspaces of [[Minkowski spacetime]] but on more general [[globally hyperbolic Lorentzian manifolds]]



\end{enumerate}
(this reflects the extension to general curved spacetime backgrounds).

What connects this to the traditional discussion of QFT is the observation (in essence already due to \hyperlink{IlinSlavnov78}{Il'in-Slavnov 78} but then ignored) that standard [[renormalization]] theory (removal of [[ultraviolet divergences]]) in the guise of [[causal perturbation theory]] (\hyperlink{EpsteinGlaser73}{Epstein-Glaser 73}) automatically produces [[causally local nets]] of [[algebras of observables]] (due to ``[[adiabatic switching]]'' and [[causal locality]] of the [[S-matrix]], see \href{S-matrix#CausalLocality}{there}), in fact that considering these local nets instead of their would-be colimiting global algebra serves to define the perturbation theory even in the presence of [[infrared divergences]]. (Specifically: This takes care of the ``[[algebraic adiabatic limit]]'', which defines the [[quantum observables]]. It does not yet in itself define the ``[[weak adiabatic limit]]'' for the would-be [[vacuum]] [[quantum state]].)

To put this into perspective, notice that formulation of [[quantum field theory]] has many aspects and perspectives. Two almost complementary threads are the following:

\textbf{1) [[perturbative QFT|perturbation theory]] by means of [[formal geometry|formal]] [[Feynman diagram]] expansions of ([[Wick rotation|Wick rotated]]) [[path integrals]]}

This is the approach predominant in [[phenomenology]].

It produces the [[observable]] [[numbers]] which are checked to great precision in [[experiments]] starting from the early development of [[quantum electrodynamics]], fully established with the success of [[quantum chromodynamics]] and recently culminating in the [[Higgs field]] physics seen at the [[LHC]] experiment, confirming the [[standard model of particle physics]].

While many of the mathematical intricacies of this approach have found solutions over the decades, most of these rely on global properties of [[Minkowski spacetime]] such as translation invariance and existence of an invariant [[vacuum]] [[quantum state]], hence on a consistent concept of [[particles]]. None of this generalizes robustly to [[quantum field theory on curved spacetimes]] of relevance in [[cosmology]], [[black hole radiation]] or the [[instanton in QCD|instanton vacuum of QCD]].

\textbf{2) [[algebraic quantum field theory]] by means of [[local nets]] of [[C\emph{-algebras]] of [[observables]]*}}

This is the approach predominant in [[mathematical physics]].

It produces the structural [[theorems]] of quantum field theory, such as the [[PCT theorem]] and the [[spin-statistics theorem]] and it seamlessly generalizes to [[QFT on curved spacetimes]].

In its insistence on [[C\emph{-algebras]] its ambition is to describe the full [[non-perturbative quantum field theory|non-perturbative]] quantum field theory. But as a matter of fact not a single relevant example ([[interaction|interacting]] QFT in spacetime dimensions 4 or greater) is known. Indeed, the construction of the motivating example, [[quantization of Yang-Mills theory]], is one of the open ``millenium problems''.}

$\,$

Locally covariant perturbative quantum field theory provides a synthesis of these two opposites.

$\,$

Quantum field theory is not only extremely rich in its [[phenomenology]] but also its formulation involves a plethora of mathematical tools, such as [[Lorentzian geometry]], [[spin geometry]], [[analysis]] (especially [[Fréchet manifold]] theory for [[jet bundles]] and [[spaces of sections]]) [[variational calculus]], [[symplectic geometry]], [[quantization]] (specifically [[formal deformation quantization]] for [[perturbative quantum field theory]]) [[functional analysis]] (specifically [[microlocal analysis]] for [[causal perturbation theory]]) and [[operator algebra]]. While lcpAQFT is mathematically rigorous, hence unambiguous and precise, it remains a long story from its first principles to the computation of [[scattering amplitudes]]. To ease the overview, we now indicate the global structure of the topic first.

The input datum is a [[local field theory|local]] [[Lagrangian field theory|Lagrangian]] [[classical field theory]] on [[gravity]] [[background fields|backgrounds]], hence a [[natural transformation]] from ([[globally hyperbolic spacetimes|globally hyperbolic]]) [[Lorentzian manifolds]] to [[field bundles]] over these spacetimes equipped with a [[local Lagrangian density]] on their [[jet bundle]].

This induces for each Lorentzian spacetime the corresponding [[covariant phase space]], a [[presymplectic structure|presymplectic]] [[smooth space]].

Passage to the corresponding [[perturbative quantum field theory]] means to choose a [[formal deformation quantization]] of a subalgebra of the [[algebra of functions|algebra of]] [[smooth functions]] on the covariant phase space (the ``[[observables]]''). This formal deformation is a [[formal power series]] [[star-algebra]] whose formal parameter is identified with [[Planck's constant]] and it is this [[formal power series]] nature which makes this just a \emph{perturbative} quantization (while a [[non-perturbative field theory|non-perturbative]] quantization would be required to yield a [[C\emph{-algebra]] of [[quantum observables]], or something similar).}

Finally what makes this \emph{locally covariant} is that the resulting assignment of formal power series algebras of observables to spacetimes is required to still be a [[functor]] satisfying [[causal locality]] (a [[local net]]). It is in this sense that the output of the procedure is an [[algebraic quantum field theory]] in the sense of the [[Haag-Kastler axioms]], only that instead of [[C\emph{-algebras]] it assigns [[formal power series]] [[star-algebras]].}

In summary, constructing a locally covariant perturbative quantum field theory means to

\begin{itemize}%
\item prescribe a [[classical field theory]] encoded by a functor

$L \;\colon\;\left\{ \text{spacetimes} \right\} 
   \longrightarrow \left\{ \itexarray{ \text{field bundles equipped with} \\ \text{local Lagrangian densities} }\right\}$

and consider the induced [[covariant phase space]]

$\omega \;\colon\; \left\{ \text{spacetimes} \right\} \longrightarrow \{ \text{pre-symplectic smooth spaces} \}$


\item choose a [[formal deformation quantization]] of a subalgebra of the smooth functions on the covariant phase space

$A_{obs} \;\colon\; \left\{ \text{spacetimes} \right\} \longrightarrow \left\{ \text{formal power series star algebra} \right\}$

such that this satisfies [[causal locality]].



\end{itemize}
While this is straightforward as a prescription, finding any formal deformation quantization on infinite-dimensional phase spaces is highly non-trivial. (Notice that essentially all the existing literature on formal deformation quantization considers it on finite-dimensional manifolds.) But there is an [[algorithm]] that yields an effective solution together with a parameterization of the available choices, called \emph{[[causal perturbation theory]]}. This algorithm proceeds as follows:

\begin{enumerate}%
\item Choose a decomposition of the [[Lagrangian density]] $L$ into a [[kinetic action|kinetic term]] $L_{kin}$ and an [[interaction]] term $L_{int} \coloneqq L - L_{kin}$, where $L_{kin}$ is such that its [[Euler-Lagrange equation|Euler-Lagrange]] [[equation of motion]] is a [[linear operator|linear]] [[hyperbolic differential operator]] (the ``[[wave operator]]'' for the [[free field]]);


\item construct its [[Wick algebra]] which is the vector space of [[microcausal functionals]] on phase space equipped with the [[Moyal quantization|Moyal star product]] induced by the [[causal Green function]] of that hyperbolic differential operator;


\item for the remaining [[interaction]] $L_{int}$ regarded as an element of the Wick algebra, [[induction|inductively]] construct its [[S-matrix]] as a [[distribution]] with values in the Wick algebra by demanding it to be [[causal additivity|causally additive]] (this is the step of [[causal perturbation theory]] proper). The theorem of (\hyperlink{EpsteinGlaser73}{Epstein-Glaser 73}) states that this has a solution, and that the ambiguity in the solution is at each step of the induction parametrized by a finite set of [[real numbers]] (given, at stage $n$, by extending the [[n-point function]] [[distributions]] to the [[diagonal]]).


\item Finally the desired algebra of observables on some spacetime $X$ is the Wick algebra on microcausal functions on any slightly larger spacetime $\tilde X$ deformed by conjugation with the S-matrix evaluated (being a distribution) on any bump function on $\tilde X$ that is unity on $X \subset \tilde X$.



\end{enumerate}
For [[Minkowski spacetime]] this algorithm is due to \hyperlink{EpsteinGlaser73}{Epstein-Glaser 73} building on ideas of St\"u{}ckelberg and Bogoliubov, while the generalization to [[globally hyperbolic spacetimes]] is due to \hyperlink{BrunettiFredenhagen00}{Brunetti-Fredenhagen 00} (at least for [[scalar field theory]]). That this does in fact yield a [[local net]] ([[causal locality]]) was first observed in (\hyperlink{IlinSlavnov78}{Il'in-Slavnov 78}), but ignored or forgotten, and then rediscovered and popularized in (\hyperlink{BrunettiFredenhagen00}{Brunetti-Fredenhagen 00}).

When comparing with the bulk of the literature, the reader should beware that most texts do not discuss this algorithm as a means for [[formal deformation quantization]]. Instead, this algorithm of [[causal perturbation theory]] was extracted from experience and justified itself by coinciding with other established recipes of quantum field theory to the extent that these are well-defined, and hence ultimately by producing [[scattering amplitudes]] in [[QED]], [[QCD]] and the [[standard model of particle physics]] which, when truncated to low order in the formal deformation parameter $\hbar$, turn out to coincide to high precision with [[experiment]].

That this algorithm in fact constructs the [[formal deformation quantization]] of the covariant phase space of the given local Lagrangian density $L$ was understood only very recently in (\hyperlink{Collini16}{Collini 16}) (for [[phi{\tt \symbol{94}}4 theory]] of the [[scalar field]]) and in (\hyperlink{HawkinsRejzner16}{Hawkins-Rejzner 16}) (for the [[scalar field]] with regular non-local interaction terms).

There are choices to be made in finding this deformation quantization. In (\hyperlink{Collini16}{Collini 16}) these are parameterized as the choices of initial conditions in the [[induction|inductive]] construction of [[Fedosov's deformation quantization]] and shown to be equivalent to the choices of causal splitting of distributions in the above algorithm of [[causal perturbation theory]] due to \hyperlink{EpsteinGlaser73}{Epstein-Glaser 73}, which in turn equivalently are the choices known as \emph{[[renormalization]]} coefficients in traditional perspectives to perturbative quantum field theory (which in a mathematically rigorous approach might better be called ``normalization'' coefficients as in \hyperlink{Scharf95}{Scharf 95, section 4.3}). The [[main theorem of perturbative renormalization]] states that the space of these choices is a [[torsor]] over a [[group]], called the [[Stückelberg-Petermann renormalization group]].

Finally notice that there is also a choice involved in restricting attention to the [[microcausal functionals]] inside the algebra of all smooth functions on phase space. For deformation quantization on finite-dimensional manifolds it is understood that the full algebra of smooth functions is to be quantized, but for the infinite-dimensional phase space of field theory the full algebra of functions does not even support the [[Poisson bracket]] which is to be deformed. The subalgebra of microcausal functionals just happens to be technically under control, closed under the Poisson bracket, and large enough to contain the point-interaction terms that are relevant in quantum field theories observed in nature ([[QED]], [[QCD]], [[perturbative quantum gravity]]). It seems to be unclear and in fact un-studied what a lift of the whole program to larger subalgebras would mean or entail.

One way to understand why it is not the full space of smooth functions on phase space that should be quantized is the sibling of algebraic deformation quantization known as [[geometric quantization]]. This demands that only the [[Hamiltonian vector field|Hamiltonian observables]] be considered, which are those smooth functions $h$ on phase space such that there exists a smooth vector field $v$ with $d h = \omega(v,-)$ (where $\omega$ is the [[pre-symplectic form]]). On these at the very least the [[Poisson bracket]] is guaranteed to close (for discussion of this in the context of local field theory see \href{Poisson+manifold#BeniniSchenkel16}{Benini-Schenkel 16}), in fact geometric pre-quantization is the [[Lie integration]] of the resulting Poisson-bracket [[Lie algebra]] to the [[quantomorphism group]]. Hence the restriction to Hamiltonian observables may be regarded as part of [[non-perturbative field theory]] and hence highlights the intrinsic incompleteness of perturbative quantization methods.

At the moment, however, non-perturbative quantization of field theories remains completely non-understood (apart from toy cases such as [[2d conformal field theories]] and certain [[topological field theories]]). For the class of [[Yang-Mills theories]] it is one of in the list of open ``Millenium Problems'' of the Clay Mathematics Institute (\href{quantization+of+Yang-Mills+theory#JaffeWitten}{Jaffe-Witten}, \href{quantization+of+Yang-Mills+theory#Douglas04}{Douglas 04}).

For more detailed discussion of all of this see at \emph{[[geometry of physics -- A first idea of quantum field theory]]}.

Besides lcpQFT being just perturbative (in [[Planck's constant]]), there remains just one problem:

When applied to [[gauge theory]] on [[quantum field theory on curved spacetime|on curved spacetime]] the usual axioms on a [[local net]] break: either they enforce all [[characteristic classes]] of the [[gauge field]] (``[[instanton sectors]]'') to be trivial, or else the axioms encoding locality are broken (see \hyperlink{Schenkel14}{Schenkel 14}, \href{https://ncatlab.org/schreiber/show/Higher+field+bundles+for+gauge+fields}{Schreiber 14}).

This remaining problem is meant to be solved by passing from plain [[algebras of observables]] to [[homotopical algebra|homotopical algebras]] ([[higher algebra|higher algebras]]), and hence to a formulation of \textbf{[[homotopical algebraic quantum field theory]]} (see \hyperlink{Schenkel17}{Schenkel 17}). This is still in the making.

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

\hypertarget{review}{}\subsubsection*{{Review}}\label{review}

Survey and exposition of locally covariant algebraic quantum field theory beyond [[causal perturbation theory]] in [[Minkowski spacetime]] (for which see \href{causal+perturbation+theory#References}{there}) includes the following:

\begin{itemize}%
\item \hyperlink{Hollands07}{Hollands 07, section 3}


\item [[Robert Wald]], \emph{The Formulation of Quantum Field Theory in Curved Spacetime} (\href{https://arxiv.org/abs/0907.0416}{arXiv:0907.0416})


\item [[Robert Wald]], \emph{The History and Present Status of Quantum Field Theory in Curved Spacetime} (\href{https://arxiv.org/abs/gr-qc/0608018}{arXiv:gr-qc/0608018})


\item [[Klaus Fredenhagen]], [[Katarzyna Rejzner]], \emph{Perturbative algebraic quantum field theory}, In \emph{Mathematical Aspects of Quantum Field Theories}, Springer 2016 (\href{https://arxiv.org/abs/1208.1428}{arXiv:1208.1428})


\item [[Klaus Fredenhagen]], [[Katarzyna Rejzner]], \emph{Perturbative Construction of Models of Algebraic Quantum Field Theory} (\href{https://arxiv.org/abs/1503.07814}{arXiv:1503.07814})


\item [[Klaus Fredenhagen]], \emph{Quantum field theory and gravitation}, talk at closing colloquium of trimester ``Le Monde Quantique'', IHES April 2015 (\href{https://indico.math.cnrs.fr/event/782/material/slides/1.pdf}{pdf})


\item [[Katarzyna Rejzner]], \emph{[[Perturbative Algebraic Quantum Field Theory]]}, Mathematical Physics Studies, Springer 2016 (\href{https://link.springer.com/book/10.1007%2F978-3-319-25901-7}{web})


\item [[Urs Schreiber]], \emph{[[geometry of physics -- perturbative quantum field theory]]}, 2017


\item [[Michael Dütsch]], \emph{[[From classical field theory to perturbative quantum field theory]]}, 2018



\end{itemize}
\hypertarget{original_articles}{}\subsubsection*{{Original articles}}\label{original_articles}

The method of [[causal perturbation theory]] goes back to ideas of St\"u{}ckelberg and Bogoliubov. The proof that the causal [[S-matrix]] required by this method may always be constructed by an inductive process with a finite-dimensional space of choices (``[[renormalization]]'') at each stage is due to

\begin{itemize}%
\item [[Henri Epstein]], [[Vladimir Glaser]], \emph{[[The Role of locality in perturbation theory]]}, Annales Poincar\'e{} Phys. Theor. A 19 (1973) 211.

\end{itemize}
A detailed exposition of this method applied to [[QED]], [[QCD]], [[Yang-Mills theory]] and [[perturbative quantum gravity]] on [[Minkowski spacetime]] is in the textbooks

\begin{itemize}%
\item [[Günter Scharf]], \emph{[[Finite Quantum Electrodynamics -- The Causal Approach]]}, Berlin: Springer-Verlag, 1995, 2nd edition


\item [[Günter Scharf]], \emph{[[Quantum Gauge Theories -- A True Ghost Story]]}, Wiley 2001



\end{itemize}
The axioms for the locally covariant formulation of [[AQFT on curved spacetimes]] is due to

\begin{itemize}%
\item [[Romeo Brunetti]], [[Klaus Fredenhagen]], [[Rainer Verch]], \emph{The generally covariant locality principle -- A new paradigm for local quantum physics}, Commun.Math.Phys.237:31-68, 2003 (\href{https://arxiv.org/abs/math-ph/0112041}{arXiv:math-ph/0112041})

\end{itemize}
The construction of [[Wick algebras]] of [[quantum observables]] of [[free fields]] on curved [[spacetimes]] via [[Hadamard distributions]] relies on the results of

\begin{itemize}%
\item [[Marek Radzikowski]], \emph{Micro-local approach to the Hadamard condition in quantum field theory on curved space-time}, Commun. Math. Phys. 179 (1996), 529--553 (\href{http://projecteuclid.org/euclid.cmp/1104287114}{Euclid})

\end{itemize}
The observation that the [[causal perturbation theory]] of \hyperlink{EpsteinGlaser73}{Epstein-Glaser 73} lends itself to a construction of locally covariant perturvative AQFT is due to

\begin{itemize}%
\item V. A. Il'in and D. S. Slavnov, \emph{Observable algebras in the S-matrix approach}, Theor. Math. Phys. 36 (1978) 32. (\href{http://inspirehep.net/record/135575}{spire}, \href{http://dx.doi.org/10.1007/BF01035870}{doi})


\item \hyperlink{BrunettiFredenhagen00}{Brunetti-Fredenhagen 00, last section}


\item [[Romeo Brunetti]], [[Michael Dütsch]], [[Klaus Fredenhagen]], \emph{Perturbative Algebraic Quantum Field Theory and the Renormalization Groups}, Adv. Theor. Math. Physics 13 (2009), 1541-1599 (\href{http://arxiv.org/abs/0901.2038}{arXiv:0901.2038})



\end{itemize}
Extension of [[causal perturbation theory]] to [[AQFT on curved spacetimes|curved spacetimes]] is due to

\begin{itemize}%
\item [[Romeo Brunetti]], [[Klaus Fredenhagen]], \emph{Microlocal Analysis and Interacting Quantum Field Theories: Renormalization on Physical Backgrounds}, Commun. Math. Phys. 208 : 623-661, 2000 (\href{https://arxiv.org/abs/math-ph/9903028}{math-ph/9903028})

following

\begin{itemize}%
\item [[Raymond Stora]], \emph{Differential algebras in Lagrangean field theory}, ETH Lectures, January-February 1993. Manuscript

\end{itemize}

\item [[Michael Dütsch]], [[Klaus Fredenhagen]], \emph{Algebraic Quantum Field Theory, Perturbation Theory, and the Loop Expansion}, Commun.Math.Phys. 219 (2001) 5-30 (\href{https://arxiv.org/abs/hep-th/0001129}{arXiv:hep-th/0001129})


\item [[Stefan Hollands]], [[Robert Wald]], \emph{Local Wick Polynomials and Time Ordered Products of Quantum Fields in Curved Spacetime}, Commun. Math. Phys. 223:289-326,2001 (\href{https://arxiv.org/abs/gr-qc/0103074}{arXiv:gr-qc/0103074})


\item [[Stefan Hollands]], [[Robert Wald]], \emph{On the Renormalization Group in Curved Spacetime}, Commun. Math. Phys. 237 (2003) 123-160 (\href{https://arxiv.org/abs/gr-qc/0209029}{arXiv:gr-qc/0209029})


\item [[Stefan Hollands]], [[Robert Wald]], \emph{Conservation of the stress tensor in perturbative interacting quantum field theory in curved spacetimes}, Rev.Math.Phys. 17 (2005) 227-312 (\href{https://arxiv.org/abs/gr-qc/0404074}{arXiv:gr-qc/0404074})



\end{itemize}
Specifically construction of [[renormalization|renormalized]] [[Yang-Mills theory]] on curved spacetimes is due to

\begin{itemize}%
\item [[Stefan Hollands]], \emph{Renormalized Quantum Yang-Mills Fields in Curved Spacetime}, Rev. Math. Phys.20:1033-1172, 2008 (\href{https://arxiv.org/abs/0705.3340}{arXiv:0705.3340})

\end{itemize}
The observation that this construction produces [[formal deformation quantization]] of the classical field theory was made for the [[free field]] and its quantization by [[Wick algebras]] is

\begin{itemize}%
\item J. Dito, \emph{Star-product approach to quantum field theory: The free scalar field}. Letters in Mathematical Physics, 20(2):125--134, 1990 (\href{https://inspirehep.net/record/303898/}{spire})

\end{itemize}
which was amplified in

\begin{itemize}%
\item [[Michael Dütsch]], [[Klaus Fredenhagen]], \emph{Perturbative algebraic field theory, and deformation quantization}, in [[Roberto Longo]] (ed.), \emph{Mathematical Physics in Mathematics and Physics, Quantum and Operator Algebraic Aspects}, volume 30 of Fields Institute Communications, pages 151--160. American Mathematical Society, 2001 (\href{https://arxiv.org/abs/hep-th/0101079}{arXiv:hep-th/0101079})

\end{itemize}
and generalized to [[quantum field theory on curved spacetimes]] in \hyperlink{BrunettiFredenhagen00}{Brunetti-Fredenhagen 00} and

\begin{itemize}%
\item [[Romeo Brunetti]], [[Klaus Fredenhagen]], M. K\"o{}hler, \emph{The microlocal spectrum condition and Wick polynomials on curved spacetimes}, Commun. Math. Phys. 180, 633-652, 1996 (\href{https://arxiv.org/abs/gr-qc/9510056}{arXiv:gr-qc/9510056})


\item [[Stefan Hollands]], [[Robert Wald]], \emph{Local Wick Polynomials and Time Ordered Products of Quantum Fields in Curved Spacetime}, Commun. Math. Phys. 223:289-326, 2001 (\href{https://arxiv.org/abs/gr-qc/0103074}{arXiv:gr-qc/0103074})



\end{itemize}
That more generally the deformation quantization of interacting fields yields the traditional prescription of [[causal perturbation theory]] was shown for the [[scalar field]] [[phi{\tt \symbol{94}}4 theory]] in

\begin{itemize}%
\item [[Giovanni Collini]], \emph{Fedosov Quantization and Perturbative Quantum Field Theory} (\href{https://arxiv.org/abs/1603.09626}{arXiv:1603.09626})

\end{itemize}
and for the interacting scalar field in the toy example of regular non-local interactions in

\begin{itemize}%
\item [[Eli Hawkins]], [[Kasia Rejzner]], \emph{The Star Product in Interacting Quantum Field Theory} (\href{https://arxiv.org/abs/1612.09157}{arXiv:1612.09157})

\end{itemize}
The [[perturbative quantum field theory|perturbative quantization]] of [[gauge theories]] ([[Yang-Mills theory]]) in [[causal perturbation theory]]/[[perturbative AQFT]] is discussed (for trivial [[principal bundles]] and restricted to [[gauge invariant observables]]) via [[BRST-complex]]/[[BV-formalism]] in

\begin{itemize}%
\item [[Klaus Fredenhagen]], [[Kasia Rejzner]], \emph{Batalin-Vilkovisky formalism in the functional approach to classical field theory}, Commun. Math. Phys. 314(1), 93--127 (2012) (\href{https://arxiv.org/abs/1101.5112}{arXiv:1101.5112})


\item [[Klaus Fredenhagen]], [[Kasia Rejzner]], \emph{Batalin-Vilkovisky formalism in perturbative algebraic quantum field theory}, Commun. Math. Phys. 317(3), 697--725 (2012) (\href{https://arxiv.org/abs/1110.5232}{arXiv:1110.5232})



\end{itemize}
and surveyed in

\begin{itemize}%
\item \hyperlink{Rejzner16}{Rejzner 16, chapter 7}

\end{itemize}
A survey of the required generalization for [[gauge theory]] with non-trivial [[instanton sectors]] via [[homotopical algebraic quantum field theory]] is in

\begin{itemize}%
\item [[Alexander Schenkel]], \emph{On the problem of gauge theories in locally covariant QFT}, talk at \emph{\href{http://www.science.unitn.it/~moretti/convegno/convegno.html}{Operator and Geometric Analysis on Quantum Theory}} Trento, 2014 ([[SchenkelTrento2014.pdf:file]]) (with further emphasis on this point in the companion talk \href{field+bundle#Schreiber14}{Schreiber 14})


\item [[Alexander Schenkel]], \emph{Towards Homotopical Algebraic Quantum Field Theory}, talk at \emph{\href{https://indico.mitp.uni-mainz.de/event/76/overview}{Foundational and Structural Aspects of Gauge Theories}}, Mainz Institute for Theoretical Physics, 29 May -- 2 June 2017. (\href{http://aschenkel.eu/Mainz17.pdf}{pdf})



\end{itemize}
[[!redirects perturbative AQFT]] [[!redirects pAQFT]]

[[!redirects locally covariant perturbative quantum field theory]] [[!redirects locally covariant perturbative quantum field theories]]

[[!redirects locally covariant perturbative algebraic quantum field theory]] [[!redirects locally covariant perturbative algebraic quantum field theories]]

[[!redirects locally covariant perturbative QFT]] [[!redirects locally covariant perturbative QFTs]]

[[!redirects locally covariant perturbative AQFT]]

[[!redirects locally covariant pAQFT]]



\end{document}