Non-compact duality, super-Weyl invariance and effective actions

In both N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 and N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 supersymmetry, it is known that Sp(2n, ℝ) is the maximal duality group of n vector multiplets coupled to chiral scalar multiplets τ(x, θ) that parametrise the Hermitian symmetric space Sp(2n, ℝ)/U(n). If the coupling to τ is introduced for n superconformal gauge multiplets in a supergravity background, the action is also invariant under super-Weyl transformations. Computing the path integral over the gauge prepotentials in curved superspace leads to an effective action Γ[τ,τ¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{\tau} $$\end{document}] with the following properties: (i) its logarithmically divergent part is invariant under super-Weyl and rigid Sp(2n, ℝ) transformations; (ii) the super-Weyl transformations are anomalous upon renormalisation. In this paper we describe the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 and N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 locally supersymmetric “induced actions” which determine the logarithmically divergent parts of the corresponding effective actions. In the N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 case, superfield heat kernel techniques are used to compute the induced action of a single vector multiplet (n = 1) coupled to a chiral dilaton-axion multiplet. We also describe the general structure of N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 super-Weyl anomalies that contain weight-zero chiral scalar multiplets ΦI taking values in a Kähler manifold. Explicit anomaly calculations are carried out in the n = 1 case.


Introduction
It is well known that the group of electromagnetic duality rotations of free Maxwell's equations is the compact group U(1), assuming the duality invariance of the energymomentum tensor. Almost forty years ago, it was shown by Gaillard and Zumino [1,2] that the non-compact group Sp(2n, R) is the maximal duality group of n vector field strengths F I ab = −F I ba in the presence of scalar τ i parametrising the homogeneous space Sp(2n, R)/U(n). 1 In the absence of scalars, the largest duality group proves to be U(n), the maximal compact subgroup of Sp(2n, R). These results admit a natural extension to the case when the pure vector field part L(F ) of the Lagrangian L(F, τ ) is a nonlinear self-dual theory [7][8][9][10][11] (see [6,12,13] for reviews), for instance the Born-Infeld theory. However, in 1 The Gaillard-Zumino approach was inspired by patterns of duality in extended supergravity theories [3][4][5], see [6] for a review.

JHEP07(2020)222
the case that L(F ) is quadratic, the F -dependent part of L(F, τ ) is also invariant under the Weyl transformations in curved space. Then, computing the path integral over the gauge fields leads to an effective action, Γ[τ ], such that its logarithmically divergent part is invariant under Weyl and rigid Sp(2n, R) transformations, see, e.g., [14,15] for formal arguments. Both symmetries are anomalous at the quantum level, but the logarithmically divergent part of the one-loop effective action is invariant under these transformations. This simple observation offers a powerful tool to construct higher-derivative actions with required symmetry properties as induced actions. For instance, this idea was employed in an important paper by Buchbinder, Pletnev and Tseytlin [16] to derive the bosonic sector of N = 4 conformal supergravity. 2 The analysis of ref. [16] was based in part on the earlier results of Osborn [19] who studied the effective action, Γ[τ,τ ], obtained by integrating out the quantum gauge field in the model with classical action L(F, τ,τ ) = − 1 4 e −ϕ F ab F ab + 1 4 aF ab F ab , τ = a + ie −ϕ . (1.1) HereF ab is the Hodge dual of F ab , and a and ϕ are the axion and dilation, respectively. The logarithmic divergence of the effective was shown to have the form where D 2 τ := ∇ a ∇ a τ + i Im τ ∇ a τ ∇ a τ , (1.3) and α and β are numerical parameters. The Lagrangian (1.2) is manifestly invariant under SL(2, R) transformations The functional d 4 x e L proves to be Weyl invariant since the scalar field τ is inert under the Weyl transformations. The Weyl invariance follows from the fact that the Fradkin-Tseytlin (FT) operator [20,21] is conformal. 3 Soon after Osborn's work [19] several attempts were made to extend his construction to supersymmetric case. So far no success has been achieved, mainly due to the following two JHEP07(2020)222 reasons. Firstly, the N = 1 supersymmetric extension of the FT operator was constructed only relatively recently [24,25] (and its N = 2 cousin was presented in [25]). Secondly, the effective action corresponding to the vector multiplet model (4.1) proves to involve functional determinants of non-minimal differential operators, and these are much harder to evaluate in superspace than in ordinary quantum field theory. One of the goals of this work is to provide such a supersymmetric generalisation of [19]. Actually the scope of the present work is much broader, and in the remainder of this section we briefly describe the main results obtained below.
For every Kähler manifold M, we construct a N = 1 locally superconformal fourderivative action which is formulated in terms of covariantly chiral superfields Φ I taking values in M. This action is invariant under (i) target-space isometries; and (ii) super-Weyl transformations of the supergravity multiplet. It is given by eq. (2.6) and involves two independent structures. The first term in the right-hand side of (2.6) contains a σ-model extension of the N = 1 supersymmetric FT operator. The second term in (2.6) involves the Riemann curvature tensor of M. 4 In the case that M is the Hermitian symmetric space Sp(2n, R)/U(n), (2.6) determines the logarithmically divergent parts of the effective action for n vector multiplets coupled to Φ. 5 We also present the general structure of N = 1 super-Weyl anomalies that contain weight-zero chiral multiplets Φ I taking values in M. The final expression for the anomaly is given by eq. (3.17). This anomaly is universal. Given a super-Weyl invariant theory coupled to background sources Φ I , the anomaly (3.17) should characterise the effective action obtained by integrating out the quantum fields. Analogous anomaly results for the N = 0 and N = 2 cases are known in the literature [28,29], and this paper fills a gap concerning N = 1 superconformal symmetry.
When dealing with N = 1 local supersymmetry, me make use of the Grimm-Wess-Zumino geometry [30,31] which underlies the Wess-Zumino formulation [32] for old minimal supergravity (see [33] for a review). Our two-component spinor notation and conventions follow [34]. The algebra of supergravity covariant derivatives is given in the appendix. To describe N = 2 (conformal) supergravity, the so-called SU(2) superspace formulation [35] is used.

Superconformal higher-derivative actions
In this section we describe N = 1 and N = 2 locally superconformal higher-derivative actions which are formulated in terms of chiral scalar superfields parametrising a Kähler manifold, for example the Hermitian symmetric spaces Sp(2n, R)/U(n). Such actions occur, for instance, as the logarithmically divergent part of effective actions in Sp(2n, R) dualityinvariant theories. 4 N = 2 supersymmetry uniquely fixes the relative coefficient α in (2.6) to be α = 1. 5 Several global parametrisations of Sp(2n, R)/U(n) and the corresponding Kähler potential are described, e.g., in [6,26,27].

Local N = 1 supersymmetry
Let Φ be a covariantly chiral scalar superfield,DαΦ = 0, which is neutral with respect to the super-Weyl transformations (A.4), δ σ Φ = 0. It was demonstrated in [25] that the following functional is super-Weyl invariant. The proof given in [25] makes use of the fact that I transforms into The higher-derivative superconformal action I possesses non-trivial generalisations which will be described below. Now we assume, in addition, that Φ parametrises the upper half-plane, and therefore (Φ −Φ) −1 exists. 6 Consider the following locally supersymmetric action where α is a real parameter, and are SL(2, R) covariant derivatives. The action proves to be super-Weyl invariant. It is also invariant under fractional linear SL(2, R) transformations The above model can be generalised as follows. Let K(Φ I ,ΦJ ) be the Kähler potential of a Kähler manifold M. We introduce a higher-derivative locally supersymmetric theory described in terms of covariantly chiral scalar superfields Φ I ,DαΦ I = 0, which are neutral under the super-Weyl transformations, δ σ Φ I = 0. The action is given by

JHEP07(2020)222
where g IJ = ∂ I ∂J K is the Kähler metric, R IJKL (Φ,Φ) the Riemann curvature of the Kähler manifold, and We recall that the Christoffel symbols Γ I KL and the curvature R IJKL are given by the expressions It may be shown that the action (2.6) is super-Weyl invariant. This action is manifestly invariant under Kähler transformations with Λ(Φ) being an arbitrary holomorphic function.

Local N = 2 supersymmetry
Let X be a covariantly chiral scalar superfield,Dα i X = 0, defined to be invariant under the N = 2 super-Weyl transformations [35], δ Σ X = 0, with the super-Weyl parameter Σ being covariantly chiral,Dα i Σ = 0. As in the N = 1 case, we assume that (X −X) −1 exists. The following locally N = 2 supersymmetric action is obviously super-Weyl invariant. Moreover, it is invariant under SL(2, R) transformations The superfield Lagrangian in the higher-derivative action (2.10) is proportional to the Kähler potential K(X,X) = − ln i(X −X) of the Hermitian symmetric space SL(2, R)/U(1).
The above model has a natural generalisation given by where the Kähler potential K is the same as in (2.6). The action is super-Weyl invariant if the chiral multiplets X I are inert under the super-Weyl transformations. Using the standard properties of SU(2) superspace [35], it follows that the action (2.12) is super-Weyl invariant. Due to the important property [36,37] which holds for any covariantly chiral scalar Σ, we observe that the action (2.12) is also invariant under Kähler transformations K(X,X) → K(X,X) + Λ(X) +Λ(X) , (2.14) with Λ(X) being an arbitrary holomorphic function. It follows that (2.12) is invariant under isometry transformations of the Kähler space. Superconformal actions of the form (2.12) were discussed in [38] in the rigid supersymmetric case, and later in the supergravity framework [25,28,39]. In ref. [38] X was identified with the primary dimension-0 chiral scalar where W is the field strength of a vector multiplet,Dα i W = 0, and is the chiral projection operator. The field strength W is a reduced chiral superfield, For several Abelian field strengths W I , higher-derivative actions were considered, e.g., in [40,41]. Locally supersymmetric extensions of such actions were analysed, e.g., in [39].

Relating the N = 2 and N = 1 actions
The models (2.6) and (2.12) are intimately related to each other. Their relationship is most transparent in Minkowski superspace, with D i α andDα i being the corresponding spinor covariant derivatives, i = 1, 2. Then the N = 2 chiral superfield X I ,Dα i X I = 0, is equivalent to three N = 1 chiral superfields Φ I , λ I α and Z I defined as follows: The N = 2 supersymmetric action (2.12) reduces to N = 1 Minkowski superspace where we have defined The superfield Z I transforms as a target-space vector under holomorphic reparametrisations of the Kähler manifold, but it is not chiral unlike Z I . The first term in (2.20) is the flatsuperspace version of (2.6) with a = b. Thus N = 2 supersymmetry fixes the relative coefficient between the two structures in (2.6).

JHEP07(2020)222
The curved superspace version of the quadratic spinor sector in (2.20) has recently been described in [42]. That work introduced the model for a covariantly chiral spinor Ω α that is primary of dimension 1/2, The corresponding action is super-Weyl invariant, as follows from (A.4) and (A.5b). This model is a special representative of the family of superconformal higher-derivative actions [42] formulated in terms of covariantly chiral rank-n spinors Ω α(n) := Ω (α 1 ...αn) of dimension (1 − n/2),

Super-Weyl anomalies
This section is devoted to N = 1 and N = 2 super-Weyl anomalies that contain weight-zero superconformal chiral multiplets parametrising a Kähler manifold M.

N = 1 super-Weyl anomalies
There are two different contributions to N = 1 super-Weyl anomalies. One of them is given in terms of the supergravity multiplet. Modulo cohomologically trivial contributions, the super-Weyl variation of the effective action is The functional structures which contribute to the anomaly (3.1) were contained in the chiral super-b 4 coefficient computed in 1983 by McArthur [43,44]. His work was followed by the cohomological analysis of Bonora, Pasti and Tonin [45] who arrived at the same structures. The explicit calculations of the super-Weyl anomalies for the scalar and vector multiplets were carried out in [46]. Various effective actions generating the anomaly (3.1) were proposed in [24,[47][48][49].
The second type of super-Weyl anomalies is determined by local couplings in a superconformal field theory. In general, such an anomaly is given by

JHEP07(2020)222
compare with the N = 2 super-Weyl anomaly (3.20). This anomaly obeys the Wess-Zumino consistency condition, [δ σ 2 , δ σ 1 ] Γ = 0, since as a consequence of the following identity [24]: At this point an important comment should be made. It follows from (3.4) that the operator is superconformal in the sense that it has the super-Weyl transformation law ∆ c is the N = 1 supersymmetric extension of the Fradkin-Tseytlin operator (1.5). This operator played important roles in the analyses carried out in [24,50]. The super-Weyl anomaly (3.2) may be rewritten in a different form, which is more useful for analysing the behaviour of δ σ Γ under Kähler transformations (2.9). One obtains Making use of the identity [24]

JHEP07(2020)222
it follows that (3.8) can be recast as the super-Weyl variation of a local functional, and therefore If we now introduce the functional then its super-Weyl variation may be shown to be where ∇ 2 Φ I is given by (2.7), and ∇ ααDαΦĪ is defined as 14) The super-Weyl anomaly (3.13) is manifestly Kähler invariant. Finally, we can recast the anomaly (3.13) in a more compact form by making use of the identity This identity shows that the functional has the following super-Weyl variation This is our final expression for the super-Weyl anomaly determined by local couplings in N = 1 superconformal field theories.

N = 2 super-Weyl anomalies
It is a curious fact that, in the literature, the general structure of N = 2 super-Weyl anomalies has been understood better than in the N = 1 case. Unlike the N = 1 case, however, no supergraph calculation of the N = 2 super-Weyl anomalies has yet appeared. There are two different contributions to the N = 2 super-Weyl anomaly. One of them is given in terms of the supergravity multiplet [51] and has the form for some anomaly coefficients a and c. Within the SU(2) superspace approach [35], the super-Weyl parameter Σ is an unrestricted chiral superfield. The chiral rank-2 spinor W αβ = W βα in (3.18) is the N = 2 super-Weyl tensor. The composite chiral scalar Ξ in the second term of (3.18) is the N = 2 counterpart of the local operator [24] 3.19) in N = 1 supergravity. 7 The composite Ξ has several fundamental properties [25,51] which are also important for the construction of N = 2 Liouville SCFT in four dimensions [53]. The other sector of the N = 2 super-Weyl anomaly is determined by local couplings in a superconformal field theory. According to [28,29], it is given by  [28,29] to which the reader is referred for the technical details. In the case of the Hermitian symmetric spaces Sp(2n, R)/U(n), the Kähler potential K(X,X) can be chosen to be a globally defined function on the target space (see, e.g., [27]). Choosing a different globally defined Kähler potential corresponds to a different scheme.

Quantisation
We consider the model for a massless vector multiplet coupled to a dilaton-axion chiral superfield Φ,DαΦ = 0, in curved superspace. Its dynamics is described by the action
Making use of the chiral action rule the action (4.1) can be rewritten in the form We choose the following gauge-fixing term Then the complete action is given by where we have introduced the second-order operator in which the operator v in the first term is The operator ∆ v reduces to v in the Ξ = 1 case. 8 Within the N = 1 Poincaré supersymmetry, SL(2, R) duality invariant couplings of the dilaton-axion multiplet to general models for self-dual supersymmetric nonlinear electrodynamics were described in [12], while the case of the supersymmetric Born-Infeld action [54,55] was first considered in [56]. The results of [12] were generalised to supergravity in [57].

JHEP07(2020)222
A useful gauge condition is with η a background chiral superfield. Then the Faddeev-Popov operator is H (R) , where, in general, H (ψ) denotes the following operator For the effective action we obtain where Det H (R) stands for the ghost determinant. Since the right-hand side is independent of η andη, we can average it over these superfields with weight where H Ξ denotes the following operator (4.14) The operator H Ξ is defined to act on the space of column-vectors η η ,Dαη = 0 such that (4.15) The quantisation procedure described leads to the following representation for the effective action and therefore Here Γ v is the effective action for the vector multiplet in a supergravity background [34,46]. It is obtained from Γ v [Φ,Φ] by setting Φ = i. The functional Γ v was studied in [34,46]. It is the second and third terms in (4.17b) which contain the dependence of Γ v [Φ,Φ] on Φ andΦ. The latter functionals will be studied in the next sections.

Generalised Schwinger-DeWitt representation
Associated with a second-order differential operator of the form is the heat kernel U (z, z |s) which satisfies the equation and the initial condition Keeping in mind the structure of the operator ∆ v , eq. (4.8), it will be assumed that with η ab the Minkowski metric and Ω a nowhere vanishing background real superfield. We look for a solution to (5.2) by making the ansatz U (z, z |s) = − i (4πs) 2 e iσ(z,z )/2s ∞ n=0 a n (z, z )(is) n , (5.4) where the symmetric bi-scalars σ and a n obey the equations na n + Ω AB D B σD A a n + 1 2 (∆σ − 4)a n = ∆a n−1 , n > 0 .
The bi-scalars σ and a 0 should obey certain boundary conditions in order ensure the initial condition (5.2b), including the following:

JHEP07(2020)222
Here we do not give the complete list of boundary conditions. The important for our analysis result, which follows from the above relations, is the coincidence limit It is the coefficient a 2 (z, z) which contributes to the logarithmically divergent part of the effective action. In the case that ∆ coincides with the operator (4.8), the corresponding kernel (5.4) will be denoted U v (z, z|s), and boldface notation will also be used for the bi-scalars in the right-hand side of (5.4).
A typical contribution to the effective action is Γ = i 2 Tr ln ∆, and this can be regularised as with ω the regularisation parameter. In the limit ω → 0, one obtains

Evaluation of the heat kernel in flat superspace
To compute the Ξ-dependent contributions from the second term in (4.17b), it suffices to work in flat superspace and analyse the heat kernel of the operator for some real vector superfield G αα . When computing the heat kernel in superspace, it is convenient to deal with the supersymmetric interval [58] We introduce a Fourier transform for the bosonic part of the superspace delta function, Making use of this representation, for the heat kernel (5.10) at coincident points we obtain

JHEP07(2020)222
where we have denoted As usual, it is useful to rescale, k a → s −1/2 k a , the integration variable in (5.13). Then it follows from (5.13) that U v (z, z|s) indeed has the asymptotic form (5.7). We denote a n (z, z) the corresponding DeWitt coefficients. In computing the DeWitt coefficients a n (z, z), the generic term in the Taylor expansion of the right-hand side of (5.13) will involve Gaussian moments of the form They can be computed by introducing a generating function Z(J) defined by Then for Z(J) one gets The result of calculation of the coefficient a 2 (z, z) is where we have denoted The expression (5.18) can now be lifted to curved superspace by replacing D A → D A . Recalling the expression for Ξ in terms of Φ and its conjugate, Ξ = i(Φ − Φ), we obtain 20) where ∇ 2 Φ and∇ 2Φ are defined in (2.4). This result can also be derived directly in curved superspace by making use of either (i) the recurrence relations (5.5); or (ii) superspace normal coordinates [65]. The latter approach has recently been advocated in [64]. We note that the a 2 -coefficient for the minimal operator (4.9) was computed in [46]. The result is a 2 (z, z) = −G a G a . Then, the logarithmically divergent contribution from in the second term in (4.17b) is determined by This contribution is exactly of the type given by (2.3).

Super-Weyl anomaly
Here we compute the super-Weyl variation of the functional which is the second term in (4.17b). We are going to work with its regularised version where U v (s) is the heat kernel associated with the operator (4.9). The super-Weyl variation of ∆ v is readily determined by representing this operator as where Φ,Φ and Ξ are viewed as operators. With the understanding that ∆ v acts on the space of scalar superfields, the super-Weyl variation of ∆ v can be represented as The super-Weyl transformation of v is obtained from (5.25) by replacing ∆ v → v and setting Ξ = 1. These transformations and certain Ward identities, similar to those described in appendix C of [46], should be used to derive the super-Weyl variation of (5.23). The result is In the limit ω → 0 we obtain

JHEP07(2020)222
Here the dynamical variables are the chiral scalar superfield Ψ and its conjugateΨ. They couple to a background scalar superfield V. At the classical level, the action (6.1) possesses two local symmetries associated with the background fields: (i) it is invariant under gauge transformations (ii) it is invariant under super-Weyl transformations acting on Ψ and V as follows: Both symmetries are anomalous at the quantum level. The anomalies were computed in [46,61], and our discussion here will build on the results of these publications. and can be expressed as The operators H Ξ and P Ξ +− , P Ξ −+ are defined in (4.14) and (4.15), respectively. In the right-hand side of (6.5), Tr + denotes the chiral trace, Here A is an operator acting on the space of covariantly chiral scalar superfields, and δ + (z, z ) is the chiral delta-function defined by (6.10).

Generalised Schwinger-DeWitt representation
As follows from the representation (6.5), Γ[Ξ] can be expressed in terms of the heat kernels U c (z, z |s) and U a (z, z |s) of the chiral (∆ c ) and antichiral (∆ a ) operators, respectively, which are defined as The action of ∆ c on a covariantly chiral scalar η,Dαη = 0, is given by

JHEP07(2020)222
The chirality of ∆ c η implies the existence of a symmetric bracket, Ψ 1 Ψ 2 = Ψ 2 Ψ 1 , on the space of covariantly chiral scalars: For arbitrary chiral scalars Ψ 1 and Ψ 2 , their bracket Ψ 1 Ψ 2 is chiral. This may be checked using the algebra of covariant derivatives (A.2). Setting Ξ = 1 in (6.9) gives the bracket introduced in [34,46]. It should be remarked that both operators (4.8) and (6.8) are non-minimal. Instead of dealing with ∆ v , one can equivalently work with the minimal symmetric operator , which is of the type studied in [34,46]. 9 However, such a transformation is not possible for the chiral operator ∆ c , eq. (6.8).
Let us introduce the heat kernel associated with the chiral operator ∆ c , The heat kernel is chiral in both superspace argument z and z . By construction, it obeys the equation and the initial condition U c (z, z |s → 0) = δ + (z, z ) . (6.12) We look for a solution to (6.11) by making the ansatz Here the symmetric bi-scalars σ and a n are covariantly chiral and obey the equations 14) where we have introduced the differential opeartor (6.17) 9 A similar approach was pursued by Osborn in the non-supersymmetric case [19].

JHEP07(2020)222
The bi-scalars σ c and a c 0 should obey certain boundary conditions in order ensure the initial condition (5.2b), including the following: The complete set of boundary condition in the Ξ = 1 case is given in [34,46]. The heat kernel at coincident points is It is U c (z, z|s) and its antichiral twin U a (z, z|s) which determine the regularised effective action In order to derive the asymptotic expansion (6.19), one does not need to assume that U c (z, z |s) has the form (6.13). It suffices to start from the definition (6.10) and then make use of the superspace normal coordinates [65] in order to carry out calculations similar to those employed in [43,44,[62][63][64].
The DeWitt coefficient a c 2 (z, z) was computed in [61]. It is given by Setting W α = 0 in (6.21a) gives the DeWitt coefficient a c 2 (z, z) corresponding to the chiral d'Alembertian with η being a chiral scalar superfield. The coefficient a c 2 (z, z) was computed for the first time in [43,44] and then re-derived in [46] using an alternative technique. Now, the logarithmically divergent contribution from in the third term in (4.17b) is determined by the chiral operator a c 2 (z, z) − a c 2 (z, z) = (6.24)

Chiral and super-Weyl anomalies
Here we briefly re-derive the chiral and super-Weyl anomalies in the model (6.1) following [46,61]. Under the chiral transformation (6.2), the operator P Ξ +− defined by (4.15) varies by the rule Then making use of (6.7) and (6.10) leads to Due to the identity U c (s)P Ξ +− = P Ξ +− U a (s), we obtain From here we can read off the chiral anomaly where Γ ren [Ξ] stands for the renormalised effective action. In the flat superspace limit (6.28) reduces to the results obtained by Clark, Piguet and Sibold [66] more than forty years ago. Analogous calculations can be used to compute the super-Weyl anomaly. An infinitesimal super-Weyl transformation acts on P Ξ +− as This leads to As a consequence, the super-Weyl variation of the renormalised effective action is Both anomalies (6.28) and (6.31) are determined by the chiral coefficient a c 2 (z, z). The above results allow us to compute the super-Weyl anomaly corresponding to

Concluding comments
We are finally prepared to read off the Φ-dependent sector of the logarithmically divergent part of the effective action (4.17b). It is given by Making use of the relations (5.21), (6.23) and (6.24), for the right-hand side we obtain This induced action is of the form (2.3).
We are also in a position to determine the super-Weyl variation of the renormalised effective action (4.17b). Making use of the relations (5.27) and (6.34) gives This anomaly is of the form (3.17).
The results of the last three sections can be extended to the case of n vector multiplets, with the duality group SL(2, R) ∼ = Sp(2, R) being replaced with Sp(2n, R). For certain Hermitian symmetric spaces including Sp(2, R)/U(1) and CP n , For a generic Kähler manifold M, however, the last term in (2.6) and the following functional d 4 xd 2 θd 2θ E g IJ (Φ,Φ)g KL (Φ,Φ)D α Φ I D α Φ KDαΦJDαΦL (7.5) are independent super-Weyl invariants. In general, (7.5) should be added to (2.6), although it is not present in the N = 2 case, as follows from (2.20). Similarly, the super-Weyl Here X is a background chiral scalar superfield containing the dilaton and axion as the lowest component, and W is the field strength of a vector multiplet. The latter is a reduced chiral superfield,Dα see [35] for the technical details. There are three different realisations for the unconstrained prepotential V in (7.7). One option is to introduce a curved-superspace extension of Mezincescu's prepotential [67] (see also [68]), V ij = V ji , which is an unconstrained real SU (2) triplet. The expression for W in terms of V ij was derived in [69], and is given by where∆ is the chiral projection operator [36,37]. Another option is the analytic prepotential V ++ which originates within the harmonic superspace approach [70,71]. Finally, one can work with the tropical prepotential V (ζ) corresponding to the projective superspace approach [72][73][74]. It is not completely obvious which of the three prepotential is the best choice to perform loop calculations in supergravity.
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.