Yang–Mills moduli space

In gauge theory, the Yang–Mills moduli space (short YM moduli space, also instanton moduli space) is the moduli space of the Yang–Mills equations, hence the space of its solutions up to gauge. It is used in Donaldson's theorem, proven in (Donaldson 1983) and improved in (Donaldson 1987), which was listed as a contribution for Simon Donaldson winning the Fields Medal in 1986, and to defined the Donaldson invariants used to study four-dimensional smooth manifolds (short 4-manifolds). A difficulity is, that the Yang–Mills moduli space is usually not compact and has to be compactified around singularities through laborious techniques. An improvement later appeared with the always compact Seiberg–Witten moduli space. The Yang–Mills moduli space is named after Chen-Ning Yang and Robert Mills, who introduced the underlying Yang–Mills equations in 1954.

In four dimensions, see also four-dimensional Yang–Mills theory, important subspaces of the Yang-Mills moduli space are the self-dual Yang-Mills moduli space (short SDYM moduli space, also self-dual instanton moduli space) of solutions of the self-dual Yang-Mills equations up to gauge and the anti self-dual Yang-Mills moduli space (short ASDYM moduli space, also anti self-dual instanton moduli space) of solutions of the anti self-dual Yang-Mills equations up to gauge.

Definition

Let ${\displaystyle G}$ be a Lie group with Lie algebra ${\displaystyle {\mathfrak {g}}}$ and ${\displaystyle \pi \colon P\twoheadrightarrow X}$ be a principal ${\displaystyle G}$-bundle over a smooth manifold ${\displaystyle X}$, which automatically makes ${\displaystyle P}$ a smooth manifold as well. Let ${\displaystyle \operatorname {Ad} (P):=P\times _{G}{\mathfrak {g}}}$ be the adjoint bundle, then the Yang–Mills equations as well as the (anti) self-dual Yang–Mills equations are formulated on the configuration space:

${\displaystyle {\mathcal {A}}=\Omega ^{1}(X,\operatorname {Ad} (P))\cong \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {g}})}$

where the isomorphism requires a choice of local sections ${\displaystyle s_{i}\colon U_{i}\hookrightarrow P}$ for an open cover ${\displaystyle (U_{i})_{i\in I}\subset X}$ (or alternatively a connection since the latter space is an affine vector space, which makes the isomorphism non-canonical) and is then given by:

${\displaystyle \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {g}})\xrightarrow {\cong } \Omega ^{1}(X,\operatorname {Ad} (P)),A\mapsto (s_{i}^{*}A)_{i\in I}.}$

Since the configuration space is an infinite-dimensional vector space, it is more difficult to handle. But also due to the group action on the principal bundle, it is plausible to consider a group action on the configuration space with the following gauge group:

${\displaystyle {\mathcal {G}}:=C^{\infty }(P,G)^{G}\cong C^{\infty }(X,G)\cong \operatorname {Aut} (P)}$

where the isomorphisms are given using the free and transitive action of ${\displaystyle G}$ on the fibers of ${\displaystyle P}$ (with ${\displaystyle G}$ as a superscript meaning the ${\displaystyle G}$-equivariant maps and which are canonical):

${\displaystyle C^{\infty }(X,G)\xrightarrow {\cong } \operatorname {Aut} (P),f\mapsto (p\mapsto p\cdot f(\pi (p)));}$

${\displaystyle C^{\infty }(P,G)^{G}\xrightarrow {\cong } \operatorname {Aut} (P),f\mapsto (p\mapsto p\cdot f(p)).}$

A principal bundle automorphism ${\displaystyle P\rightarrow P}$ induces a vector bundle automorphism ${\displaystyle \operatorname {Ad} (P)\rightarrow \operatorname {Ad} (P)}$, causing the gauge group ${\displaystyle {\mathcal {G}}}$ to act free on the configuration space ${\displaystyle {\mathcal {A}}}$ and resulting in the orbit space:

${\displaystyle {\mathcal {B}}:={\mathcal {A}}/{\mathcal {G}}.}$

It can be shown that the Yang–Mills equations are gauge invariant and hence are formulated over just this orbit space. Its solution form the Yang–Mills moduli space:

${\displaystyle {\mathcal {M}}_{P}:=\{[A]\in {\mathcal {B}}|\mathrm {d} _{A}\star F_{A}=0\}.}$

If ${\displaystyle X}$ is a 4-manifold, then four-dimensional Yang–Mills theory furthermore allows the definition of the (anti) self-dual Yang–Mills moduli space:

${\displaystyle {\mathcal {M}}_{P}^{-}={\mathcal {M}}_{P}^{\mathrm {ASD} }:=\{[A]\in {\mathcal {B}}|\star F_{A}=-F_{A}\};}$

${\displaystyle {\mathcal {M}}_{P}^{+}={\mathcal {M}}_{P}^{\mathrm {SD} }:=\{[A]\in {\mathcal {B}}|\star F_{A}=+F_{A}\}.}$

There are canonical inclusions ${\displaystyle {\mathcal {M}}_{P}^{-},{\mathcal {M}}_{P}^{+}\hookrightarrow {\mathcal {M}}_{P}^{+}}$. The intersection ${\displaystyle {\mathcal {M}}_{P}^{-}\cap {\mathcal {M}}_{P}^{+}}$ includes exactly the flat connections, the critical points of the Chern–Simons action functional, and could therefore be referred to as Chern–Simons moduli space.

Properties

• If ${\displaystyle X}$ is a 4-manifold, then:^[1][2][3]

${\displaystyle \dim {\mathcal {M}}_{P}^{+}=2p_{1}(\operatorname {Ad} (P))[X]-\dim G(1-b_{1}+b_{2}^{-}).}$

• In particular for ${\displaystyle G=\operatorname {SU} (2)}$ the second special unitary group:^[4]

${\displaystyle \dim {\mathcal {M}}_{P}^{+}=-8c_{2}(P)[X]-3(1-b_{1}+b_{2}^{-}).}$

• In particular for ${\displaystyle G=\operatorname {SO} (3)}$ the third special orthogonal group:^[5]

${\displaystyle \dim {\mathcal {M}}_{P}^{+}=2p_{1}(P)[X]-3(1-b_{1}+b_{2}^{-}).}$

Application

For the proof of Donaldson's theorem, Simon Donaldson considered the self-dual Yang–Mills moduli space ${\displaystyle {\mathcal {M}}_{P}^{+}}$ of the unique principal SU(2)-bundle ${\displaystyle P\twoheadrightarrow X}$ over a simply connected 4-manifold ${\displaystyle X}$ with ${\displaystyle c_{2}(P)[X]=-1}$. (Over the 4-sphere ${\displaystyle S^{4}}$, this would be the quaternionic Hopf fibration ${\displaystyle S^{7}\twoheadrightarrow S^{4}}$.) After first assuming simple connectedness for ${\displaystyle b_{1}(X)=0}$ in (Donaldson 1983), he expanded the proof to also work without it in (Donaldson 1987). If the intersection form ${\displaystyle \omega }$ is definite as assumed in Donaldson's theorem, then furthermore ${\displaystyle b_{+}(X)=0}$. Hence the self-dual Yang–Mills moduli space ${\displaystyle {\mathcal {M}}_{P}^{+}}$ is five-dimensional. Simon Donaldson then gave the following description of its singularities and its boundary, resulting in a bordism essential for his proof:^[6]

Visualization of the Yang–Mills moduli space used in the proof of Donaldson's theorem

• If there are ${\displaystyle n}$ pairs ${\displaystyle \pm \alpha \in H^{2}(X,\mathbb {Z} )}$ to the equation ${\displaystyle \omega (\alpha ,\alpha )=\langle \alpha ^{2},[X]\rangle =1}$ with the Kronecker pairing and fundamental class, then there are ${\displaystyle n}$ singularities ${\displaystyle x_{1},\ldots ,x_{n}\in {\mathcal {M}}_{P}^{+}}$, so that ${\displaystyle {\mathcal {M}}_{P}^{+}\setminus \{x_{1},\ldots ,x_{n}\}}$ is a 5-manifold. Every such singularity ${\displaystyle x_{i}\in {\mathcal {M}}_{P}^{+}}$ has a neighborhood ${\displaystyle U_{i}\subset {\mathcal {M}}_{P}^{+}}$ diffeomorphic to a cone over the second complex projective space ${\displaystyle \mathbb {C} P^{2}}$ (whose tip corresponds to the singularity).
• There exists a neighborhood of the boundary ${\displaystyle \partial {\mathcal {M}}_{P}^{+}}$ which is diffeomorphic to a half-open cylinder over ${\displaystyle X}$, meaning that ${\displaystyle {\overline {\mathcal {M}}}_{P}^{+}:={\mathcal {M}}_{P}^{+}\cup X}$ yields a compactification with ${\displaystyle \partial {\overline {\mathcal {M}}}_{P}^{+}=X}$. If additionally the cones around the singularities are removed, then ${\displaystyle {\overline {\mathcal {M}}}_{P}^{+}\setminus (U_{1}\cup \ldots \cup U_{n})}$ describes a bordism between ${\displaystyle X}$ and ${\displaystyle (\mathbb {C} P^{2})^{\sqcup n}}$. It is important, that all second complex projective spaces have the same orientation, since ${\displaystyle \mathbb {C} P^{2}\sqcup {\overline {\mathbb {C} P^{2}}}}$ is nullbordant (as the boundary the 5-manifold ${\displaystyle \mathbb {C} P^{2}\times [0,1]}$) and hence could be canceled out. Since the signature is invariant under bordisms and transfers disjoint unions into sums, one has ${\displaystyle \sigma (X)=n\sigma (\mathbb {C} P^{2})=n}$.

References

1. Donaldson 1983, p. 290
2. Donaldson 1987, Eq. (2.1)
3. Freed & Uhlenbeck 1991, Equation (2.28)
4. Freed & Uhlenbeck 1991, Between equations (2.28) and (2.29) on page 42
5. Freed & Uhlenbeck 1991, Equation (2.29) on page 42 & Equation (10.3) on page 155
6. Freed & Uhlenbeck 1991, p. 39

Literature

• Donaldson, S. K. (1983), "An application of gauge theory to four-dimensional topology", Journal of Differential Geometry, 18 (2): 279–315, doi:10.4310/jdg/1214437665, MR 0710056, Zbl 0507.57010
• Donaldson, Simon (1987). "The orientation of Yang-Mills moduli spaces and 4-manifold topology". Journal of Differential Geometry. 26 (3). doi:10.4310/jdg/1214441485.
• Donaldson, S. K.; Kronheimer, P. B. (1990), The Geometry of Four-Manifolds, Oxford Mathematical Monographs, ISBN 0-19-850269-9

External links

• Yang-Mills moduli space at the nLab