-
Notifications
You must be signed in to change notification settings - Fork 8
/
cft33.tex
6901 lines (6130 loc) · 473 KB
/
cft33.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
% 145 pages. Public domain. Suggest modifications at this https URL . Version 6: Many small improvements.
\documentclass[12pt, a4paper, notitlepage, twoside]{report}
\raggedbottom
\RequirePackage[l2tabu, orthodox]{nag}
\usepackage[top=20mm,bottom=20mm,left=25mm,right=25mm]{geometry}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
%\usepackage{showkeys}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{centernot}
\usepackage{multirow}
\usepackage{underbracket}
% Depending on which version of underbracket.sty is used, the command \cunderbracket can cause an error when its arguments include raised or lowered text, as in \cunderbracket{J^a}{(z)K_{bc}}{(J^bJ^c)}(y) .
\usepackage{pgf}
\usepackage{tikz}
\usetikzlibrary{calc}
\usetikzlibrary{arrows}
\usetikzlibrary{decorations.markings}
\usepackage{ifthen}
% Syntax: \colorboxed[<color model>]{<color specification>}{<math formula>}
\newcommand*{\colorboxed}{}
\def\colorboxed#1#{%
\colorboxedAux{#1}%
}
\newcommand*{\colorboxedAux}[3]{%
% #1: optional argument for color model
% #2: color specification
% #3: formula
\begingroup
\colorlet{cb@saved}{.}%
\color#1{#2}%
\boxed{%
\color{cb@saved}%
#3%
}%
\endgroup
}
\numberwithin{equation}{section}
% Beware that page numbers in the index can be wrong by one unit or more.
% This problem is apparently solved by running Makeindex several times.
\usepackage{makeidx}
\makeindex
\usepackage{tocbibind}
\usepackage{amsthm}
\newtheoremstyle{break}{9pt}{9pt}{\itshape}{}{\bfseries}{}{\newline}{}
\theoremstyle{break}
\newtheorem{exo}{Exercise}[chapter]
\newtheorem{hyp}{Axiom}[chapter]
\usepackage[colorlinks=true, linktoc=all, linkcolor=black, citecolor=red, urlcolor=blue, backref=page]{hyperref}
\usepackage{etoolbox}
\makeatletter
\patchcmd{\BR@backref}{\newblock}{\newblock(}{}{}
\patchcmd{\BR@backref}{\par}{)\par}{}{}
\makeatother
\title{\bfseries Conformal field theory on the plane}
\author{Sylvain Ribault \vspace{2mm}
\\
{\normalsize CEA Saclay, Institut de Physique Th\'eorique}
\\
{\footnotesize \ttfamily sylvain.ribault@ipht.fr }
}
\date{}
\begin{document}
\maketitle
\begin{abstract}
We review conformal field theory on the plane in the conformal bootstrap approach.
We introduce the main ideas of the bootstrap approach to quantum field theory, and how they apply to two-dimensional theories with local conformal symmetry.
We describe the mathematical structures that appear in such theories, from the Virasoro algebra and its representations, to BPZ equations and conformal blocks.
Examples include Liouville theory, (generalized) minimal models, free bosonic theories, the $H_3^+$ model, and the $SU_2$ and $\widetilde{SL}_2(\mathbb{R})$ WZW models.
We also discuss relations between some of these models, and limits of these models when the central charge and/or conformal dimensions tend to particular values.
\end{abstract}
\vspace{1cm}
\begin{center}
\textbf{Keywords}
\end{center}
\noindent conformal field theory, operator product expansion, conformal bootstrap, Virasoro algebra, BPZ equation, conformal block, crossing symmetry, Liouville theory, DOZZ formula, minimal models, affine Lie algebra, free boson, Sugawara construction,
KZ equations, KZ-BPZ relation, $H_3^+$ model, WZW models
\vspace{1cm}
\begin{center}
\textbf{Public domain notice}
\end{center}
\noindent To the extent possible under law, Sylvain Ribault has waived all copyright and related or neighboring rights to this text.
\vspace{1cm}
\begin{center}
\textbf{Version}
\end{center}
\noindent This text corresponds to arXiv's sixth version, \texttt{https://arxiv.org/abs/1406.4290v6}
\tableofcontents
\hypersetup{linkcolor=blue}
\addtocounter{chapter}{-1}
\chapter{Preliminaries \label{secprel}}
\section{Context and approach}
Just like free field theories, conformal field theories are relatively simple and tractable quantum field theories, and can serve as starting points for perturbative computations in more generic quantum field theories. However, conformal field theories are less trivial than free field theories, and are often better approximations of realistic quantum field theories:
\begin{align}
\begin{tikzpicture}[scale = .8, thick,decoration={
markings,
mark=at position 0.5 with {\arrow{>}}}
]
\draw (-3, .6) node[draw, fill = red!5] (f) {Free QFT};
\draw (0, -.6) node[draw, fill = red!15] (c) {CFT};
\draw (4, 0) node[draw, fill = red!25] (r) {Realistic QFT};
\draw[postaction={decorate}] (f.east) to (r.west);
\draw[postaction={decorate}] (c.east) to (r.west);
\draw[->] (-4,-1.3) node[below right]{Trivial} -- (5.5,-1.3) node[below left]{Complicated};
\end{tikzpicture}
\end{align}
Many conformal field theories
are also of independent interest, in particular for describing critical phenomenons. In this text we will focus on building and solving conformal field theories: for the applications, see some of the works cited in Section \ref{sec:womt}.
In two dimensions, unlike in higher dimensions, the algebra of conformal transformations is infinite-dimensional. As a result, it has been possible to exactly solve certain nontrivial two-dimensional conformal field theories. Therefore, the subject of two-dimensional conformal field theory deserves a separate treatment. Nevertheless, the two-dimensional case may hold valuable lessons for
the higher-dimensional case, for example that unitarity only plays a minor role in the structure and classification of conformal field theories.
As an introduction to two-dimensional conformal field theory, this text has the particularity of using exclusively the bootstrap approach, which consists in systematically exploiting symmetry and consistency assumptions.
While this approach is widely recognized as very powerful, much of the literature uses it alongside the Lagrangian approach, which can be quite useful for heuristics and for some computations.
Renouncing Lagrangians however has the advantages of simplicity and consistency, and we will try to show that we do not lose much in terms of heuristics and computational power -- we will mainly have to deplore the loss of a simple definition for WZW models. Moreover, we need not assume any previous knowledge of quantum field theory:
the prerequisites are limited to
elementary complex analysis, and some familiarity with Lie algebras and their representations.
Another advantage of the bootstrap approach is that by making assumptions explicit, we can better understand them, and if necessary lift them.
For example, results such as the C-theorem, and the fact that scale invariance implies conformal invariance in two-dimensional unitary quantum field theories, rely on the strong assumption that there exists an energy-momentum tensor -- a conserved field with spin two and conformal dimension two that generates conformal transformations.
We will not lift this particular assumption, as we will study theories with local (i.e.
not just global) conformal invariance, which always have an energy-momentum tensor.
We will however lift a number of other common assumptions, in particular the existence of a vacuum state, and the existence of theories on any Riemann surface (and not just on the plane).
It would be interesting to investigate how this affects the set of possible models, and in particular the classification of minimal models.
It is however mainly for the sake of generality and simplicity that
we will lift these assumptions.
We will indeed be studying not only rational, but also non-rational theories such as Liouville theory.
Non-rational theories do not necessarily have a vacuum state, and assuming their consistency on the torus is of little help for determining their spectrums \cite{rib14c}.
By definition, rational conformal field theories have spectrums made of finitely many representations.
However, in order to ensure closure under fusion, these representations must have complicated structures.
In Liouville theory, the spectrum is made of a continuum of representations, but these representations are merely Verma modules, so we will study this theory first. The fundamental nature of Liouville theory is also apparent in the relation between its structure constants, and the fusing matrix of the Virasoro algebra.
Then we will study minimal models, which are rational and therefore less generic and more complicated.
Even later will come free bosonic theories, which do not play any fundamental role in the bootstrap approach.
\section{Plan of the text \label{secplan}}
We will give a systematic exposition of the ideas and techniques of the conformal bootstrap approach in Chapters \ref{secintr} and \ref{secccs}, before studying particular models in Chapters \ref{seccbm} and \ref{secaff}.
In Chapter \ref{secintr}, we introduce the bootstrap approach to quantum field theory, before focusing on the particular case of conformal field theories with their Virasoro symmetry algebra.
We then give a preview of some of the simplest models.
In Chapter \ref{secccs}, we work out the technical consequences of these ideas for the spectrum and correlation functions.
We study the highest-weight representations of the Virasoro algebra, the fields that correspond to states in these representations, and the correlation functions of these fields.
In particular we derive Ward identities for correlation functions of primary fields, and BPZ equations for correlation functions that involve degenerate fields.
We decompose correlation functions into conformal blocks, and write crossing symmetry equations.
In Chapter \ref{seccbm}, we introduce and solve some of the simplest nontrivial two-dimensional conformal field theories: Liouville theory, generalized minimal models, A-series minimal models, and Runkel--Watts-type theories.
We define these theories by a few simple assumptions on their spectrums and correlation functions.
We pay particular attention to the three-point structure constants, whose explicit expressions we derive.
We study the analytic properties of correlation functions, and find relations between these theories by taking limits in the central charge and/or conformal dimensions.
In Chapter \ref{secaff}, we introduce extended symmetry algebras, starting with the affine $\hat{\mathfrak{u}}_1$ algebra.
This not only allows us to study free bosonic theories, but also provides alternative perspectives on Liouville theory.
We then consider nonabelian affine symmetry algebras, and in particular $\widehat{\mathfrak{sl}}_2$.
The KZ-BPZ relation between differential equations satisfied by $\widehat{\mathfrak{sl}}_2$-symmetric and Virasoro-symmetric correlation functions leads us to define the $H_3^+$ model from Liouville theory, and allows us to solve it.
We then consider WZW models, and in particular the $SU_2$ and $\widetilde{SL}_2(\mathbb{R})$ WZW models.
In each chapter, the last section is devoted to exercises.
Some exercises are intended to test and improve one's comprehension of the material; such exercises become scarcer in later chapters.
Some exercises sketch proofs of results from the main text, in cases when hints and guidance seem warranted.
And some exercises provide supplementary material.
This text comes with an index, which points to the definition of each listed term.
These terms appear in bold where they are defined.
\section{Why one more text on conformal field theory?}\label{sec:womt}
Let us argue that this text fills an available niche, by considering which neighbouring niches are already filled:
\begin{itemize}
\item
The book \cite{zz90} by A. and Al. Zamoldochikov is in spirit quite close to the present text.
That book is a concise exposition of conformal field theory, from the basic principles to advanced results, mostly in the conformal bootstrap approach.
However, the depth and breadth of the ideas may be too much for beginning students.
Non-rational theories such as Liouville theory are not covered.
And misprints are frequent.
\item
Again in the spirit of the present text, Teschner's review article \cite{tes17} is both more concise and more advanced, and provides a guide to the literature.
\item
Non-rational theories are covered in a review by Schomerus \cite{sch05}.
That article uses multiple approaches, and pays particular attention to boundary conformal field theory, with applications to string theory in mind.
\item
The Big Yellow Book \cite{fms97} by di Francesco, Mathieu and Sénéchal is a useful reference, especially on rational conformal field theories.
As its epic length suggests, it is rather encyclopedic.
\item
The encyclopedic approach was extended in the direction of Liouville theory by Nakayama's review \cite{nak04}, which includes systematic guides to the literature.
\item
On the more pedagogical side, Gaberdiel's review \cite{gab99} provides a consistent exposition using vertex operators, which mathematically formalize the conformal bootstrap approach.
That text deals more with the symmetry algebras and their representations, than with correlation functions.
Examples include logarithmic theories, but no non-rational theories.
\item
Motivations and applications are mostly absent from the present text.
On the statistical mechanics side, they are given in Cardy's lecture notes \cite{car08}, which also provide a concise introduction to the formalism.
\item
$W$-symmetry is reviewed in depth in Bouwknegt and Schoutens's article \cite{bs92}, where $W$-symmetric conformal field theories are however not solved systematically.
An exposition of the $W$-symmetric minimal models and conformal Toda theories would be a natural extension of the present text, although these theories have not been fully solved so far.
\end{itemize}
A much abridged version of this text is available \cite{rib16}, which includes a number of corrected exercises. An even briefer treatment is found in Wikipedia, with in particular the articles on \href{https://en.wikipedia.org/wiki/Two-dimensional_conformal_field_theory}{Two-dimensional conformal field theory}, \href{https://en.wikipedia.org/wiki/Liouville_field_theory}{Liouville theory},
\href{https://en.wikipedia.org/wiki/Minimal_models}{minimal models}, and \href{https://en.wikipedia.org/wiki/Virasoro_conformal_block}{Virasoro conformal blocks}.
(As of 2022, these Wikipedia articles were mostly written by the present author.) Moreover, the video recordings of 7 lectures at YRISW 2019 are available online.
While we mostly review known results, the following aspects may be original:
\begin{itemize}
\item in Section \ref{secaco}, the formulation of Al. Zamolodchikov's recursive representation of conformal blocks as an explicit formula,
\item in Section \ref{secliou}, a complete and correct solution of Liouville theory in the bootstrap approach,
\item in Section \ref{secvmm}, the logical sequence ``Liouville theory $\rightarrow$ generalized minimal models $\rightarrow$ minimal models'',
\item in Section \ref{secltf}, the systematic discussion of the limits of Liouville theory, (generalized) minimal models, and Runkel--Watts-type theories,
\item in Section \ref{secsacf}, the study of compactified free bosons for any value of $c$ and not just $c=1$,
\item in Section \ref{seclld}, the derivation of the light and heavy asymptotic limits of Liouville theory, without using the Lagrangian definition,
\item in Section \ref{seckzbpz}, the derivation of $\widehat{\mathfrak{sl}}_2$ degenerate representations and fusion rules from the KZ-BPZ relation,
\item in Section \ref{secsu}, the definition of the generalized $SU_2$ WZW model,
\item in Section \ref{secslr}, a concise derivation of the spectrum and fusion rules of the $\widetilde{SL}_2(\mathbb{R})$ WZW model.
\end{itemize}
\section{User's manual}
This text is intended as a tool for learning, and as a collection of technical results.
It provides neither a history of the subject, nor a guide to the literature.
Accordingly, citations to the existing literature are not meant to distribute credit to researchers in the field.
Citations are solely meant to be
\href{http://researchpracticesandtools.blogspot.fr/2013/08/write-for-humans-not-for-robots.html}
{helpful to the reader}, and are therefore used sparingly.
Each cited work comes with a hopefully clear and precise indication of what could be useful therein.
In choosing cited works, the criterions have been
\begin{enumerate}
\item ease of access (only freely and if possible legally available texts are cited),
\item clarity and completeness (this often favours review articles over original works),
\item my familiarity with the cited works (admittedly this favours my own works).
\end{enumerate}
Citations are only one tool for finding more information on the subject.
The reader is assumed to have access to other tools such as Google and Wikipedia.
To facilitate searches, an effort has been made to use standard terminology and notations.
Traditional scientific articles, with their frozen texts and authors, are obviously a poor way of conveying the ever-evolving knowledge of a community of researchers.
They may become obsolete, but it is not clear what will replace them.
Meanwhile, it seems prudent to distribute the present text so that it can easily be
\href{http://researchpracticesandtools.blogspot.fr/2014/02/the-case-for-emancipating-articles-from.html}
{reused and modified by others}.
For this purpose:
\begin{itemize}
\item This text is in the public domain, in order to eliminate legal restrictions to its reuse.
\item This article is distributed not only on Arxiv, but also on \href{https://github.com/ribault/CFT-Review}{GitHub}, so that it can be collaboratively modified.
\item In the Latex file, there are no user-defined global macros.
This makes it easier to reuse excerpts of that file.
\end{itemize}
I have tried to follow some stylistic good practices, such as: providing a clickable table of contents, not clogging the bibliography with superfluous information such as journal data, \href{http://researchpracticesandtools.blogspot.fr/2018/01/will-no-one-rid-me-of-these-tiresome.html}{avoiding Latin plurals} when regular plurals are available, and numbering all equations while boxing the important ones.
\section{Acknowledgements}
I am grateful to my colleagues at IPhT Saclay, and in particular to Antoine Duval, Riccardo Guida, Santiago Migliaccio, Vincent Pasquier, and Pierre Ronceray, for the opportunity to give lectures on this subject. I am also grateful to the organizers and participants of the 10th APCTP Focus Program on Liouville, Integrability and Branes, and in particular to Soojong Rey, for including my lectures in an otherwise very advanced workshop. Moreover, I am grateful to the organizers and participants of the 2016 Carg\`ese school on Quantum integrable systems, conformal field theory and stochastic processes, for challenging me to introduce the subject in about four hours. (See \cite{rib16}.)
I wish to thank Philippe Di Francesco, Sheer El-Showk, Matthias Gaberdiel, Christoph Keller, Miguel Paulos, R\'emi Rhodes, Slava Rychkov, Hubert Saleur, Joerg Teschner, Vincent Vargas, and G\'erard Watts, for useful discussions and correspondence.
I am grateful to Aditya Bawane, Connor Behan, Fran\c{c}ois David, Quang-Dien Duong, Bruno Le Floch, Omar Foda, Santiago Migliaccio, Nikita Nemkov, Paul Roux, Raoul Santachiara, and Vincent Vargas, for helpful comments on this text.
A version of this text served as my habilitation thesis, defended on 21 December 2018. I wish to thank the jury members Denis Bernard, Matthias Gaberdiel, Jesper Jacobsen, Vyacheslav Rychkov, V\'eronique Terras, G\'erard Watts and Jean-Bernard Zuber for a lively defense, and for valuable feedback. Special thanks to Matthias Gaberdiel and G\'erard Watts for their specific suggestions and comments.
\chapter{Introduction \label{secintr}}
\section{Quantum field theory \label{secqft} }
Conformal field theory is a special type of \textbf{\boldmath quantum field theory}\index{quantum field theory}, and we start with a brief reminder on quantum field theory.
\subsection{Definition}
A \textbf{\boldmath theory}\index{theory} can be either a general framework such as quantum field theory or general relativity, or a more specific \textbf{\boldmath model}\index{model} such as the standard model of particle physics or Liouville theory.
The standard model is formulated in the framework of quantum field theory, so we can call it a model of quantum field theory or simply a quantum field theory.
Similarly, Liouville theory is a conformal field theory.
A model need not be directly related to a physical system: a given physical system can be described by several models, and a given model can describe a number (possibly zero) of physical systems.
This holds not only for physical systems, but also for what could be called theoretical systems, such as quantum gravity in $d$ dimensions.
These notions are illustrated by the following examples:
\begin{align}
\begin{tikzpicture}[scale = .5]
\node at (5,11){Theories};
\node at (14,11){Models};
\node at (25,11){Systems};
\draw[thick] (0,10.3) -- (30,10.3);
%
\draw[fill = red!10] (0, 6.3) rectangle (20, 9.7);
\draw[fill = red!10] (0, 4.1) rectangle (20, 5.9);
\draw[fill = red!10] (0, .3) rectangle (20, 3.7);
%
\node at (.2, 8)[right] {Newtonian mechanics};
\node at (.2, 5)[right] {General relativity};
\node at (.2, 2)[right] {Conformal field theory};
%
\draw (14, 8.8) node[draw, fill = white] (ss) {Spinning solid};
\draw (14, 7.2) node[draw, fill = white] (gb) {Gravitating bodies};
\draw (14, 5) node[draw, fill = white] (rgb) {Relativistic gravitating bodies};
\draw (14, 2.8) node[draw, fill = white] (mm) {Minimal model};
\draw (14, 1.2) node[draw, fill = white] (lt) {Liouville theory};
%
\draw (25, 8.8) node[draw, fill = green!10] (st) {Spinning top};
\draw (25, 6.1) node[draw, fill = green!10] (ssys) {Solar system};
\draw (25, 2.8) node[draw, fill = green!10] (qg) {2d quantum geometry};
\draw (25, 1.2) node[draw, fill = green!10] (str) {2d string};
%
\draw[thick, dashed] (ss.east) to [out = 0, in = 180] (st.west);
\draw[thick, dashed] (gb.east) to [out = 0, in = 180] (ssys.west);
\draw[thick, dashed] (rgb.east) to [out = 0, in = 180] (ssys.west);
\draw[thick, dashed] (lt.east) to [out = 0, in = 180] (qg.west);
\draw[thick, dashed] (lt.east) to [out = 0, in = 180] (str.west);
\end{tikzpicture}
\end{align}
Now, what is a quantum theory? First, this is a probabilistic theory, which does not predict the outcome of a given experiment, but the probabilities of different outcomes.
Second, a quantum theory does not predict just probabilities, but actually probability amplitudes.
Such amplitudes can be added, giving rise to interferences.
Last, the \textbf{\boldmath field}\index{field} in field theory is a variable defined on some space, which can describe an arbitrary number of particles propagating in that space.
In particular, field theories can describe the creation and annihilation of particles.
For example, a ``height of water'' field can be defined on the surface of the ocean, in order to describe arbitrary numbers of water waves.
A field can in some respects be thought of as an infinite collection of elementary objects: in our example, individual waves of definite shapes.
Field theory constrains how these objects behave in relation with the underlying space, for instance by requiring interactions to be local.
So, quantum field theory is particularly well-suited to predicting the outcomes of collisions of particles, whether in the cosmos or in a particle accelerator.
Such collisions can indeed create or destroy particles, so we need a field theory, and repeating the same collision can produce different outcomes, so we need a probabilistic theory.
\subsection{Observables}
In a model, the \textbf{\boldmath observables}\index{observable} are the quantities that can in principle be measured.
The nature of the observables is in general dictated by the theory.
For example, in the theory of general relativity, the observables are light signals and motions of objects, and do not include the space-time metric.
Which observables are relevant may depend on the physical system.
For example, in two-dimensional conformal field theory, some observables are functions on the two-dimensional space.
Such observables are relevant in condensed-matter physics and in quantum geometry, where the space has a physical interpretation.
They are not relevant in string theory, where the two-dimensional space is the world-sheet of a string.
In quantum field theory in general, and in conformal field theory in particular, we define the observables to be
\begin{itemize}
\item the spectrum and
\item the correlation functions.
\end{itemize}
In quantum theory, the \textbf{\boldmath spectrum}\index{spectrum} or space of states is a vector space whose elements represent the states of a system.
The vector space structure is what leads to interferences.
A vector $\sigma$ and the action $A(\sigma)$ of an operator $A$ on $\sigma$ may be written as
\begin{align}
\left\{\begin{array}{l}
\sigma = |\sigma\rangle\ , \\ A(\sigma) = A|\sigma\rangle = |A\sigma\rangle\ .
\end{array}\right.
\end{align}
In quantum field theory, states are supposed to live on constant-time slices of space-time. If space-time is Euclidean, we can take such slices to be spheres surrounding any point $x$. If the theory is invariant under dilations, such spheres can contract to infinitesimal sizes without loss of information. Therefore, to each state $|\sigma\rangle$ and each point $x$ we associate an object $V_\sigma(x)$, and the collection of these objects when $x$ varies is a field.
\begin{hyp}[\textbf{\boldmath State-field correspondence}\index{state-field correspondence} or state-operator correspondence]
~\label{ax:sfc}
There is an injective linear map from the spectrum to the space of fields,
\begin{align}
|\sigma \rangle \ \mapsto \ V_\sigma(x)\ .
\end{align}
\end{hyp}
\noindent
Thinking of the state as a type of particles, the field $V_\sigma(x)$ can be thought of as measuring the presence of such particles at point $x$.
Then, an $N$-point \textbf{\boldmath correlation function}\index{correlation function} or \textbf{\boldmath $N$-point function}\index{N-point function@$N$-point function} is the probability amplitude for the interaction of $N$ particles of types $\sigma_1,\cdots \sigma_N$, located at points $x_1,\cdots x_N$:
\begin{align}
\left\langle \prod_{i=1}^N V_{\sigma_i}(x_i)\right\rangle\in \mathbb{C}\ .
\label{pva}
\end{align}
This notation for a correlation function as the expectation value of a product of fields is only formal, as we will not define fields independently of correlation functions. The product is meant to convey the idea that an $N$-point function depends linearly on each field, so that in particular
\begin{align}
\frac{\partial}{\partial x} \left\langle \prod_{i=1}^N V_{\sigma_i}(x_i)\right\rangle = \left\langle \frac{\partial}{\partial x} \prod_{i=1}^N V_{\sigma_i}(x_i)\right\rangle\ ,
\end{align}
for any component $x$ of a coordinate $x_i$.
To construct a model of quantum field theory is therefore to give principles that uniquely determine a spectrum and a set of correlation functions.
To \textbf{\boldmath solve a model}\index{solve (a model)} is to actually compute the spectrum and correlation functions.
\section{The bootstrap approach}
\subsection{Principles \label{secprin}}
The \textbf{\boldmath bootstrap approach}\index{bootstrap approach} is a method for constructing and solving theories, based on the systematic exploitation of
\begin{enumerate}
\item symmetry assumptions,
\item consistency conditions.
\end{enumerate}
For example, the symmetry assumption of general covariance is the basis of the theory of general relativity, and the further symmetry assumptions of homogeneity and isotropy of the universe are used in constructing models of cosmology.
In quantum theories, an essential consistency condition is that the sum of the probabilities of all possible events is one.
Given a set of assumptions, there may exist any number of models that obey them:
\begin{itemize}
\item no model at all, if the assumptions are too restrictive,
\item one model, in which case we may be able to solve it,
\item a manageable number of models, in which case we may be able to classify them, and to focus on one of them by making further assumptions,
\item a huge number of models, if the assumptions are not restrictive enough.
\end{itemize}
We will now explore in turn the symmetry assumptions and consistency conditions in quantum field theory.
\subsection{Symmetry assumptions \label{secsa}}
If a model of quantum field theory has a symmetry algebra, then the spectrum $\mathcal{S}$ must be a representation of this algebra, and can therefore be written as
\begin{align}
\mathcal{S} = \bigoplus_\mathcal{R} m_\mathcal{R} \mathcal{R}\ .\
\label{somr}
\end{align}
Here we have decomposed $\mathcal{S}$ as a combination of some basic representations $\mathcal{R}$ of the symmetry algebra, and the number $m_\mathcal{R} \in {\mathbb{N}}\cup\{\infty\}$ is the \textbf{\boldmath multiplicity}\index{multiplicity (of a representation)} of the representation $\mathcal{R}$ in the spectrum $\mathcal{S}$.
(Notations: $\mathbb{N}= \{0,1,2,\dots\}, \mathbb{N}^*=\{1,2,3,\dots\}$.)
A state $\sigma$ in the spectrum can then be written as
\begin{align}
\sigma = (\mathcal{R},v)\ ,
\label{arv}
\end{align}
where $v$ is a state in the representation $\mathcal{R}$.
The corresponding field can be written as
$V_\sigma(x)= V_{(\mathcal{R},v)}(x)$.
For example, for any spin $j\in \frac12 \mathbb{N}$ the algebra $\mathfrak{sl}_2$ has a representation of dimension $2j+1$, whose states $\sigma = (j,m)$ can be labelled by their magnetic momentums $m\in\{-j, -j+1,\cdots j\}$.
The idea is now that the dependence of a correlation function $\left\langle \prod_{i=1}^n V_{(\mathcal{R}_i,v_i)}(x_i)\right\rangle$ on $v_i$ is determined by symmetry considerations, whereas the dependence on $\mathcal{R}_i$ is constrained by consistency conditions.
This idea however comes with a number of technical assumptions.
In particular, for the dependence on $v_i$ to be completely determined by symmetry, $\mathcal{R}_i$ must be an \textbf{\boldmath indecomposable representation}\index{indecomposable representation}, i.e. a representation that cannot be written as a direct sum of smaller representations.
\begin{align}
\mathcal{R} \ \ \text{indecomposable} \quad \iff \quad
\Big(\mathcal{R} = \mathcal{R}'\oplus \mathcal{R}'' \implies \mathcal{R}' \in\left\{ 0,\mathcal{R}\right\}\Big)
\ .
\end{align}
In particular, any \textbf{\boldmath irreducible representation}\index{irreducible representation}, which by definition does not have a nontrivial subrepresentation, is indecomposable,
\begin{align}
\mathcal{R} \ \ \text{irreducible} \quad \iff \quad
\Big(\mathcal{R}'\subset \mathcal{R} \implies \mathcal{R}' \in\left\{ 0,\mathcal{R}\right\}\Big)
\ .
\end{align}
(See Exercise \ref{exoirr} for an example of an indecomposable representation that is not irreducible.)
We will therefore distinguish two types of data:
\begin{itemize}
\item \textbf{\boldmath universal data}\index{universal data}, also called
model-independent data.
This is the information on representations of the symmetry algebra, which determines in particular the $v_i$-dependence of correlation functions.
Universal data in conformal field theory, such as conformal blocks, will be studied in Chapter \ref{secccs}.
\item \textbf{\boldmath model-dependent data}\index{model-dependent data}, which encode how the spectrum and correlation functions of a particular model are built from the universal data.
This includes the multiplicities $m_\mathcal{R}$, which encode how the spectrum is built from representations, and the structure constants, which encode how correlation functions are built from conformal blocks.
We will study these data
in Chapter \ref{seccbm}.
\end{itemize}
Which data are universal or model-dependent depends on the choice of a symmetry algebra.
If a model's symmetry algebra $\mathfrak{A}$ is actually a subalgebra of a larger symmetry algebra $\mathfrak{A}'$, then the representations of $\mathfrak{A}$ that appear in the spectrum
must combine into representations of the larger algebra $\mathfrak{A}'$.
Which combinations can appear is universal data of $\mathfrak{A}'$, but model-dependent data from the point of view of the smaller algebra $\mathfrak{A}$.
Since a field theory is defined on some space, we can distinguish two types of symmetries:
\begin{itemize}
\item space-time symmetries, which act on that space,
\item internal symmetries, which do not.
\end{itemize}
Space-time symmetries include in particular the invariances under rotations and translations.
In particle physics, internal symmetries include flavour symmetry.
The distinction between space-time and internal symmetries may depend on the choice of the space: for example, supersymmetry can be an internal or space-time symmetry depending on whether the theory is formulated on an ordinary space or on a superspace.
\subsection{Consistency conditions \label{seccc}}
\subsubsection{The axioms}
The consistency conditions on the correlation functions $\left\langle\prod_{i=1}^n V_{\sigma_i}(x_i)\right\rangle$ are derived from axioms on the fields $V_{\sigma_i}(x_i)$. These axioms should be understood as pertaining to correlation functions: we write fields outside correlation functions as a matter of notational convenience only. In particular, we do not define fields as operators acting on the spectrum, as is done in formalisms such as vertex operator algebras.
Moreover, our axioms do not include the existence of a vacuum state, a frequently encountered axiom of quantum field theory in flat space.
In Liouville theory this axiom is not satisfied, and in minimal models we can do without it.
\begin{hyp}[\textbf{Commutativity}\index{commutativity} or locality]
\label{ax:col}
\begin{align}
\boxed{V_{\sigma_1}(x_1)V_{\sigma_2}(x_2) = V_{\sigma_2}(x_2) V_{\sigma_1}(x_1)}\ ,
\label{comm}
\end{align}
provided $x_1\neq x_2$.
\end{hyp}
\noindent
We are writing this axiom for a theory on a Euclidean space: if the space was Minkowskian, fields would commute if $x_1-x_2$ was space-like, rather than non-vanishing.
This axiom implies that correlation functions do not depend on how fields are ordered.
\begin{hyp}[Existence of an \textbf{\boldmath OPE}\index{OPE} (Operator Product Expansion)]
\label{ax:ope}
\begin{align}
\boxed{V_{\sigma_1}(x_1)V_{\sigma_2}(x_2) = \sum_{\sigma\in \mathcal{S}} C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2) V_{\sigma}(x_2)}\ ,
\label{ope}
\end{align}
where the \textbf{\boldmath OPE coefficients}\index{OPE!---coefficient} $C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2)$ are $\mathbb{C}$-valued functions, and the sum runs over a basis of the spectrum $\mathcal{S}$.
The sum is supposed to converge if $x_1$ and $x_2$ are sufficiently close.
\end{hyp}
\noindent
The commutativity axiom implies that the OPE is \textbf{associative}\index{associativity (of the OPE)} and commutative.
In terms of OPE coefficients, the associativity of the OPE reads
\begin{align}
\sum_{\sigma_s\in \mathcal{S}} C_{\sigma_1,\sigma_2}^{\sigma_s}(x_1,x_2) C_{\sigma_s,\sigma_3}^{\sigma_4}(x_2,x_3) = \sum_{\sigma_t\in \mathcal{S}} C_{\sigma_1,\sigma_t}^{\sigma_4}(x_1,x_3)C_{\sigma_2,\sigma_3}^{\sigma_t}(x_2,x_3)\ ,
\label{cccc}
\end{align}
for any choice of the four states $(\sigma_1,\sigma_2,\sigma_3,\sigma_4)$.
(See Exercise \ref{exoten} for a similar calculation in a technically simpler context.) This condition can be represented schematically as
\begin{align}
\sum_{s}
\begin{tikzpicture}[scale = .2, baseline=(current bounding box.center), very thick]
\draw (-4,3) node [above] {$1$} -- (0, -1) -- (4, 3) node [above] {$3$};
\draw (0, 3) node [above] {$2$} -- (-2, 1) -- node [below left] {$s$} (0, -1) -- (0, -4) node [below] {$4$};
\end{tikzpicture}
= \quad
\sum_{t}
\begin{tikzpicture}[scale = .2, baseline=(current bounding box.center), very thick]
\draw (-4,3) node [above] {$1$} -- (0, -1) -- (4, 3) node [above] {$3$};
\draw (0, 3) node [above] {$2$} -- (2, 1) -- node [below right] {$t$} (0, -1) -- (0, -4) node [below] {$4$};
\end{tikzpicture}
\label{sdsd}
\end{align}
where each node corresponds to an OPE coefficient.
In terms of OPE coefficients, it is less straightforward to write commutativity than associativity of the OPE,
because we broke the symmetry $x_1\leftrightarrow x_2$ by writing the OPE in terms of $V_\sigma(x_2)$. Had we used $V_\sigma(\frac{x_1+x_2}{2})$ instead, commutativity would have reduced to the simple condition $C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2) = C_{\sigma_2,\sigma_1}^{\sigma}(x_2,x_1)$, but associativity would have been complicated. (See Exercise \ref{exocva}.)
\subsubsection{How the axioms constrain correlation functions}
By performing multiple OPEs, an $N$-point function (with $N\geq 3$) can always be reduced to a combination of two-point functions, for instance
\begin{align}
\left\langle \prod_{i=1}^4 V_{\sigma_i}(x_i) \right\rangle = \sum_{\sigma\in \mathcal{S}} C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2)\sum_{\sigma'\in \mathcal{S}} C_{\sigma,\sigma_3}^{\sigma'}(x_2,x_3)\Big\langle V_{\sigma'}(x_3)V_{\sigma_4}(x_4)\Big\rangle\ .
\end{align}
We could go further and reduce the two-point function to a sum of one-point functions.
This is however unnecessary, because conformal symmetry will determine the two-point function, so that we can consider it a known quantity.
So, in order to compute correlation functions, all we need to know (in addition to the spectrum $\mathcal{S}$) is the OPE coefficient $C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2)$.
This can be determined by solving associativity \eqref{cccc} and commutativity conditions, provided the model has enough symmetry for
\begin{itemize}
\item constraining the dependence of the OPE coefficient $C_{\sigma_1,\sigma_2}^{\sigma}(x_1,x_2)$ on $(x_1,x_2)$, and
\item decomposing the spectrum $\mathcal{S}$ into a reasonable number of representations.
\end{itemize}
These conditions are fulfilled in certain conformal field theories.
In particular, as we will see in Chapter \ref{secccs}, conformal symmetry is enough for determining the $x$-dependence of OPE coefficients.
\subsubsection{Fusion rules}
Let us discuss in more detail how symmetry constrains OPEs. By definition, symmetry transformations act within representations of the symmetry algebras. Given three representations $(\mathcal{R}_1,\mathcal{R}_2,\mathcal{R}_3)$, let us write states in these representations as $\sigma=(\mathcal{R},v)$ as in Eq. \eqref{arv}: symmetry constraints on the OPE coefficients $C_{(\mathcal{R}_1,v_1),(\mathcal{R}_2,v_2)}^{(\mathcal{R}_3,v_3)}(x_1,x_2)$ are linear equations on functions of $(v_1,v_2,v_3,x_1,x_2)$. The number $N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3}\in {\mathbb{N}} \cup \{\infty\}$ of independent solutions of these equations is the \textbf{\boldmath fusion multiplicity}\index{fusion!---multiplicity}.
In particular, the field $V_{\sigma_3}$ can appear in a $V_{\sigma_1}V_{\sigma_2}$ OPE only if $N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3}\neq 0$. Let us define the \textbf{\boldmath fusion product}\index{fusion!---product} or \textbf{\boldmath fusion rules}\index{fusion!---rules} for representations of the symmetry algebra as
\begin{align}
\mathcal{R}_1 \times \mathcal{R}_2 = \sum_{\mathcal{R}_3} N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3} \mathcal{R}_3 \ .
\label{rrnr}
\end{align}
From the OPE, the fusion product inherits the properties of bilinearity, commutativity and associativity.
In some cases, the fusion product has a constructive definition as a kind of generalization of the tensor product \cite{gab99, kr18}: then $ \mathcal{R}_1 \times \mathcal{R}_2$ is a representation, and the equality in Eq. \eqref{rrnr} is an isomorphism of representations. (We will not need such constructions.) The fusion product, in other words the structure of the category of representations, will turn out to play a more important role than the structure of the representations themselves, see Section \ref{secfr}.
The fusion product $\mathcal{R}_1\times \mathcal{R}_2$ is said to have nontrivial multiplicities if $N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3}\geq 2$ for some $\mathcal{R}_3$, and trivial multiplicities if $N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3}\in \{0,1\}$.
A field is called a \textbf{\boldmath simple current}\index{simple current} if the corresponding representation $\mathcal{R}$ is such that $\mathcal{R}\times \mathcal{R}'$ is indecomposable for any indecomposable $\mathcal{R}'$, so that $\sum_{\mathcal{R}''} N_{\mathcal{R}\mathcal{R}'}^{\mathcal{R}''} =1$.
If all fusion multiplicities are trivial, then the OPE coefficients $C_{(\mathcal{R}_1,v_1),(\mathcal{R}_2,v_2)}^{(\mathcal{R}_3,v_3)}(x_1,x_2)$ are determined by symmetry up to overall factors that depend on the representations $\mathcal{R}_i$, but not on $v_i,x_j$. In the
associativity equation \eqref{cccc}, the sums over the states $\sigma_s,\sigma_t$ can then be reduced to sums over the corresponding representations $\mathcal{R}_s,\mathcal{R}_t$, since everything that involves $v_s,v_t$ is determined by symmetry.
If the symmetry algebra is large enough or the model simple enough, the number of representations in the spectrum can be small enough for the associativity equation to become tractable.
To summarize,
\begin{center}
\fbox{
\begin{minipage}{0.9\textwidth}
OPE coefficients obey linear equations from symmetry and quadratic equations \eqref{cccc} from consistency.
The numbers of OPE coefficients, consistency equations, and terms in these equations, are determined by the dimension of the spectrum and are therefore in general very large.
With the help of symmetry, these numbers can be reduced to the number of representations in the spectrum.
\end{minipage}
}
\end{center}
\subsection{So what is the Lagrangian of your model? \label{seclagr}}
In quantum field theory, the bootstrap approach is less widely used than the Lagrangian method, which is based on functional integrals over spaces of fields.
In two-dimensional conformal field theory, however, the bootstrap approach is particularly effective, while the Lagrangian method is often needlessly complicated, lacking in rigor, or downright not applicable.
There are nevertheless cases when the Lagrangian method is useful, in particular for
suggesting, and sometimes proving, the existence of conformal field theories.
In the Lagrangian method, correlation functions are represented as functional integrals
\begin{align}
\left\langle\prod_{i=1}^n V_{\sigma_i}(x_i)\right\rangle = \int D\phi\ e^{-\int dx L[\phi](x)} \ \prod_{i=1}^n \tilde{V}_{\sigma_i}[\phi](x_i)\ ,
\end{align}
where
\begin{itemize}
\item the integration variable is the fundamental field (or set of fields) $\phi(x)$,
\item the \textbf{\boldmath Lagrangian}\index{Lagrangian} $L[\phi](x)$ of the model is a functional of $\phi(x)$,
\item the functional $\tilde{V}_{\sigma_i}[\phi](x_i)$ of $\phi(x)$ corresponds to the field $ V_{\sigma_i}(x_i)$,
\item the integration measure $D\phi$ is usually characterized by axioms on functional integrals.
\end{itemize}
An important advantage of the Lagrangian method is the existence of the Lagrangian itself, a relatively simple object that is not tied to any specific correlation function and encodes much information about the model.
The Lagrangian is the most common, but not the only object of this type: in certain integrable models or supersymmetric quantum field theories, much information is encoded in the geometry of a spectral curve.
In the Lagrangian method, we are thus in principle given all the correlation functions of a specific model from the start.
What we do not a priori know are the symmetry properties of the model.
Of course, we may try to choose the Lagrangian in order to ensure that certain symmetries are present.
However, the symmetries of the model also depend on the integration measure.
Axioms requiring functional integrals to behave as ordinary integrals often leave no choice for the integration measure, and
it can happen that a transformation leaves the Lagrangian invariant, but changes the integration measure.
This transformation is then called anomalous, and is not a symmetry of the model.
Such an anomaly can also be described as a symmetry of the classical theory that is not present in the corresponding quantum theory.
This is because the Lagrangian method can be interpreted as the quantization of the classical theory that is defined by the Lagrangian.
The classical theory consists in the dynamics of the fundamental field, subject to the equations of motion associated with the Lagrangian,
\begin{align}
\frac{\delta }{\delta \phi(x')} \int dx L[\phi](x) = 0 \ .
\end{align}
The integration measure then contains the additional information that is necessary for building a quantum theory from the classical theory.
This contrasts with the bootstrap approach, which does not assume a classical theory to exist.
Models constructed with the bootstrap approach may nevertheless have one or several classical limits. (See Section \ref{seclld} for the case of Liouville theory.)
\section{Conformal symmetry in two dimensions \label{secconf}}
Our subject of two-dimensional \textbf{conformal field theory}\index{conformal field theory} is defined by the existence of a space-time symmetry, namely local conformal invariance.
We consider a two-dimensional space, and assume that it comes equipped with a metric.
The metric plays very little role in conformal field theory, because conformal invariance will allow us to fix it once and for all.
But we need the metric in order to explain what conformal invariance is.
We assume that the metric has Euclidean signature. CFT in Minkowski space is related to CFT in Euclidean space by Wick rotation, which translates the Euclidean CFT axioms into good properties of the Minkowskian CFT, including the Wightman axioms \cite{kqr21}.
\subsection{Global conformal transformations\label{secglob}}
Let us assume that the metric is the flat two-dimensional Euclidean metric, which we write in terms of complex coordinates $x=(z,\bar{z})$,
\begin{align}
ds^2 = dz d\bar{z} \ .
\end{align}
A transformation $(z,\bar{z}) \mapsto (f(z),\overline{f(z)})$ leaves the metric invariant, provided $ds^2 = dfd\bar{f}$.
Our metric is invariant under the familiar \textbf{\boldmath translations}\index{translation} and \textbf{\boldmath rotations}\index{rotation},
\begin{align}
f_\text{translation}(z) &= z+b \ ,
\\
f_\text{rotation}(z) &=a z \ , \ |a|=1\ ,
\end{align}
where $a$ and $b$ are complex constants.
Moreover, if we lift the restriction $|a|=1$ in rotations, we obtain transformations that do not leave the metric invariant, but rescale it by a factor of $|a|^2$.
For $a\in{\mathbb{R}}$, these transformations are called \textbf{\boldmath dilations}\index{dilation} or scale transformations,
\begin{align}
f_\text{dilation}(z) &= a z\ , \ a\in {\mathbb{R}}\ .
\end{align}
While the laws of physics are (mostly) invariant under translations and rotations, they are not invariant under dilations, and the structures of matter and of the universe are strongly scale-dependent.
It is nevertheless interesting to study scale-invariant models, for at least three reasons:
\begin{enumerate}
\item Some particular systems are invariant under scale transformations, for instance certain materials at phase transitions.
\item By rescaling a quantum field theory or statistical model to very small or large scales in a controlled way, one often reaches a scale-invariant theory (called a fixed point of the renormalization group flow).
That new theory can be nontrivial, and helpful for understanding the original theory.
\item Moreover, many different models can lead to the same scale-invariant theory: they form a universality class. Scale-invariant theories are therefore much fewer and more general than finite-scale models.
\end{enumerate}
It may seem reasonable to study quantum field theories that are invariant under translations, rotations and dilations.
Surprisingly, many interesting systems have much more symmetry, which makes them accessible to the powerful methods that are the subject of this text.
In the absence of physically compelling reasons for these further symmetries, we will try to provide formal justifications.
A first formal consideration is that translations, rotations and dilations are all \textbf{\boldmath conformal transformations}\index{conformal transformation}, i.e. transformations that preserve angles, and therefore that rescale the metric by a real factor.
But they are not the only conformal transformations: another one is the inversion
\begin{align}
f_\text{inversion}(z) = \frac{1}{z}\ .
\end{align}
It may seem unwise to take this transformation as a symmetry, as it is singular at $z=0$.
This is however not a problem, if we enlarge our space with the addition of a point at $z=\infty$.
This actually amounts to compactifying the space, and working not on the complex plane but on the \textbf{\boldmath Riemann sphere}\index{Riemann!---sphere}.
This does not even prevent us from studying models on the complex plane, as such models are equivalent to models on the sphere, with one field inserted at $z=\infty$.
Combining the inversion with translations, rotations and dilations, we obtain the group of the \textbf{\boldmath global conformal transformations}\index{conformal transformation!global---} of the Riemann sphere,
\begin{align}
\boxed{f_\text{global conformal}(z) = \frac{az+b}{cz+d}}\ , \quad (a,b,c,d\in\mathbb{C},\ ad-bc\neq 0)\ .
\end{align}
This group is isomorphic to the group $PGL_2({\mathbb{C}})=\frac{GL_2({\mathbb{C}})}{\mathbb{C}^*}$ of the complex matrices $g$ of size $2$ modulo the relations $g\sim \lambda g\ (\forall \lambda\in\mathbb{C}^*)$, via the map
\begin{align}
g = \left(\begin{array}{cc} a & b \\ c & d \end{array}\right) \in GL_2({\mathbb{C}}) \quad \longmapsto\quad f_g(z) = \frac{az+b}{cz+d}\ .
\label{gisl}
\end{align}
This group can alternatively be written as $PSL_2(\mathbb{C}) = \frac{SL_2(\mathbb{C})}{\mathbb{Z}_2}$.
(See Exercise \ref{exoiso}.)
\subsection{Local conformal transformations \label{secloc}}
\subsubsection{Holomorphic functions and their singularities}
Actually, any holomorphic function $h(z)$ defines a conformal transformation,
\begin{align}
f_\text{local conformal}(z) = h(z) \quad , \quad h(z)\ \text{holomorphic}\ ,
\label{flc}
\end{align}
which transforms the metric into $dfd\bar{f} = |h'(z)|^2 dzd\bar{z}$, and is therefore angle-preserving.
One may object that the only holomorphic functions on the sphere are the functions $f_g$ \eqref{gisl} that encode the global conformal transformations.
And indeed, any further conformal transformation must have singularities, and cannot be one-to-one.
We could consider transformations that would be defined only on some subset of the Riemann sphere, where there would be no singularities.
However, in the case of infinitesimal transformations, it is possible to interpret a singularity of $h(z)$ at $z=z_0$ as meaning that a field $V_\sigma(z_0)$ transforms nontrivially.
This makes sense not only with a correlation function $\left\langle V_{\sigma}(z_0)\cdots \right\rangle $ that manifestly involves a field at $z=z_0$,
but also with arbitrary correlation functions.
We can indeed always assume the presence at $z_0$ of a trivial field, called the identity field, which can however become nontrivial after a conformal transformation is performed.
To summarize,
\begin{center}
\fbox{
\begin{minipage}{0.9\textwidth}
Global conformal transformations only move fields around, while local conformal transformations also modify them.
\end{minipage}
}
\end{center}
So, we assume that the symmetries include the infinitely many independent \textbf{\boldmath local conformal transformations}\index{conformal transformation!local---}, in addition to the global conformal transformations.
\subsubsection{The Witt algebra}
For technical simplicity, we will work with the Lie algebra of infinitesimal conformal transformations, rather than with the Lie group of conformal transformations.
The structure of this algebra is worked out by considering transformations close to the identity,
\begin{align}
f_{\epsilon}(z) = z + \epsilon(z) \quad \text{with} \quad \epsilon(z) = \sum_{n\in{\mathbb{Z}}} \epsilon_n z^{n+1} \quad
\text{where} \quad \epsilon_n\in\mathbb{C}\ .
\label{sen}
\end{align}
To each transformation $f_\epsilon$ we associate an infinitesimal differential operator $D_\epsilon$ such that for any function $F(z)$ we have
\begin{align}
F(f_\epsilon(z)) = \left(1- D_\epsilon -\bar{D}_\epsilon \right)F(z) + O(\epsilon^2)\ ,
\label{ffe}
\end{align}
and we find
\begin{align}
D_\epsilon = \sum_{n\in {\mathbb{Z}}} \epsilon_n\ell_n \quad \text{where} \quad \boxed{\ell_n= -z^{n+1}{\frac{\partial}{\partial z}}} \ .
\label{elln}
\end{align}
The differential operators $(\ell_n)_{n\in {\mathbb{Z}}}$ generate the \textbf{\boldmath Witt algebra}\index{Witt algebra}, whose commutation relations are
\begin{align}
\boxed{[\ell_n,\ell_m]=(n-m)\ell_{n+m}}\ .
\end{align}
Differential operators $D_\epsilon +\bar{D}_\epsilon$ that correspond to local conformal transformations are linear combinations (with real coefficients) of the operators
\begin{align}
\ell_n + \bar\ell_n \quad , \quad i(\ell_n-\bar\ell_n) \ .
\label{ilml}
\end{align}
Generators with $n\in\{-1,0,1\}$ correspond to global transformations, and the rest to local transformations. (See Exercise \ref{exomoz}.)
\subsubsection{Consequences of local conformal symmetry}
The assumption of local conformal symmetry drastically restricts the dependence of the theory on the metric.
Let us restrict our attention to theories on compact Riemann surfaces, where a \textbf{\boldmath Riemann surface}\index{Riemann!---surface} is a two-dimensional orientable smooth manifold.
The topology of a compact Riemann surface is characterized by a natural number $g$ called the genus, which is the number of holes.
In the case $g=0$, the uniformization theorem states that all simply connected compact Riemann surfaces are conformally equivalent.
This implies that the observables of a conformal field theory on any such manifold can be obtained from their values on the sphere by a change of coordinates.
In the next simplest case $g=1$, manifolds are not all conformally equivalent, but any manifold with $g=1$ is conformally equivalent to a torus $\frac{{\mathbb{C}}}{{\mathbb{Z}}+\tau{\mathbb{Z}}}$ for some value of the
complex structure modulus $\tau \in {\mathbb{C}}$.
Similarly, for $g\geq 2$, a conformal field theory depends on the metric only through $3g-3$ complex structure moduli.
Local conformal symmetry is a natural symmetry assumption in string theory, where the world-sheet metric is an unphysical variable, and in two-dimensional gravity, where we expect background independence.
The assumption is less natural in models of condensed-matter physics, where only flat metrics are usually considered.
In any case, theories with local conformal symmetry, which we will simply call conformal field theories, should be thought of as exceptional points in the vast and unchartered space of the \textbf{\boldmath global conformal field theories}\index{conformal field theory!global---}.
We will encounter a global conformal field theory in Section \ref{seclld}, namely the light asymptotic limit of Liouville theory.
Another example is the long-range Ising model.
\subsection{The Virasoro algebra \label{secvir}}
We have studied the algebra of local conformal transformations, which acts on the geometry.
We will now complexify and centrally extend that algebra, in order to obtain the symmetry algebra of conformal field theory, which acts on the spectrum.
In quantum theories, symmetry algebras should be complex because spectrums are complex vector spaces. And symmetry algebras should have central extensions, because the action of a symmetry group on space, which obeys $g\cdot(g'\cdot x) = (gg')\cdot x$, needs only translate into a projective action on states, which obeys $g\cdot(g'\cdot|\sigma\rangle) = \lambda(g,g') (gg')\cdot |\sigma\rangle$ for some scalar factor $\lambda(g,g')$.
But a projective action of a symmetry algebra is equivalent to an action of the corresponding centrally-extended algebra.
Complexifying the algebra of local conformal transformations amounts to taking complex linear combinations of the generators \eqref{ilml}. So the complexified algebra has the complex basis $(\ell_n,\bar\ell_n)_{n\in\mathbb{Z}}$, and is the product of two commuting Witt algebras. Elements of the complexified algebras do not act on our complex plane $\mathbb{C}=\mathbb{R}^2$, where $z$ and $\bar z$ are conjugates of one another, but on the complexified complex plane ${\mathbb{C}}^2$, where $z$ and $\bar z$ are independent coordinates.
We must however insist that the correlation functions, which are the $z$-dependent observables of the theory, do live on $\mathbb{C}$ and not on ${\mathbb{C}}^2$.
Differential operators that act on functions on ${\mathbb{C}}^2$, for example $\frac{\partial}{\partial z}$, can appear at intermediate steps of calculations, whereas correlation functions only involve functions that are well-defined on $\mathbb{C}$, for example $\sqrt{|z|}$ but not $\sqrt{z}$.
The central extension of the Witt algebra is the
\textbf{\boldmath Virasoro algebra}\index{Virasoro!---algebra} $\mathfrak{V}$.
Its generators are $(L_n)_{n\in {\mathbb{Z}}}$, and its commutation relations are
\begin{align}
\boxed{[L_n,L_m]=(n-m)L_{n+m} + \frac{c}{12} (n-1)n(n+1) \delta_{n+m,0}}\ .
\label{vir}
\end{align}
Here the \textbf{\boldmath central charge}\index{central charge} $c$ is in principle a central generator, i.e. a generator that commutes with all $L_n$. However, this generator will always be proportional to the identity when acting on the spectrum of a given CFT: we then identify it with its eigenvalue, and consider $c$ as a complex number that characterizes the CFT.
The Virasoro algebra is the only central extension of the Witt algebra up to trivial redefinitions. (See Exercise \ref{exovir}.) Notice that the presence of the central term does not affect the generators $L_{-1},L_0,L_1$ of global conformal transformations.
Therefore, the symmetry algebra of conformal field theory is made of two commuting copies of the Virasoro algebra. It has
\begin{itemize}
\item \textbf{\boldmath left-moving}\index{left-moving (symmetry generators)}, chiral or holomorphic
generators $L_n$, and
\item \textbf{\boldmath right-moving}\index{right-moving (symmetry generators)}, anti-chiral or antiholomorphic generators $\bar{L}_n$,
\end{itemize}
with
$[L_n,\bar{L}_m]=0$. Assuming invariance under parity, which in our two-dimensional Euclidean space is the transformation $z\to -\bar z$,
both Virasoro algebras must have the same central charge, which is then called the central charge of the model:
\begin{align}
\renewcommand{\arraystretch}{1.3}
\begin{tabular}{|c|c|c|c|}
\hline
Notation & Name & Generators & Central\ charge
\\
\hline\hline
$\mathfrak{V}$ & left-moving & $L_n$ & $c$
\\
\hline
$\overline{\mathfrak{V}}$ & right-moving & $\bar{L}_n$ & $c$
\\
\hline
$\mathfrak{V}\times \overline{\mathfrak{V}}$ & full & $(L_n,\bar{L}_m)$ & $(c,c)$
\\
\hline
\end{tabular}
\end{align}
\begin{hyp}[Symmetry algebra of two-dimensional conformal field theory]
~\label{ax:sa}
We have a $\mathfrak{V}\times \overline{\mathfrak{V}}$ symmetry algebra, such that $L_n$ and $\bar{L}_n$ generate conformal transformations.
\end{hyp}
\noindent
This axiom is the only link between the symmetry algebra and the two-dimensional space.
Some conformal field theories have several Virasoro symmetry algebras, only one of which corresponds to conformal symmetry.
In the free boson theory, it is even possible to find Virasoro algebras with all possible values of the central charge. (See Section \ref{secaua}.)
\section{Basic consequences of conformal symmetry}
\subsection{Structure of the spectrum \label{secsots}}
\subsubsection{Decomposition into irreducible representations}
We know that the spectrum is a representation of the
$\mathfrak{V}\times \overline{\mathfrak{V}}$ symmetry algebra.
Let us make further assumptions on its structure.
\begin{hyp}[Structure of the spectrum]
~\label{ax:sots}
The spectrum decomposes into irreducible, factorizable representations of $\mathfrak{V}\times \overline{\mathfrak{V}}$. When acting on the spectrum, $L_0$ and $\bar L_0$ are diagonalizable, and $L_0+\bar L_0$ is bounded from below.
\end{hyp}
\noindent
Let us comment on the three parts of this axiom:
\begin{itemize}
\item
Factorizable representations are of the type $\mathcal{R}\otimes \bar{\mathcal{R}'}$, where $\mathcal{R}$ and $\mathcal{R}'$ are representations of $\mathfrak{V}$, and the bar in $\overline{\mathfrak{V}}$ and $\bar{\mathcal{R}'}$ distinguishes right-moving from left-moving objects.
Then the decomposition \eqref{somr} takes the form
\begin{align}
\boxed{\mathcal{S} = \bigoplus_{(\mathcal{R},\mathcal{R}')\in \text{Rep}(\mathfrak{V})^2} m_{\mathcal{R},\mathcal{R}'} \mathcal{R}\otimes \bar{\mathcal{R}'}}\ ,
\label{sorr}
\end{align}
where $\text{Rep}(\mathfrak{V})$ is some set of irreducible representations of the Virasoro algebra.
% NB: Many, but not all interesting spectrums are of this type: for example, the spectrum of the $GL_{1|1}$ WZW model involves indecomposable, non-factorizable representations \cite{ss05}. -- This example involves an extended symmetry algebra.
\item
The assumption that the spectrum decomposes into irreducible representations excludes indecomposable, reducible representations. This assumption implies that $L_0$ and $\bar L_0$ are diagonalizable, because the direct sum of the eigenspaces of $L_0$ is a subrepresentation.
There exist \textbf{\boldmath logarithmic conformal field theories}\index{conformal field theory!logarithmic---} where the action of $L_0$ on the spectrum is not diagonalizable.
But we will not consider such theories (except in Exercise \ref{exolog}).
\item
By $L_0+\bar L_0$ being bounded from below, we mean that the real parts of its eigenvalues are bounded from below, which implies that the real parts of the eigenvalues of $L_0$ are bounded from below in each $\mathcal{R}\in\text{Rep}(\mathfrak{V})$.
This is motivated by the interpretation of the dilation generator $L_0+\bar L_0$ as the Hamiltonian, if we consider the radial coordinate $|z|$ as the Euclidean time.
\end{itemize}
Two important special cases are
\begin{itemize}
\item \textbf{\boldmath rational models}\index{rational model}, where the spectrum involves finitely many irreducible representations,
\item \textbf{\boldmath diagonal models}\index{diagonal!---model}, where the spectrum is of the type $\mathcal{S}=\bigoplus_{\mathcal{R}\in \text{Rep}(\mathfrak{V})} m_\mathcal{R} \mathcal{R}\otimes \bar{\mathcal{R}}$, i.e. $m_{\mathcal{R},\mathcal{R}'}\neq 0 \implies \mathcal{R}=\mathcal{R}'$ in Eq. \eqref{sorr}.
\end{itemize}
\subsubsection{Closure under fusion}
Let us now introduce an axiom about fusion of Virasoro representations. Factorizability of the symmetry algebra and of the representations indeed implies that symmetry constraints on OPEs factorize as well, which allows us to define fusion multiplicities and fusion products for representations of $\mathfrak{V}$ (rather than $\mathfrak{V}\times \overline{\mathfrak{V}}$).
\begin{hyp}[Closure under fusion]
~\label{ax:cuf}
If the irreducible representations $\mathcal{R}_1$ and $\mathcal{R}_2$ of $\mathfrak{V}$ appear in the spectrum, then any representation $\mathcal{R}_3$ with a non-vanishing fusion multiplicity $N_{\mathcal{R}_1\mathcal{R}_2}^{\mathcal{R}_3}\neq 0$ also appears in the spectrum.
\end{hyp}
\noindent
In other words, we assume that if Virasoro symmetry allows a representation of $\mathfrak{V}$ to appear in an OPE, then that representation does appear. This is true in many CFTs, but there are exceptions, such as the $(E_8,A_{30})$ E-series minimal model \cite{fms97}.
There are two similar-looking axioms that should not be adopted:
\begin{itemize}
\item Closure under fusion of $\mathfrak{V}\times \overline{\mathfrak{V}}$ representations, instead of $\mathfrak{V}$ representations, would rule out most nontrivial models, and in particular diagonal models.
\item Closure under tensor product, instead of fusion, would not make sense in field theory, because the definition of fusion involves the space dependence of fields. Actually,
the tensor product of two representations of $\mathfrak{V}_c$ is a representation of $\mathfrak{V}_{2c}$ -- central charges behave additively in a tensor product.
\end{itemize}
\subsubsection{Conformal dimensions}
Let us further discuss the roles of the operators $L_0$ and $\bar L_0$. Their eigenvalues are called \textbf{\boldmath conformal dimensions}\index{conformal dimension} or conformal weights. If
two states $v_1$ and $v_2$ are related by the action of Virasoro generators,
\begin{align}
v_2 = \left(\prod_i L_{n_i}\right) v_1\ ,
\label{vovt}
\end{align}
and if $v_1$ is an $L_0$-eigenstate with conformal dimension $\Delta_1$, then $v_2$ is also an eigenstate with the conformal dimension
\begin{align}
\Delta_2 = \Delta_1 - \sum_i n_i\ ,
\label{ddsn}
\end{align}
as a consequence of the Virasoro algebra's commutation relations \eqref{vir}. Therefore, in any indecomposable representation of the Virasoro algebra, all conformal dimensions differ by integers. (See Exercise \ref{exodiffint}.)
Let us illustrate the power of local conformal symmetry by thinking of a model in terms of global conformal symmetry.
We decompose each Virasoro representation $\mathcal{R}$ into representations of the $\mathfrak{sl}_2$ algebra of global conformal transformations with generators $(L_0,L_1,L_{-1})$,
\begin{align}
\mathcal{R}=\bigoplus_{n\in{\mathbb{N}}} m_{\mathcal{R},n} \mathcal{D}^{\Delta+n}\ ,
\label{rbd}
\end{align}
where $m_{\mathcal{R},n}\in {\mathbb{N}}$ is a multiplicity, $\Delta$ is the lowest $L_0$-eigenvalue of the indecomposable Virasoro representation $\mathcal{R}$, and $\mathcal{D}^{\Delta+n}$ is a representation of $\mathfrak{sl}_2$ whose lowest $L_0$-eigenvalue is $\Delta+n$.
(See Exercise \ref{exodis}.)
The above decomposition is universal data of the Virasoro algebra, and
model-dependent information from the point of view of global conformal symmetry.
This shows how constraining local conformal symmetry is, and how much more freedom there is in the spectrum of global conformal field theories.
In particular, in a global conformal field theory, there is no reason for the spectrum to contain series of
$\mathfrak{sl}_2$ representations whose lowest $L_0$-eigenvalues differ by integers.
\subsubsection{Unitarity}
Let us now define and discuss \textbf{\boldmath unitarity}\index{unitary!---theory} of two-dimensional conformal field theories. While a theory needs not be unitary for being consistent, only unitary theories can have quantum mechanical interpretations. Unitarity indeed means that the squared norms of states are positive, and can therefore be interpreted as probabilities in quantum mechanics. On the other hand, statistical physics can give rise to non-unitary theories. (See \cite{prv18} for more details.)
Technically, unitarity requires that
the spectrum is a Hilbert space, i.e. has a positive definite Hermitian form. Let us first discuss the existence of a Hermitian form, positive or not.
In conformal field theory, this Hermitian form should be compatible with the action of the Virasoro algebra.
This means that the \textbf{Hermitian conjugation}\index{Hermitian conjugation} on $\mathfrak{V}\times\overline{\mathfrak{V}}$ that is induced by the Hermitian form, is an antilinear involution $A\to A^\dagger$ such that $[A,B]^\dagger = -[A^\dagger, B^\dagger]$.
Interpreting the dilation generator $L_0+\bar L_0$ as the Hamiltonian, we assume that it is self-adjoint. It is also natural to assume that $L_0-\bar L_0$ is self-adjoint, since its eigenvalues are conformal spins, which must be half-integer and therefore real. (See Eq. \eqref{dbdz}.) So both $L_0$ and $\bar L_0$ are self-adjoint,
which implies
\begin{align}
L^\dagger_n = L_{-n} \quad , \quad \bar L_n^\dagger = \bar L_{-n}\ ,
\label{ldn}
\end{align}
and it follows that $c\in \mathbb{R}$. (See Exercise \ref{exolnd}.)
It also follows that the Hermitian form is compatible with the decomposition \eqref{sorr} of the spectrum as a sum of $\mathfrak{V}\times \overline{\mathfrak{V}}$ representations, in the sense that two different irreducible representations must be orthogonal to each other.
So the positivity of the Hermitian form can be examined within each representation.
A representation of the Virasoro algebra is called \textbf{\boldmath unitary}\index{unitary!---representation} if it has a positive definite Hermitian form such that
$L^\dagger_n = L_{-n}$, and a model whose spectrum is unitary is itself called unitary. Unitarity implies that the central charge is not only real, but positive,
\begin{align}
c \in \mathbb{R}_{\geq 0}\ .
\label{cpos}
\end{align}
(See Exercise \ref{exocp}.)
\subsection{Conformal bootstrap}
The application of the bootstrap approach to conformal field theories, called the \textbf{conformal bootstrap}\index{conformal bootstrap},
is particularly powerful in two dimensions.
This is because the algebra of conformal transformations is infinite-dimensional,
so that the spectrum can be decomposed into a small number of large representations.
Moreover, since the symmetry algebra factorizes into two copies of the Virasoro algebra, and since the spectrum is a sum of factorizable representations,
symmetry equations factorize into $z$-dependent equations from the left-moving Virasoro algebra, and $\bar{z}$-dependent equations from the right-moving Virasoro algebra.
This leads to \textbf{\boldmath holomorphic factorization}\index{holomorphic factorization}:
any universal quantity can be factorized into a holomorphic function of $z$, times a holomorphic function of $\bar z$. The holomorphic functions that appear are typically not entire functions, and have singularities such as poles, branch cuts and/or essential singularities, just like the functions $\frac{1}{z},\sqrt{z}, e^{-\frac{1}{z}}$.
We will see in more detail in Section \ref{secaco} how holomorphic factorization simplifies the condition \eqref{cccc} of OPE associativity.
In two-dimensional conformal field theory, the assumption of the existence of an OPE has a natural generalization: the assumption that on any closed contour $C$, one can insert a decomposition of the identity operator,
\begin{align}
\mathbf{1} = \sum_{\sigma\in \mathcal{S}} |\sigma \rangle \langle \sigma^*| \ ,
\label{oss}
\end{align}
where the sum runs over a basis of the spectrum, and the linear form $\langle \sigma^*|$ is defined by $\langle \sigma^*|\sigma'\rangle = \delta_{\sigma,\sigma'}$.
% NB: This dual linear form depends on the whole basis, not just on |\sigma\rangle. But to define it we do not need a scalar product.
Let us schematically explain why this implies the existence of an OPE.
Considering a contour $C$ around the positions $x_1,x_2$ of two fields $V_{\sigma_1}(x_1),V_{\sigma_2}(x_2)$, and inserting the decomposition of the identity, we obtain
\begin{align}
V_{\sigma_1}(x_1)V_{\sigma_2}(x_2) = \sum_{\sigma\in \mathcal{S}} \Big\langle \sigma^* \Big| V_{\sigma_1}(x_1)V_{\sigma_2}(x_2) \Big\rangle V_{\sigma}(x_2) \ .
\end{align}
Here we abused the state-field correspondence, by replacing the field $V_{\sigma_1}(x_1)V_{\sigma_2}(x_2)$ with the corresponding state $|V_{\sigma_1}(x_1)V_{\sigma_2}(x_2)\rangle$, and the state $|\sigma\rangle$ with the corresponding field $V_{\sigma}(x_2)$.
This can be drawn as follows:
\begin{align}
\newcommand{\myoval}[2]{\draw[dashed] (#1, #2 + 2) to [out = 0, in = 0] (#1, #2 - 2);
\draw (#1, #2 + 2) to [out = 180, in = 180] (#1, #2 - 2);}
\begin{tikzpicture}[scale = .45, baseline=(current bounding box.center)]
\myoval{0}{0};
\myoval{4}{0};
\draw (0, 2) -- (6, 2);
\draw (0, -2) -- (6, -2);
\draw[dashed] (0, 2) -- (-2, 2);
\draw[dashed] (0, -2) -- (-2, -2);
\draw (6, 2) arc (90 : -90 : 2);
\node at (2.4, 0) {$C$};
\filldraw (7.4, 1) circle [radius = 3pt] node [left] {$V_{\sigma_1}$};
\filldraw (7.4, -1) circle [radius = 3pt] node [left] {$V_{\sigma_2}$};
\end{tikzpicture}
\quad
= \ \ \sum_{\sigma\in \mathcal{S}}
\quad
\begin{tikzpicture}[scale = .45, baseline=(current bounding box.center)]
\myoval{0}{0};
\draw[dashed] (0, 2) -- (-2, 2);
\draw[dashed] (0, -2) -- (-2, -2);
\draw (0, 2) -- (2, 2);
\draw (0, -2) -- (2, -2);
\draw (2, 2) arc (90 : -90 : 2);
\filldraw (3.7, 0) circle [radius = 3pt] node [left] {$V_{\sigma^*}$};
\draw (8, 0) circle (2);
\filldraw (9.4, 1) circle [radius = 3pt] node [left] {$V_{\sigma_1}$};
\filldraw (9.4, -1) circle [radius = 3pt] node [left] {$V_{\sigma_2}$};
\filldraw (6.3, 0) circle [radius = 3pt] node [right] {$V_{\sigma}$};
\end{tikzpicture}