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,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Does the existence of instantons imply non-trivial cohomology of spacetime?

+ 7 like - 0 dislike
2901 views

Gauge theories are considered to live on $G$-principal bundles $P$ over the spacetime $\Sigma$. For convenience, the usual text often either compactify $\Sigma$ or assume it is already compact.

An instanton is now a "false vacuum" of the theory - a local minimum of the action functional. In four dimensions, instantons are the (anti-)self-dual configurations with $\star F = \pm F$, and the Yang-Mills action then is just the integral over $\mathrm{Tr}(F \wedge F)$, which is the characteristic class of the bundle, also called its Chern class, which are connected through Chern-Weil theory. This class is a topological invariant of the principal bundle associated to a field configuration.

As this math.SE post indicates, the isomorphism classes of bundles over a manifold are in bijection with its first Cech cohomology, which, for smooth manifolds, agrees with the usual other cohomology theories if $G$ is abelian. The question is now twofold:

  1. If $G = \mathrm{U}(1)$, does the existence of instanton solutions imply non-trivial first ordinary (singular, DeRham, whatever) cohomology of spacetime? Or is it rather the case that the instanton/non-trivial bundle configuration only indicates that the gauge theory only holds on the spacetime with points (or possibly more) removed, indicating the presence of magnetic monopoles at these points rather than anything about spacetime?

  2. If $G$ is non-abelian, does the existence of instanton solutions, and hence the non-vanishing of the "non-abelian Cech cohomology" imply anything about the topological structure of spacetime? Perhaps something about the non-abelian homotopy groups rather than the abelian homology? Or, again, does this indicate a non-abelian analogon of monopoles?


This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user ACuriousMind

asked Feb 22, 2015 in Theoretical Physics by ACuriousMind (910 points) [ revision history ]
edited Mar 6, 2015 by Dilaton
Just to clarify what you mean by exist. Are you asking about the mathematical existence of instanton solutions? Or are you asking about a situation in which the physical vacuum is actually a topologically non-trivial gauge configuration?

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user Mark Mitchison
Nontrivial instantons of a gauge theory (e.g. SU(2) Yang-Mills in $3+1$ dimensions) can exist over a spacetime compactified into a sphere, which has trivial first cohomology.

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user Meng Cheng
Moreover, the isomorphism classes of a principle $G$ bundle over a manifold is one-to-one correspondent to the homotopy classes of maps from the manifold to the classifying space $BG$ of $G$. Unless you specify what $G$ is, in general the existence of a nontrivial bundle does not have to have anything to do with the cohomology of the manifold.

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user Meng Cheng
@MengCheng: How does your comment about the classifying space go together with the math.SE post I linked, which seems to imply that any bundles with structure group $G$ are determined by the first Cech cohomology with coeffients in the group?

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user ACuriousMind
@MarkMitchison: I think I am asking about the mathematical exsistence of instanton solutions - because, if there were no non-trivial bundles, this would also rule out their mathematical existence, right? (I don't want to restrict this though - if the question is trivial for this case, but non-trivial for physical existence, then that'd be interesting, too)

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user ACuriousMind
The first Cech cohomology isn't a group when G is nonabelian so I believe that, though instantons imply a nontrivial 1st Cech cohomology, the singular cohomology (for example) might still be trivial.

This post imported from StackExchange Physics at 2015-03-06 12:28 (UTC), posted by SE-user Harry Wilson
@HarryWilson: Ahhh! I completely forgot that cohomology groups are abelian. Well, then the question becomes - is this non-abelian Cech cohomology interesting in any way at all, e.g. related to homotopy rather than homology?

This post imported from StackExchange Physics at 2015-03-06 12:29 (UTC), posted by SE-user ACuriousMind
Wow, who would downvote this post?!

This post imported from StackExchange Physics at 2015-03-06 12:29 (UTC), posted by SE-user JamalS

1 Answer

+ 5 like - 0 dislike

It seems to me that the confusion comes from a misinterpretation of the math.SE post. Let $G$ be a Lie group and $M$ be a manifold. According to the math.SE post, the bundles of structure group $G$ over $M$ are classified by $H^1(M,G)$. But these bundles are different from the $G$-principal  bundles relevant in gauge theory. Indeed, for bundles with structure group $G$, the transition functions are constant function equal to some element of $G$ whereas for a $G$-principal bundle, the transition functions are general smooth functions with values in $G$. These two notions are very different in general (they are the same if $G$ is discrete because a function to a discrete thing is automatically constant) and the terminology can be confusing. It is possible to classify $G$-principal bundles along the lines of the math.SE.post but the answer is no longer $H^1(M,G)$ but $H^1(M, C^\infty (M,G))$ where $C^\infty (M,G)$ is the sheaf of smooth functions on $M$ with values in $G$. As mentionned in the comments to the question, we have $H^1(M, C^\infty (M,G)) = [M, BG]$ where $[M, BG]$ denotes the set of homotopy classes of maps from $M$ to $BG$ where $BG$ is a space (well-defined up to homotopy equivalence), called the classifying space of $G$, which has the property to have a $G$-principal bundle whose total space is contractible. In particular, we have the relation between homotopy groups $\pi_i(BG)=\pi_{i-1}(G)$ for all $i$.

The existence of a precise relation between $[M, BG]$ and the cohomology of $M$ depends on the precise $G$ considered.

If $G=U(1)$, then $H^1(M, C^\infty (M,G)) = [M, BG]=H^2(M, \mathbb{Z})$  and so is exactly a cohomology group of $M$. There are many ways to prove that (from the sheaf point of view, it is easy using the exact sequence $0 \rightarrow \mathbb{Z} \rightarrow \mathbb{R} \rightarrow U(1) \rightarrow 0$, from the classifying space point of view it results from the fact that $BU(1)=\mathbb{C}P^\infty$) but the easiest gauge theoretic understanding is that if you have a 2-cycle $C$ in $M$ defining a non-zero element in $H_2(M, \mathbb{Z})$, then you can construct a non-trivial gauge configuration by asking for a non-zero flux $\int_C F$ of the field strength through $C$. By flux quantization, we necessarely have $n= 1/(2 \pi) \int_C F \in \mathbb{Z}$. So if $C_1$, ..., $C_k$ is a basis of $H_2(M, \mathbb{Z})$ (assume for simplicity that there is no torsion) then a $U(1)$ principal bundle is naturally given by a collections of integers $(n_1,..., n_k)$, i.e. by an element in $H^2(M, \mathbb{Z})$ which is called the first Chern class of the $U(1)$ principal bundle.

The description of $U(1)$ principal bundles in terms of $H^2(M, \mathbb{Z})$ is true whatever is the dimension of the spacetime $M$. The point is that $U(1)$ is a very simple group. For examples, its homotopy groups are simple: $\pi_1 (U(1))=\mathbb{Z}$, $\pi_i(U(1))=0$ for all $i \geq 2$. All the fun comes from $\pi_1$, i.e. that it is possible to construct a non-trivial $U(1)$-principal bundle on a sphere $S^2$ by a non-trivial gluing along the equator $S^1$. If you are in dimension 4, there is no $U(1)$-instanton in the sense of configuration localized around a point but if you take as definition of instanton a non-trivial (anti) self-dual solution, then existence of instanton requires a non-trivial $H^2(M, \mathbb{Z})$ and more precisely one has to look at the action of the Hodge star on $H^2(M, \mathbb{Z})$.

For $G$ a non-abelian compact Lie group, things are very different. Let us assume for simplicity that $G$ is connected and simply connected (for example, $G=SU(N)$). Then there is no general explicit description of $H^1(M, C^\infty (M,G)) = [M, BG]$ for arbitrary $M$ because $G$ has non-trivial homotopy groups in arbitrarily high degree. But if we restrict ourself to $M$ of small dimension then it is possible to say something because the small degree homotopy groups of $G$ are not too complicated $\pi_1(G)=0$, $\pi_2(G)=0$, $\pi_3(G)=\mathbb{Z}$. One can show that this implies that every $G$-principal bundle is trivial if $M$ is of dimension less or equal to 3 and that if the dimension is equal to 4, then the $G$-principal bundles on $M$ are classified by an integer $n \in \mathbb{Z}$, called the instanton number (which is the second Chern class if $G=SU(N)$). Here I am assuming $M$ compact. So the result is the same whatever is the topology of $M$. The point is that in this case, all the fun comes from $\pi_3$, i.e. from the possibility to construct a non-trivial $G$-principal bundle on the sphere $S^4$ by non-trivial gluing along the equator $S^3$. This is a local phenomenon which can be inserted around any point of any four manifold. This locality is related to the fact that instanton configurations of the gauge field are in general localized around some finite number of points. The compacity of $M$ is only required to be sure that the inserted local non-triviality is no untwisted by a non-trivial operation at infinity. But from a physical point of view, non-trivial operations at infinity are forbidden anyway: gauge transformations at infinity are not redundancies but global symmetries. So even if there is no non-trivial $G$-principal bundle on flat $\mathbb{R}^4$, the relevant objects to consider are in fact $G$-principal bundles with a trivialization at infinity and so we still have instantons. In conclusion, non-abelian instantons have nothing to do with topology of spacetime, they exist in four dimensional Euclidean flat space, but have everything to do with the topology of the non-abelian gauge $G$ and more precisely with the fact that $\pi_3(G)=\mathbb{Z}$.

answered Mar 7, 2015 by 40227 (5,140 points) [ revision history ]
edited Mar 7, 2015 by 40227

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$ysicsOv$\varnothing$rflow
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
...