REVIEW
TFT construction of RCFT correlators I: Partition functions
High Energy Physics - Theory · Submitted 18 Apr 2002 · 133 references
Pith's verdict: The foundational FRS paper: the conditional theorem is solid and the proofs of modular invariance and NIM-rep hold up, but the abstract's 'full CFT' claim runs ahead of what this volume actually proves.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single Frobenius algebra inside a modular tensor category is claimed to rebuild a whole rational conformal field theory, with partition functions falling out as link invariants in three-manifolds.
The reading
What carries the argument
The load-bearing device is the passage from world sheet to three-manifold: for a world sheet $X$ one builds the connecting manifold $M_X = (X times [-1,1])/sim$, with the two copies of a boundary point identified, so that $partial M_X$ is the complex double $hat X$ and $X$ sits inside $M_X$ as a retract. A triangulation of $X$ is then converted into a ribbon graph — $A$-ribbons on interior edges joined by the morphism $Phi_2 in mathrm{Hom}(A,A^vee)$, coproduct-like vertices $Delta circ Phi_1^{-1}$ in the interior, and $(mathrm{id}_A otimes rho_M) circ (Delta otimes mathrm{id}_{dot M}) circ (eta otimes mathrm{id}_{dot M})$ on a boundary carrying module $M$ — and the TFT invariant of that graph is the correlator. Independence of the triangulation is proved by checking the fusion and bubble moves against the Frobenius, specialness, and module axioms. A second device, the projector $P_X in mathrm{Hom}(A otimes X, A otimes X)$ built from product and coproduct, defines locality: bulk fields are the morphisms $phi in mathrm{Hom}(A otimes U_j, U_{bar i})$ with $phi circ P_{U_j} = phi$, and the dimension of that local subspace is exactly $Z_{ij}$ (Lemma 5.6).
Extended reading notes
Core claim
The central claim is that a symmetric special Frobenius algebra $A$ in the modular category of Moore–Seiberg data determines a consistent full CFT, and that its torus partition function $Z_{ij}$, read off from a specific ribbon graph in $S^2 times S^1$, satisfies the properties one demands of a physical theory: $[Z,S]=[Z,T]=0$, all $Z_{ij}$ are non-negative integers, and $Z_{00}$ equals the dimension of the relative center of the topological algebra $A_{mathrm{top}} = mathrm{Hom}(1,A)$ (Theorem 5.1). The paper further proves that the algebra operations behave the way a CFT superposition and product should: $Z(A oplus B) = Z(A)+Z(B)$, $Z(A otimes B) = Z(A),C,Z(B)$ with $C$ the charge-conjugation matrix, and $Z(A^{mathrm{op}}) = Z(A)^{t}$ (Proposition 5.3). Finally it identifies the modular invariant built from $alpha$-induced bimodules, $Z^{BEK}_{k,l} = dim,mathrm{Hom}_{A|A}(alpha^-(U_k),alpha^+(U_l))$, with the same partition function via $Z^{BEK}_{k,l}=Z_{bar l,k}$ (Proposition 5.7), so that a construction previously motivated by subfactor theory is shown to be the partition function of an actual CFT.
Load-bearing premise
The construction assumes that the chiral data of the theory really do form a modular tensor category, so that the associated three-dimensional topological field theory and its link invariants exist; the authors state in footnote 2 that this remains a conjecture for general rational vertex operator algebras and treat the modular category as given input.
Editorial extensions
If this is right
- Classifying full rational CFTs with given chiral data reduces to classifying symmetric special Frobenius algebras up to Morita equivalence, since Morita equivalent algebras give the same theory.
- Every consistent boundary condition is an $A$-module and every elementary boundary condition a simple one, so the number of elementary boundary conditions equals the number of Ishibashi states in the dual bulk space.
- Annulus coefficients automatically satisfy the NIM-rep property, giving a proof of a constraint that had previously been observed case by case.
- Defect lines are $A$-$A$-bimodules, with fusion of defects given by the tensor product over $A$, so defect-line changing operators produce NIM-reps of the double fusion rules.
- Exceptional modular invariants such as $E_7$ at $mathfrak{su}(2)_{16}$ are handled on the same footing as simple-current ($D$-type) invariants, rather than needing separate treatment.
Reading between the lines
- The construction suggests a practical algorithm: solve one nonlinear associativity system for the multiplication constants of $A$, then obtain all boundary spectra, annulus coefficients, and defect data by linear algebra alone — a sharp separation of difficulty that could make previously intractable models computable.
- Because the torus partition function is a link invariant, any two algebras related by a sequence of ribbon-graph moves must give identical partition functions; this gives a topological criterion for Morita equivalence that is independent of the algebraic definition.
- The identification $Z^{BEK}_{k,l}=Z_{bar l,k}$ means the subfactor-theoretic $alpha$-induction construction and the Frobenius-algebra construction are not merely analogous but literally the same object, which invites translating other subfactor results (e.g. on nets of subfactors) into statements about $A$-modules.
- The authors note that orientability alone is not enough to define the correlator unambiguously and that a conjugation on $A$ — a square root of the twist — is needed for non-orientable world sheets; the number of such conjugations is not Morita invariant, which suggests the Morita classification of CFTs is finer than the classification of theories on orientable surfaces.
Original abstract
We formulate rational conformal field theory in terms of a symmetric special Frobenius algebra A and its representations. A is an algebra in the modular tensor category of Moore-Seiberg data of the underlying chiral CFT. The multiplication on A corresponds to the OPE of boundary fields for a single boundary condition. General boundary conditions are A-modules, and (generalised) defect lines are A-A-bimodules. The relation with three-dimensional TFT is used to express CFT data, like structure constants or torus and annulus coefficients, as invariants of links in three-manifolds. We compute explicitly the ordinary and twisted partition functions on the torus and the annulus partition functions. We prove that they satisfy consistency conditions, like modular invariance and NIM-rep properties. We suggest that our results can be interpreted in terms of non-commutative geometry over the modular tensor category of Moore-Seiberg data.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We formulate rational conformal field theory in terms of a symmetric special Frobenius algebra A and its representations. A is an algebra in the modular tensor category of Moore-Seiberg data of the underlying chiral CFT. The multiplication on A corresponds to the OPE of boundary fields for a single boundary condition. General boundary conditions are A-modules, and (generalised) defect lines are A-A-bimodules. The relation with three-dimensional TFT is used to express CFT data, like structure constants or torus and annulus coefficients, as invariants of links in three-manifolds. We compute explicitly the ordinary and twisted partition functions on the torus and the annulus partition functions. We prove that they satisfy consistency conditions, like modular invariance and NIM-rep properties. We suggest that our results can be interpreted in terms of non-commutative geometry over the modular tensor category of Moore-Seiberg data.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We formulate rational conformal field theory in terms of a symmetric special Frobenius algebra A and its representations. | contribution 0.86 | 0.89 | 0.14 | asserted 1.00 |
| s1 | A is an algebra in the modular tensor category of Moore-Seiberg data of the underlying chiral CFT. | method 0.54 | 0.18 | 0.04 | asserted 1.00 |
| s2 | The multiplication on A corresponds to the OPE of boundary fields for a single boundary condition. | method 0.41 | 0.29 | 0.05 | asserted 1.00 |
| s3 | General boundary conditions are A-modules, and (generalised) defect lines are A-A-bimodules. | method 0.47 | 0.34 | 0.07 | asserted 1.00 |
| s4 | The relation with three-dimensional TFT is used to express CFT data, like structure constants or torus and annulus coefficients, as invariants of links in three-manifolds. | method 0.89 | 0.62 | 0.18 | asserted 1.00 |
| s5 | We compute explicitly the ordinary and twisted partition functions on the torus and the annulus partition functions. | result 0.55 | 0.96 | 0.20 | asserted 1.00 |
| s6 | We prove that they satisfy consistency conditions, like modular invariance and NIM-rep properties. | result 0.90 | 0.95 | 0.23 | asserted 1.00 |
| s7 | We suggest that our results can be interpreted in terms of non-commutative geometry over the modular tensor category of Moore-Seiberg data. | interpretation 0.97 | 0.26 | 0.11 | hedged possibility 0.95 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
237 later papers cite it
6 later papers by other authors are listed below: 1 built on it, 3 used its method or tool and 2 compared their own results with it.
Builds on it 1 of 3 papers with this label
-
Generalised proposition 5.3 of this paper straightforwardly to obtain its proposition on the maps P_g.
Reducibility of quantum representations of mapping class groups (2008) · 0.95 · paraphrased: the licence does not allow quoting
Uses its method or tool 3 of 13 papers with this label
-
In this appendix we use the TFT approach [ref] in order to interpret Figure [ref] as an equation between morphisms and obtain the coefficients $Q^αe β_i,d$
On local fields invariant under the action of topological defects (2025) · Passing a topological defect through a bulk field in RCFT · 1.00
-
Used this paper's result to reduce fusion on algebras to taking the product of the corresponding modular invariant matrices.
Symmetries and Strings of Adjoint QCD${}_2$ (2020) · 0.89 · paraphrased: the licence does not allow quoting
-
Mainly followed this paper's algebraic definitions in its subsequent discussion.
Topological Cosets via Anyon Condensation and Applications to Gapped $\mathrm{\bf{QCD_{2}}}$ (2024) · 0.80 · paraphrased: the licence does not allow quoting
Compares with it 2 of 4 papers with this label
-
Compared its discussion of fusion of surface operators in U(1)_2N Chern-Simons theory with analogous results for algebra-objects in this paper.
Surface operators in 3d Topological Field Theory and 2d Rational Conformal Field Theory (2010) · 0.98 · paraphrased: the licence does not allow quoting
-
Related the Turaev-Viro state sum to CFT conformal blocks in a way analogous to this paper's construction based on the Reshetikhin-Turaev formulation of TQFT.
CFT$_D$ from TQFT$_{D+1}$ via Holographic Tensor Network, and Precision Discretisation of CFT$_2$ (2022) · 0.91 · paraphrased: the licence does not allow quoting
How the literature uses it
214 arXiv papers cite this in 469 sentences
Papers citing it · 254 sentences without a confident label
Builds on it 3 papers
-
Here we have specialized the formula of [ref] to the case of a commuting algebra $$.
Factorization and global symmetries in holography · Examples · 0.95
-
The following proposition follows from a straightforward generalisation of proposition 5.3 of [ref] . a) $P_g[A⊠B] = P_g[A]∘P_g[B]$ b) $P_g[A⊞B] = P_g[A] + P_g[B]$ Equation 3.37 of [ref] can be specialized to the following Let $A$ and $B$ be two Morita equivalent symmetric special Frobenius algebras in , then [equation] where $γ=(B)/(A)$.
Reducibility of quantum representations of mapping class groups · The $𝔰𝔲(2)$ Case · 0.95
-
The generalisation of [ref] is [ref] : [equation] One also says “$Q$ has topological (or categorical) symmetry $ℱ$”.
Topological defects · Pivotal fusion categories as symmetries · 0.92
Uses its method or tool 13 papers
-
The techniques we employ were developed in the series of papers [ref] , and the proof presented here for the $𝔰𝔲(N)$ case relies in particular on results from [ref] concerning Frobenius algebras constructed from direct sums of invertible objects in modular categories.
On Reducibility of Mapping Class Group Representations: The SU(N) Case · Introduction · 0.85
-
We exploit a formula given in [ref] for the topological partition function $Z_ab^$ with insertion of a dual network of the algebra object $𝒜$ in the topology $T^2 ×I$, in the case that $N_ab^c$ and $Z_a^$ take values in ${0,1}$: [With the notation $a,b,c,…∈𝒜$ we indicate all simple anyons $L_a$ such that $Z^𝒜_a > 0$.]
Factorization and global symmetries in holography · Examples · 0.84
-
Using the diagrammatic properties of the algebra object as given in e.g. [ref] , we can follow [ref] in showing that $$ acts projectively on (twisted) local states – this is shown in Figure [ref].
Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases · Formal argument for algebra object as projector · 0.86
Uses its data or values 1 paper
-
The fusion of these condensation defects on the torus are [ref] : SU(2)_4l: S_2 ×S_2 = 2 S_2 , SU(2)_4l+2: S_2 ×S_2 = 1 , SU(2)_10: S_2 ×S_E = S_E ×S_2 = S_E, S_E ×S_E = 2 S_E , SU(2)_16: S_2 ×S_E = S_E ×S_2 = 2S_E, S_E ×S_E =S_2 + S_E , SU(2)_28: S_2 ×S_E = S_E ×S_2 = 2S_E, S_E ×S_E = 4S_E .
Higher Gauging and Non-invertible Condensation Defects · RCFT interpretation · 0.84
Compares with it 4 papers
-
The two expressions coincide after using equation (2.43) from [ref] .
On local fields invariant under the action of topological defects · Passing a topological defect through a bulk field in RCFT · 0.98
-
In this subsection we discuss fusion of surface operators in the $U(1)_2N$ Chern-Simons theory and compare with analogous results for algebra-objects in [ref] .
Surface operators in 3d Topological Field Theory and 2d Rational Conformal Field Theory · Fusion of surface operators · 0.98
-
Our construction also provides an explicit relation between a discrete tensor network and the continuous path-integral of the field theory and directly relates the Turaev-Viro state sum to CFT conformal blocks in a way analogous to the construction based on Reshetikhin-Turav formulation of TQFT in [ref] .
CFT$_D$ from TQFT$_{D+1}$ via Holographic Tensor Network, and Precision Discretisation of CFT$_2$ · Conclusions and Outlook · 0.91
Cites it as support 3 papers
-
The work of FRS [ref] demonstrates an equivalence between the associativity coefficients $C̃^n m m'_c_1 c_2 c_3$ and the BCFT OPE coefficients, translating them into the crossing relation in the CFT.
QG from SymQRG: AdS$_3$/CFT$_2$ Correspondence as Topological Symmetry-Preserving Quantum RG Flow · Crossing symmetry and emergence of 3D bulk · 0.98
-
Now, using [ref] , we have that $A$ is a special symmetric Frobenius algebra.
Braidings on topological operators, anomaly of higher-form symmetries and the SymTFT · Anomaly of line operators not closed under fusion · 0.98
-
It can be shown [ref] that Haploid algebras are symmetric for all $ε∈C(A,1)$ in virtue of their defining property $_CC(1,A)=1$.
From gauging to duality in one-dimensional quantum lattice models · Fusion categories and algebra objects · 0.98
Cites it as background 140 papers
-
The approach to RCFTs based on modular tensor categories and Frobenius algebra objects was developed in [ref] .
On fusing matrices associated with conformal boundary conditions · Introduction · 0.91
-
The construction requires the basics of the formalism of topological defect lines in (1+1)d CFTs, for which we refer the reader to [ref] [See [ref] for earlier discussion that do not use the language of generalized symmetries.].
Topological Constraints on Defect Dynamics · Symmetry reflecting conformal lines in $(1+1)$d CFTs · 0.96
-
Next, we recall the definition of symmetric special Frobenius algebras below [ref] .
Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases · Formal specification of gauging: algebra objects · 0.85
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.