Local prequantum field theory

We are developing local prequantum field theory, in between classical field theory and quantum field theory, that takes global coherence data into account – such as cancellation of classical anomalies – and does so in a fully local way, lifting Kostant-Souriau pre-quantization from mechanics to local field theory.

The local variational aspect of prequantum field theory is discussed in

For motivation, exposition and survey see

Given an nn-dimensional local prequantum field theory, it naturally organizes its evolution in n-fold correspondences in the slice (∞,1)-topos over differential cohomology coefficients. This aspect is discussed in

Particularly, this discusses examples of ∞-Chern-Simons theory and its boundary ∞-Wess-Zumino-Witten theory.

The discussion of these prequantized Lagrangian correspondences is inspired on the one hand from observations by Domenico Fiorenza, and Alessandro Valentino about boundary conditions in local prequantum field theory, which meanwhile has become available as

and on the other from observations by Hisham Sati on towers of higher codimension boundary field theories/corner field theories arising in string theory/M-theory:

The conjectures about the behaviour of nn-fold correspondences have meanwhile been proven in

Discussion of traditional classical field theory in this context is at Classical field theory via Cohesive homotopy types and at

The quantization of this local prequantum field theory is to proceed by Motivic quantization of local prequantum field theory, details are in

and in

The higher extensions of diffeomorphism groups involved are discussed at

Another survey of the general perspective is at Synthetic Quantum Field Theory.

Revised on September 28, 2017 17:57:17 by Urs Schreiber (