Seiberg–Witten invariant
Encyclopedia
In mathematics, Seiberg–Witten invariants are invariants of compact smooth 4-manifold
s introduced by , using the Seiberg–Witten theory studied by during their investigations of Seiberg–Witten gauge theory.
Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg–Witten equations tend to be compact, so one avoids the hard problems involved in compactifying the moduli spaces in Donaldson theory.
For detailed descriptions of Seiberg–Witten invariants see , , , , . For the relation to symplectic manifolds and Gromov–Witten invariants see . For the early history see .
×Spin(4))/(Z/2Z),
and there is a homomorphism from it to SO(4)
. A Spinc-structure on M is a lift of the natural SO(4) structure on the tangent bundle (given by the Riemannian metric and orientation) to the group Spinc. Every smooth compact 4-manifold M has Spinc-structures (though most do not have spin structure
s).
The Seiberg–Witten equations for (φ,A) are
where DA is the Dirac operator
of A, FA is the curvature 2-form of A, and FA+ is its self-dual part, and σ is the squaring map from W+ to imaginary self-dual 2-forms and
is a real selfdual two form, often taken to be zero or harmonic.
The solutions (φ,A) to the Seiberg–Witten equations are called monopoles, as these equations are the field equations of massless magnetic monopoles on the manifold M.
The moduli space is usually a manifold. A solution is called reducible if it is fixed by some non-trivial element of the gauge group which is equivalent to
. A necessary
and sufficient condition for reducible solutions for a metric on M and self dual 2 forms
is that the self-dual part of the harmonic representative of the cohomology class of the determinant line bundle is equal to the harmonic part of 
. The moduli space is a manifold except at reducible monopoles. So if b2+(M)≥1 then the moduli space is a (possibly empty) manifold for generic metrics. Moreover all components have dimension
The moduli space is empty for all but a finite number of spinc structures s, and is always compact.
A manifold M is said to be of simple type if the moduli space is finite for all s.
The simple type conjecture states that if M is simply connected and b2+(M)≥2 then the moduli space is finite. It is true for symplectic manifolds.
If b2+(M)=1 then there are examples of manifolds with moduli spaces of arbitrarily high dimension.
If the manifold M has a metric of positive scalar curvature and b2+(M)≥2 then all Seiberg–Witten invariants of M vanish.
If the manifold M is the connected sum of two manifolds both of which have b2+≥1 then all Seiberg–Witten invariants of M vanish.
If the manifold M is simply connected and symplectic and b2+(M)≥2 then it has a spinc structure s on which the Seiberg–Witten invariant is 1. In particular it cannot be split as a connected sum of manifolds with b2+≥1.
4-manifold
In mathematics, 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different...
s introduced by , using the Seiberg–Witten theory studied by during their investigations of Seiberg–Witten gauge theory.
Seiberg–Witten invariants are similar to Donaldson invariants and can be used to prove similar (but sometimes slightly stronger) results about smooth 4-manifolds. They are technically much easier to work with than Donaldson invariants; for example, the moduli spaces of solutions of the Seiberg–Witten equations tend to be compact, so one avoids the hard problems involved in compactifying the moduli spaces in Donaldson theory.
For detailed descriptions of Seiberg–Witten invariants see , , , , . For the relation to symplectic manifolds and Gromov–Witten invariants see . For the early history see .
Spinc-structures
The Seiberg-Witten equations depend on the choice of a complex spin structure, Spinc, on a 4-manifold M. In 4 dimensions the group Spinc is×Spin(4))/(Z/2Z),
and there is a homomorphism from it to SO(4)
SO(4)
In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO. The name comes from the fact that it is the special orthogonal group of order 4....
. A Spinc-structure on M is a lift of the natural SO(4) structure on the tangent bundle (given by the Riemannian metric and orientation) to the group Spinc. Every smooth compact 4-manifold M has Spinc-structures (though most do not have spin structure
Spin structure
In differential geometry, a spin structure on an orientable Riemannian manifold \,allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry....
s).
Seiberg–Witten equations
Fix a smooth compact 4-manifold M, choose a spinc-structure s on M, and write W+, W− for the associated spinor bundles, and L for the determinant line bundle. Write φ for a self-dual spinor field (a section of W+) and A for a U(1) connection on L.The Seiberg–Witten equations for (φ,A) are
where DA is the Dirac operator
Dirac operator
In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian...
of A, FA is the curvature 2-form of A, and FA+ is its self-dual part, and σ is the squaring map from W+ to imaginary self-dual 2-forms and
is a real selfdual two form, often taken to be zero or harmonic.
The solutions (φ,A) to the Seiberg–Witten equations are called monopoles, as these equations are the field equations of massless magnetic monopoles on the manifold M.
The moduli space of solutions
The space of solutions is acted on by the gauge group, and the quotient by this action is called the moduli space of monopoles.The moduli space is usually a manifold. A solution is called reducible if it is fixed by some non-trivial element of the gauge group which is equivalent to
. A necessaryand sufficient condition for reducible solutions for a metric on M and self dual 2 forms
is that the self-dual part of the harmonic representative of the cohomology class of the determinant line bundle is equal to the harmonic part of . The moduli space is a manifold except at reducible monopoles. So if b2+(M)≥1 then the moduli space is a (possibly empty) manifold for generic metrics. Moreover all components have dimensionThe moduli space is empty for all but a finite number of spinc structures s, and is always compact.
A manifold M is said to be of simple type if the moduli space is finite for all s.
The simple type conjecture states that if M is simply connected and b2+(M)≥2 then the moduli space is finite. It is true for symplectic manifolds.
If b2+(M)=1 then there are examples of manifolds with moduli spaces of arbitrarily high dimension.
Seiberg–Witten invariants
The Seiberg–Witten invariants are easiest to define for manifolds M of simple type. In this case the invariant is the map from spinc structures s to Z taking s to the number of elements of the moduli space counted with signs.If the manifold M has a metric of positive scalar curvature and b2+(M)≥2 then all Seiberg–Witten invariants of M vanish.
If the manifold M is the connected sum of two manifolds both of which have b2+≥1 then all Seiberg–Witten invariants of M vanish.
If the manifold M is simply connected and symplectic and b2+(M)≥2 then it has a spinc structure s on which the Seiberg–Witten invariant is 1. In particular it cannot be split as a connected sum of manifolds with b2+≥1.