Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  The Chern-Simons/WZW correspondence

+ 6 like - 0 dislike
1020 views

Can someone tell me a reference which proves this? - as to how does the bulk partition function of Chern-Simons' theory get completely determined by the WZW theory (its conformal blocks) on its boundary..


  • I see that Toshitake Kohno's book seems to do a thorough study of this but its not beginner friendly at all! (...so I am kind of looking for something that will give a "simpler" proof and give me a stepping stone into that book...)

  • I am often told that Witten's QFT and Jones polynomial paper proves this but I am hard pressed to find it there. If anyone can spot the proof there, it would help still..

This post imported from StackExchange Physics at 2014-04-05 04:41 (UCT), posted by SE-user user6818
asked Aug 9, 2013 in Theoretical Physics by user6818 (960 points) [ no revision ]
There are some mathoverflow answers to this question. I recommend you do a bit of searching there.

This post imported from StackExchange Physics at 2014-04-05 04:41 (UCT), posted by SE-user Ryan Thorngren

2 Answers

+ 3 like - 0 dislike

There are several different relations between Chern-Simons/WZW models, and there are several way to show these. A nice paper doing this in a concrete way is Elitzur et al Nucl.Phys. B326 (1989) 108.

The Chern-Simons theory on a compact spatial manifold give rise to a finite dimensional Hilbert space (only global degrees of freedom) which turns out to be isomorphic to the space of conformal blocks of a WZW model (which is also finite dimensional, since there are finite number of WZW primaries under the associated affine Lie algebra).

If you however put the theory on a manifold with boundary, there will be local degrees of freedom near the boundary and the Hilbert space infinite dimensional (the dynamics of the boundary degrees of freedom are controlled by a WZW model). Let me go through a simple example of the latter type, you can fill out the detailed calculations.

The action is given by

$$ S[a] = \frac k{4\pi}\int_\mathcal M\text{tr}\left(a\wedge\text d a + \frac 23 a\wedge a\wedge a\right).$$ One can show that for $k\in\mathbb Z$ and the boundary condition $a_0\big|_{\partial\mathcal M} = 0$, $e^{iS[a]}$ is gauge invariant and the equations for motions well-defined. Next we need to fix the gauge appropriately, lets now assume our three-manifold has the following simple form $\mathcal M = \mathbb R\times\Sigma$. Make a temporal decomposition $\text d = \partial_0\text dx^0 + \tilde{\text d}$, where $\tilde{\text d} = \partial_i\text dx^i$, and $a = \tilde a_0 + \tilde a$, where $\tilde a_0 = a_0\text dx^0$ and $\tilde a = a_i\text dx^i$ $(i=1,2)$. With this decomposition we get the following action

$$S[a] = -\frac k{4\pi}\int_\mathcal M\text{tr}\left(\tilde a\wedge\partial_0\tilde a\right)\wedge\text dx^0 + \frac k{2\pi}\int_\mathcal M\text{tr}\left(\tilde a_0\wedge \tilde f\right),$$ where $\tilde f = \tilde{\text d}\tilde a +\tilde a\wedge\tilde a$. It is clear that $\tilde a_0$ is just a Lagrange multiplier and we fix the gauge as $a_0 = 0$ (everywhere, not just on the boundary). Alternatively, integrate out $a_0$ and we get $\delta(\tilde f)$ in the path-integral. We therefore have the following action and constraint

$$S[\tilde a, \tilde a_0=0] = -\frac k{4\pi}\int_\mathcal M\text{tr}\left(\tilde a\wedge\partial_0\tilde a\right)\wedge\text dx^0, \qquad \tilde f = \tilde{\text d}\tilde a +\tilde a\wedge\tilde a=0.$$ Thus the phase-space of the theory is the moduli space of flat connections on $\Sigma$. Whether the phase-space has finite or infinite volume, depends of whether $\Sigma$ has a boundary or not.

For simplicity, let us restrict to the simple manifold $\mathcal M = \mathbb R\times D^2$, where $\Sigma=D^2$ is the $2$-disc. Since $\pi_1(\mathcal M)=0$, there no non-trivial Wilson loops/holonomies (since the Wilson loop only depend on the homotopy class of a curve, for flat-connections) and there are thereby no topological degrees of freedom. In this case we can solve the flat connection constraint $\tilde f = 0$ by letting the gauge field be a pure-gauge

$$\tilde a = -\tilde dUU^{-1},$$ where $U:\mathcal M\rightarrow G$ is a single-valued, group-valued function. Here, $U$, parametrize the local degrees of freedom (of the Chern-Simons theory) modulo gauge redundancies. The action that determines the dynamics of $U$ is found by substituting $\tilde a$ in the above action. Using the coordinates $(t,r,\theta)$, we find

\begin{align*} S_{CWZW}&[U] = S\left[\tilde a=-\tilde{\text d} UU^{-1},\tilde a_0=0\right],\\ &= \frac k{4\pi}\int_{\partial\mathcal M}\text{tr}\left(\partial_\theta U^{-1}\partial_tU\right)\text d^2x + \frac k{12\pi}\int_{\mathcal M}\text{tr}\left([\text d UU^{-1}]^3\right),\\ &= \frac k{4\pi}\int_{\partial\mathcal M}\text{tr}\left(\partial_\theta U^{-1}\partial_tU\right)\text d^2x + \frac k{12\pi}\int_{\mathcal M}\text{tr}\left(\epsilon^{\mu\nu\rho}\partial_\mu UU^{-1}\partial_\nu UU^{-1}\partial_\rho UU^{-1}\right)\text d^3 x. \end{align*} Formally, one also has to check that the path-integral does not come with any Jacobian

$$\int\mathcal D\tilde a\delta(\tilde f) = \int\mathcal DU,$$ where $\mathcal DU$ comes from the Haar measure of $G$. This shows what you were looking for, that the partition function of the Chern-Simons theory is determined by a (chiral) WZW model on the boundary. For more general $\mathcal M$, one can do a similar calculation with a few extra elements. See the above reference for details.

There are of course other ways to show this relation. One can for example show that the Dirac bracket on the phase-space (moduli space of flat-connections) reduce to the affine Lie algebra $\hat{\mathfrak g}_k$ (which is the Chiral algebra of the WZW model). There are also approaches where functional equations for the wave functional are derived. One can also use canonical quantization as Witten does, exploding the fact that the moduli space of flat connections (modulo gauge transformation) is a Kähler manifold and the symplectic form represents the first Chern class of a holomorphic line bundle. This last approach is more abstract and less direct, than the one taken above.

This post imported from StackExchange Physics at 2014-04-05 04:41 (UCT), posted by SE-user Heidar
answered Aug 20, 2013 by Heidar (855 points) [ no revision ]
+ 1 like - 0 dislike

A decent review is around p. 30 of

For more pointers see on the nLab at AdS3-CFT2 and CS-WZW correspondence.

This post imported from StackExchange Physics at 2014-04-05 04:41 (UCT), posted by SE-user Urs Schreiber
answered Aug 20, 2013 by Urs Schreiber (6,095 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOverf$\varnothing$ow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...