FQFT and cohomology
Types of quantum field thories
The path integral in quantization can be understood – to the extent and in the cases that it can be understood at all – as an integral transform induced from a span that is given by hom-spaces. According to the general reasoning of integral transforms on sheaves this means that it is given by a pull-push operation through spans.
where is the inclusion of the first elements 0, and the inclusion of the last element, .
The mapping space is the space of paths – the space of paths in consisting of linear steps. Homming the above cospan into produces the span
In the canonical coordinates on a path is parameterized as
the pullback of differential forms along , and by
the “pushforward”: the fiber integration of differential forms.
Then then standard path integral for the particle is given by
pulling back functions along ;
taking their wedge product with ;
pushing the result forward along .
This gives the map
that acts by
This is the standard expression for the path integral of the particle on the line, at the approximation of discrete steps.
On the singular homology of smooth manifolds and other topological spaces, pullback operations can be defined by Thom isomorphisms and fiber integration (“Umkehr maps”). Together with the canonically defined push-forward of singular cycles, this yields a definition of pull-push transformations on singular homology.
It was realized in (CohenGodin) and (Godin) that such pull-push operations define a 2-dimensional HQFT whose space of states is the singular complex, and that the correlators of the thus defined FQFT are the Chas-Sullivan string topology operations. See there for more details.
Every perfect derived stack in dg-geometry forms the target space for a pull-push transform on the stable (infinity,1)-category of quasicoherent sheaves and yields a 2-dimensional TQFT. For details on this see geometric infinity-function theory .
The pull-push nature of the path integral was originally amplified somewhat implicitly in
and fully explicitly in
Hirotaka Tamanoi, Loop coproducts in string topology and triviality of higher genus TQFT operations (2007) (arXiv:0706.1276)
For more see the references at motivic quantization.