Seiberg–Witten invariants

(Redirected from Seiberg–Witten invariant)

In mathematics, and especially gauge theory, Seiberg–Witten invariants are invariants of compact smooth oriented 4-manifolds introduced by Edward Witten (1994), using the Seiberg–Witten theory studied by Nathan Seiberg and Witten (1994a, 1994b) 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 tends 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 (Donaldson 1996), (Moore 2001), (Morgan 1996), (Nicolaescu 2000), (Scorpan 2005, Chapter 10). For the relation to symplectic manifolds and Gromov–Witten invariants see (Taubes 2000). For the early history see (Jackson 1995).

Spinc-structures

edit

The Spinc group (in dimension 4) is

 

where the   acts as a sign on both factors. The group has a natural homomorphism to SO(4) = Spin(4)/±1.

Given a compact oriented 4 manifold, choose a smooth Riemannian metric   with Levi Civita connection  . This reduces the structure group from the connected component GL(4)+ to SO(4) and is harmless from a homotopical point of view. A Spinc-structure or complex spin structure on M is a reduction of the structure group to Spinc, i.e. a lift of the SO(4) structure on the tangent bundle to the group Spinc. By a theorem of Hirzebruch and Hopf, every smooth oriented compact 4-manifold   admits a Spinc structure.[1] The existence of a Spinc structure is equivalent to the existence of a lift of the second Stiefel–Whitney class   to a class   Conversely such a lift determines the Spinc structure up to 2 torsion in   A spin structure proper requires the more restrictive  

A Spinc structure determines (and is determined by) a spinor bundle   coming from the 2 complex dimensional positive and negative spinor representation of Spin(4) on which U(1) acts by multiplication. We have  . The spinor bundle   comes with a graded Clifford algebra bundle representation i.e. a map   such that for each 1 form   we have   and  . There is a unique hermitian metric   on   s.t.   is skew Hermitian for real 1 forms  . It gives an induced action of the forms   by anti-symmetrising. In particular this gives an isomorphism of   of the selfdual two forms with the traceless skew Hermitian endomorphisms of   which are then identified.

Seiberg–Witten equations

edit

Let   be the determinant line bundle with  . For every connection   with   on  , there is a unique spinor connection   on   i.e. a connection such that   for every 1-form   and vector field  . The Clifford connection then defines a Dirac operator   on  . The group of maps   acts as a gauge group on the set of all connections on  . The action of   can be "gauge fixed" e.g. by the condition  , leaving an effective parametrisation of the space of all such connections of   with a residual   gauge group action.

Write   for a spinor field of positive chirality, i.e. a section of  . The Seiberg–Witten equations for   are now

 
 

Here   is the closed curvature 2-form of  ,   is its self-dual part, and σ is the squaring map   from   to the a traceless Hermitian endomorphism of   identified with an imaginary self-dual 2-form, and   is a real selfdual two form, often taken to be zero or harmonic. The gauge group   acts on the space of solutions. After adding the gauge fixing condition   the residual U(1) acts freely, except for "reducible solutions" with  . For technical reasons, the equations are in fact defined in suitable Sobolev spaces of sufficiently high regularity.

An application of the Weitzenböck formula

 

and the identity

 

to solutions of the equations gives an equality

 .

If   is maximal  , so this shows that for any solution, the sup norm   is a priori bounded with the bound depending only on the scalar curvature   of   and the self dual form  . After adding the gauge fixing condition, elliptic regularity of the Dirac equation shows that solutions are in fact a priori bounded in Sobolev norms of arbitrary regularity, which shows all solutions are smooth, and that the space of all solutions up to gauge equivalence is compact.

The solutions   of the Seiberg–Witten equations are called monopoles, as these equations are the field equations of massless magnetic monopoles on the manifold  .

The moduli space of solutions

edit

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. For generic metrics, after gauge fixing, the equations cut out the solution space transversely and so define a smooth manifold. The residual U(1) "gauge fixed" gauge group U(1) acts freely except at reducible monopoles i.e. solutions with  . By the Atiyah–Singer index theorem the moduli space is finite dimensional and has "virtual dimension"

 

which for generic metrics is the actual dimension away from the reducibles. It means that the moduli space is generically empty if the virtual dimension is negative.

For a self dual 2 form  , the reducible solutions have  , and so are determined by connections   on   such that   for some anti selfdual 2-form  . By the Hodge decomposition, since   is closed, the only obstruction to solving this equation for   given   and  , is the harmonic part of   and  , and the harmonic part, or equivalently, the (de Rham) cohomology class of the curvature form i.e.  . Thus, since the   the necessary and sufficient condition for a reducible solution is

 

where   is the space of harmonic anti-selfdual 2-forms. A two form   is  -admissible if this condition is not met and solutions are necessarily irreducible. In particular, for  , the moduli space is a (possibly empty) compact manifold for generic metrics and admissible  . Note that, if   the space of  -admissible two forms is connected, whereas if   it has two connected components (chambers). The moduli space can be given a natural orientation from an orientation on the space of positive harmonic 2 forms, and the first cohomology.

The a priori bound on the solutions, also gives a priori bounds on  . There are therefore (for fixed  ) only finitely many  , and hence only finitely many Spinc structures, with a non empty moduli space.

Seiberg–Witten invariants

edit

The Seiberg–Witten invariant of a four-manifold M with b2+(M) ≥ 2 is a map from the spinc structures on M to Z. The value of the invariant on a spinc structure is easiest to define when the moduli space is zero-dimensional (for a generic metric). In this case the value is the number of elements of the moduli space counted with signs.

The Seiberg–Witten invariant can also be defined when b2+(M) = 1, but then it depends on the choice of a chamber.

A manifold M is said to be of simple type if the Seiberg–Witten invariant vanishes whenever the expected dimension of the moduli space is nonzero. The simple type conjecture states that if M is simply connected and b2+(M) ≥ 2 then the manifold is of simple type. This is true for symplectic manifolds.

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.

References

edit
  1. ^ Hirzebruch, F.; Hopf, H. (1958). "Felder von Flächenelementen in 4-dimensionalen Mannigfaltigkeiten". Math. Ann. 136 (2): 156–172. doi:10.1007/BF01362296. hdl:21.11116/0000-0004-3A18-1. S2CID 120557396.