12
$\begingroup$

A while ago I read the paper 'Quantum Field Theory and the Jones Polynomial' by Edward Witten. This article uses a lot of concepts from physics like BRST symmetry and the Chern-Simons action which are perhaps a bit mysterious to an audience of general mathematicians.

One common way to get QFT into a precise language which mathematicians can comprehend is to recast everything into categorical language, so for example a mathematical interpretation of Witten's work in the 1989 paper is to take an approach with modular tensor categories.

My only issue with all this is that although it is mathematically much more precise and clear, it feels like a lot of the physical intuition is lost and in some cases one can read lecture notes on QFT written by mathematicians without knowing that there is any physics involved at all. Is there some possible mathematical interpretation of Witten's work on topological QFTs which is mathematically precise but still keeps a bit more of the original physical and geometric intuition without framing everything in terms of categorical language? (As far as I am aware, this language is mostly not used by physicists except where they need it for some particular problem).

$\endgroup$
6
  • 9
    $\begingroup$ The perturbative approximation to quantum field theory is by now reasonably well understood, references are eg Cattaneo, Reshetikhin and Mnev's "Perturbative quantum gauge theories on manifolds with boundary" (arxiv.org/abs/1507.01221) and Costello and Gwilliam's book "Factorization algebras in quantum field theory" (people.math.umass.edu/~gwilliam/vol2may8.pdf). The former has been used to compute quantum invariants of lens spaces (arxiv.org/abs/1810.06663), the latter to construct a one-loop exact quantization of Chern-Simons theory (arxiv.org/abs/1910.05230). $\endgroup$ Feb 11, 2021 at 14:03
  • 3
    $\begingroup$ @BertramArnold That really should just be an answer. $\endgroup$
    – user1504
    Feb 11, 2021 at 15:14
  • 1
    $\begingroup$ As Witten explains in that same paper, this TFT can also be constructed from the WZW model in conformal field theory, which is mathematically rigorous, but maybe that's not what you're looking for. $\endgroup$
    – Adrien
    Feb 11, 2021 at 15:30
  • 3
    $\begingroup$ @BertramArnold's comment is the answer you're looking for, but there is a physical interpretation of tensor categories in 3d TFT too. 3d topological orders in condensed-matter physics are described in the language of tensor categories: the simple objects correspond to the types of quasiparticles in the theory, the monoidal product corresponds to fusing particles, and more. However, I think this is thought of quite differently than Chern-Simons theory. $\endgroup$ Feb 11, 2021 at 22:54
  • 2
    $\begingroup$ @HollisWilliams There's a nice review article by Rowell-Wang. $\endgroup$ Feb 12, 2021 at 20:24

1 Answer 1

11
$\begingroup$

It sounds like what you would like is a rigorous version of Witten's original Feynman integral & Wilson loop approach. This is not a totally unreasonable thing to ask for, since QFTs have been rigorously constructed along these lines, by demonstrating the existence of moments of the Euclidean-signature Feynman integrals. It would indeed be wonderful to just run some Monte Carlo simulations and see knot invariants emerge.

But there are major obstacles to this program for the particular QFT Witten was thinking about. It is not known even at a physical level of rigor how to define the SU(2) Chern-Simons theory in this fashion. It's an open research topic. In fact, this question is still under active investigation by physicists, even for the far simpler abelian Chern-Simons theory. (See Bietenholz, Nishimura, Sodano '02 and DeMarco, Wen '19.)

Roughly, what one would like is a lattice gauge theory which flows to Chern-Simons of the desired level at large distances. There's a number of obstacles here. I'm only going to mention some of them.

  • The first sign of the trouble is that, in the continuum, the Euclidean Chern-Simons action is purely imaginary and unbounded, rather than real and pleasantly bounded like the Yang-Mills action. Euclidean path integral constructions usually depend on having Gaussian-ish behavior, and there's no reason to expect that here.

  • To make matters worse, there isn't any exact lattice version of the Chern-Simons class. You can approximate it in various ways, but the errors in the approximation will make the lattice theory non-topological.

  • Even the abelian Chern-Simons theory (which has a quadratic classical action) has problems on the lattice. There's a natural discretization of the classical action, due to Frohlich & Marchetti, but it has a fatal flaw: It has zero modes, which means that the exponential $e^{-S(A)}$ is not integrable, even on a finite lattice, where the integration measure $dA$ is well-defined.

  • There's a theorem due to Berruto, Diamanti, & Sidano which says, in effect, that any lattice action for a gauge field which is gauge-invariant, linear in derivatives, and odd under parity reversal (as the cubic Chern-Simons action should be) will share these problems. You can't fix this by screwing around with the discretization, and there's not much reason to expect better behavior in the case of non-abelian gauge groups.

  • There is a reasonable way out of this problem: One can add to the lattice Chern-Simons action a parity-even term, which lifts the degeneracies. The leading order parity-even term you can add is the Maxwell action. The abelian theory is basically OK at this point. The Maxwell term's effect on long-distance physics is negligible, so you basically have a definition of abelian Chern-Simons. I think one could even construct it along the lines of Driver and Gross. (Frohlich & King sketch the idea.) But the analogue of the Jones polynomials here are just linking numbers.

  • The nonabelian case is probably worse: The Maxwell term that showed up in regularization gets replaced by the Yang-Mills Lagrangian. The basic story isn't expected to change: the long distance scaling limit should be dominated by Chern-Simons. So that's good. But now you've got to show that 3d Yang-Mills theory makes sense. This is expected to be easier than the Millenium Prize problem, but it shares a lot of the same features.

So as not to end on a down-note, let me mention that Yang-Mills theory is not the only possible lattice QFT that leads to Chern-Simons. There's a quite large line of research (starting, I think, with Fradkin & Shaposnik) in which fairly accessible QFTs, like the 3d Thirring model, are shown to give rise to Chern-Simons at long distances. I don't know to what degree the constructive QFT community has taken up these challenges; I've seen it mainly from lattice and condensed matter people.

$\endgroup$
1
  • 2
    $\begingroup$ Wow! This is a really helpful answer. $\endgroup$
    – Nik Weaver
    Feb 12, 2021 at 4:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.