Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What is Chern-Simons theory? I have read the wikipedia entry, but it's pretty physics-y and I wasn't really able to get any sense for what Chern-Simons theory really is in terms of mathematics.

Chern-Simons theory is supposed to be some kind of TQFT. But what kind of TQFT exactly? When mathematicians say that it is a TQFT, does this mean that it's a certain kind of functor from a certain bordism category to a certain target category? If so, what kind of functor is it? What kind of bordism category is it? What kind of target category is it? How exactly is the functor defined?

Also, from attending talks of Michael Freeman, I know that Chern-Simons theory is supposed to describe some aspects of the fractional quantum Hall effect. How does this work? How do I take some sort of Chern-Simons computation on a 3-(or 4-?)manifold and extract from that some kind of physical prediction about some 2d electron gas? I've also heard that Witten has interpretted various knot invariants like the Jones polynomial in terms of Chern-Simons theory. So does this mean that the Jones polynomial of a knot has a physical interpretation? If so, what is it?

share|improve this question
    
As Ben points out below, there is already a nice nLab entry on Chern-Simons theory, answering some of my questions, though the entry is still a bit incomplete. But nevertheless, please do reply if you have any comments on things that are not covered, or not covered in detail, in the nLab entry! –  Kevin H. Lin Nov 1 '09 at 15:18
add comment

3 Answers

up vote 4 down vote accepted

Have you read the nLab entry? That might answer some of your questions.

share|improve this answer
    
Hmm... indeed, I should have checked nLab before posting this. Oops. –  Kevin H. Lin Oct 31 '09 at 1:18
add comment

Not sure that I am saying anything that is not in nLab, but let me try a birds eye view. A quantum theory is "mostly specified" by an action, and the CS theory in $2+1$ dimensions with group $G$ has as action the Chern-Simons functional (comes from boundary terms of characteristic classes) on the space of connections on some $3$ manifold. There is a parameter, and you get a well-defined theory whenever the parameter is a root of unity. Because this theory requires no background metric or other geometry to define, any computations in the theory should in principle be topological invariants of the manifold (life gets complicated in the details, but pretty much all you have to add is this extra biframing info to make that correct). Since particles are roughly representations, a sequence of particles interacting and moving around each other in space (a $2$-manifold here) will as a movie trace out linked loops labeled by representations in spacetime (a $3$-manifold). The expectation value of this sequence of interactions (roughly the probability of occurrence) is the value of the Jones polynomial at that value of $q$ (Those who have tried to make the various normalizations of the parameters in the physics and math literature align have gone mad: don't try it at home! It is pretty mysterious why these values combine to a polynomial). The value of the partition function for an ordinary manifold (which technically should not have physical meaning as you are supposed to divide out by it, but it is telling you something about the time-evolution operator, which is constant because it is topologically invariant).

All of that should is because the natural way to build a theory from the action is the path integral, which is a nonrigorous heuristic. The mathematical response to this is, in this case, axiomatic TQFT. Heuristic reasoning argues that the basic building blocks of the theory should have certain properties that should uniquely specify them, and then you can explicitly construct such objects from, say, quantum groups (I do NOT know how to get the quantum groups themselves from the physics) and prove they satisfy the necessary properties. From these you can compute partition functions and expectations to your hearts delight.

share|improve this answer
    
My parser of English fails on half of your sentences. Consider finishing the unfinished ones and choosing one verb in those cases where there are more (like the first sentence of your second paragraph). Also shorter sentences leads to more understandable text in general. –  Vít Tuček Oct 10 '11 at 18:37
11  
@r0b0t: I think that's a bit harsh, and not tremendously polite. It's a helpful answer, and I had no trouble parsing most of it. Yes, the first sentence of the second paragraph has a rogue "should" in it, but everyone makes mistakes. –  Tom Leinster Oct 10 '11 at 21:41
add comment

Some good references are the papers by Dan Freed and the book The geometry and physics of knots by Michael Atiyah. But by far the best answer to your question is in Witten's paper "Quantum field theory and the Jones polynomial", Communications in Mathematical Physics, 1989 vol. 121 (3) pp. 351-399, MR0990772.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.