Supersymmetric Yang-Mills Theory as Higher Chern-Simons Theory

We observe that the string field theory actions for the topological sigma models describe higher or categorified Chern-Simons theories. These theories yield dynamical equations for connective structures on higher principal bundles. As a special case, we consider holomorphic higher Chern-Simons theory on the ambitwistor space of four-dimensional space-time. In particular, we propose a higher ambitwistor space action functional for maximally supersymmetric Yang-Mills theory.


Introduction and results
In [1], Witten used his proposal for open string field theory [2] to link topological string theory to Chern-Simons theory. This formulation of string field theory, however, has been argued to be singular or incomplete [3], see also [4]. To remedy this problem, Erler et al. [4] resolved the singularity of the cubic vertex in Witten's formulation resulting in the structure of an A ∞ -algebra on the Hilbert space of string fields. For earlier accounts on formulating open string field theory using (parts of) A ∞ -algebras, see also [5][6][7][8][9][10]. Similarly, closed string field theory has an underlying L ∞ -algebra structure [11]. The corresponding string field theory actions yield the homotopy Maurer-Cartan equations for both A ∞ -algebras and L ∞ -algebras.
Particularly interesting Hilbert spaces to feed into this string field theory formalism are those of the topological A model and B model [12], that is, the de Rham complex on a special Lagrangian submanifold of a Calabi-Yau manifold 1 X as well as the Dolbeault complex on X, respectively. The first aim of this paper is to present the resulting actions and equations of motion.
For X a three-dimensional Calabi-Yau manifold, Witten showed [1] that the topological A model and B model reduce to Chern-Simons theory and holomorphic Chern-Simons theory, respectively. We observe that this result is not affected by the generalisation to A ∞ -algebras. For higher-dimensional Calabi-Yau manifolds, however, we obtain higher or JHEP07(2017)111 categorified versions of Chern-Simons theory and its holomorphic variant. Higher Chern-Simons theories have been studied in various settings before, see e.g. [13][14][15][16][17][18]. They describe connective structures on categorified principal n-bundles which have Lie n-groups as their structure groups with n = dim C (X) − 2. For instance in the case of a four-dimensional Calabi-Yau manifold, we are led to a principal 2-bundle with a structure Lie 2-group, whose connective structure contains besides a 1-form gauge potential also a 2-form gauge potential.
A proposal of generalising Chern-Simons theory to higher form theories as a description of the A model has been made before by Schwarz [19] but the underlying assignment of Chan-Paton factors was rather ad hoc and limited to ordinary Lie algebras. This action was subsequently used to construct a Batalin-Vilkovisky action functional on harmonic superspace for maximally supersymmetric Yang-Mills (MSYM) theory in ten and lower dimensions [20,21]. A first aim of this paper is to show how to incorporate the full A ∞algebra structure and how this arises in a natural way from string field theory.
The topological A model and B model are usually studied for three-dimensional target spaces since it is known that correlation functions in topological string theory for other dimensions are mostly trivial. There is, however, one particularly interesting higherdimensional target space, namely the ambitwistor space relevant in the twistor string theory description of MSYM theory in four dimensions.
Twistor string theory [22] has led to new ways of computing Yang-Mills scattering amplitudes and in some procedures, an explicit action functional is desirable. On the usual extension of Penrose's twistor space to a Calabi-Yau supermanifold P 3|4 , this is not an issue as the three-dimensional bosonic part of P 3|4 allows for using the ordinary holomorphic Chern-Simons action functional [22][23][24]. In this context, the holomorphic Chern-Simons action yields an action functional for self-dual MSYM theory which can be complemented to a twistor space action for full MSYM theory [22][23][24]. On the ambitwistor space with its five-dimensional bosonic part, however, the holomorphic Chern-Simons action needs to be replaced, and up to now, a holomorphic BF-type action or the more involved constructions of [25] have been used.
In the second part of this paper, we propose an alternative. The action functional of higher holomorphic Chern-Simons theory offers itself very naturally on ambitwistor space to be used for twistor string theory. We argue that even the additional degrees of freedom present in the higher form fields are gauge trivial on-shell. Therefore we obtain, at least at the classical level, an equivalence between higher holomorphic Chern-Simons theory on the ambitwistor space and MSYM theory in four dimensions.
There are a number of future directions arising from our results. First of all, it would be interesting to examine the use of higher holomorphic Chern-Simons theory within twistor string theory and the computation of MSYM scattering amplitudes. Secondly, it would be interesting to study an extension of our results for the topological A model and B model to topological string theory by coupling them to topological gravity. One should directly perform this analysis on supermanifolds, using e.g. the techniques of [26,27]. Particularly interesting here are the cancellation of the various anomalies and the existence and meaning of D-branes. These should then be linked to our generalised notion of Chan-Paton factors.

JHEP07(2017)111
2 String field theory and homotopy Maurer-Cartan equations 2.1 A ∞ -algebras and L ∞ -algebras Roughly speaking, an A ∞ -algebra generalises the matrix product in a matrix algebra to a non-associative structure while an L ∞ -algebra generalises the commutator in a matrix algebra to a structure violating the Jacobi identity. Just as the commutator arises from the anti-symmetrisation of the matrix product, the anti-symmetrisation of the products in an A ∞ -algebra yields an L ∞ -algebra. The modern and elegant approach to the definition of such algebras uses a dual formulation in terms of differential graded algebras. This, however, would lead us to far afield from the main thread of development and we merely refer to [28] for details, see also [29,30] for more detailed accounts of strong homotopy algebras.
An A ∞ -algebra or strong homotopy associative algebra is a Z-graded vector space A = ⊕ p∈Z A p together with graded, multilinear maps Denoting the degree of an element a ∈ A by |a|, we have 2 |m i (a 1 , . . . , a i )| = 2 − i + |a 1 | + · · · + |a i | and the following explicit form of these relations for i ≤ 3: for a 1 , a 1 , a 3 ∈ A, where signs arise from permuting odd elements of A past products with odd degrees. The first relation evidently states that m 1 is nil-quadratic and the second relation implies its compatibility with the product m 2 in terms of a Leibniz rule, and so m 1 is a differential. The third relation determines the controlled violation of associativity of m 2 . The A ∞ -algebras of interest are usually nontrivial only in degrees p ≥ 0 or p ≤ 0, and we shall encounter both situations. If an A ∞ -algebra A is trivial except for degrees p with −(n − 1) ≤ p ≤ 0 or 0 ≤ p ≤ n − 1, we call it an n-term A ∞ -algebra.
When formulating action principles, we shall also need an appropriate notion of an inner product on an A ∞ -algebra. The first formulation of inner products on A ∞ -algebras JHEP07(2017)111 we are aware of was given in [31], see also [32] and in particular [33] for a definition from the cyclic operad. An inner product on an A ∞ -algebra A over R is an even, graded symmetric, non-degenerate, bilinear map −, − : A A → R , (2.4) which is cyclic in the sense that for i ∈ N and a 1 , . . . , a i+1 ∈ A. An inner product A ∞ -algebra is also called a cyclic A ∞algebra. Note that on an n-term A ∞ -algebra A = A −n+1 ⊕ · · · ⊕ A 0 , this bilinear map induces an isomorphism A p → A * −n+1−p for −n + 1 ≤ p ≤ 0, because it is non-degenerate. The definition of L ∞ -algebras is very similar. An L ∞ -algebra or strong homotopy Lie algebra L is a Z-graded vector space L = ⊕ p∈Z L p endowed with graded, totally antisymmetric, linear maps for i ∈ N of degree 2 − i subject to the higher homotopy Jacobi identities r+s=i σ χ(σ; 1 , . . . , r+s )µ s+1 µ r ( σ(1) , . . . , σ(r) ), σ(r+1) , . . . , σ(r+s) = 0 (2.7) for i ∈ N and 1 , . . . , r+s ∈ L. Here, the sum over σ is taken over all (r, s) unshuffles which consist of permutations σ of {1, . . . , r + s} such that the first r and the last s images of σ are ordered: σ(1) < · · · < σ(r) and σ(r + 1) < · · · < σ(r + s). Moreover, χ(σ; 1 , . . . , i ) is the graded Koszul sign defined by in the free graded algebra. The higher homotopy Jacobi identities (2.7) for i = 1 and i = 2 state that µ 1 is a differential which is compatible with the product µ 2 just as in the case of A ∞ -algebras. The corresponding relation for i = 3 describes the controlled violation of the graded Jacobi identity. We again consider n-term L ∞ -algebras which have underlying graded vector space concentrated in degrees p with −(n − 1) ≤ p ≤ 0 or 0 ≤ p ≤ n − 1. At least L ∞ -algebras of the form L = L −1 ⊕ L 0 are categorically equivalent to semistrict Lie 2-algebras [34]. In the following, we shall often simply speak of Lie n-algebras when we mean an L ∞ -algebra of the form L = L −n+1 ⊕ · · · ⊕ L −1 ⊕ L 0 .
Finally, we note that there is a functor from the category of A ∞ -algebras to that of L ∞ -algebras [35] which on objects reads as with the sum running over all permutations. In other words, the total graded antisymmetrisation of the products in an A ∞ -algebra yields an L ∞ -algebra with the same underlying graded vector space. For this functor to extend to cyclic A ∞ -algebras, we

JHEP07(2017)111
define an inner product on an L ∞ -algebra L over R as an even, graded symmetric, nondegenerate, bilinear map −, − : L L → R , (2.10) which is cyclic in the sense of for i ∈ N.

Maurer-Cartan equations and action principles
The Maurer-Cartan equation dω+ω∧ω = 0 for a matrix Lie algebra valued differential oneform ω naturally generalises to A ∞ -algebras A = ⊕ p∈Z A p . In particular, Maurer-Cartan elements of A are elements a ∈ A 1 satisfying 3 the homotopy Maurer-Cartan equation, We will now look at homotopies between Maurer-Cartan elements, which will lead us to a higher form of gauge symmetry.
It is not very difficult to see that the tensor product of a differential graded vector space with an A ∞ -algebra or an L ∞ -algebra carries again a natural A ∞ -algebra or L ∞ -algebra structure, cf. e.g. [37]. Let A be an A ∞ -algebra with products m i , and V = ⊕ p∈Z V p be a differential graded vector space with differential d. We then define an A ∞ -algebrâ such that |v ⊗ a| = |v| + |a| for v ∈ V and a ∈ A. The higher productsm i onÂ are defined asm for i ≥ 2 and v 1 , . . . , v i ∈ V and a 1 , . . . , a i ∈ A. One readily verifies that these products satisfy the relation (2.2). We also note that in the special case of V being the de Rham complex Ω • (M ), d on a manifold M ,

An action functional for equation (2.12) which is invariant under (2.17) is
where a ∈ A 1 . Note that the action (2.18) is precisely the action found in [4] on the A ∞algebra formed by the Hilbert space H of string states. The higher products m i which render the Hilbert space H into an A ∞ -algebra are then computed from the various i-point functions.
In closed string field theory, the natural analogue for L ∞ -algebras is used [11], see also [30]. Here, the action, equation of motion and gauge transformations are for ∈ L 1 and λ ∈ L 0 of an L ∞ -algebra L. Clearly, these equations arise from the functor taking A ∞ -algebras to L ∞ -algebras. Finite gauge transformations can be obtained by integrating the infinitesimal ones using the techniques of [38]. The integration of the L ∞ -algebra L leads to a higher or categorified Lie group G . Particularly interesting is the case in which the elements ∈ L form a connective structure on a categorified principal G -bundle. The theory of such bundles has been developed to some detail in the literature, see e.g. [14,39] as well as [40] for an easily accessible description. Note that action (2.18) captures only the cases of trivial principal G -bundles, the general discussion is found, e.g., in [13].

From topological sigma models to higher Chern-Simons theory
Let us now apply the previous formalism to the special case of topological sigma models. The detailed construction of these models is found in [1,12], see also [41].

A model and B model
The two topological sigma models we are interested in are called the A model and the B model and they describe maps from a Riemann surface Σ to a target space X. Although this is stronger than necessary, we shall assume that X is a Calabi-Yau manifold, by which we mean 4 a (potentially non-compact) Kähler (super)manifold with a globally defined holomorphic measure.
Besides the bosonic fields encoded in the map φ : Σ → X, we also have fermions which are sections of ordinary vector bundles due to the topological twist. In the case of the A model we have fermions χ which are sections of φ * T X as well as fermions ψ which are sections of Ω 1 (Σ, φ * T X) satisfying an additional constraint. In the case of the B model, we have fermions η and θ which are sections of φ * T 0,1 X as well as a field ρ which is a section of Ω 1 (Σ, φ * T 1,0 X), where T X ⊗ C ∼ = T 1,0 X ⊕ T 0,1 X is the decomposition into the holomorphic and anti-holomorphic tangent bundle.
For both models, a topological Lagrangian is readily written down, which can be quantised. In the case of the A model, let M be a special Lagrangian submanifold in X which contains boundaries of the image of the worldsheet Σ under φ. The BRST cohomology of the A model can then be represented as functions of φ and χ restricted to M . Since χ is fermionic, these functions are identified with differential forms on M . Moreover, the BRST operator is mapped to the de Rham differential d on M . Altogether, the Hilbert space of the topological A model with boundary M is described by the de Rham complex on M . For the B model, a similar line of arguments shows that the BRST cohomology of the B model is identified with the Dolbeault complex where∂ denotes the anti-holomorphic exterior derivative. Here, the boundaries of the worldsheet Σ are restricted to lie in complex submanifolds of X.
If we want to regard the boundary of Σ as being contained in a single D-brane, then this is the complete story. To capture stacks of multiple D-branes, however, we need to introduce Chan-Paton factors on the boundaries. This amounts to tensoring the de Rham complex by the endomorphism bundle of a flat vector bundle or the Dolbeault complex by the endomorphism bundle of a holomorphic vector bundle, respectively. These bundles, in turn, are described by Chern-Simons theory and holomorphic Chern-Simons theory, respectively [1]. In this context, we shall only be interested in space-filling D-branes.

Ordinary Chan-Paton factors and higher Chern-Simons theory
The Hilbert spaces of the topological sigma models with target space X form now the underlying graded vector spaces of two A ∞ -algebras. Let d := dim R (M ) = dim C (X) and JHEP07(2017)111 The ordinary assignment of Chan-Paton factors leads to the cyclic n-term A ∞ -algebra A = A −n+1 ⊕ · · · ⊕ A 0 with A i ∼ = g for some matrix Lie algebra g. The only non-trivial product is m 2 , induced as follows from the matrix product 5 in g: The cyclic inner product is induced by the Hilbert-Schmidt inner product through a 1 , a 2 A := tr(a † 1 a 2 ) for |a 1 | + |a 2 | = −n + 1 , 0 else .

(3.4)
Tensoring the de Rham and Dolbeault complexes by A as explained in section 2.2 leads to the two A ∞ -algebras for the A model and B model,  where ω 1,2 ∈ Ω • (M ) and a 1,2 ∈ A while for Ω 0,• (X, A), we havê where ω 1,2 ∈ Ω 0,• (X) and a 1,2 ∈ A. Furthermore, the cyclic structure (2.15) is where Ω d,0 is the holomorphic volume form on X. In order to simplify our discussion, we shall restrict ourselves to Ω • (M, A) in the remainder of this section. The discussion for Ω 0,• (X, A) is analogous, and we shall return to it in section 4.

JHEP07(2017)111
We can now plug the A ∞ -algebra Ω • (M, A) into the homotopy Maurer-Cartan action (2.18) for a degree 1 element α = α 1 + α 2 + · · · with α i an A −i+1 -valued differential i-form. The result is (3.8) Note that for d = 3, this action reduces to ordinary Chern-Simons theory, as expected from [1]. For d > 3, the action (3.8) was suggested by Schwarz [19] as an action for the A model with target spaces of dimension larger than three.

Higher Chan-Paton factors
Let us now generalise the notion of Chan-Paton factors to proper A ∞ -algebras as suggested by string field theory. That is, we start from a full n-term A ∞ -algebra A = A −n+1 ⊕· · ·⊕A 0 with higher products m i and tensor it by the de Rham complex as explained in section 2.2. We obtain and higher productsm i , which are linear extensions of the following ones: We thus recover ordinary Chern-Simons theory as in [1].

JHEP07(2017)111
Case d = 5. Here we should consider a cyclic 3-term A ∞ -algebra A. The cyclicity of A implies that where the cyclic structure is simply given by the natural pairing, together with an inner product −, − h on h, (3.14) We can decompose a degree 1 element α ∈ Ω • (M, A) as where we simplified using cyclicity of the inner product on Ω • (M, A). Note that using cyclicity of −, − A , all higher products in the action can be brought to the form m i (Φ, . . . , Φ) for Φ ∈ {A, B, C}. Note also that m i (Φ, . . . , Φ) = 1 i! µ i (Φ, . . . , Φ) for the µ i defined in (2.9). We can therefore apply the functor from A ∞ -algebras to L ∞ -algebras and switch to the L ∞ -algebra picture. The equations of motion then read as where F , H, and G are the natural higher curvature forms which are elements of Ω • 2 (M, A). The infinitesimal gauge transformations are parameterised by a degree 0 element λ of Ω • (M, A), which we decompose into λ := X + Λ + Σ with X ∈ C ∞ (M, g) , Λ ∈ Ω 1 (M, h) , Σ ∈ Ω 2 (M, g * ) . (3.18)
Together with the base point in C 4|12 , they form the space F 6|12 := C 4|12 × P 1 × P 1 . We can now factor out the dependence of the light-rays on the base point. Note that the vector fields generating translations along the light-rays are The space of orbits of F 6|12 under the translation group is then the ambitwistor space L 5|6 , which is a rank 3|6 holomorphic vector bundle over P 1 × P 1 . This bundle is a subbundle of the rank 4|6 holomorphic vector bundle E := C 2|3 ⊗ O(1, 0) ⊕ O(0, 1) and given by the quadric where (z α , η i ) and (wα, θ i ) are fibre coordinates on C 2|3 ⊗ O(1, 0) and C 2|3 ⊗ O(0, 1), respectively. In terms of these coordinates, the projection from F 6|12 onto the orbits reads as

JHEP07(2017)111
and we obtain the double fibration with π 2 trivial. For our purposes, it is important to note that L 5|6 is a formal Calabi-Yau supermanifold 7 with global holomorphic measure Here, γ is a contour encircling L 5|6 → E while dη 1 dη 2 dη 3 dθ 1 dθ 2 dθ 3 is to be understood as an integral form in the sense of Berezin.
There is a one-to-one correspondence between gauge equivalence classes of complex holomorphic solutions to the MSYM equations on C 4 with gauge group G and equivalence classes of C 4|12 -trivial holomorphic principal G-bundles over L 5|6 .
Roughly speaking, the holomorphic triviality on allp guarantees that the pullback of this bundle to the correspondence space F 6|12 is holomorphically trivial on all of F 6|12 . This, in turn, implies that the transition functions of this bundle can be split holomorphically. Furthermore, these transition functions are annihilated by the vector fields (4.2a), and this can be used to find an auxiliary linear system of partial differential equations on C 4|12 . Following [46,47], the compatibility conditions of this linear system are equivalent to the MSYM equations equations with gauge group G on C 4 (or on R 1,3 after choosing suitable reality conditions). For a review on the details of this construction, we refer e.g. to [48] or [49].
An alternative way of describing holomorphic principal G-bundles is in terms of holomorphic Chern-Simons theory. Consider a complex manifold X with an open cover {U a } and equipped with a complex principal G-bundle P described by the transition functions {g ab : U a ∩ U b → G}. A (0, 1)-connection on P is a collection A 0,1 a ∈ Ω 0,1 U a , Lie(G) of locally defined (0, 1)-forms on X with values in Lie(G) which obey

JHEP07(2017)111
where∂ is the anti-holomorphic exterior derivative on X. The associated curvature (0, 2)form F 0,2 a ∈ Ω 0,2 U a , Lie(G) is defined by and we have Automorphisms on P are locally given by smooth functions g a : U a → G which obey 8 They act on A 0,1 a and F 0,1 a as A 0,1 a → g −1 a A 0,1 a g a + g −1 a∂ g a and F 0,2 a → g −1 a F 0,2 a g a . (4.11) The bundle P is said to be holomorphic provided that This equation is generally solved by for smooth maps ψ a : U a → G, and, upon substituting this expression into (4.7), we finď g ab := ψ a g ab ψ −1 b with∂ǧ ab = 0 . (4.14) Thus, we have obtained a holomorphic principal G-bundleP with holomorphic transition functions {ǧ ab : U a ∩ U b → G} that is smoothly equivalent to P . Furthermore, automorphisms act on the ψ a as ψ a → ψ a g a , and, consequently, they leave the transition functions Hence, there is a one-to-one correspondence between solutions to (4.12) on P modulo the action of the automorphism transformations (4.11) and the set of all holomorphic principal G-bundlesP smoothly equivalent to P . This is known as theČech-Dolbeault correspondence. See [50][51][52][53] for detailed explanations.
We may thus shift the starting point of theorem 4.1 to equation (4.12). That is, solving (4.12) in the case of a smoothly trivial bundle on L 5|6 is equivalent to solving the MSYM equations on C 4 under the assumption that there is a gauge in which the (0, 1)forms {A 0,1|0 a } have no anti-holomorphic fermionic directions, depend holomorphically on the fermionic coordinates [22] and are zero when restricted top for any p ∈ C 4|12 . While the former requirement on the gauge is not really a restriction since the fermionic fibres are contractible, the latter requirement coincides with the assumption of C 4|12 -triviality. 8 These transformations should not be confused with usual coboundary transformations (i.e. gauge transformations) which are mediated by unconstrained functions ga : Ua → G with g ab →g ab := gag ab g −1 b . Note that the set of all automorphisms forms a group and it can be identified with the space of global sections of the associated bundle P × Ad G, where Ad is the adjoint map.

JHEP07(2017)111
Here and in the following, the superscript '−|0' indicates that the differential forms under consideration have no anti-holomorphic fermionic directions and depend holomorphically on the fermionic coordinates.
If X is a three-dimensional Calabi-Yau manifold, then there is a globally defined nowhere vanishing holomorphic volume form Ω 3,0 , and for smoothly trivial complex principal bundles (4.12) follows from the action of holomorphic Chern-Simons theory [1] which we also obtain from section 3.3 for d = 3. This action is well-defined since under the above assumptions, A 0,1 is globally defined, that is, A 0,1 | Ua = A 0,1 a and A 0,1 a = A 0,1 b . Unfortunately, in the case of L 5|6 it is not directly possible to use this action 9 since, despite admitting a globally defined no-where vanishing holomorphic volume Ω 5|6,0 given in (4.6), the body of the supermanifold L 5|6 is five-dimensional.

JHEP07(2017)111
where the µ i are the higher products in L. The corresponding equations of motion on the coordinate patch U a read as For the action (4.17) to make sense, 10 we follow Witten [22] and assume that the connective } has no anti-holomorphic fermionic directions and depends holomorphically on the fermionic coordinates. We shall refer to (4.17) as the holomorphic higher Chern-Simons action.
It is important to stress that the gauge potential C 0,3|0 a should not be understood as a simple Lagrange multiplier because it is part of a higher connective structure and obeys a different transformation law from a Lagrange multiplier in the adjoint representation of some ordinary Lie group. Only if we forced B 0,2|0 a = 0 and chose a 3-term L ∞ -algebra arising from ordinary Chan-Paton factors as discussed in section 3.2, then we could relate the equations of motion of the field C 0,3|0 a to those of a Lagrange multiplier. This, however, corresponds to a vast restriction of the symmetries of the action (4.17). The latter is a more natural starting point for studying e.g. scattering amplitudes from a twistor string theoretic perspective as will become clear shortly.
Before moving on, we note that theČech-Dolbeault correspondence for ordinary principal bundles we discussed previously generalises to higher principal bundles. The details of a proof are found in [37,40,54,[56][57][58]. 11 Consequently, we may describe holomorphic principal 3-bundles over a complex manifold either by complex principal 3-bundles equipped with a connective structure of the form (4.16) and subject to (4.18) (the Dolbeault picture) or, equivalently, by holomorphic transition functions (theČech picture).
We now wish to interpret equations (4.18) further and connect them to theorem 4.1. To do so, we shall first assume that there is a gauge for the gauge potentials {A 0,1|0 a , B 0,2|0 a , C 0,3|0 a } in which their restriction top → L 5|6 for any p ∈ C 4|12 vanishes. By theČech-Dolbeault correspondence, this will yield a C 4|12 -trivial holomorphic principal 3-bundle (i.e. smoothly trivial on L 5|6 and holomorphically trivial on allp → L 5|6 ).
Next, we note that our constructions of principal 3-bundles and connections via thě Cech-Dolbeault correspondence are now transparent to categorical and higher categorical equivalence. In particular, any 3-isomorphism between any two Lie 3-groups G and G 10 Obviously, this action makes always sense on an ordinary five-dimensional Calabi-Yau manifold. Furthermore, the equations of motion (4.18) make also sense for smoothly non-trivial bundles. 11 These papers prove a version of theČech-Dolbeault correspondence for a relative exterior derivative along a fibration. However, the arguments are completely analogous for the∂-operator on a complex manifold X. This is the case since the higher cohomology groups with values in the sheaf of smooth differential (0, q)-forms Ω 0,q , which are needed to verify the correspondence for relative differential forms, vanish trivially as this is a fine sheaf when working in the smooth category.

JHEP07(2017)111
induces a 3-isomorphism between equivalence classes of principal G -bundles and principal G -bundles. This, in turn, induces a 3-isomorphism between the equivalence classes of solutions to the higher Chern-Simons equations (4.18) for the associated 3-term L ∞ -algebras L := Lie(G ) and L := Lie(G ). Hence, without loss of generality, we may either work with L or L to interpret the solutions to (4.18). Finally, we recall Kadeishvili's theorem [59] for A ∞ -algebras and its induced version on L ∞ -algebras. This theorem states that any A ∞ -algebra is categorically equivalent to a minimal A ∞ -algebra which is an A ∞ -algebra with m min 1 = 0. Consequently, on-shell, we can work with a categorically equivalent 3-term L ∞ -algebra that has µ min 1 = 0 so that the first equation of (4.18) simplifies to The summary of our findings is now the following statement: at the classical level, holomorphic higher Chern-Simons theory on L 5|6 described by (4.17) and (4.18) is equivalent to MSYM theory on C 4 . After choosing suitable reality conditions, this equivalence extends to MSYM theory on R 1,3 .

Comments on higher dimensions
In this last section, let us briefly comment on higher dimensional twistor spaces. There are in particular two spaces that come to mind: i) The ambitwistor space L 9|8 was introduced in [60]. It is the moduli space of light-rays in six-dimensional Minkowski superspace and it can be used to describe solutions to the MSYM equations in six dimensions.

JHEP07(2017)111
ii) The twistor space P 6|4 as defined in [57], see also [61], is the moduli space of isotropic planes in six-dimensional Minkowski chiral superspace and provides a twistorial description of solutions to N = (2, 0) superconformal field equations in six dimensions.
There is, however, an issue with both of these spaces. Neither of them is a Calabi-Yau supermanifold, not even in the weak sense necessary here. That is, they do not carry a global holomorphic measure which would be required for writing down holomorphic higher Chern-Simons action functionals. Nevertheless, we can still consider the equations of motion of appropriate holomorphic higher Chern-Simons theories, which do cover the relevant higher bundles over the twistor space to capture both maximally supersymmetric field theories in six dimensions. The ambitwistor space L 9|8 has a nine-dimensional body, and correspondingly it makes sense to consider the equations of motion of holomorphic higher Chern-Simons theory based on Lie n-algebras with n ≤ 7. Just as in the case of the ambitwistor space L 5|6 , however, the bosonic fibres of the correspondence space over twistor space are one-dimensional. Therefore we expect that the extension from Lie algebras to higher Lie algebras does not yield any further information at the level of equations of motion.
The twistor space P 6|4 has a six-dimensional body, and we can thus consider the equations of motion of holomorphic higher Chern-Simons theory based on Lie n-algebras with n ≤ 4. The bosonic fibres of the correspondence space over twistor space are now three-dimensional, and this suggests that the extension from n = 3 to n = 4 turns out to be trivial at the level of equations of motion.
Note that solutions to the holomorphic higher Chern-Simons theories on L 5|6 give rise to solutions on both L 9|8 and P 6|4 . In the first case, this involves a simple pullback along the projection L 9|8 → L 5|6 , which is detailed in [60]. The second case is more involved, since the form degree will jump: note that there is a projection from a subspace of P 6|4 to L 5|6 . By looking at the underlying cocycles in the obvious covering, it is not hard to see (at least in the Abelian case) that the pullback of a holomorphic principal 1-bundle over L 5|6 to that subspace encodes a principal 2-bundles over P 6|4 . Analogously, a holomorphic 1-form on L 5|6 will give rise to a holomorphic 2-form on P 6|4 .