superalgebra and (synthetic ) supergeometry
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 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.
Let be a compact orientable Riemannian 4-manifold with Riemannian metric and spinᶜ structure . Because of the exceptional isomorphism: (Perutz 2002, p. 2)
the spinᶜ structure consists of two complex plane bundles , called associated spinor bundles (whose sections are called (anti) self-dual spinors), with same determinant line bundle . Since the determinant line bundle preserves the first Chern class, one has with . (Perutz 2002, p. 2) Given a fundamental class and its reduction , one therefore has:
hence is always even.
Let be the space of self-dual forms fulfilling and let be the vector subspace of additionally harmonic forms fulfilling . Let be the self-dual Betti number, then there is a vector subspace with (using the Hodge decomposition), so that a self-dual form is the self-dual part of the curvature form of a connection , hence:
if and only if . Both the vector subspace and this result play an essential role as they are the reason the Seiberg-Witten equations are perturbed with a self-dual form before considering their moduli space. Both also lead to topological obstructions since for there is no complement and for the complement is not connected. Let be the analogous space of anti self-dual forms with and be the analogous vector subspace of additionally harmonic forms fulfilling . Let be the anti self-dual Betti number, then the second Betti number and signature can be expressed as:
Both formulas, which are later used to calculate the dimension of the moduli space, can also be reversed:
It is helpful to first consider the space of all possible solutions. Since the space of connections on the complex line bundle is an affine vector space, it is helpful to chose a single such connection and express every other as being shifted from it by a form with using . Self-dual spinors also form a vector space with the zero section providing a canonical center. Let the configuration space and reduced configuration space be: (Moore 2010, p. 77-79)
Since the reduced configuration space is an infinite dimensional vector space without a single point and hence homotopy equivalent to the infinite-dimensional sphere, it is contractible.
Although the definition of the reduced configuration space is mainly motivated by the action of the gauge group below, its excluded cases are already important in the Seiberg-Witten equations themselves, which then reduced to the self-dual Yang-Mills equations.
Smooth maps act on the elements of the configuration space by: (Perutz 2002, p. 6, Moore 2010, p. 77-79)
Hence the gauge group can be taken as: (Perutz 2002, p. 6, Moore 2010, p. 77-79)
Using that the first unitary group is the Eilenberg-MacLane space , which classifies singular cohomology, as well as the universal coefficient theorem and the Hurewicz theorem yields:
Hence for simply connected or more generally if its fundamental group is perfect, every gauge is nullhomotopic and therefore has a global logarithm, meaning that for every smooth map there exists a smooth map with . In this case, the action on the configuration space simplifies to: (Moore 2010, p. 77-79)
For a base point , the gauge group can be separated as a product using the based gauge group:
As the product shows, the gauge group is not contractible. But as the argument above shows, for simply connected, the based gauge group is contractible.
Since both the gauge group and its subgroup, the based gauge group , act on the configuration space and its subspace, the reduced configuration space , there are quotient spaces: (Nicolaescu 2000, p. 89, Kronheimer & Mrowka 2007, Def. 1.3.1. & Eq. (1.16), Moore 2010, p. 77-79)
As the formula of the action above shows, the gauge group doesn’t act free on the configuration space , since the points with vanishing self-dual spinor field are invariant under all constant gauges , but it therefore does act free on the reduced configuration space and the based gauge group even acts free on both. therefore has singularities, while the other spaces don’t. If is simply connected, then can furthermore be identified with a linear subspace of the configuration space by: (Moore 2010, p. 77-79)
Equivalently, for every , there is a unique smooth map with , which can be shown again using the Hodge decomposition with just being the constant functions for connected. (Moore 2010, p. 77-79)
Although the canonical projection might not be even be a fiber bundle due to the singularities, the canonical projection , after a suitable Sobolev completion, is a principal U(1)-bundle. For simply connected, is contractible, since always is and is in this case as argued before. It then follows from the long exact sequence of homotopy groups of the principal U(1)-bundle , that is an Eilenberg-MacLane space (as is a ) and since the infinite complex projective space is as well, there is a weak homotopy equivalence . (Moore 2010, p. 81) Homotopy classes of such maps are classified by and the weak homotopy equivalence must correspond to a generator . But the principal U(1)-bundle also bijectively corresponds to the homotopy class of a classifying map with , which falls under the exact same classification, but doesn’t necessarily correspond to a generator. It is exactly the first Chern class of the principal U(1)-bundle, but the perturbed Seiberg-Witten equations need to enter for it to be of use for the Seiberg-Witten invariants. Its moduli spaces are then given by the subspaces of its solutions: (Perutz 2002, p. 6, Moore 2010, p. 81)
With the canonical projection , there is a canonical projection . Since the former isn’t a fiber bundle, it seems that the latter isn’t as well. But this isn’t necessarily the case and exactly the reason why the Seiberg-Witten equations are considered with a perturbation. For this, the self-dual Betti number is important:
If , then a perturbation forces solutions of the perturbed Seiberg-Witten equations with to fulfill , which is not possible due to . Hence both perturbed moduli spaces avoid all singularities in this case and becomes a principal U(1)-subbundle of with first Chern class, which is then used to define the Seiberg-Witten invariants.
If , then any two perturbations can furthermore be connected by a path , which describes a bordism . Hence all perturbations give the same bordism class. (Moore 2010, p. 100) (If , one has to chose a connected component of , which might give two different bordism classes.)
For the Seiberg-Witten invariant, which is in particular Chern number, the necessary amount of cup products of the Chern class with itself is evaluated with the fundamental class of the moduli space in the Kronecker pairing. Since the Chern class has even degree, the moduli space must have even dimension for this to work and it furthermore has to be known precisely for the amount of cup products. First relating it to the index of the Dirac operator and then applying the Atiyah-Singer index theorem yields formulas containing the Euler characteristic and the signature:
Let be simply connected. If for or , then is an oriented smooth manifold with dimension: (Nicolaescu 2000, Lem. 2.2.10, Kronheimer & Mrowka 2007, Thrm 1.4.4., Moore 2010, Transversality Theorem 2 on p. 91 )
While the first expression is obviously always an integer, it is more difficult to see for the second expression. But as shown in the basics, is always even, which already makes the term in the brackets even as well.
Let be simply connected. If , then is a compact (Donaldson 1996, Eq. (7), Moore 2010, Compactness Theorem on p. 83) oriented smooth manifold with dimension: (Moore 2010, Transversality Theorem 1 on p. 86)
(Some literature uses the convention since it is indeed the square of a line bundle, which makes the above formula not include a factor in front of the Chern class.) Hence for even, is also even and the Seiberg-Witten invariants, which are independent of the Riemannian metric and the perturbation Kronheimer & Mrowka 2007, Thrm 1.5.2. as argued above for the latter, can then be defined as: (Donaldson 1996, Eq. (6), Nicolaescu 2000, p. 113, Kronheimer & Mrowka 2007, Def. 1.5.3. & 1.5.4.)
See also:
Created on August 21, 2025 at 23:32:11. See the history of this page for a list of all contributions to it.