# CFTs and formalizing quantum field theory

Moshe's recent questions on formalizing quantum field theory and lattices as a definition of field theory remind me of something I occasionally idly wonder about, and maybe this site can tell me the answer. Are there any mathematicians working on defining quantum field theory by beginning with a rigorous definition of CFTs, and working from there?

The reason I ask is that I think this is how most of us in physics think about quantum field theory (that is, in a Wilsonian way): to define a QFT, you start with a UV fixed point, and deform it with some relevant operator. So if you had a general theory of CFTs, you would know how to understand how CFTs respond to external sources for operators, and getting a more general QFT would "just" mean turning on a spatially homogeneous source for some operator and seeing how it responds.

The other object we study is "effective field theory," which you might imagine in this language is a CFT that serves as the IR fixed point, together with some notion of equivalence class of irrelevant operators deforming "up" away from that point (being agnostic about whether you ever reach a UV fixed point).

Very (extremely) naively, I would suspect mathematicians might have better luck studying the space of CFTs rather than trying to begin with all QFTs. And you might imagine this approach would be well-suited for questions physicists might care about (like, say, whether there is an "a-theorem" or something similar, analogous to the c-theorem in 2 dimensions, characterizing RG flows as irreversible).

Axiomatic/algebraic/constructive field theory seems to worry about all kinds of field theory at once, and other mathematicians seem to be trying to dig up interesting structure in perturbation theory, which I'm not sure will ever lead to progress in nonperturbatively understanding field theory. I know there are some mathematicians who work on CFTs. (I found this MathOverflow question that has a lot of links to work by mathematicians on CFTs, for instance.) But I wonder if any have tried to work on CFTs as a route to understanding QFT more generally.

• This is not a full-fledged answer, so I will just add this small comment. CFT is of course a beautiful mathematical structure with its own new recipes to be formalized. One may see e.g. the "big yellow book" by di Francesco et al., amazon.com/Conformal-Theory-Graduate-Contemporary-Physics/dp/… ... One may obtain QFTs as deformations of CFTs in the UV, and running them down, but once the conformal symmetry is broken, the original advantages - new ways to define the axioms that were possible for CFTs - go away... Feb 11 '11 at 19:46
• Just thinking about a specific context where this approach might have lead (or might lead ) to some progress: some relevant deformations of two dimensional CFTs lead to integrable theories. Seems a natural context to discuss whether some of the formal structure of CFT survives in the deformed theory.
– user566
Feb 11 '11 at 20:35
• I'm not quite sure how this would help them. They can't even get a single working example of an interacting relativistic 4dimensional field theory, much less something considerably more constraining. On the other hand, I believe their are some examples of rigorous theories (eg satisfying Wightman or Haag-Kastler axioms) in 2dimensions. So naively i'd guess they would have an easier time making string theory rigorous, and then deriving effective field theories from that. Feb 12 '11 at 19:57
• Kontsevich gave some lectures at UChicago a decade ago on this subject: defining QFTs as relevant deformations of UV fixed point CFTs. AFAIK, nothing has ever appeared in print. May 4 '12 at 14:05