FQFT and cohomology
Types of quantum field thories
In quantum field theory what has come to be known as the holographic principle is the fact that the correlators/partition functions of some quantum field theories of dimension may be identified with states of a TQFT of dimension .
|bulk field theory||boundary field theory|
|wave function||correlation function|
|space of quantum states||conformal blocks|
hence an element of the space . Under holography, this element is identified with the partition function of an -dimensional QFT evaluated on the manifold (without boundary) .
The idea that some systems in physics are governed by other systems “localized at a boundary” in this kind of way was originally suggested by the behaviour of black holes in general relativity: their black hole entropy is proportional to their “surface”, as reflected by the generalized second law of thermodynamics. This made Gerard ’t Hooft suggest a general principle, called the holographic principle, which however remained somewhat vague (t’Hooft 93, Susskind 94).
Later, two more precise classes of correspondences were identified, that are regarded now as precise examples of the general idea of the holographic principle:
Systems of Chern-Simons theory and higher dimensional Chern-Simons theory can be shown explicitly to have spaces of states that are canonically identified with correlator spaces of CFTs (conformal blocks) and self-dual higher gauge theory on their boundary.
(The relation of traditional 3d Chern-Simons theory to the 2d WZW model originates in (Witten 89) and hence precedes the proposal of (t’Hooft 93, Susskind 94), but this relation was not recognized from this perspective earlier.)
Systems of quantum gravity in various dimensions as given by string theory on asymptotically anti de Sitter spacetimes have been checked not in total but in a multitude of special aspects in special cases to be dual to supersymmetric CFTs on their asymptotic boundary – this is called AdS/CFT correspondence.
In view of these two classes of examples it is maybe noteworthy that one can see that also closed string field theory, which is supposed to be one side of the AdS/CFT correspondence, has the form of an infinity-Chern-Simons theory, as discussed there, for the L-infinity algebra of closed string correlators. So maybe the above two different realizations of the holographic principle are really aspects of one single mechanism for -Chern-Simons theory.
Evidence for this also comes from the details of the AdS/CFT mechanism. In (Witten98) it is discussed how the SYM/IIB duality is carried by the Chern-Simons term in the type II string theory action, the 6d(2,0)/AdS7 duality - is induced by the Chern-Simons term of the 11-dimensional supergravity action.
Below at Examples we list some systems for which something along these lines is known.
We discuss in a bit more detail the central idea of holography, roughly for the case of Chern-Simons type theories and making some simplifications, but giving a precise statement.
The archetypical example is the relation between the correlators of the WZW model on a Lie group with the space of quantum states of 3d -Chern-Simons theory, as reviewed for instance on page 30 of (Gawędzki 99):
a correlator for the WZW model with source field has to satisfy a conformal transformation property called a Ward identity. The space of all suitable functionals satisfying these identities is the space of conformal blocks. That space is equivalently identified with the space of wave functions of Chern-Simons theory depending on the fields , hence the quantum states of the CS theory.
Stated differently: the vector space is the space of all “potential correlators” of and is the particular one chosen by the given model.
Notice that by looking at all “potential correlators” this way we are suddenly assigning vector spaces in codimension 0 (on ), even though the axioms of an FQFT a priori only mention vector spaces (of states) assigned in codimension 1. Given all these spaces of “conformal blocks”, the (re)construction of consists of choosing inside each the actual correlator (this way of looking at TQFTs is actually the way in which Atiyah originally formuated the axioms of FQFT).
But since we are dealing now with vector spaces assigned to -dimensional , we can ask the following question:
is there an -dimensional extended TQFT such that
there is an isomorphism
such that whenever cobounds the linear map
sends to .
If so, we say that is a holographic dual to .
See also AdS3-CFT2 and CS-WZW correspondence.
The class of examples of “Chern-Simons-type holography” we mention now has fairly completely and rigorously been understood. It is in turn a special and comparatively simple (but far from trivial) case of the historically earliest class of examples: ordinary Chern-Simons theory dual to a 2d WZW model below.
For more see at AdS3-CFT2 and CS-WZW correspondence.
Given any modular tensor category the Reshetikhin-Turaev construction procides a 3-dimensional TQFT . It space of states over a 2-dimensional surface can be identified (after some work) with a space of conformal blocks for a WZW-model-liked CFT. The FRS formalism provides a way to show that the states of provides correlators that solve the sewing constraints.
Here is a list with aspects of this correspondence:
At the level of action functionals the relation is directly seen by observing that on a 3-d manifold with boundary the Chern-Simons theory action is not gauge invariant, but has a boundary term depending on the gauge transformation. Since the gauge transformation is a function on the 2d boundary with values in , this boundary term is like an action functional for a sigma-model with target space , and indeed it is that (subject to some fine-tuning) of the -WZW model.
A random source reviewing this is for instance (Arcioni-Blau-Loughlin, p. 6).
More abstractly, at least for simply connected compact , the action functionals are also related by transgression of moduli stacks as discussed at infinity-Chern-Simons theory. The action functional of -Chern-Simons theory is induced by the morphism
from the smooth moduli stack of -bundles with connection to the smooth moduli 3-stack of circle 3-bundles with connection (discussed in detail at differential string structure ) in that for a compact 3d-dimensional surface the Chern-Simons action is the composite
where the last morphism is given by fiber integration in ordinary differential cohomology.
Topological term in the WZW-model (the B-field background gauge field) is similarly the term appearing in codimension 2. This is discussed at Chern-Simons theory – Geometric quantization – In higher codimension.
At the level of matching space of states of CS-theory with the partition function of the WZW model this is a computation obtained from the geometric quantization of the CS-action, originally due to (Witten). A review is in (Gawedzki, section 5).
If one accepts that the quantization of the -Chern-Simons action functional yields the TQFT given by the Reshetikhin-Turaev construction applied to the modular tensor category of -loop group representations, then a detailed construction of the correspondence CS-TQFT/WZW-CFT is what the FFRS-formalism achieves. See there for more details.
Ordinary quantum mechanics induced by quantization of a Poisson manifold – which may be regarded as a 1-dimensional QFT – is holographically dual to the 2-dimensional Poisson sigma-model (implicitly observed by (Kontsevich) made explicit by (CattaneoFelder).
Notice that the A-model arises from the Poisson sigma-model, as discussed there.
: 7-dimensional Chern-Simons theory is related to a fivebrane model on its boundary;
provides the polarization by splitting into self-dual and anti-self-dual forms:
notice that (by the formulas at Hodge star operator) we have on mid-dimensional forms
Therefore it provides a complex structure on .
We see that the symplectic structure on the space of forms can equivalently be rewritten as
Here on the right now the Hodge inner product of with appears, which is invariant under applying the Hodge star to both arguments.
We then decompose into the -eigenspaces of : say is imaginary self-dual if
and imaginary anti-self-dual if
Then for imaginary self-dual and we find that the symplectic pairing is
Therefore indeed the symplectic pairing vanishes on the self-dual and on the anti-selfdual forms. Evidently these provide a decomposition into Lagrangian subspaces.
Therefore a state of higher Chern-Simons theory on may locally be thought of as a function of the self-dual forms on . Under holography this is (therefore) identified with the correlator of a self-dual higher gauge theory on .
See ABJM theory.
The idea of the holographic principle originates in
A review is
See the references at AdS/CFT correspondence.
(And many other references. )
A review is in section 5 of
Using the hypothesized relation between -Chern-Simons TQFT to that given by the Reshetikhin-Turaev construction applied to the modular tensor category of -loop group representations, a detailed discussion of the relation CS/WZW in given by the FFRS formalism. See there for more details
One article that contains a survey of much of the story is
The isomorphism between the RT-theory modular functor and the CFT conformal blocks is also discussed in
More along these lines is in
The idea of describing self-dual higher gauge theory by abelian Chern-Simons theory in one dimension higher originates in
More discussion of the general principle is in
A quick exposition of the basic idea is in
The application of this to the description of type II string theory in 10-dimensions to 11-dimensional Chern-Simons theory is in the followup
3-dimensional Chern-Simons theory in the context of holography is discussed for instance in
it is argued that in the AdS/CFT correspondence it is in fact just the Chern-Simon terms inside the corresponding supergravity theories whose states control the conformal blocks of the dual CFT. So the CS/CFT correspondence is a part (a crucial part) of the AdS/CFT correspondence, at least for and .
See holographic principle of higher category theory for more on this.
Further discussion of formalization in extended TQFT is in