nLab
moduli space of monopoles

Contents

Context

Chern-Weil theory

Algebraic Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

By the Nahm transform, the moduli space of time-translation invariant self-dual Yang-Mills theory solitons on 4d Minkowski spacetime 3,1\mathbb{R}^{3,1} is equivalently the space of solutions to the Bogomolny equations on 3d Euclidean space, which in tur# iN n may be thought of as magnetic monopoles in 3d Euclidean Yang-Mills theory coupled to a charged scalar field (a “Higgs field”). Therefore this moduli space is traditionally referred to simply as the moduli space of magnetic monopoles (e.g. Atiyah-Hitchin 88) or just the moduli space of monopoles.

Definition

The moduli space

(1) k \mathcal{M}_k \;\coloneqq\; \cdots

of kk monopoles is … (Atiyah-Hitchin 88, p. 15-16).

Properties

Scattering amplitudes of monopoles

Write

(2)Maps cplxrtnl */(P 1,P 1) kMaps cplxrtnl */(P 1,P 1)Maps */(S 2,S 2) Maps_{cplx\,rtnl}^{\ast/}\big( \mathbb{C}P^1, \mathbb{C}P^1 \big)_k \;\subset\; Maps_{cplx\,rtnl}^{\ast/}\big( \mathbb{C}P^1, \mathbb{C}P^1 \big) \;\subset\; Maps^{\ast/}\big( S^2, S^2 \big)

for the space of pointed rational functions from the Riemann sphere to itself, of degree kk \in \mathbb{N}, inside the full Cohomotopy cocycle space. The homotopy type of R kR_k is discussed in Segal 79.

To each configuration c k c \in \mathcal{M}_k of kk \in \mathbb{N} magnetic monopoles is associated a scattering amplitude

(3)S(c)Maps cplxrtnl */(P 1,P 1) k S(c) \in Maps_{cplx\,rtnl}^{\ast/}\big( \mathbb{C}P^1, \mathbb{C}P^1 \big)_k

(Atiyah-Hitchin 88 (2.8))


Charge quantization in Cohomotopy

Proposition

(moduli space of k monopoles is space of degree kk complex-rational functions from Riemann sphere to itself)

The assignment (3) is a diffeomorphism identifying the moduli space (1) of kk magnetic monopoles with the space (2) of complex-rational functions from the Riemann sphere to itself, of degree kk (hence the cocycle space of complex-rational 2-Cohomotopy)

k diffSMaps cplxrtnl */(P 1,P 1) k \mathcal{M}_k \; \underoverset{ \simeq_{diff} }{ S }{ \;\;\longrightarrow\;\; } \; Maps_{cplx\,rtnl}^{\ast/} \big( \mathbb{C}P^1, \mathbb{C}P^1 \big)_k

(due to Donaldson 84, see also Atiyah-Hitchin 88, Theorem 2.10).

Proposition

(space of degree kk complex-rational functions from Riemann sphere to itself is k-equivalent to Cohomotopy cocycle space in degree kk)

The inclusion of the complex rational self-maps maps of degree kk into the full based space of maps of degree kk (hence the kk-component of the second iterated loop space of the 2-sphere, and hence the plain Cohomotopy cocycle space) induces an isomorphism of homotopy groups in degrees k\leq k (in particular a k-equivalence):

Maps cplxrtnl */(P 1,P 1) k kMaps */(S 2,S 2) k Maps_{cplx\,rtnl}^{\ast/} \big( \mathbb{C}P^1, \mathbb{C}P^1 \big)_k \; \underset{ \simeq_{\leq k} }{ \;\;\hookrightarrow\;\; } \; Maps^{\ast/}\big( S^2, S^2 \big)_k

(Segal 79, Prop. 1.1)

Hence, Prop. and Prop. together say that the moduli space of kk-monopoles is kk-equivalent to the Cohomotopy cocycle space π 2(S 2) k\mathbf{\pi}^2\big( S^2 \big)_k.

k diffSMaps cplxrtnl */(P 1,P 1) k kMaps */(S 2,S 2) k \mathcal{M}_k \; \underoverset{ \simeq_{diff} }{ S }{ \;\;\longrightarrow\;\; } \; Maps_{cplx\,rtnl}^{\ast/} \big( \mathbb{C}P^1, \mathbb{C}P^1 \big)_k \; \underset{ \simeq_{\leq k} }{ \;\;\hookrightarrow\;\; } \; Maps^{\ast/}\big( S^2, S^2 \big)_k

This is a non-abelian analog of the Dirac charge quantization of the electromagnetic field, with ordinary cohomology replaced by Cohomotopy cohomology theory:

\,


Relation to braid groups

Proposition

(moduli space of monopoles is stably weak homotopy equivalent to classifying space of braid group)

For kk \in \mathbb{N} there is a stable weak homotopy equivalence between the moduli space of k monopoles (?) and the classifying space of the braid group Braids 2kBraids_{2k} on 2k2 k strands:

Σ kΣ Braids 2k \Sigma^\infty \mathcal{M}_k \;\simeq\; \Sigma^\infty Braids_{2k}

(Cohen-Cohen-Mann-Milgram 91)


Geometric engineering by Dpp-D(p+2)(p+2)-brane intersections

Generally Dp-D(p+2)-brane intersections geometrically engineer Yang-Mills monopoles in the worldvolume of the higher dimensional D(p+2)(p+2)-branes.

Specifically for p=6p = 6, i.e. for D6-D8-brane intersections, this fits with the Witten-Sakai-Sugimoto model geometrically engineering quantum chromodynamics, and then gives a geometric engineering of the Yang-Mills monopoles in actual QCD (HLPY 08, p. 16).

Here we are showing

  1. the color D4-branes;

  2. the flavor D8-branes;

    with

    1. the 5d Chern-Simons theory on their worldvolume

    2. the corresponding 4d WZW model on the boundary

    both exhibiting the meson fields

  3. the baryon D4-branes

    (see below at WSS – Baryons)

  4. the Yang-Mills monopole D6-branes

    (see at D6-D8-brane bound state)

  5. the NS5-branes.


moduli spaces

References

General

See also

As transversal Dpp/D(p+2)(p+2)-brane intersections

In string theory Yang-Mills monopoles are geometrically engineeted as transversally intersecting Dp-D(p+2)-brane bound states:

For transversal D1-D3-brane bound states:

For transversal D2-D4 brane intersections (with an eye towards AdS/QCD):

  • Alexander Gorsky, Valentin Zakharov, Ariel Zhitnitsky, On Classification of QCD defects via holography, Phys. Rev. D79:106003, 2009 (arxiv:0902.1842)

For transversal D3-D5 brane intersections:

For transversal D6-D8-brane intersections (with an eye towards AdS/QCD):

  • Deog Ki Hong, Ki-Myeong Lee, Cheonsoo Park, Ho-Ung Yee, Section V of: Holographic Monopole Catalysis of Baryon Decay, JHEP 0808:018, 2008 (https:arXiv:0804.1326)

With emphasis on half NS5-branes in type I' string theory:

The moduli space of monopoles appears also in the KK-compactification of the M5-brane on a complex surface (AGT-correspondence):

  • Benjamin Assel, Sakura Schafer-Nameki, Jin-Mann Wong, M5-branes on S 2×M 4S^2 \times M_4: Nahm’s Equations and 4d Topological Sigma-models, J. High Energ. Phys. (2016) 2016: 120 (arxiv:1604.03606)

Relation to braids

Relation to braid groups:

Relation of Dp-D(p+2)-brane bound states (hence Yang-Mills monopoles) to Vassiliev braid invariants via chord diagrams computing radii of fuzzy spheres:

Last revised on December 4, 2019 at 09:09:58. See the history of this page for a list of all contributions to it.