This is my last post on defining the Seiberg-Witten equations and invariants for closed 4-manifolds based on a learning seminar at UT. Maybe I’ll post about some applications later on.

**The Seiberg-Witten Configuration Space**

We start with a Riemannian 4-manifold (M,g) and a Spinc structure on M. As we have seen, this data gives rise to the associated bundle and the determinant line bundle .

Let be the set of all Hermitian connections on . We have seen that such a connection gives rise to a connection on which is compatible with the Clifford multiplication.

The *Seiberg-Witten configuration space* is defined as

**The Seiberg-Witten equations**

The Seiberg-Witten equations take an element as their input. We are now prepared to define these equations.

As discussed in an earlier post, a connection A on gives rise to a connection on . Note that for , so . Therefore we have a Clifford structure

which composes with the connection

to get a Dirac operator

Denote the curvature of the connection A by . Then the curvature is a matrix of 2-forms on M, so we can consider its self-dual and anti-self dual parts and .

Let denote the traceless part of the endomorphism .

Now we can define the (perturbed) Seiberg-Witten equations. Fix a closed 2-form (the pertubation parameter). Then the Seiberg-Witten equations are:

The input to these equations is an element . The elements of which are solutions to these equations are called (-)monopoles.

**The Gauge Action**

The *gauge group* is . It acts on by

While it seems natural enough to act on the section by multiplication, why do we define the action ? Specifically where is the 2 coming from?

A is the connection of the determinant line bundle L of . We would really like to think of the gauge group as acting on . If acts on by multiplication , then the induced action on is multiplication by . (This goes back to the fact that in coordinate charts, the spinc structure is obtained by tensoring the spin structure with the *square root* of the determinant line bundle L.) Now we can look at how this acts on the covariant differentiation induced by the connection A on L. Here the natural action is conjugation

For we can consider its stabilizer in . If the stabilizer of C is trivial, we say C is *irreducible*, otherwise we say C is *reducible*. It is easy to show that the reducible elements are exactly those with , and that their stabilizers are the constant maps into .

**The Seiberg-Witten moduli space **

The Seiberg-Witten solution space is the space of elements for which the Seiberg-Witten equations are satisfied. To obtain the moduli space from this, we want to mod out by the gauge action. In order for this to be well defined, we first need to check that the space is invariant under the gauge action.

For the first equation, we can prove that because and because we can think locally that so taking its exterior derivative gives 0. Furthermore , so the first equation is invariant under the gauge action.

For the second equation, can be understood by breaking up the dirac operator into the composition of the Clifford multiplication and the connection on .

The discussion above about why the gauge group acts as it does on A is related to the fact that . Applying the Clifford multiplication to this connection acting on and using the Leibniz rule for connections eventually simplifies to show that so the solutions to are invariant under the gauge action.

Therefore we can mod out the Seiberg Witten solution space by the gauge action to get a well-defined space.

**Properties of the Seiberg Witten moduli space**

The reason the Seiberg-Witten equations are so useful is that the moduli space is actually a compact smooth manifold in many cases. When there are no reducible solutions to the equations, the moduli space defined by a generic perturbation is a smooth manifold (one needs to show that the linearization of a map defined by the Seiberg Witten equations and the gauge action is Fredholm and then use Sard-Smale to show that generic perturbations correspond to regular values).

Compactness of the manifold requires some analytic estimates. The Weitzenbock forumla is the main tool in obtaining bounds on solutions to the Seiberg-Witten equations.

After going through hard work to show these properties, which I am avoiding here, one just needs to worry about reducible solutions. Notice that if there are reducible solutions then they satisfy for our chosen perturbation. Since both of these forms are closed, they represent cohomology classes. The cohomology class of the curvature is independent of A, so we only have reducible solutions when . When the dimension of the positive second homology is at least 1, then a generic perturbation will avoid this phenomenon.

The Seiberg-Witten invariant of a 4-manifold is given by the homology class of the moduli space of solutions in the configuration space. This configuration space is homotopy equivalent to so its cohomology has a canonical generator in even degrees. By evaluating this generator against the homology class of the Seiberg-Witten moduli space we obtain an integer .

A priori this integer depends on the metric and perturbation, but when , the subspace of perturbations which allows for reducible solutions (bad perturbations) is codimension 2. Since the space of metrics on a manifold is convex, we can find a path through the space of metrics and good perturbations connecting any two pairs which lifts to a cobordism between the moduli space at and the moduli space at . Therefore SW gives a diffeomorphism invariant of the 4-manifold, and it has been used very effectively to distinguish many homeomorphic but not diffeomorphic 4-manifolds (exotic pairs).

When , there is a codimension 1 space of bad perturbations which forms a wall between two chambers. Within each chamber stays constant, and there is a well-understood * wall-crossing * formula describing the difference of SW in the two different chambers. By keeping track of a little more information, it is still possible to use information from the Seiberg-Witten invariants to distinguish exotic pairs (this has been used a lot for finding exotic ).