MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Ok, so I am still trying to make my way through the paper by Dijkgraaf and Witten "Group Cohomology and Topological Actions" (see;jsessionid=807BE383780883ACB4CAB8BD48E8C90B?doi= ), and I have a question (what's new). The authors start by showing how one can define the action over an arbitrary 3-manifold $M$ as $n\cdot S = \frac{k}{8\pi^2}\int_B \langle F\wedge F\rangle$ $(mod\textrm{ }1)$. From here they say that they need to get rid of the $n$-fold ambiguity in the definition of the action. So, to do this they add $-\langle \gamma^*(\omega),B\rangle$ to the action, where $\gamma:B\rightarrow BG$, and $B$ is a 4-manifold which has n copies of $M$ as its boundary. Does anyone know how they arrived at this being the correct term to add (cf. equation 3.4 - 3.5)? Thanks.

share|cite|improve this question
You haven't said enough about what $\gamma$ is to get a complete answer. More or less the idea behind all of these things is that if $B$ is closed the integral you gave is an integer, so the correction term has to do with building a $4$-form on $B\cup -B$ and using the integrality of the integral there. – Charlie Frohman Apr 26 '11 at 12:45
According to the authors, $\gamma$ is just the classifying map from $B$ to $BG$. Could you elaborate more on what you were saying? Also, I had another post with questions about the same article, so I updated that page (see with this question - to keep everything together - and so, thinking about closing this page. – Kevin Wray Apr 27 '11 at 14:04

Your Answer


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

Browse other questions tagged or ask your own question.