I'm trying to understand a proper derivation of the operator-state map in CFT. Here is what I think I've understood so far, which is mostly based on David Tong's string theory lectures, and a little of Polchinski volume 1.
We consider a generic state in the Schrödinger representation, obtained from evolving some initial wavefunction Ψi[ϕi] at time ti to some time tf via the path integral
Ψf[ϕf]=∫Dϕi∫ϕfϕiDϕe−S[ϕ]Ψi[ϕi]
where the inner integral with goes over all configurations with boundary condition ϕ(ti)≡ϕi, ϕ(tf)≡ϕf, and the outer one integrates over all boundary configurations ϕi.
We can then take the limit ti→−∞, which in radial quantization corresponds to sending r→0, which just corresponds to the origin. The wave function then looks like
Ψf[ϕf]=∫ϕfDϕe−S[ϕ]O(0).
where we have renamed the initial condition Ψ[const] to O(0) (which we can do, since it is just a constant). This then looks like a cutout of a correlation function involving a local operator O(0), which justifies interchanging states and local operators inside correlation functions, where the state corresponds to O(0)|0⟩ (where |0⟩ is the state corresponding to the identity operator).
However there are a few things I don't really understand yet.
- Where does the necessity for conformal invariance come in? Evidently we need radial quantization for this to work, but afaik, I can in principle apply radial quantization to any Euclidean field theory, conformal or not (maybe this is what I'm getting wrong?).
- This gets us a correspondence between states and local operators, but generally in CFT what we really want is a more specific correspondence between dilation eigenstates |Δ⟩ and primary (or quasi-primary in 2d) operators OΔ(x). How does this follow from the above formulation? Is the idea that I can, if |Δ⟩ is a dilation eigenstate, always extend O(0) to a corresponding unique primary operator OΔ(x) through a translation?
Would be very grateful for some explanations!
P.S. I only really want to apply it to 2d CFT but I've kept the notation more general, in case the higher dimensional case is a better starting point for some people. I hope I haven't made any mistakes in my formulation.