FQFT and cohomology
Types of quantum field thories
|analytic integration||cohomological integration|
|measurable space||Poincaré duality|
|measure||orientation in generalized cohomology|
|volume form||(virtual) fundamental class|
|Riemann/Lebesgue integration of differential forms||push-forward in generalized cohomology/in differential cohomology|
The path integral over the fermionic variables of the standard kinetic action functional for fermions (see for instance spinors in Yang-Mills theory) has a well-defined meaning as a section of the Pfaffian line bundle of the corresponding Dirac operator.
is the sum of the
One imagines than that the hypothetical path integral symboilically written as
can be computed in two steps
by first computing the integral over the fermions
and then inserting this into the remaining bosonic integral. Now, as opposed to the bosonic integral, this fermionic integral can be given well-defined sense by interpreting it as an infinite-dimensional Berezinian integral.
over the space of bosonic field configurations.
If is not isomorphic to the trivial line bundle, we say the system has a fermionic quantum anomaly. If instead is trivializable, any choice of trivialization
makes the fermionic path integral into a genuine function
Any such choice of is called a choice of quantum integrand.
With this one can then try to enter the remaining bosonic path integral
We are implicitly assuming that or maybe in the following. Needs to be generalized.
over the Grassmann algebra elements . Written this way this is an element of the determinant line of : its identification with a number depends on the choice of basis for . For this case this is unproblematic, since there is a canonical choice of basis for the single vector space , but when instead depends on a parameter , then in general its Pfaffian can at best be a section of a determinant line bundle.
We now generalize this to the case that is not a finite-dimensional matrix, but a Dirac operator acting on spaces of sections of a spinor bundle. We discuss that we can reduce this “infinite-dimensional matrix” in a sense locally to a finite dimensional one in a consistent way, such that the above ordinary construction of Pfaffians applies.
In the above setup, write
for the space of spinor sections for given . Then the choral Dirac operators a maps
We also have a “quaternionic structure”
The Dirac operator that we are interested in is
This defines now a finite-dimensional matrix
One shows that these constructions for each glue together to define
For the sigma model describing the heterotic superstring propagating on a pseudo-Riemannian manifold , the trivialization of the Pfaffian line bundle, hence the cancellation of its fermionic quantum anomaly is related to the existence of a (twisted) differential string structure on . See there for more details.