Pith. Sign in

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.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0006196 (version 3)
Pith ID4LNSU3TM, Pith's permanent record of this paper and its review
CitationOleg Lunin, Samir D. Mathur. "Correlation functions for M^N/S_N orbifolds." arXiv:hep-th/0006196 (2000). https://pith.science/paper/4LNSU3TM
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper asks how to compute correlation functions of twist operators — the fields that cyclically permute copies of a target space — in the two-dimensional conformal field theory whose target is the symmetric orbifold $M^N/S_N$. These theories are the proposed low-energy description of the D1–D5 brane system, so their correlators are the conformal-field-theory side of an AdS$_3$/CFT$_2$ duality, yet the nonabelian permutation group had blocked the techniques developed for cyclic orbifolds. The authors replace the path integral with twist insertions by a path integral on a covering Riemann surface carrying no operator insertions at all, then weight it by a Liouville action that depends only on the central charge $c$ of a single copy of $M$. If the construction holds, every twist correlator becomes a finite sum over genera of ordinary partition functions, the sphere term is the same for every choice of $M$, and the genus of the cover organizes itself into a $1/N$ expansion.

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

Editorial extensions of the paper, not claims the author makes directly.

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

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 6,310 input tokens, $0.0003 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.37 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.40 · compares with prior results 0.30 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: method or tool 0.91 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. The factor (8.4) as function of n for N¯ = 1000. If the CFT 3-point function is indeed not renormalized for finite N, then the above result has interesting implications. The coupling between three gravitons would then be a constant for low energies (n << N¯) but would drop rapidly for high energies. Thus the behavior of high frequency modes would not follow a naive ‘equivalence principle’. This issue may be relevant to Hawking’s derivation of black hole radi￾ation, where we need to make a change of coordinates to study the high frequency modes near the horizon. For these modes to…

Figures reproduced from arXiv:hep-th/0006196 by the authors.

References
How later papers used it

178 later papers cite it

Evidence: substantial. 161 of the citing papers share no author with it, and 70 of those carry a confident label from Pith's citation classifier.

Pith read 14 of the 497 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 3 of 65 papers with this label
Uses its data or values 1 of 7 papers with this label
How the literature uses it

167 arXiv papers cite this in 484 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 268 sentences without a confident label

Builds on it 5 papers
Uses its method or tool 63 papers
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
Cites it as background 56 papers

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.