In gauge theory, the Seiberg–Witten moduli space (short SW moduli space, also monopole moduli space) is the moduli space of the Seiberg–Witten equations, hence the space of its solutions up to gauge. It is used to defined the Seiberg–Witten invariants used to study four-dimensional smooth manifolds (short 4-manifolds). A very useful property of the Seiberg–Witten moduli space is that it is always compact, which is an improvement over the previously used Yang–Mills moduli space and allowed to simplify the derivation of many results from Donaldson theory. The Seiberg–Witten moduli space is named after Nathan Seiberg and Edward Witten, who introduced the underlying Seiberg–Witten equations in 1994.
Basics Let M {\displaystyle M} be a compact orientable Riemannian 4-manifold with Riemannian metric g ∈ Γ ∞ ( S 2 T ∗ M ) {\displaystyle g\in \Gamma ^{\infty }(S^{2}T^{*}M)} and spinc structure s : M → BSpin c ( 4 ) {\displaystyle {\mathfrak {s}}\colon M\rightarrow \operatorname {BSpin} ^{\mathrm {c} }(4)} . Because of the exceptional isomorphism:
Spin c ( 4 ) ≅ U ( 2 ) × U ( 1 ) U ( 2 ) = { U ± ∈ U ( 2 ) | det ( U − ) = det ( U + ) } {\displaystyle \operatorname {Spin} ^{\mathrm {c} }(4)\cong \operatorname {U} (2)\times _{\operatorname {U} (1)}\operatorname {U} (2)=\{U^{\pm }\in \operatorname {U} (2)|\det(U^{-})=\det(U^{+})\}}
the spinc structure s {\displaystyle {\mathfrak {s}}} consists of two complex plane bundles W ± ↠ M {\displaystyle W^{\pm }\twoheadrightarrow M} , called associated spinor bundles (whose sections are called (anti) self-dual spinors), with same determinant line bundle L = det ( W ± ) {\displaystyle L=\det(W^{\pm })} . Since the determinant line bundle preserves the first Chern class, one has c 1 ( s ) := c 1 ( L ) = c 1 ( W ± ) {\displaystyle c_{1}({\mathfrak {s}}):=c_{1}(L)=c_{1}(W^{\pm })} , which fulfills c 1 ( s ) mod 2 = w 2 ( M ) {\displaystyle c_{1}({\mathfrak {s}})\operatorname {mod} 2=w_{2}(M)} . Given a fundamental class [ M ] Z ∈ H 4 ( M , Z ) ≅ Z {\displaystyle [M]_{\mathbb {Z} }\in H_{4}(M,\mathbb {Z} )\cong \mathbb {Z} } and its reduction [ M ] Z 2 := [ M ] Z mod 2 ∈ H 4 ( M , Z 2 ) ≅ Z 2 {\displaystyle [M]_{\mathbb {Z} _{2}}:=[M]_{\mathbb {Z} }\operatorname {mod} 2\in H_{4}(M,\mathbb {Z} _{2})\cong \mathbb {Z} _{2}} , one therefore has:
σ ( M ) mod 2 = w 2 2 ( M ) [ M ] Z 2 = c 1 2 ( s ) [ M ] Z mod 2 , {\displaystyle \sigma (M)\operatorname {mod} 2=w_{2}^{2}(M)[M]_{\mathbb {Z} _{2}}=c_{1}^{2}({\mathfrak {s}})[M]_{\mathbb {Z} }\operatorname {mod} 2,}
… excerpt ends here. Continue reading the full article.
