This is a contributed topic on Algebraic Quantum Field Theories (AQFTs) that introduces two basic approaches to AQFTs, and then specifies in further detail several of the mathematical concepts, tools and mathematical areas that are fundamentally involved in the recently reported development of AQFTs.
Algebraic quantum field theory is the algebraic, geometric and topological study of quantum field theories (QFT) and local quantum physics in relativistic space-times using tools from algebraic topology, category theory, and quantum operator algebras/ algebraic topology (QAT).
Whereas quantum field theory is the general framework for describing the physics of relativistic quantum systems (notably of elementary particles), algebraic quantum field theories are usually described as algebraic formulations (in terms of an algebraic system and/or physical-axiomatic frameworks) of quantum field theories. Thus, whereas QFT represents a synthesis of quantum theory (QT) and special relativity (SR), (which is supplemented by the principle of locality in space and time, and by the spectral condition in energy and momentum), algebraic QFTs study the role of algebraic relations among observables that determine a physical system.
Let us recall that in classical logic, an axiom or postulate is a `simple', fundamental proposition that is neither proven nor demonstrated (within a theory) “but considered to be self-evident”; furthermore, the choice of an axiom or system of axioms is justified by the large number of consistent consequences or mathematical propositions derived from such axioms. One needs, however, to distinguish between `physical axioms' (often called `postulates' that apply to various fields of physics), and mathematical axioms that have both a meaning and scope of applicability which is distinct from that of physical postulates (or physical axioms). On the other hand, physical axioms, or postulates, are ultimately also expressed in a mathematical form, albeit without becoming axioms of mathematics, or specific fields of mathematics. (In the remainder of this entry the attribute `axiomatic' will be employed only with the meaning of `physical-axiomatic', or `physically-postulated'.)
One notes however rare instances of the opinion expressed that `physics is just another area of mathematics, belonging to applied mathematics'.
Furthermore, physical postulates, unlike mathematical ones, emerged as a result of numerous experimental studies and crucial physical experiments that can be logically and consistently explained on the basis of such fundamental, physical postulates; often, mathematical formulations of such fundamental physical postulates are referred to as (physical) `axioms', as in the case of `axiomatic' QFTs. Thus, from a physical standpoint, AQFTs are just as important as from the mathematical viewpoint, because they may include novel approaches which define algebraic structures over relativistic spaces, either a Minkowski, or a Riemannian manifold or space.
The symmetry group
of a classical Minkowski space-time
is the Poincaré group, generated by translations and Lorentz transformations. The physical vacuum sector can be then shown to correspond to the pure state, and the Hilbert space associated with the vacuum sector can be regarded as a unitary representation of the Poincaré group; if one looks at the dual, Poincaré algebra then the energy-momentum spectrum
corresponding to spacetime translations lies on-and also within-the positive light cone. In a more general, supersymmetric context, anti-deSitter
vacuum sectors are also possible in principle, but they are not stable (viz. Weinberg, 2000).
The recent review of specific AQFT formulations presented in ref. [4] provides several examples of AQFT approaches in sufficient mathematical detail to be able to evaluate their correctness from a mathematical viewpoint.
According to a recent monograph by Halvorson and Mueger (ref. [4]), “an algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools: the theory of operator algebras, category theory, etc. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT.”
These are as follows:
The basic formalism of AQFT is a net of local observable algebras, that is, a selected set of linked, local quantum observables, defined over spacetime;
spin networks and their dynamic
fluctuations, or spin foams, are examples of such a network of local observables that can be represented by one-dimensional CW-complexes. Thus, according to Roberts ([5]), a standard AQFT construction defines a “local network, or net of observable algebras
”; notable examples of such observable algebras in quantum theories, are respectively, in the von Neumann or the Dirac formulations, the (non-commutative) von Neumann/
-algebras and the Clifford algebra.
An open double cone in Minkowski spacetime is defined as the intersection of the causal
future of a point
with the causal past of a point
to the future of
. Let us denote by
the set of open double cones in Minkowski (4D) spacetime, and also let
be a mapping from the set
to
-algebras,
called the local net map
. Moreover, one can assume that all
-algebras
relevant to this AQFT formulation are unital, that is, they have a multiplicative identity.
Furthermore, let us postulate that the set
of
-algebras-which is called a net of observable algebras over Minkowski spacetime- forms an inductive system in the sense that:
if
, then there exists an embedding (that is, an isometric
-homomorphism)
. One can also prove that the states over such open sets define a presheaf,
thus linking AQFT to TQFT, algebraic topology and category theory.
The mapping
is an inductive system.
In the case of a Minkowski 4D-space, one assigns to each double lightcone
an algebra of observables, such that algebras of subcones
are naturally `embedded into those of the lightcones containing them' (ref. [5]).
Stephen Hawking
would however argue that the set
be replaced by a class
(which is preferably not subject to the axiom of choice), so that the relativistic spacetime becomes infinite both in space and time. Most mathematical physicists would also require all AQFTs to be renormalizable theories, in the sense that they do not generate spurious, infinite values for physical observables that are known to have only finite values, such as mass
and charge
of a quantum particle.
Thus, one needs to add at least the following postulate to physical axiom 1,
“Algebras of space-like separated double cones always commute with each other.”
(called also the commutativity postulate that is sometimes said to “encode the physical concept of microcausality”).
Remarks
As of this snapshot date, this entry was owned by bci1.