The component structure of conformal supergravity invariants in six dimensions

In the recent paper arXiv:1606.02921, the two invariant actions for 6D N=10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(1,0\right) $$\end{document} conformal supergravity were constructed in superspace, corresponding to the supersymmetrization of C3 and C□C. In this paper, we provide the translation from superspace to the component formulation of superconformal tensor calculus, and we give the full component actions of these two invariants. As a second application, we build the component form for the supersymmetric F□F action coupled to conformal supergravity. Exploiting the fact that the N=20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(2,0\right) $$\end{document} Weyl multiplet has a consistent truncation to N=10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(1,0\right) $$\end{document}, we then verify that there is indeed only a single N=20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(2,0\right) $$\end{document} conformal supergravity invariant and reconstruct most of its bosonic terms by uplifting a certain linear combination of N=10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(1,0\right) $$\end{document} invariants.


Introduction
The invariants for conformal gravity naturally arise in the study of conformal field theories on curved manifolds. Deser and Schwimmer divided the possible conformal anomalies into two families, type A and type B [1]. Type A anomalies are topological and always involve the Euler term, while type B anomalies are Weyl invariants built (in the purely gravitational case) from the Riemann tensor and its derivatives. In six dimensions, there are three independent conformal gravity invariants parametrizing the type B anomalies.

JHEP05(2017)133
Their Lagrangians are L 1 = C abcd C aef d C e bc f , L 2 = C ab cd C cd ef C ef ab , L 3 = C abcd δ a e 2 − 4R e a + 6 5 δ a e R C ebcd , (1.1) where C abcd is the Weyl tensor and R ab is the Ricci tensor. When superconformal field theories are under consideration, the type B anomalies should correspond to conformal supergravity invariants and generally the number of such invariants decreases with more supersymmetry. In six dimensions, superconformal algebras only exist for N = (n, 0) (or N = (0, n)) [2], while the requirement that conformal supergravity does not contain higher spin fields limits n < 3. Besides general interest in superconformal field theories, N = (2, 0) models have been the focus of much interest due to their somewhat mysterious nature. Their existence was actually inferred by various arguments in string theory and they are believed to provide a description of the low-energy dynamics of multiple coincident M5-branes in M-theory.
In regards to the type B anomalies, there are two obvious questions. First, how many supersymmetric invariants are permitted and what linear combinations of (1.1) do they correspond to? Second, what are their fully supersymmetric forms when couplings to the rest of the Weyl multiplet of conformal supergravity are included? While very strong evidence exists for the purely gravitational form of these anomalies in the supersymmetric cases -namely the existence of two invariants in (1, 0) and only one for (2, 0), which we discuss below -very little was known about their supersymmetric completions. In principle the answer to both questions could be investigated via indirect means by e.g. computing the conformal anomaly of various (1, 0) or (2, 0) matter multiplets coupled to (super)gravity, as advocated in [3]. 1 So far only the purely gravitational part of these computations have been performed in 6D, see e.g. [6][7][8]. Alternatively, one could construct the full supersymmetric invariants directly.
Recently, the direct path was pursued in [9], where two (1, 0) Weyl invariants were built using superspace techniques, and a separate supercurrent analysis was given that established that there were at most two such invariants. One of them was observed to contain only C 3 terms in the particular combination while the other was observed to contain L 3 at the quadratic order. As we will see, it actually contains additional cubic terms in the Weyl tensor in the particular combination We will refer to these two particular combinations as the C 3 and C2C invariants from now on.

JHEP05(2017)133
The approach of [9] involved the direct construction of the two invariants from certain conformal primary superfields. These were composites built from the super-Weyl tensor and its derivatives within a novel superspace formulation of 6D N = (1, 0) conformal supergravity, called conformal superspace. Inspired by earlier formulations in three, four, and five dimensions [10][11][12][13], it is obtained by gauging the 6D N = (1, 0) superconformal algebra in superspace. As in those cases, the superspace torsion and curvature tensors turn out to be built solely in terms of the super-Weyl tensor, which simplifies computations significantly. 2 Conformal superspace has proven useful in the context of general higherderivative supergravity actions, such as the N -extended conformal supergravity actions in three dimensions for 3 ≤ N ≤ 6 [27] and a new set of curvature-squared invariants in 4D N = 2 supergravity [28,29], which arise from dimensional reduction of the 5D mixed gauge-gravity Chern-Simons term. A major advantage of conformal superspace is that at the component level, it recovers the Weyl multiplet and transformation rules of conformal supergravity as formulated within superconformal tensor calculus, first developed in six dimensions by Bergshoeff, Sezgin and Van Proeyen [30], building off earlier work in 4D [31,32] (see also the textbook [33]). The 6D superconformal tensor calculus has proven useful in the construction of the supersymmetric extension of a Riemann curvature squared term [34][35][36] and, more recently, in the complete off-shell action for minimal Poincaré supergravity [37]. Gauged minimal supergravity [38] has also been worked out by coupling the minimal Poincaré supergravity to an off-shell vector multiplet.
Our primary aims in this paper are to describe the connection between superspace and components for 6D (1, 0) conformal superspace, and to convert the superspace invariants given in [9] to component form in the language of superconformal tensor calculus [30]. In particular, we will focus on the full set of (bosonic) terms that supersymmetrize (1.2) and (1.3). These are given respectively in (3.9) and (4.15). As another application, we present the component structure of an F 2F invariant coupled to (1, 0) conformal supergravity with F the field strength of a Yang-Mills multiplet. Its bosonic terms are given in (4.29) and coincide with the flat space construction of [39].
Although our main interest is in (1, 0) supersymmetry, it turns out one can deduce a great deal about the (2, 0) invariant once the structure of the (1, 0) invariants is known. Already quite a lot of evidence (see e.g. [6,8,40]) suggests that there should only be one type B anomaly with (2, 0) supersymmetry. Its purely gravitational part is and should be extendable to some (2, 0) conformal supergravity invariant containing additional terms involving other fields of the Weyl multiplet. To our knowledge, no analysis of the off-shell supersymmetric extension of this term has been performed. Another goal of this paper is to make a major step towards solving this problem. By analyzing the structure of the two (1, 0) conformal supergravity invariants, we will show that only a certain combination can be lifted to (2, 0) conformal supergravity; this combination has (1.4) as

JHEP05(2017)133
its purely gravitational part. We exploit the uplift to (2,0) to give for the first time a large part of the bosonic sector of the off-shell (2, 0) conformal supergravity invariant. This paper is organized as follows. In section 2 we show how to recover the Weyl multiplet from conformal superspace and derive the associated supersymmetry transformations. In section 3 we describe the component structure of the C 3 invariant, explicitly giving its bosonic sector. In section 4 we consider the C2C and F 2F invariants. We devote section 5 to a discussion of the off-shell N = (2, 0) conformal supergravity invariant. Finally, we discuss our results and present some concluding remarks in section 6.
We have also included a few technical appendices. In appendix A we provide the salient details of conformal superspace and describe how the covariant derivative algebra is deformed under a certain redefinition of the vector covariant derivative, which we will use in the main body of the paper. Appendix B provides a brief prescription for how to relate our notation and conventions to those already appearing in the literature. Along with the arXiv submission, we have included a separate supplementary file containing the building blocks (including all fermionic terms) for the (1, 0) invariants constructed in sections 3 and 4.
2 The 6D N = (1, 0) Weyl multiplet from superspace In this section, we will show how to reduce the superspace formulation of conformal supergravity in [9] to components. Let us first elaborate on the component structure of the Weyl multiplet of 6D N = (1, 0) conformal supergravity, first developed in [30]. Within the superconformal tensor calculus framework [30], one gauges the superconformal algebra in spacetime. Associated respectively with local translations, Q-supersymmetry, SU(2) Rsymmetry, and dilatations are the vielbein e m a , the gravitino ψ m α i , the SU(2) gauge field V m ij , and a dilatation gauge field b m . The remaining gauge symmetries are associated with composite connections: these are the spin connection ω m cd , the S-supersymmetry connection φ m i α , and the special conformal connection f ma . To ensure that the last three connections are composite, one imposes conventional constraints (which are in general not unique) on the vielbein curvature R(P ) mn a , the gravitino curvature R(Q) mn α i , and the conformal Lorentz curvature R(M ) mn ab . However, the independent one-forms cannot furnish an off-shell representation of a conformal supersymmetry algebra as the bosonic and fermionic degrees of freedom do not match. An off-shell representation is achieved by introducing three covariant fields: a real anti-self-dual tensor T − abc , a chiral fermion χ αi , and a real scalar field D which deform the supersymmetry algebra, the curvatures and the constraints imposed on the curvatures in a consistent way [30]. This procedure can be considered as a bottom-up approach where step-by-step one builds up a consistent off-shell multiplet for conformal supergravity.
In conformal superspace the superconformal algebra is manifestly gauged off-shell from the very beginning. Rather than construct a multiplet of gauge fields and covariant matter fields which must possess the same supersymmetry algebra (usually with modifications due to the curvature tensors and covariant fields), one must completely determine the supersymmetry algebra directly by solving superspace Bianchi identities. Typically these identities are solved by a single superfield, which encodes all component curvature tensors

JHEP05(2017)133
along with the covariant fields necessary for off-shell closure. Once the solution is found, the component fields and their supersymmetry transformations can be obtained directly by projecting to spacetime; the resulting component structure turns out to match that constructed in components directly. This method therefore can be viewed as a top-down approach.

Component fields and curvatures from superspace
We begin by identifying the various component fields of the 6D N = (1, 0) Weyl multiplet [30] within the geometry of conformal superspace [9]. For the one-forms, this identification is particularly easy as each component one-form is in direct correspondence with some superspace one-form and these can be connected in a straightforward way.
Let us start with the vielbein (e m a ) and gravitino (ψ m α i ). These appear as the θ = 0 projections of the coefficients of dx m in the supervielbein where a single vertical line next to a superfield denotes setting θ = 0. This operation can be written in a coordinate-independent way using the so-called double-bar projection [41,42] e a = dx m e m a = E a || , where the double bar denotes setting θ = dθ = 0. 4 In like fashion, the remaining fundamental and composite one-forms correspond to double-bar projections of superspace one-forms, The covariant matter fields are contained within the super-Weyl tensor W abc and its independent descendants. We define the three covariant component fields as 5 There are three additional independent descendant fields: the dimension-3/2 fermionic field X i α βγ := X i α βγ |, and the dimension-2 bosonic fields Y α β kl := Y α β kl | and Y αβ γδ := Y αβ γδ |. 6 These will turn out to be composite and expressible directly in terms of the component 3 Recall that z M = (x m , θ µ ı ) are coordinates for a local parametrization of 6D N = (1, 0) conformal superspace, see [9] and appendix A. 4 In more mathematical language, the double-bar projection is the pullback of the inclusion map embedding spacetime into superspace. 5 We have chosen the coefficients such that T − abc , χ αi and D exactly correspond to the covariant matter fields of the Weyl multiplet introduced in [30]. We always denote the anti-self-dual covariant field as T − abc to avoid confusion with the superspace torsion tensor T ab c . 6 The descendant fields of W abc are defined in appendix A. curvatures. The differential constraints on the superfield W abc forbid any independent component fields at higher dimension [9].
It should be mentioned that one can impose a Wess-Zumino gauge to fix the θ expansions of the superspace gauge one-forms, so that they are completely determined by the above component fields. This ensures that the entire content of the superspace geometry is encoded in the independent physical fields. In practice, using the above definitions eliminates the need to do this explicitly.
In conformal superspace the covariant exterior derivative is defined as with ∇ A the covariant derivatives. By taking the double bar projection of ∇, we can define the component ∇ a to coincide with the projection of the superspace derivative ∇ a |, The projected spinor covariant derivative ∇ i α | corresponds to the generator of Qsupersymmetry, and is defined so that if U = U |, then ∇ i α |U := (∇ i α U )|. Note that there is no ambiguity for the other generators as e.g. M cd U = (M cd U )|, and so local diffeomorphisms, Q-supersymmetry transformations, and so forth descend naturally from their corresponding rule in superspace (A.11), which can be written Note that in spacetime we can choose to parametrize local superconformal transformations either with a covariant diffeomorphism, generated by ξ a ∇ a , or as a normal diffeomorphism, generated by ξ m ∂ m . For Q-supersymmetry on the other hand, the natural choice in spacetime involves the covariant spinorial derivative ∇ i α | rather than the θ-derivative. The algebraic structure of these operators descends straightforwardly from superspace. For example, the component supercovariant curvature tensors arise by projecting (A.21c), where we have introduced the spin, dilatation, and SU(2) covariant derivative 10) or in terms of its tangent space decomposition Equating (2.9) and (2.11) and solving for R(P ) ab c leads to Proceeding in the same way for the other curvature two-forms gives . (2.13c) The last two terms in each of the curvatures (2.12) involve the covariant fields of the Weyl multiplet and from a component perspective are necessary for off-shell superconformal covariance. From a superspace perspective, their structure is instead dictated by the superspace geometry. Using the torsion and curvatures of [9], their explicit forms are

JHEP05(2017)133
Here we have suppressed spinor indices for legibility. Note that in (2.14d) we have used the fact that the component field X k α βγ turns out to be composite For the sake of brevity, we do not present here the expressions for R(S) ab k and R(K) abc .

Analysis of the curvature constraints
It has already been mentioned that the component spin, S-supersymmetry, and special conformal connections turn out to be composite. This property arises here just as in the purely component framework [30] because of constraints on some of the curvature tensors. In our framework, these constraints are already imposed at the superfield level and lead to The first constraint (2.16a) determines the spin connection to be where ω(e) abc = − 1 2 (C abc + C cab − C bca ) is the usual torsion-free spin connection given in terms of the anholonomy coefficient C mn a := 2 ∂ [m e n] a . It is important to note that the spin connection ω abc possesses not only the usual fermionic torsion, due to the gravitino terms, but also bosonic torsion from the covariant field T − abc . In particular, this means that there is non-trivial dependence on T − abc nested in every covariant derivative ∇ a and D a . The second constraint (2.16b) is solved by Reinserting this into the original expression for R(Q) gives This relates the field X k α βγ to the γ-traceless part of the gravitino field strength.
The third constraint (2.16c) is solved by where we have defined R a b (ω) := R ac bc (ω) and R(ω) := R a a (ω). Inserting this back into R(M ) ab cd leads to a quite involved expression; its bosonic part is is the traceless part of the tensor R(ω) ab cd . It is important to observe that C(ω) ab cd is not quite the usual component Weyl tensor due to the presence of the bosonic torsion in the spin connection.
We have already mentioned that the super-Weyl tensor superfield includes, besides the covariant matter fields, three other independent descendants, which turn out to be composite. The dimension-3/2 fermionic field X i α βγ was already analyzed, see eq. (2.22), and is related to the gamma-traceless part of R(Q) ab αi . The dimension-2 bosonic fields Y ab cd := 1 4 (γ ab ) γ α (γ cd ) δ β Y αβ γδ and Y ab kl := 1 2 (γ ab ) β α Y α β kl are given respectively by the traceless part of R(M ) ab cd and the SU(2) curvature R(J) ab ij , It should be mentioned that the constraint R(D) ab = ∇ c T − abc , derived from superspace, actually holds identically after substituting the expression for f mc into R(D). Although we do not provide the analysis here, the same is true for the R(S) and R(K) curvatures, which are determined in terms of the other curvatures due to Bianchi identities. We will return to this point at the end of the next subsection. Now let us note an interesting feature of the expressions (2.16). In contrast to the constraints employed in [30], these are S-invariant. The reason is that the superspace constraints of [9] were chosen so that the superspace derivatives ∇ i α and ∇ a have the same algebra with S α i and K a as in the 6D N = (1, 0) superconformal algebra. This simplicity comes with the price that the composite connections have nontrivial dependence on the fields T − abc , χ i and D. This renders component expressions more involved than one might desire. Therefore, instead of completing the analysis here and deriving the supersymmetry transformations etc., we will make a different choice of conventional constraints to remove the dependence on the covariant fields from the connections.

Different choices of conventional constraints
Let us consider the following redefinitions of the composite connections, where λ 1 , λ 2 , λ 3 , λ 4 and λ 5 are real constant parameters. A specific choice can eliminate the covariant matter fields from the connections, but let us remain more general for the moment. These redefinitions can be interpreted as a change of frame in superspace by redefining the vector covariant derivativê while keeping the spinor covariant derivative the same∇ i α = ∇ i α . A detailed analysis of the modifications to the conformal superspace geometry associated with∇ A is relegated to appendix A. Here we focus on the implications for the component structures.
eliminating the bosonic torsion. In terms of this new spin connection, where R a b (ω) and R(ω) are defined in terms of the tensor R ab cd (ω) as in eq. (2.13b). Now In what follows, we will keep the choices λ 1 = 2 and λ 4 = − 1 2 fixed. It is now straightforward to reapply the same component reduction procedure of the previous subsection but in the "hat" frame. Using (2.12a)-(2.12e) together with (A.28)- where we have introduced the derivativeŝ These constraints are no longer S-invariant. This is a consequence of the redefinition of the composite connections, which deforms their S-supersymmetry transformations. It is interesting to observe that for all values of λ 2 , λ 3 and λ 5 , the new dilatation curvature is zero while the SU(2) curvature is unchanged, The constraints (2.32) are solved bŷ One may confirm that these are equivalent to (2.26) with λ 1 = 2 and λ 4 = − 1 2 .

JHEP05(2017)133
Reinserting the composite S-supersymmetry connection (2.34b) into eq. (2.30b) giveŝ In the new frame the component field X ab It is important to note that the component field X k α βγ is unchanged in going to the new frame; that is, the equations (2.22) and (2.36) are completely equivalent -only the definition ofR(Q) has changed. Other useful relations, which follow from the constraint (2.32b), areγ It is clear that a particularly simple choice of frame is In this case theR(Q) abk curvature is γ-traceless. On the other hand, it can be proven that the choice λ 2 = − 5 16 corresponds to the conventional constraint forR(Q) that was employed in [30]; we refer the reader to appendix B for more details.
In principle, one can also reinsert the expression (2.34c) forf mc intoR(M ) ab cd ; in practice, we are mainly interested in the bosonic terms. These arê b] R(ω) coincides with the usual Weyl tensor when ψ m i and b m vanish. This implies that

JHEP05(2017)133
Traceless Bergshoeff et al. A special choice of λ 3 and λ 5 makes the Lorentz curvature traceless, The particular choices of λ 2 , λ 3 and λ 5 we have discussed maximally simplify the component curvatures and connections. We will refer to this choice as the "traceless" frame. It is associated with the following conventional constraintŝ Note that an alternative choice recovers the conventional constraints employed by Bergshoeff et al. [30], up to changes in notation described in appendix B. We summarize these two particular choices in table 1. So far we have not considered the curvaturesR(S) andR(K) in detail. In principle, one could find explicit expressions for them in terms ofφ m i α andf mc . In practice, such expressions are not particularly useful since these connections and their curvatures are always composite quantities. Instead, it is more convenient to follow the component technique of analyzing the component Bianchi identities, which in our case is equivalent to performing the component projection of the corresponding superspace curvatures. Projecting (A.30d) and using (2.36) giveŝ In a general frame, the special conformal curvatureR(K) is still rather complicated, which is apparent from its superspace expression (A.30e). In the traceless frame, it simplifies dramatically, and using (2.36) and (2.40) one obtainŝ

JHEP05(2017)133
There are actually other component Bianchi identities that we have not analyzed so far. These are differential conditions among the various superconformal component curvatures. In superspace, they are given by the differential equations (A.34). Their component forms can be derived by straightforward component projection.

The supersymmetry transformations
The supersymmetry transformations of the fundamental gauge connections of the Weyl multiplet can be derived directly from the transformations of their corresponding superspace one-forms, using either (A.5) or (A.35). We are mainly interested in their form in the traceless frame, but for comparison with [30] we give the results for arbitrary λ 2 , λ 3 and λ 5 , keeping λ 1 = 2 and λ 4 = − 1 2 : Here we have restricted to the Q, S, and K transformations. In the same way, one can derive the transformations δω m cd , δφ i α and δf ma , which we omit. For the covariant fields, the transformations are directly given by (2.7), which leads to Upon making the appropriate choice of parameters λ i , these transformations match those of Bergshoeff et al. [30] up to differences in notation and conventions given in appendix B.

The supersymmetric C invariant
In [9] it was shown that there were two invariants for conformal supergravity, containing C 3 and C2C terms at the component level, where C schematically represents the Weyl tensor. Moreover, the construction of each of these invariants employed the use of two different action principles formulated in terms of superforms. Each of these action principles was built out of a constrained primary superfield, which, when further chosen to be composed of the super-Weyl tensor and its covariant derivatives, yields the two conformal supergravity invariants.
In this section, we will focus on one of these action principles, which we will call the A action principle. It was first constructed using superforms in [44]; see [9] for its construction in conformal superspace. Here we will present its component form as a general density JHEP05(2017)133 formula built upon a certain composite multiplet. Afterwards, we will give the specific choice for the multiplet that generates the C 3 invariant.

The A action principle
The A action principle is based on a primary dimension 9/2 superfield obeying the reality condition A α ijk = A α ijk and satisfying the differential constraintconstraint 9 While a superfield obeying this constraint cannot itself be directly identified as a Lagrangian for some subspace of the full (1, 0) superspace, it does possess an important geometric significance. Within the context of the 6D abelian tensor hierarchy, the multiplet generated by A α ijk provides the minimal version of a five-form gauge multiplet, whose six-form field strength obstructs the closure of the linear multiplet's five-form field strength [44]. The same observation explains why it also appears naturally as the anomaly current multiplet for 6D gauge theories (see e.g. [45] for a recent discussion), as the anomalous current is encoded in a linear multiplet.
In accordance with the superform approach to the construction of supersymmetric invariants [46][47][48][49] and following very similar cases in four dimensions [50,51], it was proposed in [44] to use a closed six-form J built out of the superfield A α ijk as an action principle.
The original action principle was given in the context of SU(2) superspace [26] and later extended to conformal superspace [9]. In this latter form, it can be straightforwardly reduced to components and written where L is a scalar Lagrangian constructed as L = 1 6! ε mnpqrs J mnpqrs |, that is as the Hodge dual of the six-form J restricted to spacetime. It is explicitly given by Here we have introduced the following component fields of A α ijk : 10

JHEP05(2017)133
When it is clear from context, we will use the same symbol A α ijk for both the superfield and its lowest component.
The invariance of this general density formula under special conformal transformations is obvious once one verifies that the fields S + abc ij , E a ij , Ω aα i and F are each annihilated by K a . Invariance under S-supersymmetry can be proven by using the S-transformation of the gravitino (2.45b) together with S-transformations of the components of A α ijk : These transformation laws follow from the definitions of the component fields (3.3).
The invariance of the A action principle under Q-supersymmetry follows from its description as a closed superform. Demonstrating closure of the superform is equivalent (although generally more efficient) than demonstrating invariance under Q-supersymmetry directly from the spacetime Lagrangian. Let us briefly sketch how the latter procedure goes. The field A α ijk transforms under supersymmetry as The constraint (3.1) is encoded in the absence of a term involving S + abc ijkl := | on the right-hand side. Now the term A a ijkl does not appear in the action and so its δ Q transformation does not need to be computed directly. This can be verified by computing δ Q of the terms involving A α ijk in the action and integrating by parts any expressions with D m ξ α i to give a covariant result. The term involving A b ijkl turns out to be multiplied by a ψ 3 ξ term, and the various contractions of Lorentz and SU (2) indices project this term out. The advantage of the superform method is that this sequence of steps is encoded automatically.
It is clear that the constraint (3.1) is rather weak and describes a multiplet that is rather long, only a few components of which have been mentioned above. Nevertheless, the supersymmetry transformations of all components are dictated by closure of the supersymmetry algebra, making use of the constraint (3.1). For example, for some spinor Ξ α ijklp and some vector-spinor Ξ aα ijk . While the multiplet is rather long, only a small number of the component fields appear in the action, so that in practice one only needs some of the supersymmetry transformations. These are given below in the JHEP05(2017)133 traceless frame: Using the above supersymmetry transformations one can check that the invariant (3.2) is indeed supersymmetric. Note that the transformation of the vector-spinor Ω aα i involves two additional fields that do not appear in the action: an antisymmetric tensor C [ab] and a rank-two tensor C ab (ij) symmetric in its SU(2) indices.
We underline here that these supersymmetry transformations are sufficient to prove invariance of the action. They arise as a consequence of closure of the algebra provided the constraint (3.1) holds; therefore, there is no need to analyze the transformation properties of the entire multiplet.

The supersymmetric C 3 invariant in components
Having elaborated the component structure of the A action principle we now provide an immediate application: the derivation of the supersymmetric C 3 invariant at the component level. The suitable superfield A α ijk was constructed in [9]. At the component level, it . (3.8) One may verify that it is S-invariant and transforms under supersymmetry so that the constraint (3.1) is satisfied. The remaining composites S + abc ij , E a ij , Ω aα i and F appearing in (3.2b) can be computed directly from the supersymmetry transformations (3.7) or equivalently from the superspace definitions (3.3). This is a straightforward task but the explicit calculation becomes technically quite involved, so we made use of the computer algebra program Cadabra [52,53]. In a separate supplementary file, we give the explicit JHEP05(2017)133 expressions for each of these components. The bosonic part of the Lagrangian is given by Note that in the previous result there is some hidden dependence on the special conformal connectionf ab , which can be made explicit by usinĝ (3.10) and the results in section 2. We conclude this section by mentioning one useful consistency check of the previous result. By computing the variation of the action with respect to the D field one should obtain the component projection of the supercurrent for the supersymmetric C 3 invariant. Upon doing this, one finds a supercurrent in the two parameter family described in [9] with c 1 = 0.

The supersymmetric C2C invariant
Another conformal supergravity invariant was constructed in [9], corresponding to the supersymmetrization of C abcd 2C abcd . It makes use of a different superform based on another constrained primary superfield. Curiously, this construction, which we denote the B action principle, is not based on an S-invariant superform, which leads to explicit dependence on JHEP05(2017)133 the S-supersymmetry and special conformal connections in the component action. As discussed in [9], another choice for the basic primary superfield leads to the supersymmetric F 2F invariant minimally coupled to conformal supergravity. Both results are given below.

The B action principle
Let us begin by describing the B action principle in components. Its building block is a primary dimension 3 superfield B a ij = B a (ij) , which is pseudoreal, B a ij = B aij , and satisfies the differential constraint Its corresponding superform action principle was given in [9]. Its reduction to components, following (3.2a), is straightforward and leads to The various component fields are defined by successive application of superspace spinor derivatives, where we abuse notation somewhat by denoting e.g. Λ α ijk both as a superfield and as its lowest component. In the Lagrangian (4.2), we have written F and Ω αi for the terms involving zero and one gravitini, respectively. These are given in terms of F and Ω αi as where we have written the vector derivative and gravitino curvature in the original frame to maintain contact with [9]. As already alluded to, the connections f m a and φ mα i appear explicitly within the Lagrangian (4.2), so invariance under both special conformal and S-supersymmetry transformations holds only up to total derivatives. It does not seem possible to eliminate this JHEP05(2017)133 explicit dependence in the density formula, although we will find that at least for the bosonic action, we can eliminate most of the explicit f m a connections by judiciously adding a certain total derivative. As we are primarily working with the traceless connections when in components, it is useful to give the density formula in that case as well. Its form is slightly modified, with the hatted fields defined by The explicit supersymmetry relations between the various component fields in this action principle are quite complicated and not very enlightening, so we do not give them here.
For the actions that we will be considering, we will mainly be interested in their bosonic Lagrangians, and these amount to (4.7) It turns out that at least for the bosonic parts, it is possible to eliminate the explicit appearance of the K-connection within the bosonic action and render a K-invariant result. Adding a total derivative has the effect of removing the symmetric part of C ab from the K-connection term, giving Henceforth, we will drop the prime on the Lagrangian. The advantage of this modification is that the antisymmetric (and bosonic) part off ab is just the curl of the dilatation gauge field b m . In the circumstances we will be interested in, C [ab] will be divergenceless and so this term can be dropped. Equivalently, the Ktransformation of the other terms in (4.9) is proportional to∇ a C [ab] , and so becomes Kinvariant when this quantity vanishes; therefore, the explicit K-connection must also vanish up to a total derivative. This is the case when B a ij describes a four-form field strength

JHEP05(2017)133
multiplet (with C [ab] the Hodge dual of the supercovariant field strength) as studied e.g. in [44]. There, in addition to the constraint (4.1), the authors found that C a a ij = −4∇ a B a ij . (4.10) Both the models we construct in this paper using the B-action principle will actually satisfy this extra condition. It is possible that for this restricted class, the B-action principle might be significantly simplified by eliminating a number of the K and S connections, but it seems impossible to remove all of them simultaneously, so we have not attempted to massage its form any further.

The supersymmetric C2C invariant in components
Using the B action principle, one can directly construct the C2C invariant. The appropriate superfield B a ij should be a composite built out of the standard Weyl multiplet fields and was given in superspace (up to a change in normalization) as [9] B Its lowest component corresponds to The Lagrangian can then be built out of successive applications of superspace spinor derivatives or, equivalently, supersymmetry transformations to give the various composite objects. These are quite intricate and we made use of the computer algebra program Cadabra to help in their construction. Their full expressions are given in a supplementary file. Right now, an important feature is that (4.10) holds, and so this describes a four-form field strength multiplet. Indeed, the bosonic part of C [ab] can be written and so the bosonic Lagrangian can be compactly written as (4.9) without the final term.
Even with all these manipulations, the bosonic Lagrangian is fairly involved and it turns out to be useful to perform yet another set of integrations by parts to place it into a

JHEP05(2017)133
final form that will be useful later on. Up to a total derivative, we find where we have introduced the K-invariant fourth order operator 16) In order to extract the K-connections, which encode the Ricci tensor contributions, it is useful to have the following results, which hold up to fermionic terms:

The supersymmetric F 2F invariant in components
The supersymmetrization of the F 2F action follows a similar path as C2C, although in this case the calculations involved are significantly simpler. We will need the description of an off-shell Yang-Mills multiplet coupled to conformal supergravity. This was given in conformal superspace in appendix C of [9] where we refer the reader for more details. Let us first briefly review and elaborate on the basic ingredients that we need for our analysis. The non-abelian vector multiplet is described by a dimension 3/2 conformal primary spinor field strength superfield, Λ αi I , satisfying the constraints [9,26,54]: where the torsion and curvatures are those of conformal superspace and F AB I is the field strength two-form. In terms of the primary superfield Λ αi I the components of F AB I are The various component fields are defined as follows. The gaugino of the vector multiplet is given by the projection Λ αiI |. The component one-form v m I and its field strength F mn I are given by V m I | and F mn I |, respectively. The supercovariant field strength F ab I is given simply by F ab I |, and as usual one finds that F ab I and F mn I differ by gravitino terms, The last physical field of the vector multiplet is a Lorentz scalar and SU(2) triplet associated with the bar-projection of the following descendant superfield In this subsection, we will denote the covariant components with exactly the same name as the associated superfield and avoid the explicit bar-projection. The superfields Λ αi I , X ij I , together with F α β I = − 1 4 (γ ab ) α β F ab I , are all annihilated by K a and satisfy the following useful identities:

JHEP05(2017)133
These imply that the δ = δ Q + δ S + δ K transformations of the component fields are The transformation rule of the component connection v m I can be derived from the super- Up to differences in conventions, these match the results of [30].
To construct the F 2F action, we again exploit the B-action principle. Here the relevant composite superfield is where g IJ is the Cartan-Killing metric, which we employ to raise and lower adjoint indices. This superfield again describes a composite four-form field strength multiplet, with the bosonic part of C [ab] given by which is indeed the dual of a closed four-form. The full expressions for the various pieces of the B action principle are given in a supplementary file. Building the bosonic Lagrangian as in (4.9) and dropping a total derivative leads to Some useful results, which hold up to fermions, arê As mentioned in the introduction, it is expected that there should be only one type B anomaly for N = (2, 0) superconformal field theories with a specific relative coefficient between the bosonic C2C and curvature cubed terms. The type B anomaly should correspond to some N = (2, 0) conformal supergravity invariant. In this section, assuming such an invariant exists, we provide an alternative argument for its uniqueness (and, therefore, of the type B anomaly) and significantly extend its known bosonic terms. The Weyl multiplet for N = (2, 0) conformal supergravity was constructed in [55]. There it was noted that many of the formulae involving the N = (2, 0) Weyl multiplet can actually be obtained by considering their truncations to the N = (1, 0) case. It turns out that most of the bosonic part of the N = (2, 0) conformal supergravity invariant can be reverse-engineered in a similar way by considering its potential N = (1, 0) reduction.
A key issue is that while there exist two (1, 0) conformal supergravity invariants, only one (2, 0) invariant is expected. It is immediately apparent that neither of the two (1, 0) invariants described in the previous sections can alone originate from the truncation of a (2, 0) invariant. The reason for this derives from the presence of e.g. the term DC abcd C abcd appearing in these actions, which cannot arise from the truncation of a scalar term in the N = (2, 0) case; the covariant scalar field in the (2, 0) Weyl multiplet is D ij kl , which lies in the 14 of the USp(4) R-symmetry group, and so no such term can be built as a USp(4) singlet. However, there exists a certain linear combination of the two (1, 0) invariants for which all such terms cancel and it is this combination which could come from a potential truncation. It is worth emphasizing that since any potential (2, 0) conformal supergravity invariant has a (1, 0) truncation, this leads to a proof that there can be at most one (2, 0) conformal supergravity invariant. In order to see this in more detail and uncover many of the bosonic terms in the (2, 0) conformal supergravity invariant it is necessary to first briefly review the salient details of the (1, 0) truncation of the (2, 0) Weyl multiplet (slightly adapted to our notation and conventions).
To begin with let us recall the component structure of the Weyl multiplet of N = (2, 0) conformal supergravity [55]. The superconformal tensor calculus of [55] is based on an off-shell gauging of the N = (2, 0) superconformal group. One associates the following independent fields with the local translations, Q-supersymmetry, USp(4) R-symmetry, and the dilatations: the vielbein e m a , the gravitino ψ m i , the USp(4) gauge field V m ij , and the dilatation gauge field b m . The remaining gauge symmetries are associated with composite connections, which include the spin connection ω m cd , the S-supersymmetry connection φ m i and the special conformal connection f ma . An off-shell representation of the conformal supersymmetry algebra is achieved by introducing three covariant matter fields: Here T abc ij is anti-self-dual with respect to its Lorentz vector indices and all covariant matter fields of the Weyl multiplet are traceless with respect to the invariant antisymmetric tensor Ω ij of USp(4). These covariant fields are used to build the full covariant curvatures given in [55]. In this section we have endeavored to match the conventions of [55], but the reader should keep in mind some minor differences explained later. Here we do not provide details such as the supersymmetry transformations and expressions for the composite fields since these are given in [55].

JHEP05(2017)133
We now wish to outline how to perform the truncation. The (2, 0) Weyl multiplet should decompose into the following (1, 0) multiplets: a Weyl multiplet on which half of the supersymmetry is manifest, two gravitini multiplets associated with the extra spin-3/2 gauge fields, and a Yang-Mills multiplet associated with the extra R-symmetry connections. The structure of the additional gravitino multiplets and their couplings will be quite complicated from a (1, 0) perspective, so we will switch them off. However, we will elect to keep the additional (1, 0) Yang-Mills multiplet, which takes its values in an SU(2) gauge group, rather than turning it off (as in the analysis of [55]). This means that the truncation of the N = (2, 0) conformal supergravity action should also generate the F 2F invariant in a linear combination with the N = (1, 0) conformal supergravity invariants. This will in turn provide a useful consistency check on our results.
The truncation follows [55] very closely. We split the USp(4) indices i = 1, · · · , 4 to (i = 1, 2, i = 1, 2) and switch off the third and fourth gravitini ψ m i = 0. To preserve this last condition, we must restrict USp(4) transformations to the block diagonal form where we have chosen a basis for Ω ij so that 12 The above conditions ensure that Λ i j and Λ i j parametrize SU(2) × SU(2) local gauge transformations. Considering the supersymmetry transformation of the gravitini one must also impose V m ij = 0. We keep separately the SU(2) gauge fields V m ij =V m ij and V m i j in what follows. Since we have turned off the extra gravitini, it is necessary to constrain some of the covariant fields so that the Q-and S-supersymmetry transformations are consistent. 13 The non-vanishing covariant fields are It is important to keep in mind that the conventional constraints chosen for the (2, 0) Weyl multiplet in [55] are not "traceless", because there is a contribution of the form 12 Our conventions for εij and Ωij differ by a sign from the ones of [55]. However, our conventions for lowering a USp(4) index also differ by a sign so lowering a USp(4) index as λi = Ωijλ j is actually equivalent to lowering the index in the conventions of [55]. 13 We take as in [55] the truncated supersymmetry parameters i → ( i , 0) and η i → (η i , 0).

JHEP05(2017)133
T acd ij T bcd ij to the (2, 0) special conformal gauge field f a b . Thus upon truncating, one would have to switch to the "traceless" frame by extracting the term quadratic in T − abc in order to match formulae. We will deal with this by writing all (2, 0) formulae below in terms of a "traceless" (2, 0) gauge fieldf a b := f a b − 1 32 T acdij T bcdij . Now by considering the truncation of various terms built out of the N = (2, 0) Weyl multiplet, one can identify the linear combination of the supersymmetric C 3 , C2C and F 2F invariants that permits an uplift to (2,0). This combination is where the additional SU(2) generators are taken in the fundamental so that i V m I (t I ) i j = V m i j . As already described, this linear combination of C2C and C 3 is the only choice that eliminates the DC abcd C abcd term appearing in both the (1, 0) invariants. The additional contribution I F 2F can be determined by uplifting the first two invariants to (2, 0) and then reducing back to (1, 0); this actually provides an independent check of the entire I F 2F invariant. The result of the uplift gives most of the bosonic terms in the corresponding N = (2, 0) conformal supergravity invariant: where we have introduced∇ a := D a −f a b K b , and the K-invariant operator ∆ 4 is defined formally the same as (4.16). This action is exactly determined up to linear order in the covariant field T abc ij , while one combination of two terms quadratic in T abc ij is left undetermined by the uplift and parametrized by an unknown real constant α. No terms cubic in T abc ij may appear for group-theoretic reasons, and indeed one finds that in the corresponding (1, 0) invariant (5.4), all terms cubic in T − abc cancel. There is only one possible term involving four T abc ij and a single D ij kl , which we have given here explicitly since it can JHEP05(2017)133 be determined by its (1, 0) descendant. All other terms involving four T abc ij are denoted here O(T 4 ): these involve terms with four T abc ij and two derivatives (or a Weyl tensor or a USp(4) curvature tensor) and cannot be uniquely determined by matching to (1,0). Note that our (2, 0) conventions differ from [55] in the same way as our (1, 0) conventions differ from [30], see appendix B. In particular, one should keep in mind a sign difference in the Lorentz curvature tensor from the one in [55], as well as the redefinition of the special conformal gauge field. Finally, the USp(4) gauge field and curvature are scaled by a factor of 2 so that

Discussion
In this paper we have described the component actions for the two conformal supergravity invariants constructed in [9]. As shown by a supercurrent analysis [9], all conformal supergravity invariants must be given by the linear combination I = aI C 3 + bI C2C , where a and b are some constants, and I C 3 and I C2C are the supersymmetric C 3 and C2C invariants. The relative coefficients of the three purely gravitational pieces (1.1) then obey the linear relation already known in the literature, see e.g. [3] and references therein. As discussed in the previous section, amongst the invariants there exists a special choice which corresponds to the N = (1, 0) truncation of the N = (2, 0) conformal supergravity invariant. Identifying the choice of coefficients as the one-parameter family that permits an uplift to N = (2, 0) supergravity allowed us to prove uniqueness of the (2, 0) conformal supergravity invariant and construct many of its bosonic terms. It would be interesting to develop an alternative method to construct this invariant and recover all terms. This would be interesting not only in the context of Weyl anomalies, but also in the context of higher-derivative gravity theories [56][57][58], where the combination (1.4) of Weyl invariants particular to (2, 0) theories was observed to correspond to 6D critical gravity. It would be interesting to understand how the covariant matter fields of the standard Weyl multiplet affect the dynamics of these models when extended to supergravity. We expect that the development of (2, 0) conformal superspace in six dimensions together with the ideas advocated in [9] for the (1, 0) case will provide a viable means to complete the construction of the (2, 0) invariant. We hope the results in this paper will be useful for these applications.
While the supersymmetric C 3 and C2C invariants have been constructed in the standard Weyl multiplet, it is interesting to note that one could construct these invariants with a variant Weyl multiplet, known as the dilaton-Weyl multiplet (or type II formulation) [30]. 14 The dilaton-Weyl multiplet is obtained by coupling the standard Weyl multiplet to a tensor multiplet [59,60] and exchanging the covariant matter fields of the standard Weyl multiplet with those of the tensor multiplet, which include a scalar field σ, a gauge 2-form B ab , and a negative chirality spinor χ i α . This procedure can directly be performed for the supersymmetric C 3 and C2C invariants and would lead to new higher-derivative invariants in the dilaton-Weyl multiplet.

JHEP05(2017)133
Because the dilaton-Weyl multiplet possesses a built-in Weyl compensator in the form of the scalar field σ, it is evident that there are many other curvature invariants one can construct that have no analogues in the standard Weyl multiplet. For example, one can construct a supersymmetric R abcd 2R abcd action in addition to C abcd 2C abcd . To see this, it is important to realize that the supersymmetry transformations of certain fields built out of the dilaton-Weyl multiplet can be formally mapped to those of a Yang-Mills multiplet taking values in the 6D Lorentz algebra [36]. This property leads to a natural correspondence between an action based on a Yang-Mills multiplet and an action in terms of the dilaton-Weyl multiplet. Using this correspondence (given in component form in [36]), the supersymmetric F 2F action can be converted into an invariant containing R abcd 2R abcd .
It is worth mentioning that the YM correspondence can also be exhibited in superspace. First, one must adapt superspace to the dilaton-Weyl multiplet by introducing a compensating tensor multiplet Φ (with lowest component σ), which satisfies ∇ (i α ∇ j) β Φ = 0, and then make use of the modified derivatives D i α and the associated torsion components that were introduced in section 3.4 of [9] (with X = Φ). 15 One can then construct a primary superfield Λ αi β γ satisfying the following constraints (which are formally the same constraints as those of a vector multiplet valued in the Lorentz group): 16 The appropriate primary superfield Λ αi β γ is given by We can now describe a supersymmetric R abcd 2R abcd invariant in the dilaton-Weyl multiplet in a completely analogous way as the supersymmetric F 2F action by using the B action principle with B αβij = i Tr Λ α(i Λ βj) . It would be interesting to carry out a detailed analysis of this supersymmetric invariant elsewhere. As a side note, the primary superfield (6.2) may be used to construct other invariants. For instance, one can describe a topological invariant containing the 6D Euler term using the A action principle with A α ijk = ε αβγδ Tr Λ β(i Λ γj Λ δk) .
A natural question to ask is whether other curvature invariants with fewer than six derivatives may be built when compensating superfields, such as the tensor superfield of the dilaton-Weyl multiplet, are present. It turns out that it is possible to construct all of the curvature-squared invariants using either tensor or linear multiplet compensators, just as in five dimensions [61]. In six dimensions, there is a topological action, corresponding to the supersymmetrization of B 2 ∧ H 4 , that couples a tensor multiplet (with two-form potential B 2 ) to a four-form field strength multiplet (containing a closed four-form H 4 ). It 15 The resulting superspace geometry is equivalent to using the SU(2) superspace formulation of conformal supergravity in [26] with the torsion component Ca ij switched off. This is also equivalent to the superspace of [36]. 16 The superspace results given here are similar to the 5D N = 1 description of the Riemann curvature squared invariant in the dilaton-Weyl multiplet given in [13].

JHEP05(2017)133
can be built by starting with the A action principle with the specific choice 17 where V αi is the prepotential for the tensor multiplet (see [26,62] for details) with the superfield B αβ ij satisfying the constraints (4.1) and (4.10) corresponding to a four-form field strength multiplet [44]. A special form of this action was already constructed in [30], for the case where H 4 = Tr(F ∧ F ) is built out of a non-abelian vector multiplet. Its component action contains the terms σ Tr(F ab F ab ) and σ Tr(X ij X ij ). Employing the YM correspondence, the first of these terms gives a curvature-squared invariant in the gauge σ = 1 via Tr(F ab F ab ) → R abcd R abcd , as shown in [36] (see also [34,35]). This construction corresponds to choosing the superfield B αβij = i Tr Λ α(i Λ βj) within (6.3) and imposing the gauge Φ = 1.
A second curvature squared invariant can be built by choosing a composite abelian vector multiplet built out of a linear multiplet G ij [63]. In superspace, this corresponds to taking B αβij = iW α(i W βj) , with W αi built from the superfield G ij as Provided G ij satisfies the linear multiplet constraint ∇ (i α G jk) = 0, W αi describes a composite abelian vector multiplet. 18 The isotriplet X ij turns out to include a term RG ij /G, and the term X ij X ij within the component action generates R 2 .
A third curvature-squared invariant is possible but unlike the previous two examples, it actually requires the supersymmetric version of B 2 ∧ H 4 where the four-form field strength is not a product of Yang-Mills curvature two-forms. One must take the four-form multiplet built from the superfield B αβ ij given in (4.11). It is not hard to see that the component action must contain a term C abcd C abcd , which then completes the set of curvature-squared invariants. Because the use of the four-form field strength multiplet has to our knowledge not been considered, the last curvature-squared invariant remained undiscovered until now. The three curvature squared invariants described here, corresponding to supersymmetric extensions of R abcd R abcd , R 2 , and C abcd C abcd , extend the analogous 5D examples constructed in components [61] and superspace [13], and span the supersymmetric extensions of all possible curvature squared terms. Another curvature-squared invariant was partially constructed in [34,35] and may correspond to a linear combination of these. It would also be interesting to find a connection with the curvature-squared invariants of [65] involving supergravity coupled to matter. We leave a further discussion and analysis of these invariants, including the component expression for C abcd C abcd , for future work.

JHEP05(2017)133
We can group together the translation and Q-supersymmetry as generators of supertranslations, P A = (Q i α , P a ). Similarly we group together the special conformal and S-supersymmetry transformations by denoting K A = (S α i , K a ) and the closed subset of generators that do not contain P A by X a = (M ab , J ij , D, K A ). The superconformal algebra takes the form 3) The group associated with the subalgebra generated by X a is denoted by H.

A.2 Gauging the superconformal algebra in conformal superspace
The 6D N = (1, 0) conformal superspace is parametrized by local bosonic (x) and fermionic coordinates (θ i ), z M = (x m , θ µ i ), where m = 0, 1, 2, 3, 4, 5, µ = 1, 2, 3, 4 and i = 1, 2. In gauging the superconformal group we associate to each generator a connection one-form. In particular, we associate with the supertranslation P A a vielbein one-form These are used to construct the covariant derivatives, which have the form The superconformal algebra is gauged in superspace 20 by the following local transformations of the vielbein and the connections Here ξ A = ξ A (z) parametrizes the covariant general coordinate transformations and Λ a = Λ a (z) = (Λ ab , Λ ij , σ, Λ i α , Λ a ) are the gauge parameters associated with the structure group H. It is important to observe that in (A.5) f bc a , f bC a , and f bC A are components of the structure constants of the superconformal algebra (A.1) and (A.3). The superfields T BC A and R BC a are respectively the torsion and curvature tensors that appear as components of the two-forms 20 Note that in the conventional superspace approach to 6D supergravity the locally superconformal structure is encoded in super-Weyl transformations [26,66] analogously to the 4D case [18].

JHEP05(2017)133
From the explicit structure constants of the superconformal algebra, these tensors become This gauging leads to a consistent modification of the superconformal algebra (A.3) described by the (anti)commutation relations where the generators of the supertranslations, P A , are replaced by the covariant derivatives ∇ A . The K transformations, (A.5), can then be described by the following variation of the covariant derivatives (A.9) provided that one interprets the action of the covariant derivatives on the parameters as A covariant superfield Φ is such that under K transformations it varies with no derivatives on the parameters and can be represented as Due to (A.9), covariant derivatives of Φ transform covariantly δ K (∇ A Φ) = K∇ A Φ. The torsion and curvatures superfields, T AB C and R AB c , are necessarily covariant. A superfield Φ is said to be primary if it is annihilated by the special conformal generators, K A Φ = 0. Due to (A.1), S α i Φ = 0 is a sufficient condition for Φ to be primary. In [9] it was proven that a consistent description of the 6D N = (1, 0) Weyl multiplet in conformal superspace can be achieved by: i) choosing the gauging in conformal superspace described before that leads to the algebraic structures in (A.8);

JHEP05(2017)133
ii) requiring the covariant derivative algebra to resemble the one of 6D N = (1, 0) super Yang-Mills theory [54,[67][68][69], which takes the form where W αi is a primary dimension 3/2 operator such that iii) constraining the operator W αi to be of the form 3! (γ abc ) αβ W abc is the super-Weyl tensor [26,70,71] such that It turns out that, under the previous assumptions, the super-Jacobi identities for the algebra (A.3) uniquely fix all the superfields W(M ) αiab , W(J) αijk , W(D) αi , W(K) αi B together with the torsion and curvatures in terms of W αβ and its covariant derivatives. Moreover, W αβ satisfies the Bianchi identities We refer the reader to [9] for more details.

A.3 Different superspace frames
It is worth underlining that the action of the generators X a on ∇ A , eq. (A.8b), was chosen in [9] to be identical to the action on P A , eq. (A.3). This condition leads for example to a simple choice (A.12a) for the form of the supersymmetry algebra, but gives more complicated constraints on the vector curvatures (2.16), which contribute a number of covariant fields into the composite connections. As described in the main body of the paper, for components applications, different choices of conventional constraints can be more convenient. In conformal superspace this results in a framework where the structure constants f aB c are replaced by structure functionsf aB c . 21

JHEP05(2017)133
Moreover The choice (A.22) simplifies the component analysis and we will assume it from now on. We leave λ 2 , λ 3 and λ 5 unfixed for the moment although two sets of choices, highlighted in table 1, are particularly interesting. The first, that we denoted as "Traceless," gives rise to a superspace geometry whose projection to components, as described in section 2.3, leads to convenient constraints on the component curvatures. The second choice leads to a superspace whose component constraints are identical to the ones originally used in [30].
With the choice (A.22), the structure constantsf aA c turn out to have the following nontrivial componentŝ Note that for the choice of frame we are considering, the commutator [S α i ,∇ b ] is The torsionT AB C and curvaturesR AB c in the new frame can be computed by using the (anti)commutation relations of the ∇ A derivatives derived in [9] together with (A.17). The anticommutator of two spinor derivatives, {∇ i α ,∇ j β }, has the following torsion and curvaturesT These relations define the Q-supersymmetry transformations of the descendant superfields of the super-Weyl tensor. Their S-supersymmetry transformations are instead given by the following relations [9]:

JHEP05(2017)133
Note that the Bianchi identities for the∇ A derivatives are identically satisfied due to (A.16), (A.32) and the following useful relationŝ ∇ γ(α Y β) γij = 0 ,∇ γ(α Y γ β)ij = 4i (5 + 8λ 2 ) X γ(i X j) γ αβ , (A.34a) We conclude this appendix by mentioning that in the new frame the supergravity gauge transformations of the vielbein, the connections and of a covariant tensor superfield Φ, respectively, are (compare with (A.5) and (A.11)) where the operator K is K = (ξ A∇ A +Λ a X a ) and the gauge parametersΛ a and Λ a are related to each other byΛ a = Λ a + ξ A M A a . (A.36)

B Relating notation and conventions
As underlined in section 2 and appendix A, the "hat" frame described in section 2.3 is equivalent to the one employed originally in [30] by choosing the parameters as follows This is true up to a choice of notation and conventions. In this appendix we describe the relevant notational differences and show how to obtain the results of [30] from the ones in section 2.3. First of all, note that throughout our paper we have used chiral four-component spinor notation while in [30] eight-component spinor notation is used. To match the results, one should first reinterpret our formulae using eight component spinors. This is straightforward by using appendix A of [9] where we refer the reader for more details. Our 8 × 8 Dirac spinors Ψ and matrices Γ a are Similarly, there is a direct relation between γ a 1 ···an ,γ a 1 ···an and Γ a 1 ···an := Γ [a 1 Γ a 2 · · · Γ an] since a product of chiral γs are straightforwardly lifted to a product of Dirac Γs. The eight component spinor generators of the 6D JHEP05(2017)133 Our notation Bergshoeff et al. [30] η ab , ε abcdef , Γ a , Γ a 1 ···an , · · · η ab , ε abcdef , −iγ a , (−i) n γ a 1 ···an , · · · P a , K a , Q i , S i P a , K a , −2Q i , 2S i ξ a , λ a , ξ i , η i ξ a , Λ a K , 1 2 ε i , 1 2 η i λ ab , λ ij , σ −ε ab , 1 2 Λ ij , Λ D Table 2. Translation of notation and conventions. N = (1, 0) superconformal algebra are Similarly, all the (anti)chiral spinor fields are straightforwardly lifted to eight components, such that, e.g. ψ m α i Q i α →ψ mi Q i ,φ m i α S α i →φ m i S i . The results of [30] for the 6D N = (1, 0) Weyl multiplet may be obtained from the results of section 2 by lifting to eight-component spinors, fixing the parameters as in (B.1) and renaming the fields in accordance with table 2.
We have normalized the covariant fields T − abc , χ i and D to match those of [30].
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.