3
$\begingroup$

Ok, so I am still trying to make my way through the paper by Dijkgraaf and Witten "Group Cohomology and Topological Actions", 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$ $(\mathrm{mod}\ 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.

$\endgroup$
2
  • $\begingroup$ 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. $\endgroup$ Apr 26, 2011 at 12:45
  • $\begingroup$ 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 mathoverflow.net/questions/62002/topological-actions) with this question - to keep everything together - and so, thinking about closing this page. $\endgroup$
    – Kevin Wray
    Apr 27, 2011 at 14:04

0

Your Answer

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