Abstract

We consider the kinematics of the locally BPS super-Wilson loop in super-Yang-Mills with scalar coupling from a twistorial point of view. We find that the kinematics can be described either as supersymmetrized pure spinors or as a point in the product of two super-Grassmannian manifolds . In this description of the kinematics the scalar–scalar correlation function appearing in the one-loop evaluation of the super-Wilson loop can be neatly written as a sum of four superdeterminants.

1. Introduction

The dual superconformal symmetry is one of the more surprising and unexpected results arising from studies of scattering amplitudes in theory. It started as an observation (see [1]) of an inversion symmetry property of integrals appearing the perturbative expansion. From there it grew into a full superconformal symmetry, as shown in [2], and finally into an infinite-dimensional Yangian in [3].

The Yangian symmetry is at the core of the duality between polygonal super-Wilson loops and scattering amplitudes; in particular it contains both the conformal group acting on scattering amplitudes and the dual conformal group acting on super-Wilson loops.

Initially the duality was between polygonal Wilson loops and MHV scattering amplitudes (see [48]). Later it was extended beyond MHV for scattering amplitudes and to polygonal super-Wilson loops (see [9, 10]). However, it has proven challenging to actually use this big symmetry to constrain the functional form of scattering amplitudes or of super-Wilson loops, mainly because of IR/UV divergences (see however [1116] for progress in this area).

For the super-Wilson loops the divergences arise because of the cusps in the contour. Reference [17] asked the question of whether it was possible to avoid the cusps (and the divergences) while still preserving the Yangian symmetry. They found that this is possible but, besides the coupling to the gauge field , they had to add a coupling of the scalars as well, in a way which would correspond to the dimensional reduction of a light-like Wilson loop in ten-dimensional super-Yang-Mills theory. For a gauge theory, this super-Wilson loop readswhere , is a six-dimensional vector such that , is the Grassmann even gauge superfield, and are the Grassmann-odd components of the gauge superfield, and is the scalar superfield.

Such Wilson loops were studied soon after the formulation of the AdS/CFT correspondence, in [18, 19]. Their supersymmetrization was studied in [20].

The authors of [17] found that the Yangian symmetry is present in one-loop order for the first few orders in the Grassmann expansion. Later, [21] studied the superconformal symmetry, symmetry, and finiteness of these operators while [22] studied the Yangian symmetry to one-loop order but to all orders in the Grassmann expansion.

In [21] the scalar–scalar two-point function was computed with the result. (Here and in the following we adopt a matrix notation, which allows us to omit all the indices. The index contraction is just matrix multiplication or matrix trace. In this notation is a matrix, is a matrix, and is a matrix. The conventions are similar to the ones in [21, 22].)where point has coordinates and , , and .

This result, while not difficult to obtain, does not make the superconformal symmetry manifest. Ideally one would like to find a set of variables with simple superconformal transformations, which can be used as building blocks for superconformal and Yangian invariants (in fact, we actually only need invariance up to total derivatives). This is what we set out to do in this paper.

We describe the kinematics by two supermatrices and and two supermatrices and , such thatwhere the can be replaced by any supermatrix such that all the superdeterminants make sense. The and transform by a right action of the superconformal group and are defined up to a left action by supermatrices. The same holds for and but with left and right interchanged.

Using these variables, the scalar–scalar correlation function can be written as

We hope that this parametrization, besides making the superconformal symmetry manifest, will be useful in finding the Yangian invariants as well, along the lines of [2325].

2. Kinematics

For a antisymmetric complex matrix , there is a decomposition , where is a unitary matrix and is a block-diagonal antisymmetric matrix with blocks:Moreover, we can choose the to be real and positive.

A similar decomposition exists for real antisymmetric matrices, for which the unitary matrices in the decomposition above are replaced by orthogonal matrices.

In the following we consider , which is a antisymmetric complex matrix (therefore we set in the general discussion above). We denote by the complex conjugate matrix. Its decomposition reads .

The matrix can be identified with a six-dimensional vector. We denote the norm of this vector by . The matrices and are related by a constraint . Using the decomposition above, we find that this implies and, since and are real and positive, . We denote the common value by .

The final constraint we impose is the duality condition . It implies that ; therefore we have while initially we had .

In conclusion, with andand .

Given , there are several matrices which yield the same . For example, if , and give the same . Such matrices form a group, which is . If we also want to preserve the unitarity conditions we should take . This is a real form (the group can be also defined as the subgroup of which preserves the Hermitian form , where and is the quaternionic conjugate of ) of , called (or sometimes ).

This means that is parametrized by the length and by the coset . Using the isomorphisms , , , and , the coset is seen to be a five-dimensional sphere

A conformal transformation can be seen as an element of . We writewhere , , , and are matrices. The block decomposition of the inverse is

The condition that iswhich implies that

The complexified and compactified Minkowski space is the Grassmannian of two-planes through the origin of . A point on the Grassmannian can be described as a matrix of rank two modulo the right action of . In some appropriate coordinate patch, a representative of this coset can be written as . The matrix encodes the space-time coordinates. In Lorentzian signature is Hermitian.

A conformal transformation , described by a matrix above, acts on , the space on which the Grassmannian is defined, by left multiplication. If we perform such a transformation followed by a right multiplication by to go back to the canonical form, we find the transformation lawTherefore, .

Let us also consider a dual Grassmannian, which is the set of two-planes through the dual to the one previously considered. A point in this Grassmannian can be represented by a matrix, modulo a left action by . The conformal group acts on the right, by multiplication by the inverse. A representative of this coset can be written as . Under conformal transformations we haveWe therefore have two ways to write the transformations of : and . These two ways are related by Hermitian conjugation.

For a matrix we define . This operation has the following properties: , , , and .

The matrix is Hermitian since is Hermitian. Therefore, can be diagonalized by a unitary matrix :

The unitary matrix can be restricted to be in (in fact, even in ) and we will do so from now on. Since and is , we have and alsowhich shows that . If we denote by the norm of the momentum, then and .

Given , is not uniquely determined. In fact, can be parametrized by , and a coset . In other words, the momentum is parametrized by its zero component, its norm, and the direction of its space-like projection.

3. Pure Spinor Parametrization

Let us now solve the following equation in :Using the decomposition of and worked out above we can reduce this equation toThis equation needs to be solved in the matrix . Given a solution of this equation we can find .

When , which just corresponds to a 10D light-likeness condition, something special happens. Indeed, consider the explicit form with , . Then,If we setthen the left-hand side vanishes. If we want to see the transformationas a real-linear operator acting on a 16-dimensional real space (the space of ), then this linear operator has a real 8-dimensional kernel. Therefore, it must have a real 8-dimensional image.

If we fix the normalization of by and as a consequence , then we haveand thereforewhere we recall that is a matrix. The hermiticity of is manifest.

Next we definewithThe and satisfy some useful identitieswhere computes the Hodge dual of a antisymmetric matrix ; that is, .

We can also easily compute that

Using the definitionsand the identitiesvalid for , , and antisymmetric, we can show thatThe constraints in the first two lines above are precisely the pure spinor constraints in a 4D-reduced form. They were presented in this form by Berkovits and Fleury in [26].

We can now do the construction in the opposite direction; we start with two matrices and satisfying the pure spinor constraints; we compute , , , and by the equations above and show that they satisfy the correct constraints. A similar construction was done by Howe in [27].

Clearly and are antisymmetric and also and . To check that the other constraints are satisfied by and we need the following identity:where and are antisymmetric matrices. This identity can be shown by explicit computation.

There are four terms in the product :The last two terms vanish by antisymmetry while the first two terms combine in a trace by using (30). We obtain

The constraints for are automatically satisfied.

4. Supersymmetrization

The infinitesimal supersymmetry generator is represented by the supermatrixwhere we have adopted a block writing. The corresponding finite supersymmetry transformation is

In fact, we can combine the supersymmetry transformations with translations in a single supermatrixwhere .

The supersymmetrized versions of the bosonic quantities can be obtained by acting with the transformation matrix . For example, we findThese quantities are supersymmetric but not superconformal. Under superconformal action they transform as elements of a coset; that is, we need to include a right action by the stability group in order to preserve their form.

We want to supersymmetrize the bosonic variables discussed in the previous section. Using their transformation properties under Lorentz and -symmetry, it is easy to identify the bosonic part which should be supersymmetrized. We findThis defines to be a supermatrix and to be a supermatrix. These quantities transform covariantly under supersymmetry transformations ( under a left action and under a right action), but under general superconformal transformations they require a compensating transformation by a supermatrix (on the right for and on the left for ).

The spinor has the same transformation properties as so we can define and by replacing in the definition of and , respectively.

Here are the possible products which yield supermatrices:The identities in the first two lines above are consequences of the constraints and described previously. We will describe later how the remaining pure spinor constraints arise.

The product between such supermatrices corresponding to different points in superspace iswhere and .

Under superconformal transformations all these quantities transform homogeneously and get multiplied by a left and a right super-matrix. This implies that the super-determinant is covariant under superconformal transformations.

5. Correlation Functions

Using the expression for and in terms of pure spinor components, we find

Supersymmetrically we expect the answer for the correlation function of two scalar superfields to be obtained by replacingwhereThis is similar to the result obtained in [28], but it differs in some details. In the next section we will discuss the relation to harmonic superspace in more detail.

Explicitly, we findwhere we have used the identity , valid for all matrices.

Adding up all the four contributions reproduces and .

Other superconformal covariants can be formed by joining together two supermatrices to form a super-matrix. We definewhere we have permuted the columns in order to make it possible to compute the superdeterminant (in order to be able to compute the superdeterminant the supermatrix should be a linear map between spaces of the same structure; that is, the sequence of integers describing the dimensions of the even and odd spaces should be the same for the domain of definition and for the image). In general permuting rows or columns of different parity does not preserve the value of the superdeterminant, but in the expression above we will simply take the right-hand side to be definition of the notation.

The easiest way to compute this superdeterminant is to apply a supertranslation which preserves it:

Next, we apply the identitywhere , , , and are themselves supermatrices (see [29, page 104, Theorem ] for a proof). This yields

Finally, we need to compute the determinant in the denominator. For a matrix , where , are matrices, we haveUsing this formula and applying the constraint , we findThis identity is the supersymmetric version of the second pure spinor constraint. Since this holds for arbitrary , the dependence on can be eliminated and then the identity readswhere can be replaced by any supermatrix.

Let us check that the expression for the correlation functionhas the required symmetry properties. For example, since , we should find that . In Section 6 we show that with and thereforeMoreover,The required symmetry follows from these two identities.

6. Harmonic Superspace

In this section we drop the reality conditions and complexify all coordinates.

The results in the previous section can also be presented in the language of harmonic superspace, but we need to use two copies. The relevant superspace is the super-Grassmannian introduced by Howe and Hartwell in [30]. The super-Grassmannian was introduced even earlier for superconformal field theories by Rosly and Schwarz (see [31]). See also the book [32] by Manin, for a more mathematical treatment.

For a antisymmetric matrix, the action of the Hodge dual can be written as

Next assume that we can gauge-fixThen,whereThe equality relies on the identity , valid for matrices. This implies

Using this gauge-fixed form of the variables and we findwhere we split the and in blocks and . By an left action, the super-matrix can be transformed into a canonical formwhere

A similar analysis can be done for the and its canonical form contains the same components as . We haveIt is important to notice that the product in the left-hand side can be written as a difference. These differences are manifestly invariant under a subgroup of the superconformal group, which acts by translations on . This is one advantage of this parametrization of the harmonic variables.

In [28], Howe and West expressed the correlation function of projections of scalar superfields as a super-determinant of . More explicitly, instead of being contracted with the vector , in their work the superfield was contracted with , so the second term did not appear. For our purposes, it is essential that we keep all the contributions since the super-Wilson loop contains contractions for generic while in [28] the superfield is always contracted with a rank two matrix.

In order to add these contributions, we follow the same idea as above and, after putting and in canonical forms, we are led to introduce asThese are coordinates on a second super-Grassmannian.

So far we have shown that two of the terms in the scalar–scalar superfield correlation function can be written in a simple way in terms of harmonic coordinates:The other two contributions and do not have such a simple form. In particular, they can not be written in terms of differences of coordinates. To see this it is easiest to notice that .

The subgroup which acts by translating the variables has appeared before in [33, Section ] by Berkovits and Maldacena on fermionic T-duality. The main result of this paper is that the type IIB string background is preserved by a sequence of T-dualities in the four space-time directions and in the eight fermionic directions corresponding to a set of anticommuting chiral supercharges. Moreover, this invariance under T-duality implies Yangian symmetry of the super-Wilson loop (see also [34]).

As shown in [22] the nonchiral super-Wilson loop with a coupling to scalars is also Yangian invariant to one-loop order. Is it possible to show Yangian invariance to all orders in the ’t Hooft coupling by applying T-duality as in the chiral case? Berkovits and Maldacena also point out in Sections and of [33] that there is another set of T-dualities which also preserve the background. The directions in which these T-dualities are performed are parametrized by but can also correspond to . We should emphasize that and do not transform in the same way and in fact translations of and of do not commute.

An obvious guess is that one needs to perform the T-dualities corresponding to and then the T-dualities corresponding to , or the other way around. At weak coupling and for the chiral case, the effect of T-dualities was to pass to the dual space , and one may hope to introduce a dual space for the nonchiral superspace in a similar way. The strong-coupling situation is more confusing. For example, in the chiral case one starts with some D3-branes which after four T-dualities along the space-time directions become D(-1) instantons, which are the vertices of the super-Wilson loop. In the nonchiral case we can perform some T-dualities along four space-time directions in and then four T-dualities along the four space-time directions in . These space-time directions, however, differ by nilpotent quantities. It should be interesting to understand what kind of brane configuration gets generated by such a sequence of T-dualities.

Conflicts of Interest

The author declares that they have no conflicts of interest.