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 ...

  Two expressions for topological instanton number

+ 3 like - 0 dislike
1614 views

I have begun to study instantons and I have the following difficulty:

$\newcommand{tr}{\operatorname{Tr}}$

I am considering theory with $SU(2)$ gauge group: $S=\frac{1}{2g^{2}}\int \tr F_{\mu\nu}^{2} $.

I've obtained the following expression for topological number $Q$ as a degree of mapping $S^{3}\longrightarrow S^{3}$ (based on differential volume form: $deg(f)=\int_{\Omega} f^{*}\omega$):

$$ Q=\frac{1}{24\pi^{2}}\int d\sigma_{\mu}\epsilon^{\mu\nu\lambda\rho}\tr\left(\omega\partial_{\nu}\omega^{-1}\cdot\omega\partial_{\lambda}\omega^{-1}\cdot\omega\partial_{\rho}\omega^{-1}\right)\tag{1} $$ Here I integrate over the sphere $S^{3}$.

Now I want to show that this expression is equal to the following: $$ Q=-\frac{1}{16\pi^{2}}\int d^{4}x \tr\left(F_{\mu\nu}{F_{\mu\nu}^{*}}\right)\tag{2} $$

The first equation I proved strictly, but for the second one I have no ideas except Stoke's theorem, but i cant do it explicitly.

Could you please explain me how to obtain second expression from the first one?

This post imported from StackExchange Physics at 2014-10-06 21:26 (UTC), posted by SE-user xxxxx
asked Oct 6, 2014 in Theoretical Physics by xxxxx (100 points) [ no revision ]

2 Answers

+ 2 like - 0 dislike

It's Stokes's theorem. Consider a field $F = dA + A \wedge A$ such that $A$ is pure gauge at infinity, that is, $\lim_{x\to\infty} A(x) = \omega\, d \omega^{-1}$ for some $\omega : S^3 \to SU(2) \sim S^3$ where $\omega$ is a function on the 3-sphere because the limit can depend on the direction out to infinity.

In differential forms the first expression is $\newcommand{tr}{\operatorname{tr}}\tr A \wedge A \wedge A.$ Since at infinity, $F = dA + A \wedge A$ vanishes, we can add $0$ in the form of $-3\tr F \wedge A$ to this expression.1

We have $$d \tr (F\wedge A) = d \tr (dA \wedge A + A \wedge A \wedge A) = \tr dA \wedge dA + 3\tr dA \wedge A \wedge A. $$ Now apply Stokes's theorem where we regard infinity as a 3-sphere bounding spacetime. The last part follows from the cyclic property of the trace. Thus we obtain $$\int_{S^3} \tr A \wedge A \wedge A = \int_{S^3} \tr A\wedge A \wedge A - 3 F\wedge A = \int_M \tr \big[3 dA\wedge A \wedge A - 3 dA \wedge dA - 9 A\wedge A\wedge A\big].$$ Except for the term $A^{\wedge 4} = A\wedge A \wedge A \wedge A$, we are taking the trace of $-3 F\wedge F$. But $A^{\wedge 4}$ is traceless (use the cyclic property of the trace). Hence $$\int_{S^3} A\wedge A \wedge A = -3 \int_M F\wedge F.$$

Now $F\wedge F = 2 F^{\mu\nu} F^*_{\mu\nu}$ because the $F^*_{\mu\nu}$ tensor is usually defined with a $\frac{1}{2}$ factor, so this establishes the relative $-\frac{3}{2}$ in the two expressions for $Q$.


1 This seems pulled out of thin air because it is. I add it because I know what I want to get. Usually, one goes in the opposite direction starting with $F \wedge F = d(dA \wedge A + \frac{2}{3}A\wedge A \wedge A)$. The term we added is the part of this that vanishes at infinity. Putting it back in is a little less natural. This post imported from StackExchange Physics at 2014-10-06 21:26 (UTC), posted by SE-user Robin Ekman
answered Oct 6, 2014 by Robin Ekman (215 points) [ no revision ]
Thank you for your answer! Also I've learned how to write "trace" in the right way :D

This post imported from StackExchange Physics at 2014-10-06 21:26 (UTC), posted by SE-user xxxxx
+ 1 like - 0 dislike

Just to highlight that this is an example of what in mathematics is called Chern-Weil theory combined with the clutching construction:

Notice first that the usual talk about field strenghts on Minkowski space vanishing at infinity is mathematically equivalent to working on the one-point compactification of Minkowski space, which is the 4-sphere.

Now generally, by the clutching construction, a G-principal bundle on an (n+1)-sphere may be given as a Cech cocycle with respect to covering the (n+1)-sphere by two (n+1)-hemispheres which overlap on an n-sphere times a small open interval. It follows that the class of the bundle is given by homotopy classes of maps from the n-sphere to G.  For n+1=2 and G = U(1) this is the usual winding number, being the magnetic charge of the Dirac monopole. For n+1 = 4 and G = SU(2) this is the instanton number.

Next, any principal bundle given by transition functions this way may be canonically equipped with a connection (a gauge field) once a partition of unity subordinate to the cover is chosen, by a standard formula recalled here. You'll notice that this formula is such that in the present case towards the poles it yields the formulas found in the typical physics textbook discussion of these matters. I think much clarity is gained by understanding the proper mathematical description of what's going on, namely that after one-point compactification of spacetime representing fields vanishing at infinity, one builds a nontrivial principal bundle on the resulting 4-sphere by the clutching construction and then equips it in the quasi-canonical way with a connection.

Then it is Chern-Weil theory which implies that putting any connection on that bundle and evaluating its curvature 2-form in the suitable invariant polynomial (such as the trace in the standard matrix representation of SU(2)) produces a differential form which is a de Rham representative of that class. This is ultimately what makes the two expressions that the questions ask about be related or even equal (in the absence of torsion classes, as in the simple case of SU(2)-bundles on the 4-sphere, they are equal).

(Notice that there is a fun relation to baryogensis via the chiral anomaly: if we think of the southern hemisphere of the 4-sphere as a Hartle-Hawking-like universe, then as the 3-dimensional "equator" moves away form the "big bag" south pole the integral of the Chern-Simons term increases, reflecting the baryogenesis, until it reaches the large integral value given by the instanton number as one approaches the "north pole" asymptotic region, a modern picture very different from but curiously reminiscent of Kelvin's "vortex atoms" )

There is more hidden in the story of instantons which would deserve to be amplified more widely in physics textbooks. For some more exposition see around slide 13 of a talk I gave a few weeks back, titled Higher field bundles for gauge fields.

answered Oct 9, 2014 by Urs Schreiber (6,095 points) [ revision history ]
edited Oct 9, 2014 by 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:
p$\hbar$ysicsO$\varnothing$erflow
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
...