Pith. Sign in

REVIEW

Boundary Liouville Field Theory: Boundary Three Point Function

High Energy Physics - Theory · Submitted 26 Oct 2001 · 18 references

Pith's verdict: The boundary three-point function of Liouville theory, with real cross-checks and two honestly stated gaps: uniqueness only for irrational b under a meromorphicity assumption, and the bulk-boundary Cardy-Lewellen conditions left unverified.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 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 →

· 2 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0110244 (version 2)
Pith IDDG4D3WCM, Pith's permanent record of this paper and its review
CitationB.Ponsot, J.Teschner. "Boundary Liouville Field Theory: Boundary Three Point Function." arXiv:hep-th/0110244 (2001). https://pith.science/paper/DG4D3WCM
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

The paper proposes the missing boundary three-point function for Liouville theory, completing the set of structure constants needed to reconstruct general boundary correlators.

The reading

Liouville theory on a domain with boundary is a two-dimensional conformal field theory whose correlation functions are supposed to be reconstructible from a small set of structure constants. The paper proposes the missing one: an explicit formula for the three-point function of boundary fields. The formula is built from the fusion coefficients that control how conformal blocks change under a change of channel, multiplied by three normalization factors $g$; those factors are fixed by requiring a particular residue to equal $1$, a condition read off from free-field correlation functions. The authors check that the formula reproduces the known boundary reflection amplitude and two-point function, is cyclically symmetric, and is uniquely selected by associativity plus degenerate-field difference equations. If correct, it supplies the last structure constant needed to compute general boundary Liouville correlators.

What carries the argument

The load-bearing mechanism is the associativity of the boundary operator product expansion, written as Eq. (21). The ansatz factors the three-point function into a product of three $g$'s times a fusion coefficient; the pentagon equation (9), inherited from the b-Racah-Wigner coefficients, makes this ansatz solve (21) for any $g$. The function $g$ is then pinned down by a first-order finite-difference equation obtained from the degenerate field $��^{-b}$ and the free-field residue $c_+=1$; its solution is Eq. (26). A second difference equation, obtained by replacing $b$ with $1/b$, plus meromorphy and the reflection property, is used to argue that no other solution is possible up to a boundary-parameter-dependent factor, which the residue condition removes.

Extended reading notes

Core claim

The central claim is Eq. (28): the boundary three-point function $C^{�sigma_3�sigma_2�sigma_1}_{�beta_3|�beta_2�beta_1}$ has an explicit closed form in terms of the double gamma function $��_b$, the sine double gamma $S_b$, and a contour integral over four $S_b$ factors. It is obtained from the ansatz $C^{�sigma_3�sigma_2�sigma_1}_{�beta_3|�beta_2�beta_1}=g^{�sigma_3�sigma_1}_{�beta_3}g^{�sigma_3�sigma_2}_{�beta_2}g^{�sigma_2�sigma_1}_{�beta_1}F^{�beta_2}_{�sigma_2�beta_3}[�dots]$, where $F$ is the fusion coefficient with the index pattern of Eq. (22). The pentagon identity for fusion guarantees that this ansatz solves the boundary associativity condition (21); the remaining freedom is fixed by the residue condition $c_+=1$ at $�beta_1+�beta_2+�beta_3=Q$ and by the difference equation coming from inserting the degenerate boundary field $��^{-b}$. The paper then verifies the reflection relation, the $�beta_1�to0$ two-point limit, and cyclic symmetry, and argues uniqueness through a second difference equation with $b�to b^{-1}$.

Load-bearing premise

The normalization is fixed by requiring the residue at $�beta_1+�beta_2+�beta_3=Q$ to equal $1$, a value imported from free-field correlation functions; if that free-field identification is wrong, Eq. (28) is multiplied by an undetermined function of the boundary parameters.

Editorial extensions

If this is right

  • General boundary four-point functions can be assembled by summing over intermediate boundary states with Eq. (28), giving explicit predictions for Liouville correlators on the disk, half-plane, or strip.
  • The known boundary reflection amplitude (14) follows from Eq. (28), tying the new normalization to the previously determined boundary two-point function.
  • The $�beta_1�to0$ limit reproduces the boundary two-point function (17), so the formula passes a nontrivial consistency check at the edge of its kinematic range.
  • The residue at $�beta_1+�beta_2+�beta_3=Q$ and the cyclic symmetry are built in, matching the pole structure expected from free-field limits.
  • If the formula is accepted, the list of structure functions for boundary Liouville theory is complete except for the remaining Cardy-Lewellen checks linking boundary and bulk data.

Reading between the lines

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

  • A sharp next test is to derive the same normalization from the bulk-boundary crossing condition using the bulk-boundary two-point function of [10]; agreement would confirm the free-field residue input, while a mismatch would reveal a boundary-parameter-dependent factor missed by the ansatz.
  • The b-Racah-Wigner form suggests the result should be re-derivable from a noncompact quantum-group tensor category without free-field input; such a derivation would explain why the three-point function factorizes into $g$'s times a fusion coefficient.
  • Because the paper does not verify the full set of Cardy-Lewellen conditions, a numerical check of boundary four-point crossing at irrational $b$ would be a direct falsifier of the complete proposal.
  • The same pattern may extend to other noncompact conformal field theories with boundary, such as supersymmetric Liouville or SL(2) WZNW models, where the boundary three-point function should again be a product of normalization factors and a fusion coefficient.
Original abstract

Liouville field theory is considered on domains with conformally invariant boundary conditions. We present an explicit expression for the three point function of boundary fields in terms of the fusion coefficients which determine the monodromy properties of the conformal blocks.

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, 2,231 input tokens, $0.0001 reported.

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

The abstract, sentence by sentence

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

Liouville field theory is considered on domains with conformally invariant boundary conditions. We present an explicit expression for the three point function of boundary fields in terms of the fusion coefficients which determine the monodromy properties of the conformal blocks.

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 Liouville field theory is considered on domains with conformally invariant boundary conditions. background 0.99 0.14 0.04 asserted 0.99
s1 We present an explicit expression for the three point function of boundary fields in terms of the fusion coefficients which determine the monodromy properties of the conformal blocks. result 0.61 0.94 0.88 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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

References
How the literature uses it

37 arXiv papers cite this in 57 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 · 33 sentences without a confident label

Contests it 1 paper
  • Contrary to the case of a two-term shift equation such as for $C_0$, showing uniqueness is actually rather difficult in this case and the arguments for this that have been given in the literature are incomplete, e.g. [ref] .[Let us note that the previous proofs contain at least two gaps.

    Notes on crossing transformations of Virasoro conformal blocks · Uniqueness of the solution · contest 0.90

Uses its data or values 1 paper
  • * the boundary three-point function [ref] [equation] We here give the boundary structure constant explicitly because we use it in the following sections: [equation] The coefficients $U_i$ and $V_i$, $i=1,…,4$ are [equation]

    Higher Equations of Motion in Boundary Liouville Field Theory · Boundary Liouville field theory · 0.81

Cites it as background 16 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.