Trace anomaly and counterterms in designer gravity

We construct concrete counterterms of the Balasubramanian-Kraus type for Einstein-scalar theories with designer gravity boundary conditions in AdS4, so that the total action is finite on-shell and satisfy a well defined variational principle. We focus on scalar fields with the conformal mass m2 = −2l−2 and show that the holographic mass matches the Hamiltonian mass for any boundary conditions. We compute the trace anomaly of the dual field theory in the generic case, as well as when there exist logarithmic branches of non-linear origin. As expected, the anomaly vanishes for the boundary conditions that are AdS invariant. When the anomaly does not vanish, the dual stress tensor describes a thermal gas with an equation of state related to the boundary conditions of the scalar field. In the case of a vanishing anomaly, we recover the dual theory of a massless thermal gas. As an application of the formalism, we consider a general family of exact hairy black hole solutions that, for some particular values of the parameters in the moduli potential, contains solutions of four-dimensional gauged N=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=8 $$\end{document} supergravity and its ω-deformation. Using the AdS/CFT duality dictionary, they correspond to triple trace deformations of the dual field theory.


Introduction
A well-known check of the AdS/CFT duality [1] is the exact matching of the AdS 5 vacuum energy and the Casimir energy of the large N limit of SU(N ), N = 4 super Yang-Mills on S 3 [2,3]. Technically speaking, this result was implemented by fixing the boundary data, namely imposing Dirichlet boundary conditions. Indeed, AdS is not globally hyperbolic, which means that besides initial conditions it is necessary to also provide boundary conditions for the evolution of a given field so that is well-defined. This was analyzed in-extenso for the linearized dynamics of spin-0, 1, and 2 fields in AdS [4], where, in particular, all the self-adjoint extensions for the relevant spin-0 Sturm-Liouville operators were found for scalar fields of mass m, which satisfy where l is the AdS radius, D is the spacetime dimension, and m 2 BF is the Breitenlohner-Freedman (BF) bound [5,6]. Furthermore, the backreaction of these generalized boundary conditions was considered, and its contribution to the spacetime energy has been computed in different ways [7][8][9][10][11][12][13][14].
One of the interesting outputs of [12] is the existence of logarithmic branches of nonlinear origin at certain values of the scalar field mass. In particular, this occurs when the JHEP03(2016)117 scalar field mass is the one of the scalars of four-dimensional gauged N = 8 supergravity, namely m 2 = −2l −2 . It is interesting to note that the interpretation of the AdS invariant boundary conditions as a multi-trace deformation of the dual theory was given before this exhaustive analysis in [15] (see, also, the nice work [16]). Some of these theories are equivalently defined by the requirement of the existence of a soliton with a given value of the scalar field at the origin. Such constructions go by the name of designer gravity [11]. Techniques for constructing exact hairy black hole solutions that are relevant for our work can be found in [17][18][19][20].
In [3,21,22], the energy of the gravitational configuration is connected to the gauge theory through the quasi-local Brown-York energy momentum tensor [23]. A non-trivial contribution to the mass when the boundary conditions break the conformal symmetry is expected to imply a modification of the trace anomaly, as was shown to be the case using the Hamilton-Jacobi equation in [24]. However, to the best of our knowledge, the same construction has not been done in the spirit of the work by Balasubramanian and Kraus [3], neither extended to the logarithmic branches of non-linear origin at m 2 = −2l −2 , which is the main objective of this paper. 1 We use the Hamiltonian formalism as a guide for constructing the counterterms.
It is important to emphasize that, when the conformal symmetry is broken in the boundary, the mass of Ashtekar-Magnon-Das (AMD) [28,29] does not match the Hamiltonian mass [14] and so it also does not match the holographic mass. Therefore, for AdS black hole solutions when the conformal symmetry is broken in the boundary, e.g [30], the right mass is not the AMD mass. As a concrete application, we shall consider a relatively simple family of hairy black hole solutions [31] that, however, is general enough to include the single scalar field truncations of four-dimensional gauged N = 8 supergravity as well as its ω-deformation [32] (see, also, [33][34][35]).
The remainder of the paper is organized as follows: in section 2 we review mixed AdS boundary conditions in the context of AdS/CFT duality. In section 3 we provide the counterterms that regularize the action and verify that the variational principle is well defined when the action is supplemented with these counterterms. We compute the free energy of a generic hairy black hole solution with mixed boundary conditions of the scalar field and the relevant thermodynamical quantities. Section 4 contains the general formalism for computing the regularized quasilocal stress tensor (for both, the logarithmic and non-logarithmic branches). Using the AdS/CFT duality dictionary, we then compute the stress tensor of the dual field theory and the anomaly when the boundary conditions break conformal symmetry. In section 5 we compare different types of constructions of gravitational mass in AdS for mixed boundary conditions of the scalar field. When the conformal symmetry is broken the holographic and Hamiltonian mass match, but do not match the AMD mass. Then, we work out concrete examples of hairy black hole solutions that are dual to triple trace deformations of the boundary field theory. Finally, we end with some conclusions and future directions.

JHEP03(2016)117
2 General AdS 4 boundary conditions and multi-trace deformations in the dual theory In this section, we review the role of AdS boundary conditions in the context of AdS/CFT duality [1]. According to 'holographic' dictionary, imposing mixed boundary conditions on the scalar field (in the bulk) corresponds to perturbing the large N boundary theory by a relevant, irrelevant or marginal multi-trace deformation [15]. Let us start by exhibiting some known facts about the AdS/CFT duality [1]. We would like to describe what kind of boundary conditions preserve the conformal symmetry of the dual field theory and interpret them in the context of the AdS/CFT duality [10,12,15]. First, we describe the AdS 4 spacetime and explain how the symmetries of the two dual theories match. That is, the isometry group SO (3,2) of AdS 4 acts on the (conformal) boundary as the conformal group 2 acting on Minkowski spacetime.
AdS spacetime has the maximal number of isometries in every dimension. Hence, it has a simple form in a large number of coordinate systems (see, e.g., [36] for a discussion in the context of AdS/CFT duality). Depending on the choice of the radial coordinate, the slices at constant radius can have a different geometry or even a different topology. For example, one can foliate AdS 4 with the following slices: , and hyperbolic (dΣ −1 = dH 2 ) foliations, respectively. Here, dΩ 2 and dH 2 are the unit metrics on the 2-dimensional sphere and hyperboloid, respectively. The radius l of AdS 4 is related to the cosmological constant by Λ = −3/l 2 .
The conformal boundary is at r → ∞, for which the induced metric is and now it is clear that the background geometry where the field theory lives is related to the boundary geometry by a conformal transformation. Therefore, a bulk metric is associated with a conformal structure at infinity. The conformal factor is going to play an important role when we are going to compute the boundary stress tensor. Even if different foliations of AdS 4 are related by local coordinate transformations, the corresponding dual gauge theories are physically inequivalent (for example, in the k = 1 case there is a Hawking-Page phase transition, but not for k = 0). This is due to the fact that different spacelike foliations of the background geometry lead to different definitions of the time coordinate (and so the Hamiltonian) of the dual quantum system.
Starting with k = 0 form of AdS 4 metric and using the change of coordinates r = l 2 /z, we obtain

JHEP03(2016)117
In these coordinates, which cover only part of AdS 4 spacetime, the Minkowski spacetime appears naturally as the conformal boundary. The finite isometries of AdS 4 map the boundary z = 0 to itself and, moreover, act as conformal transformations in the boundary. In particular, the transformation (z, t, x, y) ← λ(z, t, x, y), which leaves the metric (2.3) invariant, acts as the dilation (scale transformation) in the boundary. Since the AdS spacetime is not globally hyperbolic, one has to impose boundary conditions. Within the AdS/CFT duality, various deformations of the AdS boundary conditions are interpreted as dual to deformations of the CFT. It is well known [4][5][6] that a scalar of arbitrary mass in AdS can have both normalizable and non-normalizable modes. It was shown in [37,38] that the normalizable modes describe fluctuations in the bulk and the non-normalizable modes correspond to operator insertions in the boundary dual field theory. We are interested in the case when both modes are normalizable: where m 2 BF is the BF bound (1.1) in four dimensions. In what follows we briefly review the boundary conditions that accommodate a scalar field whose mass corresponds to the conformal one. We are interested in the action where V (φ) is the scalar potential, κ = 8πG with G the Newton gravitational constant, and the last term is the Gibbons-Hawking boundary term. Here, h is the determinant of the boundary metric and K is the trace of the extrinsic curvature. The equations of motion for the scalar field and metric are where the stress tensor of the scalar field is We work with the general ansatz As it was shown first in three dimensions [7], and then generalized in four and higher dimensions [9,10,12,13], in the presence of the scalar fields the standard AdS boundary conditions are modified. One can obtain the right fall-off for the g rr component of the metric by considering the equations of motion and using the fall-off of the scalar field. A general discussion for any mass of the scalar field in the range (1.1) can be found in [12],

JHEP03(2016)117
but in this work we focus on the concrete case of the conformal mass in four dimensions m 2 = −2l −2 . We start with the potential The fall-off of the scalar field in this case is In order to accommodate the black hole of section 5.4 we consider the following asymptotic behavior for the N (r) and S(r) metric coefficients Now, we use the combination of the equations of motion (2.7), E t t − E r r = 0, from which we obtain and then The reason we would like to obtain the fall-off of g rr in this way is because the Hamiltonian mass can be read off from it -if there is a contribution of the scalar field to the mass, one should be able to identify it in g rr . From now on, we use the generic notation for the expansion of g rr as where a = −k − κα 2 2l 2 and b = µ l − 4καβ 3l 3 . At this point, it is interesting to investigate when the asymptotic conditions are AdS invariant and the Hamiltonian is well defined. It seems that, for some special functional relationship on the coefficients α and β of the modes of the scalar field, both conditions are satisfied. This was explicitly done in [10,12] and here we just present the result: Interestingly enough, one can also obtain a finite Hamiltonian when the boundary conformal symmetry is broken. A similar analysis can be done for the so-called logarithmic branch [9]. In what follows we would like to carefully analyze this case and present details we are going to use in the next sections.
It is well known that a second order differential equation has two linearly independent solutions. When the ratio of the roots of the indicial equation is an integer, the solution may develop a logarithmic branch. This is exactly what happens when the scalar field JHEP03(2016)117 saturates the BF bound, in which case the leading fall-off contains a logarithmic term [9]. However, we are interested in a scalar field with the conformal mass m 2 = −2l −2 . To obtain the logarithmic branch, a cubic term in the asymptotic expansion of the scalar field potential is necessary [12] so that the fall-off of the scalar field to be considered is To obtain the fall-off of g rr we use the same fall-off for the other components of the metric and the same combination of the equations of motion as in the non-logarithmic branch, E t t − E r r = 0. We get ln (r) 2 r 6 (2.20) Using again the generic notation for the asymptotic expansion of g rr we identify the relevant coefficients as Now, let us check when the fall-off of the scalar field we have considered is compatible with its equation of motion: In the asymptotic region, r → ∞, this equation becomes and so the coefficient γ is fixed by α as γ = −3l 2 λα 2 (or, using the notation that we shall use below, γ = C γ α 2 , where C γ = −3l 2 λ). This result is important because, as we will see shortly, is also part of the conditions that preserve the conformal symmetry of the boundary. The last step in our derivation is to investigate when the boundary conditions are preserved under the asymptotic AdS symmetry. The corresponding asymptotic Killing vector ξ µ = (ξ r , ξ m ) is

JHEP03(2016)117
where {m} is an index that run over the time an angular coordinates. The fall-off of the scalar field should be invariant under the asymptotic AdS symmetries and so we obtain: If the coefficients in the series (2.26) are functionally related, the conformal symmetry on the boundary fixes the functional relation between the coefficients so that the equations above are compatible. Hence, one performs a Taylor expansion ofγ andβ to linear order in η r and ξ m to obtain: Using the fact that η r and ξ m are independent, we get from (2.28) that 2γ = α ∂γ ∂α , which implies that γ = C γ α 2 . This is the result obtained before from the equation of motion for the scalar field. From the integration of (2.29) we obtain When C γ = 0 this result matches the condition found for the non-logarithmic branch (2.17). Again, one can obtain a finite Hamiltonian even if the conformal invariance is broken. A precise formulation of the AdS/CFT duality [1] was proposed in [39,40] and developed for multi-trace deformations in [15]. The observables in the field theory side of the duality are the correlation functions of gauge invariant operators, which are composites of the elementary fields. Any supergravity field φ corresponds to an operator O in the (boundary) field theory. The duality relates the generating functional for correlation functions of the operator O with the string/gravity partition function on AdS space with the boundary conditions that are imposed on the excitations in the bulk. In our case, the relevant fields in the bulk are the graviton (metric perturbations) and scalar field. The corresponding operators in the dual field theory are the stress-energy tensor T µν of the dual field theory and a scalar operator of dimension ∆, respectively.
Let us consider a massive scalar field. By solving the equation of motion close to the boundary, we obtain: where α and β are the leading and sub-leading components of the asymptotic expansion of the scalar field and ∆ ± = 3 2 ± 9 4 + m 2 l 2 .

JHEP03(2016)117
Depending of the value of the mass, the two modes (on the Lorentzian section) can be divergent or finite. For example, for a positive squared-mass m 2 > 0 the mode β is divergent in the interior and finite at the boundary and the mode α is divergent at the boundary but finite in the interior. Then, the mode β corresponds to source currents in the boundary dual theory. On the other hand, by turning on the mode α, the bulk geometry is modified while the AdS structure near the boundary may be preserved -this is the type of deformation we are interested in this work. Since the bulk gravity solution is changed, one has to perform a linearized analysis around the new background to calculate the correlation functions. This is exactly what happens when the 'vacuum' around which one expands to obtain the physical quantities is changed. Then, in the dual theory, there is a similar situation: the dual field theory is expanded around a vacuum with non-trivial vacuum expectations values (VEV) for the appropriate operators. Indeed, in the standard AdS/CFT dictionary [37,38], a bulk gravity solution with a non-trivial dilaton corresponds in the dual field theory to the insertion of a source for an operator with conformal dimension ∆ − , VEV α, and current β = J(x).
The spectrum of operators in the dual field theory include all the gauge invariant quantities, namely product of traces of products of fields (or the sum of such products). Single-trace operators in the field theory may be identified with single-particle states in AdS, while multiple-trace operators correspond to multi-particle states. The significance of the multi-trace deformations from a point of view of the gravity side was investigated in [10,15]. The mixed boundary conditions play an important role because they correspond to a deformation of the field theory action by where β(x) = dW dα(x) , and W is fixed by the boundary conditions of the string theory side. In section 5 we are going to apply this general framework to concrete analytic hairy black hole solutions.

Counterterms and regularized action
The usual approach to computing thermodynamic quantities of black holes is to analytically continue in the time coordinate in order to obtain a Euclidean solution of the Einstein equations (with negative cosmological constant). In this way, the periodicity of the Euclidean time is related to the temperature of the black hole and the Euclidean action to the thermodynamical potential (in our case, the free energy). In this section we explicitly construct counterterms that cancel the divergences of the action for both logarithmic and non-logarithmic branches and check that the variational principle is well possed. We apply the counterterm method to compute the free energy of hairy black holes with a scalar field with the conformal mass m 2 = −2l −2 .

Variational principle
Our goal is to construct counterterms (boundary terms) that regularize the action so that the variational principle is well-posed. The boundary terms do not change the equations JHEP03(2016)117 of motion and so they can be incorporated in the action. To make our point, let us first consider the action (2.5) when the scalar field is turned off. In this case, the action has just two terms: the bulk action and the Gibbons-Hawking surface term necessary to ensure that the Euler-Lagrange variation is well-defined. The gravitational action computed in this way (even at tree-level) contains divergences that arise from integrating over the infinite volume of spacetime. In the AdS/CFT context, the infrared (IR) divergences of gravity are interpreted as ultraviolet (UV) divergences of the dual CFT. A well understood way of computing the bulk action without introducing a background is to add local counterterms into the action, which remove all divergences, leading to a finite action corresponding to the partition function of the CFT. For pure AdS gravity in four dimensions, the action should be supplemented with the following counterterm [3]: Here, h ab is the induced metric on the boundary and R is its Ricci scalar.
In the presence of the scalar field, this counterterm is not sufficient to cancel the divergences in the action. For this case, an additional boundary term that depends on the scalar is needed, namely I φ . We are going to study the variational principle of the following action: 2) for a scalar field with the conformal mass m = −2l −2 . In some previous work (for example, see [41,42]), the following counterterm that produces a finite action for the non-logarithmic branch was proposed: However, it is problematic because it is not intrinsic to the boundary and also, for mixed boundary conditions, the variational principle is not satisfied. Instead, we propose new counterterms for both, the logarithmic and non-logarithmic branches, so that the action is finite and there is a well-posed variational principle. These intrinsic counterterms are constructed to be compatible with the Hamiltonian method in the sense that the results match for any boundary conditions. Let us start with the non-logarithmic branch with the boundary term associated to the scalar field given by Then, by using the boundary expansion of the metric and scalar field, the variation of the action yields a boundary term evaluated at the cutoff r:

JHEP03(2016)117
It is easy to show then that the variational principle is well defined when the cutoff goes to infinity: lim r→∞ δI = 0 (3.6) For the logarithmic branch we should work with the following counterterm for the scalar field: whereĪ ct φ is the counterterm necessary to provide a well possed acction principal in the case of the logartithmic branch. Using the asymptotic expansions of the metric and scalar field we also obtain that the variational principle is well-defined for arbitrary boundary conditions when the cut-off surface is send to infinity. As we shall show below, the same counterterms provide a finite on-shell action and the right free energy.

Regularized action and free energy
Evaluating the action leads to a formally divergent result. Now, we would like to show that, indeed, all the divergences can be eliminated by using the counterterms proposed in the previous section and so the action is finite. We use the standard technique of Wick rotating the time direction t = iτ . Then, the temperature is related to the periodicity of the Euclidean time τ (∆τ = β = 1/T ) and the leading contribution to the free energy is determined by evaluating the Euclidean action.
The action has four terms, the bulk part I E bulk , Gibbons-Hawking surface term I E GH , and two boundary counterterms (I ct g , I ct φ ): I = I E bulk + I E GH + I ct g + I ct φ . Let us compute these contributions for the non-logarithmic branch first.
Since we are going to study the properties of a large family of exact hairy black hole solutions, let us start with the following generic metric ansatz Concrete expressions for the functions Ω(x) and f (x) are presented in section 5.4. The computations in the (t, x, Σ) coordinate system (3.8) are related by a simple coordinate transformation to (t, r, Σ) system (2.9). In what follows, x b and r b denote the boundary, and x + and r + the horizon. The on-shell Euclidean bulk action can be written as where σ k is the area of Σ k (e.g., for k = 1 σ 1 = 4π) and g E is the metric on the Euclidean section. The two coordinate systems (t, x, Σ k ) and (t, r, Σ k ) are related by and so we can rewrite the bulk integral result in the coordinates (t, r, Σ k ) as

JHEP03(2016)117
Let us now compute the Gibbons-Hawking term. Consider a timelike hypersurface x = x 0 , then the induced metric h µν = g µν − n µ n ν , normal, extrinsic curvature, and its trace K = h µν K µν are and using the transformation equations (3.10) the contribution of this term can be rewritten as 14) The contribution from the gravitational counterterm is Using the general formula for the temperature one can write the sum of these three contributions in the total action as which, for a scalar field with the conformal mass m 2 = −2l −2 as in (2.11) and with the metric fall-off (2.12) and (2.16), becomes Here, A = σ k S(r + ) is the horizon area. It is clear now that the gravitational counterterm is not sufficient to remove the divergences at the boundary r b → ∞, but this new linear divergence can be regularized with the following counterterm that depends on the scalar field: The renormalized Euclidean action can be rewritten then using β = dW/dα as

JHEP03(2016)117
and so the free energy becomes The thermodynamic relations will provide the same mass and entropy for the black holes: A similar computation can be done for the logarithmic branch. We work again with a scalar field with the conformal mass m 2 = −2l −2 with a fall-off (2.19) for which the metric fall-off is (2.20). If we work with the counterterm (3.4), we obtain and we see that there is still a logarithmic divergence. Therefore, one consider a new contribution from the scalar field that will also cancel that divergence (3.7): We also obtain a finite action for the logarithmic branch where γ = C γ α 2 and C γ = −3l 2 λ. The thermodynamic relations provide the right results: The conformal symmetry of the boundary is preserved when W (α) = α 3 (C + l 2 λ ln α).

Regularized Brown-York stress tensor
Within the AdS/CFT duality, the AdS graviton couples to the stress-energy tensor of the CFT [43,44]: Then, from a holographic point of view, the Brown-York stress tensor is interpreted as the stress-energy tensor of the dual field theory. In this section we work in the coordinates

JHEP03(2016)117
(t, r, Σ) k for which the metric was given in (2.9). For the bulk geometry we use the foliation with the surfaces r = R = constant and the induced metric is The Brown-York (quasilocal) stress tensor is defined as [23] where I is the total action including the counterterms.
Since the metric where the dual field lives is related to the boundary metric by a conformal factor, it is very important to emphasize that the CFT stress tensor is also related to the Brown-York stress tensor up to a conformal factor. As an warm up exercise, let us describe this method for the 4-dimensional Schwarzschild-AdS black hole -we are going to follow the analysis of [45].
The black hole metric is and if we consider the foliation r = R the induced metric h ab of any 'slice' is As we have pointed out before, the boundary metric is but the background metric where the dual quantum field theory lives is γ ab defined as The metric γ ab is not dynamical and it is related by a conformal factor to the boundary metric. The corresponding dual stress tensor is Written in this way [45] it has the form of a thermal gas of a massless particles and, as expected, its trace vanishes τ dual = τ dual ab γ ab = 0. A similar procedure can be used for the hairy black holes, but one should add the boundary counterterms related to the scalar field. In the case of the non-logarithmic branch, the complete action is (3.2) and the scalar counterterm was given in (3.3), where G ab is the Einstein tensor for the foliation (4.2) given by G ab = δ t a δ t b N k/S. The regularized stress tensor is

JHEP03(2016)117
Thus, the stress tensor components are The stress tensor of the dual field theory can be put in a similar form as for the Schwarzschild-AdS black hole: The trace can be easily computed and we get Unlike the Schwarzschild-AdS black hole, for the hairy black holes there are two different types of boundary conditions, namely that preserve or not the conformal symmetry. As expected, when the conformal symmetry is preserved W = Cα 3 the trace of the dual stress tensor vanishes τ dual = 0. A similar, but more complicated, procedure can be applied for the logarithmic branch. The action (3.2) has a new contribution (3.25) that cancel the logarithmic divergence, and the new regularized quasilocal stress tensor is with the following components and so the stress tensor of the dual field theory becomes Its trace is and, as expected, it vanishes for the boundary conditions that preserve the conformal symmetry: τ dual = 0 ⇒ γ = −3l 2 λα 2 ; W (α) = α 3 C + l 2 λ ln α (4.17)

JHEP03(2016)117 5 Hamiltonian mass and holographic mass
In AdS spacetime there exist different methods of computing the gravitational mass and a comparison between them is going to be useful -for Dirichlet boundary conditions this was done in great detail in [46] and up to some ambiguities related to constant boundary terms, the Hamiltonian formalism, AMD mass, and holographic method produce the same result. Though, as was pointed out in [14], when the conformal symmetry is broken in the boundary the AMD mass is not the correct physical mass and one should compute the Hamiltonian mass of the system. In this section we provide details of computing the Hamiltonian mass and show that it matches the holographic mass even when the conformal symmetry in the boundary is broken.

Hamiltonian formalism
We consider the Regge-Teitelboim approach [47] to compute the mass of static scalar hairy asymptotically locally AdS spacetimes. A summary of this method is provided below. We are considering the action (2.5) for which the Hamiltonian constraints H ⊥ and H i , with i = 1, 2, 3, contain contributions from the gravitational term and from the matter sector that in this case corresponds to a minimally coupled scalar field with a self-interaction potential V (φ). These constraints are functions of the canonical variables: the threedimensional metric g ij and the scalar field φ, and their corresponding conjugate momenta π ij and π φ . The Hamiltonian constraints are given by The three-dimensional metric g ij can be recognized from the line element written in its ADM form and, g, (3) R and vertical bar | denote the determinant, the scalar curvature, and the covariant derivative associated to the spatial metric, respectively. The canonical generator of an asymptotic symmetry defined by the vector ξ = (ξ ⊥ , ξ i ) is a linear combination of the constraints H ⊥ , H i plus a surface term Q[ξ] is chosen in order to cancel out the surface terms coming from the variation of the generator with respect to the canonical variables. In this way, the generator H[ξ] possesses well-defined functional derivatives [47]. The general form of Q[ξ] for the generator (5.4) [12] JHEP03 (2016)117 is given by The normal and tangential components of the allowed deformation (ξ ⊥ , ξ i ) are related with the spacetime components (ξ ⊥ , (3) ξ i ) in the following way The following step is to note that the Hamiltonian generator (5.4) reduces to the surface term Q[ξ] when the constraints hold. Thus, the value of the generators -the conserved charges associated the the asymptotic symmetries -are just given by Q[ξ]. Since the charges are defined by a surface term at the boundary, they need just the behaviour of the canonical variables and symmetries close to the boundary. i.e. their asymptotic behavior. Thus, the charges obtained from the Hamiltonian method are appropriate for a holographic interpretation. Additionally, one can remark that the canonical generators provide the charges for all the solutions sharing the same asymptotic behaviour.
We focus now in the static case. By definition there is a timelike Killing vector ∂ t , and the corresponding conserved charge associated with this symmetry -time translationis from first principles the mass M . In the static case all the momenta vanish and the expression (5.5), evaluated for ξ = ∂ t , reduces to We note an explicit contribution of the scalar field in the mass that, in general, yields a non-vanishing amount. In order to achieve a better understanding of this contribution, it is convenient to separate it from the usual gravitational contribution by writing δM as and As mentioned before, the variation of the mass, given by surface integral (5.8), needs just the asymptotic behavior of the canonical variables and symmetries. However, this variation usually requires more information to be integrated, and boundary conditions must be imposed. The necessity of boundary conditions is expected from physical grounds,

JHEP03(2016)117
since the mass of a system is well defined after imposing suitable boundary conditions. The effect of a slow fall-off scalar field on the mass of asymptotically hairy spacetimes have been studied in [7,9,12] using the Hamiltonian formalism described above. Other approaches and methods [8,10,13,48,49] have confirmed this effect.
One step further was made in [14] where the computation of the mass of these hairy configurations was done by considering the additional information provided by the remaining field equations. For this work, we focus on the analysis on the class of potentials having a mass term corresponding to the conformal mass m 2 = −2l −2 in four dimensions. For completeness and because the boundary conditions and the way the divergences cancel in the construction of the Hamiltonian mass provide helpful intuition for constructing the counterterms, in the next subsection we present the details of the analysis of [14].

Non-logarithmic and logarithmic branches for
Expanding the potential as a power series around φ = 0, it was shown [12] the absence of logarithmic branches in the asymptotically behavior of the metric and scalar field, provided the series does not contain a cubic term. This set of asymptotic conditions accommodates exact scalar black hole solutions [18,31,50,51] whose asymptotic behavior belong the chosen one. The fall-off of the scalar field and metric at infinity was obtained in section 2. Now, we evaluate the general expressions (5.10) and (5.11) for static configurations, using the above asymptotic conditions. We consider a boundary located at r = ∞. Integrating the 'angular coordinates', we obtain the gravitational contribution 12) and the contribution from the scalar field By adding both contributions we have the variation of the mass δM = σ k κl 2 r l 2 δa + καδα + l 3 δb + κ(αδβ + 2βδα) + O(1/r) (5.14) It is important to remind that this expression for δM is meaningful only in the case of vanishing constraints. In the static case, there is a single nontrivial constraint, H ⊥ = 0, which for the asymptotic conditions displayed above yields The linear divergent piece in (5.14) is removed by replacing (5.15) into (5.14). Then, the asymptotic variation of the mass becomes finite δM = σ k κl 2 l 3 δb + κ(αδβ + 2βδα) (5.16) In order to integrate the variations in (5.16) boundary conditions on the scalar field are necessary. In particular, the integration of (5.16) requires a functional relation between α and β. If we define β = dW (α)/dα, the mass of the spacetime is given by

JHEP03(2016)117
We note that the mass in (5.17) is defined up to a constant without variation. This constant is set to be zero in order to fix a vanishing mass for the locally AdS spacetime because in four dimensions there is no Casimir energy.
To obtain the logarithmic branch, it is necessary to use the self-interaction potential (2.18) so that the fall-off of the scalar field to be considered is (2.19). The Hamiltonian constraint H ⊥ = 0 is satisfied if (5.15) and are fulfilled. Now, we evaluate (5.10) and (5.11). In this case we find and Both contributions contain linear and logarithmic divergences. Adding (5.19) and (5.20), the linear divergence cancels out by virtue of (5.15) and the logarithmic divergence vanishes by considering (5.18). Thus, we obtain a finite expression for the variation of the mass, δM = lδb κ + αδβ + 2βδα + 3α 2 l 2 λδα l 2 σ k (5.21) Again, we need a boundary condition, a functional relation between α and β, in order to integrate δM . We consider the general relation β = dW dα , so that the Hamiltonian mass is given by The mass can be related with the first subleading term of g tt by using (2.22). Thus the mass can be written as Therefore, the expression M = µσ k κ −1 is obtained only for α = 0 or W (α) = α 3 C + l 2 λ ln(α) (5.24) which correspond to AdS invariant boundary conditions [12].

Holographic mass matches Hamiltonian mass
Armed with the Brown-York formalism supplemented with counterterms, one can obtain the energy of a hairy black holes. The boundary metric can be written, at least locally, in ADM-like form. Provided the boundary geometry has an isometry generated by the Killing vector ξ a = (∂ t ) a , the energy is, as usual, the conserved charge. Concretely, we are going to use the coordinates (t, r, Σ k ) with the metric (2.9) and the foliation (4.2) parametrized as The energy is associated with the surface t = constant, for which the induced metric is For the non-logarithmic branch, using the quasilocal stress tensor (4.9), one obtains With a similar computation for the logarithmic branch, but with the quasilocal stress tensor (4.13), we obtain the following energy of the hairy black hole: This shows perfect agreement with the Hamiltonian mass even if the conformal symmetry is broken in the boundary -with both methods it is possible to obtain a finite energy in this case and the corresponding results match. However, the AMD prescription [28,29] for computing the mass of a hairy spacetime is not suitable when the scalar field breaks the asymptotic anti-de Sitter invariance [14].

Exact hairy solutions and triple-trace deformations
As a concrete example, we discuss the boundary conditions and some holographic properties of the exact solutions of [18,31]. We consider the following scalar potential, which for some particular values of the parameter Υ it becomes the one of a truncation of ω-deformed gauged N = 8 supergravity [31,33,52]:

JHEP03(2016)117
Using the metric ansatz (3.8), the equations of motion can be integrated for the conformal factor [17][18][19]53]: where Υ, ν, κ and Λ = −3l −2 are parameters of the potential and η is an integration constant. All of them characterize the hairy solution. With this choice of the conformal factor, it is straightforward to obtain the expressions for the scalar field and metric function where l −1 ν = (ν 2 − 1)/2κ. We would like to point out that this potential is symmetric under ν → −ν. For x = 1, which corresponds to the boundary, we can show that the theory has a standard AdS vacuum 2κV (φ = 0) = 2Λ. In the limit ν = 1, one gets l ν → ∞ and φ → 0 so that the Schwarzschild-AdS black hole is smoothly obtained.
To compare with the results presented in the previous section, we should work with the canonical coordinates of AdS. Let us discuss the branch x ∈ (1, ∞) for which the scalar field is positively defined. We change the r-coordinate so that the function in front of the transversal section, dΣ k , has the following fall-off: This choice is motivated by the fact that the term O(r −2 ) generates a lineal term in the fall-off of Ω. The first three subleading terms are and they can be computed by considering the expansion around r = ∞: (5.36) After a straightforward computation we obtain and the following asymptotic expansions for the metric functions:

JHEP03(2016)117
The asymptotic expansion of the scalar field becomes in these coordinates and then, in the standard notation, we obtain α = 1/l ν η, β = −1/2l ν η 2 . Both modes are normalizable and, since β = Cα 2 with C = −l ν /2, the conformal symmetry in the boundary is preserved. Now, we can easily compute the Hamiltonian mass of the system as was proposed in [14] M = σ µ κ and by considering W = −l ν α 3 /6, σ = 4π, and l −1 ν = (ν 2 − 1)/2κ we obtain that matches the holographic mass. Let us end up this subsection with the interpretation of these hairy solutions within AdS/CFT duality. That is, since W = −l ν α 3 /6, they correspond to adding a triple trace deformation to the boundary action as in (2.32) (similar examples can be found in [10,54]): For different hairy black holes, which are characterized by the hairy parameter ν, the relation between α and β does not change and so there are triple trace deformations, but with different couplings l ν /6.

Conclusions
Since the paper is self-contained and each section contains detailed computations and interpretations, we would like only to present some general conclusions and possible future directions. The counterterm method [3], which was obtained in the context of AdS/CFT duality, is by now a textbook example of regularizing the gravitational action. Initially it was proposed for asymptotically AdS solutions [22,55,56] and then it was generalized to asymptotically flat solutions [57][58][59][60][61][62][63][64] and even dS solutions [65][66][67][68], though in the last two cases it is fair to say that there is no valid holographic interpretation generally accepted. Interestingly, this method provides the quasilocal stress tensor and conserved charges in a very similar way with the well understood holography of asymptotically AdS spacetimes.
When the theory contains scalar fields, there is a diversity of mixed boundary conditions that can be imposed, in particular boundary conditions that break the conformal symmetry of the boundary. The 'holographic renormalization' method [21,22,55,56] that uses the Fefferman-Graham expansion was generalized for the mixed boundary conditions that correspond to the non-logarithmic branch of solutions in [24].

JHEP03(2016)117
In this work we have constructed explicit covariant counterterms that are similar with the ones proposed by Balasubramanian and Kraus [3] and generalized this method for theories (moduli potentials) that contain also the logarithmic branch of solutions. To construct these counterterms we were guided by the Hamiltonian method that provides the correct boundary conditions (in particular, the fall-off of the scalar field) so that the conserved charges are finite. We did also check that the variational principle for the gravitational action is well-posed. It may then not be surprising that the holographic mass matches the Hamiltonian mass for all the boundary conditions. However, when comparing with AMD formalism there is a drastic change when the boundary conditions do not preseve the conformal symmetry and, as was shown in [14], the AMD mass is not suitable for this case.
As future directions we would like to consider counterterms for other conformal masses of the scalar field and for theories in higher dimensions. It will be useful, if possible, to provide a general algorithm for constructing the counterterms by using the Hamiltonian method -it is not at all clear if that is possible for gravity solutions that are asymptotically dS. For the extremal black holes, there exists a different method to compute the conserved charges, the entropy function formalism proposed by Sen [69][70][71] (for spinning black holes it was generalized in [72] and in the context of AdS/CFT duality, see e.g. [73][74][75][76][77]). However, this method provides the charges by using the near horizon geometry data and, when there is a non-trivial RG flow in theories with scalars turned on, it will be interesting to compare the conserved charges computed at the horizon with the ones obtained at the boundary by the counterterm method. The counterterm method was already used in [78] to study the phase diagram of a general class of hairy black holes with spherical horizon geometry and we also plan to study the phase transitions for the case k = 0 [79] when a 'hairy' AdS soliton can be constructed.
A different perspective, which naturally arises when scalar fields and gravity interact, is the classical issue of hairy black holes. Indeed, it was very early shown that in asymptotically flat spacetimes and when the scalar field potential is convex, the only spherically symmetric black hole is the Schwarzschild solution [80,81], which was later generalized to non-negative self interactions [82,83], for a recent review see [84]. These no-hair theorems were not expected to hold when, asymptotically, there is a non-trivial cosmological constant. The numerical existence of asymptotically AdS black holes has been verified in a number of papers [10,85,86] (a number exact hairy black holes has been found when the scalar field mass is m 2 = −2l −2 [18,31,50,51,[87][88][89][90]). Some of these black holes are linearly stable [85,91]. Another interesting direction is on boson star solutions and the relation with the instabilities of some AdS solutions (and AdS itself) [92][93][94][95][96].
We hope to report in the near future some progress in these directions.