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.
$\begingroup$
$\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$– Charlie FrohmanApr 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 WrayApr 27, 2011 at 14:04
Add a comment
|