FQFT and cohomology
Types of quantum field thories
For semisimple Lie algebra targets
For discrete group targets
For discrete 2-group targets
For Lie 2-algebra targets
For targets extending the super Poincare Lie algebra
for higher abelian targets
for symplectic Lie n-algebroid targets
This is a sub-entry of sigma-model. See there for background and context.
Low dimensional -models that describe the dynamics of particles – or generally branes – propagating in a target space subject to the forces exerted by a background field, such as discussed above, are just the first ingredient in a description of the quantum physics on target space : one is interested in describing a quantum field theory (or possibly some higher analog, such as a string field theory ) on , such that the original branes described by the -model are quanta of the fields on . The -model quantum field theory on the worldvolumes is supposed to induce, in turn, another quantum field theory, or something similar, but now on . This process – or its idea – goes by the name second quantization . We shall try to indicate below in which sense this should indeed be a direct iteration of the (“first”) quantization of the original -model itself, as described above. But we will (have to) be more vague and schematic than before.
Assume now that we started with a classical -model and have quantized it to obtain the functorial QFT
which we take here to be 1-categorical (un-extended), not to overburden the discussion. Assume also for simplicity that the corresponding target space is of the form , where the second factor is the time-axis.
Using this, we define a space of states of the second quantization to be the Fock space
the free commutative tensor algebra over the vector space of states of the given single particle, string or, generally, brane. This has a contribution for each equivalence class of connected shapes of this brane. For instance for there is just the point , but for the string with there is one contribution from the closed string and one contribution from the open string ; and in turn several contributions of this type if the open string carries boundary D-brane labels. (In the presence of fermions the vector spaces appearing here are super vector spaces and the Fock space construction is the corresponding super algebra version.)
This space of states is that of a quantum theory whose classical field configurations are given by many states of the original quantum -model. We therefore say that the original brane of shape is a quantum or a single excitation of the field theory that it induces on target space : where the original -model describes the dynamics of a single brane on , its second quantization describes the dynamics of many and interacting copies of that brane.
Of course is a functor. This is traditionally stated as the notorious slogan “second quantization is a functor”, usually meant to state a contrast with first quantization. Notice however, firstly, that the (“first”) quantization of -models – at least for the version discussed above – also is a functor (what is not functorial is the quantization of a random Poisson manifold, but -models carry much more structure than that), and, secondly, that the -construction is at best half of what second quantization is about: the other half is the description of the interaction of the many branes:
for a piece of target space, the would-be second quantized theory on should assign a morphism
between the space of states of the incoming space , to the outgoing space , here taken to be the same. Usually one assumes here and calls the S-matrix of the theory, where “S” is for scattering : for the state of incoming brane quanta and a state of outgoing brane quanta, the matrix element
(using an inner product space-structure on ) is the probability amplitude for -many branes in the given states propagating through , interacting among each other, thereby transmuting into other states – hence scattering off each other – and eventually emerging again in the state .
The idea is that this scattering happens in all possible ways that it can happen, with each way weighted by the probability amplitude for it to happen as seen by the quantum -model : the S-matrix is taken to be given by an expression like
and called the brane perturbation series . For instance the Feynman perturbation series for , or the string perturbation series for : we sum over all possible -structured cobordisms – each representing an interaction “channel” for branes of shape to scatter into shape – the linear maps weighted by some measure , and all regarded as giving one single endomorphism on in the evident way.
Except for simple cases, plenty of technical subtleties may have to be taken care of here in order to get anything close to being well defined. For instance there is an integral over some suitably compactified moduli space of -structured cobordisms involved. For sufficiently simple but still nontrivial -models this has been made fully precise (for instance for in standard QFT perturbation theory with renormalization or for in the example of Gromov-Witten theory, discussed above), and intuition and motivation is drawn from these cases, but in full generality it remains an open problem to fully realize this idea.
This S-matrix-construction provides at least the rudiments of a quantum field theory on target space obtained by second quantization of a -model describing brane dynamics on .
In application to phenomenological physics we think of here as our spacetime. Everything that is measured in particle accelerator experiments is explained with such a construction for . Everything that perturbative string theory hypothesizes is a refinement of this theory relevant at energies not visible in current accelerator experiments is described with such a construction for . A little bit of investigation has gone into exploring the -case. In principle one could investigate this further for . but so far the jump in complexity given by the step from to has kept mankind busy enough. There is already an intricate interrelation of quantum field theories showing up at this level. For instance the second quantization of the 2-dimensional A-model string -model (see there) has be shown to be Chern-Simons theory, which we have seen, above, may itself be understood as a 3-dimensional -model. The second quantization of the non-topological string -model is more complicated but follows this pattern. It contains even Yang-Mills theory and gravity, and this is what has driven much of the interest in this structure.
Given the evident importance of the “brane perturbation series” or “second quantization” of -models it would be desireable to have a more general abstract and systematic description of it, in the spirit of the above discussion of general abstract first quantization. Here is an observation that might be suggestive:
we had amplified that the input data for a classical (“0-quantized”) -model is a background field on a target space . At least in nice cases this background field is entirely encoded in its higher parallel transport and holonomy-assignment, which is a map
from -dimensional bordisms in to n-vector spaces (we had mostly discussed an equivalent characteristic morphism and should eventually discuss in more detail how both perspectives are related…).
The process of (“first”) quantization of this -model involves some kind of extension of this functor through the projection to abstract cobordisms
given by the path integral
over all trajectories of given shape . We saw that second quantization reads in this , in turn, and from the perturbation series
produces a target space quantum field theory. Hence apparently there is a pattern of iterated path integrals, the first over morphisms in , the second over morphisms in :
quantum (1st quantized) -model (FQFT):
second quantized model (S-matrix):
Remember that these formulas are to be taken with a grain of salt. Quite some additional effort is in general needed to make them well-defined. Already in the well-understood case the path integral in the expression for needs attention, then the single terms in the expression for may still need renormalization and after all that the sum still may need resummation, at least for models richer than for instance the -Dijkgraaf-Witten theories, for which all integrals reduce to finite sums.