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

I am currently reading an article about TFTs (DW - Group Cohomology and TFTs), and I have a few questions:

(1) Let $M$ be a 3-man., then we know there exists some 4-man. $B$ such that $\partial B = M$. Now, let $E$ be a $G$-bundle over $M$, when can we extend $E$ to a $G$-bundle over $B$ and a connection $A$ over $E$ to a connection $A'$ over $E'$?

(2) If we can construct such an $E'$ over $B$ then we can re-define the CS action as $CS(A') = \frac{k}{8\pi^2}\int_B Tr(F'\wedge F')$, where $F'$ is the curvature of $A'$. According to the paper, if $k$ is an integer then $CS(A')$ is independent, mod 1, of the choice of $B$ and of the extension $E$ and $A$. How do you see this?

(3) Later on they give a better def of the action, $CS = \frac{1}{n}\left(\int_B \frac{k}{8\pi^2}Tr(F'\wedge F') - \langle \gamma^*\omega,B\rangle\right)$, where $\gamma : B \rightarrow BG$ and $\omega$ is an integer-valued cocycle. They then go on to say that if $B$ is closed then $\int_B \frac{k}{8\pi^2}Tr(F'\wedge F') = \langle \gamma^*\omega,B\rangle$ and so $CS$ is independent of $B$ and the way we have continued the bundle and the connection. Why is this so?

share|improve this question
    
Just a thought: you may want to give the full name of the author(s) of the paper and possibly provide a link. –  Willie Wong Mar 14 '11 at 2:57
    
Dijkgraaf and Witten –  Kevin Wray Mar 14 '11 at 3:08
add comment

2 Answers

up vote 4 down vote accepted

(1) Obstruction theory: there is a sequence of obstructions to extending a bundle On $M$ to all of $B$. For homotopy theoretic purposes, a bundle is the same as a map to $BG$. The obstructions live in $H^{n}(B,M;\pi_{n-1}(BG))$. These groups are trivial for a $4$-manifold $B$ when $BG$ is $3$-connected, which happens as along as $G$ is connected and simply-connected.

(2) Chern-Weil theory: $\frac{1}{4 \pi^2}F \wedge F$ represents the first Pontrjagin class, which is integral. If you have two choices of nullbordism, glue them together to get a closed manifold. The difference (because of orientation) of the integrals over the two nullbordisms is the same as the integral over the closed manifold. The role of the $k$ is not so clear to me.

(3) The cocylce $\omega$ has to be $k$ times the Pontrjagin class, then this is true. The same argument as in (2) should give the result.

share|improve this answer
add comment

This is not an answer to your questions, but rather a way to avoid them. Additionally, the assumption that the group $G$ is connected or simply-connected becomes unnecessary.

For a general (compact) Lie group $G$, the level $k$ is not an integer but a class $k \in H^4(BG,\mathbb{Z})$. (If the group is simple, connected and simply-connected, then $H^4(BG,\mathbb{Z}) = \mathbb{Z}$; this reproduces the integer.)

Associated to the class $k$ and the connection $A$ on the bundle $E$ is a bundle 2-gerbe with connection over $M$, the Chern-Simons 2-gerbe $\mathbb{CS}(k,A)$. Connections on bundle 2-gerbes have $U(1)$-valued holonomies around closed oriented 3-manifolds, and so one defines the (exponentiated) Chern-Simons action $$ S_{CS}(k,A) := Hol_{\mathbb{CS}(k,A)}(M) \in U(1). $$

With this definition, it is not necessary to extend the manifold $M$ or the bundle $E$.

However, if extensions of $M$, $E$ and $A$ exist one has the following: there is a Stokes' Theorem for 2-gerbe holonomy, namely $$ Hol_{\mathbb{G}}(M) = \exp \left ( \int_B \mathrm{curv}(\mathbb{G}) \right ). $$ Now, the curvature of the Chern-Simons 2-gerbe $\mathbb{CS}(k,A)$ is $\frac{1}{8\pi^2} b_{k} ( F \wedge F )$, where the bilinear form $b_{k}: \mathfrak{g} \times \mathfrak{g} \to \mathbb{R}$ corresponds to $k$ under the Chern-Weil homomorphism. So we have $$ S_{CS}(k,A) = \exp \left ( \frac{1}{8\pi^2} \int_B b_{k}(F \wedge F) \right ) $$ which is the formula you have asked for in (2).

share|improve this answer
    
Where can I read more about his approach to the setup? It's very elegant! –  Kevin Wray Mar 14 '11 at 17:51
    
Carey et al. "Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories" arxiv.org/abs/math/0410013 –  Konrad Waldorf Mar 14 '11 at 19:15
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.