Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Global Chern-Simons forms and topological gauge theories

+ 6 like - 0 dislike
659 views

I am reading the classic Dijkgraaf and Witten paper on topological gauge theories and something struck me that I didn't understand. For a trivial bundle $E$ on smooth 3-manifold $M$ with compact gauge group $G$ the Chern-Simons form is of course $$S(A)=\frac{k}{8\pi^2}\int Tr (A\wedge dA + \frac{2}{3}A\wedge A\wedge A).$$

The confusing sentence is the following: "If the bundle $E$ is not trivial, the formula for the action does not make sense, since a connection on a non-trivial bundle cannot be represented by a Lie algebra valued 1-form as in that formula." My concern is that this is wrong - of course we can represent a connection in a non-trivial bundle with a Lie-algebra valued 1-form! In fact, some texts define the connection in exactly that way (my trusty Choquet-Bruhat and DeWitt-Morette has that as one of their three equivalent definitions for a connection)- locally, a connection is represented as a linear map $\omega_p:T_p(E)\to \mathfrak{g}$.

So are we supposed to read the "as in that formula" to mean "globally"? Since of course, if the bundle is not trivial there isn't a global Lie-algebra valued 1-form that we can use for the Chern-Simons action. So that seems like a fine argument, but in QFT we are always writing down actions with sections of bundles (fields $\phi(x)$, say) which are not trivial - we just make sure that the action is invariant under the gauge transformations.

So, what is going on with that statement? Is it really saying we cannot represent a connection in such a way, or is it just stating the action is now local, and the rest of the paper is going to go on and tell me how to fix this with an element of $H^3(BG,\mathbb{R})$, etc.?

This post imported from StackExchange Physics at 2014-04-05 03:54 (UCT), posted by SE-user levitopher
asked Sep 18, 2013 in Theoretical Physics by levitopher (160 points) [ no revision ]

1 Answer

+ 6 like - 0 dislike

As you say yourself, indeed every connection on a bundle is locally given by a Lie algebra valued 1-form and in general only locally.

Let's say this more in detail: for $X$ any manifold, a $G$-principal connection on it is (in "Cech data"):

  1. a choice of good open cover $\{U_i \to X\}$;

  2. on each patch a 1-form $A_i \in \Omega^1(U_i)\otimes \mathfrak{g}$;

  3. on each double intersection of patches a gauge transformation function $g_{i j} \in C^\infty(U_i \cap U_j, G)$

such that

  1. on each double intersectin $U_i \cap U_j$ we have the equation $A_j = g_{i j}^{-1} A g_{i j} + g_{i j}^{-1} \mathbf{d} g_{i j}$

  2. on each triple intersection $U_i \cap U_j \cap U_k$ we have the equation $g_{i j} g_{j k} = g_{i k}$.

Okay, now you would like to form a Chern-Simons 3-form... something out of this. What you immediately get from the above data is a bunch of local differential 3-forms, one on each patch: $CS(A_i) \in \Omega^3(U_i)$.

To make these 3-forms globally glue together to what is called a 3-form connection we need the evident data of higher gauge transformation

  1. on each patch we have the local 3-form $CS(A_i)$;

  2. on each double intersection there should be a 2-form $B_{i j} \in \Omega^2(U_i \cap U_j)$ which gauge transforms the respective CS-3-forms into each other, by $CS(A_j) = CS(A_i) + \mathbf{d} B_{i j}$;

  3. on each triple intersection there should be a 1-form $\alpha_{i j k} \in \Omega^1(U_i \cap U_j \cap U_k)$ which exhibits a second-order gauge transformation ("ghosts of ghosts"!) between the first order gauge trasformations, in that $B_{i j} + B_{j k} = B_{i k} + \mathbf{d} \alpha_{ i j k}$

  4. finally on each quadruple intersection there should be a smooth function $h_{i j k l} \in C^\infty(U_i \cap U_j \cap U_k \cap U_l, U(1))$ which gauge-of-gauge-of-gauge-transforms the gauge-of-gauge-transforms into each other, in that $\alpha_{i j k} + \alpha_{i k l} = \alpha_{j k l} + \alpha_{i j l} + h_{i j k l}^{-1}\mathbf{d}h_{i j k l}$.

That's the data that makes the local Chern-Simons 3-form into a globally well-defined 3-form field. (For instance the supergravity C-field is of this form, with some further twists and bells and whistles added, as we have discussed here).

In mathematical language one says that this kind of local gauge-of-gauge-of-gauge gluing data for global definition of higher form fields is a "degree-4 cocycle in Cech-Deligne cohomology". This is precisely the right data needed to have a well-defined 3-dimensional higher holonomy as is needed here for the definition, because the Chern-Simons action functional is nothing but the 3-dimensional higher holonomy of this 3-form connection.

If you can build it, that is. From the above it is not entirely obvious how to build the 3-form cocycle data $\{CS(A_i), B_{i j}, \alpha_{i j k}, h_{i j k}\}$ from the given gauge field data $\{A_i, g_{i j}\}$.

But this can be done. This is what Cheeger-Simons differential characters were discovered for. An explicit construction that is very natural for the application to Chern-Simons theory we have given in

  • Fiorenza, Schreiber, Stasheff, Cech cocycles for differential characteristic classes, Advances in Theoretical and Mathematical Phyiscs, Volume 16 Issue 1 (2012) (arXiv:1011.4735, web)

Based on this we give a detailed introduction to and discussion of Chern-Simons action functionals for globally non-trivial situations like above in

  • Fiorenza, Sati, Schreiber, A higher stacky perspective on Chern-Simons theory (arXiv:1301.2580, web)

That article gives the local formulas that apply generally, discusses the simplifications that occur when the 3-manifold can be assumed to be bounding, discusses what happens if not, and then explores various other properties of globally defined Chern-Simons theory, such as how to couple Wilson lines to the above story. If you just look at the first part, I think you should find what you need.


edit: In the comments below came up the question why a similar discussion is not also needed when writing down the Yang-Mills action functional, whose Lagrangian is the 4-form $\langle F_A \wedge \star F_A \rangle$ (where $\star$ is the Hodge star of a given metric (gravity) and $\langle -,-\rangle$ is an invariant polynomial, the "Killing form" or trace), or similarly the topological Yang-Mills action functional, whose Lagrangian is the 4-form $\langle F_A \wedge F_A \rangle$.

The reason is that these Lagrangians are built from curvatures evaluated in an invariant polynomial. The very invariance of these invariant polynomials under the adjoint action of the gauge group on its arguments ensures that if $\{U_i \to X\}$ is a good open cover of 4-dimensional space(-time) and if the gauge field is given by the Cech-cocycle data $\{A_i, g_{i j}\}$ with respect to these local patches, that then on double overlaps the two (topological or not) Yang-Mills Lagrangians coming from two patches are already equal

$$ \langle F_{A_i} \wedge F_{A_i}\rangle = \langle F_{A_j}\wedge F_{A_j}\rangle \,. $$

Hence if we write $\nabla = \{A_i, g_{i j}\}$ for the gauge field connection abstractly and denote the (topological) Yang-Mills Lagrangian globally by $\langle F_\nabla \wedge F_\nabla\rangle$, then this is already a globally defined 4-form. Mathematically, this statement is what is at the core of Chern-Weil theory.

Notice that there is nevertheless an intricate relation to the story of the Chern-Simons functional. Namely the local Chern-Simons form $CS(A_i)$ has the special property (essentially by definition) that its differential is the topological Yang-Mills Lagrangian:

$$ \mathbf{d}CS(A_i) = \langle F_{A_i} \wedge F_{A_i}\rangle \,. $$

This means that with the Chern-Simons Lagrangian regarded as a 3-form connection then the topological Yang-Mills Lagrangian is its curvature 4-form. Therefore the relation between the topological Yang-Mills Lagrangian 4-form and the Chern-Simons 3-form is precisely an analogue in higher gauge theory of the familiar relation two degrees down of how the electromagnetic potential 1-form -- which is not globally defined in general -- has a curvature 2-form that is globally well defined.

Mathematically this is why Chern-Simons functionals are called "secondary invariants"

Indeed, this is a bit more than just an analogy: the Chern-Simons 3-form is precisely a doubly higher analog of the electromagnetic field as we pass from the point, via the string, to the membrane.

I have some lecture notes with more along these lines at nLab:twisted smooth cohomology in string theory.

This post imported from StackExchange Physics at 2014-04-05 03:54 (UCT), posted by SE-user Urs Schreiber
answered Sep 18, 2013 by Urs Schreiber (6,095 points) [ no revision ]
Ok a really great answer! The only thing it's missing is the emphasis on the difference between this and the "usual" thing - say Yang-Mills with action the integral of $F\wedge F$. It seems that we only consider double overlaps to determine these gauge transformations, so what is different about this case?

This post imported from StackExchange Physics at 2014-04-05 03:54 (UCT), posted by SE-user levitopher
The difference with the Yang-Mills Lagrangian 4-form is that this happens to always be globally defined right away! This is becaus it is built only from the curvatures. The curvatures transform in the adjoint under gauge transformation, and the invariant form $\langle -,-\rangle$ that defines the (topological)YM-Lagrangian (the Killing form,the trace) $\langle F_{A_i} \wedge F_{A_i}\rangle$ is precisely such as to guarantee that on double overlaps we have an actual equality $\langle F_{A_i} \wedge F_{A_i}\rangle = \langle F_{A_j} \wedge F_{A_j}\rangle$. I'll add a comment to the above reply

This post imported from StackExchange Physics at 2014-04-05 03:54 (UCT), posted by SE-user Urs Schreiber
Okay, I have added a second part to the reply above with some comments on how this relates to Yang-Mills.

This post imported from StackExchange Physics at 2014-04-05 03:54 (UCT), posted by SE-user Urs Schreiber

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
$\varnothing\hbar$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...