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.