Yang–Mills moduli space

Template:Lead rewrite Template:Short description 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 Template:Harv and improved in Template:Harv, 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 $G$ be a Lie group with Lie algebra $𝔤$ and $\pi :P\twoheadrightarrow X$ be a principal $G$-bundle over a smooth manifold $X$, which automatically makes $P$ a smooth manifold as well. Let $\mathrm{Ad}(P):=P{\times }_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:

$𝒜={\mathrm{\Omega }}^1(X,\mathrm{Ad}(P))\cong {\mathrm{\Omega }}_{\mathrm{Ad}}^1(P,𝔤)$

where the isomorphism requires a choice of local sections $s_i:U_i\hookrightarrow P$ for an open cover $(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:

${\mathrm{\Omega }}_{\mathrm{Ad}}^1(P,𝔤)\stackrel{\cong }{\to }{\mathrm{\Omega }}^1(X,\mathrm{Ad}(P)),A\mapsto (s_i^{\ast }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:

$𝒢:=C^{\mathrm{\infty }}(P,G{)}^G\cong C^{\mathrm{\infty }}(X,G)\cong \mathrm{Aut}(P)$

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

$C^{\mathrm{\infty }}(X,G)\stackrel{\cong }{\to }\mathrm{Aut}(P),f\mapsto (p\mapsto p\cdot f(\pi (p)));$

$C^{\mathrm{\infty }}(P,G{)}^G\stackrel{\cong }{\to }\mathrm{Aut}(P),f\mapsto (p\mapsto p\cdot f(p)).$

A principal bundle automorphism $P\to P$ induces a vector bundle automorphism $\mathrm{Ad}(P)\to \mathrm{Ad}(P)$, causing the gauge group $𝒢$ to act free on the configuration space $𝒜$ and resulting in the orbit space:

$ℬ:=𝒜/𝒢.$

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:

${ℳ}_P:=\{[A]\in ℬ|{\mathrm{d}}_A\star F_A=0\}.$

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

${ℳ}_P^{\mathrm{A}\mathrm{S}\mathrm{D}}:=\{[A]\in ℬ|\star F_A=-F_A\};$

${ℳ}_P^{\mathrm{S}\mathrm{D}}:=\{[A]\in ℬ|\star F_A=+F_A\}.$

(While notations like ${ℳ}_P^{-}$ or ${ℳ}_P^{+}$ can also be used, it can be confusing as the (anti) self-dual Yang–Mills equations $\star F_A=\pm F_A$ can also be written as $F_A^{\mp }=0$ with the sign in the notation reversed.) There are canonical inclusions ${ℳ}_P^{\mathrm{A}\mathrm{S}\mathrm{D}},{ℳ}_P^{\mathrm{S}\mathrm{D}}\hookrightarrow {ℳ}_P^{+}$. The intersection ${ℳ}_P^{\mathrm{A}\mathrm{S}\mathrm{D}}\cap {ℳ}_P^{\mathrm{S}\mathrm{D}}$ 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

• The anti self-dual Yang–Mills moduli space of a principal SU(2)-bundle over a Riemannian 4-manifold is orientable. This more generally holds for principal $\mathrm{SU}(n)$-bundles.
• The self-dual Yang–Mills moduli space of a principal $\mathrm{SO}(3)$-bundle $P\twoheadrightarrow X$ with $p_2(P)[X]\le 3$ over a compact orientable Riemannian 4-manifold $X$ is compact.
• If $X$ is a 4-manifold, then:

$\dim {ℳ}_P^{\mathrm{S}\mathrm{D}}=2p_1(\mathrm{Ad}(P))[X]-\dim G(1-b_1+b_2^{-}).$

• In particular for $G=\mathrm{SU}(2)$ the second special unitary group:

$\dim {ℳ}_P^{\mathrm{S}\mathrm{D}}=-8c_2(P)[X]-3(1-b_1+b_2^{-}).$

• In particular for $G=\mathrm{SO}(3)$ the third special orthogonal group:

$\dim {ℳ}_P^{\mathrm{S}\mathrm{D}}=2p_1(P)[X]-3(1-b_1+b_2^{-}).$

It is important to consider the different sign conventions regarding the characteristic classes in the first term: Instantons and Four-Manifolds uses the convention here, while the later The Geometry of Four-Manifolds uses the reverse convention.

Application

Self-dual SU(2) moduli space

For the proof of Donaldson's theorem, Simon Donaldson considered the self-dual Yang–Mills moduli space ${ℳ}_P^{\mathrm{S}\mathrm{D}}$ of the unique principal SU(2)-bundle $P\twoheadrightarrow X$ with $c_2(P)[X]=-1$ over a simply connected Riemannian 4-manifold $X$ with negative definite intersection form $\omega$. (Over the 4-sphere $S^4$, this would be the quaternionic Hopf fibration $S^7\twoheadrightarrow S^4$.) After first assuming simple connectedness for $b_1(X)=0$ in Template:Harv, he expanded the proof to also work without it in Template:Harv. If the intersection form $\omega$ is definite, then furthermore $b_2^{+}(X)=0$. According to the above formula, the self-dual Yang–Mills moduli space ${ℳ}_P^{\mathrm{S}\mathrm{D}}$ is five-dimensional. Simon Donaldson then gave the following description of its singularities and its boundary, resulting in a bordism essential for his proof:

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

• If there are $n$ pairs $\pm \alpha \in H^2(X,\mathbb{Z})$ to the equation $\omega (\alpha ,\alpha )=⟨{\alpha }^2,[X]⟩=1$ with the Kronecker pairing and fundamental class, then there are $n$ singularities $x_1,\dots ,x_n\in {ℳ}_P^{+}$, so that ${ℳ}_P^{\mathrm{S}\mathrm{D}}\setminus \{x_1,\dots ,x_n\}$ is a 5-manifold. Every such singularity $x_i\in {ℳ}_P^{\mathrm{S}\mathrm{D}}$ has a neighborhood $U_i\subset {ℳ}_P^{\mathrm{S}\mathrm{D}}$ diffeomorphic to a cone over the second complex projective space $ℂP^2$ (whose tip corresponds to the singularity).
• There exists a neighborhood of the boundary $\partial {ℳ}_P^{\mathrm{S}\mathrm{D}}$ which is diffeomorphic to a half-open cylinder over $X$, meaning that ${\overline{ℳ}}_P^{\mathrm{S}\mathrm{D}}:={ℳ}_P^{\mathrm{S}\mathrm{D}}\cup X$ yields a compactification with $\partial {\overline{ℳ}}_P^{\mathrm{S}\mathrm{D}}=X$. (A similar approach also works for other negative Chern classes (or positive in the convention of The Geometry of Four-Manifolds).) If additionally the cones around the singularities are removed, then ${\overline{ℳ}}_P^{\mathrm{S}\mathrm{D}}\setminus (U_1\cup \dots \cup U_n)$ describes a bordism between $X$ and $(ℂP^2{)}^{\bigsqcup n}$. It is important, that all second complex projective spaces have the same orientation, since $ℂP^2\bigsqcup \overline{ℂP^2}$ is nullbordant (as the boundary the 5-manifold $ℂ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 $\sigma (X)=n\sigma (ℂP^2)=n$.

Self-dual SO(3) moduli space

Ron Fintushel and Ronald J. Stern considered the self-dual Yang–Mills moduli space ${ℳ}_P^{\mathrm{S}\mathrm{D}}$ of a principal $\mathrm{SO}(3)$-bundle $P\twoheadrightarrow X$ with $p_2(P)[X]=2$ over a simply connected Riemannian 4-manifold $X$ with negative definite intersection form $\omega$. As before, $b_1(X)=0$ and $b_1(X)=0$. According to the above formula, the self-dual Yang–Mills moduli space ${ℳ}_P^{\mathrm{S}\mathrm{D}}$ is one-dimensional.

Literature

• Template:Citation
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book

External links

• Yang-Mills moduli space at the nLab