Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:hep-th/0309269 · Fortschritte der Physik

Algebras in tensor categories and coset conformal field theories

Jürg Martin Fröhlich, Jürgen Fuchs, Ingo Runkel B, Christoph Schweigert B

Published May 13, 2004• 18 citations
arXivHTMLPDF

Abstract

Abstract The coset construction is the most important tool to construct rational conformal field theories with known chiral data. For some cosets at small level, so‐called maverick cosets, the familiar analysis using selection and identification rules breaks down. Intriguingly, this phenomenon is linked to the existence of exceptional modular invariants. Recent progress in CFT, based on studying algebras in tensor categories, allows for a universal construction of the chiral data of coset theories which in particular also applies to maverick cosets.

DOI
10.1002/prop.200310162

Related papers

Bosonic rational conformal field theories in small genera, chiral fermionization, and symmetry/subalgebra duality

Brandon C. Rayhaun

A (1 + 1)D unitary bosonic rational conformal field theory (RCFT) may be organized according to its genus, a tuple (c,C) consisting of its central charge c and a unitary modular tensor category C which describes the (2 + 1)D topological quantum field theory for which its maximally extended chiral algebra forms a holomorphic boundary condition. We establish a number of results pertaining to RCFTs in “small” genera, by which we informally mean genera with the central charge c and the number of primary operators rank(C) both not too large. We start by completely solving the modular bootstrap problem for theories with at most four primary operators. In particular, we characterize, and provide an algorithm which efficiently computes, the function spaces to which the partition function of any bosonic RCFT with rank(C)≤4 must belong. Using this result, and leveraging relationships between RCFTs and holomorphic vertex operator algebras which come from “gluing” and cosets, we rigorously enumerate all bosonic theories in 95 of the 105 genera (c,C) with c ≤ 24 and rank(C)≤4. This includes as (new) special cases the classification of chiral algebras with three primaries and c < 120/7 ∼ 17.14, and the classification of chiral algebras with four primaries and c < 62/3 ∼ 20.67. We then study two applications of our classification. First, by making use of chiral versions of bosonization and fermionization, we obtain the complete list of purely left-moving fermionic RCFTs with c < 23 as a corollary of the results of the previous paragraph. Second, using a (conjectural) concept which we call “symmetry/subalgebra duality,” we precisely relate our bosonic classification to the problem of determining certain generalized global symmetries of holomorphic vertex operator algebras.

arXiv:2303.16921•Journal of Mathematical Physics•May 1, 2024•29 citations

Logarithmic conformal field theory

Azat M. Gainutdinov, David Ridout, Ingo Runkel B

Conformal field theory (CFT) has proven to be one of the richest and deepest subjects of modern theoretical and mathematical physics research, especially as regards statistical mechanics and string theory. It has also stimulated an enormous amount of activity in mathematics, shaping and building bridges between seemingly disparate fields through the study of vertex operator algebras, a (partial) axiomatisation of a chiral CFT. One can add to this that the successes of CFT, particularly when applied to statistical lattice models, have also served as an inspiration for mathematicians to develop entirely new fields: the Schramm–Loewner evolution and Smirnov's discrete complex analysis being notable examples. When the energy operator fails to be diagonalisable on the quantum state space, the CFT is said to be logarithmic. Consequently, a logarithmic CFT is one whose quantum space of states is constructed from a collection of representations which includes reducible but indecomposable ones. This qualifier arises because of the consequence that certain correlation functions will possess logarithmic singularities, something that contrasts with the familiar case of power law singularities. While such logarithmic singularities and reducible representations were noted by Rozansky and Saleur in their study of the U (1|1) Wess–Zumino–Witten model in 1992, the link between the non-diagonalisability of the energy operator and logarithmic singularities in correlators is usually ascribed to Gurarie's 1993 article (his paper also contains the first usage of the term 'logarithmic conformal field theory'). The class of CFTs that were under control at this time was quite small. In particular, an enormous amount of work from the statistical mechanics and string theory communities had produced a fairly detailed understanding of the (so-called) rational CFTs. However, physicists from both camps were well aware that applications from many diverse fields required significantly more complicated non-rational theories. Examples include critical percolation, supersymmetric string backgrounds, disordered electronic systems, sandpile models describing avalanche processes, and so on. In each case, the non-rationality and non-unitarity of the CFT suggested that a more general theoretical framework was needed. Driven by the desire to better understand these applications, the mid-1990s saw significant theoretical advances aiming to generalise the constructs of rational CFT to a more general class. In 1994, Nahm introduced an algorithm for computing the fusion product of representations which was significantly generalised two years later by Gaberdiel and Kausch who applied it to explicitly construct (chiral) representations upon which the energy operator acts non-diagonalisably. Their work made it clear that underlying the physically relevant correlation functions are classes of reducible but indecomposable representations that can be investigated mathematically to the benefit of applications. In another direction, Flohr had meanwhile initiated the study of modular properties of the characters of logarithmic CFTs, a topic which had already evoked much mathematical interest in the rational case. Since these seminal theoretical papers appeared, the field has undergone rapid development, both theoretically and with regard to applications. Logarithmic CFTs are now known to describe non-local observables in the scaling limit of critical lattice models, for example percolation and polymers, and are an integral part of our understanding of quantum strings propagating on supermanifolds. They are also believed to arise as duals of three-dimensional chiral gravity models, fill out hidden sectors in non-rational theories with non-compact target spaces, and describe certain transitions in various incarnations of the quantum Hall effect. Other physical applications range from two-dimensional turbulence and non-equilibrium systems to aspects of the AdS/CFT correspondence and describing supersymmetric sigma models beyond the topological sector. We refer the reader to the reviews in this collection for further applications and details. More recently, our understanding of logarithmic CFT has improved dramatically thanks largely to a better understanding of the underlying mathematical structures. This includes those associated to the vertex operator algebras themselves (representations, characters, modular transformations, fusion, braiding) as well as structures associated with applications to two-dimensional statistical models (diagram algebras, eg. Temperley–Lieb; quantum groups). Not only are we getting to the point where we understand how these structures differ from standard (rational) theories, but we are starting to tackle applications both in the boundary and bulk settings. It is now clear that the logarithmic case is generic, so it is this case that one should expect to encounter in applications. We therefore feel that it is timely to review what has been accomplished in order to disseminate this improved understanding and motivate further applications. We now give a quick overview of the articles that constitute this special issue. Adamović and Milas provide a detailed summary of their rigorous results pertaining to logarithmic vertex operator (super)algebras constructed from lattices. This survey discusses the C2-cofiniteness of the (p, p') triplet models (this is the generalisation of rationality to the logarithmic setting), describes Zhu's algebra for (some of) these theories and outlines the difficulties involved in explicitly constructing the modules responsible for their logarithmic nature. Cardy gives an account of a popular approach to logarithmic theories that regards them, heuristically at least, as limits of ordinary (but non-rational) CFTs. More precisely, it seems that any given correlator may be computed as a limit of standard (non-logarithmic) correlators, any logarithmic singularities that arise do so because of a degeneration when taking the limit. He then illustrates this phenomenon in several theories describing statistical lattice models including the n → 0 limit of the O(n ) model and the Q → 1 limit of the Q-state Potts model. Creutzig and Ridout review the continuum approach to logarithmic CFT, using the percolation (boundary) CFT to detail the connection between module structure and logarithmic singularities in correlators before describing their proposed solution to the thorny issue of generalising modular data and Verlinde formulae to the logarithmic setting. They illustrate this proposal using the three best-understood examples of logarithmic CFTs: the (1, 2) models, related to symplectic fermions; the fractional level WZW model on , related to the beta gamma ghosts; and the WZW model on GL(1|1). The analysis in each case requires that the spectrum be continuous; C2-cofinite models are only recovered as orbifolds. Flohr and Koehn consider the characters of the irreducible modules in the spectrum of a CFT and discuss why these only span a proper subspace of the space of torus vacuum amplitudes in the logarithmic case. This is illustrated explicitly for the (1, 2) triplet model and conclusions are drawn for the action of the modular group. They then note that the irreducible characters of this model also admit fermionic sum forms which seem to fit well into Nahmrsquo;s well-known conjecture for rational theories. Quasi-particle interpretations are also introduced, leading to the conclusion that logarithmic C2-cofinite theories are not so terribly different to rational theories, at least in some respects. Fuchs, Schweigert and Stigner address the problem of constructing local logarithmic CFTs starting from the chiral theory. They first review the construction of the local theory in the non-logarithmic setting from an angle that will then generalise to logarithmic theories. In particular, they observe that the bulk space can be understood as a certain coend. The authors then show how to carry out the construction of the bulk space in the category of modules over a factorisable ribbon Hopf algebra, which shares many properties with the braided categories arising from logarithmic chiral theories. The authors proceed to construct the analogue of all-genus correlators in their setting and establish invariance under the mapping class group, i.e. locality of the correlators. Gainutdinov, Jacobsen, Read, Saleur and Vasseur review their approach based on the assumption that certain classes of logarithmic CFTs admit lattice regularisations with local degrees of freedom, for example quantum spin chains (with local interactions). They therefore study the finite-dimensional algebras generated by the hamiltonian densities (typically the Temperley–Lieb algebras and their extensions) that describe the dynamics of these lattice models. The authors then argue that the lattice algebras exhibit, in finite size, mathematical properties that are in correspondence with those of their continuum limits, allowing one to predict continuum structures directly from the lattice. Moreover, the lattice models considered admit quantum group symmetries that play a central role in the algebraic analysis (representation structure and fusion). Grumiller, Riedler, Rosseel and Zojer review the role that logarithmic CFTs may play in certain versions of the AdS/CFT correspondence, particularly for what is known as topologically massive gravity (TMG). This has been a very active subject over the last five years and the article takes great care to disentangle the contributions from the many groups that have participated. They begin with some general remarks on logarithmic behaviour, much in the spirit of Cardyrsquo;s review, before detailing the distinction between the chiral (no logs) and logarithmic proposals for critical TMG. The latter is then subjected to various consistency checks before discussing evidence for logarithmic behaviour in more general classes of grav

Journal of Physics A Mathematical and Theoretical•Nov 20, 2013•44 citations

Critical Lattice Model for a Haagerup Conformal Field Theory

Robijn Vanhove, Laurens Lootens, Maarten Van Damme +4 more

We use the formalism of strange correlators to construct a critical classical lattice model in two dimensions with the Haagerup fusion category H_{3} as input data. We present compelling numerical evidence in the form of finite entanglement scaling to support a Haagerup conformal field theory (CFT) with central charge c=2. Generalized twisted CFT spectra are numerically obtained through exact diagonalization of the transfer matrix, and the conformal towers are separated in the spectra through their identification with the topological sectors. It is further argued that our model can be obtained through an orbifold procedure from a larger lattice model with input Z(H_{3}), which is the simplest modular tensor category that does not admit an algebraic construction. This provides a counterexample for the conjecture that all rational CFT can be constructed from standard methods.

arXiv:2110.03532•Physical Review Letters•Jun 10, 2022•52 citations

Cardy states, defect lines and chiral operators of coset CFTs on the lattice

Laurens Lootens, Robijn Vanhove, Frank Verstraete

We construct Cardy states, defect lines and chiral operators for rational coset conformal field theories on the lattice. The bulk theory is obtained by taking the overlap between tensor network representations of different string-nets, while the primary fields emerge from using the topological superselection sectors of the anyons in the original topological theory. This mapping provides an explicit manifestation of the equivalence between conformal field theories in two dimensions and topological field theories in three dimensions: their groundstates and elementary excitations are represented by exactly the same tensors.

arXiv:1907.02520•Jul 4, 2019•6 citations

Introduction to Conformal Field Theory

A.N. Schellekens

An elementary introduction to conformal field theory is given. Topics include free bosons and fermions, orbifolds, affine Lie algebras, coset conformal field theories, superconformal theories, correlation functions on the sphere, partition functions and modular invariance.

Fortschritte der Physik/Progress of Physics•Jan 1, 1996•35 citations

Modern Approach to 2D Conformal Field Theory

Yuya Kusuki

The primary aim of these lecture notes is to introduce the modern approach to two-dimensional conformal field theory (2D CFT). The study of analytical methods in two-dimensional conformal field theory has developed over several decades, starting with BPZ. The development of analytical methods, particularly in rational conformal field theory (RCFT), has been remarkable, with complete classifications achieved for certain model groups. One motivation for studying CFT comes from its ability to describe quantum critical systems. Given that realistic quantum critical systems are fundamentally RCFTs, it is somewhat natural that the analytical methods of RCFT have evolved significantly. CFTs other than RCFTs are called irrational conformal field theories (ICFTs). Compared to RCFTs, the study of ICFTs has not progressed as much. Leaving aside whether there is physical motivation or not, ICFTs inherently possess a difficulty that makes them challenging to approach. However, with the development of quantum gravity, the advancement of analytical methods for ICFTs has become essential. The reason lies in the AdS/CFT correspondence. AdS/CFT refers to the relationship between $d+1$ dimensional quantum gravity and $d$ dimensional CFT. Within this correspondence, the CFT appears as a non-perturbative formulation of quantum gravity. Except in special cases, this CFT belongs to ICFT. Against this backdrop, the methods for ICFTs have developed rapidly in recent years. Many of these ICFT methods are indispensable for modern quantum gravity research. Unfortunately, these cannot be learned from textbooks on 2D CFTs, such as Yellow book. These lecture notes aim to fill this gap. Specifically, we will cover techniques that have already been applied in many studies, such as HHLL block and monodromy method, and significant results that have become proper nouns, such as Hellerman bound and HKS bound.

arXiv:2412.18307•Dec 24, 2024•0 citations
Abstract The coset construction is the most important tool to construct rational conformal field theories with known chiral data. For some cosets at small level, so‐called maverick cosets, the familiar analysis using selection and identification rules breaks down. Intriguingly, this phenomenon is linked to the existence of exceptional modular invariants. Recent progress in CFT, based on studying algebras in tensor categories, allows for a universal construction of the chiral data of coset theories which in particular also applies to maverick cosets.
A (1 + 1)D unitary bosonic rational conformal field theory (RCFT) may be organized according to its genus, a tuple (c,C) consisting of its central charge c and a unitary modular tensor category C which describes the (2 + 1)D topological quantum field theory for which its maximally extended chiral algebra forms a holomorphic boundary condition. We establish a number of results pertaining to RCFTs in “small” genera, by which we informally mean genera with the central charge c and the number of primary operators rank(C) both not too large. We start by completely solving the modular bootstrap problem for theories with at most four primary operators. In particular, we characterize, and provide an algorithm which efficiently computes, the function spaces to which the partition function of any bosonic RCFT with rank(C)≤4 must belong. Using this result, and leveraging relationships between RCFTs and holomorphic vertex operator algebras which come from “gluing” and cosets, we rigorously enumerate all bosonic theories in 95 of the 105 genera (c,C) with c ≤ 24 and rank(C)≤4. This includes as (new) special cases the classification of chiral algebras with three primaries and c < 120/7 ∼ 17.14, and the classification of chiral algebras with four primaries and c < 62/3 ∼ 20.67. We then study two applications of our classification. First, by making use of chiral versions of bosonization and fermionization, we obtain the complete list of purely left-moving fermionic RCFTs with c < 23 as a corollary of the results of the previous paragraph. Second, using a (conjectural) concept which we call “symmetry/subalgebra duality,” we precisely relate our bosonic classification to the problem of determining certain generalized global symmetries of holomorphic vertex operator algebras.
Conformal field theory (CFT) has proven to be one of the richest and deepest subjects of modern theoretical and mathematical physics research, especially as regards statistical mechanics and string theory. It has also stimulated an enormous amount of activity in mathematics, shaping and building bridges between seemingly disparate fields through the study of vertex operator algebras, a (partial) axiomatisation of a chiral CFT. One can add to this that the successes of CFT, particularly when applied to statistical lattice models, have also served as an inspiration for mathematicians to develop entirely new fields: the Schramm–Loewner evolution and Smirnov's discrete complex analysis being notable examples. When the energy operator fails to be diagonalisable on the quantum state space, the CFT is said to be logarithmic. Consequently, a logarithmic CFT is one whose quantum space of states is constructed from a collection of representations which includes reducible but indecomposable ones. This qualifier arises because of the consequence that certain correlation functions will possess logarithmic singularities, something that contrasts with the familiar case of power law singularities. While such logarithmic singularities and reducible representations were noted by Rozansky and Saleur in their study of the U (1|1) Wess–Zumino–Witten model in 1992, the link between the non-diagonalisability of the energy operator and logarithmic singularities in correlators is usually ascribed to Gurarie's 1993 article (his paper also contains the first usage of the term 'logarithmic conformal field theory'). The class of CFTs that were under control at this time was quite small. In particular, an enormous amount of work from the statistical mechanics and string theory communities had produced a fairly detailed understanding of the (so-called) rational CFTs. However, physicists from both camps were well aware that applications from many diverse fields required significantly more complicated non-rational theories. Examples include critical percolation, supersymmetric string backgrounds, disordered electronic systems, sandpile models describing avalanche processes, and so on. In each case, the non-rationality and non-unitarity of the CFT suggested that a more general theoretical framework was needed. Driven by the desire to better understand these applications, the mid-1990s saw significant theoretical advances aiming to generalise the constructs of rational CFT to a more general class. In 1994, Nahm introduced an algorithm for computing the fusion product of representations which was significantly generalised two years later by Gaberdiel and Kausch who applied it to explicitly construct (chiral) representations upon which the energy operator acts non-diagonalisably. Their work made it clear that underlying the physically relevant correlation functions are classes of reducible but indecomposable representations that can be investigated mathematically to the benefit of applications. In another direction, Flohr had meanwhile initiated the study of modular properties of the characters of logarithmic CFTs, a topic which had already evoked much mathematical interest in the rational case. Since these seminal theoretical papers appeared, the field has undergone rapid development, both theoretically and with regard to applications. Logarithmic CFTs are now known to describe non-local observables in the scaling limit of critical lattice models, for example percolation and polymers, and are an integral part of our understanding of quantum strings propagating on supermanifolds. They are also believed to arise as duals of three-dimensional chiral gravity models, fill out hidden sectors in non-rational theories with non-compact target spaces, and describe certain transitions in various incarnations of the quantum Hall effect. Other physical applications range from two-dimensional turbulence and non-equilibrium systems to aspects of the AdS/CFT correspondence and describing supersymmetric sigma models beyond the topological sector. We refer the reader to the reviews in this collection for further applications and details. More recently, our understanding of logarithmic CFT has improved dramatically thanks largely to a better understanding of the underlying mathematical structures. This includes those associated to the vertex operator algebras themselves (representations, characters, modular transformations, fusion, braiding) as well as structures associated with applications to two-dimensional statistical models (diagram algebras, eg. Temperley–Lieb; quantum groups). Not only are we getting to the point where we understand how these structures differ from standard (rational) theories, but we are starting to tackle applications both in the boundary and bulk settings. It is now clear that the logarithmic case is generic, so it is this case that one should expect to encounter in applications. We therefore feel that it is timely to review what has been accomplished in order to disseminate this improved understanding and motivate further applications. We now give a quick overview of the articles that constitute this special issue. Adamović and Milas provide a detailed summary of their rigorous results pertaining to logarithmic vertex operator (super)algebras constructed from lattices. This survey discusses the C2-cofiniteness of the (p, p') triplet models (this is the generalisation of rationality to the logarithmic setting), describes Zhu's algebra for (some of) these theories and outlines the difficulties involved in explicitly constructing the modules responsible for their logarithmic nature. Cardy gives an account of a popular approach to logarithmic theories that regards them, heuristically at least, as limits of ordinary (but non-rational) CFTs. More precisely, it seems that any given correlator may be computed as a limit of standard (non-logarithmic) correlators, any logarithmic singularities that arise do so because of a degeneration when taking the limit. He then illustrates this phenomenon in several theories describing statistical lattice models including the n → 0 limit of the O(n ) model and the Q → 1 limit of the Q-state Potts model. Creutzig and Ridout review the continuum approach to logarithmic CFT, using the percolation (boundary) CFT to detail the connection between module structure and logarithmic singularities in correlators before describing their proposed solution to the thorny issue of generalising modular data and Verlinde formulae to the logarithmic setting. They illustrate this proposal using the three best-understood examples of logarithmic CFTs: the (1, 2) models, related to symplectic fermions; the fractional level WZW model on , related to the beta gamma ghosts; and the WZW model on GL(1|1). The analysis in each case requires that the spectrum be continuous; C2-cofinite models are only recovered as orbifolds. Flohr and Koehn consider the characters of the irreducible modules in the spectrum of a CFT and discuss why these only span a proper subspace of the space of torus vacuum amplitudes in the logarithmic case. This is illustrated explicitly for the (1, 2) triplet model and conclusions are drawn for the action of the modular group. They then note that the irreducible characters of this model also admit fermionic sum forms which seem to fit well into Nahmrsquo;s well-known conjecture for rational theories. Quasi-particle interpretations are also introduced, leading to the conclusion that logarithmic C2-cofinite theories are not so terribly different to rational theories, at least in some respects. Fuchs, Schweigert and Stigner address the problem of constructing local logarithmic CFTs starting from the chiral theory. They first review the construction of the local theory in the non-logarithmic setting from an angle that will then generalise to logarithmic theories. In particular, they observe that the bulk space can be understood as a certain coend. The authors then show how to carry out the construction of the bulk space in the category of modules over a factorisable ribbon Hopf algebra, which shares many properties with the braided categories arising from logarithmic chiral theories. The authors proceed to construct the analogue of all-genus correlators in their setting and establish invariance under the mapping class group, i.e. locality of the correlators. Gainutdinov, Jacobsen, Read, Saleur and Vasseur review their approach based on the assumption that certain classes of logarithmic CFTs admit lattice regularisations with local degrees of freedom, for example quantum spin chains (with local interactions). They therefore study the finite-dimensional algebras generated by the hamiltonian densities (typically the Temperley–Lieb algebras and their extensions) that describe the dynamics of these lattice models. The authors then argue that the lattice algebras exhibit, in finite size, mathematical properties that are in correspondence with those of their continuum limits, allowing one to predict continuum structures directly from the lattice. Moreover, the lattice models considered admit quantum group symmetries that play a central role in the algebraic analysis (representation structure and fusion). Grumiller, Riedler, Rosseel and Zojer review the role that logarithmic CFTs may play in certain versions of the AdS/CFT correspondence, particularly for what is known as topologically massive gravity (TMG). This has been a very active subject over the last five years and the article takes great care to disentangle the contributions from the many groups that have participated. They begin with some general remarks on logarithmic behaviour, much in the spirit of Cardyrsquo;s review, before detailing the distinction between the chiral (no logs) and logarithmic proposals for critical TMG. The latter is then subjected to various consistency checks before discussing evidence for logarithmic behaviour in more general classes of grav
We use the formalism of strange correlators to construct a critical classical lattice model in two dimensions with the Haagerup fusion category H_{3} as input data. We present compelling numerical evidence in the form of finite entanglement scaling to support a Haagerup conformal field theory (CFT) with central charge c=2. Generalized twisted CFT spectra are numerically obtained through exact diagonalization of the transfer matrix, and the conformal towers are separated in the spectra through their identification with the topological sectors. It is further argued that our model can be obtained through an orbifold procedure from a larger lattice model with input Z(H_{3}), which is the simplest modular tensor category that does not admit an algebraic construction. This provides a counterexample for the conjecture that all rational CFT can be constructed from standard methods.
We construct Cardy states, defect lines and chiral operators for rational coset conformal field theories on the lattice. The bulk theory is obtained by taking the overlap between tensor network representations of different string-nets, while the primary fields emerge from using the topological superselection sectors of the anyons in the original topological theory. This mapping provides an explicit manifestation of the equivalence between conformal field theories in two dimensions and topological field theories in three dimensions: their groundstates and elementary excitations are represented by exactly the same tensors.
The primary aim of these lecture notes is to introduce the modern approach to two-dimensional conformal field theory (2D CFT). The study of analytical methods in two-dimensional conformal field theory has developed over several decades, starting with BPZ. The development of analytical methods, particularly in rational conformal field theory (RCFT), has been remarkable, with complete classifications achieved for certain model groups. One motivation for studying CFT comes from its ability to describe quantum critical systems. Given that realistic quantum critical systems are fundamentally RCFTs, it is somewhat natural that the analytical methods of RCFT have evolved significantly. CFTs other than RCFTs are called irrational conformal field theories (ICFTs). Compared to RCFTs, the study of ICFTs has not progressed as much. Leaving aside whether there is physical motivation or not, ICFTs inherently possess a difficulty that makes them challenging to approach. However, with the development of quantum gravity, the advancement of analytical methods for ICFTs has become essential. The reason lies in the AdS/CFT correspondence. AdS/CFT refers to the relationship between d+1d+1d+1 dimensional quantum gravity and ddd dimensional CFT. Within this correspondence, the CFT appears as a non-perturbative formulation of quantum gravity. Except in special cases, this CFT belongs to ICFT. Against this backdrop, the methods for ICFTs have developed rapidly in recent years. Many of these ICFT methods are indispensable for modern quantum gravity research. Unfortunately, these cannot be learned from textbooks on 2D CFTs, such as Yellow book. These lecture notes aim to fill this gap. Specifically, we will cover techniques that have already been applied in many studies, such as HHLL block and monodromy method, and significant results that have become proper nouns, such as Hellerman bound and HKS bound.