Research Article  Open Access
On the MiniSuperambitwistor Space and SuperYangMills Theory
Abstract
We construct a new supertwistor space suited for establishing a PenroseWard transform between certain bundles over this space and solutions to the superYangMills equations in three dimensions. This minisuperambitwistor space is obtained by dimensional reduction of the superambitwistor space, the standard superextension of the ambitwistor space. We discuss in detail the construction of this space and its geometry before presenting the PenroseWard transform. We also comment on a further such transform for purely bosonic YangMillsHiggs theory in three dimensions by considering thirdorder formal “subneighborhoods" of a miniambitwistor space.
1. Introduction and Results
A convenient way of describing solutions to a wide class of field equations has been developed using twistor geometry [1–3]. In this picture, solutions to nonlinear field equations are mapped bijectively via the PenroseWard transform to holomorphic structures on vector bundles over an appropriate twistor space. Such twistor spaces are well known for many theories including selfdual YangMills (SDYM) theory and its supersymmetric extensions as well as extended full superYangMills (SYM) theories. In three dimensions, there are twistor spaces suited for describing the Bogomolny equations and their supersymmetric variants. The purpose of this paper is to fill the gaps for threedimensional superYangMills theory as well as for threedimensional YangMillsHiggs theory; the cases for intermediate follow trivially. The idea we follow in this paper has partly been presented in [4].
Recall that the supertwistor space describing SDYM theory is the open subset ; its antiselfdual counterpart is , where the parity assignment of the appearing coordinates is simply inverted. Furthermore, we denote by the minisupertwistor space obtained by dimensional reduction from and used in the description of the supersymmetric Bogomolny equations in three dimensions.
For SYM theory, the appropriate twistor space is now obtained from the product upon imposing a quadric condition reducing the bosonic dimensions by one (in fact, the field theory described by is SYM theory in four dimensions, which is equivalent to SYM theory on the level of equations of motion; in three dimensions, the same relation holds between and SYM theories). We perform an analogous construction for SYM theory by starting from the product of two minisupertwistor spaces. The dimensional reduction turning the superselfduality equations in four dimensions into the superBogomolny equations in three dimensions translates into a reduction of the quadric condition, which yields a constraint only to be imposed on the diagonal in the base of the vector bundle . Thus, the resulting space is not a vector bundle but only a fibration, and the sections of this fibration form a torsion sheaf, as we will see. More explicitly, the bosonic parts of the fibers of over are isomorphic to at generic points, but over the diagonal , they are isomorphic to .
As expected, we find a twistor correspondence between points in and holomorphic sections of as well as between points in and certain subsupermanifolds in . After introducing a real structure on , one finds a nice interpretation of the spaces involved in the twistor correspondence in terms of lines with marked points in , which resembles the appearance of flag manifolds in the wellestablished twistor correspondences. Recalling that is a CalabiYau supermanifold (the essential prerequisite for being the target space of a topological Bmodel), we are led to examine an analogous question for . The CalabiYau property essentially amounts to a vanishing of the first Chern class of , which in turn encodes information about the degeneracy locus of a certain set of sections of the vector bundle . We find that the degeneracy loci of and are equivalent (identical up to a principal divisor).
A PenroseWard transform for SYM theory can now be conveniently established. To define the analogue of a holomorphic vector bundle over the space , we have to remember that in the Čech description, a holomorphic vector bundle is completely characterized by its transition functions, which in turn form a groupvalued Čech 1cocycle. These objects are still well defined on and we will use such a 1cocycle to define what we will call a pseudobundle over . In performing the transition between these pseudobundles and solutions to the SYM equations, care must be taken when discussing these bundles over the subset of their base. Eventually, however, one obtains a bijection between gauge equivalence classes of solutions to the SYM equations and equivalence classes of holomorphic pseudobundles over , which turn into holomorphically trivial vector bundles upon restriction to any holomorphic submanifold .
Considering the reduction of to the bodies of the involved spaces (i.e., putting the fermionic coordinates on all the spaces to zero), it is possible to find a twistor correspondence for certain formal neighborhoods of on which a PenroseWard transform for purely bosonic YangMills theory in four dimensions can be built. To improve our understanding of the minisuperambitwistor space, it is also helpful to discuss the analogous construction with . We find that a thirdorder subthickening, (i.e., a thickening of the fibers which are only of dimension one) inside of must be considered to describe solutions to the YangMillsHiggs equations in three dimensions by using pseudobundles over .
To clarify the role of the space in detail, it would be interesting to establish a dimensionally reduced version of the construction considered by Movshev in [5]. In this paper, the author constructs a “ChernSimons triple” consisting of a differential graded algebra and a closed trace functional on a certain space related to the superambitwistor space. This ChernSimons triple on is then conjectured to be equivalent to SYM theory in four dimensions. The way the construction is performed suggests a quite straightforward dimensional reduction to the case of the minisuperambitwistor space. Besides delivering a ChernSimons triple for SYM theory in three dimensions, this construction would possibly shed more light on the unusual properties of the fibration .
Following Witten's seminal paper [6], there has been growing interest in different supertwistor spaces suited as target spaces for the topological Bmodel (see e.g. [4, 7–14]). Although it is not clear what the topological Bmodel on looks like exactly (we will present some speculations in Section 3.7), the minisuperambitwistor space might also prove to be interesting from the topological string theory point of view. In particular, the minisuperambitwistor space is probably the mirror of the minisupertwistor space . Maybe even the extension of infinite dimensional symmetry algebras [12] from the selfdual to the full case is easier to study in three dimensions due to the greater similarity of selfdual and full theory and the smaller number of conformal generators.
Note that we are not describing the space of null geodesics in three dimensions; this space has been constructed in [13].
The outline of this paper is as follows. In Section 2, we review the construction of the supertwistor spaces for SDYM theory and SYM theory. Furthermore, we present the dimensional reduction yielding the minisupertwistor space used for capturing solutions to the superBogomolny equations. Section 3, the main part, is then devoted to deriving the minisuperambitwistor space in several ways and discussing in detail the associated twistor correspondence and its geometry. Moreover, we comment on a topological Bmodel on this space. In Section 4, the PenroseWard transform for threedimensional SYM theory is presented. First, we review both the transform for SYM theory in four dimensions and aspects of SYM theory in three dimensions. Then, we introduce the pseudobundles over , which take over the role of vector bundles over the space . Eventually, we present the actual PenroseWard transform in detail. In the last section, we discuss the thirdorder subthickenings of in , which are used in the PenroseWard transform for purely bosonic YangMillsHiggs theory.
2. Review of Supertwistor Spaces
We will briefly review some elementary facts on supertwistor spaces and fix our conventions in this section. For a broader discussion of supertwistor and superambitwistor spaces in conventions close to the ones employed here, see [15]. For more details on the minisupertwistor spaces, we refer to [4, 14].
2.1. Supertwistor Spaces
The supertwistor space of is defined as the rank holomorphic supervector bundle over the Riemann sphere . Here, is the parity changing operator which inverts the parity of the fiber coordinates. The base space of this bundle is covered by the two patches on which we have the standard coordinates with on . Over , we introduce furthermore the bosonic fiber coordinates with and the fermionic fiber coordinates with . On the intersection , we thus have The supermanifold as a whole is covered by the two patches with local coordinates .
Global holomorphic sections of the vector bundle are given by polynomials of degree one, which are parameterized by moduli via where we introduced the simplifying spinorial notation
Equations (2.3), the socalled incidence relations, define a twistor correspondence between the spaces and , which can be depicted in the double fibration (2.5) Here, and the projections are defined as We can now read off the following correspondences: While the first correspondence is rather evident, the second one deserves a brief remark. Suppose is a solution to the incidence relations (2.3) for a fixed point . Then, the set of all solutions is given by where is an arbitrary commuting 2spinor and is an arbitrary vector with Graßmannodd entries. The coordinates are defined by (2.4) and with . One can choose to work on any patch containing . The sets defined in (2.8) are then called null or superplanes.
The double fibration (2.5) is the foundation of the PenroseWard transform between equivalence classes of certain holomorphic vector bundles over and gauge equivalence classes of solutions to the extended supersymmetric selfdual YangMills equations on (see e.g. [15]).
The tangent spaces to the leaves of the projection are spanned by the vector fields Note furthermore that is a CalabiYau supermanifold. The bosonic fibers contribute each to the first Chern class and the fermionic ones (this is related to the fact that Berezin integration amounts to differentiating with respect to a Graßmann variable). Together with the contribution from the tangent bundle of the base space, we have in total a trivial first Chern class. This space is thus suited as the target space for a topological Bmodel [6].
2.2. The Superambitwistor Space
The idea leading naturally to a superambitwistor space is to “glue together” both the selfdual and antiselfdual subsectors of SYM theory to the full theory. For this, we obviously need a twistor space with coordinates together with a “dual” copy (the word “dual” refers to the spinor indices and not to the line bundles underlying ) with coordinates . The dual twistor space is considered as a holomorphic supervector bundle over the Riemann sphere covered by the patches with the standard local coordinates . For convenience, we again introduce the spinorial notation and . The two patches covering will be denoted by , and the product space of the two supertwistor spaces is thus covered by the four patches on which we have the coordinates . This space is furthermore a rank supervector bundle over the space . The global sections of this bundle are parameterized by elements of in the following way:
The superambitwistor space is now the subspace obtained from the quadric condition (the “gluing condition”) In what follows, we will denote the restrictions of to by .
Because of the quadric condition (2.12), the bosonic moduli are not independent of , but one rather has the relation The moduli and are, therefore, indeed antichiral and chiral coordinates on the (complex) superspace and with this identification, one can establish the following double fibration using (2.11): (2.14) where and is the trivial projection. Thus, one has the correspondences The abovementioned null superlines are intersections of superplanes and dual superplanes. Given a solution to the incidence relations (2.11) for a fixed point in , the set of points on such a null superline takes the form Here, is an arbitrary complex number and and are both 3vectors with Graßmannodd components. The coordinates and are chosen from arbitrary patches on which they are both well defined. Note that these null superlines are in fact of dimension .
The space is covered by four patches and the tangent spaces to the dimensional leaves of the fibration from (2.14) are spanned by the holomorphic vector fields where and are the superderivatives defined by
Just as the space , the superambitwistor space is a CalabiYau supermanifold. To prove this, note that we can count first Chern numbers with respect to the base of . In particular, we define the line bundle to have first Chern numbers and with respect to the two s in the base. The (unconstrained) fermionic part of which is given by contributes in this counting, which has to be cancelled by the body of . Consider, therefore, the map where has been defined in (2.12). This map is a vector bundle morphism and gives rise to the short exact sequence The first Chern classes of the bundles in this sequence are elements of , which we denote by with . Then, the short exact sequence (2.20) together with the Whitney product formula yields where label the first Chern class of considered as a holomorphic vector bundle over . It follows that , and taking into account the contribution of the tangent space to the base (recall that ) , we conclude that the contribution of the tangent space to to the first Chern class of is cancelled by the contribution of the fermionic fibers.
Since is a CalabiYau supermanifold, this space can be used as a target space for the topological Bmodel. However, it is still unclear what the corresponding gauge theory action will look like. The most obvious guess would be some holomorphic BFtype theory [16–18] with B a “Lagrange multiplier form."
2.3. Reality Conditions on the Superambitwistor Space
On the supertwistor spaces , one can define a real structure which leads to Kleinian signature on the body of the moduli space of real holomorphic sections of the fibration in (2.5). Furthermore, if is even, one can can impose a symplectic Majorana condition which amounts to a second real structure which yields Euclidean signature. We saw above that the superambitwistor space originates from two copies of and, therefore, we cannot straightforwardly impose the Euclidean reality condition. However, besides the real structure leading to Kleinian signature, one can additionally define a reality condition by relating spinors of opposite helicities to each other. In this way, we obtain a Minkowski metric on the body of . In the following, we will focus on the latter.
Consider the antilinear involution which acts on the coordinates of according to Sections of the bundle which are real are thus parameterized by the moduli We extract furthermore the contained real coordinates via the identification and obtain a metric of signature on from . Note that we can also make the identification (2.24) in the complex case , and then even on . In the subsequent discussion, we will always employ (2.24) which is consistent, because we will not be interested in the real version of .
2.4. The MiniSupertwistor Spaces
To capture the situation obtained by a dimensional reduction , one uses the socalled minisupertwistor spaces. Note that the vector field considered on from diagram (2.5) can be split into a holomorphic and an antiholomorphic part when restricted from to : Let be the abelian group generated by . Then, the orbit space is given by the holomorphic supervector bundle over , and we call a minisupertwistor space. We denote the patches covering by . The coordinates of the base and the fermionic fibers of are the same as those of . For the bosonic fibers, we define and introduce additionally for convenience. On the intersection , we thus have the relation . This implies that describes global sections of the line bundle . We parameterize these sections according to and the new moduli are identified with the previous ones by the equation . The incidence relation (2.29) allows us to establish a double fibration (2.30) where . We again obtain a twistor correspondence The dimensional superplanes in are given by the set where and are an arbitrary complex 2spinor and a vector with Graßmannodd components, respectively. The point is again an initial solution to the incidence relations (2.29) for a fixed point . Note that although these superplanes arise from null superplanes in four dimensions via dimensional reduction, they themselves are not null.
The vector fields along the projection are now spanned by with
The minisupertwistor space is again a CalabiYau supermanifold, and the gauge theory equivalent to the topological Bmodel on this space is a holomorphic BF theory [4].
3. The MiniSuperambitwistor Space
In this section, we define and examine the minisuperambitwistor space , which we will use to build a PenroseWard transform involving solutions to SYM theory in three dimensions. We will first give an abstract definition of by a short exact sequence, and present more heuristic ways of obtaining the minisuperambitwistor space later.
3.1. Abstract Definition of the MiniSuperambitwistor Space
The starting point is the product space of two copies of the minisupertwistor space. In analogy to the space , we have coordinates on the patches which are Cartesian products of and : For convenience, let us introduce the subspace of the base of the fibration as Consider now the map which is defined by where is the line bundle over . In this definition, we used the fact that a point for which is at least on one of the patches and . Note, in particular, that the map is a morphism of vector bundles. Therefore, we can define a space via the short exact sequence (cf. (2.20)). We will call this space the minisuperambitwistor space. Analogously to above, we will denote the pullback of the patches to by . Obviously, the space is a fibration, and we can switch to the corresponding short exact sequence of sheaves of local sections: Note the difference in notation: (3.5) is a sequence of vector bundles, while (3.6) is a sequence of sheaves. To analyze the geometry of the space in more detail, we will restrict ourselves to the body of this space and put the fermionic coordinates to zero. Similarly to the case of the superambitwistor space, this is possible as the map does not affect the fermionic dimensions in the exact sequence (3.5); this will become clearer in the discussion in Section 3.2.
Inspired by the sequence defining the skyscraper sheaf (a sheaf with sections supported only at the point ) , we introduce the following short exact sequence: Here, we defined , where and are the usual homogeneous coordinates on the base space . The sheaf is a torsion sheaf (sometimes sloppily referred to as a skyscraper sheaf) with sections supported only over . Finally, we trivially have the short exact sequence where and .
Using the short exact sequences (3.6), (3.7), and (3.8) as well as the nine lemma, we can establish the following diagram:
From the horizontal lines of this diagram and the five lemma, we conclude that . Thus, is not a locally free sheaf (a more sophisticated argumentation would use the common properties of the torsion functor to establish that is a torsion sheaf; furthermore, one can write down a further diagram using the nine lemma which shows that is a coherent sheaf) but a torsion sheaf, whose stalks over are isomorphic to the stalks of , while the stalks over are isomorphic to the stalks of . Therefore, is not a vector bundle, but a fibration (the homotopy lifting property typically included in the definition of a fibration is readily derived from the definition of ) with fibers over generic points and fibers over . In particular, the total space of is not a manifold.
The fact that the total space of the bundle is neither a supermanifold nor a supervector bundle over seems at first slightly disturbing. However, we will show that once one is aware of this new aspect, it does not cause any deep difficulties as far as the twistor correspondence and the PenroseWard transform are concerned.
3.2. The MiniSuperambitwistor Space by Dimensional Reduction
In the following, we will motivate the abstract definition more concretely by considering explicitly the dimensional reduction of the space , we will also fix our notation in terms of coordinates and moduli of sections. For this, we will first reduce the product space and then impose the appropriate reduced quadric condition. In a first step, we want to eliminate in both and the dependence on the bosonic modulus . Thus, we should factorize by which leads us to the orbit space where and are the abelian groups generated by and , respectively. Recall that the coordinates we use on this space have been defined in (3.1). The global sections of the bundle are captured by the parameterization where we relabel the indices of and the moduli , , since there is no distinction between left and righthanded spinors on or its complexification .
The next step is obviously to impose the quadric condition, gluing together the selfdual and antiselfdual parts. Note that when acting with and on as given in (2.12), we obtain This implies that the orbits generated by and become orthogonal to the orbits of only at . We can, therefore, safely impose the condition and the subset of which satisfies this condition is obviously identical to the minisuperambitwistor space defined above.
The condition (3.14) naturally fixes the parametrization of global sections of the fibration by giving a relation between the moduli used in (3.12). This relation is completely analogous to (2.13) and reads We clearly see that this parameterization arises from (2.13) by dimensional reduction from . Furthermore, even with this identification, and are independent of . Thus, indeed, imposing the condition (3.14) only at is the dimensionally reduced analogue of imposing the condition (2.12) on .
3.3. Comments on Further Ways of Constructing
Although the construction presented above seems most natural, one can imagine other approaches of defining the space . Completely evident is a second way, which uses the description of in terms of coordinates on . Here, one factorizes the correspondence space by the groups generated by the vector field and obtains the correspondence space together with (3.15). A subsequent projection from the dimensionally reduced correspondence space then yields the minisuperambitwistor space as defined above.
Furthermore, one can factorize only by to eliminate the dependence on one modulus. This will lead to and following the above discussion of imposing the quadric condition on the appropriate subspace, one arrives again at (3.14) and the space . Here, the quadric condition already implies the remaining factorization of by .
Eventually, one could anticipate the identification of moduli in (3.15) and, therefore, want to factorize by the group generated by the combination . Acting with this sum on will produce the sum of the results given in (3.13), and the subsequent discussion of the quadric condition follows the one presented above.
3.4. Double Fibration
Knowing the parameterization of global sections of the minisuperambitwistor space fibered over as defined in (3.15), we can establish a double fibration, similarly to all the other twistor spaces we encountered so far. Even more instructive is the following diagram, in which the dimensional reduction of the involved spaces becomes evident: (3.16) The upper half is just the double fibration for the quadric (2.14), while the lower half corresponds to the dimensionally reduced case. The reduction of to is obviously done by factoring out the group generated by . The same is true for the reduction of to . The reduction from to was given above and the projection from onto is defined by (3.12). The four patches covering will be denoted by .
The double fibration defined by the projections and yields the following twistor correspondences:The superlines and the superplanes in are defined as the setswhere , , , and are an arbitrary complex number, a complex commuting 2spinor, and two 3vectors with Graßmannodd components, respectively. Note that in the last line, , and we could also have written
The vector fields spanning the tangent spaces to the leaves of the fibration are for generic values of and given bywhere the derivatives have been defined in (2.34). At , however, the fibers of the fibration over loose one bosonic dimension. As the space is a manifold, this means that this dimension has to become tangent to the projection . In fact, one finds that over besides the vector fields given in (3.20), also the vector fieldsannihilate the coordinates on . Therefore, the leaves to the projection are of dimension for and of dimension everywhere else.
3.5. Real Structure on
Quite evidently, a real structure on is inherited from the one on , and we obtain directly from (2.22) the action of on , which is given byThis action descends in an obvious manner to , which leads to a real structure on the moduli space via the double fibration (3.16). Thus, we have as the resulting reality conditionand the identification of the bosonic moduli with the coordinates on reads as
The reality condition is indeed fully compatible with the condition (3.14) which reduces to . The base space of the fibration is reduced to a single sphere with real coordinates and , while the diagonal is reduced to a circle parameterized by the real coordinates . The real sections of have to satisfy . Thus, the fibers of the fibration , which are of complex dimension over generic points in the base and complex dimension over , are reduced to fibers of real dimension and , respectively. In particular, note that is purely imaginary and, therefore, the quadric condition (3.14) together with the real structure implies that for . Thus, the body of is purely real and we have and on the diagonal .
3.6. Interpretation of the Involved Real Geometries
For the bestknown twistor correspondences (i.e., the correspondence (2.5)) (more precisely, the compactified version thereof) its dual, and the correspondence (2.14), there is a nice description in terms of flag manifolds (see e.g., [3]). For the spaces involved in the twistor correspondences including minitwistor spaces, one has a similarly nice interpretation after restricting to the real situation. For simplicity, we reduce our considerations to the bodies (i.e., drop the fermionic directions) of the involved geometries, as the extension to corresponding supermanifolds is quite straightforward.
Let us first discuss the double fibration (2.30), and assume that we have imposed a suitable reality condition on the fiber coordinates, the details of which are not important. We follow again the usual discussion of the real case and leave the coordinates on the sphere complex. As correspondence space on top of the double fibration, we have thus the space , which we can understand as the set of oriented lines (not only the ones through the origin) in with one marked point. Clearly, the point of such a line is given by an element of , and the direction of this line in is parameterized by a point on . The minitwistor space now is simply the space of all lines in [19]. Similarly to the case of flag manifolds, the projections and in (2.30) become, therefore, obvious. For , simply drop the line and keep the marked point. For , drop the marked point and keep the line. Equivalently, we can understand as moving the marked point on the line to its shortest possible distance from the origin. This leads to the space , where the parameterizes again the direction of the line, which can subsequently be still moved orthogonally to this direction, and this freedom is parameterized by the tangent planes to which are isomorphic to .
Now in the case of the fibration included in (3.16), we impose the reality condition (3.22) on the fiber coordinates of . In the real case, the correspondence space becomes the space and this is the space of two oriented lines in intersecting in a point. More precisely, this is the space of two oriented lines in each with one marked point, for which the two marked points coincide. The projections and in (3.16) are then interpreted as follows. For , simply drop the two lines and keep the marked point. For , fix one line and move the marked point (the intersection point) together with the second line to its shortest distance to the origin. Thus, the space is the space of configurations in , in which a line has a common point with another line at its shortest distance to the origin.
Let us summarize all the above findings in Table 1.

3.7. Remarks Concerning a Topological BModel on
The space is not well suited as a target space for a topological Bmodel since it is not a (CalabiYau) manifold. However, one clearly expects that it is possible to define an analogous model since, if we assume that the conjecture in [20, 21] is correct, such a model should simply be the mirror of the minitwistor string theory considered in [14]. This model would furthermore yield some holomorphic ChernSimons type equations of motion. The latter equations would then define holomorphic pseudobundles over by an analogue of a holomorphic structure. These bundles will be introduced in Section 4.3 and in our discussion, they substitute the holomorphic vector bundles.
Interestingly, the space has a property which comes close to vanishing of a first Chern class. Recall that for any complex vector bundle, its Chern classes are Poincaré dual to the degeneracy cycles of certain sets of sections (this is a GaußBonnet formula). More precisely, to calculate the first Chern class of a rank vector bundle, one considers generic sections and arranges them into an matrix . The degeneracy loci on the base space are then given by the zero locus of . Clearly, this calculation can be translated directly to .
We will now show that and have equivalent degeneracy loci (i.e., they are equal up to a principal divisor) which, speaking about ordinary vector bundles, would not affect the first Chern class. Our discussion simplifies considerably if we restrict our attention to the bodies of the two supertwistor spaces and put all the fermionic coordinates to zero. Note that this will not affect the result, as the quadric conditions defining and do not affect the fermionic dimensions: the fermionic parts of the fibrations and are identical, which is easily seen by considering the global sections generating the total spaces of the fibrations. Instead of the ambitwistor spaces, it is also easier to consider the vector bundles and over , respectively, with the appropriately restricted sets of sections. Furthermore, we will stick to our inhomogeneous coordinates and perform the calculation only on the patch , but all this directly translates into homogeneous, patchindependent coordinates. The matrices to be considered areand one computes the degeneracy loci for generic moduli to be given by the equationson the bases of and , respectively. Here, is a rational function of and, therefore, it is obvious that both degeneracy cycles are equivalent.
When dealing with degenerated twistor spaces, one usually retreats to the correspondence space endowed with some additional symmetry conditions [22]. It is conceivable that a similar procedure will help to define the topological Bmodel in our case. Also, defining a suitable blowup of over could be the starting point for finding an appropriate action.
4. The PenroseWard Transform for the MiniSuperambitwistor Space
4.1. Review of the PenroseWard Transform on the Superambitwistor Space
Let be a topologically trivial holomorphic vector bundle of rank over which becomes holomorphically trivial when restricted to any subspace . Due to the equivalence of the Čech and the Dolbeault descriptions of holomorphic vector bundles, we can describe either by holomorphic transition functions or by a holomorphic structure . Starting from a transition function , there is a splittingwhere the are smooth valued functions (in fact, the collection forms a Čech 0cochain) on since the bundle is topologically trivial. This splitting allows us to switch to the holomorphic structure with , which describes a trivial vector bundle . Note that the additional condition of holomorphic triviality of on subspaces will restrict the explicit form of .
Back at the bundle , consider its pullback with transition functions , which are constant along the fibers of :The additional assumption of holomorphic triviality upon reduction onto a subspace allows for a splittinginto valued functions which are holomorphic on . Evidently, there is such a splitting holomorphic in the coordinates and on since becomes holomorphically trivial when restricted to these spaces. Furthermore, these subspaces are holomorphically parameterized by the moduli , and thus the splitting (4.3) is holomorphic in all the coordinates of . Due to (4.2), we have on the intersections : where , , and are independent of and . The introduced components of the supergauge potential fit into the linear systemwhose compatibility conditions areHere, we used the obvious shorthand notations , , and . However, (4.6) are well known to be equivalent to the equations of motion of SYM theory on [23] (note that most of our considerations concern the complexified case), and, therefore, also to SYM theory on .
We thus showed that there is a correspondence between certain holomorphic structures on , holomorphic vector bundles over which become holomorphically trivial when restricted to certain subspaces and solutions to the SYM equations on . The redundancy in each set of objects is modded out by considering gauge equivalence classes and holomorphic equivalence classes of vector bundles, which renders the above correspondences onetoone.
4.2. SYM Theory in Three Dimension
This theory is obtained by dimensionally reducing SYM theory in ten dimensions to three dimensions, or, equivalently, by dimensionally reducing fourdimensional SYM theory to three dimensions. As a result, the 16 real supercharges are rearranged in the latter case from four spinors transforming as a of into eight spinors transforming as a of .
The automorphism group of the supersymmetry algebra is , and the little group of the remaining Lorentz group is trivial. As massless particle content, we, therefore, expect bosons transforming in the and fermions transforming in the of . One of the bosons will, however, appear as a dual gauge potential on after dimensional reduction, and, therefore, only a Rsymmetry group is manifest in the action and the equations of motion. In the minisuperambitwistor formulation, the manifest subgroup of the Rsymmetry group is only