
We describe the elements of a novel structural approach to classical field
theory, inspired by recent developments in perturbative algebraic quantum field
theory. This approach is local and focuses mainly on the observables over field
configurations, given by certain spaces of functionals which are studied here
in depth. The analysis of such functionals is characterized by a combination of
geometric, analytic and algebraic elements which (1) make our approach closer
to quantum field theory, (2) allow for a rigorous analytic refinement of many
computational formulae from the functional formulation of classical field
theory and (3) provide a new pathway towards understanding dynamics. Particular
attention will be paid to aspects related to nonlinear hyperbolic partial
differential equations and their linearizations.

A U(1) gauge theory turns, on physically motivated models of Quantum
Spacetime, into a U($\infty$) gauge theory, hence free classical
electrodynamics is no longer free and neutral fields may have electromagnetic
interactions. We discuss the last point for scalar fields, possibly describing
dark matter; we have in mind the gravitational collapse of binary systems or
future applications to self gravitating BoseEinstein condensates as possible
sources of evidence of quantum gravitational phenomena. The effects so far
considered, however, seem too faint to be detectable at present.

It is shown how cosmological perturbation theory arises from a fully
quantized perturbative theory of quantum gravity. Central for the derivation is
a nonperturbative concept of gaugeinvariant local observables by means of
which perturbative invariant expressions of arbitrary order are generated. In
particular, in the linearised theory, first order gaugeinvariant observables
familiar from cosmological perturbation theory are recovered. Explicit
expressions of second order quantities are presented as well.

In this overview article we present a formalism suitable for constructing
models of QFT's on curved spacetimes. The leading principle is the emphasis on
local properties. It turns out that this requires a reformulation of the
standard QFT framework which also yields a new perspective for the theories on
Minkowski space. The aim of the present work is to provide an introduction into
the framework, which should be accessible for both mathematical physicists and
mathematicians.

We construct perturbative quantum gravity in a generally covariant way. In
particular our construction is background independent. It is based on the
locally covariant approach to quantum field theory and the renormalized
BatalinVilkovisky formalism. We do not touch the problem of
nonrenormalizability and interpret the theory as an effective theory at large
length scales.

We review the construction of models of algebraic quantum field theory by
renormalized perturbation theory.

We reformulate dimensional regularization as a regularization method in
position space and show that it can be used to give a closed expression for the
renormalized timeordered products as solutions to the induction scheme of
EpsteinGlaser. For scalar fields the resulting renormalization method is
always applicable, we compute several examples. We also analyze the Hopf
algebraic aspects of the combinatorics. Our starting point is the Main Theorem
of Renormalization of Stora and Popineau and the arising renormalization group
as originally defined by Stueckelberg and Petermann.

On the basis of a thorough discussion of the BatalinVilkovisky formalism for
classical field theory presented in our previous publication, we construct in
this paper the BatalinVilkovisky complex in perturbatively renormalized
quantum field theory. The crucial technical ingredient is a proof that the
renormalized timeordered product is equivalent to the pointwise product of
classical field theory. The renormalized BatalinVilkovisky algebra is then the
classical algebra but written in terms of the timeordered product, together
with an operator which replaces the ill defined graded Laplacian of the
unrenormalized theory. We identify it with the anomaly term of the anomalous
Master Ward Identity of Brennecke and D\"utsch. Contrary to other approaches we
do not refer to the path integral formalism and do not need to use
regularizations in intermediate steps.

We present a general construction of KMS states in the framework of
perturbative algebraic quantum field theory (pAQFT). Our approach may be
understood as an extension of the SchwingerKeldysh formalism. We obtain in
particular the Wightman functions at positive temperature, thus solving a
problem posed some time ago by Steinmann. The notorious infrared divergences
observed in a diagrammatic expansion are shown to be absent due to a consequent
exploitation of the locality properties of pAQFT. To this avail, we introduce a
novel, Hamiltonian description of the interacting dynamics and find, in
particular, a precise relation between relativistic QFT and rigorous quantum
statistical mechanics.

We present a modification of the recently proposed SorkinJohnston states for
scalar free quantum fields on a class of globally hyperbolic spacetimes
possessing compact Cauchy hypersurfaces. The modification relies on a smooth
cutoff of the commutator function and leads always to Hadamard states, in
contrast to the original SorkinJohnston states. The modified SorkinJohnston
states are, however, due to the smoothing no longer uniquely associated to the
spacetime.

The aim of this review is to outline a full route from the fundamental
principles of algebraic quantum field theory on curved spacetime in its
presentday form to explicit phenomenological applications which allow for
comparison with experimental data. We give a brief account on the quantization
of the free scalar field and its Wick powers in terms of an algebra of
functionals on configuration space. Afterwards we demonstrate that there exist
states on this algebra in which the energy momentum tensor is qualitatively and
quantitatively of the perfect fluid form assumed in the standard model of
cosmology up to small corrections. We indicate the potential relevance of one
of these corrections for the actively debated phenomenon of Dark Radiation.

These notes are based on the course given by Klaus Fredenhagen at the Les
Houches Winter School in Mathematical Physics (January 29  February 3, 2012)
and the course "QFT for mathematicians" given by Katarzyna Rejzner in Hamburg
for the Research Training Group 1670 (February 6 11, 2012). Both courses were
meant as an introduction to modern approach to perturbative quantum field
theory and are aimed both at mathematicians and physicists.

The prototype of mutually independent systems are systems which are localized
in spacelike separated regions. In the framework of locally covariant quantum
field theory we show that the commutativity of observables in spacelike
separated regions can be encoded in the tensorial structure of the functor
which associates unital $C^*$algebras (the local observable algebras) to
globally hyperbolic spacetimes. This holds under the assumption that the local
algebras satisfy the split property and involves the minimal tensor product of
$C^*$algebras.

We develop the BatalinVilkovisky formalism for classical field theory on
generic globally hyperbolic spacetimes. A crucial aspect of our treatment is
the incorporation of the principle of local covariance which amounts to
formulate the theory without reference to a distinguished spacetime. In
particular, this allows a homological construction of the Poisson algebra of
observables in classical gravity. Our methods heavily rely on the differential
geometry of configuration spaces of classical fields.

One of the many conceptual difficulties in the development of quantum gravity
is the role of a background geometry for the structure of quantum field theory.
To some extent the problem can be solved by the principle of local covariance.
The principle of local covariance was originally imposed in order to restrict
the renormalization freedom for quantum field theories on generic spacetimes.
It turned out that it can also be used to implement the request of background
independence. Locally covariant fields then arise as background independent
entities.

We develop the first steps towards an analysis of geometry on the quantum
spacetime proposed in [1]. The homogeneous elements of the universal
differential algebra are naturally identified with operators living in tensor
powers of Quantum Spacetime; this allows us to compute their spectra. In
particular, we consider operators that can be interpreted as distances, areas,
3 and 4volumes. The Minkowski distance operator between two independent
events is shown to have pure Lebesgue spectrum with infinite multiplicity. The
Euclidean distance operator is shown to have spectrum bounded below by a
constant of the order of the Planck length. The corresponding statement is
proved also for both the spacespace and spacetime area operators, as well as
for the Euclidean length of the vector representing the 3volume operators.
However, the space 3volume operator (the time component of that vector) is
shown to have spectrum equal to the whole complex plane. All these operators
are normal, while the distance operators are also selfadjoint. The Lorentz
invariant spacetime volume operator, representing the 4 volume spanned by five
independent events, is shown to be normal. Its spectrum is pure point with a
finite distance (of the order of the fourth power of the Planck length) away
from the origin. The mathematical formalism apt to these problems is developed
and its relation to a general formulation of Gauge Theories on Quantum Spaces
is outlined. As a byproduct, a Hodge Duality between the absolute dif
ferential and the Hochschild boundary is pointed out.

In the Schroedinger equation, time plays a special role as an external
parameter. We show that in an enlarged system where the time variable denotes
an additional degree of freedom, solutions of the Schroedinger equation give
rise to weights on the enlarged algebra of observables. States in the
associated GNS representation correspond to states on the original algebra
composed with a completely positive unit preserving map. Application of this
map to the functions of the time operator on the large system delivers the
positive operator valued maps which were previously proposed by two of us as
time observables. As an example we discuss the application of this formalism to
the WheelerDeWitt theory of a scalar field on a RobertsonWalker spacetime.

A new formalism for the perturbative construction of algebraic quantum field
theory is developed. The formalism allows the treatment of low dimensional
theories and of nonpolynomial interactions. We discuss the connection between
the StueckelbergPetermann renormalization group which describes the freedom in
the perturbative construction with the Wilsonian idea of theories at different
scales . In particular we relate the approach to renormalization in terms of
Polchinski's Flow Equation to the EpsteinGlaser method. We also show that the
renormalization group in the sense of GellMannLow (which characterizes the
behaviour of the theory under the change of all scales) is a 1parametric
subfamily of the StueckelbergPetermann group and that this subfamily is in
general only a cocycle. Since the algebraic structure of the
StueckelbergPetermann group does not depend on global quantities, this group
can be formulated in the (algebraic) adiabatic limit without meeting any
infrared divergencies. In particular we derive an algebraic version of the
CallanSymanzik equation and define the betafunction in a state independent
way.

We review the status of (scalar) quantum field theory on curved spacetimes
using a novel formulation in terms of non linear functionals over the smooth
configuration fields. In particular, this entails also a new foundation of
locally covariant classical field theory. For all that, methods from microlocal
analysis combined with some methods from global analysis, namely
differentiation on locally convex spaces, and category theory are crucially
employed.

We present an exact analytical solution of the fundamental system of
quasionedimensional spin1 bosons with infinite deltarepulsion. The
eigenfunctions are constructed from the wave functions of noninteracting
spinless fermions, based on Girardeau's FermiBose mapping, and from the wave
functions of distinguishable spins. We show that the spinor bosons behave like
a compound of noninteracting spinless fermions and noninteracting
distinguishable spins. This duality is especially reflected in the spin
densities and the energy spectrum. We find that the momentum distribution of
the eigenstates depends on the symmetry of the spin function. Furthermore, we
discuss the splitting of the ground state multiplet in the regime of large but
finite repulsion.

The time slice axiom states that the observables which can be measured within
an arbitrarily small time interval suffice to predict all other observables.
While well known for free field theories where the validity of the time slice
axiom is an immediate consequence of the field equation it was not known
whether it also holds in generic interacting theories, the only exception being
certain superrenormalizable models in 2 dimensions. In this paper we prove that
the time slice axiom holds at least for scalar field theories within formal
renormalized perturbation theory.

In the mathematically rigorous analysis of semiclassical Einstein's
equations, the renormalisation of the stressenergy tensor plays a crucial
role. We address such a topic in the case of a scalar field with both arbitrary
mass and coupling with gravity in the hypothesis that the underlying algebraic
quantum state is of Hadamard type. Particularly, if we focus on highly
symmetric solutions of the semiclassical Einstein's equations, the envisaged
method displays a de Sitter type behaviour even without an a priori introduced
cosmological constant. As a further novel result we shall show that these
solutions turn out to be stable.

It is shown how states of a quantum mechanical particle in the Schroedinger
representation can be approximated by states in the socalled polymer
representation. The result may shed some light on the semiclassical limit of
loop quantum gravity.

The recent formulation of locally covariant quantum field theory may open the
way towards a background independent perturbative formulation of Quantum
Gravity.

We comment on the present status, the concepts and their limitations, and the
successes and open problems of the various approaches to a relativistic quantum
theory of elementary particles, with a hindsight to questions concerning
quantum gravity and string theory.