Quantum Field Theory: Master Thesis
Quantum Field Theory: Master Thesis
Jonáš Dujava
Strongly Coupled
Quantum Field Theory
in Anti–de Sitter Spacetime
Prague 2025
Revised version 2025
Dedication ii
I would like to express my deep gratitude to my advisor, Petr Vaško, for his
guidance, patience, and invaluable advice during our collaboration.
Throughout my studies at Charles University I had the pleasure to interact with
many great lecturers. In particular, I would like to thank Pavel Krtouš, whose
style and dedication to clarity left an unmistakable imprint on my work.
These years would not have been the same without my friends — Matej, Marek,
Tomáš (and their amazing girlfriends), Kubo, Jožko, Tomáš, Emil, Mišo, Adam,
Tony, Jano, Robo, among others — whose companionship, endless conversations,
and shared laughter filled them with joy and made them truly unforgettable.
I am especially grateful to my parents and family for their unwavering support,
love, and encouragement throughout my academic journey and my whole life.
Miška, thank you for standing by my side and for bringing light and encouragement
even in the most challenging moments.
Jonáš Dujava
Information
Title Strongly Coupled Quantum Field Theory in Anti–de Sitter Spacetime
Author Jonáš Dujava
Institute Institute of Particle and Nuclear Physics
Supervisor Mgr. Petr Vaško, Ph.D. — Institute of Particle and Nuclear Physics
Keywords QFT in Curved Spacetime, 1/N Expansion, Conformal Field Theory,
Anti–de Sitter Spacetime, AdS/CFT Correspondence, O(N ) Model
Abstract
We introduce the framework of Quantum Field Theories in general backgrounds
through the lens of the path integral, in the formulation known as the Functorial
QFT. With the aim of studying properties of strongly coupled QFTs, we present
key concepts and techniques such as the effective action, renormalization group
flow, and the 1/N expansion.
At the fixed points of the RG flow we typically find Conformal Field Theories,
which are symmetric under local rescaling of the metric. Among other things,
CFTs play a central role in the context of QFT in Anti–de Sitter spacetime, through
what is known as the AdS/CFT correspondence.
Finally, the developed formalism is applied to analyze the O(N ) model in AdS at
finite coupling. In particular, we focus on the non-singlet sector, which requires an
understanding of crossed-channel diagram contributions to the s-channel conformal
block decomposition.
C
Contents
Contents iv
Introduction vi
Conclusion 152
References 155
vi
I
Introduction
Quantum Field Theory (QFT) stands as one of the cornerstones of modern
theoretical physics. Its reach extends across a broad spectrum of disciplines,
including particle physics, statistical mechanics, condensed matter physics, and
even gravitational physics.
While its principles and methods are well-established and widely used, QFT still
lacks a fully rigorous and comprehensive mathematical foundation. This becomes
particularly evident when one attempts to formulate QFT in general curved
spacetimes — an essential step for connecting it with cosmology and eventually
Quantum Gravity.
Another major challenge lies in understanding strongly coupled regimes of QFTs,
where standard perturbative techniques fail. In these cases, exact results are
rare, and progress relies heavily on developing and studying special models.
Such simplified yet nontrivial examples provide vital intuition and often serve as
laboratories for testing and refining general ideas.
Throughout all of this, symmetry plays a central role. It not only guides the
formulation of physical theories, but also provides strong constraints that make
otherwise intractable problems manageable. Some symmetries can be emergent,
as is the case for second order phase transitions, where the system becomes scale
invariant. Moreover, they usually enjoy a further symmetry enhancement — they
become conformally invariant, which means we can make even position-dependent
scale transformations. Such critical point are described by Conformal Field
Theories (CFTs), which due to their enlarged symmetry group admit powerful,
non-perturbative techniques.
One of the most interesting features a physical/mathematical model or theory
can have is the presence of a duality — see Figure 1 → p.vii . Different properties of
the theory are often more naturally seen from different perspectives, which can
offer us new intuitions, insights, or computational tools. One of the most famous
examples is the AdS/CFT correspondence, which attempts to relate a Quantum
Gravity in asymptotically AdS spacetime to a CFT on its boundary.
The final part of this thesis focuses on the study of the O(N ) model in anti–
de Sitter (AdS) spacetime. As it admits a large N expansion, allowing us to
compute at finite coupling, the O(N ) model provides a fertile ground for exploring
fundamental questions in QFT. Considering it in AdS spacetime, we can also
leverage the AdS/CFT correspondence — a QFT in a fixed AdS background admits
asymptotic observables, in particular boundary correlation functions, which satisfy
essentially all CFT axioms. This leads to a rich interplay between standard QFT
and CFT techniques, and allows us to study finite spectrum deformations of
interacting CFTs.
Introduction vii
Theory 1
Underlying ?
duality Model
Structure?
Theory 2
©2024 Jonas Dujava
Figure 1 / A model (or its part) can sometimes be described by two distinct theories,
with different starting principles and associated methods/techniques. Such duality
hints at a possible underlying structure.
Remark 2 (On Exposition). The subject of QFTs can be hard to approach, not
least due to the plethora of concepts and techniques one needs to know intimately
before conceptual clarity can eventually be achieved. One of the objectives of this
work is to provide — as much as possible — a self-contained account of various
important topics that lie slightly beyond the standard curriculum of QFT.
While not all of the discussed aspects are used directly in the “application part”
of this work — namely Chapter 5 → p.100 — they serve to highlight and appreciate
the interconnections between various notions and methods, which might otherwise
seem unmotivated or ad hoc. ⌟
Remark 3 (On Rigor). The author’s intention was to produce a clearly structured
text, making it easy to locate and refer to almost any introduced concept. To this
end, a “definition–theorem–proof–remark” structure was adopted, even though
the work should not be considered fully mathematically rigorous.
As a byproduct, the structure makes it rather transparent which parts are more
established and which remain more heuristic — whether due to gaps in the author’s
understanding, the absence of a rigorous mathematical underpinning, or simply
because the necessary background would be too extensive to include.
This is considered a feature, since it avoids (at least partially) the pitfall of giving
a false impression of understanding. A related and interesting read about the
interaction between theoretical physics and mathematics can be found in [2]. ⌟
Remark 4 (On Numbering). To simplify the navigation, all types of document
constructs — for example Definitions, Remarks, Figures, Theorems, and so on —
are numbered within the same counter (inside the given chapter). To give you an
idea, Figure 3.18 → p.57 is shortly after Example 3.15 → p.56 . ⌟
viii
Q
Quick Summary
In Chapter 1 we briefly introduce the QFT framework, mainly through the lens
of path integral. Its formalization is dubbed as the Functorial QFT (FQFT).
In Chapter 2 we look at methods important to understand QFT at large — the
notion of effective actions, and the renormalization group (RG) flow.
In Chapter 3 we dive deep into the realm of Conformal Field Theories (CFTs),
which usually appear at the fixed points of the RG flow. Apart from the scaling
symmetry, they enjoy further symmetry enhancement to the conformal group.
In Chapter 4 we discuss QFT on Anti–de Sitter spacetime (AdS), and the
connection to CFTs through the AdS/CFT correspondence.
In Chapter 5 we apply previously developed formalism to study the O(N ) model
in AdS at finite coupling, in particular its non-singlet spectrum.
We summarize the overarching narrative in Conclusion .
In Appendix N we collect some of the conventions and notation used throughout
the work, mainly of various differential geometry objects.
1
1
Quantum Field Theory Formalism
We start by introducing some general aspects of QFT formalism, and in particular
its formulation in general backgrounds. The most straightforward motivation is
the fact that our Universe is not flat, so understanding effects of the spacetime
curvature is required to study physics at cosmological scales, or in the presence of
strong gravitational fields, for example near black holes.
Understanding QFT in general backgrounds can also bring other benefits, both of
conceptual and computational nature. It allows us to consider models on manifolds
with boundary or non-trivial topology, and enlightens the fundamental role of
spacetime symmetries. Having such general formulation we can make statements
about (and relate) theories in different backgrounds. In particular, we can get a
better feeling for the connection between Lorentzian and Euclidean QFTs, the
former describing relativistic particle or condensed matter systems, and the latter
describing statistical systems (at large scales).
We will take the (heuristic) path integral approach as our starting point, and
briefly introduce it in Section 1.1 → p.5 . Then we formalize the properties we usually
require from the path integral into an axiomatic framework in Section 1.2 → p.13 .
Symmetries in context of QFTs are treated in Section 1.3 → p.22 . As discussed in
Section 1.4 → p.29 , they turn out to be central for building the usual “operator
formalism” obtained by appropriately foliating the spacetime.
Going to the quantum realm, that is considering QFT, the possibilities are much
more diverse. Intuitively, the Feynman’s “sum over histories” motto [3] says that
we should integrate over all possible (spacetime) configurations of the field, with
an appropriate measure depending on the action functional.
This section is inspired by [4] [5] [6] [7] [8], where you can find more details.
Remark 1.1 (Attitude Towards the Path Integral). We view path integral as a
powerful heuristic tool, which can be made mathematically rigorous only in some
cases — in d = 0 it is just an ordinary (multidimensional) integral, in higher
dimensions we obtain infinite-dimensional integration. We will not delve deeper
concerning (possibly) rigorous definitions of path integral, but rather focus on the
physical intuition behind the path integral. ⌟
Example 1.6 (σ-Model, Real Scalar Field). A so-called σ-model field is given by
a map ϕ : M → X for some auxiliary target manifold X. For a real scalar field
we simply have E = M × X with X = R, whose sections are indeed functions
Chapter 1. Quantum Field Theory Formalism 3
Remark 1.7 (Type of Field). Typically, a field theory contains several fields
×
ϕ ≡ {ϕi } with the corresponding field bundle E = Ei being a fiber product.
Roughly speaking each Ei decomposes into an intrinsic part times and extrinsic
part. The extrinsic part is associated to the target values of the field, and the
intrinsic part is associated to the principal frame bundle of M via a representation
of GL (or Spin). This representation determines the type of the field, and in partic-
ular the transformation of its components under the change of frame/coordinates.
For example, a trivial representation gives us a scalar field, a vector/spinor
representation gives us a vector/spinor field, and so on. ⌟
Example 1.8 (Gauge Theories). In gauge theories, the basic field we consider is a
connection on a principal G-bundle P → M for some specified Lie group G. The
matter fields are then additionally specified by a choice of representation under
the gauge group G — they are sections of some associated bundle. ⌟
Remark 1.11. Strictly speaking, when M is not compact, SM will usually diverge.
We should then work on some domain Ω ⊂ M. We will ignore this subtlety and
often just write S instead of SM , keeping the domain/manifold implicit. ⌟
Remark 1.12 (Covariant Lagrangian Description). Not all field theories admit a
Lagrangian description, but we will assume it for the time being. Moreover, we
assume a possibility of covariant formulation in a general background, that is for
a diffeomorphism f : M → M′ we have
Example 1.13 (Action of Free Scalar Field). A free real scalar field ϕ has a quadratic
Chapter 1. Quantum Field Theory Formalism 4
where the m ≥ 0 is the “mass”, and ξ controls the coupling to the spacetime
curvature through the Ricci scalar R. Everything is written in terms of “geometric”
objects, so the covariance Remark 1.12 → p.3 is manifest. Since ϕ is a scalar, we
could also write ∇ϕ = ∂ϕ ≡ dϕ, as it does not depend on the choice of metric
connection. ⌟
The dot “ • ” denotes the contraction of both the “spacetime index” — representing
integration over the manifold (when needed we include g /2 ) — and also possible
1
where the δ-distribution is appropriately normalized such that the identity operator
1 really acts on functions as an identity. ⌟
Example 1.18 (Euler–Lagrange EOM of Free Scalar Field). Using the symmetry of
F in Remark 1.14 → p.4 (ignoring boundary terms), we have
! δϕ arbitrary
(︂ )︂
δSM = −δϕ • F • ϕ = 0 =======⇒ F •ϕ≡ − + m2 + ξR ϕ = 0 .
⌟
The classical field theory is then recovered in the “classical limit” ℏ → 0, since
by a stationary-phase/saddle-point argument, the path-integral contributions
concentrate around the classical solution ϕcl of the Euler–Lagrange equations
Definition 1.16 → p.5 , which are precisely the stationary condition of S.
Before introducing some fundamentals of path integral in QFT, let us make some
remark about the “path-integral measure” itself.
Remark 1.19 (Path Integral in QM). In Quantum Mechanics (QM), the path
integral can be made rather rigorous by using the theory of Gaussian measures
on Abstract Wiener spaces. The idea is to work in Euclidean signature — to
be discussed in Wick Rotation → p.12 — and discretize the time interval. We then
define cylindrical functions depending only on finite number N of points/times,
and measure on them (just a finite-dimensional Lebesgue measure). Finally, we
take the continuum limit N → ∞, which however is less straightforward than one
might initially think.
1
The reason is that neither Dϕ , nor e− ℏ S[ϕ] , exist in the continuum limit. Concern-
ing the measure, see next Remark 1.20 → p.6 . Concerning the action, we can clearly
see that continuum limit of cylindrical function need not be smooth/differentiable,
and thus the action is not well-defined.
It actually turns out that differentiable functions form a measure-zero set, and
Chapter 1. Quantum Field Theory Formalism 6
Example 1.21 (Gaussian Measures). One can however define Gaussian measures
on infinite-dimensional spaces, which avoids the problem in Remark 1.20 → p.6 by
throwing away the translation invariance requirement.
These correspond to free theories, and we can formally work with them as if
1
we could write Dµ(ϕ) ≃ Dϕ e− 2 ϕ•F • ϕ , where we take Dϕ to be translationally
invariant and satisfy the usual substitution rules, just written in the functional
language. ⌟
Remark 1.22 (Interacting Measures). In the case of interacting theories, the precise
mathematical sense of the path integral is less clear. Two immediate approaches
are:
• Lattice Approach — We discretize the spacetime manifold by replacing it
with a lattice. Fields are then defined by values on the nodes of the lattice,
and the action by some discretized version. If the manifold is compact, the
discretized version has a finite number of nodes, and path integral becomes
a finite-dimensional integral (but we manifestly violate Lorentz symmetry).
Everything is then well-defined, and the only problem is whether appropriate
continuum limit exists (in which we hope to recover Lorentz symmetry).
• Perturbative Approach — For interacting theory “close” to a free theory, we
can view the measure as a perturbative deformation of the Gaussian measure.
We will briefly discuss such approach below in Perturbation Theory → p.10 .
Let us quickly note that it requires some regularization and renormalization
scheme, which is usually chosen to respect as many symmetries of the theory
as possible, but generally not all classical symmetries can be preserved.
⌟
Correlators
Now we will present basics of the path integral formalism, with examples being
provided by the free scalar theory.
Chapter 1. Quantum Field Theory Formalism 7
Remark 1.27. A lot of information about a QFT can be extracted from such
correlators, for example flat-space scattering amplitudes are obtained via LSZ
reduction formulas by looking at their poles in momentum representation.
Alternatively, in Euclidean QFTs describing continuum limit of statistical systems,
one can read out correlation lengths or other measurable coefficients from their
(asymptotic) behavior. ⌟
All correlators are compactly encoded in the following object of central importance.
Example 1.30 (Partition Function for Free Scalar Field). Completing the square in
the exponent and assuming normalization as described above, we have
Dϕ e ℏ (− 2 ϕ F )= Dϕ e ℏ (− 2 (ϕ−F )
∫︂ ∫︂
ı̊ 1 ı̊ 1 −1 •J) • F • (ϕ−F −1 •J)+ 1 J •F −1 •J
Z[J] =
• • ϕ+J • ϕ
2
Dϕ e (− 2 ϕ F ϕ ) e ℏ 2 J •F •J ≡ e( ℏ ) 2 J •G•J
(︃∫︂ )︃
1 ′• • ′ ı̊ ı̊ 1 −1 ı̊ 2 1
= ′ ℏ
−F • ϕ + J = 0 ⇐⇒ ϕJ = F −1 • J ≡ ℏı̊ G • J .
⌟
Remark 1.31 (Green’s Functions). The Green’s function satisfying the equation
!
−F • G =ı̊ℏ1
is not uniquely defined in the Lorentzian signature, and one needs to provide
appropriate “ı̊ε prescription”. We will discuss this later in Wick Rotation → p.12 .⌟
The partition function Z[J ] is a generating functional for all correlators of local
operators, in the following sense.
ℏ δ ℏ δ ⟨︂ ı̊ J • ϕ ⟩︂ ⟨︂ ı̊
⟩︂
Z[J ] ≡ eℏ = ϕ(x) e ℏ J • ϕ .
ı̊ δJ (x) ı̊ δJ (x)
Chapter 1. Quantum Field Theory Formalism 9
Example 1.33 (Wick’s theorem). Using Proposition 1.32 → p.8 in the case of free
scalar field Example 1.30 → p.8 , we obtain
0 for n odd ,
⎧
⎪
⎪
⎪
G(x1 , x2 ) for n = 2 ,
⎪
⎪
⟨︂ ⟩︂ ⎪
⎨
ϕ(x1 ) . . . ϕ(xn ) = ⎪ ∑︂
G(xi+ , xi− ) for n even ,
∏︂
⎪⎪
⎪
⎩ pairings (i+ ,i− )
⎪
⎪
{(i+ ,i− )}
Boundary States
Up to now we always imagined performing the path integral over all field con-
figurations in the whole spacetime, and did not consider any boundaries. In
their presence, we need to specify the boundary conditions on the fields, which
usually means fixing values of the fields on the boundary, see Figure 1.34 → p.9 for
visualization.
Such setting is well known from QM, where path integral with constrained positions
at the ends gives us the kernel of the evolution operator in the position basis.
Similarly in QFT, constraining the field values on the boundary of the region, the
path integral gives us the kernel of the evolution operator in the field bases of the
Hilbert spaces of states associated to the boundaries. We will not delve into details
of this here, since everything will be properly formalized in Section 1.2 → p.13 .
ϕ|Σ
ϕb
∫︂
ı̊
Dϕ e ℏ S[ϕ]
Σ
ϕ|Σ =ϕb ©2025 Jonas Dujava
Perturbation Theory
Exact evaluation of the path integral is usually not feasible. Among few exceptions
a special role is played by free theories, which have quadratic actions, leading to
a Gaussian integration. In general, including any non-trivial interactions makes
the explicit evaluation intractable. The most common way to proceed, applicable
for weak couplings, is to employ perturbation theory around a free theory.
This amounts to splitting the action into free (quadratic) and interaction part,
and then expanding the interaction part into series in the coupling.
Example 1.35 (Interacting Scalar Field, Feynman Diagrams). For simplicity, consider
an action symbolically of the form (integrations are done over x ∈ M with
appropriate metric density)
Dϕ e ℏ (− 2 ϕ F ϕ−λ V (x)+J • ϕ)
∫︂ ∫︁
ı̊ 1 • •
Z[J] ≃ x
⟨︂ ı̊λ
∫︁ ı̊
⟩︂ ∞
1 (︂ −ı̊λ )︂n ∫︂ ⟨︂ ı̊ •
⟩︂
= e− ℏ V (x)
e ℏ J •ϕ = (x ) (x ) e J ϕ
∑︂
x V 1 · · · V n ℏ .
n=0 n!
free ℏ free
x1 ,...,xn
where |Aut(Γ)| is the symmetry factor of the diagram Γ. Here Γ is any diagram
as described above, but we exclude vacuum bubbles — all interaction vertices are
just connected to each other, and not to any external vertex — since they factor
out and are cancelled by the normalization Z. ⌟
To calculate the partition function Z[J ] in the perturbation theory, we draw all
possible diagrams discussed above, but now external vertices come from expanding
ı̊
the exponential e ℏ J • ϕ , so they have an extra factor of ℏı̊ J associated with them
(and we integrate over them). We can simplify the diagrammatic expansion only
to the connected diagrams — the motto is that exponential map generates all
graphs/contributions from just connected graphs/contributions.
Proof. We can decompose any graph Γ = γ1⊔r1 ⊔ · · · ⊔ γk⊔rk into its connected
components, γ• being pairwise non-isomorphic connected graphs. Then we have
for the symmetry factor |Aut(Γ)| = i ri !|Aut(γi )|ri . Using the multiplicativity of
∏︁
Wick Rotation
As already noted in Remark 1.31 → p.8 , the inverse of the differential operator F
necessary for computing the functional Gaussian/Fresnel integrals is not unique
in the Lorentzian signature.
Remark 1.39 (Fresnel and Gauss Integrals). What the appropriate choice should
be can be understood by considering one-dimensional Fresnel integral of the form
∫︂
2 √ ı̊π
dx eı̊x = πe4 .
R
The integrand is highly oscillatory, and the integral is not absolutely convergent.
Still, it can be understood as a boundary value of the absolutely convergent Gauss
integral (taking α ∈ C with Re α > 0)
π
∫︂ √︃
−αx2
dx e = ,
R α
Motivation
One key notion we would like to formalize is the locality of the path integral.
Idea 1.45 (Cutting and Gluing). Assuming a local Lagrangian theory, we can cut
the manifold into pieces, compute the path integral individually on each piece
(holding fixed boundary conditions), and then glue/sew them back together by
finally integrating over the boundary configurations. In formula, this reads for
M = M1 ∪Σ M2 as (ϕ1,2 are restrictions of ϕ to M1,2 , respectively)
∫︂ ∫︂ ∫︂ ∫︂
ı̊ ı̊ ı̊
Dϕ e ℏ SM [ϕ] = Dϕb Dϕ1 e ℏ SM1 [ϕ1 ] Dϕ2 e ℏ SM2 [ϕ2 ] ,
Fields M Fields Σ Fields M1 ,ϕ1 |Σ =ϕb Fields M2 ,ϕ2 |Σ =ϕb
where we used additivity of the action SM [ϕ] = SM1 [ϕ1 ] + SM2 [ϕ2 ].
In the well understood (1 + 0)–dimensional case — just QM — the locality of the
time evolution is represented by the functoriality of going from time intervals to
the corresponding evolution operators
QM
[t1 , t3 ] = [t2 , t3 ] ∪ [t1 , t2 ] U (t3 , t1 ) = U (t3 , t2 ) ◦ U (t2 , t1 ) .
Note that convention for writing intervals with t3 > t2 > t1 is opposite to how we
write and compose evolution operators, so we will sometimes use [t2 |t1 ] ≡ [t1 , t2 ]⌟
We will generalize this idea to more general setting in higher dimensions.
Cobordism Category
Oftentimes we imagine cutting/foliating the spacetime into pieces, and then study
the dynamics in-between the cuts/leaves, where we appropriately specify some
boundary conditions. Prototypical example is the evolution between chosen time-
slices in a given coordinate system. To allow for more complicated situations, let
us slightly formalize this idea.
cutting gluing
QFT as a Functor
Remark 1.52 (QFT as a Functor). The cobordism category Cob was already
introduced in Remark 1.49 → p.15 , and the second category is the vector space
category Vect C , whose objects are complex vector spaces and morphisms are linear
maps. They are even symmetric monoidal categories, monoidal product being
disjoint union for Cob (with empty manifold being the unit) and tensor product
for Vect C (with C being the unit).
Then a QFT can be understood as a functor of symmetric monoidal categories
QFT ≡ (H , Z )
Cob Vect C
( , )Σ : H−Σ ⊗ HΣ → C ,
of assumptions on a QFT:
(1) For each Σ, the pair (HΣ , ⟨ , ⟩Σ ) forms a Hilbert space, possibly after an
appropriate completion of HΣ . In particular, the corresponding sesquilinear
form is positive definite.
(2) For any cylinder Σ Σ × [0, t] ⟨︂Σ the evolution operator
⟩︂
ZΣ×[0,t] : HΣ → HΣ is
a unitary operator, that is ZΣ×[0,t] , ZΣ×[0,t] = ⟨ , ⟩Σ , or equivalently
Σ
†
ZΣ×[0,t] = ZΣ×[0,t]
−1
.
(3) The representation ρ of diffeomorphisms on the Hilbert spaces of states
is unitary. More precisely, for any diffeomorphism ϕ : Σ → Σ′ the corre-
sponding isomorphism ρϕ : (HΣ , ⟨ , ⟩Σ ) → (HΣ′ , ⟨ , ⟩Σ′ ) is unitary, that is
⟨ρϕ , ρϕ ⟩Σ′ = ⟨ , ⟩Σ .
The Euclidean counterpart of the unitarity is the reflection positivity to be
discussed at the end of Section 1.4 → p.29 . For more FQFT details see [9]. ⌟
The normalization axiom implies that the evolution operator in the limit of zero
length interval is the identity operator, that is limε→0 Zε = 1H . Expanding around
zero length (assuming analyticity), we obtain
ı̊ (︂ )︂
Zε ∼ 1H − Hε + O ε2 ,
ℏ
where H ∈ End(H) is the Hamiltonian operator — time translation generator. In
Example 1.65 → p.20 , we will discuss QM operators in more detail.
Chapter 1. Quantum Field Theory Formalism 19
∂ ∂ ! ∂ ı̊ ∂
⃓ ⃓
= = − HUt =⇒ U = HUt ,
⃓ ⃓
Ut ≡ Uε+t ⃓⃓ Uε ◦ Ut ⃓⃓ ı̊ℏ
∂t ∂ε ε=0 ∂ε ε=0 ℏ ∂t t
(︂ )︂N
or by using semigroup law iteratively as Zt = Z Nt and taking the limit N → ∞,
we obtain the solution
ı̊
Zt ≡ Ut = e− ℏ Ht .
If we take our QM to be unitary, see Remark 1.56 → p.17 , we require H ≡ Hpt+ to
be a Hilbert space with the natural inner product ⟨ , ⟩ ≡ ⟨ , ⟩pt+ , and the
Hamiltonian H to be Hermitian/self-adjoint, such that Zt is unitary.
Considering a circle S1t of circumference t — interval with the ends glued together
— corresponds to making a trace in the end
ı̊
ZS1t = TrH Zt = TrH e− ℏ Ht .
⌟
Remark 1.58. To describe Hamiltonians depending on time, we need to include
extra structure to know where we are located with respect to this “global” time,
on which the Hamiltonian parametrically depends. ⌟
Remark 1.59 (Finite Temperature). In the Euclidean signature we set t = −ı̊τ , so
for a Euclidean circle S1β of circumference τ ≡ β > 0 we have (ℏ ≡ 1)
Z E
S1β = TrH EZβ = TrH e−βH .
Quantum Observables
We will now show how to understand quantum operators/observables as insertions
of states on the boundaries of infinitesimally small cuts of spacetime. First, we
state the rather general definition, and then mention some important examples.
Idea 1.60 (Operator as State Insertion on Cut). Let Σin M Σout be a cobordism,
and let Γ ⊂ M be some CW subcomplex — collection of points, lines, surfaces,
and so on in M — disjoint from ∂M.
Consider a family of ε-thickenings Uε (Γ) of Γ with ε ∈ (0, ε0 ), for example by
equipping M with a metric, and taking all points with distance ≤ ε from Γ. Then
M\Uε (Γ) is a cobordism, where we additionally made cuts around Γ with some
small padding parametrized by ε, so it has a boundary
(︂ )︂
∂ M\Uε (Γ) = (−∂Uε (Γ)) ⊔ (−Σin ) ⊔ Σout .
We can insert states on the boundaries of these cuts, which are viewed as extra
Chapter 1. Quantum Field Theory Formalism 20
pieces of the initial boundary, and in the limit ε → 0 they will correspond to some
local operators. ⌟
is well-defined. Here ZM\Uε (Γ) is a map H∂Uε (Γ) ⊗ HΣin → HΣout , and we
substitute the states defining the operator into the first factor. An important
case is when M is closed (Σin = Σout = ∅ = ∂M), in which case the correlator
is just a complex number called Vacuum Expectation Value (VEV).
!
[︂ ]︂
OΓ,ε′ = ZUε′ (Γ)\Uε (Γ) OΓ,ε ,
⟨1(x) OΓ ⟩ ≡ ⟨OΓ ⟩
for any operator OΓ . It essentially means that putting the operator 1 on a puncture
just fills the puncture as if it was never there. Alternatively, it corresponds to
the vacuum vector |vac⟩ ≡ ZB ∈ HS for an infinitesimally small ball B with a
boundary S — it is the state obtained by path integrating over the ball B inside
S without any additional operator insertions. ⌟
Example 1.65 (Point Observables in QM — Operators). For an elementary but
enlightening example, we will look at point observables in the context of Quantum
Mechanics, see Example 1.57 → p.18 . To understand an observable supported on
Chapter 1. Quantum Field Theory Formalism 21
a single point Γ ≡ t inside a cobordism (time interval) M = [tin , tout ] ≡ [tout |tin ],
we consider the corresponding ε-thickenings
with boundaries
∂Uε (t) = pt+ −
t+ε ⊔ ptt−ε .
The order of operators on the left-hand side is not important, since they are by
definition inserted at the appropriate times, automatically time-ordered. ⌟
U (t,t0 )
Ht Ht0
OH (t) ≡ U (t, t0 )−1 OS U (t, t0 )
⌜
OS OH (t) .
OH (t0 ) ≡ 1 OS 1
Ht Ht0
U (t,t0 )−1
where we first used the assumed invariance, and then we just relabeled the
integration variables. We did not need to care of the normalizations Zg or Zg′ ,
since the invariance implies they are the same. ⌟
Remark 1.70 (Diffeomorphism Relations, Spacetime Symmetries). Assuming the
theory is diffeomorphism-invariant, we can consider transformations induced by
a diffeomorphism f : M → M, that is O ↦→ f ∗ O for any operator, and g ↦→ f∗ g.
The previous remark then gives us the following relation for any diffeomorphism
f in the form (to have both transformations on the same side, we pushforward g)
⟨︂ ⟩︂ ⟨︂ ⟩︂
O1 (x1 ) · · · On (xn ) = [f ∗ O1 ](x1 ) · · · [f ∗ On ](xn ) .
g f∗ g
This does not mean that we have an infinite number of symmetries, because a
general f relates correlators in different backgrounds — it should be understood
Chapter 1. Quantum Field Theory Formalism 24
Remark 1.72 (Symmetries of FQFT). From the FQFT point of view, this is just
the naturality axiom (see (d) of Definition 1.51 → p.16 ) restricted to the subgroup
Sym(M, g) ⊂ Diff(M) of diffeomorphisms f : M → M preserving the background
!
structure g, that is f∗ g = g. For a cobordism Σout M Σin , such a symmetry f
implies
ZM,g = ρf |out ◦ ZM,g ◦ ρ−1
f |in .
One can try to think through how this works out when we include operator
insertions along the lines of Definition 1.61 → p.20 . ⌟
Now consider a slightly different situation. Suppose the theory is invariant under
simultaneous active transformation of the operators and the background structure
(now we allow different local operators O• to transform in different ways, not
necessarily induced by the transformation of the fundamental fields)
O• ↦→ O
˜︁ ,
• g ↦→ g̃ ,
When the same Weyl rescaled metric can be obtained also by diffeomorphism
(which we then call conformal transformation, see Definition 3.6 → p.53 ), this induces
relation between correlators on the same background.
Considering flat space Rd and scaling/dilatation f : x ↦→ x′ ≡ λx, simple calcula-
!
tion gives f ∗ g = λ2 g = Ω2 g ≡ g̃, so we obtain
⟨︂ ⟩︂ ⟨︂ ⟩︂
O1 (x)O2 (y) = λ∆1 +∆2 O1 (λx)O2 (λy) ,
and thus the possibly consistent behavior of the 2-point function of a CFT is
given by a power law (where we implicitly used the translational and rotational
invariance)
⟨︂ ⟩︂ 1
O1 (x)O2 (y) ∝ .
|x − y|∆1 +∆2
In Corollary 3.80 → p.77 , by further considering “special conformal transformations”,
we will see that the correlator can be nontrivial only when ∆1 = ∆2 . ⌟
Energy–Momentum Tensor
In the following we will assume a classical theory with Lagrangian description on a
manifold with a metric g. Since spacetime symmetries are essentially symmetries
of g, they are intimately connected with the energy–momentum tensor.
Remark 1.75. We will always work with such “Hilbert” energy–momentum tensor,
as opposed to the “canonical” one, which is non-uniquely defined by the Noether’s
prescription. ⌟
Chapter 1. Quantum Field Theory Formalism 26
Proof. The symmetry (1) follows from the definition and symmetry of g.
The conservation property (2) follows from the fact that the action is invariant
under diffeomorphisms. Indeed, using the covariance Remark 1.12 → p.3 for auto-
morphism generated by a vector field ξ ∈ T M vanishing in a neighborhood of
the boundary ∂M, we have
! 1 ∫︂ 1/2 ab ∫︂
δSg
0 = δξ Sg [ϕ] ≡ − g T δξ gab +
1
g /2 δξ ϕ
2 M M δϕ
∫︂
g /2 T ab ∇(a ξb) + 0
EL 1
∼−
∫︂M
ξ arbitrary
g /2 (∇a T ab )ξb + 0 ======⇒ ∇• T ∼ 0 .
EL 1 EL
∼
M
We used definition of T and δξ gab ≡ Lξ gab = ∇(a ξb) . In the last step we used
symmetry of T and integrated by parts — the boundary term vanishes due to
the assumption on ξ. Since ξ is otherwise arbitrary, we obtain the conservation
property (2).
For Weyl transformation Example 1.73 → p.25 we have the infinitesimal form δω g =
2ωg, so we calculate (similarly as previously for diffeomorphism)
! 1 ∫︂ 1/2 ab ∫︂
δSg
0 = δω Sg [ϕ] ≡ − g T (2ωgab ) + δω ϕ
2 M M δϕ
∫︂
ω arbitrary
g /2 Taa ω + 0 ======⇒ Tr T ∼ 0 .
EL 1 EL
∼−
M
!
∇• (T • ξ) = (∇a T ab )ξb + T ab ∇a ξb = 0 + T ab ∇(a ξb) = 0 ,
where we used both the conservation and symmetry of T , and finally the infinites-
!
imal form of the isometry Lξ gab = 2∇(a ξb) = 0.
Ward–Takahashi Identities
Now we will look at the infinitesimal forms of the continuous spacetime symmetries.
Remark 1.79. Even though it is not strictly necessary for our purposes, the
following will be formulated in the “tetrad” formulation — see Appendix N → p.153 .
This would allow us to consider also spinors, since just the metric is not sufficient.
For example, the energy–momentum tensor is classically given by
δS k δS
T ab ≡ Tka ekb ≡ − k
eb = −2 gnb ,
δea δgan
by which we mean
⟨︂ ⟩︂ ⟨︂ ⟩︂ ⟨︂ ⟩︂ δ ⟨︂ ⟩︂
Tka (x)X − Tka (x) X ≡ X ,
e e e δeka (x) e
where the second term comes from the variation of normalization Ze in the
definition of the correlator, because (Ze ≡ e−We )
δZe ∫︂ ⟨︂ ⟩︂ ⟨︂ ⟩︂ δWe
≡ [Dϕ] e −Se [ϕ]
T a
≡ Ze T a
(x) ⇐⇒ T a
(x) =− k .
δea (x)
k e k k e k e δea (x)
i=1
Q(Σ2 ) Q(Σ1 )
Q(Σ3 )
O1 O2
©2025
Figure 1.82 / Topological operator can be deformed to small surfaces around the
operator insertions, so even though the operator is not local, the correlation functions
depend locally on the points of insertions.
When we move the surface over the operator insertions, we obtain a contact term,
which is the infinitesimal transformation of the operator under the symmetry
generated by Qξ . In particular, taking flat space and ξ ≡ ∂a , we obtain momentum
generators ∫︂
Pa (Σ) ≡ Q∂a (Σ) ≡ − dSn T na ,
Σ
which by Calculation 1.81 → p.27
act as derivatives
⟨︂ ⟩︂ ⟨︂ ⟩︂
Pa (Σ)O(x) · · · = ∂a O(x) · · ·
Foliation
Different foliations of spacetime in general give rise to different representations of
the theory, since we obtain in general different Hilbert spaces of quantum states
with different notions of “time evolution” and “time ordering” of operators. These
can be sometimes related by symmetry transformations, but as we will briefly
discuss below, in general they can be rather different.
By picking a specific foliation we always lose manifest covariance of the theory,
but the spacetime symmetries naturally provide preferred foliations respecting
given background structure.
Example 1.83 (Static/Stationary Spacetimes). If the (Lorentzian) spacetime is
static/stationary — we have a timelike Killing vector, which in static spaces is
even surface orthogonal — then the preferred foliations (choice of time coordinate)
respecting the time-translation symmetry share the same spatial geometry at each
time slice. Corresponding Hilbert spaces are then naturally isomorphic as was
discussed in Remark 1.67 → p.21 , and we can conveniently describe the system on
one Hilbert space. ⌟
Chapter 1. Quantum Field Theory Formalism 30
Remark 1.87 (Symmetry Charges). As mentioned briefly in Section 1.3 → p.28 , the
charges corresponding to the symmetries of the theory are defined as integrals
of the conserved currents over the slices of the foliation. Then the surrounding
of some local operator O(x) by a charge Q is represented as the commutator
[Q, O(x)] — you can imagine how we can deform small surface around the operator
insertion to a one surface above, and one below, with the orientation giving the
relative minus sign. The finite exponentiated action (with some parameter t) is
then given by
et[Q, ] O(x) = etQ O(x) e−tQ .
⌟
Figure 1.89 / Common foliations of Minkowski spacetime (or its part). The left figure
shows the usual inertial foliation, while the right figure shows the Rindler foliation of
the right/left wedges adapted to the trajectory of uniformly accelerated observer.
Chapter 1. Quantum Field Theory Formalism 32
Conjugation
The usual goal is to study unitary QFTs, but as we discussed in Section 1.1 → p.12 ,
when it is possible, it is often convenient to work in the Euclidean signature. In
the following we will look at the Euclidean version of the Hermitian conjugation.
For the purposes of this and following chapter, we will explicitly indicate by a
pre-superscript L/E in what signature we consider the given object. As we will
see shortly, the conjugation in the Euclidean signature slightly differs from the
usual one in Lorentzian signature — a Euclidean version of Hermitian operator is
typically not Hermitian in the usual sense. To avoid confusion, it is helpful to
introduce extra nomenclature.
Remark 1.93. Alternatively, we can think of LO∗ as first performing the complex
conjugation of the underlying classical field, and only then representing it as an
operator on the Hilbert space, giving us precisely LO† . ⌟
Remark 1.94. In a unitary Lorentzian QFT, the symmetry generators are rep-
resented as conserved charges which are (anti)unitary operators — depending
on whether we include ı̊ in the finite exponentiated transformation — such that
their exponentiated actions are unitary transformations of the Hilbert space. In
particular, the energy–momentum tensor is real. ⌟
Remark 1.98. We could freely take all indices to be the upper ones, since we are
in the Euclidean signature. ⌟
Chapter 1. Quantum Field Theory Formalism 34
=− d d−1
x T a (τ, x)
E 0
−Θab ξ b (−τ, x) ≡ EQ−AdΘ ξ ≡ EQ−ΘξΘ .
τ =−const.
and applying Definition 1.97 , it follows that EP0 is Hermitian and EPi are
→ p.33
anti-Hermitian. So by identifying
E
P0 ≡ H ≡ LP0 , E
Pi ≡ −ı̊ LPi ,
the first using directly the Euclidean generators of translations, and the second
obtained by Wick rotation of the standard Lorentzian formula. ⌟
Chapter 1. Quantum Field Theory Formalism 35
Remark 1.102. From the Lorentzian point of view the time-direction is clearly
special, and this is reflected in the way Euclidean conjugation acts. If we take
as a starting point the Euclidean theory, there is initially no preferred direction.
It only appears when we choose a direction we call “time” — we conventionally
label the associated index with “0” — and attempt to quantize it in a way such
that it can be analytically continued to a unitary Lorentzian theory. ⌟
Remark 1.106 (Reconstruction Theorems). For a unitary QFT in a flat space, the
famous reconstruction theorems assert that the correlation functions — called
Wightman distributions in the Lorentzian Minkd ≡ R1,d−1 and Schwinger functions
in the Euclidean Rd — completely determine the quantum theory, including its
Hilbert space.
The positivity requirements mentioned above are absolutely crucial for such
reconstruction (in addition to other technical assumptions), otherwise one could
not invert the Wick-rotation to obtain a local unitary QFT in Lorentzian signature,
as there would be no probability interpretation for states in H [20] [21] [22].⌟
As unitarity and reflection positivity in the respective signatures are essentially
equivalent, we will often refer to both as “unitarity”, even though most of the
time we will be working in the Euclidean signature. Some of their implications in
the context of CFTs will be discussed in Section 3.4 → p.78 and Section 3.5 → p.86 .
Finally, let us remark that — at least on a formal level — the Euclidean path
integral is reflection-positive.
Remark 1.107 (Reflection Positivity of Euclidean Path Integral). Using the locality as
in Idea 1.45 → p.14 , we can split the path integral into positive (τ > 0) and negative
(τ > 0) Euclidean “time” parts. Assuming that the Euclidean path integral
E
Alternatively, since the action is real, we can separate and split the interaction
part of the action as (again the locality is crucial)
E int [ϕ] E int E int E int
e− S = e− Sτ >0 [ϕ] e− Sτ <0 [ϕ] ≡ Θ[F ∗ ] F , with F ≡ e− Sτ <0 [ϕ] ,
Of course, while this is formally true for local Euclidean theories, difficulties
can (and do) arise when one tries to turn these expressions into well-defined
quantities. ⌟
37
2
Beyond Basic Perturbation Theory
It is often the case that a “basic” perturbation theory — Feynman diagrams to
some finite order — is not enough to describe the phenomena we are interested in.
Alternatively, we want to know which properties are present in the full theory,
and perturbation theory is sometimes able to give us some hints, but more often
falls short of giving us an adequate picture.
In this chapter we will only briefly comment on some notions and concepts which
are useful in this context, and for understanding QFT in general. For much more
thorough accounts and deeper insights we refer the reader to the literature, for
example [5] [23] [24] [25] [26] [27] [28].
By examining its form, we can read out exact/full propagators and 1PI
vertices, reducing the calculation to drawing only “classical” tree graphs. We
focus on this type of effective action in the following.
Remark 2.1. As we can see, effective actions correspond to a certain partial
evaluation of the path integral. For interacting theories, even such partial path-
integration is usually not feasible to perform exactly, and we have to resort to
some perturbation scheme. ⌟
Our goal is to obtain Quantum Effective Action Γ , which would govern Φ similarly
to how S governs ϕcl . We thus promote ΦJ to a primary variable Φ and demote
J to a derived one JΦ , which is (implicitly) defined such that
δW δW ⃓⃓
⃓
ΦJ = Φ=
δJ δJ ⃓J =JΦ
holds.
Inspired by similar scenarios in
Legendre Transform
• Classical Mechanics — Lagrangian L velocities q̇ ←→ p momenta
H Hamiltonian ,
Legendre Transform
• Thermodynamics — Helmholtz Energy F G Gibbs Energy ,
volume V ←→ p pressure
that is (︂ )︂ ⃓⃓
Γ [Φ] = W[J ] − J •Φ ⃓ ,
J =JΦ : Φ= δW
⃓
δJ
or conversely
(︂ )︂ ⃓⃓
W[J ] = Γ [Φ] + J •Φ ⃓ .
δΓ
⃓
Φ=ΦJ : J =− δΦ
Chapter 2. Beyond Basic Perturbation Theory 39
Idea of the Proof. See any of [26] [27] [5] [10] for the detailed proof. The
idea is that connected graphs contributing to WΓ [J ], see Proposition 1.38 → p.11 ,
have the following dependence on k̄ — propagator is inverse of the quadratic term
in k̄1 Γ and hence proportional to k̄, while each interaction vertex carries a factor
of 1/k̄ from the k̄ı̊ in front of Γ — so a graph with I internal lines and V vertices
is proportional to k̄ I−V = k̄ L−1 , where L = I − V + 1 is the number of loops for a
connected graph.
(0)
The leading contribution WΓ ∝ k̄ 0 for k̄ → 0 is thus given by the connected
tree graphs, but alternatively it is given by the stationary-phase/saddle-point
approximation of the path integral, giving us
(︂ )︂ ⃓⃓
(0)
WΓ [J ] = Γ [Φ] + J •Φ ⃓ ≡ W[J] ,
δΓ
⃓
Φ=ΦJ : J =− δΦ
where we recognized the Legendre transform relation between Γ and W. Since any
connected graph can be understood as a tree graph made with vertices representing
Chapter 2. Beyond Basic Perturbation Theory 40
where we factored out the volume VM ≡ vol(M) of the spacetime, and V (Φ0 )
is the effective potential — for constant Φ = Φ0 we are only left with potential
terms in the effective Lagrangian.
It can be then shown that the value of V (Φ0 ) is the minimum of the expectation
value of the energy density among all states satisfying ⟨ϕ⟩Ω ≡ ⟨Ω|ϕ|Ω⟩ = Φ0 . The
ground state (vacuum) is thus found by minimizing the effective potential V .
Say a minimum is at Φg . To avoid working with linear “tadpole” terms in the
effective action Γ (or fields with nonzero VEV), the calculations naturally proceed
in terms of the shifted fields ϕ˜︁ ≡ ϕ − Φg . If the minimum Φg is not invariant
under some symmetry of the original action S, we say that the symmetry is
spontaneously broken. ⌟
Remark 2.9 (Slavnov–Taylor Identities). Consider a continuous symmetry transfor-
mation generated by (F depends locally on ϕ)
ϕ ↦−→ ϕ′ ≡ ϕ + εF [ϕ] ,
Then we have
∫︂ ∫︂
ı̊ ı̊
(S[ϕ′ ]+J • ϕ′ )
Z[J ] = Dϕ e ′ ℏ = Dϕ e ℏ (S[ϕ]+J • ϕ+εJ • F [ϕ])
∫︂
ı̊
(︂ )︂
= Dϕ e ℏ (S[ϕ]+J • ϕ) 1 + ε ℏı̊ J • F [ϕ] + . . .
(︂ ⟨︂ ⟩︂ )︂ ⟨︂ ⟩︂
≡ Z[J ] 1 + ε ℏı̊ J • F [ϕ] + ... =⇒ J • F [ϕ] = 0.
J J
Chapter 2. Beyond Basic Perturbation Theory 41
δΓ ⟨︂ ⟩︂
• F [ϕ] = 0.
δΦ JΦ
In other words, the effective action Γ [Φ] is invariant under the transformation
⟨︂ ⟩︂
Φ ↦−→ Φ′ ≡ Φ + ε F [ϕ] .
JΦ
Unavoidably, every (realistic) model works with particular set of relevant degrees
of freedom (DOF), while the rest can at most induce effective interactions between
our chosen DOF. Thus, it is natural that our effective theory has finite domain of
applicability, beyond which it is not able to encompass all interesting/relevant
phenomena.
Remark 2.11. Why is it only in QFT that such detailed discussion is necessary?
Why did not questions of similar nature appear already in Classical Mechanics,
Relativity, or ordinary Quantum Mechanics? The answer lies in the unique
combination of crucial aspects present in Relativity and Quantum Mechanics:
• Classical Mechanics (CM) — There is not much to discuss, since our system
is described precisely by its location in the phase space, and the evolution is
deterministic — not really space for crazy stuff.
• Relativistic Mechanics (RM) — new aspect enters — Mass is just a form
of energy, allowing us to create and destroy particles. Still, energy being
conserved, we have only so much options, and we are not bothered by any
DOF lying (energetically) far beyond our reach.
• Quantum Mechanics (QM) — new aspect enters — Evolution is not deter-
ministic in the strong sense of CM, since from path integral point of view all
possible evolutions contribute in certain sense. Yes, the physical language and
intuitions drastically change, nonetheless, choosing basically any particular
QM system we obtain a self-consistent description.
• Quantum Field Theory (QFT) — Only when we combine RM and QM we
face a fundamental difficulty. By QM our system goes through all available
processes, which by RM can include producing particles of essentially arbitrary
type (supposing the fields are not in totally decoupled sectors). We thus
necessarily encounter cross-linking and interaction of various DOF, which
would be otherwise (classically) unreachable. ⌟
After reading the last point, it could seem hopeless to obtain any reasonably
predictive theory without “knowing everything”. This is in stark contrast with
our experience, where even idealized physical models prove immensely useful.
This is rooted in the fact that vast amount of high-energy physics effects (say at
energy scales higher than Λ) essentially decouples. Certain aspects of this can be
illuminated in the framework colloquially known as renormalization theory, to be
discussed below.
Remark 2.12 (Lattice Models, Condensed Matter Physics). All of this is conceptu-
ally clear in lattice models or condensed matter physics, where the field theory
description is effective from the start, and valid only on length scales |x| ≫ a
much larger than the lattice spacing a. ⌟
Chapter 2. Beyond Basic Perturbation Theory 43
carries all information about the theory for energies/momenta k ≡ |k| < Λ0 , or
equivalently for distances |x| > L0 ≡ Λ−10 . If we are interested in low-energy
large-distance physics, we can try to simplify our description by integrating out
the high-energy degrees of freedom.
With such generic initial action (for simplicity we consider a single real scalar ϕ),
the Wilsonian effective action for some cutoff Λ will be of the form
∑︂ ci (Λ) n /2
[︄ ]︄
∫︂
ZΛ
Λ
Seff [φ] = d x (∂φ)2 +
d
ZΛi Oi [φ] ,
M 2 i Λ d i −d
where the field renormalization factor ZΛ accounts for the possible corrections to
n /2
the kinetic term. We also introduced a factor ZΛi before Oi ∝ φni , such that in
terms of the renormalized field
1/2
ϕ ≡ ZΛ φ
we have again a canonically normalized kinetic term, and the whole effective
action of the form Seff
Λ
[φ] = Sc(Λ)
Λ
[ϕ] as defined in Definition 2.17 → p.44 .
By Definition 2.13 → p.43 , changing the cutoff scale together with the appropriate
“running” of the couplings leaves the low-energy physics unchanged.
where the first term compensates the explicit powers of Λ in Definition 2.17 → p.44 ,
and the second term represents the quantum effect of integrating out the high-
momentum modes.
One can see that we have β quant = 0 in a free (massless) theory with c = 0, since
the high-momentum modes are completely decoupled from the low-momentum
ones. Thus, β = 0, and the couplings are constant. We will discuss such fixed
points more generally in a moment. ⌟
Suppose we want to calculate n-point correlators inserted at well separated points
x1 , . . . , xn ∈ M. Since high-energy modes do not play much of a role, we can use
the effective action at some scale Λ as
⟨︂ ⟩︂ 1 ∫︂ −S Λ [Z
1/2
φ]
φ(x1 ) · · · φ(xn ) ≡ [Dφ]k<Λ e c(Λ) Λ φ(x1 ) · · · φ(xn ) ,
Λ,c(Λ) Z
where we allowed the possibility that we did not yet canonically normalize the
1/2
field. For the renormalized field ϕ ≡ ZΛ φ we define renormalized correlation
functions
⟨︂ ⟩︂ ⟨︂ ⟩︂
(n) n/2
ΓΛ,c(Λ) (x1 , . . . , xn ) ≡ ϕ(x1 ) · · · ϕ(xn ) ≡ ZΛ φ(x1 ) · · · φ(xn ) .
Λ,c(Λ) Λ,c(Λ)
If the field insertions are really far apart — equivalently involve modes with
energies E ≪ Λ — we would obtain the same (nonrenormalized) correlators if we
first integrated out modes in the range (sΛ, Λ] for some s < 1. For an arbitrary
configuration of (distinct) points, we can choose s sufficiently close to 1 such that
effect of integrating out the high-momentum modes is still negligible.
∂Λ ∂c
Scale-Dependence of Theories
Up to now we discussed effective descriptions (with different UV cutoffs) of the
same low-energy theory. As we will see shortly, this is connected to the behavior
at different length scales.
Remark 2.21 (RG Flow and Scaling). Suppose that after integrating out modes in
the range (sΛ, Λ] as above, we additionally perform a scaling transformation
x ↦−→ x′ ≡ sx , dd x ↦−→ dd x′ = sd dd x ,
Λ ↦−→ Λ′ ≡ 1s Λ , ∂ ↦−→ ∂ ′ = 1s ∂ ,
d−2
ϕ ↦−→ ϕ′ (sx) ≡ s−dϕ ϕ(x) ≡ s− 2 ϕ(x) ,
under which the action in Definition 2.17 → p.44 is invariant. Therefore, we have
[︄ ]︄n/2
x1 xn ZΛ x1 xn
(︃ )︃ (︃ )︃
(n) (n)
ΓΛ,c(Λ) ,..., = ΓsΛ,c(sΛ) ,...,
s s ZsΛ s s
[︄ ]︄n/2
ZΛ d−2 (n)
= s 2
n
ΓΛ,c(sΛ) (x1 , . . . , xn ) ,
ZsΛ
where in the second line we just performed the scaling transformation, which does
not affect the couplings c(sΛ).
In this way we ended up with the same UV cutoff Λ, and related correlation
functions at different scales. When s → 0, the left-hand side probes correlations
at longer and longer distances, while the distances on the right-hand side are kept
constant, but (apart from the prefactor) we let the coupling run to the IR.
This is what we would expect — the IR behavior is governed by the low-energy
effective theory (and corresponding couplings which survive) obtained after we
integrate out all of the high-energy modes. ⌟
The scaling is thus determined by the scaling dimension of the field ϕ defined as
d −2
∆ϕ ≡ + γϕ = dϕ + γϕ ,
2
so in addition to the classical mass dimension dϕ = (d − 2)/2 we also need to
include the anomalous dimension γϕ defined in Proposition 2.20 → p.45 . It generally
depends on the energy scale Λ and the couplings c(Λ), and similarly to β-functions,
it is zero in the free massless theory, see Remark 2.19 → p.45 . ⌟
Chapter 2. Beyond Basic Perturbation Theory 47
Fixed Points
Very special things happen, when the β-functions vanish at some point in the
space of couplings.
Remark 2.24 (Correlation Length, Mass Gap, Critical Point). The (connected)
two-point correlators at large distances typically decay as
⟨︂ ⟩︂ 1 |x−y|
− ξ
ϕ(x)ϕ(y) ∼ ϑ e ,
conn |x − y|
This is because the dominant contribution comes from the propagation of the
lightest particle/state (apart from the vacuum).
The fixed points however can not have any characteristic scale (such as correlation
length or mass), since they would necessarily change under the renormalization
flow or scaling. Only possibilities are thus:
(1) ξ = 0 ⇐⇒ mgap = ∞ — Correlation functions of local operators vanish, and
we are left with a TQFT. This is what typically happens for generic statistical
and condensed matter systems, since microscopic correlation lengths are
typically ξ ∼ a, which is negligible at large distances. It can be understood
as flowing off to the infinity of the coupling space.
(2) ξ = ∞ ⇐⇒ mgap = 0 — For specially tuned couplings it can happen we flow
into a critical point, where correlation functions do not decay exponentially at
large distances, but rather as a power law. This is the case of the second-order
phase transitions.
⌟
Remark 2.25 (Two-Point Function at Criticality). Since c∗ = const. , also the
anomalous dimension γϕ (c∗ ) ≡ γϕ∗ is constant. The scaling in Remark 2.22 → p.46
can be then easily exponentiated as
[︄ ]︄1/2
ZΛ d−2
s 2 = s∆ϕ .
ZsΛ
Chapter 2. Beyond Basic Perturbation Theory 48
Therefore, for the 2-point function we have scaling symmetry Remark 2.21 → p.46 ,
which together with the translation/rotation invariance gives
x y 1
⟨︃ (︃ )︃ (︃ )︃⟩︃ ⟨︂ ⟩︂ ⟨︂ ⟩︂
ϕ ϕ = s2∆ϕ ϕ(x)ϕ(y) =⇒ ϕ(x)ϕ(y) ∼ .
s s |x − y|2∆ϕ ⌟
Alternatively, we could obtain the same result using the Callan–Symanzik equation
Proposition 2.20 → p.45 .
Example 2.26 (Free Theory, Generalized Free Field, Mean Field Theory). As already
mentioned in Remark 2.19 → p.45 and Remark 2.22 → p.46 , the free massless theory
is a fixed point of the renormalization group flow, and thus should have 2-point
function ⟨︂ ⟩︂ 1 1
ϕ(x)ϕ(y) ∼ free ≡ .
|x − y|2∆ϕ |x − y|d−2
Indeed, this is a solution of the free equation of motion ϕ = 0. The higher-order
correlators are then obtained by Wick’s theorem Example 1.33 → p.9 .
In the context of QFT in AdS to be discussed in Chapter 4 → p.91 , we naturally
encounter Generalized Free Fields (GFFs) — they share the same factorization
property of correlators as the free theory, but have a generic (noninteger) scaling
dimension ∆ϕ .
We will use term Mean Field Theory (MFT) for theories built out of GFFs. Fields
in such theories do not obey simple local equations of motion, so they do not
admit a local Lagrangian description. In particular, MFTs do not have a conserved
energy–momentum tensor. ⌟
Remark 2.27 (Weyl and Conformal Symmetry at Critical Point). The same correla-
tion function was already obtained in Example 1.73 → p.25 using a stronger Weyl
symmetry, which contains arbitrary local scaling transformations. In fact, this is
what often happens at critical points — if a theory is local, and also scale invariant
by virtue of being critical, it generically enjoys further symmetry enhancement —
it becomes conformally invariant. In the next Chapter 3 → p.51 , we will study such
Conformal Field Theories (CFT) in more detail. ⌟
Universality
Now we will look at theories near, but not directly at, a fixed point c∗ of RG flow.
Since by definition β(c∗ ) = 0, we can linearize the flow around the fixed point,
and write
∂c ⃓⃓ ∂βi ⃓⃓
⃓ ⃓
Λ ≈ M δc + O(δc ) ,
•
2
Mij ≡ .
∂Λ ⃓c ≡ c∗ +δc ∂cj ⃓c∗
Assuming the matrix M can be diagonalized with eigenvectors ui and eigenvalues
λi ≡ ∆i − d, we can write
)︄∆i −d
Λ
(︄
∂ui
Λ = λi ui + . . . =⇒ ui (Λ) = ui (Λ0 ) + . . . .
∂Λ Λ0
Chapter 2. Beyond Basic Perturbation Theory 49
?
Recalling Remark 2.19 → p.45 , we would classically expect λi = di − d, but in-
teractions usually induce some anomalous dimension γi ≡ ∆i − di . Similarly
to Remark 2.22 → p.46 , ∆i = di + γi is the scaling dimension of the operator Oi
corresponding to the coupling ui .
Example 2.29 (Mass Term). For a free scalar field ϕ, the mass term corresponds to
the operator ϕ2 with the scaling dimension equal to the classical mass dimension
d −2
∆ϕ2 = dϕ2 = 2 = d − 2.
2
This can be seen from Remark 2.19 → p.45 , where for free theory we have βϕquant
2 = 0,
and only the classical scaling due to explicit power of Λ appears
∂m2
Λ = (dϕ2 − d)m2 = −2m2 .
∂Λ
Clearly, it is a relevant deformation, so as we lower the energy scale Λ, we flow
away from the free Gaussian critical point with m2 = 0. Eventually we reach
trivial theory with mgap = ∞ — see Remark 2.24 → p.47 — since every massive
mode gets integrated out, and we are left with the vacuum. ⌟
Remark 2.30 (Finite Number of Relevant Operators). Since each derivative or
new field adds to the dimension of the operator — anomalous dimensions do
not overwhelm the classical contribution — there can be only finitely many (and
typically just a few) relevant operators.
As a consequence, even though a generic (effective) QFT is parametrized by in-
finitely many couplings, the vast majority is irrelevant and gets quickly suppressed
in the IR. This is the reason why Effective Field Theories are really effective,
as only a handful of couplings govern the low-energy physics. The rest gives
subleading corrections, and if needed, they can be systematically accounted for.⌟
Chapter 2. Beyond Basic Perturbation Theory 50
Remark 2.31 (Universality, Critical Exponents). Another facet of the same idea is
the universality of the critical points. Many systems differing in their microscopic
description — when appropriately tuned — flow to the same critical/fixed point.
This explains why critical behavior at second-order phase transitions (captured by
the critical exponents) is shared by many systems. Depending on the fixed point,
they can be categorized into universality classes. Theories in the same universality
class are described by the same CFT and by the same few relevant operators,
which is also reason for various relationships between the critical exponents. ⌟
Example 2.32 (Ising Model in d = 3, Liquid–Vapor Transition, φ4 Theory). In
d = 3, the Ising model (uniaxial magnet) at critical temperature, critical point of
vapor–liquid transition, and critical ϕ4 theory, all fall into the same universality
class.
While the Z2 symmetry of the Ising model and ϕ4 theory is manifest microscopically,
for the liquid–vapor it is only emergent at the critical point. On the other hand,
water (or ϕ4 theory) has full rotational symmetry, which is not manifest for the
lattice Ising model. ⌟
51
3
Conformal Field Theory
The importance of Conformal Field Theories (CFTs) in both physics and mathe-
matics can be hardly overstated. Let us briefly mention some of the connections
and motivations to study them (in no particular order):
• At critical points of statistical systems — second order transitions — the
correlation length diverges, and theories become scale-invariant. By this we
mean that fluctuations and their correlations are no longer exponentially
suppressed at long distances, but follow power-laws characteristic to critical
phenomena.
Furthermore, it generically happens that local theories enjoy an additional
symmetry enhancement — they become conformally invariant, and are thus
described by Euclidean CFTs. Note that emergence of such symmetries at
large distances is rather nontrivial for discrete models — imagine the Ising
model on a square lattice — as they initially do not even posses symmetry
under arbitrary rotations.
• Connected to the previous point, the fixed points of the RG flow are usually
described by CFTs. Being such special landmarks in the space of QFTs, they
are important for their study — oftentimes, we can understand a UV-complete
QFT as an RG flow CFTUV CFTIR triggered by deforming the CFTUV .
• Having a larger symmetry group (compared to standard isometries), we obtain
stronger constrains on the theory. This makes non-perturbative “bootstrap”
approaches based mainly on the symmetry and consistency of the underlying
theories much more potent. Such program is in particular successful for d = 2,
where the conformal algebra becomes infinite-dimensional, sometimes allowing
to completely solve particular classes of theories [29].
• String theory falls under the purview of two-dimensional CFTs, since in the
standard formulation it is “just” a specific σ-model on a two-dimensional
CFTworldsheet .
• There are also fruitful relations to TQFT, which can be exploited to study
topological invariants [30].
• Last, but not least, there is the AdS/CFT correspondence, also known as
holography or gauge/gravity duality. The original formulation by Maldacena
[31] related a theory with dynamical gravity in asymptotically AdS spacetime
to a non-gravitational CFT in one less dimension “living” on the boundary.
Since then, it has become much more general.
Even without dynamical gravity, a QFT in fixed AdS background admits
asymptotic observables (boundary correlation functions) satisfying basically
all of the CFT axioms.
Chapter 3. Conformal Field Theory 52
Remark 3.1 (Gapped QFT vs CFT). The language and methods used to study
CFTs are very different from the ones used for QFTs with a mass gap (or QFTs
with finitely many massless particles in the IR).
In the latter case, due to the mass gap, widely separated particles cease to interact.
We can thus define asymptotic states behaving like free, non-interacting particles,
and study their scattering amplitudes/S-matrix (with appropriate care, it is also
possible to treat massless particles).
On the other hand, in CFTs, it is impossible to disentangle the continuum of
massless excitations — interactions never “turn off” completely at large distances
— so we cannot define asymptotic states and the S-matrix. Instead, we are mainly
interested in the correlation functions of local operators, and utilize the stronger
conformal symmetry to study their structure. ⌟
Exposition of this chapter was strongly influenced by [32] [11] [4], and also
[33] [34] [35] [36].
Conformal Transformations
It is natural that a local field theory invariant under global scaling transformations
will be also invariant under local scaling transformations. By this we mean that
the induced mapping leaves the metric invariant up to a conformal factor, which
can depend on the spacetime point.
Remark 3.4. After a Weyl transformation with a conformal factor Ω, the lengths of
vectors at a point x ∈ M are multiplied by Ω(x). Thus, conformal structure enables
us to locally measure angles and ratios of lengths, but not lengths themselves. ⌟
Remark 3.5. Every pseudo-Riemannian manifold has automatically a conformal
structure. However, we can also consider manifolds which intrinsically have just
the conformal structure, with no canonical/preferred metric.
Examples are boundaries of pseudo-Riemannian manifolds after a compactification
à la Penrose [37]. The metric initially does not extend over the boundary where
it diverges, and to make it regular we need to perform a Weyl transformation
which itself vanishes at the boundary. Since there is no natural choice of such
prescription, we are left with the whole equivalence class of metrics, giving us just
the conformal structure. ⌟
diffeomorphism, and we easily see that its inverse is also conformal. It thus
makes sense to say that two manifolds are conformally equivalent if there exists a
conformal diffeomorphism between them.
In the case of pseudo-Riemannian manifolds, the associated conformal factors
for composition of conformal maps and inverse of conformal diffeomorphism are
straightforward to calculate from definition. Manifolds with conformally equivalent
metrics — see Definition 3.3 → p.53 — are automatically conformally equivalent,
where the conformal diffeomorphism is provided by the identity map. ⌟
Remark 3.8. Since null geodesics are mapped to null geodesics by conformal maps
of a Lorentzian manifold, we can say — ignoring the possible time-reversals —
that conformal transformations preserve the causal structure of the manifold. ⌟
Example 3.9 (Dilatation in Flat Space). Apart from the usual isometries of the
flat space Rp,q (with usual metric) — translations and pseudorotations — other
prominent conformal transformations are the dilatations (scaling transformations).
These are given in the usual Cartesian coordinates by
Dλ : Rp,q −→ Rp,q
x ↦−→ x′ ≡ Dλ (x) ≡ λx ,
′
and can be easily seen to be conformal with Ω = λ since ∂x∂x
= λ1. All of such sim-
ple conformal transformations with constant Ω are illustrated in Figure 3.10 → p.54 .⌟
ϕ: Sn \{N} −→ Rn
(︄ ⃓ n )︄
⃓ ∑︂ (︂ )︂
x≡ x , x , . . . , x ⃓ (xi )2
0 1 n ⃓
= 1 ↦−→ x ≡ ϕ(x) ≡ 1
1−x0
x1 , . . . , xn ,
⃓
i=0
Chapter 3. Conformal Field Theory 55
1 n
1 − (x0 )2 1 + x0 x2 − 1
x ≡ |x| =
2 2
(x ) =
i 2
= ⇐⇒ x = 2
0
∑︂
,
(1 − x0 )2 i=1 (1 − x0 )2 1 − x0 x +1
i
giving rest of the components as xi = (1 − x0 )xi = x2x
2 +1 . We can quickly check that
N
Rn+1 ⊃ Sn
x
Rn , {x 0 = 0}
0
x
Remark 3.13. Conformal maps in Rd can be viewed through the lens of such
stereographic projections. The idea is to make the inverse stereographic projection
Rd → Sd ↪→ Rd+1 , then some isometry of Rd+1 (rotation + translation), and
finally the stereographic projection back to Rd , for which we need to formulate
stereographic projection for arbitrary positioning of the sphere in Rd+1 . For more
details see Section 1.2 of [38]. ⌟
We will be mainly interested in conformal transformations for d ≥ 3 spacetimes.
Nevertheless, let us briefly mention the specialties of d = 1 and d = 2.
Example 3.14 (Conformal Transformations in d = 1). Since in d = 1 there is no
angle dependence and metrics have only one component, any diffeomorphism is
automatically conformal. For example a diffeomorphism ϕ : R → R — endowing
the real line with the standard metric g = dx2 — is conformal with Ω = dϕ
dx
. ⌟
Chapter 3. Conformal Field Theory 56
∼ z4 ∼ z3
∼ z1 ∼ z2
©2025 Jonas Dujava
Together with the Riemann mapping theorem, this provides a powerful tool for
studying for example classical electrostatics or ideal hydrodynamics in d = 2, as
is showcased in the following.
Example 3.17 (Parallel Plate Capacitor in d = 2). Consider a (finite) parallel plate
capacitor in R2 . How can we find (at least approximately) the electric potential ϕ
in the region near end of the plates, which satisfies Laplace equation △ϕ = 0 and
boundary conditions ϕ|plate± = ±V on plates?
We can utilize that conformal transformations map solutions of Laplace equation
to solutions of Laplace equation in d = 2, since △ = g− /2 ∂a (g /2 g ab ∂b ) and the
1 1
Legend:
equipotentials
field lines
©2024 Jonas Dujava ©2024 Jonas Dujava
capacitor plate ©2024 Jonas Dujava ©2024 Jonas Dujava
Conformal Group
We usually work with just one underlying manifold as our spacetime, so most
interesting conformal transformations in our case have the same manifold both for
the domain and the target. As already mentioned in Remark 3.7 → p.53 , the identity
©2024 Jonas Dujava ©2024 Jonas Dujava
map is always conformal and composition/inverse of a conformal diffeomorphism ©2024 Jonas Dujava ©2024 Jonas Dujava
Remark 3.21 (Left Action of Conformal Group). We have a natural left action
▷ : Conf(M) × M → M, (g, x) ↦→ g ▷ x ≡ g(x), where we first think of g as some
abstract group element, and then as a conformal automorphism of M. By action
being left we mean the property g ▷ (h ▷ x) = (gh) ▷ x = g(h(x)) ≡ (g ◦ h)(x). ⌟
Remark 3.22 (Fundamental Vector Field). A Lie algebra element X ∈ Lie(Conf(M))
generates a 1-parametric subgroup of Conf(M) through the exponential map
ϕε ≡ eεX ∈ Conf(M), ε ∈ R. The flow ϕ : R × M → M is in turn generated by
a vector field ξX ≡ dε
D
ϕε |ε=0 ∈ T M, which is called the fundamental vector field
corresponding to X.
Generally, having a group G with a left action on M, it can be shown that the
map Lie(G) ≡ g → T M, X ↦→ ξX assigning the fundamental vector field is a
Lie algebra antihomomorphism, that is ⟦ξX , ξY ⟧ = ξ−[X ,Y ] , where ⟦•, •⟧ is the Lie
bracket of vector fields and [•, •] is the Lie bracket of g. ⌟
d
⃓
≡ ϕ∗ε g ⃓⃓ = ∇a ξb + ∇b ξa = 2κ gab ,
⃓
Lξ gab
dε ε=0
iso(M) ⊂ conf(M) ⊂ TM ,
Chapter 3. Conformal Field Theory 59
where the iso(M) is the Lie subalgebra of Killing vectors (κ = 0), and T M is the
infinite-dimensional Lie algebra of smooth vector fields on M. ⌟
Remark 3.26 (Lie Algebra of Conformal Group versus CKVs). By Remark 3.22 → p.58
we have a natural inclusion Lie(Conf(M)) ↪→ conf(M) of the Lie algebra of the
conformal automorphism group into the Lie algebra of CKVs.
For M compact, it is actually an isomorphism, since the flow of a CKV can be
globally integrated, yielding a 1-parametric subgroup of Conf(M). However, in
general conf(M) can be bigger than CKVs corresponding to global conformal
transformations, since it can happen that the differential equation defining the
flow can blow up for some value of the affine parameter. ⌟
Remark 3.27. Conformally equivalent metrics share their CKVs, since we have
Lξ g ′ ≡ Lξ (e2ω g) = (2ξ(ω) e2ω + 2κ e2ω )g = 2(ξ(ω) + κ)g ′ ≡ 2κ′ g ′ . ⌟
Remark 3.28. Conformal Killing vectors have constant “nature” — they stay
timelike, spacelike, or null — along their integral curves. We can see this by
differentiating f ≡ ξ 2 ≡ g(ξ, ξ) along the associated integral curve xξ (t). We
obtain df dt
= Lξ f = 2κf using Lξ ξ = ⟦ξ, ξ⟧ = 0. By uniqueness of the solution of
smooth first-order differential equations we infer that f has a constant sign, since
if it is zero at any point, it stays zero along the whole integral curve. ⌟
Proof. Writing the covariant derivative of CKV equation in Definition 3.23 → p.58
three times with permuted indices, and summing them in a particular way gives
where we used the Ricci identity (∇a∇b − ∇b∇a )ξc = −Rabnc ξn . Using it once
more to commute indices ba in the term ∇b∇a ξc , and utilizing the Bianchi identity
(d + 1)(d + 2)
dim conf(M) ≤ ,
2
and in the case of Killing vectors we have (holds for arbitrary d)
d(d + 1)
dim iso(M) ≤ .
2
Conformal Compactification
As already mentioned in Remark 3.26 → p.59 , not all CKVs can be integrated
to obtain global conformal transformations. Since we want to retain as many
symmetries as possible — and it is anyway mathematically elegant — we will
always try to complete M such that every local conformal transformation can be
extended to a global one.
Such completion would be achieved by embedding M into a compact manifold M′
(by adding measure zero set of points) with the compatible conformal structure,
since then every CKV can be globally integrated [41].
Remark 3.34. Conformal compactifications in this strong sense exist only for
d ≥ 3, since for example in d = 2 it is not possible to continue all local conformal
transformations to global ones.
If the conformal compactification of M exists, it is unique (up to diffeomor-
phism), and we denote it with M. Oftentimes we will omit such distinction
and implicitly mean M, for example when we write Conf(M). Furthermore, by
Remark 3.26 → p.59 we can now identify Lie(Conf(M)) with conf(M), but remember
that corresponding Lie brackets differ by extra minus sign. ⌟
∂x′
≡ Ωg (x)Rg (x), Rg (x) ∈ SO(d) or O(d) .
∂x
Alternatively, the scaling factor Ωg is related to the Jacobian by
⃓1
⃓ ∂x′ ⃓ d
⃓ (︄ )︄
1 ∂g(x)
Ωg (x) = ≡ det .
⃓ ⃓ d
⃓ ⃓
⃓ ∂x ⃓ ∂x
⌟
Chapter 3. Conformal Field Theory 62
Due to the simple geometry of Rp,q , we can write down the general form of
conformal Killing vector fields conf(Rp,q ) by explicitly solving the CKV equation.
[CKV]ab ≡ ∂a ξb + ∂b ξa = 2κ ηab
∂ b [CKV]ab =⇒ d∂a κ + ξa = 2∂a κ
d̸=1
∂ a ∂ b [CKV]ab =⇒ 2d κ = 2 κ =⇒ κ=0
d̸=2
∂(a ∂ n [CKV]b)n =⇒ d∂a ∂b κ + ∂(a ξb) = 2∂a ∂b κ =⇒ ∂a ∂b κ = 0
⏞ ⏟⏟ ⏞
∝ κ=0
Remark 3.38. As was mentioned in Remark 3.32 → p.60 , the cases with d ≤ 2
are special. Any vector field in d = 1 is CKV, which is compatible with
Example 3.14 → p.55 . In d = 2 we can have ∂• ∂• κ =
̸ 0, which allows infinite
independent CKVs. For more detail see [4] and [39]. ⌟
Since hopefully everybody knows finite forms of translations and pseudo-rotations,
and we encountered dilatations in Example 3.9 → p.54 , we will look more closely
on SCTs. But first, it is convenient to discuss an important transformation not
continuously connected to the identity component of the conformal group.
Remark 3.39 (Inversion). The (radial) inversion map is given by
I : Rd −→ Rd
x
x ↦−→ I(x) ≡ .
|x|2
It maps 0 to ∞ and vice versa, since I = I −1 . Locally (infinitesimally) we have
∂I a (x) ∂I a ⃓⃓ δba 2xa xb 1 xa xb
⃓ (︄ )︄
a
= = − = δ b − 2 ≡ ΩI (x)Iba ,
∂xb ∂xb ⃓x |x|2 |x|4 |x|2 |x|2
where
⃓ x ⃓2 1
⃓ ⃓
ΩI (x) ≡ = |I(x)|2 = , Iba ≡ (δba − 2x̂a x̂b ) ∈ O(d) ,
⃓ ⃓
⃓ 2⃓
⃓ |x| ⃓ |x|2
so it is rescaling and reflection along the radial direction.
Induced action on a flat metric is
∂I c ∂I d 1
⃓ ⃓ (︂ )︂
c d
(I η)ab ⃓ =
∗ ⃓ = (δ 2x̂c
) 2x̂d
⃓ ⃓
⃓ ηcd a − x̂a δb − x̂b ηcd
∂xa ∂xb |x|4
⃓
x x
1 1
⃓
= 4 (ηab − 4x̂a x̂b + 4x̂a x̂b ) = 4 ηab ≡ ΩI ηab ⃓⃓ ,
2
⃓
|x| |x| x
Chapter 3. Conformal Field Theory 64
∂I b ⃓⃓
⃓ ⃓ ⃓ (︂ )︂
b
(−Ipa I) ⃓⃓ = −∂a I ⃓⃓ =− = 2
2x̂b
⃓ ⃓
∂ b −|x| δ a − x̂a ∂b
x x
|x|2
∂xa |x|x2
⃓
⃓
= 2xa x ∂ − |x| ∂a ≡ 2 ⃓
• ka ⃓⃓ ,
x
D
⃓ ⃓
(−AdI pa ) ⃓⃓ ≡ I ◦ [ ↦→ − εea ] ◦ I(x) ⃓⃓
⃓ ⃓
x dε ε=0
2
D x − |x| εea
⃓ ⃓
= = −|x| ∂a + 2xa x ∂ ≡ ka ⃓⃓ .
2
⃓ ⃓
⃓ •
eb k = e−Ib pI = I e−b p I = I ◦ [ ↦→ − b] ◦ I ,
• • •
that is (︄ )︄ (︄ )︄
x x
e b •k
(x) = I ◦ [ ↦→ − b] 2 =I −b
|x| |x|2
x
|x|2
−b x − |x|2 b
=⃓ =
1 − 2b x + |b|2 |x|2
⃓2
⃓ x
⃓ |x|2 − b ⃓ •
⃓
Since translations completely preserve the flat metric, using the form of Ω2I we
obtain Ω-factor of a SCT as
1 1 1
(︄ )︄
x
Ωb = ΩI − b ΩI (x) = ⃓ 2 = (︂ )︂2 .
|x|2
⃓2
⃓ x
2 − b⃓
⃓ |x| 1 − 2b x + |b|2 |x|2
•
⃓ |x| ⌟
Lemma 3.41 (Lie Brackets of CKVs in Flat Space). Lie brackets of CKVs in
flat space Rp,q (d ≡ p + q ≥ 3) are given by
⟦mab , pc ⟧ = −pa ηbc + pb ηac , ⟦mab , kc ⟧ = −ka ηbc + kb ηac ,
⟦mab , mcd ⟧ = mac ηbd − (a ↔ b) − (c ↔ d) + (a ↔ b, c ↔ d) ,
⟦d, d⟧ = 0 , ⟦d, mab ⟧ = 0 , ⟦pa , pb ⟧ = 0 , ⟦ka , kb ⟧ = 0 ,
⟦d, pa ⟧ = −pa , ⟦d, ka ⟧ = ka , ⟦ka , pb ⟧ = −2ηab d + 2mab .
where R is any rotation. To derive these relations, the relevant places to look are
Example 3.9 → p.54 , Remark 3.39 → p.63 , and Remark 3.40 → p.64 .
It is convenient to introduce alternative basis for the conformal algebra.
l−1,0 = d ,
0 d 1
(pb − kb )
⎛ ⎞
2
l−1,b = 21 (pb − kb ) ,
= ⎜−d 0 (pb + kb ) ⎟
⎜ 1 ⎟
lAB ⎟.
⎜
2
l0,b = 12 (pb + kb ) , ⎝ . ..
.. .
⎠
mab
lab = mab ,
(p+1,q+1)
For capital letters we will use diagonal metric ηAB ≡ ηAB with η−1,−1 ≡ −1,
(p,q)
η0,0 ≡ +1, and ηab ≡ ηab , so we added one timelike and one spacelike
dimension.
Theorem 3.44 (Conformal Algebra and Group of Rp,q ). The generators lAB of
conf(Rp,q ) for d ≡ p + q ≥ 3 have the following Lie brackets
conf(Rp,q ) ∼
= so(p + 1, q + 1) .
Chapter 3. Conformal Field Theory 66
Conf(Rp,q ) ∼
= O(p + 1, q + 1)/Z2 .
Idea of the Proof. First part follows by expanding {lAB } via Definition 3.42 → p.65
in terms of {d, pa , ka , mab }, and then using Lemma 3.41 → p.65 . Second part
can be understood by constructing the conformal compactification using the
embedding/ambient space to be discussed shortly. For a more detailed Theorem
statement and proof, see [39].
Remark 3.45 (Conformal Group of Celestial Sphere). Since sphere Sd−2 is confor-
mally equivalent to flat Euclidean space via stereographic projection, we have
Conf(Sd−2 ) = Conf(Rd−2 ) = SO(1, d − 1), so the conformal group of the celestial
sphere is precisely the Lorentz group. Every light ray is transformed to another
light ray by the Lorentz group, and looking at the corresponding points on the ce-
lestial sphere, they are transformed by the corresponding conformal transformation.
Nice treatment of this can be found in [42]. ⌟
Embedding Space
Both Theorem 3.44 → p.65 and Remark 3.45 → p.66 suggest that viewing given flat
space as embedded in higher-dimensional flat space can lead to a simpler description
of conformal group. This is the idea behind embedding formalism of conformal
field theory. We will just briefly outline the construction, for more details see for
example [11].
S1 × Sd−1
≃ R1,d−1 ∪ {points at infinity}
Z2
with natural action of SO(2, d), which however contains closed time-like curves.
Conformal Cross-Ratios
In the following Section 3.3 → p.69 we will look at correlators in flat-space CFTs.
It will be important to understand how the distances between points transform
under conformal transformations, which is content of the following lemma.
Proof. Follows directly from Lemma 3.46 → p.67 and the fact that each point xi
appears both in the numerator and denominator of the cross-ratios.
Remark 3.49. We could choose different ways how to arrange the points in the
definition of the conformal cross-ratios, but all of them turn out to be expressible
in terms of u and v. ⌟
Chapter 3. Conformal Field Theory 68
Conformal Frame
We can get better intuition about the cross-ratios by considering them in a specific
conformal frame, where using the conformal transformations we place the points
at special positions.
Proof. We will show that any 3-tuple of distinct points can be mapped to the
standard configuration {0, e, ∞}, where e is a point corresponding to some unit
vector. This is done by composing simple conformal transformations as
(︂ )︂
(x1 , x2 , x3 ) SCT
(x′1 , x′2 , ∞) translation
(0, x′′2 , ∞) ↦−→ xˆ︂′′2 ≡ x′′2 /|x′′2 |
dilatation
(0, xˆ︂′′2 , ∞) rotation
(0, e, ∞) .
In the first two steps we move two points to ∞ and 0 using the fact that SCTs are
translations around ∞, and that ∞ is invariant under usual translations. Since
both {0, ∞} are invariant under dilatations and rotations, in the final steps we
can move the third point to any position on the unit circle.
Remark 3.51. For d = 2 such transformations between 3-tuples of points are
unique, which can be seen from uniqueness of transformation to the specified
standard configuration (0, e, ∞). In higher dimensions, we still have freedom to
make rotations that fix the axis pointing in the direction of e. ⌟
Remark 3.52. Conformal frame point of view clearly shows why we could not
construct nontrivial conformal invariants from 3 or fewer points. ⌟
Proof. For large enough set of points, the whole conformal group Conf(Rd ) acts
effectively on the configuration space Cn (Rd ) of n distinct points in Rd . The
number of independent conformal invariants is then given simply by subtracting
the number of symmetries from the dimension of the configuration space, that is
(d + 2)(d + 1)
dim Cn (Rd ) − dim Conf(Rd ) = nd − .
2
For small enough number of points, not all conformal transformations nontrivially
Chapter 3. Conformal Field Theory 69
act on the n-tuple of points, and thus do not reduce the number of independent
conformal invariants.
We can transform any 3 points to the standard configuration (0, e, ∞) using
Lemma 3.50 → p.68 , leaving us with the subgroup SO(d − 1) ⊂ Conf(Rd ) acting on
the remaining n − 3 points. We find a (possibly nontrivial) stabilizer
[︃ )︂]︃
∼
(︂
Stab SO(d − 1) Rd \{0, e, ∞} = SO(d + 2 − n) for n ≤ d + 2 ,
↶
Cn−3
Remark 3.54. Now we see that conformal cross-ratios u and v in Section 3.2 → p.67
indeed capture all of the conformally-invariant information about the positions
of 4 points in Rd . After performing transformation (x1 , x2 , x3 , x4 ) ↦→ (0, x′2 , e, ∞),
where for simplicity we take e ≡ (1, 0, . . . , 0), we can utilize the remaining rotations
to always bring x′2 to the two-dimensional plane x′2 ≡ (x, y, 0, . . . , 0), so we are
generally left with 2 degrees of freedom — in d = 1 it degenerates just to one.
Using such conformal frame, the cross-ratios are given by the squared distances of
the transformed point x′2 from {0, e}, that is (infinities cancel out)
2 2
u = |x′2 | ≡ zz , v = |x′2 − e| ≡ (1 − z)(1 − z) ,
While we do not need to commit to any particular operator formalism yet, which
will be the focus of the next Section 3.4 → p.78 , it is natural to consider surfaces
surrounding the origin.
Even if we do not have a local Lagrangian description in our CFT, and thus no
energy–momentum tensor to explicitly write out the charges as surface integrals
of local operators, the conformal symmetry — and in particular the conformal
algebra — is still represented on the quantum level.
[Qξ , Qζ ] = Q−⟦ξ,ζ⟧ .
Remark 3.57. We included the minus sign such that it is a proper representation
of Lie(Conf(Rd )), since using Remark 3.22 → p.58 we have [QξX , QξY ] = Q−⟦ξX ,ξY ⟧ =
Qξ[X ,Y ] for any X , Y ∈ Lie(Conf(Rd )). Alternatively, under the correlator we have
[︂ ]︂
Q1 , [Q2 , O] = D2 [Q1 , O] = D2 D1 O ,
Remark 3.59. In d = 2 often all local CKVs are included — this in particular
includes CKVs not associated with global conformal transformations, and even
those with singularity at the origin. Corresponding conformal algebra on the
quantum level is generally a central extension of such CKV algebra. ⌟
2 2 2 2
where we write it already represented by quantum charges.
where ∆ is the scaling dimension of the operator, S•• are generators of the
SO(d) representation, and we suppress the corresponding indices carried both
by S and O (and their appropriate contraction). Since we chose S•• to act
from the left, and we want them to have the same commutation relations as
M•• , we have to include a minus sign.
(3) We already know from Remark 3.58 → p.70 that all of K• are lowering operators
for D, which in this case means (using the Jacobi identity)
[︂ ]︂ [︂ ]︂ [︂ ]︂
D, [K• , O(0)] = [D, K• ], O(0) + K• , [D, O(0)] = (∆ − 1)[K• , O(0)] .
(︂ )︂
= ex P D + [−x P , D] + ··· O(0) = (x ∂ + ∆) ex P O(0)
• •
• •
⏞ ⏟⏟ ⏞ ⏞ ⏟⏟ ⏞
x•P ∼[P ,P ]=0
≡ (d + ∆)O(x) .
We proceed similarly also for the other generators. The final formula just needs
to be checked individually for each CKV defined in Proposition 3.37 → p.62 .
Alternatively, we could define primary/descendant operators by starting with the
transformation properties under finite conformal maps.
where we performed the decomposition Remark 3.36 → p.61 into local scaling
and rotation. Often we will keep the g subscript for Ω and R implicit.
The corresponding descendants are operators of the form P• · · · P• O, whose
transformation can be obtained from the transformation of the primary O.
Remark 3.67. The finite transformation Definition 3.65 → p.73 and the infinitesimal
action Proposition 3.64 → p.73 are related by Ugt ≡ etQξ , where the finite conformal
Chapter 3. Conformal Field Theory 74
Tx : ↦→ ex p ( ) = +x Ux ≡ UTx ≡ ex P ,
• •
Anomalous Dimensions
Scaling dimensions of primary operators are fundamental data of the theory which
figure in basically all CFT calculations, in particular the correlation functions.
Also other important quantities such as critical exponents are derived from them.
Therefore, finding their values is one of the major tasks in the study of CFTs.
This is a highly nontrivial task for interacting CFTs. As we already discussed in
Chapter 3. Conformal Field Theory 75
Section 1.1 → p.10 , we can utilize perturbation theory around a certain “free” theory,
where we have a complete knowledge of the scaling dimensions. In such approaches
we calculate quantum corrections due to interactions as a series expansion in some
appropriate parameter.
k=0
Proof. Follows directly from Definition 3.65 → p.73 and ρ ≡ 1 for scalars.
Proof. Translation and rotation invariance implies that scalar correlators can
depend only on the distances between the points — there is no preferred position
or direction. Therefore, they assume a from as stated in the Proposition, or
possibly a sum over such terms with different cij and f .
Since the cross-ratios are conformal invariants, the conformal symmetry of the
correlator Lemma 3.75 → p.75 requires (terms with different cij can not cancel out)
1 ! 1
cij = Ω(x1 ) · · · Ω(xn )∆n
∆1
∏︂ ∏︂
′ cij
i<j |xij | i<j |xij |
1 1
= Ω(x1 )∆1 · · · Ω(xn )∆n
∏︂
,
i<j Ωcij /2 (x i )Ω
c ij /2 (xj ) |xij |cij
where we utilized Lemma 3.46 → p.67 . Since Ω for SCTs depends nontrivially on
the position — see Remark 3.40 → p.64 — the only way to satisfy the conformal
symmetry condition is to have the Ω-factors cancel out for each xi individually.
This is indeed the stated condition for the powers cij .
Picking any allowed {cij } and factoring |xij |−cij out, the rest of the correlator
∏︁
scalar correlators with n ≤ 3, since there are no conformal cross-ratios build from
3 or fewer points as shown in Proposition 3.53 → p.68 and before. Let us look at
them in more detail.
Proof. With one point insertion there are no distances between the points, and
therefore it is generally not possible to satisfy condition in Proposition 3.76 → p.76
unless the correlator is trivially zero, or ∆ = 0.
The proof is concluded by noticing that the only operator with ∆ = 0 is the
identity 1, and that correlators of descendants are given by derivatives of the
primary one-point functions, which in all cases turn out to be zero.
Proof. The condition in Proposition 3.76 → p.76 gives us 3 equations for 3 unknowns
{c12 , c13 , c23 }, which has a unique solution
As the Hilbert spaces HΣ on all different spheres Σ ≃ Sd−1 around the origin are
actually isomorphic — they are related by the scaling symmetry of the theory
generated by the “radial Hamiltonian” D — we are able to formulate the theory
on a single Hilbert space H. Recall Remark 1.67 → p.21 and Section 1.4 → p.29 for
the general story.
But how do we obtain the underlying Hilbert space, together with the inner
product and corresponding conjugation? The idea is to start with the cylinder.
Idea 3.86 (Cylinder Picture and Radial Quantization). The radial quantization
comes from canonically quantizing the theory on a cylinder R × Sd−1 , and then
mapping the cylinder to the flat space Rd via a Weyl/conformal transformation.
In more detail, by expressing x ∈ Rd ∼ = R≥ × Sd−1 as x ≡ |x|x̂ ≡ rn, and then
rescaling the radial coordinate using ϕ : R → R> , τ ↦→ r = ϕ(τ ) ≡ eτ , we obtain
dr2
(︄ )︄
ϕ (︂ )︂
gRd ≡ dr + r gSd−1 = r
2 2 2
+ gSd−1 ≃ e2τ dτ 2 + gSd−1 ≡ e2τ gR×Sd−1 ,
r2
so after a Weyl transformation we obtain the flat metric on the cylinder R × Sd−1 .
Note that only for CFTs we are able to perform such Weyl rescaling to relate the
theory on flat space to the theory on the cylinder.
In the Figure 3.87 → p.80 we clearly see that spheres of the same radius r ≡ |x|
become constant τ slices, and dilatations x ↦→ λx become shifts of cylinder time
τ ↦→ τ + ln λ. Therefore, D now generates isometries via e−τ D , and can indeed
be interpreted as the Hamiltonian of the theory on the cylinder. Another point
worth stressing is that operator insertions at the origin x = 0 correspond to the
preparation of state at τ = −∞. ⌟
Using the Weyl transformation of a correlator Example 1.73 → p.25 with Ω(x) = eτ ,
we obtain transformation of correlator between cylinder and flat space in the form
(here {yi } are points on the cylinder R × Sd−1 )
(︄ n )︄
⟨︂ ⟩︂ ⟨︂ ⟩︂
O1 (y1 ) · · · On (yn ) = eτi ∆ i
O1 (y1 ) · · · On (yn )
∏︂
gR×Sd−1 e2τ gR×Sd−1
i=1
where the right-side (after change of coordinates with ϕ) is the correlator in flat
space Rd .
Chapter 3. Conformal Field Theory 80
R × Sd−1
Rd
r = eτ
r ϕ
ϕ−1 τ
n τ = ln r
n
r ≡ |x| = 0 τ = −∞
©2025 Jonas Dujava
Figure 3.87 / Conformal map between (flat space Rd \{0} R × Sd−1 cylinder).
By adding two additional points at the infinities of the cylinder we actually obtain a
conformal compactification of the flat space Rd ≃ (R × Sd−1 ) ∪ {±∞}.
Definition 3.88 (Cylinder Operator, Flat Operator). The cylinder operator Ocyl.
inserted at (τ, n) ∈ R × Sd−1 corresponds to the flat operator Oflat inserted
at x ≡ ϕ(τ, n) ≡ eτ n ∈ Rd by
Remark 3.89. We often omit subscripts “cyl.”/“flat” and rely on the coordinates
to distinguish which operator or space we have in mind. ⌟
After performing the Wick rotation to the Euclidean cylinder we obtain a reflection-
positive Euclidean CFT, where (recall Section 1.4 → p.32 ) the conjugation acts as
[︂ ]︂
b1 ...bl ∗ a1 ...al ∗
a1 ...al
Ocyl. (τ, n)† = Θab11 · · · Θabll Ocyl. (−τ, n) ≡ Θ Ocyl. (τ, n) .
The radial quantization of CFT in Rd borrows all of this structure and thus
becomes a reflection-positive CFT as well (with an appropriate conjugation).
Using Definition 3.88 → p.80 , we see that the cylinder time-reflection (τ ↦→ −τ )
becomes the radial inversion I defined in Remark 3.39 → p.63 .
Chapter 3. Conformal Field Theory 81
where Iba ≡ δba − 2x̂a x̂b , so the radial inversion operation I in addition to
inverting the position argument also includes the Weyl factor ΩI (x)∆ ≡ |x|−2∆
and a reflection of the indices along the radial direction.
Remark 3.91. We have written above †rad to distinguish the Hermitian conjugation
in the radial quantization (corresponding to D) from the conjugation in the usual
inertial quantization (corresponding to P0 ).
In the following we will often drop the subscript “rad”, as it should be clear when
we are working in the radial quantization. ⌟
so in particular
D† = D , †
M•• = −M•• , P•† = K• .
Idea of the Proof. Obtained from the definition of radial conjugation and relations
in the proof of Lemma 3.41 → p.65 , similarly as in Remark 1.100 → p.34 .
Remark 3.94. We assume O• (x) and O• (y) commute if x ̸= y and |x| = |y|. ⌟
State–Operator Correspondence
Consider the following assignments:
We have thus come to one of the central points of the CFT formalism, which as
we will see has various far-reaching consequences.
Remark 3.98 (FQFT Perspective). Point operators in FQFT context were defined
in Definition 1.61 → p.20 and Remark 1.63 → p.20 as a family of states living on
infinitesimally small spheres around a point. Since CFTs have the scaling symmetry,
spaces HSd−1
r
with different radii r are isomorphic, implying a state on any sphere
has a corresponding point operator at the center. ⌟
by which we mean:
• First, Hsmall is to be identified (by the state–operator correspondence) with
the complex vector space O0 Rd ≃ V of all local observables at the origin. In
particular, we consider here only finite linear combinations of point operators
inserted at the origin. Even though it carries a Hermitian inner product, it is
not a Hilbert space, since it is not complete with respect to it.
• Its completion Hbig on which all operators O(x) act (at arbitrary points), so
it contains all vectors of the form (with {xi } radially-ordered)
which we already discussed in Example 1.64 → p.20 . This works even when inserting
1(x) at a general point x, since [P• , 1(0)] ≡ 0 — we can shrink any topological
surface operator to zero, which is equivalent to the invariance of |vac⟩ under
conformal transformations. ⌟
Example 3.102 (Primary State, Descendant States). From Remark 3.99 → p.82 we see
that a primary operator O(0) corresponds to a primary state |O⟩ ≡ O(0)|vac⟩ ∈ H.
The whole conformal multiplet is then given by adding an infinite tower of
corresponding descendant states above the primary
{︂ }︂ {︂ }︂
|O⟩, P• |O⟩, P• P• |O⟩, . . . ≡ |O⟩, |P• O⟩, |P• P• O⟩, . . . .
Chapter 3. Conformal Field Theory 84
Example 3.103 (Dual State). Considering (for simplicity) a scalar state |O⟩, the
dual state is given by Definition 3.90 → p.81 as
(︂ )︂† (︂ )︂
⟨O| ≡ |O⟩ ≡ ⟨vac|O(0)† = lim |x|−2∆ ⟨vac|O∗ x
|x|2
= y→∞
lim |y|2∆ ⟨vac|O∗ (y) ,
x→0
where we could insert operator at arbitrary point since Cas2 commutes with
all generators of the conformal algebra, which also means that whole conformal
multiplet shares the same eigenvalue.
It is thus simplest to calculate the eigenvalue for the primary state. The first term
of Definition 3.60 → p.71 is the Casimir of the SO(d) subalgebra with eigenvalue
J(J + d − 2), and the rest acts on the primary as D(D − d). ⌟
Implications of Unitarity
Having developed a radial quantization formalism, we can now study the implica-
tions of the CFT unitarity — or maybe better “inversion positivity”. We will just
briefly explore some necessary conditions stemming from the non-negativity of
the inner product on H. Following will also illustrate how CFT computations can
be reduced (in radial quantization) just to algebraic manipulations.
Remark 3.105 (Norms of Scalar Primary Operators). In Remark 3.81 → p.77 we
considered a basis of all real scalar primaries {Oi }, and their two-point functions.
Now we know that in radial quantization they correspond to primary states {|Oi ⟩},
and unitarity requires positive-definiteness of the inner product matrix
So COi Oj δ∆i ,∆j is not only symmetric, but also positive-definite, which allows us
to diagonalize it to δij without changing realness of {Oi }. ⌟
What does the positivity imply when we consider the descendant states?
Chapter 3. Conformal Field Theory 85
where we used Corollary 3.92 → p.81 , Definition 3.56 → p.70 with Lemma 3.41 → p.65 ,
and that primary state satisfies K• |O⟩ ≡ 0 = ⟨O|P• and D|O⟩ ≡ ∆|O⟩.
Assuming nontrivial |O⟩, unitarity implies ∆ ≥ 0, as was already noted in
Remark 3.82 → p.78 . For ∆ = 0, that is identity operator 1 and |1⟩ ≡ |vac⟩, the
descendant becomes null, and unitarity consistently requires P• |1⟩ ≡ 0. ⌟
Similar calculation can be performed for spinning operators/states, see for example
[11] [36] [34], and references therein. In the case of scalars, at level N = 2 one
obtains a stronger condition than ∆ ≥ 0, as mentioned below.
Remark 3.107 (Unitarity Bounds for Traceless Symmetric Tensors). For traceless
symmetric tensors with spin J, the unitarity requires
Special things happen when the primary saturates the unitarity bound. In such
a case, some descendant state becomes null, and needs to be removed (together
with all of its descendants) from the original conformal multiplet — obtaining
thus a so-called short multiplet.
Example 3.108 (Free Scalar). Example of such short multiplet is a scalar primary
with ∆ = d−2
2
, where the null state is (nice exercise to check explicitly)
Example 3.109 (Conserved Currents). Consider a spin J primary |Oa1 ...aJ ⟩ with a
null state
!
Pn |Ona2 ...aJ ⟩ = 0 ⇐⇒ ∂n Ona2 ...aJ (x) = 0 .
Chapter 3. Conformal Field Theory 86
In the first line we used that |O•···• ⟩ is a primary and a little bit of conformal
algebra. In the second line we employed the standard form of rotation generators
for each vector index. Finally, we used symmetry and tracelessness of |O•···• ⟩.
We thus verified that conserved currents correspond to a short multiplet saturating
the unitarity bound in Remark 3.107 → p.85 . From the calculation above we clearly
see also the opposite implication — a primary with ∆ = d − 2 + J has necessarily
a null state, making it a conserved current.
Important examples are global symmetry currents with (J = 1, ∆ = d − 1), and
the energy–momentum tensor with (J = 2, ∆ = d). ⌟
In the following section we will mention one additional implication of unitarity —
the reality of the 3-point function coefficients.
Operator Algebra
As described in Idea 3.110 → p.86 , we can express the product of two operators as
Oi (x1 )Oj (x2 ) ∼ COi Oj Ok (x1 , x2 , y, ∂y ) Ok (y) ,
∑︂
Ok ∈Oi ×Oj
where Ok runs through all primary operators included in the OPE, which we
denote symbolically by Oi × Oj . The function CO1 O2 O′ also includes contributions
Chapter 3. Conformal Field Theory 87
OPE Coefficients
The conformal symmetry greatly restricts the form of the OPE. For simplicity, we
will take all of the operators Oi , Oj , Ok to be scalars.
The translation invariance gives us that COi Oj Ok (x1 , x2 , ∂) can depend on positions
only through the combination x12 ≡ x1 − x2 . Utilizing also scaling and rotation
invariance — or alternatively consistency of OPE with the action of D and M••
— we obtain expansion for |x12 | ≪ 1 of the form
1 (︂ )︂
COi Oj Ok (x12 , ∂) ∝ ∆ +∆j −∆k
1 + (#)x12 ∂ + . . .
•
x12i
Finally, consistency with the action of K• completely fixes COi Oj Ok up to an
overall constant.
Remark 3.114 (Fixed Form of OPE, OPE Coefficients). More elegant way to see
that OPE is fixed up to a constant is to reduce the computation of 3-point
correlator to 2-point functions as
⟨︂ ⟩︂ ⟨︂ ⟩︂
Oi (x1 )Oj (x2 )Ok (x3 ) = COi Oj Ok′ (x12 , ∂2 ) Ok′ (x2 )Ok (x3 ) .
∑︂
k′
Now we can utilize the fixed forms of 2-point and 3-point functions as shown in
Corollary 3.80 → p.77 (in diagonal form Remark 3.81 → p.77 ) and Corollary 3.83 → p.78 ,
giving us
fijk ! 1
∆i +∆j −∆k ∆i +∆k −∆j ∆j +∆k −∆i
= COi Oj Ok (x12 , ∂2 ) .
x12 x13 x23 x2∆
23
k
We see that COi Oj Ok ≡ fijk Cijk is proportional to the 3-point function coefficient
fijk , which from now on we call OPE coefficient. Matching the small |x12 |/|x23 |
expansion of both sides completely fixes the “reduced” function Cijk in terms of
the operator dimensions ∆i , ∆j , ∆k (if the operators were spinning, then also their
spins), and the spacetime dimension d. ⌟
Chapter 3. Conformal Field Theory 88
Remark 3.118. The same OPE is even valid on any (locally) conformally flat
background — for example we can consider boundaries or compact dimensions.
Only thing that changes in the calculation of correlators is the form of one-point
functions, as mentioned in Remark 3.79 → p.77 ⌟
Remark 3.119 (Unitarity, Reality of OPE Coefficients). Apart from the unitarity
bounds on the scaling dimensions discussed in Remark 3.107 → p.85 , the unitarity
of the CFT also implies that the OPE coefficients are real [11] [34]. ⌟
⟨︂ ⟩︂ ⟨︂ ⟩︂ g(u, v)
O1 O2 O3 O4 ≡ Oϕ (x1 )Oϕ (x2 )Oϕ (x3 )Oϕ (x4 ) ≡ 2∆ 2∆
,
x12 ϕ x34 ϕ
Chapter 3. Conformal Field Theory 89
where the function g(u, v) of the conformal cross-ratios depends on the dynamics
of the theory. Alternatively, by pairing up the operators and performing the OPE
(assuming points are configured appropriately), we can express it in terms of CFT
data schematically as
⟨︂ ⟩︂ ⟨︂ ⟩︂
(O1 O2 )(O3 O4 ) = fϕϕO fϕϕO′ C• (x12 , ∂2 )C• (x34 , ∂4 ) O• (x2 )O′• (x4 )
∑︂
O,O′
I •• (x24 )
= 2
C• (x12 , ∂2 )C• (x34 , ∂4 )
∑︂
fϕϕO
O x2∆
24
[︂ ]︂ (s) (︂ )︂
ope2 Oϕ Oϕ O G∆,J {xi } .
∑︂
≡
primary O
with ∆,J
(s)
In the last line we defined the conformal block G∆,J , which encodes the contri-
bution of exchanging a single conformal multiplet — a primary O with all of its
descendants — in the s-channel (O1 O2 )(O3 O4 ).
Remark 3.120. Only spin-J symmetric traceless tensors appear in OPE of two
scalar fields. We denoted by I •• the corresponding (unique) 2-point tensor
structure. ⌟
So knowing the CFT data, we can compute 4-point functions. We can also turn this
around — having some alternative way of computing 4-point functions (perhaps
in some perturbative expansion), we can try to extract the CFT data, which is
particularly convenient after performing the conformal block decomposition. This
is what we shall do in the following Chapter 5 → p.100 .
Let us make a final remark about yet another 4-point function decomposition,
which we shall discuss more in Section 5.3 → p.113 .
Crossing Symmetry
We can express 4-point function in various channels, so for example we could
perform OPE in the t-channel (O1 O3 )(O2 O4 ) or u-channel (O1 O4 )(O2 O3 ), and
obtain the corresponding conformal block decomposition. All of these expressions
should in the end agree, which leads to non-trivial constraints on the CFT data.
Remark 3.122. It can be shown that crossing symmetry of all 4-point functions
is equivalent to the associativity of the OPE (see Remark 3.117 → p.88 ). ⌟
Remark 3.123. One conclusion of the crossing symmetry is that any CFT must
have an infinite number of primary operators. In the case of MFT, the exchange
of identity operator in the t-channel corresponds to exchanges of the double-twist
operators Example 3.71 → p.74 in the s-channel. ⌟
Conformal Bootstrap
We have various consistency constraints/conditions on a CFT data defining a
consistent (unitary) CFT, which include:
• Crossing Symmetry, which is essentially the OPE associativity,
• Unitarity/Reflection Positivity — implies lower unitarity bounds on scaling
dimensions, and a possibility to choose a real orthonormal operator basis
where all OPE coefficients are real,
• (optionally) Existence of Energy-Momentum Tensor — conserved rank-2
symmetric traceless primary operator (with ∆ = d) with correlators obeying
Ward–Takahashi identities.
One can then try to study these conditions — in particular the crossing equation
— not necessarily by finding exact solutions, but by excluding regions of the CFT
data which are inconsistent. In this way it is possible to obtain non-perturbative
bounds on the scaling dimensions and OPE coefficients, which in some cases can
be surprisingly strong. For a review of the Conformal Bootstrap program, see for
example [34].
Remark 3.124. In some lucky cases, the theory which we are interested in lies at
(or very close to) the boundary of the allowed region of CFT data. Then we are
able to obtain precise data of the given theory — non-trivial example being the
Ising model in d = 3.
If our physical theory of interest is not at the boundary, we can try to input some
model-dependent information to the bootstrap procedure. ⌟
91
4
QFT in Anti–de Sitter Spacetime
In this chapter we briefly introduce the QFT in AdS spacetime, and mainly focus
on the relation to corresponding CFT on the boundary of AdS.
More details can be found for example in [50] [33] [51] [52].
Remark 4.3 (de Sitter Spacetime). More interesting from the cosmological point
of view is the case of positive cosmological constant Λ > 0 (which seems to be the
case in our Universe), and corresponds to de Sitter spacetime dS. It is used to
model the period of inflation, and also the late-time acceleration of the Universe
(where effect of the matter content is negligible). Lately, there has been progress
in understanding QFT in dS through techniques coming from AdS via analytic
continuation, see for example [54]. ⌟
Hyperboloid/Quadric/Quasi-Sphere
Perhaps the most convenient definition of AdSd+1 is as a (universal cover) of
hyperboloid/quadric/quasi-sphere in the embedding/ambient space R2,d with
metric
η (2,d) ≡ diag(−, −, +, . . . , +) .
⏞ ⏟⏟ ⏞
d
where ℓ is the radius (of curvature) of AdS. We often choose units such that ℓ = 1.
In the Euclidean signature we just work with η (1,d+1) .
Remark 4.4 (Isometries of AdS, AdS as a Homogeneous Space). From such de-
scription we immediately see that the isometry group of AdSd+1 is Iso(AdSd+1 ) =
SO(2, d), since both the metric and the hyperboloid are invariant under its action.
Clearly, action of AdS isometry group is transitive — for example, each point
can be brought to some canonical point, such as X∗ = (−1, 0, 0, . . . , 0). Thus, by
orbit-stabilizer theorem, we have (up to identifications)
SO(2, d) SO(2, d)
AdSd+1 ≡ OrbitX∗ = = .
StabX∗ SO(1, d)
More generally, every so-called homogeneous manifold is a coset space G/H, where
G is the isometry group, and H is isotropy group. ⌟
Remark 4.5 (Closed Timelike Curves). Note that the hyperboloid defined above
has closed non-contractible timelike curves associated with the action of SO(2) ⊂
SO(2, d) in the (−1–0)-plane, for example we have (X −1 )2 + (X 0 )2 = ℓ2 for X i = 0.
Only after decompactifying (unrolling) along these cycles do we obtain the AdS
as we understand it. ⌟
Asymptotically in the limit of large components of X — after dividing the equation
defining the hyperboloid by a large constant factor — the hyperboloid approaches
the light-cone {︂ ⃓ }︂
C = P ∈ R2,d ⃓⃓ P 2 ≡ η (2,d) (P, P ) = 0 .
We can thus define the asymptotic/conformal boundary of AdS as the set of light
(half)rays going through the origin, that is
∂AdS = (C\{0})/∼ ,
Chapter 4. QFT in Anti–de Sitter Spacetime 93
EAdSd+1 , X 2 = −1
∂EAdS
P2 = 0
R1,d+1
P 2 ≡ 0 =⇒ d(P 2 ) = 0 =⇒ P dP = 0 •
we obtain
2
g∂AdS,Σ′ ≡ (dP ′ ) = (P dλ + λ dP )2
= P 2 dλ2 + 2P dP λ dλ + λ2 dP 2 = λ2 (dP )2 ≡ λ2 g∂AdS,Σ ,
•
the conformal class of ∂AdS, which has no canonical choice of metric structure. If
we would like to put a QFT theory on the boundary, it thus seems natural that it
will be a CFT. ⌟
We will further discuss the embedding formalism in Section 4.2 → p.95 .
Coordinate Systems
Now we will briefly discuss some coordinate systems on AdS, even though we will
mainly work directly in the embedding space.
Going to the universal cover means we just unwrap the circle S1 ∋ t and take
t ∈ R from the whole real line.
Clearly, AdS is static with ξt ≡ ∂
∂t
being the timelike Killing vector, which
corresponds to J−1,0 = . . . = ℓ ∂t
∂
.
The metric has the same form as for Lorentzian Poincaré coordinates, just in the
Euclidean signature, so it can be seen as a warped product of R≥ and Rd . In
particular, this shows EAdSd+1 is conformal to R≥ × Rd , with the boundary at
z = 0 being Rd (if we also consider z = ∞, we have the whole R≥ × Rd ).
These coordinates make explicit the subgroup
SO(1, 1) × ISO(d) ≡ SO(1, 1) × Iso(Rd ) ⊂ Iso(EAdS)
corresponding to the dilatations and Poincaré transformations in Conf(Rd ).
Embedding Formalism
It is very convenient to work directly in the embedding space, since the action of
isometry group is very simple. Let us mention some important points:
Chapter 4. QFT in Anti–de Sitter Spacetime 96
JAB ≡ XA ∂B − XB ∂A ,
Iso(EAdSd+1 ) 1
Cas2 ≡− JAB J AB = −(X A ∂ B − X B ∂ A )XA ∂B
2
= −X 2 ∂ 2 + (d + 1)X ∂ + X A X B ∂A ∂B
•
= −X 2 ∂ 2 + X ∂ (d + X ∂) ,
• •
Comparing with Remark 4.8 → p.96 , we see that (using X 2 = −R2 ≡ −ℓ2 )
Iso(AdS) Conf(∂AdS)
R2 AdS = Cas2 ≃ Cas2 .
Chapter 4. QFT in Anti–de Sitter Spacetime 97
we identify the mass-squared m2 (in the units of 1/R ≡ 1/ℓ) with the quadratic
Casimir eigenvalue of the corresponding CFT representation on the boundary.
Here we utilized Remark 3.104 → p.84 for a scalar representation (J = 0). ⌟
For homogeneous space we can always absorb the possible coupling to the curvature
into the mass term.
The free bulk-to-bulk two-point function ⟨ϕ(X)ϕ(Y )⟩free ≡ Gbb (X, Y ) is given by
the propagator solving the equation
(︂ )︂
− X + m2 Gbb (X, Y ) = δ(X, Y ) .
Here, X is the EAdS d’Alembertian operator acting on the first argument, where
both X and Y are understood as points of EAdS.
The symmetry of the problem implies that Gbb is a function of only invariant
quantities such as X Y or ζ ≡ (X − Y )2 /R2 , which we call chordal distance.
•
From this point on we set R ≡ ℓ ≡ 1, and all lengths are measured in units of the
AdS radius.
Calculation 4.11 (Free Bulk-to-Bulk Propagator). Using ansatz Gbb (X, Y ) ≡ G(ζ),
expressing d’Alembertian in embedding coordinates using Calculation 4.9 → p.96
and Remark 4.8 → p.96 we obtain (it does not make difference with which form of
ζ ≡ (X − Y )2 = −2(1 + X Y ) we work, we just need to be consistent, and set
•
[︂ ]︂
= ∂X [(−2Y )G′ (ζ)] + (d + X ∂X ) (−2X Y )G′ (ζ)
• • •
(︂ )︂
= −4 + (2 + ζ)2 G′′ (ζ) + (d + 1)(2 + ζ)G′ (ζ)
= z(z − 1)G′′ (z) + (d + 1)(z − 12 )G′ (z) ,
where in the last step we performed substitution z ≡ − ζ4 . Thus, we have obtained
Chapter 4. QFT in Anti–de Sitter Spacetime 98
where a = ∆, b = d − ∆, c = d+1
2
, or same with ∆ ←→ d − ∆, which leaves the
mass/conformal Casimir eigenvalue unchanged. By requiring the singularity at
X → Y (ζ → 0) to match with the flat space propagator singularity, we obtain
the solution
∆, ∆ − d2 + 12 4
[︄ ⃓ ]︄
C∆ ⃓
bb
G∆ (X, Y ) ≡ G∆ (ζ) ≡ ∆ 2 F1 ⃓−
⃓
ζ 2∆ − d + 1 ⃓ ζ
Boundary Limit
Since the correlators are invariant under Iso(EAdSd+1 ) act on the boundary as
Conf(Rd ), by taking their appropriate asymptotic/boundary limit, we obtain
boundary correlators satisfying the CFTd axioms (apart from the presence of the
energy–momentum tensor).
As shown in Remark 4.10 → p.97 , the (physical) mass of the bulk field mϕ is related
to the scaling dimension of the corresponding operator in the boundary theory.
To avoid certain subtleties, in the following we consider the positive “Dirichlet”
branch
√︄
d d2
∆ϕ = ∆+ ≡ + + m2ϕ ,
2 4
where the bulk point X ∈ EAdS approaches the boundary point P ∈ ∂EAdS.
the hypergeometric function becomes just 1. Note how the boundary limit scaling
in the definition of Oϕ precisely cancels the scaling of ζ −∆ϕ in G∆
bb
ϕ
. ⌟
Remark 4.15 (Boundary-to-Boundary Propagator). Sending also the second operator
to the boundary, one finds the boundary-to-boundary propagator G∆ ∂∂
ϕ
with the
usual form of the 2-point function in flat-space CFT of scalar operator with scaling
dimension ∆ϕ , that is
⟨︂ ⟩︂ 1 1
Oϕ (P1 )Oϕ (P2 ) ∂∂
≡ G∆ (P1 , P2 ) = = ,
free ϕ
(−2P1 P2
• )∆ϕ |y1 − y2 |2∆ϕ
5
O(N) Model in Anti–de Sitter
This chapter is based on [58]: Jonáš Dujava and Petr Vaško.
Finite-coupling spectrum of O(N) model in AdS. 2025.
arXiv: 2503.16345 [hep-th] GitHub: jdujava/ONinAdS
5.1 Introduction
Recently, various QFT models have been studied in AdS (or dS) spacetime at finite
coupling. Rather than the usual weak coupling expansion, the large N expansion
together with AdS/CFT intuition was employed as an alternative handle to perform
explicit calculations. This movement started with O(N ) and Gross–Neveu Model
[59], and was continued also for scalar QED [60].
While these studies have addressed key questions such as the phase structure,
exact propagators, and the boundary correlators (4-point functions) in the large
N limit, they have primarily focused on the singlet spectrum of the CFT on the
boundary.
Building on the already established results for the singlet sector, we were able to
extract anomalous dimensions of operators in the non-singlet sector by utilizing
Chapter 5. O(N) Model in Anti–de Sitter 101
More broadly, there are essentially three main pieces of motivation in this line of
research. They were nicely summarized in the Introduction sections of [59] [60],
which the reader is invited to check out for more details. Even after receiving
some attention, numerous issues require deeper investigation:
A distinct instance of the above discussion occurs when the flow is initiated
in a free bulk theory corresponding to an MFT at the boundary, which
ubiquitously possesses higher spin currents (all the double-twist families
saturate unitarity bound and form thus short conformal multiplets). Then
one can naturally wonder about their fate once interactions are turned on.
General theorems constraining their existence in arbitrary interacting CFTs
were given in [67] [68]. On the other hand, one can ask a similar question,
just not at the boundary but instead in the bulk. A complete breaking of
bulk higher spin currents by interactions in AdS2 was analyzed in [69].
• In the special case when the bulk theory in AdSd+1 is critical (becoming a
CFTd+1 ), one can perform (in the Euclidean signature) a Weyl symmetry
transformation from EAdS to flat half-space Rd × R≥ . This is easily done
using the Poincaré coordinates, which cover EAdS globally. The CFT with a
Chapter 5. O(N) Model in Anti–de Sitter 102
boundary — BCFTd+1 — on this flat half-space can thus be studied using AdS
methods, whose recent advances have made such approach rather efficient.
Moreover, one can generalize it from boundaries (BCFT) to defects (DCFT).
A Weyl equivalence between an (n − 1)-dimensional defect in Rn+m and
AdSn × Sm allowed [70] to use results of [59] for the singlet spectrum to
extract interesting DCFT data. More concretely, they studied the critical
O(N ) model in the presence of a localized magnetic external field understood
as an 1-dimensional defect, thus AdS2 was relevant. Such data is important
to understand phase transitions of real-world systems.
• Finally, there are attempts to replace the LSZ axioms for the flat-space S-
matrix by the flat-space limit of asymptotic boundary observables in AdS [71]
[72] [73] [74]. Asymptotic boundary correlators for massive QFTs in
AdSd+1 obey CFTd axioms — except for the existence of a stress tensor —
that are mathematically more rigorous than the current ones for the S-matrix
in flat space. These asymptotic correlators are by definition holographic as is
the flat-space S-matrix, and reduce to it in the flat-space limit (in a sense
that still requires a more rigorous definition).
Since the curvature of AdS also acts as an IR regulator, it could potentially cure
the possible IR divergences, which make the flat S-matrix an ill-defined object
[75]. In practice, one often has to recourse to IR safe inclusive observables,
which however require taking the experimental setup into account, and are
thus not clean theoretical observables. More discussion about the IR issues of
the flat S-matrix and another attempt how to solve it can be found in [76].
Our work focuses on a specific topic in the above vast landscape. We examined
large deformations of the free MFT spectrum for the O(N ) model in the unbroken
phase. While primary outcome is the computation and analysis of the non-singlet
spectrum, along the way we also obtained some additional results.
First, we completed the singlet CFT data by extracting the OPE coefficients.
Furthermore, we discussed extension of the spectrum (even the singlet one) to
d = 4, where the necessary regularization complicates the picture. To partly
deal with the associated renormalization scheme ambiguity — finite part of a
counterterm — we resorted to the critical bulk theory describing an ordinary
phase transition.
Formally extending the critical point beyond its upper critical dimension — also
considered in Section 3.1 and Figure 6 [77] — we discovered an intriguing pattern
in the singlet spectrum. It is related with the appearance of emergent operators
at a strong enough coupling, which are not connected with the usual MFT-type
spectrum found at weak coupling. Based on this analysis, a formula for the critical
singlet spectral function in all even (boundary) dimensions reproducing the desired
critical spectrum was proposed.
Chapter 5. O(N) Model in Anti–de Sitter 103
The next natural step would be to deal with the broken phase and especially
with the critical theory in the bulk, whose analysis could result in extraction of
non-singlet DCFT data along the lines of [70]. Hopefully, our results can add a
concrete small piece to the above complex mosaic.
In Section 5.2 → p.103 we define the O(N ) model, mainly focusing on its formula-
tion suitable for a systematic large N expansion. Then we introduce the main
observable — the 4-point boundary correlator of fundamental fields ϕ• in AdS.
The rest of the section is devoted to fixing our conventions, particularly those for
OPE channels, and some comments about renormalization scheme are made as
well.
In Section 5.3 → p.113 we will review relevant generalities of CFTs, focusing on the
extraction of the CFT data from the 4-point correlator. In particular, we will
present general formulas (in d = 2 and d = 4) for the contribution of a single
t-channel conformal block to anomalous dimensions of s-channel double-twist
operators, applicable for arbitrary twists and spins.
These formulas will be utilized in Section 5.4 → p.137 to calculate the leading 1/N
contributions to the non-singlet scaling dimensions of the O(N ) model in AdS at
finite coupling. This computation requires the singlet spectrum as an input, whose
properties are summarized in the previous parts of Section 5.4 → p.123 , together with
the decomposition of the 4-point correlator into O(N ) irreducible representations.
Criticality in the bulk is also briefly discussed in Section 5.4 → p.132 , which suggests
a possible extension beyond its upper critical dimension.
In Section 5.5 → p.138 we present the results for the non-singlet spectrum, mostly
in the form of various plots. The main one is the twist–spin plot showing a
characteristic organization of the spectrum into Regge trajectories. Various limits
are studied, specifically a cross-check regarding the large spin asymptotics.
1 1
[︄ ]︄
√ λ (︂ • 2 )︂2
∫︂
S[ϕ ] =
•
d
d+1
x g (∂ϕ• )2 + m2 (ϕ• )2 + (ϕ ) , (5.1)
M 2 2 2N
λ
(︃ )︃
∼ + + , (5.2)
N
where the connected lines on the right-hand side indicate Kronecker deltas in the
indices of the corresponding ϕ fields. As usual, all internal vertices throughout
the paper are to be integrated over M with the geometric measure including the
√
g density.
Order of 1/N in a given diagram is not simply given just by the number of
interaction vertices, since after their expansion (5.2) a number of closed index
loops can form. Each such index loop carries an additional factor of N , since all
i=1 circulating in the loop contribute equally.
{ϕi }N
Chapter 5. O(N) Model in Anti–de Sitter 105
1 1 1 2 1
[︄ ]︄
√
∫︂
SHS [ϕ , σ] =
•
d
d+1
x g (∂ϕ• )2 + m2 (ϕ• )2 − σ + √ σ(ϕ• )2 . (5.3)
M 2 2 2λ N
i 2
≡ −λ1 , ≡ √ δ ij , (5.4)
j N
first representing the free σ-propagator, and second the σϕ2 vertex. We suppressed
the position dependence of ≡ ⟨σσ⟩free by writing it — up to factor (−λ)
— as an operator 1 acting on functions through the convolution with the kernel
1(x, y) ≡ δ(x, y). Here we use the δ-distribution normalized with respect to the
geometric measure, so the 1 operator is really acting on functions as an identity.
Effective Action. Now, we want to “integrate out the loops” of the ϕ fields,
which contribute at the leading order in the large N expansion. Since our new
Lagrangian LHS is only quadratic in ϕ, the ϕ-loop subdiagrams have the form of
a loop with arbitrary number of σ lines attached to it, thus inducing non-local
contributions to the 1PI effective interaction vertices between σ fields of the form
σ )︄n ]︄
∞
(−1)n
∞
1 2
[︄(︄
1-loop
[σ] = σ = const. − N Tr
∑︂ ∑︂
Γ n ◦√ σ
n=1 2n (− + m )1
2
n=1 N
σ
2 2
(︄ )︄ (︄ )︄
N N
= Tr ln (− + m )1 + √ σ = − ln Det− 2 (−
2
+ m )1 + √ σ . 2
2 N N
(5.5)
The prefactor of N comes from the already performed trace over the indices in the
closed loop. Also other combinatorial/symmetry factors are properly accounted
for. This can be alternatively seen as a functional determinant coming from
Gaussian integration over ϕ rewritten as contribution to the Euclidean effective
action.
Phase Structure. Phases of the O(N ) model have been thoroughly investigated
on flat space of dimension D ≡ d + 1. The dynamics of the theory significantly
differs for the ranges 2 < D < 4 and D ≥ 4. Since we will do computations for
d = 2 ⇔ D = 3 (AdS3 ) and d = 4 ⇔ D = 5 (AdS5 ), we need to briefly summarize
both cases, in order to clearly specify which phase we treat in this work.
In the first case 2 < d + 1 < 4, the flat-space theory is asymptotically free. The
free unstable UV fixed point CFTUV has two relevant operators (the mass term
and the interaction term) that trigger an RG flow. When appropriately tuned, it
ends in a semi-stable interacting (the strength increases as D decreases from 4)
IR fixed point — the Wilson–Fisher CFTIR [80] — with one relevant operator
corresponding to the mass term. The RG flow triggered by it, depending on the
sign of the deformation, leads either to a trivially gapped phase with unbroken
global O(N ) symmetry or to spontaneous symmetry breaking O(N ) → O(N − 1),
whose low energy dynamics is governed by a non-linear sigma model of (N − 1)
Goldstone bosons (with a free fixed point CFTIR in the deep IR).
In the second case d + 1 ≥ 4, the flat-space theory is IR free. For large enough
N , a perturbatively unitary UV fixed point was found in [81]. The authors
Chapter 5. O(N) Model in Anti–de Sitter 107
Exact σ-Propagator.
√ Since the interaction terms in the expansion of Γ are of
the order O(1/ N ) or higher, the leading O(1) form of the exact σ-propagator
can be obtained by inverting the kernel of the quadratic σ-part of Γ expanded
around the saddle point, or equivalently by summing up the geometric series
= + + + ···
∞ ]︃−1
1
[︃
= (−λ1) + (−λ1) ◦ 2B ◦ (−λ1) + · · · = −λ (−2λB)n = − + 2B
∑︂
,
n=0 λ
(5.7)
Chapter 5. O(N) Model in Anti–de Sitter 108
where B is the kernel corresponding to the (half of) “bubble” diagram given by
]︄2
1 1
[︄
B(x, y) ≡ x y ≡ (x, y) . (5.8)
2 (− + m2ϕ )1
√
Note that for each bubble in (5.7) the (1/ N )2 from the vertices canceled out
with the N coming from the index loop. The diagram in (5.8) is really a free
correlator of a scalar composite field ϕ2 ≡ :(ϕi )2 : being the normal-ordered square
of ϕi for any fixed index i, that is ⟨ϕ2 (x)ϕ2 (y)⟩free = 2Gϕ (x, y)2 ≡ 2B(x, y). The
factor of 2 comes from two different ways of contracting legs at both vertices.
From the point of view of the initial action (5.1), the σ-propagator resums an
infinite class of Feynman diagrams contributing in the leading order of 1/N
expansion. For example, the leading s-channel connected contribution to the
4-point function of ϕ fields is given by
i k
∞
1
= (5.9)
∑︂
··· ∼ .
n=0 ⏞ ⏟⏟ ⏞
j l N
n bubbles
To increase clarity, from now on, we will explicitly write out the N -dependence in
front of the diagrams instead of including it in the diagrams themselves.
P in the limit s → ∞, where the O(1/s) term enables the EAdS condition
X 2 = −ℓ2 ≡ −1 to be satisfied while P 2 = 0. The normalization constant C∆ϕ is
given by
Γ(∆ϕ )
C∆ϕ = d
(︂ )︂ . (5.12)
2π 2 Γ ∆ϕ − d2 + 1
Taking the appropriate boundary limit of one operator — in the sense of (5.11)
— one obtains the bulk-to-boundary propagator G∆ b∂
ϕ
, which has a much simpler
form √
⟨︂ ⟩︂
ij b∂ C∆ϕ δ ij
ϕ (X)Oϕ (P )
i j
≡ δ G∆ϕ (X, P ) = . (5.14)
free (−2X P )∆ϕ •
Sending also the second operator to the boundary, one finds the boundary-to-
boundary propagator G∆ ∂∂
ϕ
with the usual form of the 2-point function in flat-space
CFT of scalar operator with scaling dimension ∆ϕ , that is
⟨︂ ⟩︂ δ ij δ ij
Oϕi (P1 )Oϕj (P2 ) ≡ δ ij G∆
∂∂
(P1 , P2 ) = = , (5.15)
free ϕ
(−2P1 P2 )∆ϕ
•
|y1 − y2 |2∆ϕ
⟨︂ ⟩︂ ⟨︂ ⟩︂ i k
O1i O2j O3k O4l ≡ Oϕi (P1 ) Oϕj (P2 ) Oϕk (P3 ) Oϕl (P4 ) ≡ , (5.16)
j l
1/N in the large N expansion, but to all orders in the coupling λ, its Witten
diagram representation is given by
⎛ ⎞
i k i k i k i k
=⎝ + +
⎜ ⎟
⎠
j l j l j l j l
⎛ ⎞ (5.17)
i k i k i k
1 ⎜ 1
(︃ )︃
+ + + ⎠+O
⎟
,
N j N2
⎝
l j l j l
where we used the leading forms of the 1PI σϕ2 vertex (5.4) and exact σ-propagator
(5.7). The N -dependence is now explicitly written in front of the diagrams. Lines
with one or both ends on the boundary are bulk-to-boundary (5.14) or boundary-
to-boundary (5.15) propagators, respectively. Using these ingredients, one can
easily compose explicit expressions for diagrams figuring in (5.17), where as usual
we integrate over the bulk points.
Convention for Channels. Our naming convention for both the OPE and also
Witten diagrams of the 4-point correlator is
Line by line, we utilized the following properties and relations — for more details
see Appendix C [59]:
Chapter 5. O(N) Model in Anti–de Sitter 113
(2) The harmonic function can be further rewritten by means of the split rep-
resentation [51] [91], which up to a certain prefactor is given by two
bulk-to-boundary propagators — one with dimension ∆ and the other with
the shadow dimension ∆ ˜︁ ≡ d − ∆ — with the black boundary point im-
plicitly integrated over ∂AdS. Remember that the rest of bulk-to-boundary
propagators have the dimension ∆ϕ .
(3) Now we can perform the bulk integrations. For fixed boundary points, both
of the bulk integrals individually must result in a multiple of the unique
CFT 3-point structure of the corresponding scalar operators — these are
diagrammatically represented by the blue blobs. We are thus left with a
convolution of two such 3-point structures, since we have yet to integrate over
the boundary point.
In the end, the computation results in the Conformal Partial Wave decomposition
of the s-channel σ-exchange diagram. The t-channel/u-channel diagrams are given
by the same expression, just with the CPWs in the corresponding channels.
We will discuss such decompositions in more detail in the next section. The
associated coefficient/weight function (also called the spectral function) is the
main
⟨︂ object of
⟩︂ interest. It encodes the CFT data accessible to the 4-point correlator
Oϕ Oϕ Oϕ Oϕ .
Things get more involved when one wants to extract the non-singlet spectrum. We
will see in Section 5.4 → p.123 that crossed-channel diagrams — take for example
the t-channel — turn out to be essential for this task. Even though it is not viable
Chapter 5. O(N) Model in Anti–de Sitter 114
To fully prepare for the extraction of the leading 1/N corrections to the non-singlet
spectrum, in Section 5.3 → p.118 we will present the general formulas (in d = 2 and
d = 4) for the contribution of a t-channel conformal block to the anomalous
dimensions of s-channel double-twist operators, applicable for external scalar
operators with equal scaling dimensions.
For simplicity — and because it is the relevant case for us — in the following
we assume all external operators to be scalars Oϕ with equal scaling dimensions
∆ϕ . To avoid clutter, we will suppress throughout the possible global symmetry
index structure of the operators, and the dependence of correlators/conformal
blocks/conformal partial waves on the scaling dimensions and positions of external
operators.
To summarize, the starting point is MFT, where it is known that the identity
operator in the t-channel induces a double-twist family of operators On,J in
(MFT)
the s-channel decomposition, with scaling dimensions ∆n,J ≡ 2∆ϕ + 2n + J.
The question that we want to answer in the following is: Given a t-channel
contribution of an operator O′ with scaling dimension ∆′ and spin J ′ , what
anomalous dimensions (and corrections to OPE coefficients) does it induce for
the double-twist family in the s-channel decomposition? Supposing that the
exchange contribution is of order O(1/N ), we will compute the leading form of the
(MFT)
corrected scaling dimensions ∆n,J ≡ ∆n,J + γn,J ≡ 2∆ϕ + 2n + J + γn,J , where
the anomalous dimensions γn,J are also of order O(1/N ). Thus, as expected, this
family of operators reduces to the MFT ones in the limit N → ∞. The dimension
∆′ of the t-channel exchanged primary does not need to be parametrically close
to an MFT value in the large N expansion. In fact, it actually turns out that to
contribute nontrivially at leading order, it should not be.
Chapter 5. O(N) Model in Anti–de Sitter 115
i k [︂ ]︂⃓
⃓ (s)
⟩︃ (︂ )︂
= ope2 Oϕ Oϕ O⋆ ⃓⃓G∆ ,J = (5.21)
∑︂
analogously in
t-channel ,
⋆ ⋆
j l primary O⋆
with ∆⋆ ,J⋆
[︂ ]︂
where ope Oϕ Oϕ O⋆ is the OPE coefficient for operator O⋆ appearing in the
⃓ ϕ × O⟩︂ϕ OPE, and the corresponding s-channel conformal block is denoted by
O
⃓ (s)
⃓G∆⋆ ,J⋆ . We suppress the dependence of CBs on conformal representations and
positions of the external operators.
i k ⃓i k ⃓⃓
⎡ ⃓ ⎤
∞ ∫︂
d∆ ∆ ⃓⃓
⟩︃ (︂ )︂
= ⎦⃓ ∆,J = , (5.22)
∑︂
analogously in
Specs
2πı̊
⎣
t-channel
j l J=0
d
2
+ı̊R≥ J ⃓⃓ j l
⃓
where the s-channel conformal partial wave is denoted by | ⟩, and the spectral
function Specs [ · · · ] represents the coefficients of the corresponding CPWs. Again,
we suppress the dependence of CPWs on conformal representations and positions
of the external operators.
where the normalization coefficients are given by (2.16) [61] (A.5), (A.6) [96]
⎞2
π 2 Γ∆− d2 Γ∆+J−1 ⎝ Γ∆+J
d
⎛
= (5.24)
˜︁
2
K∆,J ⎠ .
(−2)J Γ∆−1 Γd−∆+J Γ∆+J
2
In the t-channel we will usually use primed quantities for improved distinction.
Also, to make the expressions compact, we will often utilize the abbreviation
Γ ≡ Γ( ).
Since CPWs are shadow-symmetric, it is natural to choose the spectral function to
be shadow-symmetric as well. Substituting (5.23) into (5.22), using the aforemen-
tioned shadow-symmetry of Spec to extend the integration from half-line d2 +ı̊R≥
to d2 +ı̊R together with taking only the first conformal block term in CPW, we
obtain an integral decomposition in terms of conformal blocks as
i k ⃓i k
⎡ ⃓ ⎤
d∆ ∆ ⃓⃓
⃓ ⟩︃
∑︂ ∫︂ ⃓ (s)
= Specs ⎦ K ⃓G
˜︁ ⃓ ∆,J . (5.25)
2πı̊
⎣
d J ⃓⃓ j ∆,J
+ı̊R
j l J 2 l
After enclosing the integration in the right-half plane, the residue theorem enables
us to write it as a discrete sum over physical poles of Specs , thus obtaining the usual
conformal block decomposition (5.21). Certain subtleties of this procedure, in
particular appearance and cancellation of additional spurious poles, are discussed
in Appendix B [96].
We see that (at least the accessible part of) the CFT data are encoded in the
spectral function Specs , namely the scaling dimensions of primary operators
are given by the positions of Specs poles, and the corresponding squared OPE
coefficients in the s-channel are given by the (minus, since the contour is clockwise)
residues as
⃓i k
⎛ ⎡ ⃓ ⎤⎞
⎣∆⃓
[︂ ]︂
ope2 Oϕ Oϕ O⋆ = − Res∆=∆⋆ ⎝K∆,J (5.26)
⃓
Spec s
⎦⎠ .
˜︁ ⋆ J⋆ ⃓⃓ j l
Note that it includes an extra 2−d compared to (A.14), (A.15) [96]. We can thus
express the completeness relation (for normalizable functions) in terms of CPWs
as
d∆ ⃓⃓ 1
∑︂ ∫︂ ⃓ ⟩︃ ⟨︃ ⃓
∆,J ∆,J
1= (5.29)
⃓
⃓.
J
d
2
+ı̊R≥ 2πı̊ ⃓ n∆,J ⃓
Consider now a certain contribution to 4-point correlator, for which we are able to
calculate its t-channel spectral function Spect , that is we know the decomposition
i k ⃓i k ⃓⃓
⎡ ⃓ ⎤
d∆′ ∆′
∑︂ ∫︂ ⟩︃
= (5.30)
⃓
Spect⎣ ′ ⃓ ⎦⃓ ∆′,J ′
j l J′
d
2
+ı̊R≥ 2πı̊ J ⃓
⃓j l
⃓
into t-channel CPWs. To extract the associated contribution to the CFT data,
we first need to translate this decomposition into the s-channel. By inserting
the completeness relation (5.29) into the t-channel decomposition, or by directly
utilizing the orthogonality (5.27), we obtain the s-channel spectral function as
⟨︃ ⃓ ⟩︃
∆,J ⃓
⃓i k ⃓i k
⃓ ⃓
∆′,J ′
⎡ ⎤ ⎡ ⎤
∆ d∆′ ∆′
⃓
∑︂ ∫︂
=
⃓ ⃓ ⃓
Specs ⃓ Spect⎣ ′ ⃓ ⎦,
2πı̊
⎣ ⎦
J ⃓⃓ j l J′
d
2
+ı̊R≥
l n∆,J J ⃓
⃓j
(5.31)
where the (s ← t)–channel translation is being performed (up to the normalization
n∆,J ) by the “Clebsch-Gordan coefficient” for the conformal group called 6j–symbol
(3.5) [61]
⟨︃ ⃓ ⟩︃
∆,J ⃓
6j–symbol ≡ ⃓
⃓ ∆′,J ′
⟨︃ ⃓ ⟩︃ ⟨︃ ⃓ ⟩︃
(t) (t)
= K∆
∆,J
G∆′ ,J ′ + K∆′ ,J ′
∆,J
(5.32)
⃓ ⃓
˜︁′ ,J ′
⃓
⃓
⃓
⃓ G∆
˜︁′ ,J ′ ,
⏞ ⏟⏟ ⏞ ⏞ ⏟⏟ ⏞
∆ϕ ∆ϕ
B[∆,J],[∆′ ,J ′ ] B[∆,J],[∆′ ,J ′ ]
˜︁
where B is the notation used in (3.35), (3.41) [61], and corresponds to the s-
channel spectral function of a single t-channel conformal block.
Chapter 5. O(N) Model in Anti–de Sitter 118
with ∆⋆ ,J⋆
where we introduced the “crossing kernel” CrKs←t notation for the s-channel
spectral function of a single t-channel conformal block (including the proper
normalization).
Strictly speaking, due to the limited validity range of the Lorentzian inversion
formula utilized to calculate CrKs←t in [96], the t-channel conformal block inver-
sion in (5.34) seems to work only for J > J ′ . We will touch on this issue a little
bit more in Section 5.5 → p.141 , also see remarks in Section 4 [61].
From extensive studies of the Lorentzian inversion formula [97] [96] [98],
it is well known that CrKs←t has double zeros in ∆′ at the locations of MFT
double-twist dimensions, therefore only non-MFT operators contribute to the
s-channel spectral function Specs . Direct consequence of this fact can be explicitly
seen in the formulas for the anomalous dimensions presented in the following
Section 5.3 → p.118 .
where the first disconnected term is the t-channel identity contribution, and the
second term is some interaction contributing at O(1/N ) order, for which we are
Chapter 5. O(N) Model in Anti–de Sitter 119
⃓i k J−1 Γ∆−1 Γd
2
Γd +J Γ∆+J ΓJ+∆
2
ΓJ−∆ +∆ϕ Γ∆+J−d +∆ϕ
⎡ ⃓ ⎤
∆ ⃓⃓ ⎦=
2 2
−∆ϕ 2
˜︁ 2 2 2
Specs⎣ ,
˜︁ Γ∆ϕ ΓJ+1 Γ∆− d2 Γ∆+J−1 ΓJ+2 ∆
˜︁ Γ2d+J−∆ −∆ϕ Γ∆+J+d −∆ϕ
2 2
J ⃓⃓ j l S∆,J
2 2
(5.36)
where S∆,J
˜︁ ≡ (−2) K∆,J
J
˜︁ .
(︂ )︂
As expected, it contains poles — which come from Γ J−∆
2
+ ∆ϕ — located at
(MFT)
the dimensions ∆n,J = 2∆ϕ + 2n + J corresponding to the family of MFT
(MFT)
double-twist operators schematically given by On,J = [Oϕ n ∂ J Oϕ − traces].
Corresponding squared OPE coefficients can be easily calculated using (5.26).
There are also some spurious poles coming from Γ(∆ ˜︁ + J) ≡ Γ(d + J − ∆), but
these are resolved as discussed in Appendix B [96].
Thus, from the s-channel conformal block decomposition point of view, at the
leading O(1) order the t-channel identity gives rise to the aforementioned double-
twist operators. At the following O(1/N ) order, the connected interaction term
modifies the CFT data, in particular it induces anomalous dimensions γn,J of these
operators. This is what we will focus on in the following.
Defining the leading corrections to the squared OPE coefficients and scaling
dimensions as
1 1 (1) 1
[︂ ]︂ (︃ )︃ (︃ )︃
2
ope Oϕ Oϕ O⋆ ≡ C⋆ = C⋆(MFT) + C⋆ + O , (5.38)
N N N 2 )︃
1 1 (1) 1
(︃ )︃ (︃
∆⋆ = ∆(MFT)
⋆ + γ⋆ + O , (5.39)
N N N2
Chapter 5. O(N) Model in Anti–de Sitter 120
Anomalous dimensions are thus encoded in the coefficients of double poles in the
spectral function, divided by the corresponding MFT squared OPE coefficients.
Since the MFT squared OPE coefficients are given by residues of the t-channel
identity, we can express the (O(1/N ) part of) anomalous dimensions as
∆ ⃓⃓ i k]︄
⎛ [︄ ⃓ ⎞
⎜ Specs ⎟
J ⃓j
⃓
(1)
⎜
l ⎟
γn,J = Res∆=2∆ϕ +2n+J ⎜ . (5.41)
⎜ ⎟
∆ ⃓⃓ i k]︄ ⎟
[︄ ⃓
⎜ ⎟
⎝
Specs ⎠
J ⃓j
⃓
l
Simple poles of the expression inside residue (5.42) — or equivalently, double poles
of 6j–symbol or CrKs←t — are not present for generic non-equal external scaling
dimensions. Nonetheless, for pairwise-equal external dimensions the crossing
kernel develops double poles (3.48) and below [61], and hence the anomalous
dimensions obtain nontrivial contributions.
General Formulas for d = 2 and d = 4. The 6j–symbol and thus CrKs←t was
explicitly computed in (3.36), (3.42) [61] for d = 2 and d = 4 by methods relying
on the Lorentzian inversion formula [97]. Compared to our conventions specified
in (5.18), their t-channel and u-channel are swapped, so we include a factor of
(−1)J when taking over their results for 6j–symbol. Moreover, they calculated
also the t-channel conformal block contributions to the leading-twist (n = 0)
anomalous dimensions (3.55), (3.56) [61].
Here we present the general formulas applicable for arbitrary (assuming J > J ′ )
double-twist operators On,J in d = 2 and d = 4. For the detailed calculation see
Chapter 5. O(N) Model in Anti–de Sitter 121
Summary. Now we come back to the case of the interaction term having a
nontrivial t-channel conformal block decomposition. The overall contribution to
the anomalous dimensions of double-twist operators is then simply given by a sum
of contributions for each appearing conformal block — in d = 2/d = 4 given by
(5.43)/(5.44) — weighted by the corresponding (squared OPE) coefficients, that is
⃓
(1) ⃓
γn,J = COint⋆′ (5.47)
∑︂
γn,J ⃓⃓t-channel .
primary O⋆′ exchange of O⋆′
Note the appearance of the sin(π[ · · · ]) factor in both of the formulas (5.43)/(5.44).
They have therefore zeros at the MFT dimensions ∆′ = 2∆ϕ + 2n′ + J ′ , n′ ∈ N0 ,
so only non-MFT operators in the crossed channels contribute to the anomalous
dimensions. This directly reflects the property of CrKs←t mentioned at the end of
Section 5.3 → p.116 .
Large Spin Asymptotics. Finally, we will briefly discuss the large spin asymp-
totics of the anomalous dimensions, and in particular their n-dependence. More
details (with references) can be found in Section 5.5 → p.144 .
One can check that large J asymptotics of the contributions (5.43)/(5.44) to the
anomalous dimensions are given by
cn
⃓
(1) ⃓ ′ ′ ′
γn,J ⃓⃓t-channel ∼ J −τ ≡ J −(∆ −J ) =⇒ γn,J ≃ − + ... , (5.48)
exchange J τmin
∆′ ,J ′
so the leading asymptotics of anomalous dimensions (5.47) are governed by the
exchanged operator with the lowest twist τmin = min τ ′ ≡ min(∆′ − J ′ ).
The point we want to make here is that whatever the coefficient c0 for the leading-
twist operators is — for explicit formula see (5.87), which is actually independent
of the dimension — inspection of (5.43)/(5.44) leads to
d∈{2,4} (d)
cn = Fn, ∆′ +J ′ c0 , (5.49)
2
where we take the operator with (∆′ , J ′ ) to be the one with the lowest twist, and
(d)
Fn,α was defined in (5.46).
Chapter 5. O(N) Model in Anti–de Sitter 123
This follows from the fact that the “spin-shadow” terms — with Ω∆ϕ +J+n, ∆′ −J ′ ,∆ϕ
2
in d = 2 and Ω∆ϕ +J+n, ∆′ −J ′ −1,∆ϕ −1 in d = 4 — are dominant for large J.
2
Since rest of their prefactors are the same for n = 0, the dimension-independence
of c0 results from their identical asymptotics. Going now to nonzero n, the
modifications are:
(1) in d = 4 we have extra rational factors which go to 1 for J → ∞,
(d)
(2) there is extra factor of Fn, ∆′ +J ′ before the “spin-shadow” dominant term,
2
(3) in the rest of formula we replace J ↦→ J + n, which does not change the
′
asymptotics of the form J −τ .
The conclusion is that only (2) changes the asymptotics, leading to (5.49).
(d)
Just to be clear, we have defined Fn,α in (5.46) only for d ∈ {2, 4} by bundling
similar factors appearing in both dimensions. Whether such elegant structure for
general-twist anomalous dimensions persists also for higher dimensions is an open
question.
In order to alleviate the struggle of carrying the O(N ) indices around, we will
organize the CFT operators by their O(N ) irreps, and correspondingly decompose
the 4-point correlator. Without loss of generality, we choose the s-channel as the
one in which we perform both the OPE and the O(N )-irrep decomposition.
V ⊗ V = ⏞⏟⏟⏞
1 ⊕ 2V ⊕ 2V , (5.50)
⋀︂ ⨀︂
⏞ ⏟⏟ ⏞ ⏞ ⏟⏟ ⏞
(S) (AS) (ST)
where the O(N ) irreps appearing are the singlet (S), the anti-symmetric (AS), and
the symmetric traceless (ST) representation. The corresponding projectors are
given by
(︂ )︂ij 1 ij (︂ )︂ij
[i j]
(︂ )︂ij
(i j) 1 ij
P(S) = δ δkl , P(AS) = δ[k δl] , P(ST) = δ(k δl) − δ δkl . (5.51)
kl N kl kl N
Thus, the double-twist operators can be organized into these three O(N ) irreps,
and are schematically given as
1 ∑︂ i i
⎧ (︂ )︂
(S)
⎪ (S) On,J ≡ P(S) [Oϕ• Oϕ• ]n,J = [O O ]n,J ,
⎪
⎪
⎪
⎪
⎪
⎪ N i ϕ ϕ
⎪
⎨ (︂ )︂
[ij] [i j]
••
On,J · · ·⎪(AS) On,J ≡ P(AS) [Oϕi Oϕj ]n,J = [Oϕ Oϕ ]n,J ,
⎪
1 ij ∑︂ k k
⎪
⎪
{ij}
(︂ )︂
(i j)
⎩(ST) On,J ≡ P(ST) [Oϕi Oϕj ]n,J = [Oϕ Oϕ ]n,J − [Oϕ Oϕ ]n,J .
⎪
δ
⎪
⎪
⎪
N k
(5.52)
Decomposition of the 4-Point Correlator. From the form of the σϕ2 interaction
vertex (5.4) that couples only two identical ϕ• fields, the correlator (5.17) clearly
takes the form
⎛ ⎞ ⎛ ⎞
i k i k i k i k i k
1 1
= δ ij δ kl ⎝ + ik jl ⎜
⎠+δ δ ⎝ +
⎜ ⎟ ⎟
l N j l N j
⎠
j l j l j l
⎛ ⎞
i k i k
1 1
(︃ )︃
+ δ il δ jk ⎜ + ⎠+O
⎟
.
N j N2
⎝
j l l
(5.53)
Diagrams on the right-hand side without indices are meant to be evaluated by
taking any (but fixed) field ϕi on all external legs. We have thus decoupled the
global group-theoretic index structure of the correlator from the dynamics carried
by exchange of the σ-field.
By irreducibility (Schur’s lemma or equivalently the fact that a product of non-
equal projectors vanishes), only matching O(N ) irreps on both sides of the s-
channel decomposition can combine to contribute nontrivially to the 4-point
Chapter 5. O(N) Model in Anti–de Sitter 125
δ ij δ kl
i k ⏟ ⏞⏞ ⏟ i k i k i k
= N P(S)
ijkl
S + P(AS)
ijkl
AS + P(ST)
ijkl
ST , (5.54)
j l j l j l j l
⏞ ⏟⏟ ⏞ ⏞ ⏟⏟ ⏞ ⏞ ⏟⏟ ⏞
A(S) A(AS) A(ST)
where indices of projectors (5.51) were raised using the Kronecker delta δ •• .
Together with the singlet projector P(S) we introduced an explicit factor of N ,
such that together they are of order O(1), same as non-singlet projectors.
Solving (5.53) and (5.54) for A(S) , A(AS) and A(ST) yields
⎛ ⎞ ⎛ ⎞
i k i k i k i k i k
1 ⎜
S =⎝ ⎠+ + + + ... , (5.55)
⎜ ⎟ ⎟
N j
⎝ ⎠
j l j l l j l j l
⎛ ⎞ ⎛ ⎞
i k i k i k i k i k
1 ⎜
AS =⎝ − ⎠+ − ⎠ + ... , (5.56)
⎜ ⎟ ⎟
N
⎝
j l j l j l j l j l
⎛ ⎞ ⎛ ⎞
i k i k i k i k i k
1 ⎜
ST =⎝ + ⎠+ + + ... , (5.57)
⎜ ⎟ ⎟
N j
⎝ ⎠
j l j l j l l j l
which represent the three projections of the correlator onto O(N ) irreps. Since the
whole correlator is itself of order O(1), their leading order is also O(1). Next are
then O(1/N ) corrections — mainly coming from the interactions — which we are
about to study. As we know, the boundary CFT spectrum decomposes into the
same O(N ) irreps, and each sector can be analyzed by its associated projection of
the correlator.
Authors of [59] paid thorough attention to the singlet spectrum encoded in the
singlet projection A(S) = (5.55). The goal of this paper is to supplement their
efforts by the analysis of the remaining rank-2 non-singlet sectors governed by
A(AS) = (5.56) and A(ST) = (5.57).
However, before embarking on this journey, we need to recall the results of singlet
sector, as it will serve as an input for computing the anomalous dimensions for the
remaining two O(N ) irreps via crossing relations discussed in Section 5.3 → p.118 .
Singlet Spectrum
The leading O(1) term in singlet sector (5.55) is just the s-channel identity
contribution — two identical scalar operators Oϕi Oϕi always contain the identity
operator 1 in their OPE.
Substantially more interesting is the subleading O(1/N ) term, where the t-channel
and u-channel disconnected diagrams meet together with the s-channel exchange
Chapter 5. O(N) Model in Anti–de Sitter 126
Specs⎣ + + ⎦. (5.58)
j l j l j l
with the two terms differing just by the overall sign (−1)J , see the beginning of
Section 5.3 → p.113 .
In the O(1/N ) singlet sector spectral function (5.58) we encounter the even
combination of (5.59), so only even J survive. Thus, the O(1/N ) disconnected part
(MFT)
of the singlet sector generates poles at the MFT dimensions ∆n,J = 2∆ϕ +2n+J
for even spins J, and the associated squared OPE coefficients are 2/N times the
expression one would get just from the t-channel identity (5.36). Since the squared
OPE coefficients
√ have a factor of 1/N , the OPE coefficients themselves are of
order O(1/ N ).
The conformal block decomposition of the disconnected contributions to (5.55) is
therefore
⎛ ⎞
i k i k
1 ⎜ ∞
∞ ∑︂
2 (MFT) ⃓⃓ (s)
⃓ ⟩︃
+ = (5.60)
∑︂
C G ,
⎟
N j N n,J ⃓ 2∆ϕ +2n+J,J
⎝ ⎠
l j l n=0 J=0
J even
(MFT)
where Cn,J are MFT squared OPE coefficients coming from the t-channel
identity.
Exchange of σ-Field. The next contribution in (5.58) comes from the s-channel
exchange diagram, whose calculation was schematically outlined in (5.20). The
corresponding spectral function — including all numeric and Γ-factors — is
obtained by comparing the result of (4.18) [59] with our convention for the
integral CB decomposition (5.25), yielding
2
⃓i k Γ∆2 ϕ − ∆ Γ∆2 ϕ − ∆˜︁ Γ∆2 Γ∆˜︁
⎡ ⃓ ⎤
∆ ⃓⃓ 1
Specs⎣ ⎦ = −δJ,0 2 2 2 2
. (5.61)
J ⃓⃓ j l λ−1 + 2B(∆)
˜︁ 4π d Γ∆2 ϕ Γ1−
2
d Γ
+∆ϕ ∆− 2 ∆− 2d Γ˜︁ d
2
The first thing to notice is that (5.61) has support only on spin J = 0 operators.
Already at this point we can see that J > 0 operators in the singlet sector have zero
anomalous dimensions — a statement valid to the O(1) order actually considered,
since the squared OPE coefficients already have a factor of 1/N , and we do not
consider O(1/N 2 ) corrections. Concluding this observation, to the order O(1/N ),
(S)
the singlet J > 0 operators appearing in the Oϕ• × Oϕ• OPE are On,J with even J,
(S) (MFT)
MFT dimensions ∆n,J>0 = ∆n,J ≡ 2∆ϕ + 2n + J, and squared OPE coefficients
as in (5.60).
MFT dimensions ∆ = 2∆ϕ + 2n, which is something one would expect from
(S)
perturbative corrections to the scaling dimensions of On,0 from the interaction.
Indeed, expanding (5.61) in λ, and comparing it to the perturbative expansion of
poles in Specs — as in (5.40), where instead of 1/N we now consider series in λ —
one sees that O(λ) term coming from single insertion of λϕ4 vertex has double
(S)
poles and generates O(λ) anomalous dimensions for On,0 .
of the λ−1 + 2B˜︁ denominator. These poles depend continuously on the coupling
λ, so in order for this to be consistent — without sudden appearance of a whole
bunch of new operators once we turn on the coupling — the remnants of the MFT
poles must be canceled between the disconnected and exchange diagrams. For
such cancellation, the Γ2 double-poles must be accompanied by simple zeros of
the (λ−1 + 2B)˜︁ −1 , that is simple poles of B
˜︁ at MFT dimensions, as was already
anticipated. Such arguments allowed the authors of [59] to “bootstrap” the
bubble function B˜︁ (or more precisely its spectral representation).
Chapter 5. O(N) Model in Anti–de Sitter 128
1 ∞
1 Γd +n Γ∆ϕ +n Γ∆ϕ − d + 1 +n Γ2∆ϕ − d +n 1
(︄ )︄
= + ∆←
→∆
∑︂
2 2 2 2
B(∆)
˜︁ ˜︁
∆ϕ − + n Γd2 Γ∆ϕ + 12 +n Γ∆ϕ − d2 +1+n Γ2∆ϕ −d+1+n n!
d ∆
4(4π) 2 n=0 2
(5.62)
where after extracting some Γ-factors in front we recognized the regularized
generalized hypergeometric function 5 F
˜︁ . The bubble function B(∆)
4
˜︁ — even
for unequal masses — has been previously computed also by different methods
in [99] (see also [100]).
The sum simplifies in even dimensions (see Notebook for details). For example,
taking d = 2, the bubble function does not need any regularization, and it evaluates
to
(︂ )︂ (︂ )︂
ı̊ ψ ∆ϕ − − ψ ∆ϕ −
1+ı̊ν 1−ı̊ν
d=2 2 2 1 ψ∆ϕ − ∆2 − ψ∆ϕ − ∆˜︁2
B(∆)
˜︁ = ≡ , (5.63)
4π 2ν 4π ∆˜︁ − ∆
where ψz ≡ ψ(z) ≡ d
dz
ln Γ(z) is the digamma function.
the result is
[︃ (︃ )︃(︃ )︃]︃
ν 2(2∆ϕ − 5)ν −ı̊ 4(∆ϕ − 2) + ν 2 2
ψ∆ϕ − ∆ − ψ∆ϕ − ∆˜︁
d=4
= + a0 (∆ϕ ) .
2 2
B(∆)
˜︁
128π 2 (1 + ν 2)
(5.64)
There are no clear physical constraints which would enable us to fix the subtraction
ambiguity in the calculation of the regularized bubble function, in the case of
d = 4 being just the undetermined constant a0 . This can be seen from the fact
that λ itself is not renormalization scheme independent, and only the combination
λ−1 + 2B˜︁ in (5.61) has invariant meaning directly connected with the shape of
the physical spectrum.
In the following we will set a0 ≡ − 16π
1
2 . In Section 5.4
→ p.132
we will discuss the
rationale behind this choice. Choosing different a0 can always be reabsorbed in
the coupling λ.
One question still remains — what is the range of physically admissible values of
λ? Without a more detailed analysis of the phase structure in d = 4 we are unable
to provide a definitive answer, and will assume that any non-negative value of λ
is allowed.
such that (5.61) has a pole at the corresponding location. We use • to indicate
the place for indexing this new (infinite) family of singlet J = 0 non-MFT primary
operators denoted suggestively as σˆ︁• , since they are induced by the exchange of
the σ-field. As we will see soon, not all of them need to be continuously connected
to the MFT operators.
Chapter 5. O(N) Model in Anti–de Sitter 130
For generic λ and ∆ϕ , the key equation (5.65) is transcendental, and its roots
have to be found numerically. Nevertheless, this can be easily done to a very
high precision using standard numerical methods, for example with the help of
Wolfram Mathematica.
Examples of the bubble functions B˜︁ in d = 2 and d = 4, together with some
particular choices of λ, are displayed in Figure 5.66 → p.131 . Intersection points in
the plots correspond to singlet scalar operators σˆ︁• . At small λ, we can clearly
(S)
identify them as finite deformations of the MFT operators On,0 ≃ [Oϕ• n Oϕ• ](S) .
With increasing λ, the anomalous dimensions grow, and eventually become of
order O(1) in both λ and 1/N .
There is a subtlety in d = 4, where for a strong enough coupling λ a new operator
possibly appears that is not continuously connected with the MFT spectrum.
Such an operator would be then associated to a bound state in AdS. As we will see,
its emergence is crucial for the bulk theory to be critical, which will be discussed
in Section 5.4 → p.132 .
(S)
At large conformal dimensions ∆ ≫ 1, which concerns the operators On,0 with
n ≫ 1, the bubble functions have asymptotics (dots include subleading 1/∆ terms)
(︂ )︂ (︂ )︂
d=2 cot π(∆ϕ − ∆
2
) d=4 ∆ cot π(∆ϕ − ∆
2
)
B(∆)
˜︁ = + ... , B(∆)
˜︁ = + ... .
8∆ 128π
(5.67)
For finite λ, the inspection of (5.65) gives us following asymptotic values of the
anomalous dimensions (governed by the infinities or zeros of cot(· · ·) in d = 2 or
d = 4, respectively)
⎧
⎨0 for d = 2 ,
(S)
(0 < λ < ∞) lim γn,0 = (5.68)
n→∞ ⎩1 for d = 4 .
Of course, for λ = 0 all anomalous dimensions vanish, and for λ = ∞ the different
(S)
∆ scaling in (5.67) does not play a role, and we have limn→∞ γn,0 = 1 for both
d = 2 and d = 4.
In summary, the complete singlet spectrum given by the poles of the spectral
function (5.58) consists of non-MFT scalar (J = 0) operators supplemented
by MFT operators supported at even spins J ≥ 2. The corresponding singlet
twist–spin plot is displayed in Figure 5.69 → p.132 , with the twist being defined as
(S) (S) (S)
τn,J ≡ ∆n,J − J ≡ 2∆ϕ + 2n + γn,J .
The precise dependence of the singlet scalar anomalous dimensions on the coupling
is plotted in Figure 5.70 → p.133 . The plot mainly focuses on the strong coupling
region, and shows in what fashion the finite constant values of the anomalous
dimensions are approached at infinite coupling. The weak coupling regime is not
entirely captured in these plots, but the asymptotics in that region are simple.
Chapter 5. O(N) Model in Anti–de Sitter 131
Squared OPE Coefficients in the Singlet Sector. Having identified the locations
(S)
of physical poles ƥ,0 in the spectral function (5.61), we can now compute the
(S)
squared OPE coefficients of the corresponding singlet operators O•,0 .
Excluding the isolated case where λ is tuned precisely to the critical value when
a new operator emerges at ∆ = d2 , all physical poles at solutions of (5.65) are
Chapter 5. O(N) Model in Anti–de Sitter 132
Figure 5.69 / Twist–spin plots of the singlet spectrum for d = 2 and d = 4 given by the
poles of the complete spectral function (5.58). Only spin J = 0 operators get O(1)
anomalous dimensions in large N expansion. The plots correspond to Figure 5.66 → p.131 ,
so the non-MFT scaling dimensions of scalar operators are precisely given by the
intersection points of black and red lines in that figure.
simple. Since the rest of the remaining factors in (5.61) together with K∆,0
˜︁ are
holomorphic at these poles, the corresponding squared OPE coefficients are given
by (5.26) as
⃓i k
⎛ ⎡ ⃓ ⎤⎞
1 ∆ ⃓⃓ 1
[︂ (︂ )︂ ]︂ (︃ )︃
(S)
ope2 P(S) Oϕ• Oϕ• O•,0 = − Res∆=∆(S) K∆,0
⎝
˜︁ N Specs 0 ⃓
⎣ ⎦⎠ + O
•,0 ⃓j l N2
⃓
1 1 Γ∆2 ϕ − ∆ Γ∆2 ϕ − ∆˜︁ Γ∆4 1
⃓ (︃ )︃
⃓
= 2 2 2
+O ,
⃓
N 2B ′(∆) 4π d2 Γ∆2 ϕ Γ1−
2
Γ d Γ∆ ⃓ N2
⃓
˜︁ ⃓
d ∆−
+∆ ϕ 2 (S)
2 ∆=∆•,0
(5.71)
′
where ≡
B˜︁ denotes the derivative of the bubble function. Note that we
dB
˜︁
d∆
included the factor of 1/N with which the exchange diagram enters into the
correlator.
Plots for the coupling dependence of squared OPE coefficients (5.71) for some of
(S)
the J = 0 singlet operators On,0 associated to MFT ones in the λ → 0 limit — we
do not show possible new operator in d = 4 — is displayed in Figure 5.72 → p.134 .
Figure 5.72 / Coupling dependence of squared OPE coefficients of singlet scalar opera-
tors appearing in the Oϕ• × Oϕ• OPE. They are of order 1/N as is clear from (5.71), so
we plot the expression multiplied by this factor. In the free limit λ → 0, they reduce to
MFT values (dashed lines) given by minus residues of (5.36), as they should. All OPE
coefficients approach constant values at strong coupling, with O(1) corrections to the
corresponding MFT values. No regularities can be inferred from these plots, neither
in d = 2 nor in d = 4. Corrections of both signs occur, their strength is not ordered
by scaling dimensions of the singlet scalar operators, moreover their magnitudes can
cross.
such that the critical value of the coupling λ⋆ ≡ 16π 2 when the new operator
emerges is fixed. It just so happens that the rest of operators σˆ︁n with n ≥ 1
have scaling dimensions ∆ˆ︁σn = 5 + 2n, so they complete the family of boundary
operators induced by the bulk σ-field.
A similar story is true also for higher dimensions. Let us first present the observed
formula for simplified bubble functions at critical point in even dimensions, and
Chapter 5. O(N) Model in Anti–de Sitter 136
Plots of the bubble functions at the critical point can be seen in Figure 5.76 → p.136 .
Non-Singlet Spectrum
The non-singlet part of the spectrum is described by the spectral decomposition
of (5.56) and (5.57). Both (ST) and (AS) cases can be treated simultaneously, as
we have
i k i k i k
⎡ ⎤ ⎛ ⎡ ⎤ ⎡ ⎤ ⎞
(︂ )︂ 1
Specs⎣ ST
AS
⎦ = 1 ± (−1) ⎝Specs⎣ J ⎦+ Specs⎣ ⎦ + ...⎠,
j l j l N j l
(5.77)
where similarly to (5.59) we used that u-channel diagrams are related to the t-
channel ones by a factor of (−1)J . Now we will apply methods of Section 5.3 → p.116
and Section 5.3 → p.118 just focusing on t-channel diagrams of (5.77), and the
subsequent addition of (︂ u-channel)︂ diagrams merely multiplies all of the squared
OPE coefficients by 1 ± (−1)J . We instantly see, that non-singlet sectors
(ST)/(AS) contain only even/odd spins, respectively.
Decomposition of the t-channel exchange diagram into t-channel conformal blocks
is clearly the same as the s-channel conformal block decomposition of the s-channel
exchange diagram. Alternatively, the t-channel spectral function Spect of t-channel
exchange diagram is given by the right-hand side of (5.61).
Even though (5.61) has two types of poles/operators — MFT ones originating
from the Γ2 -factor and the non-MFT ones located at solutions of (5.65) — only
the non-MFT poles/operators contribute to the s-channel spectral function Specs
of t-channel exchange diagram. This was discussed after equation (5.34), which
we now use to write the s-channel spectral function of the t-channel exchange
diagram (including the 1/N prefactor) as
⃓i k ⃓i k
⎡ ⃓ ⎤ ⎡ ⃓ ⎤
1 ∆ ⃓⃓
∫︂
d∆′ 1 ⎣∆
′
= s ←− t ⃓
Specs CrK⟨∆,J|∆′ ,0⟩ K˜︁′ Spec ⃓
2πı̊ 0
⎣ ⎦ ⎦
∆ ,0 N t
N J ⃓⃓ j l
d
2
+ı̊R
⃓
⃓j l
[︂ ]︂
(S)
= ope2 Oϕ Oϕ O•,0 s ←− t
(5.78)
∑︂
CrK⟨∆,J |∆(S) ,
•,0 ,0⟩
(S)
O•,0
Chapter 5. O(N) Model in Anti–de Sitter 138
where the sum runs only over the non-MFT operators exchanged in the t-channel,
(S)
all of which are scalar singlets O•,0 with dimensions given by roots of (5.65) and
corresponding squared OPE coefficients given by (5.71).
(1)
where again only the non-MFT operators contribute. Definition of γn,J was
given in (5.42) and explicit expressions in d = 2 and d = 4 were presented
in (5.43) and (5.44). Remember that the squared OPE coefficients (5.71) of
the exchanged non-MFT operators are of order O(1/N ), and thus are also the
(ST)/(AS)
anomalous dimensions γn,J . Even though the same formula (5.79) is applicable
for both (ST)/(AS) sectors, only operators with even/odd spins J actually appear
in the (ST)/(AS) sector, respectively.
The whole next section is dedicated to the analysis of the O(1/N ) non-singlet
spectrum corrections governed by (5.79).
Therefore, in Section 5.5 → p.139 we first describe how we chose to truncate the
sum initially going over infinitely many singlet operators. See the accompanying
Notebook for the code implementing all of the calculations.
Finally, dependence on the external scaling dimension and the coupling is examined
in Section 5.5 → p.141 . In particular, strong and weak coupling asymptotics are
explored, from which it is recognized that scaling dimensions of (ST) scalar
operators were not computed correctly due to a known limitation of the Lorentzian
inversion formula entering the derivation of (5.79).
Before discussing its behavior on the choice of kmax , or equivalently the convergence
(1)
of original sum (5.79), let us make a remark about γn,J provided in (5.43)/(5.44).
Its evaluation sometimes involves performing a difference of two terms that are nu-
merically huge but almost equal. This forced us to keep a high WorkingPrecision
in the Notebook , namely we set it to a value of 100, sufficient for our range
of computations.
We are still left with a legitimate question — how large should kmax be, such
that the anomalous dimensions (5.80) of non-singlet operators are calculated with
sufficient precision?
As will be explained later, (ST) operators with J = 0 are problematic for yet
another reason — a limitation present already in the derivation of (5.79) — so we
did not attempt to employ resummation techniques that would take care of the
neglected tail of the sum.
Figure 5.81 / Log–log plot of magnitudes of individual terms in (5.80) helping to assess
the convergence of the sum calculating the non-singlet anomalous dimensions. Fixed
external parameters are summarized in the boxes. For large k, the summands falloff
as ∼ k −2(1+J) .
To prepare the plots we had to choose also a particular value for N . It was fixed to a
rather small unphysical value N = 20 1
, otherwise corrections of twists by anomalous
dimensions (multiplied by a factor 1/N ) from their MFT values would be barely
visible. So the functional dependence of the anomalous dimensions on (n, J) is
faithfully displayed, but their absolute value is exaggerated by extrapolating them
far beyond the validity of the large N expansion.
Chapter 5. O(N) Model in Anti–de Sitter 141
Both plots clearly exhibit the discussed organization of the spectrum into twist
trajectories labeled by n ∈ N0 that are concave as a function of the spin J and
asymptote to the MFT spectrum for J → ∞. This asymptotic shape is valid
above some minimal spin Jcrit that depends on a concrete theory (in our case
Jcrit = 1).
These claims are by now a theorem valid in any CFT, which was established in
a series of papers [106] [107] [108] [109] [110]. Applied to our setting, it
states that if Oϕi is in the spectrum, then so must be (at least for J ≥ 1) the
double-twist families of schematic form [Oϕi n ∂ J Oϕj ].
For the MFT theory at N → ∞, they all have twists τn,J ≡ ∆n,J − J = 2∆ϕ + 2n.
Deforming from the strict large N limit, they receive anomalous dimensions and
the large spin asymptotics of their twist trajectories was shown in (1.7) [106]
and (1) [107] to be of the form
cn
τn,J ≃ 2∆ϕ + 2n − + ··· . (5.82)
J τmin
This theorem serves us as a check of consistency done in Section 5.5 → p.144 , where
we also discuss which “minimal twist” operator governs the asymptotics in our
case.
thus linear. This might be connected with the fact that the Lorentzian inversion
formula, that was used in [61] to derive the key formulas on which we build
in Section 5.3 → p.113 , is guaranteed to apply only for spin J ≥ 1 operators (since
one inverts spin J ′ = 0 operators in the t-channel). Based on this weak coupling
discrepancy, we must honestly admit that anomalous dimensions of (ST) J = 0
operators might get additional corrections that are not accounted for by the
Lorentzian inversion formula.
Chapter 5. O(N) Model in Anti–de Sitter 143
A representative plot of this dependence is shown in Figure 5.86 → p.145 for the case
d = 2 and spin J = 2 corresponding to the Figure 5.83 → p.142 , but conclusions are
generic. The anomalous dimensions increase at first until reaching a maximum for
a critical twist family n∗ — slightly higher than shown in Figure 5.83 → p.142 — and
then start monotonically decreasing. This asymptotic fall off for very subleading
Chapter 5. O(N) Model in Anti–de Sitter 144
(1)
Figure 5.85 / Dependence of anomalous dimensions γn,J on the coupling in d = 2. The
top row shows the J = 0 operators in the (ST) irrep for the first two Regge trajectories
— n = 0 and n = 1. The bottom row displays the same for the J = 1 operators in the
(AS) irrep. Note, that the plots are in a log–log scale and cover a range of indicated
external scaling dimensions starting at the Breitenlohner–Freedman bound, above
which Dirichlet boundary conditions are applicable.
The large spin asymptotics were already derived in [106] [107], as presented
in (5.82). The authors even computed the coefficient c0 determining the leading-
twist deviation from MFT at large spin (1.8) [106]. It is given in terms of OPE
data associated with the operator of minimal twist τmin ≡ ∆min − Jmin and spin
Jmin . Since it turns out to be important for determining the correct “minimal
(R)
twist” operator O∆min ,Jmin governing the large spin asymptotics, we reproduce it
Chapter 5. O(N) Model in Anti–de Sitter 145
The left-hand side was evaluated for log10 J ∈ [0, 4] with a step 15 , and last few
data points were then fitted. The results for first two twist families are shown
in Figure 5.89 → p.147 , but we performed the same analysis also for higher twist
families with similar results.
The leading asymptotics J −τmin given by the slope of the linear fit in these log–log
(fit)
plots is the same for all Regge trajectories. As explained, the value τmin determined
(S)
by the fits should be compared against the scaling dimension ∆0,0 of the non-MFT
“minimal” twist operator σˆ︁0 . We confirmed almost a perfect match, which only
improves with higher J. Similarly, the coefficients cn show a good agreement with
theoretical values (5.87) (and (5.49)).
In spirit, this verifies that general formulas (5.43)/(5.44) have an appropriate form
reproducing the large spin asymptotics theorem. The specific results for the O(N )
model then necessarily follow.
It is worthwhile to highlight another feature implemented in Figure 5.89 → p.147 .
The black points represent “complete” anomalous dimensions (5.80) summed up
to kmax = 20, while the colored (blue, yellow, green) points correspond in order to
contributions of the first few members {σˆ︁0 , σˆ︁1 , σˆ︁2 } of the scalar singlet family. It is
Chapter 5. O(N) Model in Anti–de Sitter 147
Figure 5.89 / Log–log plots displaying the large spin asymptotics of non-singlet anoma-
lous dimensions for first two twist trajectories (n = 0 and n = 1) in d = 2 and d = 4.
Choices of the parameters used in each plot are shown in the upper right boxes. The
last few data (black) points were fitted by a linear function (5.88) (dashed line) with
parameters given in the bottom left boxes. The slopes of dashed lines represent the
calculated minimal twists, and are in good agreement with the theory value, thus
verifying the large spin asymptotics theorem.
satisfying to visually see how the “minimal” twist operator σˆ︁0 completely saturates
the asymptotics, and how the subdominant contributions are suppressed at large
J. Even if one resummed the whole infinite tower of remaining operators σˆ︁n≥1 ,
their asymptotics would still remain subleading compared to the one associated
with σˆ︁0 .
Finally, we should comment that the theorem is applicable for a generic CFTd
only in d > 2. The problem with d = 2 is that the stress tensor is in the same
conformal Virasoro multiplet as the identity operator (it is its first nontrivial
descendant at level two) and thus has the same twist τ = 0. Without a twist
gap between the identity and an operator of minimal twist, the theorem does not
apply. Yet, we are dealing with a holographic theory without dynamical gravity
in the bulk, and therefore with a non-local dual CFTd on the boundary without
a stress tensor. This implies that the whole Virasoro multiplet of the identity
operator reduces just to the identity operator, and explains why we are able to use
the asymptotic behavior (5.82) also in d = 2, which Figure 5.89 → p.147 confirms.
Chapter 5. O(N) Model in Anti–de Sitter 148
We chose the O(N ) model at finite coupling in the bulk, as it is a reasonably simple
theory and its input data for crossing, in the form of the singlet spectrum, were
already available thanks to [59]. The set of techniques employed is applicable to
any other theory as long as one has partial knowledge of its CFT data.
In the course of this research we obtained two classes of results which we sum-
marize in the following. We remind the interested reader that various detailed
computations and the implementation of main formulas can be found in the
accompanying Notebook .
It can be viewed as a deformation of the two limiting cases where the quartic
interaction in the action (5.1) is turned off — either by setting N = ∞ or λ = 0.
In both cases, all correlators are just products of two-point functions, and the
corresponding MFT OPE can be schematically decomposed into O(N ) irreps
(denoted by the superscripts) as
j] (AS) {i j} (ST)
[︂ ]︂ [︂ ]︂
N =∞ [i
Oϕi × Oϕj ∼ 1(S) ⊕ Oϕ n J
∂odd Oϕ ⊕ Oϕ n J
∂even Oϕ ,
MFT MFT
1 [︂ • ]︂(S)
Oϕi × Oϕj
λ=0
∼ 1(S) ⊕ √ Oϕ ∂even Oϕ•
n J
⊕ (5.90)
N MFT
j] (AS) {i j} (ST)
[︂ ]︂ [︂ ]︂
[i n J n J
⊕ Oϕ ∂odd Oϕ ⊕ Oϕ ∂even Oϕ .
MFT MFT
Both of them are obtained from the disconnected parts of the 4-point function
decomposition in (5.55, 5.56, 5.57). As the singlet sector double-twist operators
have a factor
√ of 1/N in their squared OPE coefficients, OPE coefficients are of
order O(1/ N ). For N = ∞ they vanish, and the singlet double-twist operators
are transferred fully to the (ST) part, see also (5.52).
At finite λ and large (but finite) N , this picture is modified — only leading
corrections in large N are shown — to the following schematic form
1 [︂ ]︂(S) 1 [︂ • ]︂(S)
Oϕi × Oϕj ∼ 1(S) ⊕ √ σˆ︁• ∼ “Oϕ• n
Oϕ• ” ⊕√ Oϕ ∂even Oϕ•
n J>0
⊕
N fin N MFT
j] (AS) {i j} (ST)
[︂ ]︂ [︂ ]︂
[i
⊕ Oϕ n J
∂odd Oϕ ⊕ Oϕ n J
∂even Oϕ . (5.91)
1/N 1/N
Discussion of singlet operators in the first line of (5.91) splits according to the spin.
Scalar boundary operators σˆ︁• are induced by the composite interacting σ-field in
the bulk — they are given by the poles of the spectral function associated with
the exact σ-propagator. As indicated, their scaling √ dimensions get finite shifts
from MFT, and their OPE coefficients are O(1/ N ) to the order considered.
Spinning singlet operators do not receive such O(1) corrections to their MFT
scaling dimensions. The formula for scaling dimensions of the O(N ) singlet sector
was already given in [59].
The non-singlet operators in the second line of (5.91) get 1/N shifts to their
scaling dimensions.
√ Leading OPE coefficients in this sector are of order O(1), and
acquire O(1/ N ) deformations. Both of these corrections correspond to a 1/N
modification of the correlator. In this work we did not compute the corrections to
the OPE coefficients, even though the setup is ready for it. It is just a matter of
Chapter 5. O(N) Model in Anti–de Sitter 150
(5.92)
Different σˆ︁• operators get corrected by different signs and their relative strength
changes with the coupling.
Based on the self-consistency scrutiny of the spectrum summarized in the previous
paragraphs and also additional checks done in [59] we believe that the results
are reliable and ready to be used in applications (at least in d = 2 which has a
well understood phase structure and no UV divergence).
Future Directions. There are still various unresolved questions and possible
future directions. One concerns the anomalous dimensions of J = 0 (ST) operators,
for which we have indications that they were not properly captured by the
6j–symbol. Another is the computation of the OPE coefficients for the non-singlet
operators, which is primarily just a technical challenge. Since in principle we can
calculate anomalous dimensions in the non-singlet sector for any n and J, this
opens a possibility to perform a more detailed analysis of the spectrum and its
properties.
Following [111], it would be interesting to calculate non-singlet spectrum of the
O(N ) model in de Sitter (dS) background.
A further valuable extension of our work concerns the critical theory in the bulk.
Its careful investigation particularly attracts our attention for a future project —
either in the BCFTd+1 setting [77] linked directly to AdSd+1 or in the DCFTn+m
setting [70] corresponding to a theory on AdSn × Sm (and requiring thus the
Kaluza–Klein reduction on the sphere). We hope to report on some additional
observables in these theories that could be inferred from the results obtained in
this work.
152
C
Conclusion
Since we have covered a broad range of topics in this thesis, let us take a moment
to summarize the main narrative.
In Chapter 1 → p.1 , we began by reviewing the QFT formalism, taking the path
integral as a powerful tool for both constructing and analyzing QFTs. We then
formalized its key features within the FQFT framework, which gave us a firmer
grip on the formulation of QFTs in general backgrounds. This allowed us to better
appreciate the role of symmetries, and clarified the conceptual meaning of various
operator formalisms associated with different spacetime foliations.
In Chapter 2 → p.37 , we discussed various types of effective actions. In particular,
we introduced the notion of the RG flow, which has profound implications for
the structure of QFTs and physics in general. It provides a framework for un-
derstanding physical behavior at different energy scales, and explains the origin
of universality observed at second-order phase transitions of statistical systems,
which correspond to the fixed points of the RG flow described by CFTs.
In Chapter 3 → p.51 , we built the foundations of (d ≥ 3) CFTs from the ground up.
We first looked at the conformal structure of manifolds in general, and later we
focused on flat space. Identifying the conformal group and algebra, we studied
their representations and the initial implications of symmetry for correlation
functions. Finally, a particularly important feature of CFT was discussed — the
existence of state–operator correspondence, and the Operator Product Expansion.
In Chapter 4 → p.91 , we turned our attention to the AdS space. Since the isometry
group of AdS acts on its asymptotic boundary as a flat-space conformal group,
QFTs in AdS admit a set of asymptotic observables that are conformally invari-
ant, so much of the CFT methodology can be used to study them. This falls
under the umbrella of the AdS/CFT correspondence, which more generally (after
taking the bulk metric to be dynamic) attempts to define a Quantum Gravity
in asymptotically AdS spacetime through a dual (holographic) CFT living on its
boundary.
In Chapter 5 → p.100 , we studied the O(N ) model in AdS at finite coupling in the
large N expansion. Much of the formalism developed in the previous chapters
was used, either directly or indirectly. The main focus was to extend the known
results from the analysis of the singlet sector also to the non-singlet sector, thereby
obtaining a more complete picture of the spectrum at order 1/N . For a thorough
summary of the results, we refer to Section 5.6 → p.148 .
The ideas presented here reflect a deep interplay between various fields, such as
Mathematics, Quantum Field Theory, Statistical Physics, and Gravity. I hope
you found it as fascinating as I did.
153
N
Notation & Conventions
Miscellaneous
√
Imaginary unit is denoted as ı̊ ≡ −1 (taking principal square root), and the
Euler’s number or natural logarithm base as “e”.
Throughout we use units where the speed of light is unity. Sometimes, we also set
reduced Planck’s constant to be ℏ ≡ 1.
We will work in the “mostly plus” signature, that is in R1,d−1 we have
d−1
⏟ ⏞⏞ ⏟
(1,d−1)
η•• = diag(−1, +1, +1, . . . , +1) ,
Corresponding Lorentz groups are SO(1, d − 1) and SO(d) ≡ SO(0, d), respectively.
Differential Geometry
While we assume familiarity with various concepts from differential geometry,
including Lie groups, we briefly summarize the notation we will use in this thesis.
Tangent bundle is denoted as T M, the cotangent bundle as T ∗M, and the bundle
of (p, q)-tensors is denoted as Tqp M. Corresponding vector, covector, and tensor
fields are denoted as T M ≡ Sect T M, T ∗M ≡ Sect T ∗M, and T qpM ≡ Sect Tqp M,
respectively.
Bold indices denote abstract indices [42] [112], for example ξ a ∈ T M, gab ∈
T2 M. Repeated indices denote contraction. Indices are raised or lowered automat-
ically using the metric tensor g•• or its inverse g •• , for example A • B ≡ Aa B a ≡
gab Aa B b = g ab Aa Bb .
Indices which are not bold denote components of a tensor in a given coordinate
system (choice of which is usually obvious from context), for example gab ≡ gab .
Repeated indices denote summation.
As already shown, we sometimes omit abstract/coordinate indices, and indicate
the contraction/summation by a dot •/ . For example, we
•
(︂ have x
)︂ ≡ x x ≡ xa xa ,
2 •
a
The generator of the flow ϕ ∗ (tangent vector field to the curves generated by the
flow) is defined as ξ ≡ dε
D
ϕε |ε=0 ≡ Dϕ ε
|
dε ε=0
∈ T M, where we distinguished D to
be capital and bold — compared to the ordinary derivative — to indicate that
the resulting object is a vector field.
1
Metric density (of weight 1) is denoted as g /2 ≡ |Det g| √︂
/2
∈ Dens1M, which
1
⃓ ⃓
dd x ≡ ⃓dx0 ∧ dx1 ∧ . . . ∧ dxd−1 ⃓ is the coordinate density.
⃓ ⃓
In the “tetrad” formalism, we will denote the vector field frame as {eak } ⊂ T M,
where a is the abstract index and k is the “enumerating” index. The dual (covector)
tetrad frame will be denoted as {eka } ⊂ T ∗M. It is chosen such that eak ela = δkl
and eak ekb = δba .
Frame is always taken to be orthonormal, that is gab = ηij eia ejb , where ηij are
coordinates of the canonical metric in Rp,q (with corresponding signature). We
can easily see (using |det η•• | = 1) that metric density is then e = g /2 = |Det e•• | ∈
1
Dens1M.
We will always use Levi-Civita connection ∇, which is torsion-free (Tor[∇] = 0)
and metric-compatible (∇g = 0). Alternatively, we use ∂ when acting on scalars,
since their covariant derivative does not depend on the connection.
155
R
References
Back-references to the pages where the publication was cited are given by • .
[2] Arthur Jaffe and Frank Quinn. “Theoretical Mathematics”: Toward a Cultural
Synthesis of Mathematics and Theoretical Physics. Bulletin of the American
Mathematical Society, 1993.
arXiv: math/9307227 vii
[6] Pierre Deligne, Pavel Etingof, Daniel S. Freed, Lisa C. Jeffrey, David
Kazhdan, John W. Morgan, David R. Morrison, and Edward Witten
(editors). Quantum Fields and Strings: A Course for Mathematicians •
Volume 1. American Mathematical Society, 1999.
url: https://math.ias.edu/QFT/fall/
url: https://bookstore.ams.org/qft-1-2-s 2, 5
[7] Pierre Deligne, Pavel Etingof, Daniel S. Freed, Lisa C. Jeffrey, David
Kazhdan, John W. Morgan, David R. Morrison, and Edward Witten
(editors). Quantum Fields and Strings: A Course for Mathematicians •
Volume 2. American Mathematical Society, 1999.
url: https://math.ias.edu/QFT/spring/
url: https://bookstore.ams.org/qft-1-2-s 2
[9] Maxim Kontsevich and Graeme Segal. Wick Rotation and the Positivity of
Energy in Quantum Field Theory. The Quarterly Journal of Mathematics,
2021.
doi: 10.1093/qmath/haab027 arXiv: 2105.10161 [hep-th] 13 , 18
References 156
[10] Pavel Mnev. Quantum Field Theory: Batalin–Vilkovisky Formalism and Its
Applications. American Mathematical Society, 2019.
url: https://bookstore.ams.org/ulect-72 13 , 39
[14] Graeme Segal. The Definition of Conformal Field Theory. In: Differential
Geometrical Methods in Theoretical Physics. Springer, 1988.
doi: 10.1007/978-94-015-7809-7_9 13
[16] Mykola Dedushenko. Snowmass White Paper: The Quest to Define QFT.
International Journal of Modern Physics A, 2023.
doi: 10.1142/S0217751X23300028 arXiv: 2203.08053 [hep-th] 14
[17] David Poland and Leonardo Rastelli. Snowmass Topical Summary: Formal
QFT. In: Snowmass 2021. 2022.
arXiv: 2210.03128 [hep-th] 14
[19] John C. Baez and Mike Stay. Physics, Topology, Logic and Computation: A
Rosetta Stone. In: New Structures for Physics. ed. by Bob Coecke. Springer,
2010.
doi: 10.1007/978-3-642-12821-9_2 17
[20] Raymond F. Streater and Arthur S. Wightman. PCT, Spin and Statistics,
and All That. Princeton University Press, 2000.
url: https://press.princeton.edu/isbn/9780691070629 36
[21] Konrad Osterwalder and Robert Schrader. Axioms for Euclidean Green’s
functions. Communications in Mathematical Physics, 1973.
doi: 10.1007/BF01645738 36
References 157
[22] James Glimm and Arthur Jaffe. Quantum Physics • A Functional Integral
Point of View. Springer, 1987.
doi: 10.1007/978-1-4612-4728-9 36
[26] Steven Weinberg. The Quantum Theory of Fields • Volume II: Modern
Applications. Cambridge University Press, 1996.
doi: 10.1017/CBO9781139644174 37 , 39
[27] Jean Zinn-Justin. Quantum Field Theory and Critical Phenomena. Oxford
University Press, 2021.
doi: 10.1093/oso/9780198834625.001.0001 37 , 39
[30] Edward Witten. Quantum Field Theory and the Jones Polynomial. Commu-
nications in Mathematical Physics, 1989.
doi: 10.1007/BF01217730 51
[31] Juan Maldacena. The Large N Limit of Superconformal Field Theories and
Supergravity. Advances in Theoretical and Mathematical Physics, 1998.
doi: 10.4310/ATMP.1998.v2.n2.a1 arXiv: hep-th/9711200 [hep-th] 51
[32] David Simmons-Duffin. The Conformal Bootstrap. In: TASI 2015, New
Frontiers in Fields and Strings. World Scientific, 2017.
doi: 10.1142/9789813149441_0001 arXiv: 1602.07982 [hep-th] 52
[33] Marco Meineri and João Penedones. Conformal Field Theory and Gravity.
2019.
url: https://epfl.ch/labs/fsl/wp-content/uploads/2022/05/CFTandGravity.pdf
52 , 91
[34] David Poland, Slava Rychkov, and Alessandro Vichi. The Conformal Boot-
References 158
[35] Philippe Francesco, Pierre Mathieu, and David Sénéchal. Conformal Field
Theory. Springer, 1996.
doi: 10.1007/978-1-4612-2256-9 52
[37] Roger Penrose and Wolfgang Rindler. Spinors and Space-Time • Volume 2:
Spinor and Twistor Methods in Space-Time Geometry. Cambridge University
Press, 1986.
doi: 10.1017/CBO9780511524486 53
[40] Carlos Batista. On Spaces with the Maximal Number of Conformal Killing
Vectors. 2017.
arXiv: 1711.01337 [gr-qc] 60
[42] Roger Penrose and Wolfgang Rindler. Spinors and Space-Time • Volume
1: Two-Spinor Calculus and Relativistic Fields. Cambridge University Press,
1984.
doi: 10.1017/CBO9780511564048 66 , 153
[44] Per Kraus, Stathis Megas, and Allic Sivaramakrishnan. Anomalous dimen-
sions from thermal AdS partition functions. Journal of High Energy Physics,
2020.
doi: 10.1007/JHEP10(2020)149 arXiv: 2004.08635 [hep-th] 74
[45] João Penedones. Writing CFT correlation functions as AdS scattering ampli-
tudes. Journal of High Energy Physics, 2011.
doi: 10.1007/JHEP03(2011)025 arXiv: 1011.1485 [hep-th] 74 , 112
References 159
[46] A. Liam Fitzpatrick and Jared Kaplan. Unitarity and the Holographic
S-Matrix. Journal of High Energy Physics, 2012.
doi: 10.1007/JHEP10(2012)032 arXiv: 1112.4845 [hep-th] 74 , 119
[48] Duccio Pappadopulo, Slava Rychkov, Johnny Espin, and Riccardo Rattazzi.
OPE Convergence in Conformal Field Theory. Physical Review D, 2012.
doi: 10.1103/PhysRevD.86.105043 arXiv: 1208.6449 [hep-th] 86
[49] Matthijs Hogervorst and Slava Rychkov. Radial Coordinates for Conformal
Blocks. Physical Review D, 2013.
doi: 10.1103/PhysRevD.87.106004 arXiv: 1303.1111 [hep-th] 86
[51] Miguel S. Costa, Vasco Gonçalves, and João Penedones. Spinning AdS
propagators. Journal of High Energy Physics, 2014.
doi: 10.1007/JHEP09(2014)064 arXiv: 1404.5625 [hep-th] 91 , 108 , 113
[54] Lorenzo Di Pietro, Victor Gorbenko, and Shota Komatsu. Analyticity and
Unitarity for Cosmological Correlators. Journal of High Energy Physics,
2022.
doi: 10.1007/JHEP03(2022)023 arXiv: 2108.01695 [hep-th] 92
[57] Miguel F. Paulos, João Penedones, Jonathan Toledo, Balt C. van Rees,
and Pedro Vieira. The S-matrix bootstrap. Part I: QFT in AdS. Journal of
High Energy Physics, 2017.
doi: 10.1007/JHEP11(2017)133 arXiv: 1607.06109 [hep-th] 95 , 101
References 160
[58] Jonáš Dujava and Petr Vaško. Finite-coupling spectrum of O(N) model in
AdS. 2025.
arXiv: 2503.16345 [hep-th] GitHub: jdujava/ONinAdS 100
[59] Dean Carmi, Lorenzo Di Pietro, and Shota Komatsu. A Study of Quantum
Field Theories in AdS at Finite Coupling. Journal of High Energy Physics,
2019.
doi: 10.1007/JHEP01(2019)200 arXiv: 1810.04185 [hep-th]
100 , 101 , 102 , 104 , 107 , 110 , 112 , 123 , 125 , 126 , 127 , 128 , 132 , 135 , 148 , 149 , 151
[60] Ankur, Dean Carmi, and Lorenzo Di Pietro. Scalar QED in AdS. Journal
of High Energy Physics, 2023.
doi: 10.1007/JHEP10(2023)089 arXiv: 2306.05551 [hep-th] 100 , 101 , 128
[61] Junyu Liu, Eric Perlmutter, Vladimir Rosenhaus, and David Simmons-
Duffin. d-dimensional SYK, AdS Loops, and 6j Symbols. Journal of High
Energy Physics, 2019.
doi: 10.1007/JHEP03(2019)052 arXiv: 1808.00612 [hep-th]
101 , 110 , 113 , 115 , 116 , 117 , 118 , 120 , 121 , 142 , 148
[62] Matthijs Hogervorst, Marco Meineri, João Penedones, and Kamran Salehi
Vaziri. Hamiltonian truncation in Anti-de Sitter spacetime. Journal of High
Energy Physics, 2021.
doi: 10.1007/JHEP08(2021)063 arXiv: 2104.10689 [hep-th] 101
[64] António Antunes, Edoardo Lauria, and Balt C. van Rees. A bootstrap study
of minimal model deformations. Journal of High Energy Physics, 2024.
doi: 10.1007/JHEP05(2024)027 arXiv: 2401.06818 [hep-th] 101
[65] Nat Levine and Miguel F. Paulos. Bootstrapping bulk locality. Part I: Sum
rules for AdS form factors. Journal of High Energy Physics, 2024.
doi: 10.1007/JHEP01(2024)049 arXiv: 2305.07078 [hep-th] 101
[66] Marco Meineri, João Penedones, and Taro Spirig. Renormalization group
flows in AdS and the bootstrap program. Journal of High Energy Physics,
2024.
doi: 10.1007/JHEP07(2024)229 arXiv: 2305.11209 [hep-th] 101
theories with a slightly broken higher spin symmetry. Classical and Quantum
Gravity, 2013.
doi: 10.1088/0264-9381/30/10/104003 arXiv: 1204.3882 [hep-th] 101
[69] António Antunes, Nat Levine, and Marco Meineri. Demystifying integrable
QFTs in AdS: No-go theorems for higher-spin charges. 2025.
arXiv: 2502.06937 [hep-th] 101
[70] Gabriel Cuomo, Zohar Komargodski, and Márk Mezei. Localized magnetic
field in the O(N) model. Journal of High Energy Physics, 2022.
doi: 10.1007/JHEP02(2022)134 arXiv: 2112.10634 [hep-th] 102 , 103 , 151
[71] Balt C. van Rees and Xiang Zhao. Quantum Field Theory in AdS Space
instead of Lehmann-Symanzik-Zimmerman Axioms. Physical Review Letters,
2023.
doi: 10.1103/PhysRevLett.130.191601 arXiv: 2210.15683 [hep-th] 102
[73] Mirah Gary and Steven B. Giddings. The Flat space S-matrix from the
AdS/CFT correspondence? Physical Review D, 2009.
doi: 10.1103/PhysRevD.80.046008 arXiv: 0904.3544 [hep-th] 102
[74] Eliot Hijano. Flat space physics from AdS/CFT. Journal of High Energy
Physics, 2019.
doi: 10.1007/JHEP07(2019)132 arXiv: 1905.02729 [hep-th] 102
[75] Sarthak Duary, Eliot Hijano, and Milan Patra. Towards an IR finite S-matrix
in the flat limit of AdS/CFT. 2022.
arXiv: 2211.13711 [hep-th] 102
[76] Andrew Strominger. Lectures on the Infrared Structure of Gravity and Gauge
Theory. Princeton University Press, 2017.
arXiv: 1703.05448 [hep-th] 102
[77] Simone Giombi and Himanshu Khanchandani. CFT in AdS and boundary
RG flows. Journal of High Energy Physics, 2020.
doi: 10.1007/JHEP11(2020)118 arXiv: 2007.04955 [hep-th] 102 , 135 , 151
[78] Moshe Moshe and Jean Zinn-Justin. Quantum field theory in the large N
limit: A Review. Physics Reports, 2003.
doi: 10.1016/S0370-1573(03)00263-1 arXiv: hep-th/0306133 104
[81] Lin Fei, Simone Giombi, and Igor R. Klebanov. Critical O(N) models in
6 − ε dimensions. Physical Review D, 2014.
doi: 10.1103/PhysRevD.90.025018 arXiv: 1404.1094 [hep-th] 106
[82] Simone Giombi, Richard Huang, Igor R. Klebanov, Silviu S. Pufu, and
Grigory Tarnopolsky. The O(N) Model in 4 < d < 6 : Instantons and
complex CFTs. Physical Review D, 2020.
doi: 10.1103/PhysRevD.101.045013 arXiv: 1910.02462 [hep-th] 107
[83] Victor Gorbenko, Slava Rychkov, and Bernardo Zan. Walking, Weak first-
order transitions, and Complex CFTs. Journal of High Energy Physics,
2018.
doi: 10.1007/JHEP10(2018)108 arXiv: 1807.11512 [hep-th] 107
[84] Igor R. Klebanov and Edward Witten. AdS / CFT correspondence and
symmetry breaking. Nuclear Physics B, 1999.
doi: 10.1016/S0550-3213(99)00387-9 arXiv: hep-th/9905104 107
[85] Michael Dütsch and Karl-Henning Rehren. A Comment on the dual field
in the scalar AdS / CFT correspondence. Letters in Mathematical Physics,
2002.
doi: 10.1023/A:1021601215141 arXiv: hep-th/0204123 108
[86] Edward Witten. Anti–de Sitter Space and Holography. Advances in Theo-
retical and Mathematical Physics, 1998.
doi: 10.4310/ATMP.1998.v2.n2.a2 arXiv: hep-th/9802150 [hep-th] 108
[88] Igor Bertan and Ivo Sachs. Loops in Anti–de Sitter Space. Physical Review
Letters, 2018.
doi: 10.1103/PhysRevLett.121.101601 arXiv: 1804.01880 [hep-th] 110
[89] Igor Bertan, Ivo Sachs, and Evgeny D. Skvortsov. Quantum φ4 Theory in
AdS4 and its CFT Dual. Journal of High Energy Physics, 2019.
doi: 10.1007/JHEP02(2019)099 arXiv: 1810.00907 [hep-th] 110
[90] Máximo Bañados, Ernesto Bianchi, Iván Muñoz, and Kostas Skenderis.
Bulk renormalization and the AdS/CFT correspondence. Physical Review D,
2023.
doi: 10.1103/PhysRevD.107.L021901 arXiv: 2208.11539 [hep-th] 110
[91] A. Liam Fitzpatrick, Jared Kaplan, João Penedones, Suvrat Raju, and
Balt C. van Rees. A Natural Language for AdS/CFT Correlators. Journal of
High Energy Physics, 2011.
doi: 10.1007/JHEP11(2011)095 arXiv: 1107.1499 [hep-th] 113
References 163
[94] Francis A. Dolan and Hugh Osborn. Conformal Partial Waves: Further
Mathematical Results. 2011.
arXiv: 1108.6194 [hep-th] 113
[99] Jacques Bros, Henri Epstein, Michel Gaudin, Ugo Moschella, and Vin-
cent Pasquier. Anti de Sitter Quantum Field Theory and a New Class of
Hypergeometric Identities. Communications in Mathematical Physics, 2012.
doi: 10.1007/s00220-011-1372-0 arXiv: 1107.5161 [hep-th] 128
[100] Sergio L. Cacciatori, Henri Epstein, and Ugo Moschella. Loops in anti de
Sitter space. Journal of High Energy Physics, 2024.
doi: 10.1007/JHEP08(2024)109 arXiv: 2403.13142 [hep-th] 128
[101] David M. McAvity and Hugh Osborn. Conformal field theories near a
boundary in general dimensions. Nuclear Physics B, 1995.
doi: 10.1016/0550-3213(95)00476-9 arXiv: cond-mat/9505127 133
[104] Pedro Liendo, Leonardo Rastelli, and Balt C. van Rees. The Bootstrap
Program for Boundary CFTd . Journal of High Energy Physics, 2013.
doi: 10.1007/JHEP07(2013)113 arXiv: 1210.4258 [hep-th] 135
[105] Miguel S. Costa, Vasco Gonçalves, and João Penedones. Conformal Regge
theory. Journal of High Energy Physics, 2012.
doi: 10.1007/JHEP12(2012)091 arXiv: 1209.4355 [hep-th] 140
[107] A. Liam Fitzpatrick, Jared Kaplan, David Poland, and David Simmons-
Duffin. The Analytic Bootstrap and AdS Superhorizon Locality. Journal of
High Energy Physics, 2013.
doi: 10.1007/JHEP12(2013)004 arXiv: 1212.3616 [hep-th] 140 , 141 , 144
[108] Luis F. Alday. Large Spin Perturbation Theory for Conformal Field Theories.
Physical Review Letters, 2017.
doi: 10.1103/PhysRevLett.119.111601 arXiv: 1611.01500 [hep-th] 141
[109] Sridip Pal, Jiaxin Qiao, and Slava Rychkov. Twist Accumulation in Confor-
mal Field Theory: A Rigorous Approach to the Lightcone Bootstrap. Commu-
nications in Mathematical Physics, 2023.
doi: 10.1007/s00220-023-04767-w arXiv: 2212.04893 [hep-th] 141
[110] Balt C. van Rees. Theorems for the Lightcone Bootstrap. 2024.
arXiv: 2412.06907 [hep-th] 141
[112] Pavel Krtouš. Relationships between Scalar Field and Relativistic Particle
Quantizations. PhD thesis. University of Alberta, 1997.
url: https://utf.mff.cuni.cz/~krtous/papers/THESIS.pdf 153