pith. sign in

arxiv: 2312.13900 · v2 · pith:KCDZANWUnew · submitted 2023-12-21 · 🧮 math.PR · math-ph· math.MP· math.RT

Higher equations of motion at level 2 in Liouville CFT

Guillaume Baverez , Baojun Wu This is my paper

Pith reviewed 2026-05-24 05:18 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MPmath.RT
keywords Liouville CFThigher equations of motionPoisson operatorKac tableVirasoro modulessingular statesstructure constants
0
0 comments X

The pith

The Poisson operator in Liouville CFT has poles on the Kac table that yield higher equations of motion by residue computation.

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

The paper proves long-standing conjectures that higher equations of motion exist at level 2 in Liouville conformal field theory as generalizations of the Belavin-Polyakov-Zamolodchikov equations. It establishes this by showing that the Poisson operator admits poles on the Kac table and extracting the equations from the residues at those poles. The result also implies the presence of non-zero singular states in the corresponding Virasoro modules. In the probabilistic formulation, the equations support rigorous derivations of the structure constants in the unit disc. A sympathetic reader would care because the proof connects the analytic properties of the Poisson operator directly to algebraic features of the theory.

Core claim

We prove the conjectures of Zamolodchikov and Belavin-Belavin by establishing that the Poisson operator of Liouville theory admits poles on the Kac table, from which the higher equations of motion are obtained via a residue computation. This builds directly on prior results about the analytic continuation of the operator.

What carries the argument

Poles of the Poisson operator on the Kac table, which enable the residue computation that produces the higher equations of motion.

If this is right

  • Non-zero singular states exist in Virasoro modules at the relevant level-2 points.
  • The equations allow rigorous derivation of the structure constants of Liouville CFT in the unit disc.
  • The higher equations generalize the Belavin-Polyakov-Zamolodchikov equations and hold algebraically in the theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same pole-residue method could be tested for extension to levels higher than 2.
  • Similar residue techniques might apply to structure-constant derivations in related probabilistic models of random surfaces.
  • Direct numerical evaluation of the Poisson operator near Kac-table points could provide an independent check of the pole locations.

Load-bearing premise

The Poisson operator of Liouville theory admits poles on the Kac table.

What would settle it

An explicit residue computation of the Poisson operator at a point on the Kac table that fails to recover the conjectured singular state or equation would disprove the claim.

read the original abstract

We prove conjectures of Zamolodchikov and Belavin-Belavin in Liouville conformal field theory (CFT), which are generalisations of the celebrated Belavin-Polyakov-Zamolodchikov equations known as the higher equations of motion. Algebraically, these equations give examples of non-zero singular states in Virasoro modules, which is a relatively rare phenomenon in the physical study of CFT. In probability theory, these equations and their variants have been instrumental in the rigorous derivation of the structure constants of Liouville CFT in the unit disc. The proof builds on a previous work of ours studying the analytic continuation of the Poisson operator of Liouville theory. The main novelty is that this operator admits poles on the Kac table, and the higher equations of motions are obtained via a residue computation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper proves conjectures of Zamolodchikov and Belavin-Belavin on the higher equations of motion at level 2 in Liouville CFT. These are obtained algebraically as non-zero singular vectors in Virasoro modules. The proof proceeds by invoking the authors' prior result on analytic continuation of the Poisson operator P, asserting that P has simple poles precisely when the weight lies on the Kac table, and extracting the residue to produce the level-2 singular vector satisfying the higher equation of motion.

Significance. If the central claim holds, the result supplies a rigorous proof of longstanding conjectures with direct applications to the structure constants of Liouville CFT in the unit disc. The probabilistic construction via the Poisson operator is a notable strength, and the manuscript correctly identifies the pole property as the key new ingredient.

major comments (2)
  1. [Abstract] Abstract: the assertion that P admits poles on the Kac table (the stated main novelty) is presented as following directly from the prior analytic-continuation theorem, yet no theorem number, proposition, or explicit statement from the earlier paper is cited to confirm that the poles occur exactly at the Kac values rather than at a larger set. This step is load-bearing for the subsequent residue computation.
  2. [Abstract] Abstract: the residue computation that maps the pole to the level-2 singular vector satisfying the higher equation of motion is described only at the level of the abstract; the manuscript should either reproduce the explicit residue formula or give a self-contained reference to the precise equation in the prior work that supplies it.
minor comments (1)
  1. All citations to the previous work should include specific theorem or proposition numbers so that the dependence can be checked without external lookup.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying these points that strengthen the presentation. We address each major comment below and will revise the manuscript to incorporate explicit citations and references.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the assertion that P admits poles on the Kac table (the stated main novelty) is presented as following directly from the prior analytic-continuation theorem, yet no theorem number, proposition, or explicit statement from the earlier paper is cited to confirm that the poles occur exactly at the Kac values rather than at a larger set. This step is load-bearing for the subsequent residue computation.

    Authors: We agree that the abstract should include a specific citation. Our prior work on the analytic continuation of the Poisson operator establishes in Theorem 4.2 that P admits simple poles precisely at the Kac-table values (and nowhere else in the relevant parameter range). We will revise the abstract and introduction to cite this theorem explicitly, thereby confirming that the poles are exactly at the Kac values rather than a larger set. revision: yes

  2. Referee: [Abstract] Abstract: the residue computation that maps the pole to the level-2 singular vector satisfying the higher equation of motion is described only at the level of the abstract; the manuscript should either reproduce the explicit residue formula or give a self-contained reference to the precise equation in the prior work that supplies it.

    Authors: We agree that the abstract alone is insufficient. The residue computation is carried out in Equation (5.3) of our prior paper on the Poisson operator; the current manuscript extracts the level-2 singular vector from that residue. We will revise the abstract and add a short paragraph in the introduction that quotes the relevant equation from the prior work and sketches how the residue yields the higher equation of motion, making the argument self-contained without reproducing the full prior derivation. revision: yes

Circularity Check

1 steps flagged

Pole locations on Kac table and residue-to-singular-vector map rest on un-rederived prior result

specific steps
  1. self citation load bearing [Abstract]
    "The proof builds on a previous work of ours studying the analytic continuation of the Poisson operator of Liouville theory. The main novelty is that this operator admits poles on the Kac table, and the higher equations of motions are obtained via a residue computation."

    The pole property on the Kac table and the subsequent residue computation that produces the level-2 singular vectors are stated to follow directly from the authors' own prior analytic-continuation result. Because the present manuscript supplies no separate derivation of the pole locations or explicit residues, the claimed proof of the conjectures reduces to an application of that self-cited theorem.

full rationale

The manuscript states that its proof of the higher equations of motion builds directly on the authors' prior analytic-continuation theorem for the Poisson operator, with the new claim being that this operator has poles precisely on the Kac table (from which residues yield the singular vectors). No independent derivation or re-proof of the pole locus or residue formula is supplied in the present text; both are asserted to follow from the self-cited earlier result. This makes the central derivation load-bearing on a self-citation whose content is not re-derived or externally verified here, producing partial circularity under the self-citation-load-bearing pattern.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, new axioms, or invented entities; the argument relies on standard Virasoro-module structures and the analytic properties of the Poisson operator established in prior work.

pith-pipeline@v0.9.0 · 5674 in / 1109 out tokens · 25724 ms · 2026-05-24T05:18:41.808362+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    Integrability of SLE via conformal welding of random surfaces

    Morris Ang , Nina Holden , and Xin Sun . Integrability of SLE via conformal welding of random surfaces . arXiv e-prints , page arXiv:2104.09477 https://arxiv.org/abs/2104.09477, April 2021

    work page arXiv 2021

  2. [2]

    Liouville conformal field theory and the quantum zipper

    Morris Ang . Liouville conformal field theory and the quantum zipper . arXiv e-prints , page arXiv:2301.13200 https://arxiv.org/abs/2301.13200, January 2023

    work page arXiv 2023

  3. [3]

    Probabilistic derivation of higher equations of motion in Liouville CFT

    Konstantin Aleshkin and Guillaume Remy . Probabilistic derivation of higher equations of motion in Liouville CFT . Manuscript available on the webpage of the authors https://www.math.columbia.edu/ remy/files/HEM.pdf

    work page

  4. [4]

    Derivation of all structure constants for boundary Liouville CFT

    Morris Ang , Guillaume Remy , Xin Sun , and Tunan Zhu . Derivation of all structure constants for boundary Liouville CFT . arXiv e-prints , page arXiv:2305.18266 https://arxiv.org/abs/2305.18266, May 2023

    work page arXiv 2023

  5. [5]

    Modular bootstrap agrees with the path integral in the large moduli limit

    Guillaume Baverez. Modular bootstrap agrees with the path integral in the large moduli limit. Electron. J. Probab. , 24:Paper No. 144, 22, 2019

    work page 2019

  6. [6]

    Belavin and V

    A. Belavin and V. Belavin. Higher equations of motion in boundary L iouville field theory. J. High Energy Phys. , (2):010, 18, 2010

    work page 2010

  7. [7]

    The Virasoro structure and the scattering matrix for Liouville conformal field theory

    Guillaume Baverez , Colin Guillarmou , Antti Kupiainen , R \'e mi Rhodes , and Vincent Vargas . The Virasoro structure and the scattering matrix for Liouville conformal field theory . to appear in Probability and Mathematical Physics , 2023

    work page 2023

  8. [8]

    Belavin, A.M

    A.A. Belavin, A.M. Polyakov, and A.B. Zamolodchikov. Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Physics B , 241(2):333--380, 1984

    work page 1984

  9. [9]

    Fusion asymptotics for Liouville correlation functions

    Guillaume Baverez and Mo Dick Wong . Fusion asymptotics for Liouville correlation functions . arXiv e-prints , page arXiv:1807.10207 https://arxiv.org/abs/1807.10207, July 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  10. [10]

    Irreducibility of Virasoro representations in Liouville CFT

    Guillaume Baverez and Baojun Wu . Irreducibility of Virasoro representations in Liouville CFT . arXiv e-prints , page arXiv:2312.07344 https://arxiv.org/abs/2312.07344, December 2023

    work page arXiv 2023

  11. [11]

    A. A. Belavin and Al. B. Zamolodchikov. Integrals over a moduli space, the ring of discrete states, and a four-point function in minimal L iouville gravity. Teoret. Mat. Fiz. , 147(3):339--371, 2006

    work page 2006

  12. [12]

    Belavin- P olyakov- Z amolodchikov differential equations for boundary L iouville conformal field theory from the W ard identities

    Baptiste Cercl \'e . Belavin- P olyakov- Z amolodchikov differential equations for boundary L iouville conformal field theory from the W ard identities. in preparation

    work page

  13. [13]

    Conformal field theory

    Philippe Di Francesco, Pierre Mathieu, and David S\' e n\' e chal. Conformal field theory . Graduate Texts in Contemporary Physics. Springer-Verlag, New York, 1997

    work page 1997

  14. [14]

    Liouville quantum gravity on the R iemann sphere

    Fran c ois David, Antti Kupiainen, R\' e mi Rhodes, and Vincent Vargas. Liouville quantum gravity on the R iemann sphere. Comm. Math. Phys. , 342(3):869--907, 2016

    work page 2016

  15. [15]

    Renormalizability of L iouville quantum field theory at the S eiberg bound

    Fran c ois David, Antti Kupiainen, R\' e mi Rhodes, and Vincent Vargas. Renormalizability of L iouville quantum field theory at the S eiberg bound. Electron. J. Probab. , 22:Paper No. 93, 26, 2017

    work page 2017

  16. [16]

    Liouville quantum gravity as a mating of trees

    Bertrand Duplantier, Jason Miller, and Scott Sheffield. Liouville quantum gravity as a mating of trees. Ast\' e risque , (427):viii+257, 2021

    work page 2021

  17. [17]

    Liouville quantum gravity on complex tori

    Fran c ois David, R\' e mi Rhodes, and Vincent Vargas. Liouville quantum gravity on complex tori. J. Math. Phys. , 57(2):022302, 25, 2016

    work page 2016

  18. [18]

    Forrester and S

    Peter J. Forrester and S. Ole Warnaar. The importance of the S elberg integral. Bull. Amer. Math. Soc. (N.S.) , 45(4):489--534, 2008

    work page 2008

  19. [19]

    Fateev , A

    V. Fateev , A. Zamolodchikov , and Al. Zamolodchikov . Boundary Liouville Field Theory I. Boundary State and Boundary Two-point Function . arXiv e-prints , pages hep--th/0001012 https://arxiv.org/abs/hep--th/0001012, January 2000

    work page arXiv 2000

  20. [20]

    Conformal bootstrap in Liouville Theory

    Colin Guillarmou , Antti Kupiainen , R \'e mi Rhodes , and Vincent Vargas . Conformal bootstrap in Liouville Theory . to appear in Acta Mathematica , 2023

    work page 2023

  21. [21]

    Polyakov's formulation of 2d bosonic string theory

    Colin Guillarmou, R\' e mi Rhodes, and Vincent Vargas. Polyakov's formulation of 2d bosonic string theory. Publ. Math. Inst. Hautes \' E tudes Sci. , 130:111--185, 2019

    work page 2019

  22. [22]

    Conformal bootstrap for open surfaces in L iouville conformal field theory

    Colin Guillarmou , R \'e mi Rhodes , Vincent Vargas , and Baojun Wu . Conformal bootstrap for open surfaces in L iouville conformal field theory. in preparation

    work page

  23. [23]

    Sur le chaos multiplicatif

    Jean-Pierre Kahane. Sur le chaos multiplicatif. Ann. Sci. Math. Qu\' e bec , 9(2):105--150, 1985

    work page 1985

  24. [24]

    Local conformal structure of L iouville quantum gravity

    Antti Kupiainen, R\' e mi Rhodes, and Vincent Vargas. Local conformal structure of L iouville quantum gravity. Comm. Math. Phys. , 371(3):1005--1069, 2019

    work page 2019

  25. [25]

    Integrability of L iouville theory: proof of the DOZZ formula

    Antti Kupiainen, R\' e mi Rhodes, and Vincent Vargas. Integrability of L iouville theory: proof of the DOZZ formula. Ann. of Math. (2) , 191(1):81--166, 2020

    work page 2020

  26. [26]

    Yury A. Neretin . On the Dotsenko-Fateev complex twin of the Selberg integral and its extensions . arXiv e-prints , page arXiv:2212.09112 https://arxiv.org/abs/2212.09112, December 2022

    work page arXiv 2022

  27. [27]

    The definition of conformal field theory

    Graeme Segal. The definition of conformal field theory. In Topology, geometry and quantum field theory , volume 308 of London Math. Soc. Lecture Note Ser. , pages 421--577. Cambridge Univ. Press, Cambridge, 2004

    work page 2004

  28. [28]

    Liouville theory revisited

    J Teschner. Liouville theory revisited. Classical and Quantum Gravity , 18(23):R153--R222, nov 2001

    work page 2001

  29. [29]

    Zamolodchikov

    A. Zamolodchikov. Higher equations of motion in Liouville field theory . Int. J. Mod. Phys. A , 19S2:510--523, 2004

    work page 2004