1
$\begingroup$

I have several doubts regarding topological solutions in pure YM -- these are related both to less trivial topological misunderstandings as to rudimentary gauge fixing confusions of mine.

  1. What is the role of the temporal gauge? I have seen it written that it is needed in order for the interpretation of instantons as tunneling between inequivalent CS vacua to come about, but I cannot see it come out of the calculations (i.e., can't the same conclusions be drawn from a general gauge?

  2. About the compactification, there seems to be many non-coherent expositions around. Consider the following line of reasoning: (i) In order to find the inequivalent vacua configurations, in temporal gauge (again, why, besides simplicity?), we require the gauge transformation $U$ for which $A(\vec{x}) = i(\text{d}U(\vec{x}))U^{-1}(\vec{x})$ to assymptotically converge to a constant matrix at infinity -- this identifies spatial infinity as a point and amounts to compactifying each spatial $R^3$ slice to $S^3$. Formally, this requirement seems to be clear from the principal $G$-bundle formulation, in which one sees compactification is needed for non-trivial relevant homotopy groups to exist. Can anyone make this argument complete? I have only seen sketches of it on the complete spacetime $R^4$ (in which case I don't even understand what is the thought process), not on $R^3$ -- perhaps the argument works the same for any flat euclidean space, i.e., there is no non-trivial bundle.

  3. I have also seen statements that the $U(|\vec{x}|\to\infty)\to 1$ condition is a necessity of the hamiltonian quantization (that it is necessary for the Gauss law constraint to hold). Is this true? How does this relate to the differential geometry picture?

  4. In finding the instanton, however, there is no compactification -- the only sphere which appears is the sphere of infinity of space time $\partial R^4 \simeq S^3$, on which we require a classic solution to be pure gauge in order to obtain finite euclidean action; Why isn't this purely physical and clear motivation enough?

  5. Apparently there is another equivalent picture of all this in which gauge transformations (large or small) are modded out. In this perspective, usually evoked when sphalerons are being searched, instantons seem to correspond to non-contractible loops in the space of physical configurations (this is the case since now there is only one vacuum). The radial gauge $x^\mu A^a_\mu=0$ together with the temporal $A^a_0=0$ gauge is employed. How can I be convinced these are compatible? More than that, how can I be simply convinced that the radial gauge alone is achievable? I have tried parametrizing $x^\mu (\partial_\mu U(x))U^{-1}(x)=0$ along a curve $x_\mu(t)$ to try to conclude the resulting PDE is solvable with unique solution, but could not complete the argument.

I can see these may be too many questions, but am not sure on how to divide it -- but am happy to do it after some suggestion.

$\endgroup$

1 Answer 1

-1
$\begingroup$

1

The temporal gauge is a gauge choice that sets the temporal component of the gauge field to zero. It is often used in instanton calculations because it simplifies the calculation of the instanton action and makes it easier to see that the instanton is a tunneling process between different vacua. However, it is not necessary to use the temporal gauge to see this. The same conclusion can be drawn from a general gauge. The temporal gauge is just a convenient choice of gauge that makes the calculation easier

2

The compactification of $\mathbb{R}^3$ to $\mathbb{S}^3$ is a way of imposing boundary conditions on the gauge field $A$ at spatial infinity. This is done by requiring that the gauge transformation $U$ that relates $A$ to the pure gauge configuration $A = i(dU(x))U^{-1}(x)$ converges to a constant matrix at infinity. This means that $U$ is a map from $\mathbb{R}^3 \cup \{\infty\}$ to the gauge group $G$, which is topologically equivalent to a map from $\mathbb{S}^3$ to $G$. Therefore, $U$ defines an element of the homotopy group $\pi_3(G)$, which classifies the inequivalent vacua of the theory.

The reason why this compactification is needed is that without it, there would be no non-trivial vacua in the theory. This can be seen by noting that any gauge transformation U that is well-defined on $\mathbb{R}^3$ can be continuously deformed to the identity transformation by shrinking it to a point at infinity. This means that any two gauge fields $A$ and $A'$ that are related by such a $U$ are actually equivalent, and there is no topological distinction between them. Therefore, the only vacuum of the theory would be the trivial one, where $A = 0$.

The temporal gauge is a convenient choice of gauge fixing that simplifies the analysis of the compactification. In this gauge, one sets $A_0 = 0$, which means that the gauge field $A$ depends only on the spatial coordinates $x$. This makes it easier to impose the boundary condition at infinity, since one does not have to worry about the time dependence of $U$. Moreover, in this gauge, one can define a conserved charge $Q$ that is proportional to the Chern-Simons number of each time slice $Q = \frac{1}{16\pi^2} \int d^3 x \text{Tr}(F_{0i} \tilde{F}_i)$ . This charge $Q$ is related to the homotopy group $\pi_3(G)$ by the fact that it changes by an integer when an instanton or an anti-instanton crosses a given time slice. Therefore, $Q$ labels the different vacua of the theory.

3

The condition $U(|\vec x|→∞)→1$ is not a necessity of the Hamiltonian quantization. It is a requirement that is imposed on the gauge field in order to ensure that the Gauss law constraint holds. The Gauss law constraint is a consequence of the gauge symmetry of the Yang-Mills theory. The requirement that $U(|\vec x|→∞)→1$ ensures that the Gauss law constraint holds at infinity and that the gauge field is well-defined everywhere.

4

The instanton solutions are classical solutions of the Euclidean Yang-Mills equations that have a finite and non-zero action. They can be interpreted as tunneling events between different vacua of the theory, which are labeled by the Chern-Simons number, a topological invariant. The instanton solutions are characterized by their winding number, which is an integer that measures how many times they wrap around the gauge group G.

The winding number of an instanton solution can be calculated by using the following formula:

$w=\frac{1}{24π^2}\int d^4x Tr(F_{μν}​F~_{μν}​)$

where $F_{μν}​$ is the field strength tensor and $F~_{μν}​$ is its dual. This formula is valid only if the gauge field $A$ vanishes at infinity, which means that $A$ is a pure gauge configuration at infinity. This condition ensures that the integral is well-defined and independent of the choice of gauge. The compactification of $\mathbb{R}^3$ to $\mathbb{S}^3$ is a way of imposing this condition on the gauge field $A$ at spatial infinity. This is done by requiring that the gauge transformation U that relates A to the pure gauge configuration $A = i(dU)U^{-1}$ converges to a constant matrix at infinity. This means that $U$ is a map from $\mathbb{R}^3 \cup {\infty}$ to the gauge group $G$, which is topologically equivalent to a map from $\mathbb{S}^3$ to $G$. Therefore, $U$ defines an element of the homotopy group $pi_3(G)$, which classifies the inequivalent vacua of the theory.

The compactification of $\mathbb{R}^3$ to $\mathbb{S}^3$ is not purely physical and clear motivation enough, because it does not take into account the time dependence of the gauge field $A$. In order to find the instanton solutions, one needs to consider the full four-dimensional spacetime R4, which has a different topology than $\mathbb{R}^3$. The boundary of R4 is not $\mathbb{S}^3$, but rather $\mathbb{S}^4$, which is a four-dimensional sphere. Therefore, one needs to compactify $\mathbb{R}^4$ to $\mathbb{S}^4$, which requires a different boundary condition on $A$.

The boundary condition on $A$ for compactifying $\mathbb{R}^4$ to $\mathbb{S}^4$ is that A should be a pure gauge configuration not only at spatial infinity, but also at temporal infinity. This means that $U$ should be a map from $\mathbb{R}^4 \cup {\infty}$ to $G$, which is topologically equivalent to a map from $\mathbb{S}^4$ to $G$. Therefore, $U$ defines an element of the homotopy group $\pi_4(G)$, which classifies the instanton solutions of the theory.

The compactification of $\mathbb{R}^4$ to $\mathbb{S}^4$ is more complicated than the compactification of $\mathbb{R}^3$ to $\mathbb{S}^3$, because $\pi_4(G)$ is not always trivial. For example, if $G = SU(2)$, then $\pi_4(G) = \mathbb{Z}/2\mathbb{Z}$, which means that there are two types of instanton solutions: self-dual and anti-self-dual. These solutions have opposite signs for their winding number and their action. Thus, one needs to specify the sign of the winding number when looking for instanton solutions.

$\endgroup$
1
  • 2
    $\begingroup$ Might be unfair of me, but that surely looks like an AI answer. $\endgroup$
    – GaloisFan
    Commented Aug 2, 2023 at 18:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.