Pith. sign in

REVIEW 3 minor 51 references

A Lorentzian construction of timelike Liouville field theory on the cylinder

T0 review · 0 major / 3 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Analytic continuation from torus regularization yields exact Lorentzian correlators and locality for timelike Liouville theory on the cylinder.

desk verdict The paper gives explicit contour formulas for Lorentzian boundary values of timelike Liouville correlators on the cylinder and builds an AQFT-style net with indefinite Hermitian form via Euclidean torus continuation. read the letter →

arxiv 2605.29203 v1 pith:JBFRNEHQ submitted 2026-05-28 math-ph gr-qchep-thmath.MPmath.PR

Sourav Chatterjee This is my paper · ORCID
classification math-phgr-qchep-thmath.MPmath.PR
keywords timelikeLiouvilletheoryLorentzianquantumfieldanalyticcontinuationlocalityalgebraiccylinderscreeningsectorindefinitemetric
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs a Lorentzian formulation of timelike Liouville field theory on the cylinder in the integer screening sector. It starts from a renormalized finite-volume torus regularization to define infinite-volume Euclidean correlation functions for a natural algebra of exponential observables. Analytic continuation in the time variables is established, and the Lorentzian boundary values are identified by explicit contour formulas. The resulting correlators are shown to satisfy locality, with spacelike separated vertex operators commuting, and to support an algebraic reconstruction that produces isotone local algebras and a cyclic representation on a space carrying a nondegenerate Hermitian form, though the form is indefinite for small values of the parameter b. This matters for models of positive-curvature two-dimensional quantum gravity because it demonstrates that core Euclidean-to-Lorentzian and locality mechanisms can persist even without positivity.

What carries the argument

Renormalized finite-volume torus regularization of correlation functions, followed by analytic continuation in time variables and explicit contour formulas that identify the Lorentzian boundary values.

What would settle it

A direct computation for a specific pair of observables showing that the contour formula does not match the boundary value of the analytically continued correlation function, or that two spacelike separated operators fail to commute, would disprove the construction.

Watch

Extended reading notes

Core claim

Starting from a renormalized finite-volume torus regularization, infinite-volume Euclidean correlation functions are constructed, analytic continuation in the time variables is proved, and the Lorentzian boundary values are identified by explicit contour formulas. This yields exact Lorentzian correlators for a natural class of exponential observables. Locality is proved by showing that spacelike separated vertex operators commute in the Lorentzian theory. For smeared observables generated by the integer-charge fields, these expectation values define a vacuum functional on an ordered *-algebra and support an AQFT-type quantization without positivity, producing isotone local algebras, a comple

Load-bearing premise

The renormalized finite-volume torus regularization produces correlation functions that admit analytic continuation in the time variables whose boundary values satisfy the required locality and algebraic properties in the integer screening sector.

Editorial extensions

If this is right

  • Exact Lorentzian correlators exist for exponential observables generated by the integer-charge fields.
  • Spacelike separated vertex operators commute in the Lorentzian theory.
  • The vacuum functional supports isotone local algebras on an ordered *-algebra.
  • A continuous cyclic representation exists on a space with a nondegenerate Hermitian form that is indefinite for b below 8 to the power of minus one half.
  • Cylinder translations act by continuous linear homeomorphisms and the represented local net satisfies locality.

Reading between the lines

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

  • The same regularization-plus-continuation route might be testable on other manifolds or for non-integer screening sectors if analogous finite-volume approximations can be controlled.
  • The indefinite Hermitian form raises the possibility that expectation values of certain observables remain well-defined even when standard positivity fails.
  • Explicit contour formulas could be used to compute concrete multi-point functions that were previously inaccessible in the Lorentzian signature.
  • The survival of locality and algebraic closure without a Hilbert space suggests that parts of reconstruction theorems may apply more broadly to indefinite-metric settings.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs timelike Liouville field theory on the cylinder R × S¹ in the integer screening sector. Starting from a renormalized finite-volume torus regularization, it obtains infinite-volume Euclidean correlation functions, proves analytic continuation in the time variables, identifies the Lorentzian boundary values via explicit contour formulas, derives exact Lorentzian correlators for a class of exponential observables, and proves that spacelike-separated vertex operators commute. These data are used to define a vacuum functional on an ordered *-algebra of smeared observables generated by e^{2nbϕ}, yielding isotone local algebras, a complete locally convex space H with dense algebraic subspace H₀ carrying a nondegenerate Hermitian form (indefinite for b < 8^{-1/2}), a continuous cyclic representation, operator-topologically closed represented local algebras, continuous action of cylinder translations, and locality of the represented net—while explicitly noting the absence of a Hilbert space or Haag-Kastler von Neumann net.

Significance. If the regularization and continuation steps are controlled as claimed, the result is significant: it supplies the first mathematically rigorous Lorentzian formulation of timelike Liouville theory on the cylinder and demonstrates that the Euclidean-to-Lorentzian reconstruction and algebraic net structure survive in a manifestly non-positive setting. The explicit contour identification of boundary values and the locality proof are concrete technical contributions that could serve as a template for other non-unitary models.

minor comments (3)
  1. The abstract and introduction should state the precise range of the parameter b for which the indefinite Hermitian form and the integer screening sector are defined; the single inequality b < 8^{-1/2} appears only in the abstract and is not cross-referenced to a theorem or proposition.
  2. Notation for the renormalized exponential observables (e.g., the precise definition of the integer-charge fields and the screening charges) is introduced without an early dedicated subsection; a short preliminary section collecting all renormalized vertex operators would improve readability.
  3. The statement that the represented local algebras are 'operator-topologically closed' would benefit from an explicit reference to the topology in which closure is taken (e.g., the strong operator topology on the space of continuous linear maps on H).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of its contents, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation proceeds from independent Euclidean regularization via analytic continuation

full rationale

The paper's chain begins with an external renormalized finite-volume torus regularization to produce Euclidean correlators, followed by analytic continuation in time variables and explicit contour identification of Lorentzian boundary values. No step equates a claimed output (e.g., locality, Hermitian form, or local algebras) to an input by definition, fitting, or self-citation reduction; the indefinite Hermitian form for b < 8^{-1/2} is explicitly derived rather than assumed. The construction is self-contained against the stated Euclidean starting point and does not invoke load-bearing self-citations or rename fitted quantities as predictions.

Assumptions & free parameters 1 free parameters · 2 assumptions · 0 invented entities

The construction rests on the existence of a renormalized finite-volume torus regularization whose correlation functions admit the required analytic continuation; the integer screening sector is selected by hand; the parameter b appears as a free coupling whose range controls indefiniteness.

free parameters (1)
  • b
    Liouville coupling constant; the paper states the Hermitian form is indefinite for b < 8^{-1/2}.
assumptions (2)
  • domain assumption Analytic continuation in time variables from Euclidean to Lorentzian signature is valid for the renormalized observables.
    Invoked to identify the Lorentzian boundary values by contour formulas.
  • ad hoc to paper The integer screening sector admits a consistent algebra of renormalized exponential observables.
    The paper restricts to this sector to obtain the stated locality and algebraic properties.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Lorentzian construction of timelike Liouville field theory on the cylinder." pith.science (2026). https://pith.science/paper/JBFRNEHQ

@misc{pith2026260529203,
  author       = {Pith},
  title        = {Pith review of: A Lorentzian construction of timelike Liouville field theory on the cylinder},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JBFRNEHQ}},
  note         = {Machine review of arXiv:2605.29203}
}
abstract

Timelike Liouville field theory is a candidate model for positive curvature two-dimensional quantum gravity, but a mathematically controlled Lorentzian formulation has remained elusive. In this paper we construct the theory on the cylinder $\mathbb{R}\times \mathbb{S}^1$ in the integer screening sector for a natural algebra of renormalized exponential observables. Starting from a renormalized finite-volume torus regularization, we construct infinite-volume Euclidean correlation functions, prove analytic continuation in the time variables, and identify the resulting Lorentzian boundary values by explicit contour formulas. This yields exact Lorentzian correlators for a natural class of exponential observables. We then prove locality: spacelike separated vertex operators commute in the Lorentzian theory. For smeared observables generated by the integer-charge fields $e^{2nb\phi}$, these Lorentzian expectation values define a vacuum functional on an ordered $*$-algebra and support an AQFT-type quantization without positivity. More precisely, we obtain isotone local algebras, a complete locally convex space $\mathcal H$ with dense algebraic subspace $\mathcal H_0$ carrying a nondegenerate Hermitian form (shown to be indefinite for $b<8^{-1/2}$), a continuous cyclic representation, operator-topologically closed represented local algebras, an action of cylinder translations by continuous linear homeomorphisms, and locality for the represented local net. The construction does not produce a Hilbert space or a Haag-Kastler net of local von Neumann algebras in the usual sense, but it shows that a substantial part of the Euclidean-to-Lorentzian and algebraic reconstruction mechanism survives in this nonpositive setting for timelike Liouville theory on the cylinder.

Figures

Figures reproduced from arXiv: 2605.29203 by the authors.

Figure 1
Figure 1. Schematic contour γ used in the definition of Lorentzian correlations, illustrated here for k = 5 with t1 < t5 < t4 < t2 < t3. The contour enters horizontally at it1, visits it2, it3, it4, it5 in index order, and exits horizontally from it5. The contour itself is continuous and lies on the imaginary axis; the tiny left-right offsets of the blue vertical arrows are only a visual aid to distinguish upward and downward… view at source ↗
Figure 2
Figure 2. Contour γ for analytic continuation in the case k = 5, with each increment tj+1 − tj in the open first quadrant. 4.5 Calculating the Lorentzian correlators The point of this final subsection is to convert the holomorphic continuation obtained above into an explicit contour formula on the ordered tube and then identify its boundary values with the time-ordered contour formula from equation (2.7). Recall the set Ωk de… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 15 canonical work pages

  1. [1]

    G. E. Andrews, R. Askey, and R. Roy.Special Functions, volume 71 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1999. ISBN 0-521-62321-9; 0-521-78988-5. doi: 10.1017/CBO9781107325937. URLhttps: //doi.org/10.1017/CBO9781107325937

    work page doi:10.1017/cbo9781107325937 1999

  2. [2]

    Anninos, T

    D. Anninos, T. Bautista, and B. Mühlmann. The two-sphere partition function in two-dimensional quantum gravity.Journal of High Energy Physics, 2021(9):1–30, 2021

    2021

  3. [3]

    Quantum Liouville Cosmology

    D. Anninos, T. Hertog, and J. Karlsson. Quantum Liouville cosmology, 2025. arXiv:2512.15969 [hep-th]

    work page Pith review arXiv 2025

  4. [4]

    Bautista and A

    T. Bautista and A. Bawane. Boundary timelike Liouville theory: Bulk one-point and boundary two-point functions.Phys. Rev. D, 106(12):126011, 2022. doi: 10.1103/ PhysRevD.106.126011

    2022

  5. [5]

    Bratteli and D

    O. Bratteli and D. W. Robinson.Operator Algebras and Quantum Statistical Mechanics

  6. [6]

    Springer, New York, second edition, 1987

    1987

  7. [7]

    Brunetti, K

    R. Brunetti, K. Fredenhagen, and R. Verch. The generally covariant locality principle: A new paradigm for local quantum field theory.Communications in Mathematical Physics, 237(1–2):31–68, 2003. doi: 10.1007/s00220-003-0815-7

    work page Pith review doi:10.1007/s00220-003-0815-7 2003

  8. [8]

    Chatterjee

    S. Chatterjee. Rigorous results for timelike Liouville field theory.Forum of Math., Sigma, 14(e71):1–76, 2026. 84

    2026

Show all 51 references
  1. [9]

    Chatterjee

    S. Chatterjee. Exact calculations beyond charge neutrality in timelike Liouville field theory.arXiv preprint arXiv:2601.19097, 2026

    2026

  2. [10]

    Chatterjee and E

    S. Chatterjee and E. Witten. Liouville theory: An introduction to rigorous approaches. Journal of High Energy Physics, 2025(2):1–41, 2025

    2025

  3. [11]

    Collier, L

    S. Collier, L. Eberhardt, B. Mühlmann, and V. A. Rodriguez. The Virasoro minimal string.SciPost Physics, 16(2):057, 2024

    2024

  4. [12]

    Collier, L

    S. Collier, L. Eberhardt, B. Mühlmann, and V. A. Rodriguez. The Complex Liouville String.Physical Review Letters, 134(25):251602, 2025

    2025

  5. [13]

    David, A

    F. David, A. Kupiainen, R. Rhodes, and V. Vargas. Liouville quantum gravity on the Riemann sphere.Communications in Mathematical Physics, 342:869–907, 2016

    2016

  6. [14]

    Dorn and H.-J

    H. Dorn and H.-J. Otto. Two- and three-point functions in Liouville theory.Nuclear Physics B, 429(2):375–388, 1994

    1994

  7. [15]

    Duplantier and S

    B. Duplantier and S. Sheffield. Liouville quantum gravity and KPZ.Inventiones Mathematicae, 185(2):333–393, 2011

    2011

  8. [16]

    I. M. Gelfand and M. A. Naimark. On the imbedding of normed rings into the ring of operators in hilbert space.Rec. Math. [Mat. Sbornik] N.S., 12(54)(2):197–217, 1943

    1943

  9. [17]

    G. Giribet. Timelike Liouville three-point function.Physical Review D—Particles, Fields, Gravitation, and Cosmology, 85(8):086009, 2012

    2012

  10. [18]

    Giribet and B

    G. Giribet and B. Sivilotti. The disk 1-point function in timelike Liouville theory, 2026. arXiv:2603.12084 [hep-th]

    2026

  11. [19]

    Glimm and A

    J. Glimm and A. Jaffe.Quantum Physics: A Functional Integral Point Of View. Springer-Verlag, New York, second edition, 1987

    1987

  12. [20]

    Goulian and M

    M. Goulian and M. Li. Correlation functions in Liouville theory.Phys. Rev. Lett., 66 (16):2051–2055, 1991. doi: 10.1103/PhysRevLett.66.2051

    doi

  13. [21]

    Grafakos.Classical Fourier Analysis

    L. Grafakos.Classical Fourier Analysis. Springer, New York, third edition, 2014

    2014

  14. [22]

    Guillarmou, A

    C. Guillarmou, A. Kupiainen, and R. Rhodes. Compactified imaginary Liouville theory. arXiv preprint arXiv:2310.18226, 2023

    2023

  15. [23]

    Guillarmou, T

    C. Guillarmou, T. S. Gunaratnam, and V. Vargas. 2d Sinh-Gordon model on the infinite cylinder.Communications in Mathematical Physics, 407:97, 2026

    2026

  16. [24]

    Haag.Local Quantum Physics: Fields, Particles, Algebras

    R. Haag.Local Quantum Physics: Fields, Particles, Algebras. Springer, Berlin, second edition, 1996

    1996

  17. [25]

    Haag and D

    R. Haag and D. Kastler. An algebraic approach to quantum field theory.Journal of Mathematical Physics, 5(7):848–861, 1964. doi: 10.1063/1.1704187. 85

    1964 doi

  18. [26]

    Harlow, J

    D. Harlow, J. Maltz, and E. Witten. Analytic continuation of Liouville theory.Journal of High Energy Physics, 2011(12):1–105, 2011

    2011

  19. [27]

    Hörmander.An Introduction to Complex Analysis in Several Variables

    L. Hörmander.An Introduction to Complex Analysis in Several Variables. North- Holland Publishing Company, Amsterdam, second edition, 1973

    1973

  20. [28]

    R. V. Kadison and J. R. Ringrose.Fundamentals of the Theory of Operator Algebras, Vol. I: Elementary Theory. Academic Press, New York, 1983

    1983

  21. [29]

    Kupiainen, R

    A. Kupiainen, R. Rhodes, and V. Vargas. Integrability of Liouville theory: Proof of the DOZZ formula.Annals of Mathematics, 191(1):81–166, 2020

    2020

  22. [30]

    Lacoin, R

    H. Lacoin, R. Rhodes, and V. Vargas. The semiclassical limit of Liouville conformal field theory.Annales de la Faculté des sciences de Toulouse: Mathématiques, 31(4): 1031–1083, 2022

    2022

  23. [31]

    Mühlmann

    B. Mühlmann. The two-sphere partition function from timelike Liouville theory at three-loop order.Journal of High Energy Physics, 2022(5):1–25, 2022

    2022

  24. [32]

    Mühlmann, V

    B. Mühlmann, V. Narovlansky, and I. Tsiares. On the three-point functions in timelike N= 1Liouville CFT.arXiv preprint arXiv:2505.08890, 2025

    2025

  25. [33]

    Nakayama

    Y. Nakayama. Liouville field theory: A decade after the revolution.International Journal of Modern Physics A, 19:2771–2930, 2004. doi: 10.1142/S0217751X04019500

    2004 doi

  26. [34]

    A. M. Polyakov. Quantum geometry of bosonic strings.Physics Letters B, 103(3): 207–210, 1981

    1981

  27. [35]

    Reeh and S

    H. Reeh and S. Schlieder. Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern.Il Nuovo Cimento, 22(5):1051–1068, 1961. doi: 10.1007/BF02787889

    1961 doi

  28. [36]

    Ribault and R

    S. Ribault and R. Santachiara. Liouville theory with a central charge less than one. Journal of High Energy Physics, 2015(8):1–26, 2015

    2015

  29. [37]

    Rudin.Real and Complex Analysis

    W. Rudin.Real and Complex Analysis. McGraw-Hill, Inc., USA, third edition, 1987. ISBN 0070542341

    1987

  30. [38]

    Schomerus

    V. Schomerus. Rolling tachyons from Liouville theory.Journal of High Energy Physics, 2003(11):043, 2003

    2003

  31. [39]

    I. E. Segal. Irreducible representations of operator algebras.Bull. Amer. Math. Soc., 53(2):73–88, 1947. doi: 10.1090/S0002-9904-1947-08742-5

    1947 doi

  32. [40]

    I. E. Segal. Postulates for general quantum mechanics.Ann. of Math. (2), 48(4): 930–948, 1947. doi: 10.2307/1969387

    1947 doi

  33. [41]

    A. Sen. Rolling tachyon.Journal of High Energy Physics, 2002(4):048, 2002

    2002

  34. [42]

    A. Sen. Tachyon matter.Journal of High Energy Physics, 2002(7):065, 2002. 86

    2002

  35. [43]

    Strominger and T

    A. Strominger and T. Takayanagi. Correlators in Timelike Bulk Liouville Theory. Advances in Theoretical and Mathematical Physics, 7(2):369–379, 2003

    2003

  36. [44]

    Teschner

    J. Teschner. On the Liouville three-point function.Physics Letters B, 363(1-2):65–70, 1995

    1995

  37. [45]

    Teschner

    J. Teschner. Liouville theory revisited.Classical and Quantum Gravity, 18(23): R153–R222, 2001. doi: 10.1088/0264-9381/18/23/201

    2001 doi

  38. [46]

    Usciati, C

    R. Usciati, C. Guillarmou, R. Rhodes, and R. Santachiara. Probabilistic construction of non compactified imaginary Liouville field theory.arXiv preprint arXiv:2505.09390, 2025

    2025

  39. [47]

    A. B. Zamolodchikov and A. B. Zamolodchikov. Structure constants and conformal bootstrap in Liouville field theory.Nucl. Phys. B, 477:577–605, 1996. Appendix This appendix collects material that would have interrupted the main narrative: details on the torus Green’s function, ...

    1996

  40. [48]

    Sinceλ m,0 =π 2m2/T 2, we have π 2T B∗ 0 = T 2π X m∈Z\{0} eimπt/T m2 .(A.20) Whenever|t| ≤T, we haveπt/T∈[−π, π], and therefore Lemma A.9 gives π 2T B∗ 0 = πT 6 − π|t| 2 + πt2 4T .(A.21) Next, forn̸= 0, note that π 2T Bn = T 2π X m∈Z eiαm m2 +n 2T 2 . Applying Lemma A.2 witha=...

  41. [49]

    eventually

    Ifu≥ 1 2, then |1−e −u+iv| ≥1−e −u ≥1−e −1/2. Ifu < 1 2, then|v| ≥ √ 1−u 2 > √ 3 2 and|v| ≤π, and so, |1−e −u+iv|2 ≥2e −u(1−cosv)≥2e −1/2(1−cos( √ 3/2)). Thus in either subcase,|1 −e −u+iv| ≥c 4. This proves the lower bound. For the upper bound, first use|e−u| ≤1to get |1−e −u...

  42. [50]

    Locality.If O1 and O2 are spacelike separated, then every element ofA(O1)commutes with every element ofA(O2)

  43. [51]

    Because each A(O)is a C∗-algebra, it is already complete in itsC∗-norm

    Covariance.If a symmetry group G acts on spacetime, then one has a corresponding action by∗-automorphisms αg :A(O)→A(gO), g∈G. Because each A(O)is a C∗-algebra, it is already complete in itsC∗-norm. One also forms the quasilocal algebra A by taking the norm-closed C∗-algebra g...

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.