physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
A central aspect of quantum field theory usually desired or demanded or expected of fundamental QFTs is that it is local in the rough sense that
there is no “action at a distance”, but all influences propagate (on a Lorentzian manifold) at some finite speed (that of light, usually);
phenomena of large scale spacetime/worldvolume are entirely determined by phenomena on smaller scales;
(space-like) separated regions of spacetime behave like independent subsystems (causal locality).
In some effective quantum field theories locality may be violated, if fundamental local processes are averaged out to a single non-local macroscopic process, but for fundamental physics of the observable universe it is thought to hold.
Locality is formalized in the two main axiomatizations of quantum field theory as follows.
In AQFT the algebras of observables are required to form a local net meaning that
there is one such algebra assigned to each suitable subset of spacetime, compatible with inclusion of such subsets,
that under these inclusions algebras associated to spacelike separated regions commute with each other.
Often in the literature the term “local quantum field theory” is meant to refer specifically to these AQFT axioms (some authors use the terms synonymously, dating from a time when this was the only axiomatization of quantum field theory considered.)
In FQFT locality is encoded in the functor-property of the functor on the category of cobordisms: being a functor means that the assignment to a cobordism $\Sigma$ is obtained by composing the assignments to any decomposition of $\Sigma$ into small cobordisms. In particular, in extended quantum field theory (now also sometimes called “fully localized” QFT) this is n-functorial meaning that this gluing condition holds in all dimensions and in all directions.
There are also properties of locality in prequantum field theory.
A Lagrangian density is called a local Lagrangian if it “depends only on finitely many derivatives of the fields” at any point of spacetime, which formally means that it is a horizontal differential form on the jet bundle of the field bundle. Local Lagrangian densities are expected to yield local quantum field theories under quantization. This is the case at least in perturbative quantum field theory formalized via causal perturbation theory/perturbative AQFT, see at S-matrix the section Quantum observables and retarded products
On locality of extended functorial field theory:
Steps towards a local version of BV-formalism are undertaken in
Alberto Cattaneo, Pavel Mnev, Nicolai Reshetikhin, Classical BV theories on manifolds with boundary (arXiv:1201.0290)
Alberto Cattaneo, Pavel Mnev, Nicolai Reshetikhin, Classical and quantum Lagrangian field theories with boundary (arXiv:1207.0239)
Alberto Cattaneo, Pavel Mnev, Nicolai Reshetikhin, Perturbative quantum gauge theories on manifolds with boundary (arXiv:1507.01221)
Last revised on January 31, 2021 at 10:46:45. See the history of this page for a list of all contributions to it.