Lie polynomials and a twistorial correspondence for amplitudes.

We review Lie polynomials as a mathematical framework that underpins the structure of the so-called double copy relationship between gauge and gravity theories (and a network of other theories besides). We explain how Lie polynomials naturally arise in the geometry and cohomology of M 0 , n , the moduli space of n points on the Riemann sphere up to Mobiüs transformation. We introduce a twistorial correspondence between the cotangent bundle T D ∗ M 0 , n , the bundle of forms with logarithmic singularities on the divisor D as the twistor space, and K n the space of momentum invariants of n massless particles subject to momentum conservation as the analogue of space-time. This gives a natural framework for Cachazo He and Yuan (CHY) and ambitwistor-string formulae for scattering amplitudes of gauge and gravity theories as being the corresponding Penrose transform. In particular, we show that it gives a natural correspondence between CHY half-integrands and scattering forms, certain n - 3 -forms on K n , introduced by Arkani-Hamed, Bai, He and Yan (ABHY). We also give a generalization and more invariant description of the associahedral n - 3 -planes in K n introduced by ABHY.

Introduction

Colour-kinematics duality and the double copy [1, 2] have had a powerful influence on recent developments in scattering amplitudes. They stem from the KLT relations in string theory [3] between gravity and Yang–Mills tree-amplitudes and have been developed as a tool for the study of multiloop gravity amplitudes and more recently for applications to perturbative classical gravity calculations in connection with gravitational waves [4]. Notwithstanding the physical applications, the underlying mathematical framework is perhaps rather surprising even at tree level. There is little hint of such a double copy structure in standard approaches to perturbation theory of the classical nonlinear theories involved. The purpose of this article is to develop some of the underpinning mathematical structures. We build on observations by Kapranov in an after dinner talk [5] concerning the relevance of Lie polynomials, both in the double copy and in the Parke–Taylor expressions that pervade the subject. We also build on the recent work by Arkani-Hamed, Bai, He and Yan [6] that introduces differential forms in the space of kinematic invariants, . We tie them together by means of a double fibration correspondence that leads to a Penrose-like transform for the formulae of Cachazo He and Yuan (CHY) arising from the scattering equations [7, 8].

The first section provides an elementary review of the theory of Lie polynomials as relevant to this topic and expresses standard facts about the double copy in this language. In particular, the trivalent diagrams of BCJ are a representation of elements , the space of Lie polynomials of degree , and BCJ numerators are homomorphisms where V is some vector space of polynomials in the polarization data and momenta.

We next review the role played by Lie polynomials in the geometry of the moduli space of n points in , both in describing the compact cycles in the homology , which is isomorphic to , and dually the relative cocycles in , represented by the top degree holomorphic Parke–Taylor forms.

With these preliminaries in hand, we study a double fibration between the space of Mandelstam variables, , and where p forgets the second factor and and q is defined by the incidence relationswhich give the left hand side of the scattering equations. In the language of this correspondence, the CHY formulae are a Penrose transform, being simply the push down of the pullback of certain forms on . We investigate other more geometrical aspects of the Penrose transform. In particular, we show that the top power of the symplectic form provides a correspondence between certain -forms on that were introduced by ABHY and homology classes in . ABHY use the as numerators so that given a set of conventional numerators N one can associate a scattering -form . These arise from our double fibration via a Penrose transform also. Dually, ABHY introduce associahedral -planes in that can be used to convert a scattering form into a conventional amplitude. We give an improved and extended definition of these and show how they tie into the geometry of the correspondence.

The double copy and Lie polynomials

Colour structures for n-point amplitudes are degree n invariant polynomials of weight one in each of the n Lie algebra ‘colours’ of the external particles. These naturally arise in Feynman rules as trivalent Feynman diagrams whose vertices are the structure constants of some unspecified Lie algebra. If we fix the nth particle, and an invariant inner product on the Lie algebra, at tree-level, such a polynomial can be realized as the inner product of the nth colour with the Lie algebra element with a Lie polynomial formed by successive commutators of the other colours working through the diagram back from the nth particle. This section reviews material concerning such colour structures in the language of free Lie algebras and Lie polynomials together with their duality with words formed from permutations of the labels of the first external particles. A classic text on free Lie algebras is [9].

A review of words, Lie polynomials and trees

The space of words, , is the -dimensional linear span of wordswhere the letters are all distinct, so that the a’s define permutations on letters. There is a natural bilinear inner product on that is defined on monomials a and b byi.e. (a, b) is 1 if a and b are the same word, and 0 otherwise. A ‘Lie polynomial’ in is any expression formed by taking iterated commutators of the . An example iswhere is the commutator, . Let be the linear subspace of generated by all Lie polynomials of weight in the variables, , with weight one in each. Every Lie monomial defines a rooted trivalent tree decorated by an orientation. We denote this tree also by . An orientation of the tree can be presented as a planar embedding, where two planar embeddings have the same orientation if they differ from one another by an even number of flips. Thus, for example, the monomial is associated with the following two planar embeddings, among others.

The Jacobi identity implies the vanishing of the sum of the three four-point oriented trees corresponding to an s, t and u-channel exchange graph.

We will denote three Lie polynomials or corresponding graphs that differ only on such a four point subgraph by and , and we will consequently haveThe Lie monomial notation is useful for keeping track of the orientations of trees. Recall the inner product ( ,  ) defined on words. For a Lie monomial , is the coefficient of a in the expansion of its Lie monomial . When is not planar for the ordering a, . When is planar for the ordering a, is the orientation of that planar embedding, either or . As an application of the notation, we can writewhich is simply the expansion of the commutators in .

There are many characterizations of as a subspace of [9], and some of these have long been known in the physics literature as relations among gauge theory tree amplitudes. For instance, the U(1) decoupling identity is a consequence of Ree’s theorem.

Proposition 2.1

(Ree [10]) A polynomial is a Lie polynomial iff for all nontrivial shuffles .1

This proposition implies that , the dual vector space of , can be understood as the quotient vector space , where is the subspace generated by all nontrivial shuffles.

Lemma 2.2

(Radford [11]) The words of the form 1a are a basis for .

The direct expansion of into words iswhere |u| is the length of u. It follows thatIn other words, we have the following

Lemma 2.3

The Kleiss–Kuijf (KK) basis of given by words 1a is dual to the DDM basis of given by combs .

An immediate consequence of this Lemma is that any may be expanded in this basis asDually, given that the combs are a basis for , a polynomial w is a Lie polynomial iff there is an expansion of w in the combs . Using Lemma 2.3, we find thatBy Eq. (2.3), we find thatwhere is the reversal of u. This identity implies the Kleiss–Kuijf relations, which we can restate as a theorem about Lie polynomials.

Proposition 2.4

(Kleiss–Kuijf) A polynomial is a Lie polynomial iff the Kleiss–Kuijf relations [12] hold:

The geometry of

Write for the vector space of Mandelstam variables. In coordinates , (with , ), is the hyperplane given by the equationsIn terms of null momenta, , these variables are defined by , and so are subject to Gram determinant conditions. We ignore these Gram conditions and treat the variables as independent.2 For amplitudes, the key geometric structure in is the factorization hyperplanes given by , where andLet be the complement of I, so that by (2.7). Locality states that the only singularities of tree amplitudes are simple poles on these hyperplanes. A further requirement is that a double pole on the intersection of and occurs in an amplitude only if or . It follows that the allowed pole structure of a contribution to an n-point amplitude has poles along at most factorization hyperplanes for . Such choices are in one-to-one correspondence with trivalent (and unoriented) trees.

The double copy from biadjoint scalars to gauge and gravity theories

The double copy principle is that massless n-point tree amplitudes for a large web of important theories, including many gauge and gravity theories, can be expressed as a double copy in the formHere, the denominatorsare the propagator factors associated with the graph thought of as a Feynman graph. Further, each trivalent diagram has a pair of numerator factors and that are functions of momenta, polarization data, flavour and colour. Such factors are said to be local if they are polynomial, i.e. admit no spurious singularities.

The key additional feature required to be a BCJ numerator is that and should represent homomorphisms from Lie polynomials to some vector space V of functions,Thus, for any three graphs , and satisfying as Lie polynomials, we must also have thatFor this reason, the numerators are not uniquely determined: given a triple , and we can perform the shift for any . It also follows that BCJ numerators can be determined from their values on a comb basis byIn the case of Yang mills, the claim of BCJ [1] is thatfor some kinematic numerators depending linearly on each polarization vector and rationally (or even polynomially) on the momenta satisfying (2.12). The key nontrivial output of the double copy is that gravity amplitudes are obtained when . The same numerators determine both the colour-ordered Yang–Mills amplitude with order a is thenand gravity amplitudes byThe most basic theory in this framework is the bi-adjoint scalar theory whose colour ordered amplitudes are given byand we can introduce two underlying abstract amplitudes for these theories given bySubstituting (2.13) into (2.15), we obtain Yang–Mills amplitudes in terms of numerators and m(a, b) bywith a similar form for gravityWe briefly remark that the basic kinematic numerators for Yang Mills were obtained in [13]. Related numerators for other theories can be deduced from the Yang–Mills ones. The numerators (see Table 1) can be related to by taking some components of the polarization vectors to be in a higher dimension to the momenta, as described (at the level of the CHY integrands) in [14]. The amplitudes for the theories in Table 1 are then given bySee [4] for an up-to-date list of available numerators and their details.

Table 1

Theories arising from the different choices of numerators; see [14]

N^l	N^r
	NΓk,ϵ	NΓk,k	NΓk,ϵ,m	c_Γor(Γ,a)
NΓk,ϵ	E
NΓk,k	BI	Galileon
NΓk,ϵ,m	U(1)^mEM	DBI	U(1)^m×U(1)^m~EMS
c_Γor(Γ,a)	YM	Nonlinear σ	SU(N)×U(1)^m~EYMS	SU(N)×SU(N~)Biadjoint Scalar

We cannot simply invert (2.19) to obtain the as m(1a, 1b) is not invertible. Indeed, all theories that can be expressed in this double-copy format with one explicit Lie polynomial factor satisfy the fundamental BCJ relations [1]. There are many forms of the relations, one version being, for a word3Thus, (2.19) determines the only up to the addition of multiples of the BCJ relations. This freedom can be used to set all but of the to zero, but this is at the expense of requiring numerators that are rational rather than polynomial in the momenta, so that the remaining numerators will then have spurious poles.

A note on the kinematic algebra

Given a Lie algebra, g, with an inner product, a Lie monomial gives rise to a ‘colour factor’, , for every n-tuple of Lie algebra elements, ,This means we have a mapand it is a homomorphism, since the clearly satisfy the Jacobi identity. The BCJ kinematic numerators for Yang–Mills, , likewise satisfy the Jacobi identity leading to a suggestion that they might arise from some kinematic algebra, an as yet unidentified Lie algebra. If that were the case, the double copy would be replacing the Yang–Mills Lie algebra numerator with kinematic numerators . However, (2.12) does not imply that there is a Lie algebra, g, such that is the colour factor for that Lie algebra. This is clear for example in the case of (and the forms below). Nevertheless, there has been some interesting work to identify such a Lie algebra associated with the kinematic numerators [16-18], (2.12).

In general, a homomorphism from to a vector space of functions can be given by choosing any such functions, as in Eq. (2.13). These have been identified in the case of Yang–Mills by various authors by recursion and in particular for Yang Mills in [19].

Trees and words in

In this section, we consider the homology and cohomology of , the Deligne–Mumford compactification of the space of n distinct points on the Riemann sphere up to Möbius transformations. We first recall the basic properties of . has a normal crossing divisor D, whose top dimensional strata are the codimension one components , for , where the points in I bubble off onto a new , attached to the first by a node. Two such components, and , intersect iff or . Then, corresponds to nodal curves with 3 components; for example when , one containing the points I, the second and the third . It follows that the maximal intersections of these are points, , given by the intersection of compatible . Each such point corresponds to a nodal curve with components, each with three points that are either nodes or marked points. Such a tuple of compatible sets defines a trivalent tree, , with the components corresponding to the vertices and nodes to propagators. The 0-dimensional strata of D are thus in one-to-one correspondence with trivalent (and unoriented) trees.

The complement of the divisor in is an open top cell, , on which we can use simplicial coordinates , , with the gauge fixing . However, in order to study in the neighbourhood of the divisor, it is useful to introduce dihedral coordinates, which are a set of cross-ratios of the points. There is one such set of coordinates for every dihedral structure [20]. Given an ordering, a, the associated dihedral coordinates are the cross-ratiosfor and . Each such cross-ratio is associated with the cord, , of the n-gon labelled by the ordering, a. We will also denote by , where is the subset or its complement.

If the ordering a is compatible with the set , then the divisor component can be seen in these coordinates as the locus of [20]. The points in the divisor are, in dihedral coordinates, given as follows. Choose any ordering a such that is planar for a (i.e. ), with propagators given by the subsets . In the dihedral coordinates associated with a, there are cross-ratios corresponding to the propagators of . The point is then given, in these coordinates, by for all .

The form a good set of coordinates near . Relations between such coordinate systems near different such points are obtained from the non-crossing identitywhere for , means that the diagonal (k, l) of the polygon with vertices crosses the diagonal (i, j).

The cohomology of and Parke–Taylor forms

The dimensions of the cohomology groups of are given by the Poincaré polynomial4The cohomology ring is generated by the in the standard gauge fixing, subject to the quadratic relationsThis gives the dimension of as as claimed earlier. It also follows that the top cohomology has dimension . A natural spanning set for is provided by the Parke–Taylor formsIn our gauge fixingyielding now for a general choice of permutation a of The Parke–Taylor forms defined in this way are not linearly independent, because they satisfy the shuffle relations of 2.4,for b, c nontrivial, identically5 [23]. Thus, following Proposition 2.4, we deduce thatMoreover, by Lemma 2.2, one can take a KK basis for , given by the , for all permutations a. It follows from Eq. (2.4) that we have the following identity.

Lemma 3.1

The forms satisfy

For future reference, observe that we can write in dihedral coordinates assince, in the standard gauge fixing,In fact, for any tree compatible with the ordering a we have an associated top form,where the are (some ordering of) the subsets defining the propagators of . In particular, . is not always equal to a standard Parke–Taylor for the given dihedral structure. For the ordering 1a, an example of a tree, , such that is the ‘snowflake’, , for which one findsHowever, for a tree in which every vertex is attached to at least one external particle, does give rise to the ordinary Parke–Taylor for that dihedral structure, as observed first in Koba and Nielsen in [24]. Such a (with every vertex connected to an external particle) corresponds to a quiver without cycles, as discussed in [25].

Finally, note that is not a homomorphism from to , since the do not satisfy the Jacobi identity, which in particular implies that Eq. (2.5) cannot be used to expand in a basis of ’s.

Homology of

We saw, in Eq. (3.9), that there is an isomorphism of with . Integration gives a perfect pairing between relative cohomology, , and the homology of the complement of the divisor, [26]. It follows that the homology can be identified (as a vector space) with .6 In this section, we will review the description of the homology cycles of .

A point naturally gives rise to a class in represented by a real half-dimensional torus that surrounds . Explicitly, the cycle can be defined as the locusfor some small and choice of orientation. These cycles were first described in [27], and they generate the homology, but are not independent.7 Integrating a holomorphic top-form with evaluates the residue at [29]. Lemma 7.1 of [20] states that can only have a pole at those which are compatible with the ordering a. Moreover, it is clear that we can orient the so thatwhich leads to the following,

Lemma 3.2

The cycles represent a basis for , dual to the KK basis of :where we have chosen to orient the using the forms so that the residues are .

The relations among the top cycles are given by Jacobi-type relations.

Lemma 3.3

(Cohen8) For three trees related by Jacobi, there exists a contraction of the sum of the corresponding cycles, .

An explicit homotopy contracting is easy to visualize for , since , with boundary points , , and . Appropriately oriented, the three small circles around these points add up to zero in homology.

More generally, for , we can exhibit a contraction of by making small all ’s in definition of the cycle, Eq. (3.12), except for the corresponding to the propagator being exchanged. This restricts us to a component of D, where the same argument made for can be applied.9

It follows from Lemma 3.3 and Eq. (2.5) that,Combining this with Lemmas 3.1 and 3.2 implies,

Lemma 3.4

The integration pairing between and is

A Penrose transform for amplitudes

Our starting point is the observation that can be identified with . Our ‘twistor space’ for the Penrose transform will be , the total space of the bundle of holomorphic 1-forms on with logarithmic singularities on D. The relationship with is given by the isomorphismThis correspondence can be expressed by considering of the Koba–Nielsen factor [24], which is, in the standard gauge fixing,This gives the general section of asThe second equality shows that this is clearly invariant under translations and rescalings of the , but full Mobius invariance (i.e. vanishing when contracted with ) requires . Our normalizations give the triviality of and giving the correct dimensionality of the basis of . Note that the equations are the scattering equations.

To more clearly demonstrate the behaviour on D, given a choice of the standard ordering, we can also represent the Koba–Nielsen factor as [31]This gives the useful representation of the general section in terms of the basis This representation manifests the behaviour on the components of D compatible with this choice of ordering.

The double fibration and the CHY formulae

The twistor correspondence arises from the following double fibration:where p forgets the second factor and q is defined by the incidence relationsA point in therefore determines a section of .

A special role is played by the zero-section of as it encodes the scattering equations; given generic , the section intersects at the solutions to the scattering equations. We therefore introduce to be the -form delta function supported on . In the standard gauge fixing above, it can be defined byMore invariantly, this takes values in so that to use it in an integrand, we will need an extra factor with values in .

A first observation is that the CHY formulae can be regarded as examples of a Penrose transform in the sense that the amplitudes are obtained as the pushdown to of a pullback of an object from . The generic CHY formula takes the form:Here, are CHY half-integrands but also often depending also on polarization data, with the most basic example being m(a, b) when . There is an empirical direct correspondence between choices of and numerators with for example the CHY Pfaffian10 corresponding to the described earlier. See [14, 32] for details of half-integrands for other theories and their origins.

The geometry of the correspondence

A generic point of corresponds to a codimension- plane in . This plane is the dimensional space of sections that pass through the point. For a point lying in a top-stratum, , of the divisor, these planes lie inside the factorisation hyperplane plane . This follows from the following combination [33] of the scattering equationsand the fact that, assuming and , the second term vanishes when restricted to .

It follows that the point corresponds to the codimension- plane in given by the intersection of the planes , where are the subsets of corresponding to the momentum flowing through each propagator in . We can characterize these planes as being those planes passing through the origin with normal -formIn the next section, we will see how the arise from the double fibration and show how their signs are fixed to make them satisfy the same relations as the -forms defined by [6].

The symplectic form and the holomorphic volume form

By studying the symplectic volume form on , we find two elementary consequences of the double fibration. In this section, we describe how the symplectic volume gives rise to a transform between cycles in and the -forms, Eq. (4.11), encountered above. In the next section, we will describe the associated correspondence between -planes in and -cycles in . Distinguished classes in are seen to correspond to the planes defined by [6].

The symplectic form on can be written explicitly aswhere are the components of in these coordinates. Pulling back to , we can decompose it into a sum over a basis of with coefficients given by -forms on . This gives rise to a correspondence between -forms on and -cycles in which we explain in this section. In the next section, we describe the associated correspondence between -planes in (‘ABHY planes’) and -cocycles in .

Every cycle in defines an -form on ,It is clear that, for a Jacobi triple of trees,In other words, the map given by is a homomorphism.

To find an explicit expression for , we use the representation (4.5) of in a choice of dihedral coordinates for which is planar. This givesIt is then easily seen that integration of over picks out only those poles that correspond to propagators of . The residue thus gives a wedge product , with the overall sign determined by the orientation of . Given this explicit form of , the Jacobi relation, Eq. (4.13), can also be understood to follow from the momentum conservation relation, [6].

It follows from Eq. (2.5) that admits the expansionCombining this with Lemmas 3.4 and 2.3, we find that we can write the pull-back of the symplectic volume form asAlthough we have used the dual comb and KK bases, this relation follows in any dual basis, because and furnish representations of and , respectively, so that(4.16) is an explicit of writing the Kronecker delta. For example, when , can be written in any one of the three KK bases,More generally, we can rewrite using whatever bases we choose.

Lemma 4.1

The pullback of the symplectic volume form to can be writtenfor a basis H of , and a basis K of .

Associahedral -planes in and forms on .

An alternative way to study the correspondence is to restrict to different -planes in . This correspondence is related to the construction in [34], although they discuss different planes and polytopes. Distinguished classes in correspond to the associahedral planes found in [6].

An -plane in is defined up to translation by its tangent form . For any such plane, P, the symplectic volume form gives rise to an -form in ,Recall the definition of , given in Eq. (3.11), which is a top form associated with a dihedral structure, a, together with a tree that is compatible with that ordering. corresponds to a plane in defined as follows. Fix a dihedral structure a and letsuch that we haveby the non-crossing identity, Eq. (3.2). It follows that, for a compatible set of propagators , defining a tree that is compatible with a, we can define a planefor some ordering of the propagators chosen so thatIn particular, when we take to be the comb, , we recover the Parke–Taylor factors in the standard KK basis,For a general , in dihedral structure a, the equations of the plane associated with can be written asfor all J compatible with the ordering a and not corresponding to a propagator of . These equations bear no obvious resemblance to those defined in [6], but we will see that our planes are the same as theirs.

First, notice that the satisfyby Lemma 3.1, and that, moreover,using Lemma 3.4.

In [6], the ABHY planes are defined, for the ordering and the comb , to be defined by the equationsfor . Using the identity, we can verify that, for in ,for all , and each p. Fixing an , one can check this equation for each p. The chord is the arc kn for . The five cases to check are (i) , (ii) , (iii) , (iv) , and (v) . That Eq. (4.21) vanishes in these five cases is easily seen from Fig. 1. Conversely, we can define the ABHY plane for the ordering a and the comb to be given by the tangent formFor each factor in , we can check that it annihilates the expressions in Eq. (4.20). We have the following propertyFor fixed i, there are five cases to check, and these are shown in Fig. 2. By these arguments, we conclude that

Fig. 1

The function is annihilated by the derivatives for each arc, I, from the point n to each one of . This can be verified for each of the five cases indicated by the dashed lines in the figure. This is used in the main text to show that the -plane spanned by the derivatives are also given by linear equations of the form , for

Fig. 2

The functions given by (4.20) are annihilated by the derivatives . This can be verified by considering the arc J in each of the five cases indicated by the dashed lines in the figure. In the text this leads to the result that the planes spanned by the vectors making up the in Eq. (4.22), are also given by Eq. (4.20)

Lemma 4.2

The planes defined by the correspondence, Eq. (4.19), are the ABHY planes when is the comb for the ordering a.

Consider moreover any triangulation that has no internal triangles. I.e. every diagonal in the triangulation belongs to a ‘skinny’ triangle like the one illustrated in Fig. 2 (or, dually, every vertex in the tree is connected to an external line). In this case, the same arguments that lead to Lemma 4.2 can be applied, arc by arc, to show that:

Lemma 4.3

The planes defined by the correspondence, Eq. (4.19), are given by the equationsfor all chords (ij) compatible with the ordering that are not one of the propagators of .

It is a consequence of the results in [35] that the planes in Lemma 4.3 cut out associahedra when intersected with the positive orthant . The planes are called ‘generalized ABHY’ planes: when is the comb, the planes are the same as the original ones in [6], and when is another tree (but with every vertex connected to an external particle) the plane is one of the ‘generalized ABHY’ planes whose equations are presented in [36].

Scattering forms and CHY

The scattering forms of [6] are defined by the following sum over trees,where and are the propagators of . The -factor reduces the sum to one over trees that are planar for the ordering a.

The symplectic form discussed above gives rise to the ABHY scattering forms on from the Dolbeault formulawhereTo see that Eq. (4.25) is equal to Eq. (4.24), we use Lemma 4.1 to rewrite Eq. (4.25) asWe recognize that the integral is the CHY formula [7, 8] for m(a, b), defined in Eq. (2.17). It follows that Eq. (4.25) can be expanded aswhich is equal to (4.24) by Eq. (4.15). We conclude that

Proposition 4.4

The ABHY scattering form is given by Eq. (4.25).

More generally, given any CHY half-integrand , we can define an ABHY scattering formThis form admits an expansionThe coefficients of the forms in this sum are the BCJ numerators, , associated with the integrand . This formula is in line with earlier work on extracting BCJ numerators from CHY half integrands, especially [37]. The CHY integral as given is not changed by adding to a term that vanishes on the support of the scattering equations. Indeed, one can regard as a representative of a twisted cohomology class, as explained in [38].

All scattering forms, , obtained in this way are projective. Let be the Euler vector field on ,We can lift trivially to using the product structure. On objects pulled back from , it then acts byContracting into , we findon account of the delta functions in the integrand.

Lemma 4.5

The scattering form is a projective form on .

Finally, amplitudes are obtained by restricting the scattering forms to ABHY planes, as in [6]. In fact, the restriction of to evaluates to give the CHY formula for the integrands and , as follows from the definition of (Eq. (4.19) and subsequent lines). Moreover, for a general cohomology classwe have an associated plane, . Pairing this with the general scattering form gives the CHY amplitude for integrands N and .

Discussion

We have seen that Lie polynomials underpin the colour-kinematics and double copy framework of BCJ. We have reviewed the classical fact that the top homology of is isomorphic to the Lie polynomials, , and shown that there is a natural correspondence between and under which the CHY integral formulae can be understood as a Penrose transform. This can be extended to a transform between the holomorphic Liouville form and the differential forms introduced by [6], and also between CHY half-integrands and the scattering forms introduced by [6].

One underlying question in the subject is whether there is a kinematic algebra underpinning the kinematic numerators . Although we have seen that the colour factors of Lie algebras can provide such numerators, we have also seen many examples of numerators satisfying the Jacobi identity that do not arise as colour factors for a Lie algebra: for example, and and so on. In other words, the existence of a homomorphism from to some vector space does not of itself determine a Lie algebra.

The basic results in this paper can be taken further to yield natural recursions in field theory, which lead to both Lie polynomial and ABHY-form-based proofs of the known properties of the field theory momentum kernel and of kinematic numerators. The momentum kernel can be studied also in , where it arises in the CHY treatment of KLT orthogonality [39]. It also seems likely that the framework will naturally extend to loop integrands in the context of nodal spheres following the logic of [40-44].

The correspondence we have described is suggestive of the naive explicit formulafor numerators in terms of CHY half-integrands. However, such formulae fail for the CHY Pfaffian that one would expect to give the basic Yang–Mills kinematic numerators; the formula is compromised by the interdependence between in particular reduced Pfaffians and scattering equations. This equation is shown to be invalid as written but a slightly different formulation in a similar spirit is shown to work when represents a cohomology class in the context of twisted cohomology by Mizera [45].

We remark that the twisted cycle formulation of string integrals in [46] naturally arises in the context of the holomorphic geometric quantization of . To carry out geometric quantization, one introduces the line bundle with connection where is the canonical 1-form (symplectic potential) and plays the role of Planck’s constant. Polarized wave functions should be independent of . On pull back to the correspondence space, , the connection becomes the standard twisted exterior derivative associated with the Koba–Nielsen factor. Such a quantization of perhaps most naturally arises from ambitwistor-string path-integral [47], where the Pfaffian half-integrand for kinematic numerators arises from the RNS spin field path-integral.

There are many further connections to be followed up; we briefly mention the delta algebras of [48] and the formulations of colour-kinematics duality in [49, 50].