Seiberg-Witten equations
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
.
Example.
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
![]() |
![]() |
![]() |
where is the scalar curvature of
and
is the Chern class of
.
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.
Polynomial invariants.
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
:
![]() |
Given a certain mapping (cf. [a4], [a5]),
![]() |
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
![]() |
where and
are the Euler characteristic and signature of
, respectively. This vanishes when
![]() |
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]):
![]() |
with
![]() |
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.
If one allows the four-dimensional manifold to have a boundary,
, then one induces certain three-dimensional Seiberg–Witten equations on the three-dimensional manifold
, cf. [a5], [a7].
References
[a1] | E. Witten, "Monopoles and four-manifolds" Math. Res. Lett. , 1 (1994) pp. 769–796 Zbl 0867.57029 |
[a2] | N. Seiberg, E. Witten, "Electric-magnetic duality, monopole condensation, and confinement in $N=2$ 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 $N=2$ 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://encyclopediaofmath.org/index.php?title=Seiberg-Witten_equations&oldid=52975