Background and motivation
The search is on for the abstract formalization of the process of quantization — the process that reads in a “classical field theory” — for instance presented in form of a gauge theory or in form of a σ-model background field data — and spits out the corresponding quantum field theory.
There is an open problem of mathematical (-physics) model building:
- what is the true formalism behind quantization?
While for various aspects and facets of this question there are well-developed formalisms — such as geometric quantization or deformation quantization or BV-BRST formalism — a full answer is certainly still missing, not the least because the full formalization of the question itself has still to be established.
Considerable progress on this formulation of the question has been achieved with the formalization and proof of the cobordism hypothesis in On the Classification of Topological Field Theories by Jacob Lurie. This at least indicates what the result of any full quantization procedure should be in that it clarifies what exactly a TQFT FQFT is: a morphism from the (∞,n)-category of cobordisms .
In On the Classification of Topological Field Theories Jacob Lurie indicates some first towards finding a similar formalization of “classical field theory” (in terms of his -categories of “families”) and a systematic procedure for turning the classical theory into the quantum theory. These thoughts were further developed in the article Topological Quantum Field Theories from Compact Lie Groups . But for the moment, that, too, remains a bit sketchy.
For the purpose of the present entry this indication of a quantizaton proposal by Lurie et al. mainly serves as a reference for the idea itself that a formalization of something interesting is to be sought here, and of the kind of abstract nonsense answer one hopes to find. We will however discuss a somewhat different-looking approach. It may well be related to the Lurie-et al proposal in the end, but for the time being we shall not concentrate on that relation.
Rather, the approach for a formalization of the quantization procedure that shall be discussed at this entry here draws from a few different sources:
The observation that a classical background field that should serve as the input for a quantization of a -model that describes the dynamics of an object charged under this field is encoded by differential cocycles as as described at differential cohomology in an (∞,1)-topos (schreiber).
The idea that by applying a pull-push quantization prescription a differential cocycle on a target space gives rise to a differential cocycle on a parameter space , which may be thought of as one of the bordisms appearing in the FQFT-description of quantum field theory.
The pull-push operation here is akin to that in geometric ∞-function theory, where a quantum field theory is obtained from a σ-model target space object by homming extended cobordism cospans into the target object and then pull-pushing geometric function objects through the resulting spans of configuration space objects .
The main result of David Ben-Zvi et. al.’s work on this approach is that they point out that as soon as the geometric function object one uses satisfies the two fundamental theorems of geometric infinity-function theory, a considerable amount of rich structure that has in parts been known by itself gets unified into one coherent elegant story: the nature of partition functions (i.e. traces), of centers, of Hochschild (co)homology, Deligne-Kontsevich-statements, etc. all are understood by means of a suitable geometric function theory as induced from the underlying geometry of configuration space objects as well as the loop space objects of .
- The observation that a differential coccycle on a Lorentzian manifold gives rise to a local net of observables, as used in the formalizaton of QFT known as AQFT. (As described here).
So the procedure discussed here regards differential cocycles on target space as classicai field theories, regards their quantization as a way to obtain a differential cocycle on Lorentzian parameter space, and identifies this as a quantum field theory by associating a local net of observables to it.
These local nets, in turn, are akin to factorization algebras, which in the Euclidean (meaning non-Lorentzian setting) relate back to cobordism representations via the notion of topological chiral homology. However the — physically crucial — Lorentzian structure invoked here is not otherwise considered in these functorial axiomatization of quantum field theory.
General ambient structure
The ambient context is the (∞,1)-topos of Lie ∞-groupoids and the -topos of smooth -categories, which we model, respectively, as the left Bousfield localization of the model structure on functors and , respectively, where
CartSp is the site of Cartesian spaces,
the standard model structure on simplicial sets;
For the definition of the path ∞-groupoid (schreiber) functor and the induced theory of differential cohomology in an (∞,1)-topos (schreiber), we make use of the discussion at differential cohomology in an (∞,1)-topos — survey (schreiber).
When working with fibrant objects in the model, we will frequently use the constructions and notation from category of fibrant objects. Notably for a fibrant delooping object in the model we write for the path object we write for the pullbackand for the remaining map, induced from .
The charged particle
We describe the general theory for the simple example of the charged particle.
Target space and background field
The background field for the charged particle that we want to consider is the electromagnetic field. The data involved is
the target space — a smooth manifold;
the structure group or gauge group ;
a choice of representation
the background field given by a
a connection on this bundle, which in the model is given by a diagram
Parameter space and kinetic action
To define the kinetic action, we first form the -associated background fieldand then pull this back to the extended configuration space .
The morphisms in the product category are paths in on whose base we have a (pseudo)Riemannian metric, which is the pullback of the metric on along . We can consider the kinetic action to be a differential cocyclewhich sends the path of parameter length to Notice that .
The total action is differential cocycleWe want to consider the diagram and use it to obtain a differential cocycle on , by forming something like a lax pullback (“comma object”) of the point inclusion where the left vertical morphism picks the ground field , along this cocycle. For the underlying cocycle this is obtained as the ordinary pullback of defined as the ordinary pullback where is the interval category, the functor category and picks the ground field vector space. Via the remaining map this maps to and then further to .
The pullback ofalong our differential cocycle, i. e. the pullback of the top part of the diagram is over the total space of the pullback of the underlying vector bundle on to , and over is a groupoid To see what is like, first notice that we have a fibration sequence with the bottom right square a lax pullback and everything else homotopy pullbacks. Here is the vector space that is a representation on (which for the electromagnetic field will be itself).
The groupoid has the following description:
its objects are triples , where is a vector in the fiber of over ;
its morphisms are triples that go from to , i.e. from a vector in the fiber over the source to the corresponding vector in the fiber over the target, obtained by evaluating the action functional on the path.
To obtain from this a cocycle on , we proceed as follows: we regard an interval as a cospanwhere in the top row we regard these subsets of as discrete smooth sub-categories, and in the bottom row form the path -groupoids.
Consider an -groupoidover the left foot. Under groupoid cardinality, if is tame, this corresponds to a collection of rational numbers over vectors in fibers of . Under “degrupoidification” we may think of this as specifying a section . The above span is supposed to give us the propagation of this state along .
To determine this, consider the special case where is a “delta-section”, supported on a single vector in a single fiber over . Then its pull-push through this span yields the -groupoid over , which over consists of the set of paths such that , i.e. such that is the vector obtained from applying the action to along this path.
If everything were suitably finite, we could take cardinalities of the result and obtain the familiar path integral (sum)!redirects exercise in groupoidification — the path integral !redirects An Exercise in Groupoidification