Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJun 22nd 2011
   • (edited Jun 24th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded a one-sentence Idea to [[holographic priniciple]] and added much of the references now also at [[self-dual higher gauge theory]]

   added a one-sentence Idea to holographic priniciple and added much of the references now also at self-dual higher gauge theory

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeAug 6th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexexpanded the list of exampl;es at [[holographic principle]]

   expanded the list of exampl;es at holographic principle

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeAug 24th 2011
   • (edited Aug 24th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAdded to [[holographic principle]] the computations (in the Idea-section, still) that show that if [[higher dimensional Chern-Simons theory]] is holographically related to anything, then that anything must by [[self-dual higher gauge theory]]. (It's a bit terse, but I have to call it quits now.)

   Added to holographic principle the computations (in the Idea-section, still) that show that if higher dimensional Chern-Simons theory is holographically related to anything, then that anything must by self-dual higher gauge theory.

   (It’s a bit terse, but I have to call it quits now.)

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeAug 24th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexIs this any way related to the recent interest in the holomorphic version of Chern-Simons (e.g. work of [[Albert Schwarz]]) ?

   Is this any way related to the recent interest in the holomorphic version of Chern-Simons (e.g. work of Albert Schwarz) ?

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 24th 2011
   • (edited Aug 24th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexBy abstracts like [this one](http://arxiv.org/abs/hep-th/9806239) there must be a close relation. But I haven't looked into this aspect at all yet. I should.

   By abstracts like this one there must be a close relation. But I haven’t looked into this aspect at all yet. I should.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeSep 16th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexBriefly added further example to the AdS/CFT section at [[holographic principle]]

   Briefly added further example to the AdS/CFT section at holographic principle

7. • CommentRowNumber7.
   • CommentAuthordomenico_fiorenza
   • CommentTimeSep 18th 2011
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexAren't $n$ and $n+1$ swapped in the Idea section? I'm thinking to an $(n+1)$-dimensional [[topological quantum field theory]] where (essentially by definition) the partition function $Z(M)$ of an $(n+1)$-dimensional manifold $M$ is a state in the space of states $\mathcal{H}_{\partial M}$ associated with the $n$-dimensional boundary of $M$.

   Aren’t $n$ and $n+1$ swapped in the Idea section? I’m thinking to an $(n+1)$-dimensional topological quantum field theory where (essentially by definition) the partition function $Z(M)$ of an $(n+1)$-dimensional manifold $M$ is a state in the space of states $\mathcal{H}_{\partial M}$ associated with the $n$-dimensional boundary of $M$.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeSep 19th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexHi Domenico, maybe "TQFT in dimension $n+1$" sounds misleading? I have changed it to "TQFT of dimension $n+1$". I also added more explanation. I think it says the right thing. But if it sounds misleading to your ear, then please feel free to re-phrase it.

   Hi Domenico,

   maybe “TQFT in dimension $n+1$” sounds misleading? I have changed it to “TQFT of dimension $n+1$”. I also added more explanation.

   I think it says the right thing. But if it sounds misleading to your ear, then please feel free to re-phrase it.

9. • CommentRowNumber9.
   • CommentAuthordomenico_fiorenza
   • CommentTimeSep 19th 2011
   • PermaLink
   Author: domenico_fiorenza
   Format: MarkdownItexHi Urs, I'm not an expert in the holographic principle so I won't attemp rephrasing. But in TQFTs I'd say that the holographic principle is the morphism $Z(\Sigma):\mathbf{1}\toZ(\partial\Sigma)$, which precisely identifies the partition function $Z(\Sigma)$ with an element in the space of states $Z(\partial\Sigma)$. In my interpretation of the physicists' jargon, if we keep the $(n+1)$-dimensional manifold (with boundary) $\Sigma$ fixed, then this is the worldsheet the QFT lives on, so we are in presence of an $(n+1)$-dimensional QFT, whose partition function is $Z(\Sigma)$. Also, if we look at the $n$-dimensional manifold $\partial\Sigma$ as fixed, then this is teh worldsheet of an $n$-dimensional QFT, whose space of states is $Z(\partial\Sigma)$. So the holographic principle would be the identification of the partition function of a $(n+1)$-dimensional QFT with a state for an $n$-dimensional QFT. In other words, I suspect that what Atiyah did in axiomatizing TQFTs has been making the holographic principle be an axiom for topological theories.

   Hi Urs,

   I’m not an expert in the holographic principle so I won’t attemp rephrasing. But in TQFTs I’d say that the holographic principle is the morphism $Z(\Sigma):\mathbf{1}\toZ(\partial\Sigma)$, which precisely identifies the partition function $Z(\Sigma)$ with an element in the space of states $Z(\partial\Sigma)$. In my interpretation of the physicists’ jargon, if we keep the $(n+1)$-dimensional manifold (with boundary) $\Sigma$ fixed, then this is the worldsheet the QFT lives on, so we are in presence of an $(n+1)$-dimensional QFT, whose partition function is $Z(\Sigma)$. Also, if we look at the $n$-dimensional manifold $\partial\Sigma$ as fixed, then this is teh worldsheet of an $n$-dimensional QFT, whose space of states is $Z(\partial\Sigma)$. So the holographic principle would be the identification of the partition function of a $(n+1)$-dimensional QFT with a state for an $n$-dimensional QFT.

   In other words, I suspect that what Atiyah did in axiomatizing TQFTs has been making the holographic principle be an axiom for topological theories.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Domenico, let's see what you write here does not sound right to me, but maybe I am misreading it: > Also, if we look at the $n$-dimensional manifold $\partial \Sigma$ as fixed, then this is teh worldsheet of an $n$-dimensional QFT, whose space of states is $Z(\partial \Sigma)$. So the holographic principle would be the identification of the partition function of a $(n+1)$-dimensional QFT with a state for an $n$-dimensional QFT. I don't think so, because $Z(\partial \Sigma)$ cannot be the space of states of the $n$-dim QFT, because an $n$-dim QFT does not assign spaces of states to $n$-dimensional manifolds such as $\partial \Sigma$. But [[CFT]]s of dimension $n$ do assign vector spaces in codimension 0, namely spaces of [[conformal block]]s_ . These are precisely vector spaces of possible correlators. Roughly, a conformal block is a function that has all the properties of the correlator of a CFT, except maybe that it cannot be globally glued to solve the sewing constraints. Conversely, constrtucting a full CFT amounts to choosing for each $n$-dim manifold a conformal block such that these choice glue to satisfy the sewing constraints. > In other words, I suspect that what Atiyah did in axiomatizing TQFTs has been making the holographic principle be an axiom for topological theories. No, this is not true. There is some genuine and nontrivial content in the holographic principle, that goes beyond just the definition of a TQFT. In particular there is no claim (no hint) that _every_ TQFT is holographically related to a lower dimensional theory. Those for which it is known are all of higher Chern-Simons theory type. Which leads me over to announcing the following addition to the Idea-section of the entry...

    Hi Domenico,

    let’s see what you write here does not sound right to me, but maybe I am misreading it:

    Also, if we look at the $n$-dimensional manifold $\partial \Sigma$ as fixed, then this is teh worldsheet of an $n$-dimensional QFT, whose space of states is $Z(\partial \Sigma)$. So the holographic principle would be the identification of the partition function of a $(n+1)$-dimensional QFT with a state for an $n$-dimensional QFT.

    I don’t think so, because $Z(\partial \Sigma)$ cannot be the space of states of the $n$-dim QFT, because an $n$-dim QFT does not assign spaces of states to $n$-dimensional manifolds such as $\partial \Sigma$.

    But CFTs of dimension $n$ do assign vector spaces in codimension 0, namely spaces of conformal blocks_ . These are precisely vector spaces of possible correlators. Roughly, a conformal block is a function that has all the properties of the correlator of a CFT, except maybe that it cannot be globally glued to solve the sewing constraints. Conversely, constrtucting a full CFT amounts to choosing for each $n$-dim manifold a conformal block such that these choice glue to satisfy the sewing constraints.

    In other words, I suspect that what Atiyah did in axiomatizing TQFTs has been making the holographic principle be an axiom for topological theories.

    No, this is not true. There is some genuine and nontrivial content in the holographic principle, that goes beyond just the definition of a TQFT. In particular there is no claim (no hint) that every TQFT is holographically related to a lower dimensional theory. Those for which it is known are all of higher Chern-Simons theory type.

    Which leads me over to announcing the following addition to the Idea-section of the entry…

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexHave added the following to the Idea-section at [[holographic principle]] --- 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 hole]]s in [[general reltivity]]: 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. Later two more precise classes of correspondences were identified, that are regarded now as precise examples of the general idea of the holographic principle: 1. 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 [[CFT]]s ([[conformal block]]s) and [[self-dual higher gauge theory]] on their boundary. 1. Systems of [[quantum gravity]] in various dimensions as given by [[string theory]] on asymptocially [[anti de-Sitter spacetime]]s have been checked not in total but in a multitude of special aspects in special cases to be dual to [[supersymmetric]] [[CFT]]s on their asymptotic boundary -- this is called [[AdS/CFT correspondence]]. Below we list some systems for which something along these lines is known. ###### Remark In view of this it is maybe noteworthy that one can see that also closed [[string field theory]], which is supposed to one side of the [[AdS/CFT correspondence]], has the form of an [[schreiber: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 $\infty$-Chern-Simons theory.

    Have added the following to the Idea-section at holographic principle

    ---

    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 reltivity: 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.

    Later two more precise classes of correspondences were identified, that are regarded now as precise examples of the general idea of the holographic principle:

    1. 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.

    2. Systems of quantum gravity in various dimensions as given by string theory on asymptocially 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.

    Below we list some systems for which something along these lines is known.

    Remark

    In view of this it is maybe noteworthy that one can see that also closed string field theory, which is supposed to one side of the AdS/CFT correspondence, has the form of an infinity-Chern-Simons theory (schreiber), 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 $\infty$-Chern-Simons theory.

12. • CommentRowNumber12.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 19th 2011
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexHi Urs, I see I've written things in a confusing way.. :( by writing QFT I meant a no better specified quantum field theory, not a topological quantum field theory. in particular a QFT in what I wrote above could be a CFT (I may be misreading here, but in the idea section of [[conformal field theory]] it seems that "conformal field theory" is an abridged name for "conformal quantum field theory"). so in the vague terms I had in mind we have an $(n+1)$ manifold with boundary $(\Sigma,\partial\Sigma)$, some quantum field theory "A" defined on $\Sigma$, with some attached object called "partition function", and denoted $Z_A(\Sigma)$, and some quantum field theory "B" defined on $\partial\Sigma$, with some attached "space of states" $\mathcal{H}_B(\partial\Sigma)$. and I would think that the theory "A" on $\Sigma$ and the theory "B" on $\partial\Sigma$ are holographically related if the partition function $Z_A(\Sigma)$ is naturally interpreted as a vector in $\mathcal{H}_B(\partial\Sigma)$. concerning TQFT I didn't mean that the holography principle is something trivial, but that TQFT implements a toy version of the holography principle (but this was just an impression/speculation of mine, which could be easily be wrong). I think our misunderstanding here comes from what I meant by "$n$-dimensional QFT". by this vague term I meant something involving a fixed $n$-dimensional manifold, to be called the worldsheet of the theory. that is, I did not mean "$n$-dimensional toplogical QFT", which has a completely different (and precise) meaning: sorry for the bad choice of terms I remain with the suspect that are partition functions on the bulk to be states on the boundary, and not vice versa, but as you see I'm too confused here, so I'll come back to this in a few months or years when my mind will eventually be clearer on what the holography principle is :)

    Hi Urs,

    I see I’ve written things in a confusing way.. :(

    by writing QFT I meant a no better specified quantum field theory, not a topological quantum field theory. in particular a QFT in what I wrote above could be a CFT (I may be misreading here, but in the idea section of conformal field theory it seems that “conformal field theory” is an abridged name for “conformal quantum field theory”).

    so in the vague terms I had in mind we have an $(n+1)$ manifold with boundary $(\Sigma,\partial\Sigma)$, some quantum field theory “A” defined on $\Sigma$, with some attached object called “partition function”, and denoted $Z_A(\Sigma)$, and some quantum field theory “B” defined on $\partial\Sigma$, with some attached “space of states” $\mathcal{H}_B(\partial\Sigma)$. and I would think that the theory “A” on $\Sigma$ and the theory “B” on $\partial\Sigma$ are holographically related if the partition function $Z_A(\Sigma)$ is naturally interpreted as a vector in $\mathcal{H}_B(\partial\Sigma)$.

    concerning TQFT I didn’t mean that the holography principle is something trivial, but that TQFT implements a toy version of the holography principle (but this was just an impression/speculation of mine, which could be easily be wrong).

    I think our misunderstanding here comes from what I meant by “$n$-dimensional QFT”. by this vague term I meant something involving a fixed $n$-dimensional manifold, to be called the worldsheet of the theory. that is, I did not mean “$n$-dimensional toplogical QFT”, which has a completely different (and precise) meaning: sorry for the bad choice of terms

    I remain with the suspect that are partition functions on the bulk to be states on the boundary, and not vice versa, but as you see I’m too confused here, so I’ll come back to this in a few months or years when my mind will eventually be clearer on what the holography principle is :)

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> so in the vague terms I had in mind we have an $(n+1)$ manifold with boundary $(\Sigma,\partial\Sigma)$, some quantum field theory "A" defined on $\Sigma$, with some attached object called "partition function", and denoted $Z_A(\Sigma)$, and some quantum field theory "B" defined on $\partial\Sigma$, with some attached "space of states" $\mathcal{H}_B(\partial\Sigma)$. So this is where I would still disagree :-) You, see, since $B$ is an $n$-dimensional QFT, it does not assigns an $\mathcal{H}_B$ to the $n$-dimensional $\partial \Sigma$. It assigns spaces $\mathcal{H}_B$ instead to $(n-1)$-dimensional manifolds. > and I would think that the theory "A" on $\Sigma$ and the theory "B" on $\partial\Sigma$ are holographically related if the partition function $Z_A(\Sigma)$ is naturally interpreted as a vector in $\mathcal{H}_B(\partial\Sigma)$. So $Z_A(\Sigma)$ is always naturally interpreted as a vector in $Z_A(\partial \Sigma)$, of course. The crucial question now is: what is this vector from the point of view of an $n$-dimensional QFT $B$. It is _not_ a state of $B$, since $Z_A(\partial \Sigma)$ cannot be identified with a state space "$\mathcal{H}_B(\partial \Sigma)$", since that is not provided by $B$. So the question is: what could the space $Z_A(\partial \Sigma)$ be instead, from the point of view of $B$. And if $B$ is holographically related to $A$, then the statement is: $Z_A(\partial \Sigma)$ can be identified with a _space of conformal blocks_ of $B$. Sometimes one says: the value of the [[modular functor]] of $B$ on $\partial \Sigma$. Now, "conformal block" is just another term for "potential correlator" for CFTs. And "correlator" means "partition function with field insertions" if you wish. So the canonical vector given by the image $$ Z(\Sigma) : 1 \to Z_A(\partial \Sigma) $$ in $Z_A(\partial \Sigma)$ can be indentified (if we have holography) with a correlator/partition function of the theory $B$.

    so in the vague terms I had in mind we have an $(n+1)$ manifold with boundary $(\Sigma,\partial\Sigma)$, some quantum field theory “A” defined on $\Sigma$, with some attached object called “partition function”, and denoted $Z_A(\Sigma)$, and some quantum field theory “B” defined on $\partial\Sigma$, with some attached “space of states” $\mathcal{H}_B(\partial\Sigma)$.

    So this is where I would still disagree :-)

    You, see, since $B$ is an $n$-dimensional QFT, it does not assigns an $\mathcal{H}_B$ to the $n$-dimensional $\partial \Sigma$. It assigns spaces $\mathcal{H}_B$ instead to $(n-1)$-dimensional manifolds.

    and I would think that the theory “A” on $\Sigma$ and the theory “B” on $\partial\Sigma$ are holographically related if the partition function $Z_A(\Sigma)$ is naturally interpreted as a vector in $\mathcal{H}_B(\partial\Sigma)$.

    So $Z_A(\Sigma)$ is always naturally interpreted as a vector in $Z_A(\partial \Sigma)$, of course.

    The crucial question now is: what is this vector from the point of view of an $n$-dimensional QFT $B$. It is not a state of $B$, since $Z_A(\partial \Sigma)$ cannot be identified with a state space “$\mathcal{H}_B(\partial \Sigma)$”, since that is not provided by $B$.

    So the question is: what could the space $Z_A(\partial \Sigma)$ be instead, from the point of view of $B$. And if $B$ is holographically related to $A$, then the statement is: $Z_A(\partial \Sigma)$ can be identified with a space of conformal blocks of $B$. Sometimes one says: the value of the modular functor of $B$ on $\partial \Sigma$.

    Now, “conformal block” is just another term for “potential correlator” for CFTs. And “correlator” means “partition function with field insertions” if you wish. So the canonical vector given by the image

    $$Z(\Sigma) : 1 \to Z_A(\partial \Sigma)$$

    in $Z_A(\partial \Sigma)$ can be indentified (if we have holography) with a correlator/partition function of the theory $B$.

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexI should maybe emphasite that this aspect is precisely what makes holography as in higher Chern-Simons theory and in AdS/CFT interesting and subtle: it's not just about restricting states from higher to lower dimensions. It's that states of a higher dimensional theory are mapped to correlators/partition functins of a lower dimensional theory. There was once a proposal for how to formalize AdS/CFT -- now sometimes called [[Rehren duality]] -- but it fell short of precisely this subtlety: in that proposal a local net in higher dimensions was simply restricted to lower dimensions. But this is not what AdS/CFT is about.

    I should maybe emphasite that this aspect is precisely what makes holography as in higher Chern-Simons theory and in AdS/CFT interesting and subtle: it’s not just about restricting states from higher to lower dimensions. It’s that states of a higher dimensional theory are mapped to correlators/partition functins of a lower dimensional theory.

    There was once a proposal for how to formalize AdS/CFT – now sometimes called Rehren duality – but it fell short of precisely this subtlety: in that proposal a local net in higher dimensions was simply restricted to lower dimensions. But this is not what AdS/CFT is about.

15. • CommentRowNumber15.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 19th 2011
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexHi Urs, it seems I'm lost with the terminology here, the following three cannot be all true :) i) an $n$-dimensional QFT $B$ does not assigns an $\mathcal{H}_B$ to the $n$-dimensional $\partial \Sigma$; it assigns spaces $\mathcal{H}_B$ instead to $(n-1)$-dimensional manifolds. ii) [[CFT]]s of dimension $n$ do assign vector spaces in codimension 0, namely spaces of [[conformal block]]s iii) a CFT is a particular kind of QFT

    Hi Urs,

    it seems I’m lost with the terminology here, the following three cannot be all true :)

    i) an $n$-dimensional QFT $B$ does not assigns an $\mathcal{H}_B$ to the $n$-dimensional $\partial \Sigma$; it assigns spaces $\mathcal{H}_B$ instead to $(n-1)$-dimensional manifolds.

    ii) CFTs of dimension $n$ do assign vector spaces in codimension 0, namely spaces of conformal blocks

    iii) a CFT is a particular kind of QFT

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi Domenico, they are all true. But the point is that the space in codimension 0 is not a space of states. It is a space of correlators. I am sorry if I am saying this in a unreadable way. I don't know, maybe we have been agreeing all along and just not understanding each other. Let's try to sort it out. Here is an example to keep in mind: consider a TQFT $B$. To a cobordism $\Sigma$ it assigns not a vector in a space of states, but a linear map $Z_B(\Sigma) : Z_B(\partial_{in} \Sigma) \to Z_B(\partial_{out} \Sigma)$. But then we may reformulate this as follows: we can say: there is a space of "topological conformal blocks" assigned to $\Sigma$, namely the vector space $$ TCFBlocks(\Sigma) := Z_B(\partial_{in} \Sigma)^* \otimes Z_B(\partial_{out} \Sigma) \,. $$ The actual correlator $Z_B(\Sigma)$ is canonically identified with a vector in that space of topological conformal blocks $$ Z_B(\Sigma) \in TCFBlocks(\Sigma) \,. $$ Given all spaces $TCFBlocks(\Sigma)$ for all $\Sigma$, (re)constructing the TQFT $B$ amounts to choosing such vectors in all these spaces such that they satisfy the "sewing constraints", which is, under the above adjunction, the condition that $Z_B : Bord \to Vect$ is a functor. So we can ask now: is there a higher dimensional TQFT $A$ such that whenver $\Sigma$ is the boundary of a $\hat \Sigma$ we have an isomorphism $$ \phi : Z_A(\partial \hat \Sigma) \simeq TCFBlocks(\Sigma) $$ such that $$ Z_B(\Sigma) = image( 1 = Z_A(\emptyset) \stackrel{Z_A(\hat \Sigma)}{\to} Z_A(\Sigma) \stackrel{\phi}{\to} TCFBlocks(\Sigma) ) \,. $$ If so, we say that $B$ is A holographic boundary theory of $A$.

    Hi Domenico,

    they are all true. But the point is that the space in codimension 0 is not a space of states. It is a space of correlators.

    I am sorry if I am saying this in a unreadable way. I don’t know, maybe we have been agreeing all along and just not understanding each other. Let’s try to sort it out.

    Here is an example to keep in mind:

    consider a TQFT $B$. To a cobordism $\Sigma$ it assigns not a vector in a space of states, but a linear map $Z_B(\Sigma) : Z_B(\partial_{in} \Sigma) \to Z_B(\partial_{out} \Sigma)$.

    But then we may reformulate this as follows: we can say: there is a space of “topological conformal blocks” assigned to $\Sigma$, namely the vector space

    $$TCFBlocks(\Sigma) := Z_B(\partial_{in} \Sigma)^* \otimes Z_B(\partial_{out} \Sigma) \,.$$

    The actual correlator $Z_B(\Sigma)$ is canonically identified with a vector in that space of topological conformal blocks

    $$Z_B(\Sigma) \in TCFBlocks(\Sigma) \,.$$

    Given all spaces $TCFBlocks(\Sigma)$ for all $\Sigma$, (re)constructing the TQFT $B$ amounts to choosing such vectors in all these spaces such that they satisfy the “sewing constraints”, which is, under the above adjunction, the condition that $Z_B : Bord \to Vect$ is a functor.

    So we can ask now: is there a higher dimensional TQFT $A$ such that whenver $\Sigma$ is the boundary of a $\hat \Sigma$ we have an isomorphism

    $$\phi : Z_A(\partial \hat \Sigma) \simeq TCFBlocks(\Sigma)$$

    such that

    $$Z_B(\Sigma) = image( 1 = Z_A(\emptyset) \stackrel{Z_A(\hat \Sigma)}{\to} Z_A(\Sigma) \stackrel{\phi}{\to} TCFBlocks(\Sigma) ) \,.$$

    If so, we say that $B$ is A holographic boundary theory of $A$.

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexTo fill this with more substance, maybe you want to look at section 3 and section 4 of Jens Fjelstad, Jürgen Fuchs, Ingo Runkel, Christoph Schweigert, _Uniqueness of open/closed rational CFT with given algebra of open states_ ([arXiv:hep-th/0612306](http://arxiv.org/abs/hep-th/0612306)) This discusses, rigorously, the holographic construction of any rational 2d CFT from a 3d TQFT obrtained from a modular tensor category.. The conformal block assignment is in section 3.3. Picking the correlators in there is in 3.4. Then in 4 it is shown how the correlators can be picked in a sewing-consistent way by using the 3d TQFT as a "holographic dual" (that term does not appear there, though).

    To fill this with more substance, maybe you want to look at section 3 and section 4 of

    Jens Fjelstad, Jürgen Fuchs, Ingo Runkel, Christoph Schweigert, Uniqueness of open/closed rational CFT with given algebra of open states (arXiv:hep-th/0612306)

    This discusses, rigorously, the holographic construction of any rational 2d CFT from a 3d TQFT obrtained from a modular tensor category.. The conformal block assignment is in section 3.3. Picking the correlators in there is in 3.4. Then in 4 it is shown how the correlators can be picked in a sewing-consistent way by using the 3d TQFT as a “holographic dual” (that term does not appear there, though).

18. • CommentRowNumber18.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexI'm beginning to see something, but my picture is still a bit foggy: I can look at a manifold $\Sigma$ with incoming boundary $\Sigma_{in}$ and outgoing boundary $\Sigma_{out}$ as a manifold with incoming boundary $\emptyset$ and outgoing biundary $\partial\Sigma=\Sigma_{in}^{op}\coprod \Sigma_{out}$. so we are redueced (as usual in TQFT) to $TCFBlocks(\Sigma)=Z_B(\partial \Sigma)$, and so to $Z_b(\Sigma)\in Z_B(\partial\Sigma)$. ok, I agree wuth this. but then we are assuming $\Sigma=\partial\hat{\Sigma}$ (so $\hat{\Sigma}$ will be a manifold with corners, right?), and we are asking for an isomorphism $\phi:Z_A(\Sigma)=Z_A(\partial\hat{\Sigma})\simeq Z_B(\partial\Sigma)$. then the second ondition (the one concerning $Z_B(\Sigma)$ reads as follows: the isomorphism $\phi$ identifies the element $Z_A(\hat{\Sigma})\in Z_A(\partial\hat{\Sigma})=Z_A(\Sigma)$ with the element $Z_B(\Sigma)$ in $Z_B(\partial\Sigma)$. In other words it seems we are asking for $$ Z_A=Z_B\circ\partial $$ edit: thanks for the reference, I'll now look into that!

    I’m beginning to see something, but my picture is still a bit foggy: I can look at a manifold $\Sigma$ with incoming boundary $\Sigma_{in}$ and outgoing boundary $\Sigma_{out}$ as a manifold with incoming boundary $\emptyset$ and outgoing biundary $\partial\Sigma=\Sigma_{in}^{op}\coprod \Sigma_{out}$. so we are redueced (as usual in TQFT) to $TCFBlocks(\Sigma)=Z_B(\partial \Sigma)$, and so to $Z_b(\Sigma)\in Z_B(\partial\Sigma)$. ok, I agree wuth this. but then we are assuming $\Sigma=\partial\hat{\Sigma}$ (so $\hat{\Sigma}$ will be a manifold with corners, right?), and we are asking for an isomorphism $\phi:Z_A(\Sigma)=Z_A(\partial\hat{\Sigma})\simeq Z_B(\partial\Sigma)$. then the second ondition (the one concerning $Z_B(\Sigma)$ reads as follows: the isomorphism $\phi$ identifies the element $Z_A(\hat{\Sigma})\in Z_A(\partial\hat{\Sigma})=Z_A(\Sigma)$ with the element $Z_B(\Sigma)$ in $Z_B(\partial\Sigma)$. In other words it seems we are asking for

    $$Z_A=Z_B\circ\partial$$

    edit: thanks for the reference, I’ll now look into that!

19. • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • (edited Sep 19th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItexHey Domenico, you suggest to write, for that holographic encoding of the "topological modular functor" (which is one half of the story) > $Z_A = Z_B \circ \partial$ Yes! That's a good point. This way it does actually look like we are applying a coboundary operator after all. > so $\hat \Sigma$ will be a manifold with corners, right? Yes, right. Or in more sophisticated language: for the full story we need to be talking about extended cobordisms. That's the difference between talking about the partition function or more generally about correlators. If $\Sigma$ itself has no boundary then $$ Z_B(\Sigma) : 1 = Z_B(\emptyset) \to Z_B(\emptyset) = 1 $$ is the [[partition function]] of $B$ over $\Sigma$. This $\Sigma$ can be the boundary of an ordinary $\hat \Sigma$ and so we can ask if $Z_B(\Sigma)$ can be identified with the image of $Z_A(\hat \Sigma)$. If however $\Sigma$ itself has a boundary, say all incoming, and all of shape $X$ then $$ Z_B(\Sigma) : Z_B(X)^{\otimes n} = Z_B(\partial \Sigma) \to Z_B(\emptyset) = \mathbb{C} $$ is a [[correlator]] or $n$-point function. And for this to be holographically related to anything, we need to allow $\hat \Sigma$ to have boundaries and corners, yes. I'll type out some of these things now at [[holographic principle]]. You can then go over it and see which pieces are unclear.

    Hey Domenico,

    you suggest to write, for that holographic encoding of the “topological modular functor” (which is one half of the story)

    $Z_A = Z_B \circ \partial$

    Yes! That’s a good point. This way it does actually look like we are applying a coboundary operator after all.

    so $\hat \Sigma$ will be a manifold with corners, right?

    Yes, right. Or in more sophisticated language: for the full story we need to be talking about extended cobordisms.

    That’s the difference between talking about the partition function or more generally about correlators. If $\Sigma$ itself has no boundary then

    $$Z_B(\Sigma) : 1 = Z_B(\emptyset) \to Z_B(\emptyset) = 1$$

    is the partition function of $B$ over $\Sigma$. This $\Sigma$ can be the boundary of an ordinary $\hat \Sigma$ and so we can ask if $Z_B(\Sigma)$ can be identified with the image of $Z_A(\hat \Sigma)$.

    If however $\Sigma$ itself has a boundary, say all incoming, and all of shape $X$ then

    $$Z_B(\Sigma) : Z_B(X)^{\otimes n} = Z_B(\partial \Sigma) \to Z_B(\emptyset) = \mathbb{C}$$

    is a correlator or $n$-point function. And for this to be holographically related to anything, we need to allow $\hat \Sigma$ to have boundaries and corners, yes.

    I’ll type out some of these things now at holographic principle. You can then go over it and see which pieces are unclear.

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItexOkay, I have added some of the above discussion to [[holographic principle]] in a new section [Idea -- More details](http://ncatlab.org/nlab/show/holographic+principle#MoreDetails).

    Okay, I have added some of the above discussion to holographic principle in a new section Idea – More details.

21. • CommentRowNumber21.
    • CommentAuthordomenico_fiorenza
    • CommentTimeSep 20th 2011
    • PermaLink
    Author: domenico_fiorenza
    Format: MarkdownItexnow that's clear! sorry for having been pestering yesterday :)

    now that’s clear! sorry for having been pestering yesterday :)

22. • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeSep 20th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> sorry for having been pestering yesterday :) I am glad you did!

    sorry for having been pestering yesterday :)

    I am glad you did!

23. • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2012
    • PermaLink
    Author: Urs
    Format: MarkdownItexAt _[[holographic principle]]_ I have expanded the section _[Of ordinary CS-theory / WZW model ](http://ncatlab.org/nlab/show/holographic+principle#OrdinaryCSWZWModel)_ . In reply to [this MO question](http://mathoverflow.net/questions/101098/the-chern-simons-wess-zumino-witten-correspondence/101223#101223).

    At holographic principle I have expanded the section Of ordinary CS-theory / WZW model . In reply to this MO question.

24. • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2022
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded (more) publication data to * [[Gerard 't Hooft]], _Dimensional Reduction in Quantum Gravity_, talk at *[Conference on Highlights of Particle and Condensed Matter Physics (SALAMFEST)](https://inspirehep.net/conferences/968293)* (1993) &lbrack;[gr-qc/9310026](http://arxiv.org/abs/gr-qc/9310026), [spire:36137](https://inspirehep.net/literature/36137)&rbrack; and pointer to: * [[Alexander Polyakov]], *The wall of the cave*, Int. J. Mod. Phys. A **14** (1999) 645-658 &lbrack;[arXiv:hep-th/9809057](https://arxiv.org/abs/hep-th/9809057), [doi:10.1142/S0217751X99000324](https://doi.org/10.1142/S0217751X99000324)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/holographic+principle/49">diff</a>, <a href="https://ncatlab.org/nlab/revision/holographic+principle/49">v49</a>, <a href="https://ncatlab.org/nlab/show/holographic+principle">current</a>

    added (more) publication data to

    • Gerard ’t Hooft, Dimensional Reduction in Quantum Gravity, talk at Conference on Highlights of Particle and Condensed Matter Physics (SALAMFEST) (1993) [gr-qc/9310026, spire:36137]

    and pointer to:

    • Alexander Polyakov, The wall of the cave, Int. J. Mod. Phys. A 14 (1999) 645-658 [arXiv:hep-th/9809057, doi:10.1142/S0217751X99000324]

    diff, v49, current