Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

May 19, 2006

The FRS Theorem on RCFT

Posted by Urs Schreiber

I was asked to say more about the FRS theorem. Here is a rough account. For more details see the existing literature ().

Recall that an n-dimensional quantum field theory is (at least for our present purpose) a functor

(1)QFT:nCobVect

from some n-dimensional cobordism category to some flavor of the category of vector spaces.

This means that QFT is a rule which assigns to each (n1 )-dimensional space, of sorts, a vector space - the space of incoming (outgoing) states of the QFT.

Moreover the rule assigns to each cobordism a linear map from the vector space assigned to the incoming map to the vector space assigned to the outgoing map - the propagator.

If the cobordisms are really just (diffeomorphism classes of) manifolds, without extra structure, then we call such a QFT a topological quantum field theory (TQFT ).

Usually there is more structure around that we want to be respected. Instead of just diffeomorphism classes of manifolds, the cobordimsms might be equipped, for instance, with a conformal structure (CFT), or a metric, or with some kinds of bundles over them, possibly with connection (HQFT ).

Moreover, the target category may be demanded to carry more structure. Often one considers topological vector spaces or Hilbert spaces.

In particular, for the case of CFT we want the functors to be only projective. Instead of taking the same value on all cobordisms with metric in a conformal class, they will assign propagators that differ by an overall factor depending on the central charge.

With the general definition of an n-dimensional QFT stated this way, we would like to construct examples.

For the purely topological case the situation is pretty well understood. Fukuma-Hosono-Kawai have shown how to construct a topological functor

(2)2 DTFT:2 CobVect

by the following procedure:

Pick a Frobenius algebra (in Vect). For any cobordism, choose a dual triangulation (only trivalent vertices). To each edge associate a copy of the Frobenius algebra and to each vertex associate the product or coproduct (depending on the orientaiton of the coincicent edges). Evaluating the resulting diagram produces a functor of the desired form. Roughly.

The next simplest case, that of 2-dimensional conformal field theory is already much harder. One big insight is that, at least for the case of rational conformal field theory, the problem splits into a “complex analytic” problem and a “topological” problem.

(3)(R)CFT complex-analytic + topological chiral vertex algebraV + OPEs C=Rep(V) + ACint. Frobenius algebra.

The chiral vertex algebra encodes the local symmetries of the theory, like the local conformal symmetry (given by the Virasoro algebra) as well as other possibly present symmetries (given for instance by current algebras in the case of WZW models).

From the knowledge of the vertex algebra V alone one computes what are called spaces of conformal blocks. In the above language, these are spaces which contain information about all those maps

(4)2 DCFT:2 CobVect

which satisfy a necessary (but insufficient) condition for being actual functors.

In more standard terms, every n-point correlator in the theory is an element of the corresponding space of conformal blocks. In order to define a well defined conformal field theory we need to assign to each surface of genus g, with given insertions, correlators in such a way that the sewing constraints are satisfied. These say essentially that it must be possible to compute correlators on a given surface by cutting that surface into little pieces, computing correlators on each of these pieces, and then composing the result to obtain the correlator of the full surface.

This is of course nothing but functoriality of 2 DCFT, in the above sense.

Therefore, in order to obtain a full 2D CFT, we need to do two things:

1) compute the conformal blocks for the underlying vertex algebra V

2) pick correlators from these in such a way that the sewing constraints are satisfied.

Given a solution of problem 1), there are in general different, inequivalent, solutions to problem 2). There are distinct 2D CFTs that share the same chiral algebra.

The FRS theorem says that the solutions to problems 1) and 2) are in bijection with Morita classes of special symmetric Frobenius algebra objects internal to C=Rep(V).

More precisely, that’s the statement for CFTs of orientable worldsheets. For non-oriented (“type I”) theories we need a special symmetric Frobenius algebras with what is called a Jandl structure ().

The way this is shown is a direct generalization of the construction of Fukuma-Hosono-Kawai for the purely topological case. The main difference is that where everything took place in the category Vect before, it now takes place internal to C=Rep(V), the representation category of V.

Spelled out, we arrive at a detailed “cooking recipe” for computing correlators given AC. That recipe tells us to (roughly)

pick a dual triangulation of the surface (really: of its complex double)

label boundaries by internal A-modules (these are the D-branes )

label boundary field insertions by internal module homomorphisms

label bulk field insertions by internal bimodule homomorphisms

label defect lines () by internal bimodules .

Doing all this one obtains a certain ribbon graph (since C is a ribbon category) drawn on our surface. In order to produce the correlator from that we need to work a little harder than in the topological case. We realize the complex double of our surface as the boundary of a 3-dimensional cobordism in which this ribbon graph is embedded and evaluate a 3-dimensional topological field theory functor on that extended 3-cobordism. This yields a vector in a vector space, which may be identified with the correlator in the space of conformal blocks.

This is a generalization of the classic insight by E. Witten, that 3-dimensional Chern-Simons TQFT computes the conformal blocks for 2D WZW models on its boundary.

There would be much more to say, but I’ll stop here.

However, in closing I cannot refrain from mentioning that I believe () that the slightly baroque “cooking recipe”, which makes the FRS theorem work, appears automatically as the result of pulling back a 2-functor

(5)P 2 ModC

along the injections

(6)Σ(C)BiMod(C)ModC .
Posted at May 19, 2006 11:44 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/813

4 Comments & 17 Trackbacks

Re: The FRS Theorem on RCFT

Hi Urs,

It might be blasphemous to say so, but your cookbook recipe seems to have some nontrivial similarities to spin foam models. Is that a coincidence? Am I just imagining things?

Eric

Posted by: Eric on May 20, 2006 7:57 AM | Permalink | Reply to this

Re: The FRS Theorem on RCFT

Hi Eric,

we had a little discussion about this a while ago (). Certainly, graphs decorated in certain categories appear here and there in different contexts.

I know regrettably little spin foam literature. Apparently the concept is pretty general, so that it might well subsume all these constructions.

Whether that also means that the role played by these constructions in the FRS context is that intended by the inventors of spin foams I don’t know.

The similarity might actually be most pronounced viewed from the 3-dimensional TQFT, which is used in the FRS construction.

There is a large class of 3-D topological field theories which you obtain this way:

Fix some modular tensor category C (a monoidal category with a bunch of further properties).

Consider 3-dimensional cobordisms which have ribbon graphs embedded into them.

A ribbon graph is like a graph, only that its edges behave as if they have a small transversal extension, like a ribbon does.

Let these ribbon graphs be decorated in C. So each of the ribbons is labled by an object in C and each vertex by a morphism in C.

These extended 3D cobordisms form a category (essentially by glueing them in the obvious way).

The important point is that from the data provided by C, one can construct a functor from this category to vector spaces, i.e. a 3-dimensional “topological” field theory on these extended cobordisms.

This is the sort of TFT that I mentioned a at the end of the above text.

In any case, these TFTs look somewhat like something one would construct of spin networks with decoration in C instead of in Rep(G).

But I am not quite sure to what extent this is a coincidence or really points to some connection between different ideas.

Sorry for the vague answer.

Posted by: urs on May 22, 2006 5:07 PM | Permalink | Reply to this

Re: The FRS Theorem on RCFT

Your answer was a lot less vague than the question :) Thanks and sorry for the distraction.

Posted by: Eric on May 23, 2006 6:34 AM | Permalink | Reply to this

Re: The FRS Theorem on RCFT

sorry for the distraction.

Actually, I am grateful for every distraction. At the moment I spent most of the day with work related to teaching duties.

For instance, I really wanted to write something about a talk Simon Willerton gave in Vienna - math.QA/0503266. He is thinking about Dijkgraaf-Witten theory () using a higher categorical point of view inspired by Dan Freed’s work, e.g. hep-th/9212115.

In slight disguise, this is essentially based on the same idea that I am trying to apply to 2D CFT, namely to realize that there are n-Hilbert spaces associated to points, (n1 )-Hilbert spaces associated to edges, in general (nd)-Hilbert spaces associated to d-dimensional subspaces of n-dimensional cobordisms.

This is closely related to the 3D TFTs we talked about above, and maybe makes the similarity to spin foam ideas even more pronounced. At least I gather from John Baez’s lectures that we can regard Dijkgraaf-Witten theory as a categorification of Fukuma-Hosono-Kawai topological strings, probably along the lines of Aaron Lauda’s ideas on topological membranes ().

You see, this is all on my to-do list. But no way. Have to do more boring things first.

Posted by: urs on May 23, 2006 8:21 AM | Permalink | Reply to this
Read the post Soibelman on NCG of CFT and Mirror Symmetry
Weblog: The String Coffee Table
Excerpt: Soibelman on collaps of CFTs on noncommutative target spaces.
Tracked: June 16, 2006 10:22 AM
Read the post Kapustin on SYM, Mirror Symmetry and Langlands, III
Weblog: The String Coffee Table
Excerpt: The third part of the lecture.
Tracked: June 17, 2006 11:30 AM
Read the post Gukov on Surface Operators in Gauge Theory and Categorification
Weblog: The String Coffee Table
Excerpt: Gukov relates knot theory to categorified quantum mechanics and the like.
Tracked: June 27, 2006 10:43 AM
Read the post Freed on Higher Structures in QFT, I
Weblog: The n-Category Café
Excerpt: Freed's old observation that n-dimensiopnal QFT assigns (n-d)-Hilbert spaces to d-dimensional volumes.
Tracked: September 12, 2006 3:37 PM
Read the post Hopkins Lecture on TFT: Chern-Simons
Weblog: The n-Category Café
Excerpt: Basic and advanced concepts in Chern-Simons theory.
Tracked: October 27, 2006 4:48 PM
Read the post Postdoctoral Position at the interface of Algebra, Conformal Field Theory and String Theory
Weblog: The n-Category Café
Excerpt: Postdoc position in algebra, CFT and strings.
Tracked: December 5, 2006 2:59 PM
Read the post Local Transition of Transport, Anafunctors and Descent of n-Functors
Weblog: The n-Category Café
Excerpt: Conceps and examples of what would be called transition data or descent data for n-functors.
Tracked: December 8, 2006 7:20 AM
Read the post FFRS on Uniqueness of Conformal Field Theory
Weblog: The n-Category Café
Excerpt: A strengthening of the FFRS theorem on 2-dimensional rational conformal field theory.
Tracked: January 3, 2007 7:44 PM
Read the post CFT in Oberwolfach
Weblog: The n-Category Café
Excerpt: An Oberwolfach meeting on conformal field theory.
Tracked: January 29, 2007 6:30 PM
Read the post Amplimorphisms and Quantum Symmetry, II
Weblog: The n-Category Café
Excerpt: A remark on the appearance of iterated module n-categories in quantum field theory.
Tracked: February 25, 2007 4:39 PM
Read the post Some Notes on Local QFT
Weblog: The n-Category Café
Excerpt: Some aspects of the AQFT description of 2d CFT.
Tracked: April 1, 2007 5:32 AM
Read the post Extended Quantum Field Theory and Cohomology, I
Weblog: The n-Category Café
Excerpt: On understanding extended quantum field theory and generalized cohomology.
Tracked: June 8, 2007 2:19 PM
Read the post Extended Quantum Field Theory and Cohomology, I
Weblog: The n-Category Café
Excerpt: On understanding extended quantum field theory and generalized cohomology.
Tracked: June 8, 2007 2:20 PM
Read the post Extended QFT and Cohomology II: Sections, States, Twists and Holography
Weblog: The n-Category Café
Excerpt: How transformations of extended d-dimensional quantum field theories are related to (d-1)-dimensional quantum field theories. How this is known either as twisting or as, in fact, holography.
Tracked: June 11, 2007 1:08 PM
Read the post QFT of Charged n-Particle: Towards 2-Functorial CFT
Weblog: The n-Category Café
Excerpt: Towards a 2-functorial description of 2-dimensional conformal field theory. A project description.
Tracked: August 3, 2007 10:13 PM
Read the post Local Nets from 2-Transport
Weblog: The n-Category Café
Excerpt: How to obtain a local net of observables from an extended functorial QFT.
Tracked: December 9, 2007 7:49 PM
Read the post What has happened so far
Weblog: The n-Category Café
Excerpt: A review of one of the main topics discussed at the Cafe: Sigma-models as the pull-push quantization of nonabelian differential cocycles.
Tracked: March 27, 2008 2:10 PM

Post a New Comment