Equations constituting a breakthrough in work on the topology of four-dimensional manifolds (cf. also Four-dimensional manifold). The equations, which were introduced in [a1] have their origins in physics in earlier work of N. Seiberg and E. Witten [a2], [a3].
One of the advances provided by the Seiberg–Witten equations concerns Donaldson polynomial invariants for four-dimensional manifolds (see also below).
If one chooses an oriented, compact, closed, Riemannian manifold , then the data needed for the Seiberg–Witten equations are a connection on a line bundle over and a "local spinor field" . The Seiberg–Witten equations are then
where is the Dirac operator and is made from the gamma-matrices according to
is called a "local spinor" because global spinors need not exist on ; however, orientability guarantees that a structure does exist and is the appropriate section for this structure. Note that is just a Abelian connection, and so , with being the self-dual part of .
The equations clearly provide the absolute minima for the action
If one uses a Weitzenböck formula to relate the Laplacian (cf. also Laplace operator) to plus curvature terms, one finds that satisfies
The action now looks like one for monopoles; indeed, in [a1], Witten refers to what are now called the Seiberg–Witten equations as the "monopole equations" . But now suppose that is positive and that the pair is a solution to the Seiberg–Witten equations; then the left-hand side of this last expression is zero and all the integrands on the right-hand side are positive, so the solution must obey and . It turns out that if has (see below for a definition of ), then a perturbation of the metric can preserve the positivity of but perturb to be simply , rendering the connection flat (cf. also Flat form). Hence, in these circumstances, the solution is the trivial one. This means that one has a new kind of vanishing theorem in four dimensions ([a1], 1994): No four-dimensional manifold with and non-trivial Seiberg–Witten invariants admits a metric of positive scalar curvature.
Let be a smooth, simply-connected, orientable Riemannian four-dimensional manifold without boundary and let be an connection which is anti-self-dual, so that
Then the space of all gauge-inequivalent solutions to this anti-self-duality equation, the moduli space , has a dimension, given by the integer
Here, is the instanton number, which gives the topological type of the solution . The instanton number is minus the second Chern class of the bundle on which is defined. This means that
The number is defined to be the rank of the positive part of the intersection form on ; the intersection form being defined by
with denoting the cup product.
A Donaldson invariant is a symmetric integer polynomial of degree in the -homology of :
then, if and represents a point in , one defines by writing
The evaluation on on the right-hand side of the above equation means that
so that is even dimensional, this is achieved by requiring to be odd.
Now, the Donaldson invariants are differential topological invariants rather than topological invariants, but they are difficult to calculate as they require detailed knowledge of the instanton moduli space . However, they are non-trivial and their values are known for a number of four-dimensional manifolds . For example, if is a complex algebraic surface, a positivity argument shows that that they are non-zero when is large enough. Conversely, if can be written as the connected sum
where both and have , then they all vanish.
Turning now to physics, it is time to point out that the can also be obtained (cf. [a6]) as the correlation functions of twisted supersymmetric topological field theory.
The action for this theory is given by
where is the curvature of a connection and are a collection of fields introduced in order to construct the right supersymmetric theory; and are both spinless while the multiplet contains the components of a -form, a -form and a self-dual -form, respectively.
The significance of this choice of multiplet is that the instanton deformation complex used to calculate contains precisely these fields.
Even though contains a metric, its correlation functions are independent of the metric , so that can still be regarded as a topological field theory. This is because both and its associated energy-momentum tensor can be written as BRST commutators , for suitable and .
With this theory it is possible to show that the correlation functions are independent of the gauge coupling and hence one can evaluate them in a small coupling limit. In this limit, the functional integrals are dominated by the classical minima of , which for are just the instantons
It is also required that and vanish for irreducible connections. If one expands all the fields around the minima up to quadratic terms and does the resulting Gaussian integrals, the correlation functions may be formally evaluated.
A general correlation function of this theory is now given by
where denotes the collection of fields present in and is a polynomial in the fields.
Now, has been constructed so that the zero modes in the expansion about the minima are the tangents to the moduli space . This suggest that the integration can be done as follows: Express the integral as an integral over modes, then all the non-zero modes may be integrated out first leaving a finite-dimensional integration over ( denotes the compactified moduli space). The Gaussian integration over the non-zero modes is a Boson–Fermion ratio of determinants, a ratio which supersymmetry constrains to be of unit modulus since Bosonic and Fermionic eigenvalues are equal in pairs.
This amounts to expressing as
where denotes an -form over and . If the original polynomial is judiciously chosen, then calculation of reproduces the evaluation of the Donaldson polynomials . It is now time to return to the Seiberg–Witten context.
There is a set of rational numbers , known as the Seiberg–Witten invariants, which can be obtained by combining the Donaldson polynomials into a generating function. To do this one assumes that the have the property that
A simply-connected manifold whose have this property is said to be of simple type. This property makes it useful to define , by writing
The generating function, denoted by , is given by
According to P.B. Kronheimer and T.S. Mrowka [a7], [a8], can be expressed in terms of a finite number of classes (known as basic classes) with rational coefficients (called the Seiberg–Witten invariants), resulting in the formula
Hence, for of simple type the polynomial invariants are determined by a (finite) number of basic classes and the Seiberg–Witten invariants.
Returning now to the physics, one finds that the quantum field theory approach to the polynomial invariants relates them to properties of the moduli space for the Seiberg–Witten equations, rather than to properties of the instanton moduli space .
The moduli space for the Seiberg–Witten equations generically has dimension
and then the moduli space, being zero dimensional, is a collection of points. There are actually only a finite number of these, and so they form a set
Each point has a sign associated with it, coming from the sign of the determinant of the elliptic operator whose index gave the dimension of the moduli space, cf. [a1]. The sum of these signs is a topological invariant, denoted by , i.e.
Using this information, one can pass to a formula of [a1] for the generating function which, for of simple type, reads (though note that the bundle denoted by here corresponds to the square of the bundle denoted by in [a1]):
and the sum over on the right-hand side of the formula is over (the finite number of) line bundles that satisfy
in other words, it is a sum over with zero-dimensional Seiberg–Witten moduli spaces.
Comparison of the two formulas for (the first mathematical in origin and the second physical) allows one to identify the Seiberg–Witten invariants and the Kronheimer–Mrowka basic classes as the ; also, the must satisfy as had been suggested already.
The physics underlying these topological results is of great importance, since many of the ideas originate there. It is known from [a6] that the computation of the Donaldson invariants may use the fact that the gauge theory is asymptotically free. This means that the ultraviolet limit, being one of weak coupling, is tractable. However the less tractable infrared or strong coupling limit would do just as well to calculate the Donaldson invariants, since these latter are metric independent.
In [a2], [a3] this infrared behaviour is determined and it is found that, in the strong coupling infrared limit, the theory is equivalent to a weakly coupled theory of Abelian fields and monopoles. There is also a duality between the original theory and the theory with monopoles, which is expressed by the fact that the (Abelian) gauge group of the monopole theory is the dual of the maximal torus of the group of the non-Abelian theory.
Recall that the Yang–Mills gauge group in the discussion above is . This infrared equivalence of [a2], [a3] means that the achievement of [a1] is to successfully replace the counting of instantons used to compute the Donaldson invariants in [a6] by the counting of monopoles. Since this monopole theory is weakly coupled, everything is computable now in the infrared limit.
The theory considered in [a2], [a3] possesses a collection of quantum vacua labelled by a complex parameter , which turns out to parametrize a family of elliptic curves (cf. also Elliptic curve). A central part is played by a function on which there is a modular action of . The successful determination of the infrared limit involves an electric-magnetic duality and the whole matter is of considerable independent interest for quantum field theory, quark confinement and string theory in general.
|[a1]||E. Witten, "Monopoles and four-manifolds" Math. Res. Lett. , 1 (1994) pp. 769–796|
|[a2]||N. Seiberg, E. Witten, "Electric-magnetic duality, monopole condensation, and confinement in supersymmetric Yang–Mills theory" Nucl. Phys. , B426 (1994) pp. 19–52 (Erratum: B430 (1994), 485-486)|
|[a3]||N. Seiberg, E. Witten, "Monopoles, duality and chiral symmetry breaking in supersymmetric QCD" Nucl. Phys. , B431 (1994) pp. 484–550|
|[a4]||S.K. Donaldson, P.B. Kronheimer, "The geometry of four manifolds" , Oxford Univ. Press (1990)|
|[a5]||S.K. Donaldson, "The Seiberg–Witten equations and 4-manifold topology" Bull. Amer. Math. Soc. , 33 (1996) pp. 45–70|
|[a6]||E. Witten, "Topological quantum field theory" Comm. Math. Phys. , 117 (1988) pp. 353–386|
|[a7]||P.B. Kronheimer, T.S. Mrowka, "Recurrence relations and asymptotics for four manifold invariants" Bull. Amer. Math. Soc. , 30 (1994) pp. 215–221|
|[a8]||P.B. Kronheimer, T.S. Mrowka, "The genus of embedded surfaces in the projective plane" Math. Res. Lett. , 1 (1994) pp. 797–808|
Seiberg–Witten equations. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Seiberg%E2%80%93Witten_equations&oldid=23016