REVIEW 2 major objections 3 minor 3 cited by
Monodromies of CFT correlates on the Lorentzian Cylinder
T0 review · 2 major / 3 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Time-ordered four-point correlators on the Lorentzian cylinder reach infinitely many sheets of the multivalued CFT correlator, and the paper provides a complete classification of those sheets.
desk verdict For the same-range sector the monodromy classification is a real and mostly convincing result, but the completeness claim for all insertion locations is not supported; the paper shows its own restriction to z and \bar z in the same range. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The sheet classification is carried by a matrix implementation of branch moves. Each lightcone crossing in cross-ratio space is a half-monodromy around $z=0,1,\infty$; changing the basis of conformal blocks (the $\alpha$, $\beta$, and $\gamma$ bases, related by constant fusion matrices $F$ and $B$) turns each half-monodromy into a multiplication of the pairing matrix $P$. Path independence is proved by showing that holonomies around elementary plaquettes of a causal lattice vanish, using the commutation of holomorphic and anti-holomorphic moves together with Euclidean single-valuedness. The monodromy of a general configuration is then reduced to shifts $\omega_i\to\omega_i-n_i\pi$ from a Euclidean $A$- or $F$-type configuration, with the integer $n_i$ differences determining the power $q$ in the monodromy word.
What would settle it
Using a specific solvable CFT such as the Ising model, evaluate the time-ordered four-point function at insertion locations whose shift integers $n_i$ are those the paper's tables assign to the sheet $\sqrt{C_{ij}}\,C^q_{im}\,\sqrt{C_{ij}}$ for some $q\ge 0$, and compare with the analytic continuation of the Euclidean correlator along that monodromy path. A mismatch for any $q$ would falsify the claimed classification.
Extended reading notes
Core claim
On the Lorentzian cylinder $S^1\times R$, time-ordered four-point correlators access an infinite number of sheets of $C/N$. Writing $C/N=\sum_{ij} G_i(z)P_{ij}\bar G_j(\bar z)$, the branch points at $z,\bar z=0,1,\infty$ are crossed whenever an insertion cuts a lightcone; the cylinder's spiralling lightcones make the number of crossings unbounded. Within rational CFTs, where the conformal block space is finite-dimensional, the paper establishes that every sheet reached from the Euclidean sheet by any physical insertion configuration is one of the three forms $C^q_{ij}$ with $q\ge -1$, $\sqrt{C_{ij}}\,C^q_{im}\,\sqrt{A_{ij}}$ with $q\ge 0$, or $\sqrt{C_{ij}}\,C^q_{im}\,\sqrt{C_{ij}}$ with $q\ge 0$, where $C$ and $A$ denote full clockwise and anticlockwise monodromies around the indicated branch point and $i,j,m$ are distinct. The paper also proves path independence: every continuous deformation from a spacelike-separated starting configuration to a given final configuration yields the same monodromy. It then tabulates which causal configurations realize each sheet, finding that all sheets except the Regge sheet $C^{-1}_{ij}=A_{ij}$ admit multiple inequivalent causal realizations.
Load-bearing premise
The load-bearing premise is that the theory is rational, meaning the space of conformal blocks is finite-dimensional so every branch move is a finite matrix; the paper notes the proof is rigorous in that case and that extension to irrational theories is expected but not established.
Editorial extensions
If this is right
- Every time-ordered four-point function on the Lorentzian cylinder can be assigned a definite sheet by a finite algorithm: start on the Euclidean sheet and apply one of the three allowed monodromy towers, with the integer $q$ fixed by the shift integers $n_i$.
- The physically realized sheets are abelian towers, so the set of realized sheets grows only linearly with the number of windings, while the full set of possible monodromy words grows exponentially; most sheets of the correlator have no time-ordered-cylinder interpretation.
- The tables give a complete causal census: each sheet's causal configurations are enumerated, and only the Regge sheet is realized by essentially one causal configuration, making it a distinguished fingerprint among all sheets.
- The same machinery yields explicit phase rules for two- and three-point functions on the cylinder, whose sheet ambiguity is a pure phase of the form $e^{-2\pi i h |m|}$ in the diamond-number $m$.
Reading between the lines
- A direct numerical test in a solvable rational CFT with known fusion matrices would decide whether the three-family classification extends to irrational theories; the paper states this extension is expected but not proven.
- The uninterpreted non-abelian sheets might acquire physical meaning from correlators with more time folds, from out-of-time-order contours, or from S-matrix sheets in non-conformal theories, a direction the paper leaves open.
- Restricting higher-dimensional CFTs to an equatorial $S^1\times R$ slice should reproduce the same infinite towers, but the extra possibility that $z$ and $\bar z$ are independent real numbers or complex conjugates could create new sheet structures not visible in two dimensions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper analyzes the multivalued structure of time-ordered correlation functions of a two-dimensional CFT on the Lorentzian cylinder S^1 × R. It derives branch-move rules and phases for two- and three-point functions, then develops a lattice-based path-independence argument for four-point functions, representing branch moves as matrices acting on the pairing matrix P. It classifies monodromies for configurations inside a single Minkowski diamond and, using shifts ω_i → ω_i − n_i π that leave cross-ratios invariant but change the sheet, derives monodromy rules for configurations on the cylinder. The central claim is that time-ordered four-point correlators access exactly the sheets generated by the three families C^q_{ij}, √C_{ij} C^q_{im} √A_{ij}, and √C_{ij} C^q_{im} √C_{ij}, with the Regge sheet (q = −1) causally unique, while a larger infinity of sheets remains uninterpreted.
Significance. If the classification is correct, the paper gives a concrete physical interpretation for an infinite family of sheets of the multi-valued four-point function, going well beyond the finite number of sheets previously understood on R^{1,1}. The central mechanism—repeated crossings of the spiraling lightcones on the cylinder—is elegant and physically well motivated. The path-independence proof is detailed, and the extensive appendix computations (Appendices C–F) and the derivation of monodromy rules from explicit iε cross-ratio expressions and standard conformal-block input are strengths; the classification is not used to set any constants or assumptions. The concrete predictions, such as repeated bulk-point singularities and the special status of the Regge sheet, are valuable. However, the completeness of the classification is not currently established for configurations with z and ¯z in different ranges, so the significance as stated in the abstract is not yet fully supported.
major comments (2)
- [§6.3, §5.3, Abstract] The paper presents the three-family classification as complete for all insertion locations on the Lorentzian cylinder, but the analysis in §6.3 is explicitly restricted to configurations with z and ¯z in the same range (3.15). The omitted configurations are precisely the ‘second type’ identified in §5.3 and Fig. 11(c),(d), for which the text says ‘We leave the detailed explication to the interested reader.’ Since the ω_i → ω_i − n_i π shifts used in §6 leave all cross-ratios unchanged, they cannot connect a same-range configuration to a different-range configuration; the §6 procedure therefore never reaches the different-range sector. To support the abstract’s ‘complete classification’ and the §6.4 statement that all insertion locations lie on one of the three families, the authors must either compute the monodromies for the different-range sector and show that they fall into the same families, or explicitly restrict the completeness claim to the same-range sector.
- [§3.3 and footnote 3] The matrix implementation of branch moves, and hence the path-independence proof and the monodromy classification, assumes a finite-dimensional space of conformal blocks so that the matrices F^± and B^± are finite. Footnote 3 and the discussion around (3.8)–(3.9) state that the argument is rigorous only for rational CFTs, with irrational theories left as an expectation. Since the abstract and §6.4 present the three-family classification as a statement about CFT_2 without this qualification, the headline claim is broader than what is established. Please state the rational-CFT scope in the abstract and in §1.1/§6.4, or supply a proof or clearly justified argument for the infinite-dimensional case.
minor comments (3)
- [Title and Abstract] The title and the opening line of the abstract use ‘CFT correlates’ where ‘CFT correlators’ is intended, and the abstract sentence beginning ‘we demonstrate the spiral nature of lightcones on S^1 × time’ is ungrammatical and should be rewritten.
- [§6.3.2] Items 4–7 of the F-type rules contain apparent notation typos: the exponent ‘n_i−2−n_i3’ should presumably be n_{i2}−n_{i3}, and item 7 ends with √C_{i1i4} where the matching half-monodromy pattern in items 4–6 suggests √C_{i1i3}; these should be corrected so that the rules can be applied unambiguously.
- [§3.5] The claim of ‘full coverage’ of the ranges in (3.14) is accompanied by the caveat that no careful proof has been attempted; since §6’s enumeration relies on these ranges, a short proof or an explicit reference would strengthen the paper.
Circularity Check
No circularity: the sheet classification is derived from explicit i-epsilon cross-ratio rules and conformal-block monodromies, not from the classification itself.
full rationale
The paper's derivation chain is self-contained. It begins from the explicit i-epsilon cross-ratio definitions (3.4)-(3.5), derives half-monodromy rules by tracking which light-cone crossings pass over or under which branch points, represents these moves by constant matrices in conformal-block bases via the fusion and braiding matrices F and B, proves path independence on the causal lattice, and then composes the moves to enumerate the sheets accessed from Euclidean configurations. The three families listed in Section 6.4 are the output of this enumeration, not inputs used to fix any constant, parameter, or pairing matrix. No fitted parameter is renamed as a prediction; Euclidean single-valuedness is used as a constraint, not as the target classification. There is no load-bearing self-citation chain: the cited prior work supplies standard formalism or the finite-sheet result on R^{1,1}, and the uniqueness claim on the Regge sheet is derived from the paper's own tables rather than imported from the authors' prior work. The only significant caveat is an acknowledged incompleteness/overreach: Section 6.3 explicitly restricts to configurations with z and \bar z in the same range, and Section 5.3 defers the different-range configurations, while Section 6.4 and the abstract speak of a complete classification for all insertion locations. This is a correctness/completeness concern, not a circularity, because the omitted sector is not used to define or force the claimed families; it is simply not analyzed. The rational-CFT assumption is explicitly stated and does not smuggle in the result. Accordingly, no circular step is present and the appropriate score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Conformal block decomposition of the four-point function, C/N = sum_ij G_i(z) P_ij \bar G_j(\bar z), with finite pairing matrix P in rational CFTs.
- domain assumption Euclidean single-valuedness imposes the constraint (3.12) relating holomorphic and anti-holomorphic monodromies.
- domain assumption Local operators on the Lorentzian cylinder satisfy integral level matching, h_i - \bar h_i in Z.
- domain assumption Time ordering is implemented by the i-epsilon prescription tau -> tau(1 - i epsilon), giving the monodromy crossing rules of section 3.2.
- domain assumption For rational CFTs the fusion matrices F and B exist and are finite; the proof of path independence in section 4 assumes these finite matrices.
- domain assumption All mutually spacelike configurations with a given cross-ratio range and cyclic ordering are connected by SL(2,R) x SL(2,R) x P transformations.
Cite this review
Pith. "Pith review of Monodromies of CFT correlates on the Lorentzian Cylinder." pith.science (2026). https://pith.science/paper/DCHEYURN
@misc{pith2026250501507,
author = {Pith},
title = {Pith review of: Monodromies of CFT correlates on the Lorentzian Cylinder},
year = {2026},
howpublished = {\url{https://pith.science/paper/DCHEYURN}},
note = {Machine review of arXiv:2505.01507}
}
abstract
While correlators of a CFT are single valued in Euclidean Space, they are multi valued -- and have a complicated sheet structure -- in Lorentzian space. Correlators on $R^{1,1}$ are well known to access a finite number of these sheets. In this paper we demonstrate the spiral nature of lightcones on $S^1 \times $ time allows time ordered correlators of a $CFT_2$ on this spacetime -- the Lorentzian cylinder -- to access an infinite number of sheets of the correlator. We present a complete classification, both of the sheets accessed as well as of the various distinct causal configurations that lie on a particular sheet. Our construction provides a physical interpretation for an infinite number of sheets of the correlator, while, however, leaving a larger infinity of these sheets uninterpreted.
Forward citations
Cited by 3 Pith papers
-
Temporal Entanglement from Twist Correlators in 2d Conformal Field Theory and Holography
Timelike entanglement entropy in 2d CFT is defined by time-ordered twist correlators, whose holographic saddles are complex geodesics with smallest real length, and whose imaginary part counts causal-diamond crossings...
-
de Sitter holography from a Lorentzian torus
A new holographic duality is proposed: quantum gravity on a two-time version of de Sitter space is dual to a conformal field theory on a Lorentzian torus, reproducing de Sitter entropy, correlators, and pseudoentropy.
-
Imprint of the black hole interior on thermal four-point correlators
Analytically continuing and smearing thermal four-point correlators turns them into flat-space scattering amplitudes at a bulk point inside the black hole.
Reference graph
Works this paper leans on
-
[1]
T. Hartman, S. Jain and S. Kundu, Causality Constraints in Conformal Field Theory , JHEP 05 (2016) 099 [ 1509.00014]
arXiv 2016
-
[2]
T. Hartman, S. Jain and S. Kundu, A New Spin on Causality Constraints , JHEP 10 (2016) 141 [1601.07904]
arXiv 2016
-
[3]
T. Hartman, S. Kundu and A. Tajdini, Averaged Null Energy Condition from Causality , JHEP 07 (2017) 066 [ 1610.05308]
arXiv 2017
-
[4]
Tasi lectures on conformal field theory in lorentzian signature
D. Simmons-Duffin, “Tasi lectures on conformal field theory in lorentzian signature.” https://www.desy.de/~bargheer/string-journal-club/presentations/2023-05-16_ Sebastian-Harris_Simmons-Duffin:_TASI-Lorentzian-CFT.pdf , 2023
work page 2023
-
[5]
P. Kravchuk, J. Qiao and S. Rychkov, Distributions in CFT. Part II. Minkowski space , JHEP 08 (2021) 094 [ 2104.02090]
arXiv 2021
-
[6]
A.B. Zamolodchikov, CONFORMAL SYMMETRY IN TWO-DIMENSIONS: AN EXPLICIT RECURRENCE FORMULA FOR THE CONFORMAL PARTIAL WAVE AMPLITUDE, Commun. Math. Phys. 96 (1984) 419
work page 1984
-
[7]
Belavin, A.M
A.A. Belavin, A.M. Polyakov and A.B. Zamolodchikov, Infinite Conformal Symmetry in Two-Dimensional Quantum Field Theory , Nucl. Phys. B 241 (1984) 333
1984
-
[8]
Perlmutter, Virasoro conformal blocks in closed form , JHEP 08 (2015) 088 [ 1502.07742]
E. Perlmutter, Virasoro conformal blocks in closed form , JHEP 08 (2015) 088 [ 1502.07742]
arXiv 2015
Show all 23 references
-
[9]
Wightman, Quantum field theory and analytic functions of several complex variables , Journal of the Indian Mathematical Society 24 (1960) 625
A.S. Wightman, Quantum field theory and analytic functions of several complex variables , Journal of the Indian Mathematical Society 24 (1960) 625
1960
-
[10]
Schwinger, ON THE EUCLIDEAN STRUCTURE OF RELATIVISTIC FIELD THEORY, Proc
J. Schwinger, ON THE EUCLIDEAN STRUCTURE OF RELATIVISTIC FIELD THEORY, Proc. Nat. Acad. Sci. 44 (1958) 956
1958
-
[11]
Schwinger, Euclidean Quantum Electrodynamics, Phys
J. Schwinger, Euclidean Quantum Electrodynamics, Phys. Rev. 115 (1959) 721
1959
-
[12]
Penrose, Republication of: Conformal treatment of infinity , General Relativity and Gravitation 43 (2011) 901
R. Penrose, Republication of: Conformal treatment of infinity , General Relativity and Gravitation 43 (2011) 901
2011
-
[13]
Raclariu, Lectures on Celestial Holography, 2107.02075
A.-M. Raclariu, Lectures on Celestial Holography, 2107.02075
-
[14]
Pasterski, Lectures on celestial amplitudes, The European Physical Journal C 81 (2021) 1062
S. Pasterski, Lectures on celestial amplitudes, The European Physical Journal C 81 (2021) 1062
2021
-
[15]
Pasterski, A Chapter on Celestial Holography , 2310.04932
S. Pasterski, A Chapter on Celestial Holography , 2310.04932
-
[16]
Chandorkar, S.D
D. Chandorkar, S.D. Chowdhury, S. Kundu and S. Minwalla, Bounds on Regge growth of flat space scattering from bounds on chaos , JHEP 05 (2021) 143 [ 2102.03122]
2021 arXiv
-
[17]
Moore and N
G.W. Moore and N. Seiberg, Classical and Quantum Conformal Field Theory , Commun. Math. Phys. 123 (1989) 177
1989
-
[18]
Moore and N
G.W. Moore and N. Seiberg, Naturality in Conformal Field Theory , Nucl. Phys. B 313 (1989) 16. – 122 –
1989
-
[19]
Moore and N
G.W. Moore and N. Seiberg, Polynomial Equations for Rational Conformal Field Theories , Phys. Lett. B 212 (1988) 451
1988
-
[20]
Moore and N
G.W. Moore and N. Seiberg, Lectures on RCFT, in 1989 Banff NATO ASI: Physics, Geometry and Topology, pp. 1–129, 9, 1989
1989
-
[21]
Moore and N
G.W. Moore and N. Seiberg, Taming the Conformal Zoo , Phys. Lett. B 220 (1989) 422
1989
-
[22]
Maldacena, D
J. Maldacena, D. Simmons-Duffin and A. Zhiboedov, Looking for a bulk point , JHEP 01 (2017) 013 [ 1509.03612]
2017 arXiv
-
[23]
Kiskis, The Bianchi Identity for Nonabelian Lattice Gauge Fields , Phys
J.E. Kiskis, The Bianchi Identity for Nonabelian Lattice Gauge Fields , Phys. Rev. D 26 (1982) 429. – 123 –
1982
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.