SciPost Submission Page
Minimal lectures on two-dimensional conformal field theory
by Sylvain Ribault
This is not the latest submitted version.
Submission summary
| Authors (as registered SciPost users): | Sylvain Ribault |
| Submission information | |
|---|---|
| Preprint Link: | http://arxiv.org/abs/1609.09523v3 (pdf) |
| Date submitted: | Oct. 3, 2017, 2 a.m. |
| Submitted by: | Sylvain Ribault |
| Submitted to: | SciPost Physics Lecture Notes |
| Ontological classification | |
|---|---|
| Academic field: | Physics |
| Specialties: |
|
| Approach: | Theoretical |
Abstract
We provide a brief but self-contained review of conformal field theory on the Riemann sphere. We first introduce general axioms such as local conformal invariance, and derive Ward identities and BPZ equations. We then define minimal models and Liouville theory by specific axioms on their spectrums and degenerate fields. We solve these theories by computing three- and four-point functions, and discuss their existence and uniqueness.
Author comments upon resubmission
I am grateful to the reviewers and editor for their work. I have made many changes, especially in Sections 4 and 5, mainly in order to add or improve explanations. As a result, the revised version is more than 3 pages longer than the submitted version, while keeping the same plan. Let me comment on some of the most important changes, before addressing the reviewers’ specific concerns:
-
In Sections 4 and 5, I have made the technical simplification of eliminating the reflection relation and the associated reflection coefficient. Instead, I have introduced a two-point structure constant $B(\alpha)$ in eq. (4.10). I hope that this makes the bootstrap analysis of Section 5 simpler, both conceptually and technically.
-
I have added 8 references, including some general references that are cited in the Introduction. These general references can serve as guides to the original literature, a role that the present notes do not strive to fulfill. Most references are textbooks or review articles. They do not detract from the self-contained nature of these notes, up to one exception which is pointed out in the Introduction.
List of changes
Reply to Reviewer 1:
-
Eq. (2.11) is indeed a specialization of eq. (2.10), as is now stated explicitly.
-
The absence of antiholomorphic dependence in Section 2 is now stated explicitly after Axiom 2.3. Moreover, the role of $\bar z$ is now explained in more detail after Axiom 3.2.
-
Actually, contour deformations are not needed for deriving (2.16). We only need to know the poles and residues of $Z(y)$.
-
The mistaken exponent in (2.20) is now corrected.
-
I have added a comment after (2.26) on its relation with (2.20), plus the Exercise 3.6 on the same subject.
-
The reason for this choice of ordering can be understood graphically in eq. (3.18): it allows the $s$- and $t$-channels to correspond to the limits $z\to 0$ and $z\to 1$ respectively. On the other hand, radial ordering and radial quantization play no role in this text.
-
Section 4.1 has been partly rewritten, I hope this answers some of the concerns about minimal models. In particular, there is now a comment on the values of $b, Q$ and $c$ after eq. (4.6). On the other hand I have refrained from commenting on unitarity, which plays no role in classifying and solving minimal models and Liouville theory. This concept would be superfluous in a minimal approach, and is already overemphasized in the existing literature, including in some of the cited references.
-
In my terminology, generalized minimal models are models that exist for all values of $c$, and reduce to minimal models when $c$ takes appropriate discrete values. Therefore, generalized minimal models have much to do with minimal models, and little to do with Liouville theory, as is obvious from their spectrums.
-
The values of $\Delta$ are real for states in the spectrum if $1<c<25$. The conformal dimensions of degenerate representations do become complex for these values of $c$, but this plays no role in the argument. I have followed the suggestion to give the figure (5.14) earlier in the text, and rewritten much of Section 5.
Reply to Reviewer 2:
I have done a major revision and expansion of Sections 4 and 5 in the hope of clarifying them, while also improving the rest of the text in a more perturbative fashion. In particular I have added explanations at the beginning of Section 3.2. Let me now address the ’minimal set of comments’:
-
I have added more details in the derivation of (2.12).
-
I now state that indeed there is an ambiguity in the choice of $\delta_{ij}$, and that this corresponds to different possible definitions of the function $G(z)$.
-
In Exercise 2.8, I have given more justification of the definition of $V_\Delta(\infty)$. This notation is standard and unambiguous, so I am reluctant to change it.
-
In what is now Exercise 3.8, I have given more precise guidance and questions.
-
Right. I have reordered the title of Section 4.
Reply to Reviewer 3:
I would argue that this text is indeed self-contained, up to a small exception that is now stated explicitly in the Introduction. This text provides unambiguous definitions and solutions of Liouville theory and minimal models, that should be understandable without reference to the literature.
Admittedly there is relatively little discussion of the choices of axioms, but in the spirit of the axiomatico-deductive methods, axioms are justified a posteriori by the results that can be deduced from them (as I now recall in the Introduction). Admittedly there is also little discussion of the ’state of the art’: this discussion is now delegated to ref. [3].
Let me address some specific concerns:
-
The condition for degeneracy in Section 4.1 has been rewritten. The condition (4.3) in the old version was actually not necessary. Doubly degenerate fields do not exist in minimal models only: they can exist whenever $b^2\in\mathbb{Q}$. This is now stated more explicitly, see also Exercise 4.7.
-
The reflection relation has been eliminated. Moreover, in Section 4.2 I now explicitly assume that “each allowed representation appears only once in the spectrum”.
-
Yes a conformal dimension can be shared by two primary states, one of them in the spectrum and the other not. This actually happens in Liouville theory with $c\leq 1$. This issue plays no role in solving the theory, so I would rather not discuss it in the text.
-
I would be happy to plug any gaps in the argument, but I do not see any, so long I am allowed to choose my axioms. There are certainly gaps in referring to concepts and assumptions that are present in much of the literature, but not needed in the present argument. (See the Introduction.) Again, I hope that ref. [3] will help the curious reader.
Current status:
Reports on this Submission
Report #3 by Anonymous (Referee 3) on 2018-1-9 (Invited Report)
- Cite as: Anonymous, Report on arXiv:1609.09523v3, delivered 2018-01-09, doi: 10.21468/SciPost.Report.322
Report
The suggestions made in my previous report have been taken into account only incompletely. Further changes are necessary to make the paper publishable.
-
The most important remaining problem is the following. The set of axioms the author proposes to define the Liouville theory is not consistent, the crucial OPE (4.13) of degenerate fields contradicts the combination of Axiom 3.4 with Definition 4.9 (the spectrum of Liouville theory).
-
It should also be noted that what is called Liouville theory in the paper under review is indeed equivalent to what is usually called quantum Liouville theory in most of the literature, defined as the quantum field theory obtained from the quantisation of a scalar field with dynamics given by Liouville's equation. This should be pointed out explicitly. If the author does not want to go into much detail about this equivalence, it would be necessary to at least offer some pointers to the literature concerning the evidence for this equivalence.
Two smaller points to be addressed are:
a) The argument on the top of page 18 that the lower bound for the spectrum of highest weights is (c-1)/24 is not compelling, without further arguments one could find the bound zero equally natural.
b) The statement "Invariant quantities are the only ones ... that matter physically" is quite confusing. The three point function is not invariant in this sense, yet usually considered to be physically relevant. It can, in particular, be related to expectation values of certain observables, which one certainly considers as physically meaningful quantities.
It seems that addressing especially the first of the points above requires a more substantial revision.
Report #1 by Anonymous (Referee 1) on 2017-12-22 (Invited Report)
- Cite as: Anonymous, Report on arXiv:1609.09523v3, delivered 2017-12-22, doi: 10.21468/SciPost.Report.306
Strengths
that follows a friendly axiomatic approach to this vast subject.
Weaknesses
has been improved.
Report
In particular the Liouville has been improved adding several figures to
explain the structures of the conformal blocks. Also a more complete
list of references have been included.
Requested changes
Please correct a typo after eq.(3.15)
for for s-channel -> for s-channel
