REVIEW
Correlation functions for M^N/S_N orbifolds
High Energy Physics - Theory · Submitted 25 Jun 2000 · 21 references
Pith's verdict: A practical, mostly self-checking method for twist correlators in S_N orbifolds, with the general 3-point formula in hand but only the one- and two-overlap cases usable in closed form.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Twist correlators in a symmetric orbifold collapse to a single covering surface, and the sphere term depends only on the central charge.
The reading
What carries the argument
The load-bearing device is the covering map. For three twist operators of orders $n,m,q$ placed at $0,a,$, the cover is written as a ratio of two polynomials $z=f_1(t)/f_2(t)$ whose Wronskian is forced by the local branching to take the form $f_2^2,dz/dt = C,t^{n-1}(1-t)^{m-1}$; this turns the search into a hypergeometric equation, solved explicitly in terms of Jacobi polynomials. The Liouville field $= [|dz/dt|^2]$ is then harmonic outside the punctures, so the conformal anomaly integral collapses to a sum of boundary contributions, one for each branch point and each image of infinity. A discriminant of Jacobi polynomials handles the product over the images of infinity. This is what makes the method work where stress-tensor Ward identities would not: no explicit stress tensor is needed, and the fusion coefficients follow from two- and three-point functions alone rather than from factorizing a four-point function.
Extended reading notes
Core claim
The central claim is that for $S_N$ orbifolds the correlator of twist operators equals $e^{S_L}Z(1/2)/(Z_$), where $S_L$ is a Liouville action computed purely from the local behaviour of the covering map at its punctures. Because the Liouville field $= _t$ is harmonic away from isolated points, $S_L$ reduces to boundary integrals around those punctures, and the answer depends on the target only through $c$. From this the authors extract closed-form genus-zero three-point couplings (their eq. 6.19), with simplified expressions for the single-overlap case $q=m+n-1$ and the two-overlap case $q=m+n-3$, and check that the general expression is symmetric in all three orders. They then compute a four-point function $$, finding a genus-zero contribution whose operator-product limits reproduce the three-point couplings, and a genus-one contribution for $^4$ that agrees with the known $Z_2$ orbifold result. Two structural consequences are drawn: a genus-$g$ cover is suppressed by $N^{-(g+1/2)}$, so the sphere term dominates at large $N$; and the condition for a nonzero genus-zero three-point function mimics the $SU(2)$ Wess–Zumino–Witten fusion rules with spins $j=(n-1)/2$ and level $k=N-1$, so that $j_1+j_2+j_3 k$. The authors also observe that the three-point coupling falls below its large-$N$ value once the twist orders approach $N$, which they read as a manifestation of the stringy exclusion principle.
Load-bearing premise
The construction assumes that the lowest-dimension twist operator corresponds to inserting a multiple of the identity operator at each puncture of the covering surface, a choice justified in the paper only by the heuristic that it gives the slowest power-law falloff of the partition function at large separation.
Editorial extensions
If this is right
- Any twist correlator in $M^N/S_N$ is a finite sum over genera of partition functions of a single copy of $M$, so the sphere term is fixed by the central charge alone and is identical for $T^4$, $K3$, or a free boson.
- The genus of the covering surface supplies a $1/N$ expansion with the term of genus $g$ suppressed by $N^{-(g+1/2)}$, giving a systematic large-$N$ organizing principle for the dual string theory.
- Genus-zero three-point couplings vanish unless the twist orders obey an $SU(2)$-like triangle and truncation rule with $j=(n-1)/2$ and $k=N-1$, matching the pattern of Wess–Zumino–Witten fusion.
- The three-point coupling drops relative to its large-$N$ limit once twist orders reach order $N$, which the authors connect to the stringy exclusion principle and to possible modifications of semiclassical Hawking radiation arguments.
- The method extends to supersymmetric orbifolds by replacing the identity insertion at each puncture with a charge operator built from bosonized fermions.
Reading between the lines
- The genus expansion here has a different origin from the $1/N$ genus expansion of Yang–Mills: it comes from the topology of the cover, not from double-line Feynman diagrams. Whether the two expansions are the same expansion seen from two sides is a natural question the paper raises but does not settle.
- If the sphere term really depends only on $c$, then a twist three-point function in a symmetric orbifold of $K3$ is determined by the same formula as for a single free boson, up to a power of $c$. That is a sharp, checkable statement: a direct free-field computation at small $N$ should reproduce the same numbers.
- The suppression of the coupling at twist orders of order $N$ is stated for the bosonic theory, but the combinatorial factor driving it is group-theoretic and should survive supersymmetry. If so, it is a concrete prediction about the deformation away from the orbifold point, testable against supergravity only once the $R$-charge dependence is included.
- The paper leaves the normalization of the operator inserted at infinity handled by a ratio of correlators rather than by an absolute definition. A cleaner treatment of the puncture at infinity might remove the residual dependence on the regularization parameters that the authors check cancels but do not derive from first principles.
Original abstract
We develop a method for computing correlation functions of twist operators in the bosonic 2-d CFT arising from orbifolds M^N/S_N, where M is an arbitrary manifold. The path integral with twist operators is replaced by a path integral on a covering space with no operator insertions. Thus, even though the CFT is defined on the sphere, the correlators are expressed in terms of partition functions on Riemann surfaces with a finite range of genus g. For large N, this genus expansion coincides with a 1/N expansion. The contribution from the covering space of genus zero is `universal' in the sense that it depends only on the central charge of the CFT. For 3-point functions we give an explicit form for the contribution from the sphere, and for the 4-point function we do an example which has genus zero and genus one contributions. The condition for the genus zero contribution to the 3-point functions to be non--vanishing is similar to the fusion rules for an SU(2) WZW model. We observe that the 3-point coupling becomes small compared to its large N limit when the orders of the twist operators become comparable to the square root of N - this is a manifestation of the stringy exclusion principle.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We develop a method for computing correlation functions of twist operators in the bosonic 2-d CFT arising from orbifolds M^N/S_N, where M is an arbitrary manifold. The path integral with twist operators is replaced by a path integral on a covering space with no operator insertions. Thus, even though the CFT is defined on the sphere, the correlators are expressed in terms of partition functions on Riemann surfaces with a finite range of genus g. For large N, this genus expansion coincides with a 1/N expansion. The contribution from the covering space of genus zero is `universal' in the sense that it depends only on the central charge of the CFT. For 3-point functions we give an explicit form for the contribution from the sphere, and for the 4-point function we do an example which has genus zero and genus one contributions. The condition for the genus zero contribution to the 3-point functions to be non--vanishing is similar to the fusion rules for an SU(2) WZW model. We observe that the 3-point coupling becomes small compared to its large N limit when the orders of the twist operators become comparable to the square root of N - this is a manifestation of the stringy exclusion principle.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We develop a method for computing correlation functions of twist operators in the bosonic 2-d CFT arising from orbifolds M^N/S_N, where M is an arbitrary manifold. | contribution 0.98 | 0.95 | 0.23 | asserted 1.00 |
| s1 | The path integral with twist operators is replaced by a path integral on a covering space with no operator insertions. | method 0.98 | 0.84 | 0.15 | asserted 1.00 |
| s2 | Thus, even though the CFT is defined on the sphere, the correlators are expressed in terms of partition functions on Riemann surfaces with a finite range of genus g. | result 0.74 | 0.86 | 0.21 | asserted 1.00 |
| s3 | For large N, this genus expansion coincides with a 1/N expansion. | result 0.68 | 0.74 | 0.10 | asserted 1.00 |
| s4 | The contribution from the covering space of genus zero is `universal' in the sense that it depends only on the central charge of the CFT. | result 0.94 | 0.85 | 0.11 | asserted 1.00 |
| s5 | For 3-point functions we give an explicit form for the contribution from the sphere, and for the 4-point function we do an example which has genus zero and genus one contributions. | contribution 0.52 | 0.95 | 0.09 | asserted 1.00 |
| s6 | The condition for the genus zero contribution to the 3-point functions to be non--vanishing is similar to the fusion rules for an SU(2) WZW model. | result 0.83 | 0.81 | 0.07 | asserted 0.99 |
| s7 | We observe that the 3-point coupling becomes small compared to its large N limit when the orders of the twist operators become comparable to the square root of N - this is a manifestation of the stringy exclusion principle. | result 0.55 | 0.92 | 0.19 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:hep-th/0006196 by the authors.
References
How later papers used it
178 later papers cite it
3 later papers by other authors are listed below: 3 used its method or tool and 1 used its data or values. 1 of them appears under more than one label.
Uses its method or tool 3 of 65 papers with this label
-
Computed the correlator of local twist operators using techniques from this paper.
Evolution of entanglement entropy in the D1-D5 brane system (2011) · 1.00 · paraphrased: the licence does not allow quoting
-
Applied this paper's procedure to determine the correlation function as a function of y_ℓ, z_ν and w_ν.
Correlation functions of symmetric orbifold from AdS$_3$ string theory (2020) · 0.99 · paraphrased: the licence does not allow quoting
-
Constructed the map from the base space to the covering space such that there are distinguished points in the covering space, following this paper.
Twist-nontwist correlators in M^N/S_N orbifold CFTs (2012) · 0.84 · paraphrased: the licence does not allow quoting
Uses its data or values 1 of 7 papers with this label
-
Read this from equation (3.18) of this paper, recalling that the bare twists have weight h=(c/24)(n-1/n)=3/8 for c=6, n=2.
Twist-nontwist correlators in M^N/S_N orbifold CFTs (2012) · 0.97 · paraphrased: the licence does not allow quoting
How the literature uses it
167 arXiv papers cite this in 484 sentences
Papers citing it · 268 sentences without a confident label
Builds on it 5 papers
-
The result of the procedure is [equation] which is a generalization of the result in equation (7.23) of [ref] .
The OPE of bare twist operators in bosonic $S_N$ orbifold CFTs at large $N$ · Four point function from Lunin-Mathur · 0.82
-
This generalizes the expressions derived in [ref] to non-holomorphic fields.
Conformal Perturbation Theory for Twisted Fields · Twisted fields and the cover map · 1.00
-
The partition function then becomes a sum over $G$ partition functions on branched covers of $M$ over $L$, i.e. [equation] Note that this is essentially the three-dimensional generalization of the covering space construction for calculating correlation functions of twist fields in two-dimensional CFTs [ref] .
The Lion, the Witch, and the Wormhole: Ensemble averaging the symmetric product orbifold · Vortices · 0.81
Uses its method or tool 63 papers
-
This is what we compute in the present paper, using the `covering surface technique' [ref] together with the `stress-tensor method' [ref] .
Correlation functions of composite Ramond fields in deformed D1-D5 orbifold SCFT$_2$ · Introduction · 1.00
-
To compute the four-point function we need to find a map to the covering space, and then compute the Liouville action associated with the map [ref] .
Evolution of entanglement entropy in the D1-D5 brane system · The twist correlator · 0.99
-
In what follows here, we will use heavily the pioneering work of Lunin and Mathur on computing three point functions in (super)conformal orbifold theories [ref] .
Correlation functions in the D1-D5 orbifold CFT · Introduction · 0.94
Uses its data or values 7 papers
-
We read this from equation (3.18) of [ref] , recalling that the bare twists have weight $h=(c/24)(n-1/n)=3/8$ for $c=6,n=2$.
Twist-nontwist correlators in M^N/S_N orbifold CFTs · Non-twist operator insertions · 0.97
-
The two point functions of regularised twist operators at finite separation are given by [ref] ⟨σ^ϵ_m (0) σ^ϵ_m (y) ⟩= y^- (m - 1/m) ( m^2 e^- (m-1)^2/m) Q^1-m where $Q$ depends on the regularization.
Correlation functions in the D1-D5 orbifold CFT · Twist operator correlator · 0.91
-
so we obtain [equation] Before computing the spin correlator in Eq. [ref], we recall the value of the twist fusion coefficient we require [ref] , [equation] The map from the $z$-plane to the covering space used to compute this is given in [ref] .
AdS$_3$ Holography at Dimension Two · Expectation value of $Σ_3^00$ on a 3-charge state · 0.92
Compares with it 11 papers
-
They precisely agree with the predictions from the holographic CFT at the symmetric orbifold point [ref] , and complete the exact (large $N$) holographic matching of the full AdS$_3$/CFT$_2$ chiral ring.
Spectral flow and the exact AdS$_3/$CFT$_2$ chiral ring · Discussion · 0.96
-
(5.30) in [ref] , we have included an additional factor $w_3^-w_3-1$ in the following equation.
Correlators of long strings on AdS$_3\times$S$^3\times$T$^4$ · Matching the correlators at the leading order · 0.84
-
Here we evaluate spectral flow conserving three-point functions on the sphere involving spectral flow images of chiral primary string states in the Neveu-Schwarz (NS) and Ramond (R) sectors of the SL(2, $ℝ)$ WZNW model in order to complete the construction of these amplitudes in the full string theory and compare them with the conjectured dual correlators in the symmetric orbifold of T$^4$ obtained in [ref] .
Three-point functions in superstring theory on AdS3xS3xT4 · Introduction · 0.96
Cites it as support 3 papers
-
This cements the identification of the covering space with the worldsheet as conjectured already in [ref] .
Twistor Coverings and Feynman Diagrams · Symmetric orbifold CFT correlators and branched coverings · 0.99
-
We argued this on the basis of the universality of the four-point function of bare twists (and therefore their fractional excitations) at large $N$ [ref] , along with our calculations which were performed to several non-trivial orders.
The large $N$ limit of OPEs in symmetric orbifold CFTs with $\mathcal{N}=(4,4)$ supersymmetry · Fractional spectral flow · 0.98
-
Building the $S_N$ invariant objects introduces certain combinatoric factors, and these factors are exactly what lead to a suppression of factors of $1/N$ allowing one to concentrate on the case of a spherical cover [ref] .
Bosonization, cocycles, and the D1-D5 CFT on the covering surface · Introduction · 0.96
Cites it as background 56 papers
-
Recall from [ref] that different families of exchange channels result from different limits of the same four point function.
The large $N$ limit of OPEs in symmetric orbifold CFTs with $\mathcal{N}=(4,4)$ supersymmetry · Three-point and four-point function generalities · 0.94
-
We will first review the general construction in the case of symmetric product orbifolds (see, e.g. [ref] ) before discussing some specific aspects that concern the specific correlations functions [ref] that arise in the context of our perturbative deformation.
Engineering Perturbative String Duals for Symmetric Product Orbifold CFTs · Correlations functions and covering maps · 0.86
-
A very special case is that of $k=1$; in that case, the string model is dual [ref] to a particularly simple (and well-studied, see e.g. [ref] ) CFT, the symmetric product orbifold CFT of $T^4$.
Comments on Integrability in the Symmetric Orbifold · Introduction and summary · 0.88
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.