A Supersymmetric Quantum Field Theory Formulation of the Donaldson Polynomial Invariants
We construct a mathematical framework for twisted supersymmetric topological quantum field theory on a 4-manifold. Supersymmetry in flat space is defined and the twist homomorphism is constructed, giving us a supermanifold that is the total space of an odd vector bundle over the even 4-manifold. A special category of connections on this space is defined and a decomposition into so-called component fields is proved. The twisted supersymmetric action is computed, and the structure of the action, the decomposition, and the action of a special odd vector field are all shown to have a rich geometrical structure that was partially interpred by Atiyah and Jeffrey.  In short, the action is an infinite-dimensional analogue of the Euler class of the vector bundle of self-dual 2-forms over the space of connections mod gauge. This geometrical insight serves two purposes: first, it motivates the study of anti-self-dual connections, intersection theory, and the action of the group of gauge transformations, all of which appear by themselves after the twist. Secondly, it sets the stage for an eventual proof of Witten’s Conjecture, relating the Donaldson and Seiberg-Witten invariants. What we build here amounts to a mathematical treatment of a physical treatment  of a mathematical construction of Donaldson. , .
The primary goal of this paper is to present an alternative formulation of Donaldson theory , . This will involve an exploration of supersymmetry and an important variation thereof. We will construct a very special eight-dimensional vector bundle over a compact, closed, simply connected riemannian four-manifold that is the direct descendent of supersymmetry in Euclidean space. We will examine the space of connections on a principal bundle over this space, building on results for connections over super Euclidean space. This space of connections comes equipped with a vector field, inherited from the supersymmetry algebra. The structure of the space together with the vector field is very rich and generalizes a beautiful finite dimensional geometrical picture. This geometry is further reflected in the action, a functional on superconnections that is the analog for of a similar construct in super Euclidean space. What we gain from this framework is a set of algebraic tools that are geared to one purpose: doing intersection theory on the moduli space of anti-self-dual (ASD) connections modulo the group of gauge transformations. Without having introduced ASD connections, or requiring that we divide by the gauge group, we see that these objects and operations are natural in this supersymmetric context.
The secondary goal of this paper is discussed in the final section. Once we have seen that the Donaldson invariants fit into a supersymmetric quantum field theory framework, we can begin to address Witten’s Conjecture . This is the famous unproven relationship between the Donaldson and Seiberg-Witten (, ) invariants. Witten’s “proof” of this result used the celebrated breakthroughs he obtained with Seiberg  on supersymmetric gauge theories in Minkowski space, just like the gauge theory we consider here in Euclidean space. We will see a brief sketch of their proof, and attempt to point the way that leads from this paper to a mathematical proof of their result. We hope to convince the reader that the enlargement of Donaldson’s picture presented here is the right place to begin to understand why Witten’s conjecture is true, and maybe why and how it was discovered in the first place.
The following outline of this document should aid the reader. Super Euclidean and super Minkowski space are made from spin bundles in four dimensions, so we present these objects and the necessary volume forms and metrics. Super Euclidean space is the first important object we will encounter. This superspace has a special framing that reflects the spin structure, and which we will use to construct component fields of superfields. This framing is the second focal point of this paper. Next we define a very specific category of connections over superspace, called semi-constrained. The semi-constrained condition comes from physics, where objects are defined in terms of a dimensional reduction from six dimensions to four. In short, fully constrained connections are required to be flat in the odd directions, whereas semi-constrained ones can have two independent nonvanishing components of curvature in odd directions. Semi-constrained connections form the third focal center for this work. To study them, we describe the approach taken in physics. That is, we construct and prove an isomorphism between superconnections and a different space, a product space of objects defined on the underlying even principal bundle and even four-manifold. We rely heavily on the framing we constructed to define these “component fields.” Finally, we put this all together and write down the superspace version of the Yang-Mills action, which involves all of the component fields.
Section 2 repeats much of this discussion for the twisted picture. The twist is a representation theoretic operation on the two copies of spinors we have in supersymmetry, that turns spinors into constants, 1-forms, and self-dual 2-forms. It is here that self-duality enters for the first time, and it is directly from this isomorphism of representations that we are eventually led to consider the ASD equations. We construct analogues of material from Section 1: the eight-dimensional bundle is now well-defined on any riemannian 4-manifold; the eight odd vector fields that formed our framing become three odd vector fields with bundle values; superconnections retain the same definition, though the nonvanishing odd-odd curvatures are described differently; the component fields have a more elegant and intrinsic definition, though we are careful to recognize that each new component field can be rewritten in a coordinate patch as its flat space counterpart. Then we write down the action of one of the three odd vector fields on the space of superconnections. This action forms part of an infinite-dimensional analogue of a beautiful finite-dimensional construction, which we take up in Section 3.
Section 3 is an introduction to two finite-dimensional geometrical constructions. The first is a special formula for the Thom class of a vector bundle, first constructed by Mathai and Quillen . The second is a form on the total space of a principal bundle that allows integration of forms on the base to take place on the total space instead. Both constructions have an algebraic flavor that helped physicists connect with physics. We will see that the algebraic structure of both of these constructions is present on our 4-manifold in the form of: the space of superconnections, the action of the odd vector field, and the form of the twisted Yang-Mills action. This would be enough to prove the field theoretic formulas for the Donaldson polynomial invariants that we write down, but for the fact that there are no theorems along the geometrical lines that work in finite dimensions. However, we will prove the result another way, using formulas for linear and Gaussian path integrals that are formal but consistent with physical manipulations.
Finally, in the last section we introduce the reader to the issues that led to this work, namely Witten’s Conjecture relating the Donaldson polynomial invariants to the Seiberg-Witten invariants. We will see that in the picture painted by modern physics, the quest for an easier formulation of the polynomial invariants is completely natural. The issue is that solving this problem is very hard. There is a physics proof, and any proper mathematical proof should address it, or at least parallel it. And so we are led to ask for a mathematical formulation of the physical formulation of the invariants, a need this paper is designed to address.
1. Introduction to supersymmetry
1.1. A few super preliminaries
A super vector space is a -graded vector space
The parity of an element , denoted , is if , in which case is called even, and is 1 if , in which case is called odd. A morphism from to in this category is a grading-preserving linear transformation. The parity reversal of , denoted is an isomorphism defined by
Tensor products are defined using the tensor product of the underlying vector spaces, with grading given by
The departure from simply defining a category of graded spaces comes with the definition of the commutativity isomorphism
which we define to send
If is a basis for and is a basis for , the commutative -algebra is defined to be
This should be thought of as a super version of the symmetric algebra on a vector space, where skew commutativity of the is part of the underlying properties of the odd generators. The space is defined as the topological space endowed with a sheaf of commutative super -algebras, freely generated over the sheaf by the odd quantities . A super manifold is a topological space with a sheaf of super -algebras, that is locally isomorphic to . The ideal generated by all odd functions on a supermanifold defines an even submanifold we will denote by where we use the usual algebro-geometric correspondence between ideals and varieties given by the set of common zeros of the ideal.
A morphism from a supermanifold to can be identified with a set of even functions and odd functions on . This definition can be worked up into a definition of maps between supermanifolds, and in particular to vector bundles and principal bundles. If is a principal bundle over a supermanifold , with fiber given by the even space , then the restriction of this bundle to the even part of is a usual principal bundle we will consistently denote by .
If is a vector bundle over a supermanifold, with fiber isomorphic to , then there is another vector bundle we can form denoted , which is parity reversed on each fiber. In this case, the underlying even vector bundle has fiber isomorphic to , whereas the even vector bundle underlying has fiber isomorphic to .
There is a concept of integration over odd variables called Berezinian integration. To compute
we expand into a power series in the directions and take the coefficient of
As an application of super geometry we prove the following trivial, but crucial, isomorphism.
Let be an even manifold. Then . Furthermore, there is a natural operator and under the isomorphism we have
Let be coordinates in a patch on . Let be the induced coordinates in the odd directions of . Then the isomorphism is simply given by
1.2. Super Euclidean space
Consider two 2-dimensional complex vector spaces and . From now on, we shall make use of the notation to make pairs of statements or definitions at once. Let
be fixed isomorphisms. These maps have adjoints
The adjoint can be used to define the dual map
Now we choose a basis of , such that We also choose a basis of such that We denote the dual basis by and . One computes that
Also, for completeness we have
A final easy computation shows that with the above definition,
We will build a four-dimensional complex vector space with special properties. First of all, this space has two possible real structures, which we can use to construct Minkowski space and Euclidean space. Second of all, the action of on by Clifford multiplication is “included” in the structure of itself. We’ll see more of that shortly.
and now our backward convention of denoting basis vectors with upper indices and dual vectors with lower indices should seem justified: is built from dual spinors. Thus, elements of have lower indices as expected and only the spinor spaces themselves have reversed index conventions. We equip with the metric
or in other words
To move towards defining a real subspace of we note that we can define maps on spaces with the opposite complex structure,
by letting act normally on two elements, but then taking the complex conjugate of the result:
Now we introduce hermitian inner products on , which give isomorphisms
We require that preserve the tensors, and so we can choose the bases to be orthonormal.
We now use to define a real structure on . Consider the map
and compose it with the map
Call this composition . One easily sees that is anti--linear and that is the identity. We define to be the set of fixed points of . Below we will see that with the metric is in fact Euclidean 4-space, .
It is appropriate to mention the variation of the above construction that leads to Minkowski space. First, we begin by setting In other words, and are opposite representations of We define , i.e. . We define to be the anti--linear map exchanging and , which is the identity on the underlying vector spaces, but which reverses the complex structure. The fixed set of is Minkowski space , with the indefinite metric of signature
Let us discuss a permanent change of notation. Instead of denoting elements of with minus subscripts, we will place bars over them and place dots over their indices. Therefore, in the new notation a basis for is denoted The dual elements have lower indices. Note that the bars and dots do not indicate complex conjugate. This awkward-seeming notation is useful to make contact with the published physics literature, where Minkowski space is usually the context, and as we just saw the elements of are the conjugates of corresponding elements from .
Because we are translating parts of the physics literature into mathematics, we will have to make extensive use of index notation. So we need abbreviations for certain frequent notation. For example, we will denote the induced basis on the space by the four elements A basis of the space is given by elements As a final example, a basis of the space is given by
is real and positive definite.
Define the following basis of :
Direct computation shows that this basis is real, and that in this basis is the identity matrix. ∎
is the subspace
Note that the base is real, while the fibers do not have a real structure.
The automorphism group of is , and so acts by isometries on This action leaves invariant and so preserves , identifying with the spin double cover of .
1.2.1. Clifford multiplication
The special definition of makes describing Clifford multiplication particularly easy. The action
is given by
where the first map is evaluation on the factors. The action of on is given by a similar composition
These actions induce an action of the whole Clifford algebra on , as one can easily check. This boils down to checking that acting with twice gives multiplication by
Clifford multiplication induces isomorphisms
The first isomorphism is given explicitly by
To prove the second isomorphism we compute as follows. Compute multiplication by (meaning multiply by and then multiply the result by ) with
Doing the calculation for yields an identical result, and so using the relationship between wedge product and Clifford product, we have computed that
One similarly obtains the rest of the maps
Noting that , we represent this as
The second isomorphism is now clear. This completes the proof. ∎
The spaces and have obvious real subrepresentations, a fact that will be important when we twist.
1.2.2. Invariant vector fields
The remainder of this section follows .
We define a coordinate system on as follows. Using the orthonormal basis elements of , , and given above we define coordinate functions and on and respectively ( and take on values 1 or 2). On we use coordinates that we denote by (again, each index takes on the values 1 or 2). So we have explicitly
We denote differentiation in the and direction by and respectively. We denote differentiation in the direction by . We define
These vector fields satisfy the bracket relations (remembering that for two odd vector fields you add instead of subtract to form brackets)
Simply put, super Euclidean space, also called , has two copies of instead of one. We don’t need to repeat the above discussion, but there are some complications. First of all, we need to provide the odd coordinate functions and vector fields with another index, that can take on the values 1 or 2, to represent which copy of they live on. So, we now have the odd coordinate functions
as well as the left-invariant vector fields
The commutation relations are the same as before, with brackets of vector fields of differing upper index vanishing:
To sum up the index structure of these vector fields we make the following remark.
The ’s and ’s are sections of the -bundle and the ’s and ’s are sections of the -bundle .
1.3. Gauge theory on
Much of this section can be considered “standard material” and can be found in the literature. One thorough account can be found in . Another good accounting, and the one whose notation we adopt here, is .
Deciding what category of connections we should work with is a subtle business. The correct formulation in theories from the physical standpoint is to examine constrained connections.
A superconnection on a supermanifold with odd distribution is said to be constrained if the curvature of vanishes along . That is, if whenever and are odd vector fields.
There are physical reasons for requiring this, but from the mathematical perspective it’s just a subcategory we happen to be focusing on. Things are different in theories, though. Here there are eight odd directions to consider in four-dimensional theories. One proceeds by considering superconnections in six dimensions, where the spin bundle has eight dimensions. We will reduce this picture to four dimensions by requiring translation invariance along two dimensions, say the span of and for linearly independent. So we examine a principal bundle over that is trivial in the and directions. Then we work with constrained connections that are constant along and .
We will see in a moment that such a dimensionally reduced object is no longer constrained. Instead, it can have two independent nonvanishing scalar curvatures on the odd distribution of .
A superconnection on a supermanifold whose curvature vanishes identically along the odd distribution except for two two-dimensional subdistributions along which the curvature is unconstrained is called semi-constrained.
The space of dimensionally reduced connections from to is isomorphic to the space of semi-constrained connections on .
It is easiest to use proper coordinates and vector fields from , so we give a brief run-down of this. Details can be found in . ∎
We will use the name and for the coordinate system on , and and for the corresponding vector fields. Here, take on the values 1 through 4, but with . can be 1 or 2. We denote the tensor in coordinates as ( and can take on values 1 or 2).
The eight left-invariant vector fields are given by
and the right-invariant ones by
with the commutation relations
By dimensional reduction we mean the restriction to , which is just the standard embedding of into by setting two coordinates on to zero. The effect on the coordinate systems we’ve been using is
We do not reduce the number of odd coordinates, though, and we can make a dictionary of left-invariant vector fields
We are reducing by two dimensions, from to , by setting the coordinates and to zero. Whereas we have on the relation
under the reduction correspondence (18), , we instead have on the equation
The covariant version of (19) is
and we can wonder, What happens to this equation after we dimensionally reduce? The two odd vector fields become two of the vector fields on , but becomes zero, so what is the reduction of this covariant equation? The answer is that if the principal bundle and the connection are invariant under translations in the direction, then there is a trivial lift of which we will call ; it is the lift of using the product connection in this trivial direction. The difference is a vertical vector field, or a section of the adjoint bundle. Dimensional reduction simply states that there can be no component of the lift of in the direction, and so this bracket must lift to the vertical part of . We define
and thus have the dimensionally reduced equation
This equation tells us that this particular component of odd-odd curvature need not vanish.
Similarly, we have
so using the correspondence , we get
Now, we consider constancy in the direction. This leads to a second section of the adjoint bundle that we’ll call
This in turn leads to the equations
This completes the proof.
We will see this theorem play out in the twisted context as well, where we will have two independent odd-odd curvatures that are not required to vanish.
1.3.1. Component Fields
The component fields of a superconnection in are denoted These are
These are defined as follows. is the induced connection on the induced even bundle sitting inside The others are defined by
Here, is the pullback functor using the inclusion
The space of semi-constrained superconnections on is isomorphic to the space of component fields.
See  for a discussion of this.
1.4. The super Yang-Mills action
Let be the complex parameter
The action on super Minkowski space is given by
We will write this action in its component formulation. This is obtained from (29) by integrating out the four odd variables, or equivalently, hitting the integrand with an appropriate combination of four odd derivatives. In this case that is
though other choices are appropriate as well, so long as they differ from this one by an exact term. See  for more information about this computation. The Dirac pairing seen below is defined by
The action in components is therefore given by
Note the presence of the usual Yang-Mills action (the first term), as well as the second Chern class (the last term). However, we are following the usual convention of having separate coupling coefficients for these two terms. This is because the topological Chern-Simons term has a different character in the physical theory, since it is locally constant on components of . We will find reason to revisit the value of the coefficient of the “theta term” when we twist the action in Section 2.4.
Next we write the result of Wick rotating this action to . This is a procedure we will not carry out explicitly, but merely write the result. For more information, see . It differs only in the signs and some coefficients of .
The material in this section would greatly benefit from a treatment more within the philosophical scope of this paper. This remark applies equally to the computation of the twisted counterpart to the above action formula, which is a main result of the next section. The enterprising reader should perhaps focus on the operator (30), in search of a generalized interpretation and formula for an operator that integrates over the odd components of a superspace.
2. The superspace
2.1. The twist
The twisting operation is a modification of the global structure of . It will alter the structure of any theory over this base, and so we will obtain a class of theories that is very different from those on honest supersymmetric space. However, this trade-off allows us to construct an extension to any 4-manifold that is analogous to extending to .
The presence of the -function on the right hand side of the bracket relations (13) and (14) is a clue that there is an automorphism group of that preserves the even subspace. We can see immediately that the group that acts on the and preserving the bracket is the group preserving a symmetric hermitian bilinear pairing on . One calls this the -symmetry group. We will only be discussing the subgroup The quotient group plays quite a different role in the physics, and presumably in the mathematics as well, related to anomalies, but we will not encounter it further. We denote the part of the -symmetry by .
The odd fiber of is a representation of as well as of . We denote the decomposition of as . The -symmetry allows us to construct an interesting and important map into . We define the twist homomorphism
which is the diagonal embedding of into combined with the identity mapping of . Clearly acts on , so we can now form a new associated vector bundle over with fiber by precomposing with the mapping . Another way to look at this operation is that we have declared that the index for the trivial fiber of now labels another copy of instead.
We can use this to do something very special. We can use the isomorphisms in Lemma 3 to prove immediately that these bundles factor through , and so can be formed on any riemannian 4-manifold. Since the twisted vector fields take values in and , then after the twist one vector field takes values in , one of them takes values in , and one of them takes values in . Explicitly we define
These three vector fields should have a more intrinsic description, one that does not make reference to supersymmetry or the spin bundles we have tensored together. The results along these lines are as follows.
Let be a riemannian four-manifold with local coordinate functions . Form the odd vector bundle
The induce local bases for vector fields, and for one-forms. We obtain induced coordinates in the directions that we will denote by (so is an odd coordinate function along the odd direction). Similarly the induce coordinates in the directions. We will denote by the coordinate in the odd direction, in the odd direction, and in the odd direction. Lastly, we will call the coordinate in the trivial odd direction .
We can now state intrinsic (although coordinate-dependent) formulas for the .
First a bit of motivation. The vector fields and are made of two terms: a partial derivative in an odd direction and an odd coordinate function times an even partial derivative. Let us try to construct global objects with this form. Guessing at the formula for , for example, is easy if you want to obtain this form. The others are more complex.
To construct the 1-form , we can take advantage of the redundancy in having and both available, and use the isomorphism between the odd and even tangent spaces. This is what does. We can also construct de Rham , the identity element in and multiply it by . Lastly for we can try to find an element of
where the first factor are the coefficients, the second are the vector fields, and the third are the . Is there a canonical element of this bundle? Yes, look at
and map it through the inclusion
followed by taking the dual on the first using the metric. This is the element .
For we can use the isomorphism between the even and the odd self-dual 2-vectors, which is what the first three terms of do. For the second set of three terms we take the element
and map it through the inclusion
followed by taking parity reversal on the first . Although these three constructions are very canonical and unique, they do not suffice to prove the relationship to the formulas. However, once we have proven this relationship rigorously, we should leave the Proposition with the sense that twisted supersymmetry has a very rich and deep relationship to intrinsic smooth objects.
We will prove the formula for as an example, and leave the rest as exercises. is the coordinate in the trivial line bundle direction, and we have from (8) that
To write out we use (6) directly on the partials, and use (6) plus the usual change of variables formula for the ’s. The change of variables has the effect of taking the complex conjugate compared to the formulas, which is analogous to the relationship
Adding this all up gives
as required. ∎
We also define analogues of , and , but with plus signs instead of minus signs. Explicitly we have , and
Using these formulas, it is trivial to check that all three ’s commute with all three ’s. Also, other commutators that will interest us are
Here, and from now on, we will use the following definition of the bracket
2.2. Superconnections on
The general idea is that we will simply twist the picture presented in (26). For example, the two -valued sections and of will combine to form a single -valued section of , and so will decompose as a section of and a section of .
Let us begin with the spinors and . In flat space they are defined by
These can therefore equivalently be defined as the image of the expression
under the mapping
A computation shows that this operation can be interpreted quite simply in global language. Precisely, we have
The following diagram commutes
The barred spinors and are defined by
These are the images of the expressions
under the mapping
Here, we obtain another diagram that tells us how to interpret this mapping in global language.
The following diagram commutes.
where the mapping is given on a fiber by
with similar formulas for etc. We also get
The component of the space on the bottom of (43) is just the trivial bundle spanned by the identity section of , followed by using the metric to map . So, what we have learned is that the unbarred spinors , in twisted language, can be built as follows. The image of the under the vertical map in the diagram is simply the horizontal lift of , which we’ll denote by . The image of the is just the horizontal lift of de Rham , which we usually denote by . Let us decompose the projection on the bottom of the diagram with the maps
Then if we define
we have met two goals. We have defined two component fields in global language on , but we have also proved with Proposition 2 that these two components can be rewritten in local coordinates as the and we saw before.
We see from (46) that the restriction of to the subspace has the same image as all of . So, we can build the barred spinors in a global way by forming the bracket
is the twisted version of and is the twisted version of .
We now proceed to discuss the fact that in flat space there are three auxiliary fields. The natural guess is to find some self-dual two-vector field that can be written using the twist as these three fields. If we name this single twisted auxiliary field by the name then we claim
is the twisted version of the auxiliary fields and .
We rewrite as
and then consider what does to If we label the four components of in a coordinate chart by then we can compute that
and so checking with (27) we see that one of the three components of is Similar computations reveal that the second component, is and the third, gives , which completes the proof. ∎
In summary we have proved the following key result.
Let be a principal bundle over the supermanifold . Let be the restriction of to . The space of semi-constrained superconnections on is isomorphic to the space of fields where is an ordinary connection on the restriction of , and are sections of , , , , and
It suffices to work in a coordinate patch, where by the preceding discussion the theorem reduces to its flat space counterpart Theorem 1. ∎
2.3. The action of
We will now go about computing the vector field on that is induced by . What we mean is that the vector field on acts on functions and bundle sections by covariant differentiation, and so it acts on the points of the space . The infinitesimal form of this action is again a vector field and we are going to try to express it in terms of components. Let be an odd parameter. If is a semi-constrained superconnection then denote by the diffeomorphism generated by the even vector field . To get formulas in components, then, we are searching for the components of These components are defined using the , which all commute with . Moreover, when restricted to the even submanifold the vector fields and agree with each other. This all implies that we can compute the action of by using instead. And so, our approach will simply be to hit the component fields with on the left and rewrite them in terms of each other after some dust settles. A key tool will be the super Bianchi identity, which is the Bianchi identity with parity taken into account.
Theorem 4 (Bianchi).
Let be the curvature of a connection on a principal bundle . Let be vector fields on . Let denote the horizontal lifts to . If denotes the parity of the vector field then
where the covariant derivative of a two-form is given by the super formula
We apply this theorem as follows. The identity on the three vector fields , and yields
In this expression, the second and sixth terms vanish due to and the third, fifth, eighth and ninth vanish due to the fact that the connection is semi-constrained. This leaves us with
which gives on restriction to
Next we examine the identity for three copies of .
which immediately becomes
Next we work with , and to obtain
whose third, fifth, seventh, eighth and ninth terms vanish because the connection is semi-constrained. Using the fact that
This yields the equation
so we have
Next we compute with , and .
the fourth and seventh terms vanish by the semi-constrained condition. We are going to use this equation to compute and so we need to take of both sides. takes the trace of this bracket, and because individual components of square to zero we kill the terms with . This leaves us with
Next let’s work out To compute a component of this one-form we’d examine the restriction to of
To get the global version of this, we simply replace the partial with .
so that we obtain
This leaves us with the computations for and . These are in the image of though, and we can argue as follows. If is some component field, we can compute
Using this we obtain
The total result is then
This is a vector field on , and so can be used as a differential operator on functions on . We have decomposed the infinite dimensional space into seven subspaces,
(where we omit the ’s from the notation for clarity). Suppose is a function on , and we would like to compute the derivative of using , i.e. . Suppose further that we have an explicit expression for as a combination of various component fields. In order to compute a similarly explicit expression for , we use the Leibnitz rule and the chain rule, and then ask the question “what is evaluated on an individual component field?” One computes this derivative by taking the corresponding component of .
An analogous situation is the following. Suppose we work on a finite-dimensional manifold and use local coordinates to express a computation. Let for some fixed in these coordinates. If is a vector field in this patch, then the th component of .
2.4. The action after the twist
We will twist the formula (1.4). Many of the terms there do not respond to the twist, which affects only the fermions and auxiliary fields as we have seen. However, note that in our notation is and is . With just this we find that the twisted action has the terms
It remains to twist the fermionic terms. First we examine
In local coordinates on we have
We express the right hand side in spinorial coordinates to prove the lemma. By way of motivation, examine (31). The element being hit with the two epsilon tensors is an element of
and the ’s are contracting the two spaces and the two spaces. We formed a picture of these two contractions in Propositions 2 and 3. For instance, the contraction on the spaces will combine the (and its twin which is not separate in this context) by mapping to Clearly this will produce and . Recalling (6), (7) and (8) we compute
Computing is now a matter of combining these expressions and cancelling half of the terms, leaving us with the desired quantity. ∎
Next we work with the terms involving brackets of spinors. Something surprising will result — a term that will not play a role in the geometrical picture that emerges in the next section.
In local coordinates on we have
And using the fact that the bracket uses the structure of the wedge product on forms, and that the components of wedge to zero except against themselves, we obtain
This completes the proof. ∎
Thus we have computed
If we tweak the parameter , we can obtain the sum
This particular value for will be fixed from now on, for it facilitates the geometric interpretation we will dwell on presently. Note that with this alteration the whole action has an overall coefficient of This is the coupling parameter for this physical theory, and when written outside the action it acts like Planck’s constant . Namely, we can see directly (if path integration makes sense) that if the coupling becomes vanishingly small then the minima of are heavily weighed in a path integral computation, and we approach a classical limit. We will prefer a different interpretation for the coupling parameter and so we scale some of the fields as follows
producing the formula we will use going forward:
We make one final remark about this computation. It should in principle be possible to compute the twisted action directly on , perhaps using a multiple of
which corresponds to (29). To compute this in components, one would hit each integrand with an appropriate differential operator. For example, the first odd integral could be carried out by hitting with , interpreted in an appropriate sense. Similarly, the second integral could be carried out with the help of where the cube is perhaps interpreted to mean the determinant on the third tensor power of the 3-dimensional bundle This computation should be straightforward once the meaning of these operators is sorted out. Some insight into is sure to be gained by this exercise.
3. The polynomial invariants
The definitions of the component fields of semi-constrained superconnections give a decomposition of . A central result of this paper is that this decomposition can be viewed as a rich algebraic structure living on the usual space of connections. Without having ever mentioned the ASD equations or the action of the group of gauge transformations, we will find that in a formal sense these are automatically called for by the structure of .
Let be a principal -bundle over a base and let be a -dimensional representation of . Form the associated vector bundle . On this vector bundle there is a Thom class in compactly supported cohomology. It has maximal degree along the fibers, and so is fully “vertical.” One can pull back a representative of to by the zero section and obtain a representative of the Euler class of . If one pulls back by a nonzero section , one can interpret the pullback as the Poincaré dual to the zero set of . And so, to integrate a differential form over one can integrate over all of .
Mathai and Quillen  introduced a representative for the Thom class that lives in the -equivariant cohomology of The denotes a connection on , which is used in the construction. In fact, they write an element of the Cartan algebra of , which is an algebraic model of equivariant cohomology, and then use the connection to map it to an equivariant differential form on , using the Weil homomorphism. Mathai and Quillen showed that if is an arbitrary section of , then is a representative for the Euler class, and is independent of both and . To be totally explicit, they write
where is an element of . The object is an element of the equivariant cohomology, and under the Weil homomorphism it maps to , which we will discuss a little later. Note that this element has rapid decrease along the fiber , but is not compactly supported. In fact, the inclusion of compactly supported forms into forms with rapid decrease induces an isomorphism of cohomology.
Taking produces , which restates the Gauss-Bonnet theorem. Taking nonzero and multiplying by a constant to get and then taking localizes to the zero set of . This can be proven by approximating (80) with the method of steepest descent.
Also relevant for us is a modification of this picture that lets us work upstairs. Let be a section of , and suppose we want to compute
for some form . We know we can instead work with
However, we can further enlarge the space we integrate over to if we can find an appropriate differential form that has maximal degree along the fibers of and that integrates to 1 on a fiber. Such a form is called a projection form, and if we call it then we have
It is familiar in Donaldson theory that the ASD moduli space can be defined as the zero set of the section If there were such an object as a Thom class in this infinite-dimensional context, we could hope that the pullback by would be in some sense Poincaré dual to the ASD moduli space. Surely such a geometrical construction could be carried out mathematically, but it has not yet been done. The problem is that the space of connections modulo gauge transformations is infinite-dimensional and the fiber of the vector bundle, is also infinite-dimensional. In addition, the group has infinite dimension, so the concept of the projection form as a “top-dimensional” form along the fibers of does not make sense. Nonetheless, if we ignore these issues we will see that a straightforward application of the above construction to produces the twisted action (78).
So the simple twisting operation has brought us from a physical supersymmetric theory all the way to the ASD moduli space, equipped with an Euler class to help us do intersection theory. All that is missing is Donaldson’s -map, which has a beautiful manifestation in this context, as we will see below.
Much of this treatment of the Mathai-Quillen form and the projection form is based on . The original insight into the geometry underlying the action is in Atiyah and Jeffrey’s paper . The following account differs from Atiyah and Jeffrey’s, however, in two important respects. First of all, we build the geometrical constructions from the structure of itself, using the operator and the component fields to prove that the equivariant cohomological data we need is encoded in the twisted supersymmetry. This is a very important observation, as it uses the twist to show that the Mathai-Quillen and projection forms naturally arise from supersymmetry, and so motivate doing Donaldson theory rather than just imitating Donaldson theory. Thinking of Donaldson theory as an outgrowth of twisted supersymmetry may eventually prove to be useful for gaining additional insights about smooth structures on 4-manifolds. The second departure from Atiyah and Jeffrey’s work is that we will try to de-emphasize the interpretation of the path integral as a representation of a nonexistent Euler class. Instead, we will discuss the physical approach to path integration and show how the localization to the ASD moduli space is obtained by examining the classical limit of the quantum theory. Strengthening the link with physics fits into our overarching strategy of initiating an investigation into Witten’s Conjecture, but the reader should be clear on one point: understanding what an Euler class is in infinite dimensions will shed light on both the Donaldson invariants and on path integrals, and so we are not advocating that mathematicians should neglect to sort those ideas out.
3.1. The algebraic structure of
We define two subspaces of .
where the shared copy of is the one given by elements we have been calling . (Sometimes we will want to use dual spaces of a few of these pieces but we will feel free to switch to the dual spaces as needed.) Keeping this structure in mind, we will digress temporarily to treat more carefully the two finite-dimensional geometrical ideas, the Mathai-Quillen form, and the projection form. Our presentation of these two forms relies on the algebraic structure of the Cartan model for equivariant cohomology. Then we will return to and see that we have the same algebraic picture present, in the guise of the vector field and in the twisted action (78).
3.1.1. The Mathai-Quillen form
In , Mathai and Quillen constructed a representative for the Euler class of a vector bundle that is built from a connection and a section. The proved that their form was closed and that its cohomology class depends neither on the section nor the connection. We will describe their construction now. Let be a Lie group, let be a principal -bundle over a space , and let be an associated -dimensional vector bundle, where is a given representation. We are using finite dimensional and , but their names should suggest that we will eventually apply these ideas to the infinite dimensional spaces , and .
Let be the Lie algebra map to vector fields on . We will denote by the contraction operator in the direction of . The Cartan algebra is the space equipped with a differential given by
where is a generator of , and one extends this formula to the full algebra by the Leibnitz rule. The cohomology of this complex computes the equivariant cohomology of , In case acts freely, one has so this algebraic model is designed to help handle the cases where the action is not free.
To make closer contact with our work on superconnections, we can describe the Cartan algebra using a vector field on an odd space.
Let be a vector space with inner product, together with an action of a Lie group (not necessarily linear). Let a metric on be given. Let be a basis of and let be the dual basis. Define . Let a vector field on be given by
where is an element of a basis for and is the basis element of corresponding to . Then on the space , induces the action of the Cartan differential.
We have already discussed in Lemma 1 how and so taking the space of polynomial functions on , we have induces an action on this space by differentiation, and so to complete the proof we compute this induced action. Let us denote the superspace analogue of a differential form by . So if
is an element of the Cartan algebra, then the corresponding function on is
Let us compute the action of on We have
Note that we computed only for a generator of but this suffices as both and the Cartan differential are extended in the same way (the Leibnitz rule) to more general elements. Under the correspondence with differential forms, . Also, by the Cartan formula, and so
With these replacements, we can easily see from (85) that , completing the proof.
We deliberately avoided using linearity of the -action above, in order to be a little more general. However, in the case of a linear action (a representation) the action of on an element of is just the vector field .
Let us examine the space (The number of components differs from the definition of above, hence the primed notation; the part of should be considered “extra” and we will see at the end of the section why its presence is not needed to discuss the Donaldson invariants.) We will install on this space the vector field
We will construct a special function on this space as follows. We will then integrate the exponential of the function over the and variables, and we shall point out that the remaining function is Mathai and Quillen’s element of the Cartan algebra. Let us proceed. We set
and then obtain
(remembering to pick up a minus sign when we move past the in the second term). Now we compute
We now use the fact that Gaussian integration gives
[[Note: Am I off by a minus sign on that third term in the exponential?]]
To obtain an element of the Cartan algebra, we use the fact that is a linear function of and so can be identified with a 1-form on . If we now choose a connection on then we can construct the map by sending . This is the Weil homomorphism. It is an equivariant map because transforms in the adjoint representation, and so descends to a map on -invariant forms
The form is almost a representative of the Thom class . In fact, fails to be fully horizontal, which is required for it to be the lift of a form from . Use the connection to decompose into and to form the projection onto Then we denote
This horizontal element does in fact descend to . The fact that was already -invariant but not horizontal perhaps indicates that the construction is better off living in the Weil model of equivariant cohomology, but we follow standard practice and take a horizontal projection. Note that we never had to use since we projected horizontally after applying .
Theorem 5 (Mathai-Quillen ).
is a representative for the Thom class .
Heuristically, we see that the Berezinian integration over will give us the Pfaffian of , just as in the Gauss-Bonnet formula. The Gaussian in and the constants ensure the integral over a fiber is 1. We obtain a top-dimensional form in the direction because of the term and the correspondence between functions of and forms.
Now we get back to the point about and . The Thom class can be pulled back by a section to produce the Euler class of . This is an -form on (recall that ), unless in which case the Euler class is defined to be zero. We can pull the Mathai-Quillen form back to by to obtain
where we simply replaced by and by to effect the pullback. This form represents the Euler class of .
If we replace the section by for a real parameter and rescale by then this expression becomes
This version allows us to consider the two limits and that link the Gauss-Bonnet formula with a formula that involves local data at the zero set of .
We will now see that our action on has an Euler class part that is the pullback by Under the identification of with and with , we identify with , with and with . So is an analogous space to the one we were just considering. Now let us compare (93) with the action (78). If we choose the section to be the map
then will take to . Also, the action of on is and so the analogy with (93) gives
which is part of (78) with replaced by . So not only does part of the twisted action represent the Poincaré dual of the ASD moduli space, but the physical coupling constant plays an analogous role to the scale of the section ! We will dwell on this after discussing the projection form.
3.1.2. The projection form
The construction of the projection form follows in the same vein as the Mathai-Quillen construction above. We will introduce a space together with a vector field. We will differentiate a function to obtain another function that we then exponentiate as before, and integrate over some of the variables. This form will interact with the Mathai-Quillen form, as they will share certain variables. In fact, the projection form will enforce both of the modifications we made to above: it will kill off all but the horizontal part of and it will produce a -function that is supported where is equal to the curvature of the chosen connection (the construction of the projection form involves a choice of connection).
Let be a principal bundle with group . Let be an bi-invariant inner product on . Suppose we are given a -equivariant metric on . Then induces a natural connection on by using the metric to take the horizontal distribution to be the orthogonal complement of the vertical one. The action of the group on induces a map from to the vertical tangent spaces of . We call this map so we have Using the metric, we can define the adjoint of , . In other words, is a Lie algebra-valued 1-form on .
We will examine the space
with the vector field
We begin with the element
We won’t be able to compute with just (95), though. This is because is a genuine 1-form, not an odd object. However, by Proposition 6 we can work with the Cartan differential which operates by And so we have
The projection form is then
which lies in
Let be an element of for some vector space with -action. Then
For a more detailed treatment of , see Section 14.3.3 of . The Berezinian integral over picks off the piece of maximal degree in . If then this yields an -form built from the -fold wedge product of Since is a vertical 1-form (it vanishes on horizontal vectors in ) this wedge product is an -form along strictly vertical directions. In fact, it is an element of Any form on with components along vertical directions is zero when wedged with such a fully vertical form, and so multiplying by picks off the horizontal part of .
Next, we note that the integral over in gives the -function
which is zero unless
is the horizontal part of the curvature two-form on induced from the connection induced from the metric on .
Now let us examine the analogous objects over and again compare with (78). We need to do a couple of computations first to get the right expressions. Here we follow . First, the operator is a -valued 1-form on , and a standard formula from gauge theory gives for a connection
where Similarly, the map , which is a map from into is given by
What about the map ? This will be a 2-form on , and we can argue as follows. In finite dimensions, if a 1-form is given by then
so what we are looking to do is differentiate in the direction. Let Consider the expression . On an element this function gives
Differentiating this in the direction of the tangent vector gives
The invariance of the metric under the adjoint action of implies
This is the 2-form evaluated on and , and now we wish to express this as a quadratic function on . If then the corresponding function is just
And so the analog of the projection form is
which forms another part of the action (78).
We have not discussed two of the terms in (78). Those are and These two terms are not used in the analogy with geometry that we have just constructed, but nor do they pose a problem. In fact, if one enforces the classical equations of motion for the auxiliary field one obtains
which we will not prove. The quantity
is in the image of a Cartan differential, just as the rest of the action was shown to be above. However, in this case passing to equivariant cohomology actually kills off these two terms, and so they are not important to our story. The term is of crucial importance in studying the classical and quantum vacua of the physical theory on flat space.
3.2. Path integrals
Consider a path integral of the form
where the various are interaction terms, which just means they are each a cubic or higher order function on field space. is a quadratic function on field space. Such an integral can be written as a formal power series in the , the coupling coefficients. This series does not converge, and each term in the series diverges unless we renormalize. So what we’re dealing with here is no better off mathematically than the Thom class idea is. However, the constant term (independent of all ) is computed by evaluating only the quadratic part of the action, which is a Gaussian integral that can be rigorously defined using zeta function regularization of determinants and Pfaffians of infinite-dimensional operators. So, in the limit as the coupling parameters vanish, the quadratic part is the whole of the path integral. This is a free theory, which means it models a theory of particles that do not interact with each other.
Our theory has one coupling parameter, and so to compute the free path integral we’d be taking the limit . Furthermore, if an action has a moduli space of minima, one computes terms in the perturbation expansion by integrating over this moduli space and projecting the path integral onto the normal bundle of this space. That would be how we’d compute the Donaldson invariants as path integrals, too. The quadratic part of the action acting on the normal bundle to has quadratic part consisting of the Laplacian on even objects and or on fermions. When carefully computed, the resulting determinants and Pfaffians of these operators will cancel up to sign, the details of the sign depending on considerations involving the orientation of .
Something very special is happening here, though. The reciprocal of the coupling parameter plays the same role as the scale of the section , as we saw when we compared (78) and (94). And so low coupling corresponds to taking the scale to infinity. The algorithm we use at low coupling to compute the path integral aligns exactly with the steepest descent computation one uses to show that the Mathai-Quillen form can be expressed in terms of local data on the zero set of the section.
Atiyah and Jeffrey made a related statement in . They pointed out that the Mathai-Quillen construction could allow the definition of a regularized Euler class. Even if the base space and vector bundle are infinite-dimensional, if we choose a section that has a finite-dimensional zero set , then we can define the regularized Euler class in terms of . This is similar to saying that one can define a path integral at zero coupling. Perhaps results in either the path integral direction or the Thom class direction can inform the other.
3.3. The quantum observables
If we want to do intersection theory on the zero set of then we are all ready, because we have an Euler class to wedge forms against, which is equivalent to integrating the forms over the Poincaré dual of the Euler class, which is of course exactly the zero set in question. To do this within the field theory framework, we need superspace representatives of the forms used in Donaldson theory. These involve slant products with a Pontrjagin class, and so we will find a field theory representative for this construction.
The following is a standard construction from Donaldson theory. See  for more details. Let be a principal bundle over an even riemannian four-manifold . We denote by the space of connections and by the group of gauge transformations. Let and be the respective complements of the set of reducible connections. Let The bundle
is a principal bundle, and so has a first Pontrjagin class . We define a connection on this bundle by using a metric as follows. Give the usual metric on and give a metric by using the metric on for horizontal vectors, and the connection together with a metric on for vertical vectors. There is an associated connection given by taking the orthogonal complements of the vertical subspaces of The curvature of this connection, , is given by the following formulas. Let and be horizontal tangents to at , and let and be horizontal tangents to at . Then one computes
The subscripted indices denote the bigrading in The bracket is a bracket of two vector fields on , not the bracket as sections of .
To see how to create a superspace representation of , we just need to come up with an equivariant representative of each of these three 2-forms. The generator of maps to the curvature under the Weil map, and so properly interpreted, is . What the generator means written alone is the identity function on . This is the element
Similarly the expression “,” when written in isolation, is an identity function, this time on . That makes a vector-valued function on Under the correspondence with forms, this becomes a vector-valued 1-form corresponding to the identity function on tangent vectors, otherwise known as de Rham . So, , which can be evaluated on a pair as above to give
which is the identity, yielding a tangent vector to the space of connections and a tangent vector to the manifold. And so the final evaluation of is
giving the identification between and . is already a field in our theory and so we obtain
It is worthwhile to note that if we compute the action of the vector field induced by on we obtain
so that if we compute modulo (i.e. we work on the level of equivariant cohomology and not equivariant forms) then permutes bigraded pieces of , keeping total grading invariant.
The Pontrjagin class is given by
and so we will examine the equivariant representative
To compute the slant product with an -dimensional homology class, we just integrate a bigraded piece over a smooth representative. So Donaldson’s -map is
For the record we list the bigraded pieces
3.4. The path integral formulation of the polynomial invariants
We already know that the projection form part of the path integral can be evaluated formally and gives the Weil homomorphism from equivariant cohomology to usual cohomology, by mapping to the curvature of a connection. And so we may use supersymmetric equivariant representatives for in the construction of a path integral, knowing that they will be mapped to the real thing. Thus we can construct a completely physical analogue of Donaldson theory, by integrating local operators over a space of fields, against the exponential of an action that is also built from local fields. Let be the equivariant representatives and let be the Donaldson polynomial on second homology. We have hopefully motivated the following claim.
The gaussian approximation to the path integral
agrees with the Donaldson polynomial
4. Outlook: Witten’s conjecture
This work is the beginning of a program. The goal is to prove Witten’s conjecture . The physical insight that allowed Witten to make this remarkable conjecture comes from his celebrated paper with Seiberg . My hope is that one day a mathematical version of that paper may be created, and this work marks the humble beginnings of that project.
It may be possible to prove Witten’s conjecture using nonabelian monopoles (, , ). However, a proof that parallels the physical proof would have the advantage that it may reveal a broader picture of math/physics interaction, and help us to understand why so much recent mathematics has grown out of physics. In particular, it may shed light on either the mathematical relevance or the mathematical underpinnings of the renormalization group.
However, for that we need more mathematics. We have tried to cast Donaldson theory in physical language, along the lines that Witten hinted at in 1988 . That was the starting point for Seiberg and Witten’s breakthrough work of 1994 , and so it needs to be the starting point for the mathematical proof as well. Hopefully after reading this paper this picture of Donaldson theory seems somewhat natural from a mathematical standpoint. From a physical standpoint, it is simply a supersymmetric gauge theory, and the Minkowski space version (the “physical” theory, as it’s known, as opposed to the twisted theory, which is called “topological” or “cohomological”) can be treated with all the machinery of modern physics. As of 1994, there wasn’t enough physics to understand this theory any better than we have already done in this paper. However, Seiberg and Witten created new physics that solved the theory. To understand what that means, we need to discuss energy scales.
4.1. Energy scale and the renormalization group
We have discussed the coupling parameter that appears in both the physical and twisted gauge theory actions. We talked about how the constant term in the coupling expansion (the perturbation series) is the appropriate Donaldson invariant. We did not address what controls the value of the coupling constant or whether it is simply arbitrary. In fact
Let be a one-parameter family of metrics on . Then as blows up, the coupling parameter responds by shrinking to zero. In other words, is a function of and we have
This follows from the asymptotic freedom of nonabelian gauge theories. The significance of the metric scaling to zero is in the fact that this is the regime of high energy. Using the speed of light and Planck’s constant, meters and energy units can be converted back and forth, just as meters and seconds can be converted using just the speed of light. Small distances correspond to large energy units, and so shrinking the metric to zero examines the theory at high energy. In this paper we have therefore examined correlation functions at the high energy limit, since as the energy approaches infinity, the coupling goes all the way to zero, leaving only the Donaldson invariants. On the other hand, the perturbation expansion, which is borderline meaningless anyway, only stands a chance of converging if the coupling is small, and so physicists believe that asymptotically free theories at high energy are quite under their control to compute with.
Physicists, however, would have us make the following analogy. Take some fundamental model of the basic forces of nature, like string theory or the standard model. These are hugely complicated asymptotically free theories that describe the behavior of our universe at the highest of energies and the smallest of distance scales. They are “fundamental” in that sense — they are the underlying physics of everything. However, more often than not we are interested in more mundane matters like fluid flows or planetary mechanics. In these cases, we are working on rather larger distance scales, and quite tiny energy regimes. The laws of physics are surprisingly simpler in this sort of context, becoming things like Kepler’s laws or the Navier-Stokes equations. These are not gauge theories or string theories with infinitely many degrees of freedom. They are finite-dimensional PDEs or algebraic equations that, while perhaps difficult to solve completely, are provincial and comparatively easy to understand. The conceptual force at work here is the renormalization group, first understood in this way by Wilson , . The renormalization group is simply the group of energy scaling. It is the parameter in the above theorem. While the underlying group is simple, its action on a theory is not. Somehow, as it flows from high energy to low, the complexities of the fundamental theory are suppressed, and only a few parameters and degrees of freedom survive at low energy. We are not going to try to understand the renormalization group and its workings, but instead we are just trying to paint the picture that is in the back of all physicists’ minds. There is no overarching description of the renormalization group, no actual flow that can be applied to a theory to get answers at different scales. It is something that is ill-understood at best, though perhaps the route to addressing it and constructing a workable theory is via the sort of topological application we are discussing here!
Witten makes the analogy  between a fundamental, asymptotically free theory, and a differential equation. The former contains infinitesimally small distance information about a theory, as we said before, and so the analogy with information about a function’s derivatives is very close. The ability to describe a theory at any energy scale is, then, analogous to solving the differential equation. Nonabelian gauge theories are therefore candidate “problems,” and the challenge is to find their “solutions.” Donaldson theory is asymptotically free because it is an gauge theory. Its correlation functions are the Donaldson polynomials, and the challenge in terms of renormalization is to compute these correlation functions at all energies, and solve Donaldson theory. Mathematics has no basis for even stating this challenging problem. Donaldson theory is not a question at all in its mathematical presentation. It is simply a construction that yields interesting information. But physics goes further, and places it at one end of the real numbers, near infinity, because that is where it fits in terms of energy scale. Of what picture is this the limit? No one has addressed this question. What has been addressed, though, is what lies at the other end of the line, at zero energy. The answer: Seiberg-Witten invariants.
Abelian gauge theories are the opposite of asymptotically free: the coupling parameter vanishes for low energy (the limit in the above theorem). These are called infrared free theories. Infrared free theories are, then, the candidates for the solutions to asymptotically free ones. They are well-behaved as perturbation series only near zero energy. Seiberg-Witten theory is a theory of a gauge field coupled to a spinor, and so is an abelian gauge theory. As such it is infrared free, and is one of a host of candidates for solutions to Donaldson theory. In fact, Seiberg and Witten show that it is exactly the right solution.
4.2. Overview of the physics proof
To describe the physics proof of the conjecture would be too vast an undertaking for this paper, and so we merely sketch it, pointing out some of the deep issues that will need confronting. First of all, the result does not involve the twisted theory we have considered here, but rather the Minkowski space version. However, Witten’s conjecture clearly involves assuming that the flow to low energy commutes with the twisting operation, as one simply twists the low energy physical theory to obtain the Seiberg-Witten invariants. The good news then is that we have learned all the mathematical tools needed to twist the low energy physical theory in the preceding sections of this paper. The bad news is that it may not be possible to cast a workable parallel of the flow to low energy in twisted terms.
The central issue to sort out, however, is the concept of the quantum vacuum. In classical physics, the minima of the action form the classical vacuum manifold. The action principal states that a physical system will assume one of the configurations from this space. In quantum physics, a system can assume any of the states in the whole field space, but the path integral weighs minima of the action with much higher probability. To turn the crank of quantum field theory, one must select a classical vacuum and write the action in coordinates that perturb from this state. The quantum vacuum for this theory is then a state in the theory’s Hilbert space that has no particles, or is invariant under the entire Poincaré group. This indirect definition makes it hard to quantify, especially because it is difficult or impossible to actually construct this Hilbert space! Certain details of the theory influence whether the quantum vacuum is unique or not. In the case of our theory, the classical vacuum manifold is the complex plane modulo the action of , with the resulting cone singularity at the origin. It is believed that the quantum vacuum manifold is this same space, but with a different metric and other properties. This is a guess. There is currently no way to ascertain the validity of this, even physically. However, if one assumes a whole lot about physical theories and what sort of perturbations of classical vacua are permitted to arise from quantization, then it is the simplest guess. There are singularities on the quantum vacuum manifold as well, but there are two of them, and neither of them is at The whole of the matter revolves around proving what this manifold is, what metric it has, and what the monodromies of the coupling parameter around the singularities are. Other details are important too, however. Seiberg and Witten claim that there are “BPS states” in each theory of the quantum manifold, and that the mass of these states is different in each theory. The two singularities are the two points where this mass vanishes. That is what is making the metric blow up at those points, they claim. A BPS state is by definition a vector in the Hilbert space that is annihilated by half of the eight supersymmetry operators (which act on the Hilbert space), so this object, which is some sort of soliton, should be quite tractable mathematically. Perhaps this is the way to access a mathematical theory about quantum vacua and the conjecture.
-  (1990) Topological Lagrangians and cohomology. J Geom Phys 7, pp. 119–136. Note: 17p. Key application of MQ formalism to the work of Witten from 1988. Missing some of the physics, such as the descent procedure, but still gives geometrical insight into Witten’s observables. Very brief, well-done explication of the MQ formula for the Euler class and a straightforward plugging-in of the framework of Donaldson theory to obtain the microscopic correlation functions. Cited by: A Supersymmetric Quantum Field Theory Formulation of the Donaldson Polynomial Invariants, §3.1.2, §3.2, §3.
-  Lectures on Supersymmetric Yang-Mills Theory and Integrable Systems . Note: hep-th/9912271 Cited by: §1.3.
-  (1999) Classical Field Theory. In Quantum Fields and Strings: A Course for Mathematicians, Cited by: §1.4.
-  (1990) The Geometry of Four-Manifolds. Oxford. Cited by: A Supersymmetric Quantum Field Theory Formulation of the Donaldson Polynomial Invariants, §3.3, Introduction.
-  (1990) Polynomial invariants for smooth 4-manifolds. Topology 29, pp. 257–315. Cited by: A Supersymmetric Quantum Field Theory Formulation of the Donaldson Polynomial Invariants, Introduction.
-  Lectures on 2D Yang-Mills Theory, Equivariant Cohomology and Topological Field Theories. Note: hep-th/9411210 Cited by: §3.1.2, §3.
-  monopoles and links of top-level Seiberg-Witten moduli spaces . Note: math.DG/0007190 Cited by: §4.
-  (1998) monopoles and relations between four-manifold invariants. Topology Appl. 88, pp. 111–145. Cited by: §4.
-  (1999) Supersolutions. In Quantum Fields and Strings: A Course for Mathematicians, Cited by: §1.2.2, §1.3.1, §1.3, §1.3, §1.4.
-  (1986) Superconnections, Thom classes, and differential forms. Topology 25, pp. 85–110. Cited by: §3.1.1, §3, Introduction, Theorem 5.
-  (1995) The Seiberg-Witten equations and applications to the topology of smooth four-manifolds. Princeton university Press. Cited by: Introduction.
-  Localisation of Donaldson invariants along the Seiberg-Witten classes. Note: dg-ga/9507004 Cited by: §4.
-  (1984) Renormalization and effective lagrangians. Nucl. Phys. B231, pp. 269–295. Cited by: §4.1.
-  Electric-Magnetic Duality, Monopole Condensation, and Confinement in Supersymmetric Yang-Mills Theory. Note: hep-th/940708744p. Duality is worked out and the low-energy behavior of theory is solved. The absolutely central result for my work. Cited by: §4, §4, Introduction.
-  (1971) Renormalization group and critical phenomena. 1. renormalization group and the kadanoff scaling picture. Phys. Rev. B4, pp. 3174–3183. Cited by: §4.1.
-  (1999) Dynamics of Quantum Field Theory. In Quantum Fields and Strings: A Course for Mathematicians, Cited by: §4.1.
-  (1988) Topological Quantum Field Theory. Communications in Mathematical Physics 117, pp. 353–386. Note: 34p. Original link between Donaldson theory and an SYM lagrangian. Part of cirle of papers including Supersymmetry and Morse Theory, New Invariants of Three- and Four-Manifolds and Morse Theory Indominable. Cited by: A Supersymmetric Quantum Field Theory Formulation of the Donaldson Polynomial Invariants, §4.
-  (1994) Monopoles and Four-Manifolds. Math. Res. Lett. 1, pp. 769–796. Cited by: §4, Introduction.