Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

Please welcome our new moderators!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

122 submissions , 103 unreviewed
3,497 questions , 1,172 unanswered
4,543 answers , 19,337 comments
1,470 users with positive rep
407 active unimported users
More ...

Physical interpretation to the category of CFTs

+ 8 like - 0 dislike
28 views

This question comes from reading Andre's question where I wandered whether that question even makes sense physically. In mathematics, VOAs form a category, does this category as a whole have a physical interpretation?


This post has been migrated from (A51.SE)

asked Oct 15, 2011 in Theoretical Physics by Reimundo Heluani (90 points) [ revision history ]
retagged Apr 19, 2014 by dimension10
VOA=Vertex operator Algebra, which is like the chiral part of a CFT. The question I link to talks about embeddings of CFTs, which in particular would be morphisms between them. I wandered whether a "morphism" of CFT (as an inclusion would be) had a physical interpretation.

This post has been migrated from (A51.SE)
A naive guess would be that morphisms of VOAs would correspond physically to domain walls coupling different CFTs.

This post has been migrated from (A51.SE)
@Andy: thanks, that does sound like something a friend would say, but I suspect that in order to think this way you need to promote the category to a higher one and then these would be "1-morphisms" which in turn won't be the usual morphisms of VOA... and then again I'm getting further away from what I was hoping.

This post has been migrated from (A51.SE)
I think a good question should be self-contained. This one is not. What's a VOA, what is the relation between your question and the question you're linking to? Please provide more background.

This post has been migrated from (A51.SE)

3 Answers

+ 7 like - 0 dislike

Any kind of objects, in physics or in math, is only genuinely defined when you also define what the homomorphisms between them are supposed to be, hence when you define the category that the objects form.

Notably the invertible homomorphisms (the isomorphism) encode which objects are equivalent. There may be objects that superficially look very different and neverteless have invertible morphisms between them. Without the morphisms, you would never be able to tell that these objects are in fact equivalent. In physics this important phenomenon is often referred to as "duality". See the Gannon-Höhn Database of Vertex Operator Algebras and Modular Categories for a list of nontrivial isomorphisms in the category of VOAs.

Next, the homomorphisms which behave like injections (the monomorphisms) are needed to even define what it means to have a subobject. Physically this means: a subsystem. You can't even say (precisely) "heterotic string" or "CY compactification" or the like without a notion of monomorphism of VOAs.

Then there are the monoidal structure morphisms. VOAs form a monoidal category under tensor product. So it makes sense to ask if the tensor product of a VOA with its dual has morphisms to and from the trivial VOA. If these exist in a certain way, this encodes self-duality of the VOA. The famous physical example here is the Moonshine VOA encoding a certain bosonic string compactifications. Mathematically this is a self-dual object of rank 24 and no grade 1-subspaces in the monoidal category of VOAs, and by a famous conjecture by Frenkel, Lepowsky and Meurman it is uniquely characterized by this universal property in the category of VOAs. This means that the Monster string background exists due to universal structure in the category of VOAs.

Finally, only with the category of VOAs in hand is it possible to check for equivalences to other categories and hence discover equivalences of VOAs as a whole to other structures. The famous example of such an equivalence of most fundamental importance to the physics descriped by VOAs is Huang's theorem which says that the category of VOAs is equivalent to that of holomorphic algebras over the operad $\mathcal{HS}$ of punctured holomorphic spheres. As opposed to the definition of VOAs, an $\mathcal{HS}$-algebra is manifestly a genus-0 holomorphic 2d CFT in that it is a rule that assigns a correlator to each punctured conformal sphere, such that these correlators obey the sewing law. Starting from this Huang's student Kong derived precisley the extra structure neccessary to promote a VOA to a full 2d CFT, hence to a full string theory background (see the references here). So it's the category theory of VOAs that fully informs us about their full physical meaning in the first place.

This post has been migrated from (A51.SE)
answered Oct 15, 2011 by Urs Schreiber (5,085 points) [ no revision ]
Generally, if you pass from just the category of VOAs to that of full CFTs, you see more exmaples of the direct physical role of homomorphisms. For instance morphisms from a trivial (n+1)-dimensional theory to a nontrivial one define "twisted" n-dimensional theories, as in http://arxiv.org/abs/1108.0189 . In a similar fashion the very definition of rational 2d CFT is holographically given, as discussed in http://arxiv.org/abs/hep-th/0612306 .

This post has been migrated from (A51.SE)
Moreover, without the homomorphisms defined, no universal construction of the objects exists. For instance the adjoint construction of open-closed TCFTs from open (T)CFTs in http://arxiv.org/abs/math/0412149 rests on the definition of morphisms between (T)CFTs.

This post has been migrated from (A51.SE)
Any kind of object only has an interpretation with a given definition of homomorphism. The very fact that the definition of a VOA has something to do with CFT rests in the morphisms. For instance, if we redefine the morphisms between VOAs to be linear maps of the underlying vector spaces, then VOAs would become equivalent to just vector spaces, and all the CFT structure were lost. Or, even more drastically, if you declared that there is precisely one morphism from any VOA to any other, then that would make the theory of VOAs become equivalent to the theory of the contractible space.

This post has been migrated from (A51.SE)
I'm sorry Urs but I was hoping for a physical interpretation of the category structure and I what I can read of your answer is a physical interpretation of isomorphisms and to some extent of monomorphisms. I am very familiar with Huang's work, but calling that a physical interpretation is some leap, most people working on CFTs won't know what an operad is, and remember that CFTs are also used in condensed matter physics, it is not only a stringy thing. More than the monoidal structure (composite systems) I am interested in basic things like associativity for composition of morphisms and such.

This post has been migrated from (A51.SE)
+ 7 like - 0 dislike

My first naive guess (in line with Andy's comment but not terribly well thought out) is that no, morphisms of VOAs are not physically terribly natural - rather the more natural thing to consider is an appropriate notion of bimodule for two VOAs, which would be domain walls between the corresponding chiral CFTs (or 3d TFTs, in the rational case).

To make an analogy one dimension down, let's think that we have an associative (or if you prefer $A_\infty$) algebra, and we use it to try to define a 2d TFT --- i.e. we can always integrate it over the circle to get a vector space (take Hochschild homology or center, depending on how you think of circles) and if it's fully dualizable (f.d. semisimple in the abelian case or "smooth proper" in the dg case) we can integrate it over 2-manifolds to get numbers. However from the TFT point of view what's important is the category of modules over the algebra rather than the algebra itself -- i.e., relations between two algebras are given by bimodules (ie Morita morphisms), not necessarily by morphisms of algebras. These are exactly domain walls between 2d field theories. (This is also natural from thinking of 2d TFTs as noncommutative varieties --- only in the commutative case does it really make sense to focus on maps of algebras, since in that case you can recover the algebra from the corresponding category or TFT).

[If you want honest 2d CFTs rather than modular functors then you want a modification of the story above..]

Likewise I think (following Costello and Lurie) of a VOA as what you attach to a point in a 2d chiral CFT or modular functor (ie we're attaching vector spaces to Riemann surfaces, obtained by integrating the VOA over the surface --- conformal blocks, aka chiral homology). The coarse topological analog is an E_2 algebra. In any case what seems physically meaningful is domain walls between these modular functors (or the corresponding 3d TFT if it makes sense), and these are "chiral bimodules" for two vertex algebras: something you can put on a wall, so that on either side you have bulk operators given by your two VOAs (and in particular there's also a "boundary OPE" structure on this chiral bimodule --- topologically this would be an associative algebra object in bimodules over two E_2 algebras).

Anyway to summarize usual morphisms of vertex algebras are special cases of something more natural, which are domain walls of chiral CFTs, which give monoidal functors between the monoidal categories of left modules ("boundary conditions") for the two VOAs..

This post has been migrated from (A51.SE)
answered Nov 3, 2011 by David Ben-Zvi (320 points) [ no revision ]
+ 5 like - 0 dislike

The category of CFT's (and related 3D TQFT) has been studied by Kapustin and Saulinas in their recent paper Topological boundary conditions in abelian Chern-Simons theory.

The quote "we obtain a classification of such theories up to isomorphism" from their abstract refers to a notion of isomorphism that is clearly higher-categorical (more precisely, it appears to be 3-categorical).

See also Surface operators in 3d Topological Field Theory and 2d Rational Conformal Field Theory by the same authors.

This post has been migrated from (A51.SE)
answered Nov 3, 2011 by André_1 (215 points) [ no revision ]
Thanks André and David. Actually I was thinking on you by the "friend" in my comment above and was hoping that the answer would not have to involve higher categories. I'll accept BZ's answer just because it is an hour older and David may need the reputation to comment.

This post has been migrated from (A51.SE)
Thanks Reimundo - the inability to comment was incredibly frustrating!

This post has been migrated from (A51.SE)
If I understand correctly, Kapustin-Saulina are talking about a (higher) category of CFTs, not of VOAs -- in other words I think they're dealing implicitly with chiral bimodules for VOAs rather than morphisms. (In other words the natural notion of map of field theories doesn't correspond to a map of VOAs).

This post has been migrated from (A51.SE)
The CFT's in Kapustin-Saulina are not chiral (they are when the torus has definite signature), and the sentence "the natural notion of map of field theories doesn't correspond to a map of VOAs" is definitely correct.

This post has been migrated from (A51.SE)

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsO$\varnothing$erflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...