Pith. Sign in

REVIEW

Bits and Pieces in Logarithmic Conformal Field Theory

High Energy Physics - Theory · Submitted 25 Nov 2001 · 111 references

Pith's verdict: A useful, honest set of lecture notes whose original core — the nilpotent-theta null-vector machinery — is checkable but whose completeness argument has a gap at exactly the degenerate points it targets.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 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/0111228 (version 2)
Pith IDIQ2FEYO3, Pith's permanent record of this paper and its review
CitationMichael Flohr. "Bits and Pieces in Logarithmic Conformal Field Theory." arXiv:hep-th/0111228 (2001). https://pith.science/paper/IQ2FEYO3
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

Logarithmic conformal field theory gets a null-vector calculus

The reading

The notes ask how much of ordinary two-dimensional conformal field theory survives when the energy operator cannot be diagonalized and instead acts as a Jordan cell, the defining feature of a logarithmic conformal field theory. The author's answer is that null vectors, the states that ordinarily generate differential equations for correlation functions, can be generalized by introducing a formal nilpotent variable $theta$ with $theta^r=0$ for a rank-$r$ Jordan cell. In that bookkeeping, the Virasoro modes become ordinary linear differential operators, and choosing the null-vector coefficients as derivatives with respect to the conformal weight produces explicit logarithmic null vectors. The notes also argue that modular invariance can be reorganized for indecomposable representations, at the price that the resulting characters may contain $log q$ terms and no longer count states in the usual way.

What carries the argument

The key device is the nilpotent variable $theta$, with $theta^r=0$, which packages a rank-$r$ Jordan cell into a single formal object. Equation (3.10) rewrites the Virasoro action on $Psi_h(a(theta))$ as a differential operator in $z$, $w$, and $theta$, so that the off-diagonal Jordan-cell action becomes a derivative with respect to $theta$ rather than an obstruction. The companion ansatz in equation (3.20), $b_n^k(h,c)=frac{1}{k!}frac{partial^k}{partial h^k}b_n^0(h,c)$, converts the logarithmic null-vector conditions into total derivatives of the ordinary null-vector conditions. The Kac determinant and its $h$-derivatives then give a practical necessary condition for a rank-$r$ Jordan cell to admit such a null vector.

Extended reading notes

Core claim

The central claim is that logarithmic conformal field theories are not a collection of exceptions but a coherent extension of conformal field theory in which Jordan-cell representations, logarithmic correlation functions, generalized null vectors, and modular data fit together. The load-bearing demonstration is the rank-two level-four logarithmic null vector at $(h,c)=(-1/4,-7)$, written explicitly in the notes: it shows that a logarithmic null vector can exist on a full Jordan cell even when no null vector exists solely on the logarithmic partner. The same machinery turns the null-vector condition into an inhomogeneous differential equation for four-point functions, with the inhomogeneity determined by correlators with fewer logarithmic fields. For modular invariance, the notes propose that characters of indecomposable representations transform covariantly under the modular group and that a Verlinde-type formula can recover fusion rules, while partition functions of logarithmic theories are related to those of ordinary conformal field theories.

Load-bearing premise

The load-bearing premise is that choosing the logarithmic null-vector coefficients as derivatives of the ordinary coefficients with respect to the conformal weight captures all logarithmic null vectors; the notes themselves call this only a necessary condition and substitute the central-charge constraint after differentiating.

Editorial extensions

If this is right

  • A classification of which central charges and conformal weights admit logarithmic null vectors, at least at low level, follows from requiring common zeros of the Kac determinant and its weight derivatives.
  • Correlation functions with logarithmic fields can be computed hierarchically: solve the homogeneous hypergeometric equation first, then solve inhomogeneous equations whose sources are correlators with one fewer logarithmic field.
  • The logarithmic $c=-2$ theory can be identified as an augmentation of a ghost system, giving a concrete route from ghost correlators to the Haldane-Rezayi fractional quantum Hall wave function and its torus degeneracy.
  • Modular invariance can be imposed on logarithmic theories through generalized characters and a Verlinde-type fusion formula, even when the characters contain $log q$ terms.
  • Augmented minimal models can be treated as rational logarithmic conformal field theories in the same sense as the $c_{p,1}$ series.

Reading between the lines

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

  • The derivative ansatz is a sufficient-looking but explicitly necessary-only condition; a brute-force Shapovalov-form computation at levels six through eight could test whether it misses logarithmic null vectors and therefore whether the low-level tables are classifications or lower bounds.
  • Because the $log q$ characters do not count states, they are better read as torus partition functions than as characters; this suggests that modular data for logarithmic theories should be formulated on pairs or complexes of modules rather than on individual indecomposable representations.
  • The five-dimensional modular representation of the $c=-2$ theory gives a sharp check on the Haldane-Rezayi identification: any candidate bulk CFT must reproduce both the five torus ground states and the rank of the fusion matrices.
  • The hierarchical inhomogeneous-equation method could be turned into an algorithm for four-point functions with arbitrary numbers of logarithmic fields, but its practical value depends on whether the source terms close under the same hypergeometric basis.
Original abstract

These are notes of my lectures held at the first School & Workshop on Logarithmic Conformal Field Theory and its Applications, September 2001 in Tehran, Iran. These notes cover only selected parts of the by now quite extensive knowledge on logarithmic conformal field theories. In particular, I discuss the proper generalization of null vectors towards the logarithmic case, and how these can be used to compute correlation functions. My other main topic is modular invariance, where I discuss the problem of the generalization of characters in the case of indecomposable representations, a proposal for a Verlinde formula for fusion rules and identities relating the partition functions of logarithmic conformal field theories to such of well known ordinary conformal field theories. These two main topics are complemented by some remarks on ghost systems, the Haldane-Rezayi fractional quantum Hall state, and the relation of these two to the logarithmic c=-2 theory.

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, 4,396 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

These are notes of my lectures held at the first School & Workshop on Logarithmic Conformal Field Theory and its Applications, September 2001 in Tehran, Iran. These notes cover only selected parts of the by now quite extensive knowledge on logarithmic conformal field theories. In particular, I discuss the proper generalization of null vectors towards the logarithmic case, and how these can be used to compute correlation functions. My other main topic is modular invariance, where I discuss the problem of the generalization of characters in the case of indecomposable representations, a proposal for a Verlinde formula for fusion rules and identities relating the partition functions of logarithmic conformal field theories to such of well known ordinary conformal field theories. These two main topics are complemented by some remarks on ghost systems, the Haldane-Rezayi fractional quantum Hall state, and the relation of these two to the logarithmic c=-2 theory.

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 These are notes of my lectures held at the first School & Workshop on Logarithmic Conformal Field Theory and its Applications, September 2001 in Tehran, Iran. background 0.95 0.60 0.01 asserted 0.98
s1 These notes cover only selected parts of the by now quite extensive knowledge on logarithmic conformal field theories. limitation 0.99 0.29 0.02 asserted 1.00
s2 In particular, I discuss the proper generalization of null vectors towards the logarithmic case, and how these can be used to compute correlation functions. contribution 0.99 0.74 0.13 asserted 0.95
s3 My other main topic is modular invariance, where I discuss the problem of the generalization of characters in the case of indecomposable representations, a proposal for a Verlinde formula for fusion rules and identities relating the partition functions of logarithmic conformal field theories to such of well known ordinary conformal field theories. contribution 1.00 0.75 0.14 asserted 0.83
s4 These two main topics are complemented by some remarks on ghost systems, the Haldane-Rezayi fractional quantum Hall state, and the relation of these two to the logarithmic c=-2 theory. contribution 0.87 0.52 0.06 asserted 0.85

What kind of paper the classifier reports this is: review 0.86 · evidence from proof or derivation 0.60.

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

Figures
Figure 1. The first few of the lines hp,q(c) where null states exist. They are also the lines where the Kac determinant has a zero, indicating a sign change of an eigenvalue. is exact for all M′ . Due to the state-field isomorphism, it is clear that this decoupling of states must reflect itself in partial differential equations for correlation functions, since descendants of primary fields are made by acting with modes of the stress energy tensor on them. These modes, as we have seen, are represented as differential operators. The precise relationship will be worked out further below. Thus,…
Figure 2. Typical contour deformation for OPE calculations. namely that it involves products of operators. In quantum field theory, this is a notoriously difficult issue. Firstly, operators may not commute, sec￾ondly, and more seriously, products of operators at equal points are not well-defined unless normal or￾dered. As we defined (2.37), we took care to re￾spect “time” ordering, i.e. radial ordering on the complex plane. In order to evaluate equal-time commutators, we define for operators A, B and arbitrary functions f, g the densities Af = I 0 dzf(z)A(z), Bg = I 0 dwg(w)B(w), (2.38)
Figure 3. The three different ways to evaluate a four-point amplitude, i.e. s- t- and u-channels. Correlation functions in the full CFT should be single valued in order to represent observables, i.e. physical measurable quantities. This imposes further restrictions on the particular linear combinations of the conformal blocks Fijkl(z|m) in (2.61). In most CFTs, the diagonal combination ¯h = h is a solution, but it is easy to see, that the monodromy of a field Φh,h¯ (z, z¯) under z 7→ e 2πi z yields the less restrictive condition h−h¯ ∈ Z, such that off-diagonal solutions can be possible. The…
Figure 4. Left: Spectra (H(p, q), cp,q) for pq ≤ 400, which constitutes the set of all ir￾reducible highest weight representations of minimal models. We used a logarithmic scaling x 7→ sign(x) log(|x| + 1) for x = h, c, to make the pattern structure of the spectra of minimal models better visible. Right: Spectra (∂H(p, q), cp,q) for pq ≤ 400, which constitutes the set of all Jordan cell representations, i.e. all conformal weights where fields with logarithmic partners exist. The logarithmic scaling is the same as in the left figure (cf. eq. 3.43). (which then is necessarily non-unitary)…
Figure 5. Graphical representation of con￾tractions of logarithmic fields leading to a (maximal) power log(z − z ′ ) i+i ′ of loga￾rithmic divergencies. may occur is determined in the following way: Each logarithmic field Ψ(h;ℓ) may be thought of as a vertex with ℓ outgoing legs if it is the (ℓ+1)- th field in the Jordan block. That is, a vertex may have 0, . . . , r − 1 outgoing legs for a rank r Jordan block. Moreover, such a vertex may re￾ceive the same number of incoming legs. Then, the maximal power s is the maximal number of lines joining two possible vertices, i.e. ℓi + ℓj ≤ 2(r −1).…
Figure 6. All inequivalent graphical rep￾resentations of contractions in a four-point function with four logarithmic fields. All other graphs are equivalent to these by re￾labeling. graphs for the four-point functions of a rank two LCFT along the lines we have just discussed. The careful reader will notice that in this simple case, neither the arrows nor the remaining free leg are really necessary, so that we only need to draw the inequivalent graphs where n − 1 lines join upto n vertices, and no vertex gets more that two lines. More generally, the task is to dis￾tribute Pn i=1 ki − (r − 1)
Figure 7. The upper half plane and the modular parameter τ defining a lattice, i.e. torus. sumes that all states in a theory contribute to loop diagrams. This may be seen as a motiva￾tion, why we expect that it is useful to study CFT on the simplest loop diagram, the torus. Essen￾tially, a torus is a cylinder whose ends have been sewn together. Mathematically, it is usually de￾scribed as the complex plane modulo a lattice. Let the lattice be spanned by two basic lattice vectors, ω1 and ω2. Then two points z, z′ in the complex plane are identified with each other, if there exist two integers…

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

References
How later papers used it

66 later papers cite it

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

Pith read 15 of the 97 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 1 paper
  • Used this case to explain the generic method described in this paper and applied it to more complicated cases.

    Logarithmic operators in $c=0$ bulk CFTs (2024) · 0.95 · paraphrased: the licence does not allow quoting

How the literature uses it

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

Builds on it 1 paper
Uses its method or tool 1 paper
Compares with it 1 paper
Cites it as background 31 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.