arxiv: v2 [hep-th] 8 Oct 2012

Transcription

1 Functional renormalization with fermions an tetras P. Donà an R. Percacci International School for Avance Stuies, via Bonomea 65, 3436 Trieste, Italy an INFN, Sezione i Trieste, Italy arxiv: v hep-th 8 Oct 0 We investigate some aspects of the renormalization group flow of gravity in the presence of fermions, which have remaine somewhat puzzling so far. The first is the sign of the fermionic contribution to the running of Newton s constant, which epens on etails of the cutoff. We argue that only one of the previously use schemes correctly implements the cutoff on eigenvalues of the Dirac operator, an it acts in the sense of screening Newton s constant. We also show that Kähler fermions give the same contribution to the running of the cosmological an Newton constant as four Dirac spinors. We then calculate the graviton contributions to the beta functions by imposing the cutoffs on the irreucible spin components of the tetra. In this way we can probe the gauge epenence of the off-shell flow. The results resemble closely those of the metric formalism, except for an increase scheme an off shell gauge epenence. I. CUTOFF SCHEMES The functional renormalization group equation FRGE is a convenient metho to calculate the quantum effective action that is not restricte to renormalizable fiel theories,. Instea of computing irectly the effective action, one computes its erivative with respect to an external mass scale k calle the cutoff. This beta functional is automatically free of UV an IR ivergences. The avantage of this proceure is that it provies a efinition of the beta functions of a theory that oes not refer to any UV regularization. Then, taking some generally local action as starting point at an UV scale Λ, one can obtain the effective action by integrating the FRGE from Λ to zero. The ivergences of the theory reappear when one tries to shift Λ to infinity an can be analyse by integrating the FRGE in the irection of increasing k. For our purposes the most useful implementation of this iea is the Wetterich equation. It gives the k-epenence of a functional calle the Effective Average Action EAA, which is a moifie effective action where the propagation of the low momentum moes is suppresse. Here low momentum generally means momenta below a given scale k. The suppression is escribe, in flat space, by some function q, where q is the square momentum. To be amissible, the

2 cutoff function must satisfy the following basic requirements: i it must be continuous an monotonically ecreasing in q an k, ii it must go rapily to zero for q > k, iii it must ten to a positive possibly infinite value for q 0 an iv it must ten to zero for k 0. It is unavoiable that etails of the flow epen on the shape of the cutoff function, even though the effective action, which is obtaine by letting k 0, is not. This is referre to as scheme epenence an is akin to the renormalization scheme epenence in perturbation theory. When one consiers anything more than a single scalar fiel, in aition to the shape of the function z, one encounters further choices. We will be concerne mainly with gravity, which offers a particularly complex scenario. The application of the FRGE to gravity has been pioneere in 3, followe by 4. Alreay in these early works the implementation of the cutoff followe ifferent methos. In 3 the cutoff was impose on the tracefree an trace parts of the metric fluctuation a ecomposition that is purely algebraic, whereas in 4 the cutoff was impose separately on each irreucible spin component a finer ecomposition that involves ifferential conitions. Following 5, we will call the former a cutoff of type a an the latter of type b. When gravity is involve, the kinetic operators governing the propagation of quantum fiels typically have the structure +ar+be, where is the Riemannian covariant erivative, R stans here for some combination of curvature terms Riemann, Ricci an scalar curvatures, with inices arrange in various ways an E a term that may involve other backgroun fiels an possibly also couplings. Since Fourier analysis is not available in general curve spaces, in efining the cutoff one has to specify an operator whose eigenvalues form a basis in fiel space an in general play the role that plane waves play in flat space. One takes to be a function of this operator or rather, its eigenvalues. In 5 the following terminology has been introuce: a cutoff is of type I if is a function of, of type II if it is a function of +ar an of type III if it is a function of +ar +be. It is clear that there are infinitely many more possible cutoff variants an that this classification is very incomplete, but it covers the most commonly use cutoffs. The RG flow in the so calle Einstein Hilbert truncation, where one retains in the action terms at most linear in curvature, has been stuie in 6 0, with en extene ghost sector in 3 an using the Vilkoviski-e Witt formalism in 4. Higher erivative terms have been analyse in 5, 5 0. The contribution of matter fiels has been taken into account in 4, 4 using a Type I cutoff an in 5 using a type II cutoff. Conversely, the effect of gravity on fermionic interactions has been stuie in 6 9. Physical observables, which are relate to the full effective action at k = 0, will be inepenent of the cutoff choice. Furthermore, some terms in the beta functional, namely those that refer

3 3 to imensionless couplings, can actually be shown to be scheme inepenent. It is also well unerstoo that if the system has a nontrivial fixe point, its position is not universal. In general, the scheme epenence of the flow shoul therefore not be a cause of major concern 30. In the literature on the renormalization group for gravity, there is however one result where the scheme epenence seems to be particularly nasty: it is the contribution of fermion fiels to the beta function of Newton s constant. This contribution has been compute for example in section III of 5. If there are n D Dirac fiels it is ˆ n D 4π 4 x g 6 Q 4 Q P k 4R if one uses a type I cutoff an ˆ n D 4π 4 x g 6 Q 4R = n ˆ D 4 96π Q 4 x g R if one uses a type II cutoff. Here Q n W = Γn 0 zz n Wz. If we use the optimize cutoff 9 we get Q t term of the beta functional is z = k zθk z, 3 = k, Q t = k an therefore the contribution of fermions to the relevant Pk n ˆ D 96π ˆ n D 48π 4 x gr for the type I cutoff 4 4 x gr for the type II cutoff. 5 The latter agrees with an earlier inepenent calculation of the renormalization of G in 3; the former iffers not just in the value of the coefficient but even in the sign. To check that this is not just a quirk of the optimize cutoff, consier an exponential cutoff z = ze az/k b e az/k b. 6 In orer to guarantee that conition iii is satisfie, one has to assume b. For example if b =, Q t = π k /3a an Q t = k /a an therefore we encounter the same problem, Pk inepenently of the parameter a. One can see that the same is true also for b >. This sign ambiguity is puzzling. Since the beta function of G vanishes for G = 0, the sign of G can never change in the course of the RG flow we isregar here as pathological the case when This was note a while ago by Calmet et al. while they were working on 3. R.P. wishes to thank D. Reeb for corresponence on this point.

4 4 the inverse of G passes through zero. Therefore, if the physical RG trajectory approaches a fixe point in the UV, the sign of Newton s constant at low energy will be the same as that of Newton s constant at the fixe point. In a moel where gravity is inuce by minimally couple fermions, the sign of Newton s constant woul epen on the scheme. One has to be careful in rawing physical conclusions from these calculations: the relation between the coupling G appearing in Γ k an the physical Newton s constant that is measure in the lab may not be as simple as it seems. The functional that obeys an exact RG equation is not a simple functional of a single metric but rather a functional of a backgroun metric an the expectation value of the fluctuation of the metric. This functional is not invariant uner shifts of the backgroun an fluctuation that keep the sum constant, an therefore there may be several couplings that one coul legitimately call Newton s constant for a iscussion see 33. The one that we are iscussing here is the one that multiplies the Hilbert action constructe from the backgroun metric only, an it is not obvious that the other ones woul behave in the same way. In orer to make a completely well efine statement one shoul really calculate a physical observable an in such a calculation all ambiguities shoul isappear. It is therefore possible, in principle, that even the sign ifference between the two calculations iscusse above may be resolve when one consiers physical observables. In this paper we will argue for a ifferent an simpler solution of the issue, namely that only the type II cutoff gives a result with the physically correct sign. As an asie, we will also calculate the contribution to the beta functions of the cosmological constant an Newton constant ue to Eucliean Kähler fermions in four imensions. Kähler fermions are a way of escribing fermion fiels in terms of Grassmann algebra elements, instea of spinors an has the merit that it oes not require the use of tetra fiels. We fin that one Kähler fermion gives exactly the same contribution as four Dirac spinors, an that the same sign issue is present. When gravity is couple to fermions an aitional question arises regaring the fiel carrying the gravitational egrees of freeom. In 4,,, where the contribution of graviton loops was ae to that of matter fiels, as well as in 6 8 where scalars an fermions were interacting with gravity, the carrier of the gravitational egrees of freeom was the metric. It has been pointe out in 34 that in the presence of fermions it may be more natural to use the tetra. Even if one chooses a Lorentz gauge where the antisymmetric part of the tetra fluctuation is suppresse, the two calculations are not the same, because one has to work off shell an the Hessian in the tetra formalism contains some aitional terms proportional to the equations of motion. The calculations in 34, which use a type Ia cutoff in the α = gauge, show that a fixe point is still present, but is less stable than in the metric formulation. We will compute the gravitational contributions in

5 5 the tetra formalism, using type b cutoffs both Ib an IIb; this allows us to analyse the off shell α epenence. The results will be foun to be somewhat closer to those of the metric formalism than those foun in 34 which we have inepenently verifie, but they still present a stronger epenence on the scheme an on the gauge parameter. II. KÄHLER FERMIONS Before iscussing in etail the issue of cutoff scheme with orinary spinor fermions, we woul like to point out that precisely the same problem arises also in another representation of fermionic matter. This section is not strictly necessary for the following iscussion so reaers that are mainly intereste in the solution of the puzzle presente above may go irectly to section III. As is well known, in any imension the Grassmann an the Cliffor algebras are isomorphic as vector spaces. This is the basis for a representation of fermion fiels as inhomogeneous ifferential forms Such fiels are calle Kähler fermions. In this representation the analogue of the Dirac operator is the first orer operator + δ, where is the exterior erivative an δ is its ajoint. Note that the efinition oes not require the use of a tetra. We woul like to compare the contribution of Kähler fermions to the gravitational beta functions to the one of orinary spinor fermions. In particular we woul like to see whether the same sign issue arises when ifferent cutoff types are use. Since the etails of the calculation are strongly imension epenent, we shall restrict our attention to the case = 4. An inhomogeneous complex ifferential form Φ can be expane as Φ = ϕx+ϕ µ xx µ +! ϕ µνxx µ x ν + 3! ϕ µνρxx µ x ν x ρ + 3! ϕ µνρσxx µ x ν x ρ x σ We can map the 3- an 4-form via Hoge uality into a - an 0-form respectively. The fiel Φ thus escribes a scalar, a pseuoscalar, a vector, a pseuovector an an antisymmetric tensor, for a total of 6 complex components. This is an early sign of the fact that one Kähler fiel is equivalent to four Dirac fiels. The square of the Kähler operator is the Laplacian on forms: = +δ = δ+δ. On forms of egree 0, an it is given explicitly by 0 = 7 µ ν = δ µ ν +R µ ν 8 γσ αβ = γσ αβ +Rα γ δ β σ R γ β δ α σ R γ σ α β 9

6 6 In orer to rea off the beta functions of the cosmological constant an Newton s constant it enough to consier a spherical Eucliean e Sitter backgroun, with curvature tensor R µνρσ = g µρg νσ g µσ g νρ R ; R µν = g µνr 0 Then the operators efine above reuce to ν µ = + 4 R δ ν µ γσ αβ = + 3 R γσ αβ The ERGE for a Kähler fermion with a type II cutoff is Γ k = t Tr t Tr t Tr t =4 ˆ 4π 4 x g 4Q + 3 RQ. 3 For a type I cutoff we fin instea: Γ k = t Tr 0 =4 ˆ 4π 4 x g 4Q Tr R t + R 4 3 Q Tr Q P k Evaluating the Q functionals for the cutoff 3 we get: Γ k Type II: = 4 ˆ t 4π 4 x g 4k Rk Γ k Type I: = 4 ˆ t 4π 4 x g 4k 4 3 Rk t + R 3. 4 In both cases the effect of one Kähler fermion is seen to match exactly the result of four spinors n D = 4. This shoul not inuce one to believe that spinors an Kähler fermions are equivalent: in fact, their contributions to the curvature square terms are quite ifferent. Nevertheless, the puzzling sign issue of the R term that afflicts spinor fermions is present in this case too. 5 6 III. CUTOFF CHOICE FOR FERMIONS We now return to orinary Dirac spinor fiels an we reexamine in more etail their contribution to the gravitational effective action an beta functions. For the sake of generality we will now work in arbitrary imension. The stanar way of efining the effective action for a fermion fiel that is minimally couple to gravity is to exploit the properties of the logarithm an write Γ = Trlog /D = Trlog/D = Trlog + R. 7 4

7 7 The corresponing EAA can then be efine as Γ k = Trlog + R In the efinition of this functional one encounters the same ambiguities that we have mentione earlier for bosonic systems. In aition to the shape of the cutoff function, one seems to also have the freeom of choosing the argument of this function to be either type I cutoff or + R 4 type II cutoff. The former choice has been mae in 4, 4, the latter in 5. Taking the t erivative where t = logk/k 0 an efining z = z + z, one has Γ k t Γ k t = Tr t + R 4 for a type I cutoff 9 = Tr t + R 4 + R 4 for a type II cutoff. 0 The first few terms in the curvature expansion of these traces can be evaluate, for any backgroun, using heat kernel methos. However, for a spherical backgroun, the spectrum of the Dirac operator is known explicitly an the same traces can also be compute irectly as spectral sums. Comparison of these calculations inicates that only the type II cutoff correctly reflects the cutoff on eigenvalues of the Dirac operator. A. Heat kernel evaluation With a type I cutoff, the trace 9 giving contribution of n D Dirac spinors to the FRGE is Γ k = n D / ˆ t 4π / x g Q + 6 Q 4 Q R+.... Here / where x is the integer part of x is the imension of the representation. The first term proportional to R is proportional to the heat kernel coefficient b, an the secon comes from the expansion of the enominator in 9. Evaluating the Q functionals with the cutoff 3 we obtain Γ k t ˆ = Γ / + 4π /n D P k x g k + 3 k R Evaluating 0 with the same techniques yiels Γ k = n D / ˆ t 4π / x g Q RQ. +..., 3

8 8 where the term proportional to R comes entirely from the heat kernel coefficient b + R 4. Evaluating with the cutoff 3 we obtain ˆ Γ k = t Γ / + 4π /n D x g k 4 k R. 4 In = 4 this yiels the results quote in section I. We see that the sign issue is present in any imension > 3. B. Spectral sums on S The heat kernel calculation of the preceing subsection can be one in an arbitrary backgroun. On the other han, in the case of the spherical backgroun we know explicitly the spectrum of the Dirac operator: the eigenvalues an multiplicities are λ ± R n = ± +n, m n = n+, n n = 0,, With this information one can compute the trace of any function of the Dirac operator as Trf/D = n=0 m nfλ n. We will now evaluate the r.h.s. of the FRGE by imposing a cutoff on the eigenvalues of the Dirac operator. The EAA can be efine irectly in terms of the Dirac operator as Γ k = trlog /D + D /D, 6 where the cutoff Rk D has to be a function of the moulus of the Dirac operator, since we want to suppress the moes epening on the wavelength of the corresponing eigenfunctions. This is also neee for reasons of convergence. Since the operator is first orer, the conitions that Rk D has to satisfy are similar to i-iv of section I, except for the replacement of q an k by λ n an k respectively. For the explicit evaluation, we will use the optimize profile R D k z = k zθk z, z > 0. 7 Then we have t R D k /D Tr Pk D = /D n m n t R D k λ n P D k λ n = ± m n θk λ n. 8 n The sum can be compute using the Euler-Maclaurin formula. Details are given in Appenix I. The result is Γ k t = Tr t R D k P D k = Γ + 4π V k 4 k R+O R, 9

9 9 where V is the volume of the sphere. This agrees exactly with 4, which was obtaine with the type II cutoff. We have checke that the agreement extens also to the next orer in the curvature expansion. C. Discussion Note that computing the r.h.s. of the FRGE with a spectral sum is a much more irect proceure, since it avois going through the square root of the square of the Dirac operator, an also avois having to use the Laplace transform an the heat kernel. It is therefore also a more reliable proceure when there are ambiguities. The agreement of the spectral sum with the type II heat kernel calculation is a useful consistency check an suggests that the latter gives the correct result whereas the type I cutoff oes not. If so, there remain to unerstan why the type I cutoff shoul not be amissible in this case. One can get some hint by thinking of what this cutoff oes in terms of eigenvalues of the Dirac operator. We begin by noting that 6 can be rewritten as follows: Γ k = trlog /D + D /D = trlog + R4 + /D RDk /D +RDk /D. 30 One can compare this with 8. Note that the cutoff in that formula coul be a function of ifferent operators which, on a sphere, iffer by a constant shift. For the present purposes it is convenient to think of it as a function of /D. Calling this function an calling z = /D, we have z = zr D k z+rd k z. 3 We can solve this relation to get R D k z = z + z + z, 3 so for any cutoff impose at the level of 8 one can reverse engineer an effective cutoff to be impose at the level of 6 that will give the same result. In general, this cutoff may fail to satisfy the require conitions, in particular conition iv. For a type II cutoff, in 8 is a function of z, so z = z. This implies that R 0 z = 0 an thus also R0 D z = 0 for all z > 0. For a type I cutoff, on the other han, this may not be the case, as we will show in the following examples. This is a formal relation because the functional Γ k is ill efine, but one can write a corresponing relation for tγ k, with the same result.

10 0 Consier first the optimize cutoffs. In the type II case one has z = k z θk z an one fins that in this case the corresponing cutoff Rk D z given by 3 is also optimize, an precisely of the form 7. This is a way of unerstaning why the two calculations give the same result. In the case of a type I cutoff, we have instea z = k z +R/4θk z +R/4, whence one erives Rk D z = k + R4 z k + θ R 4 z. 33 This oes not ten uniformly to zero when k 0. In the case of an exponential type II cutoff with = given by 6, we have R D k z = z + z e az /k b, 34 which has all the esire properties. On the other han for an exponential type I cutoff with given by 6, R D k z = z + z + z R e az R 4 b /k b e az R 4 b /kb For b o, an in particular for the most natural case b =, this function oes not ten uniformly to zero when k 0 an therefore conition iv is not satisfie. 3 These arguments len support to the view that only the type II cutoff gives the physically correct result. Of course not all results obtaine from the type I cutoff have to be wrong, for example the leaing term renormalizing the cosmological constant an, in = 4, the curvature square terms, are the same using the two cutoffs. These however are just the universal quantities that o not epen on the choice of the cutoff. We believe that for the generic imensionful, non universal quantities, the results obtaine via a type I cutoff shoul not be truste. IV. TETRAD GRAVITY We will now compute the graviton contribution to the running of Newton s constant an cosmological constant, in imensions, when the tetra is use as a fiel variable. This has been iscusse recently in 34 using a type Ia cutoff, i.e. a cutoff that epens on that is ae to the full gravitational Hessian. In orer to have a manageable, minimal Laplacian type operator, 3 Note that in the limit k 0 the function R D k is non zero only for z < R/4. Since the smallest eigenvalue of the Dirac operator is R/3, it remains true that lim k 0 Γ k = Γ.

11 this requires that the gravitational gauge fixing parameter be fixe to α =. We will use instea cutoffs of type b, meaning that the graviton is first ecompose into irreucible components of spin, an 0, an the cutoff is impose separately one each component. This permits the iscussion of general iffeomorphism gauges. We will use both type Ib an type IIb cutoffs. A. Hessian an gauge fixing The ansatz we make for the effective average action is the stanar Einstein Hilbert truncation Γ k e,ē = Γ EH k e,ē+γ GF k e,ē = ˆ 6πG k x ete Rge Λ k +Γ GF k e,ē 36 where we have inicate the k epenence of the couplings an Γ GF k is the gauge fixing term, to be specifie below. In tetra formulation the metric is represente in terms of vielbeins e a µ as g µν = e a µ eb ν η ab. If we ecompose g µν ḡ µν +h µν an e a µ ēa µ +εa µ we have the relation h µν = ε µν +ε µ ρ ε νρ 37 where Latin inices on ε have been transforme to Greek ones by contraction with ē. Now substituting this formula in the Taylor expansion of the metric in terms of metric fluctuations we fin: ˆ δγ Γ EH e = Γ EH EH ˆ δγ EH ē+ ε µν + ε ρ µ ε νρ + ˆ ˆ δg µν δg µν δγ EH δg µν δg ρσ 4ε µν ε ρσ In the thir term we have introuce by han a factor 0 that interpolates continuously between the pure metric formalism = 0, h µν = ε µν an the tetra formalism =. We see that the part of the action quaratic in ε iffers from the one in the metric formalism by terms proportional to the equations of motion. Since in the erivation of the beta functions it is essential to work off shell, we cannot ignore these terms. The gauge fixing terms for iffeomorphisms an local Lorentz transformations are Γ GF k e,ē = ˆ α For iffeomorphisms we choose the conition F µ = x ḡḡ µν F µ F ν + ˆ α L ν hµν β 6πG µ h x ḡg ab G ab 39, 40 while for the internal O transformation we choose a symmetric vielbein G ab = ε ab. We will choose α L = 0 in orer to simplify the computation. This correspon to a sharp implementation of

12 the Lorentz gauge fixing, where one can simply set ε µν = 0 an suppress the corresponing rows an columns in the Hessian. Next we perform the TT ecomposition on the symmetric part of the vielbein fluctuation ε µν = h TT µν + µ ξ ν + ν ξ µ + µ ν σ g µν σ + g µνh, 4 an the associate fiel reefinitions ξ µ R ξ µ an σ R σ. With these efinitions, an ropping bars from the backgroun quantities for notational simplicity, the quaratic part of the action 36 is Γ = ˆ g h T h h Tµν T ˆ Γ g ξξ = ξ ν α + α α Γ σσ = α Γ Γ hσ ˆ α g σ + α 4 α R R Λ R α Λ h T µν 4 ξ ν α α Λ σ hh = 3+ α β 45 4 α ˆ g h α 4+ α α β R 3+α β Λ h ˆ g = α+β h R σ 46 α We notice that for β = α + we can get ri of the mixe term. In the rest of the paper we will work in this iagonal gauge. In this case the trace part reuces to ˆ gh + Γ hh = 4+ α R α + Λ h After ecomposing the iffeomorphism ghost in its transverse an longituinal parts, an absorbing in the latter, the ghost action is the sum of ˆ = g c T ν c T µ Γ cc = Γ c T ν c T µ + R ˆ g c + R c 47 The Lorentz ghosts o not propagate an following stanar perturbative proceure one coul neglect them entirely, but we will follow 34 an introuce a cutoff for them too. The corresponing contribution to the FRGE is compute, together with other traces, in Appenix II. B. Beta functions The FRGE can now be calculate by introucing a cutoff separately in each spin sector. This is known as a type b cutoff. Using the same heat kernel methos that we have employe in section

13 3 III A, the expression for t Γ k can be expane to linear orer in R. Comparing the terms of orer zero an one in R in the FRGE yiels: Λ t = k 6πG 6π A +ηa 48 t = k 6πG 6π B +ηb 49 where η = t G/G an A i, B i are in general polynomials in Λ = k Λ. From here one can fin the beta functions of the imensionless parameters G = k G an Λ: t G = G+ B G + GB 50 +B Λ+ GA B A B t Λ = Λ+ GA 5 +B G In the following two sections we will give explicit results using specific cutoffs. For numerical results in = 4 we will always use the optimize cutoff 3. For a iscussion of the epenence on the shape of the function z we refer to 34. We will instea concentrate on the ifferences between cutoffs of type I vs. II an type a vs b. For the type Ia case we refer again to the extensive iscussion in 34, whose results we have checke inepenently. We will report in etail the results for the cases Ib an IIb, an highlight the ifferences with the case Ia. C. Type Ib cutoff First we choose as reference operator, in each spin sector, the bare Laplacian. The cutoff is a function. This is calle a cutoff of type Ib. The calculation of the coefficients A, A, B an B for arbitrary imension an cutoff shape is escribe in Appenix A. Here we just report the result in = 4 an for the cutoff profile 3: A = 5 π Λ + 3 α Λ + α Λ A L µ 5 Λ A = 5 π Λ + 3 α Λ + α Λ + + Λ 53 B = 0 4π Λ 58 3 Λ + 6 α Λ + 9 α 4 α Λ + 4 α Λ 50 +B L µ +6α + α Λ Λ 6 + Λ 54

14 B = 44π + 30 Λ 6 α Λ 58 3 Λ + 9 α Λ + 9 α +6α + α Λ Λ 4 55 α Λ 6 + Λ The result is still quite general: it epens on the parameter, which allows us to interpolate continuously between the purely metric formulation = 0 an the purely tetra formulation =, on the arbitrary gauge parameter α, which allows us to test the gauge epenence of the results, an on the parameter µ that allows us to weigh ifferently the contribution of the Lorentz ghosts. Let us now escribe the main features of these flows. Both in the metric an in the tetra formulations, a UV attractive fixe point is foun for all values of µ an for α not too large. Its location an the corresponing critical exponents ϑ which are efine as minus the eigenvalues of the stability matrix are given in table I in the metric = 0 or tetra = formalism, in the gauges α = 0, α = an with two ifferent values of the imensionless Lorentz ghost parameter µ = µ/k: µ =, an µ =.. The former correspons to neglecting the Lorentz ghosts entirely an the latter is chosen to ease comparison with 34, who foun that this value gives results that are closest to the metric formalism in the gauge an scheme they use. Note that the case = 0, α = correspon to the purely metric flow with type Ib cutoff, which ha alreay been iscusse previously in the literature. Inee the secon row in table I agrees with the thir row in table II in 5. Whereas with a type Ia cutoff the fixe point becomes UV repulsive, an a limit cycle evelops, for µ sufficiently large, with the type Ib cutoff it remains UV attractive for arbitrarily large µ. This is a nice feature of this scheme, because it means that the fixe point can also be foun if one aopts the perturbative prescription of neglecting the Lorentz ghosts entirely. However, the results in the tetra formalism match most closely those of the metric formalism when µ is chosen to be a bit larger than one. As with the type Ia cutoff, for µ smaller than a critical value µ c, the critical exponents become real. We fin µ c for α = 0 an µ c 0.75 for α =. The epenence of the universal quantities on the gauge parameters is illustrate in Fig.. The slow ecrease of the real part of the critical exponent for 0 < α < is in agreement with earlier calculations in the metric formalism see e.g. fig. 9 in 7. The results of ifferent schemes seem to converge for α 0 which, we recall, is believe to give the physically most reliable picture. On the other han when α is greater than some value of orer the fixe point becomes repulsive, reproucing the behavior that ha been observe in 34 for large µ. It is tempting to conjecture.

15 5 Scheme Λ G Λ G ϑ Ib, = 0, α = ±.60i Ib, = 0, α = ±.486i Ib, =, µ =, α = ±.04i Ib, =, µ =, α = ±3.753i Ib, =, µ =., α = ±.48i Ib, =, µ =., α = ±.093i TABLE I: The non trivial fixe point in the type Ib cutoff in metric = 0 an tetra = formalism, in the gauges α = 0 an α = an with ifferent weights of the Lorentz ghosts. Recall Reϑ>0 implies that the fixe point is UV attractive. G 0.30 Μ Ζ Μ Α Re Θ Μ. Ζ 0 Μ Α FIG. : Plot of universal quantities as functions of the gauge parameter α for type Ib cutoff. In the left panel the prouct Λ G, in the right panel the real part of the critical exponent. that also in the cutoff scheme Ia use in 34 the fixe point woul have the usual properties, even for large µ, if one coul choose α closer to zero. The strong µ epenence that ha been observe there may be ue to a particularly strong α epenence. Altogether it appears that with a type Ib cutoff, the tetra formalism leas to results that are qualitatively similar to those of the metric formalism, an that the corresponence is best when 0 < α < an the Lorentz ghosts are turne on, with a parameter µ that is a little larger than one. D. Type IIb cutoff We call type IIb a cutoff impose separately on each spin component of the graviton an taking as reference operator the Laplace type operator that appears in the corresponing Hessian, incluing the curvature terms, but not the term proportional to the cosmological constant. The rationale

16 6 Scheme Λ G Λ G ϑ IIb, = 0, α = ±.566i IIb, = 0, α = ±.70i IIb, =, µ =, α = ±.3i IIb, =, µ =, α = ±0.99i IIb, =, µ =., α = ±0.730i IIb, =, µ =., α = ±0.634i TABLE II: The non trivial fixe point in the type IIb cutoff in metric = 0 an tetra = formalism, in the gauges α = 0 an α = an with ifferent weights of the Lorentz ghosts. for excluing the cosmological constant term is that the cosmological constant is a running coupling an if one inclue it in the reference operator, it woul not remain fixe in the course of the flow. Here we choose a reference operator that remains fixe along the flow. 4 As we have alreay seen in the case of the fermions, the type II cutoffs ten to give somewhat simpler final formulae than the corresponing type I cutoffs, because to leaing orer one always fins traces of the function t / an it is not necessary to expan the enominators. The coefficients A, A are the same as with a type Ib cutoff an are given in 5,53. The coefficients B an B for arbitrary imension an cutoff shape are given in Appenix III. In = 4 an for the cutoff profile 3, they become B = 00 3 π Λ α α Λ + B = π Λ 34 3α α Λ 6 Λ Λ α α α α Λ Λ 40 +B L 56 Table II gives the UV attractive fixe point an the corresponing critical exponents in the metric = 0 or tetra = formalism, in the gauges α = 0,, an with two ifferent values of the Lorentz ghost parameter, µ =, an µ =.. The results are qualitatively similar to the ones obtaine with the type Ib cutoff. This is in line with all the results obtaine previously in the Einstein Hilbert truncation. The non trivial FP exists an has complex critical exponents for all values of µ greater than a critical value µ c, which is approximately equal to for α = 0 an for α =. For small µ the FP moves towars negative values of Λ. For large µ the fixe point remains UV attractive, in contrast to the result 57 4 Cutoffs that epen on the full Hessian, incluing the terms proportional to the cosmological constant, were calle of type III in 5, where they have been applie to the Einstein Hilbert truncation.

17 7 G Μ Ζ Μ Α Re Θ Μ. Ζ 0 Μ Α FIG. : Plot of universal quantities as functions of the gauge parameter α for type IIb cutoff. In the left panel the prouct Λ G, in the right panel the real part of the critical exponent. foun in 34 with the type Ia cutoff scheme which we have inepenently verifie. In particular we fin that the FP has properties close to the stanar ones of the metric formulation also when the Lorentz ghosts are neglecte. Figure gives the gauge epenence of the universal quantities ΛG an ϑ. Note that the real part of the scaling exponent ϑ is particularly stable in this scheme, for 0 < α <. E. Type IIa cutoff For completeness we mention here also the results for the cutoff of type IIa, which ha been iscusse first in section IVC of 5. In this scheme only the gauge α = is easily computable. In this gauge it is enough to split the metric fluctuation into its trace an tracefree parts to write the Hessian of the Einstein Hilbert action as two minimal Laplace type operators. The cutoff is then efine as a function of these operators, incluing the curvature terms but excluing the cosmological constant term. This prescription leas to particularly simple expressions. The coefficients A, A are the same as with a other cutoff types consiere here an are given in 5,53. The coefficients B an B in = 4 an for the cutoff profile 3 are simply B = π B = 48π Λ Λ Λ 7 Λ +B L 58 These expressions coincie with 56,57 when one puts α = there. As a consequence, all properties of the flow are the same an we will not iscuss this case further. It is nevertheless interesting to unerstan the reason for this coincience, which is not restricte 59

18 8 to = 4 an is also inepenent of the shape of the function. 5 For the sake of simplicity we shall iscuss here only the case = 0, but the result is general. Since in all cases the trace fiel h is treate separately, an its contribution is the same for type a an b cutoffs, it is enough to consier the tracefree part of the graviton, namely the components h TT µν, ξ µ an σ. In the gauge α =, the Hessian in the tracefree subsector is a minimal secon orer operator of the form +C T R Λ 60 where C T = 3+4. When one uses a cutoff of type IIa no further ecomposition the contribution of this sector to the r.h.s. of the FRGE is n t Rλ n η λ n λ n Λ where λ n are the eigenvalues of the operator O = +C T R. One can ivie these eigenvalues into three classes, epening on the spin of the corresponing eigenfunction. Upon using the TT ecomposition 4 one fins that the eigenvalues of O on fiels of type h TT µν, µξ ν ν ξ µ an µ ν σ σ are equal to the eigenvalues of the operators in square brackets in 4,43,44, strippe of the Λ terms. We enote these operators O TT = +C T R, O ξ = +C ξ R an O σ = +C σ R an the corresponing eigenvalues λ TT n, λξ n an λ σ n. So, the trace 63 is equal to n t Rλ TT n ηλ TT λ TT n Λ n + n t Rλ ξ n η λ ξ n λ ξ + n Λ n 6 t Rλ σ n ηλ σ n λ σ n Λ 6 Since for α = the coefficients of Λ in 4,43,44 are all the same an equal to, this is recognize as the contribution of the fiels h TT µν, ξ µ an σ to the r.h.s. of the FRGE when one uses a cutoff of type IIb. By a similar reasoning one also conclues that the ghost contribution is the same in the IIa an IIb schemes. Things o not work in the same way for type I cutoffs, i.e. when the cutoff is a function of. For a type Ia cutoff the contribution of the tracefree sector to the r.h.s. of the FRGE is n t Rλ n η λ n λ n +C T R Λ, 63 where λ n now enote the eigenvalues of. This can be expane as TT n t Rλ n η λ n ξ λ n +C T R Λ + n t Rλ n η λ n σ λ n +C T R Λ + n t Rλ n η λ n λ n +C T R Λ, 64 5 The agreement between cutoffs IIa an IIb for α = ha been notice before in 38.

19 9 where TT, ξ an σ enote the sum over eigenvalues of on h TT µν, µ ξ ν ν ξ µ an µ ν σ σ respectively. On the other han for a type Ib cutoff the same contribution is TT n t Rλ n η λ n ξ λ n +C T R Λ + One clearly sees that the two traces are ifferent. n t Rλ n η λ n λ n +C ξ R Λ + n t Rλ n η λ n λ n +C σ R Λ 65 V. DISCUSSION The implementation of the FRGE in the presence of fermions an gravity presents some subtleties that ha not been fully appreciate until recently. The sign ambiguity of the fermionic contribution to the running of Newton s constant ha been known for a while, but it was regare as just another aspect of the scheme epenence that is intrinsic to applications of the FRGE, albeit a particularly worrying one. Although a completely satisfactory unerstaning can only come from a treatment of physical observables, we have argue here that the correct treatment of fermion fiels, when the Dirac operator is square, is to use a cutoff that epens on + R 4 type II cutoff. There also follows from our iscussion that using a cutoff that epens on type I cutoff may give physically incorrect results. Unfortunately, several earlier stuies in particular, have use this scheme, so some of those results may have to be revise. We plan to return to this point in a future publication. Another issue is the use of tetra vs. metric egrees of freeom. We have extene the analysis of tetra gravity initiate in 34 by using a ifferent cutoff type Ib an IIb vs. type Ia which allowe us to keep the iffeomorphism gauge parameter α arbitrary. We have foun that the results for the running couplings using the tetra formalism are qualitatively similar to those of the metric formalism, with some quirks. The following points shoul be note. i For = 0 one recovers the stanar metric formalism. In the case of the type Ib cutoff the results agree with the ones obtaine earlier in the literature 4, 5, 7. The type IIb cutoff with generic α ha never been use before an the results obtaine here are new. We have shown that for α = they coincie with the ones foun in 5 for the type IIa cutoff. For other values of α they iffer only marginally from those obtaine with other cutoff types an confirm the stability of the fixe point in the metric formalism. Type II cutoffs have the attractive feature that they lea to somewhat more compact expressions for the beta functions. ii The case = correspons to the tetra formalism. In this case a new ambiguity appears in the efinition of the ghost sector: it can be parameterize by a mass µ that appears in the mixing

20 0 between iffeomorphism an Lorentz ghosts, or by the corresponing imensionless parameter µ = µ/k. This parameter is a priori arbitrary, but in orer not to introuce aitional mass scales into the problem it is natural to assume that it is of orer one. On the other han we recall that in perturbation theory an in the chosen gauge the Lorentz ghosts are neglecte, since they o not propagate. This correspons to taking µ =. iii If one uses a type Ia cutoff an completely neglects the Lorentz ghosts, there is no attractive FP for positive G 34. Instea, one fins a UV repulsive fixe point surroune by a UV attractive limit cycle 6. This is not the case when one imposes the cutoff separately on each spin component, as we i here. We fin that both with type Ib an IIb cutoffs an attractive FP with complex critical exponents is present also when Lorentz ghosts are neglecte, both for α = an α = 0. This is reassuring because in the metric formalism the fixe point can be foun even using the perturbative one loop beta functions. iv If the contribution of Lorentz ghosts is ae, as avocate in 34, its effect is weighte by the parameter µ: it is strong for small µ an weak for large µ. Since the ghosts are fermions, the fixe point is shifte towars negative Λ for ecreasing µ. In aition, they have a systematic effect on the critical exponents: the moulus of the imaginary part ecreases with ecreasing µ an there is a critical value µ c uner which the critical exponents become real. In the gauge α =, µ c = 0.75 for a type Ib cutoff, µ c = for a type IIb cutoff, an µ c 0.8 for a type Ia cutoff. Similar behaviour is observe also for α = 0. On the other han, the real part of the critical exponent ecreases with increasing µ. With the type Ia cutoff this effect is most ramatic: the real part becomes negative for µ.4, an this marks the appearance of the limit cycle. With the type II cutoffs iscusse here the effect is much weaker an the fixe point becomes only slightly less attractive even in the limit µ, both for α = an α = 0. v The closest match between the tetra an metric results is typically obtaine if one chooses some value of µ that is not too far from one. This is always the case for the prouct ΛG, an in most cases also for the critical exponent. For the Ia cutoff this value was foun to be approximately.. For the Ib an IIb cutoffs it is somewhat larger, epening on the quantities one is comparing. An exception occurs for the critical exponent in the case of a cutoff of type IIb in the gauge α = 0, for which the best match occurs for µ. vi Using type b cutoffs i.e. ecomposing the fiels into irreucible components has the avantage that one can keep the iffeomorphism gauge parameter α arbitrary. The gauge epenence of the 6 This is ifferent from the behaviour of the limit cycle iscusse in 39.

21 critical exponents is similar to what ha been observe previously in the metric formalism, as long as α is not too much greater than one. In particular the real part of the critical exponent tens to ecrease as α increases, for small values of α. In the limit α 0 the µ epenence becomes very weak an the critical exponents nicely converges towars a common value. On the other han for α somewhat larger than one the fixe point either becomes complex or repulsive. This is the behaviour that ha been observe in 34 with the type Ia cutoff. This suggests that if we were able to compute the beta functions for this cutoff type with α we woul fin that also with large µ the fixe point is present an has the stanar properties for α sufficiently close to zero. vii Altogether the results are very similar to those foun in the metric formalism, except for the epenence on the new parameter µ, which is particularly strong for the type Ia cutoff. As argue in 34, one can probably attribute the increase sensitivity of the results to the fact that in the tetra formalism one has to eal with more unphysical egrees of freeom. The type Ia cutoff seems to be particularly sensitive to the off shell, unphysical features of the flow. Type b cutoffs, where each spin component is treate separately, are less sensitive. viii All of the preceing iscussion is in the context of a single metric truncation, i.e. one assumes that the VEV of the fluctuation fiel is zero. As iscusse in 33, the application of the FRGE to gravity requires that the effective average action be consiere in general a function of two variables. We plan to consier these more general truncations in a future paper. In conclusion, let us comment on the use of tetra vs. metric variables. Since fermions exists in nature, it may seem in principle inevitable that gravity has to be escribe by tetras. This woul complicate the theory significantly. Every iffeomorphism invariant functional of the metric can be viewe as a iffeomorphism an local Lorentz invariant functional of the tetra, but in the bimetric formalism there are many functionals of two tetras that cannot be viewe as functionals of two metrics. Therefore, as alreay note in 34, the tetra theory space is much bigger than the metric theory space. The necessity of using tetras shoul, however, not be taken as a foregone conclusion. First of all, it is possible that the fermions occurring in nature are Kähler fermions. This woul completely remove the argument for the use of tetras, even in principle. Whether this is the case or not is a ifficult issue that shoul be answere experimentally. For the time being one might just consier the use of Kähler fermions as a computational trick. Secon, even if we stick to spinor matter, by squaring the Dirac operator an using a type II cutoff one can calculate many quantum effects ue to fermions without ever having to use tetra fiels. The aitional complications ue to the Lorentz gauge fixing an the increase sensitivity to gauge an scheme choice avise against the

22 use of the tetra formalism, as a matter of practical convenience. Acknowlegements R.P. thanks U. Harst, M. Reuter an F. Saueressig for iscussions an hospitality at the University of Mainz uring the preparation of this paper. VI. APPENDIX I: DIRAC SPECTRAL SUMS To compute the sum 8 we can use the Euler- Maclaurin formula n Fi = i=0 ˆ n 0 Fxx B Fn+F0+ p k= B k F k n F k 0 +remainer 66 k! where B i are the Bernoulli numbers. After collecting a volume contribution, the only terms we nee to compute are the 0-th an -st power of R. Note that only the integral epens on R, an therefore, in imensions > for the terms that we are intereste in it is enough to compute the integral. Since the volume of the sphere is V =! Γ + 4π / / R we only have to isolate the terms in the integral proportional to R / an R / ˆ k R n n+ ˆ k R = n n+ n n! 0 changing variables n n /! ˆ k R n n + n the terms we are intereste in come from the integral of the two highest orer power of n 68 n + n = n n 3 we can rewrite the sum k= Tr = k! R Collecting the volume of S we obtain Γ k t = Tr = k= k + 69 k = 4, an perform the integral Γ! + 4π k R V k 4 k R+O R 7

23 3 VII. APPENDIX II: TYPE IB CALCULATION We report here the etaile computation of the A an B coefficients of 48,49 for a Type Ib cutoff. The FRGE is the sum of traces over the irreucible components of the metric fluctuation efine in 4. They give: Tr t +η = R Λ ˆ x + +η g Q 4π / η Q Λ R Λ t +η Q Λ R Tr + α ˆ x g 4π / t +ηr k = 73 α R α Λ +η Q η Q α Λ 6 R α Λ α α Q t +η α Λ R t +η Tr 0 + α 4 α R α α Λ = 74 ˆ x g Q 4π / t +η + α α Λ 6 Q t +η R α α Λ α 4 α Q t +η R α α Λ Tr t +η 0 = α R α Λ ˆ x g Q 4π / t +η + + α Λ 6 Q t +η R + α Λ 4+ α Q t +η + α Λ R Here a prime or a ouble prime inicate that the first or the first an the secon eigenvalues have to be omitte from the trace because ξ µ an σ obey to some ifferential constraints, for more etails see for example 5. The contribution of the transverse an longituinal parts of the

24 4 iffeomorphism ghosts are Tr t R Tr 0 t R ˆ = 4π / ˆ = 4π / x g x g Q Q Q Q P k P k Q R R+ 6 Q R ; 76 R. 77 Collecting the coefficients of g an gr we extract the A an B coefficients: A = 6π 4π / + Q A = 6π 4π / + Q + t + Q α α Λ Q α α Λ t Λ + Q + Q t + α Λ + Q Λ α Λ + Q + α Λ t α Λ Q 78 B = 6π t Q 4π / Λ + t Q Λ + 3+ t Q 6 α Λ α α t Q α Λ + 6 Q t α 4 α α Λ α Q t α α Λ + 6 Q t 4+ + α Λ α Q t + α Λ 6 3 Q + Q P k

25 B = 6π 4π / Q 6 α + 6 Q + 6 Q α Q Λ + α Λ Q α α Λ + α Λ Q Λ α Λ α 4 α Q 4+ α Q Here we have efine the imensionless versions of the Q-functionals: Q α α Λ + α Λ = k Q 5 8 an Q = k Q. Finally let us consier the contribution of Lorentz ghosts. They o not propagate an therefore are usually neglecte in the evaluation of the effective action in perturbation theory. Nevertheless if, following 34, we impose a cutoff on their eterminant they contribute to the r.h.s. of the FRGE an amount t Tr = ˆ + µ 4π / x g Q t + µ + 6 Q t + µ R 8 Here we have introuce the arbitrary mass parameter µ enote µ in 34. In particular note that in the limit µ the ghost contribution vanishes an one recovers the stanar perturbative result where the Lorentz ghosts are neglecte. Let A L an B L be the contribution of the Lorentz ghosts to the coefficients A an B, efine in 48,49. From the above we rea off A L = 6π 4π / Q t ; B L = 6π + µ 4π / Q t. + µ 83 Note the appearance of instea of in the enominators. In general the Q functionals Q t n can be compute explicitly, with cutoff 3, in terms of hypergeometric functions. +µ /

26 6 For the calculations in four imensions we only nee the following t Q = Log + + µ µ ; 84 Q t + µ = + + µ Log + µ. 85 VIII. APPENDIX III: TYPE IIB CALCULATION We report here the A an B coefficients of 48,49 for a Type IIb cutoff. The contributions of the irreucible components of the metric fluctuation to the r.h.s. of the FRGE are ˆ Tr t +η Λ = x + +η g Q 4π / Λ Q +η Λ R 86 ˆ t +η Tr α Λ = x +η g Q 4π / α Λ +5 +3α 6 Q +η α Λ R 87 Tr 0 ˆ t +η α α Λ = x g 4π / Q α 3α Q 6 α t +η α α Λ 88 t +η R α α Λ ˆ Tr t +η 0 = x g Q + α Λ 4π / t +η 89 + α Λ + 4+ α 6 6 α Q t +η R + α Λ The contribution of the iffeomorphism ghosts is ˆ t Tr = x g Q 4π / + +5 RQ 6 90 ˆ t Tr 0 = x g Q 4π / RQ. 9

27 7 The contribution of Lorentz ghosts is the same as in the Type Ib case. The coefficients A an A are the same as in equations 78, 79, whereas B = 6π Q 4π / B = 6π 4π / α Q α 6 6 α Q t α 3α 6 α + Q Q α Q α 6 6 α Q α 3α 6 α Q α Λ t t Λ t α Λ α α Λ + α Λ Λ +6 3 α Λ α α Λ 9 Q 93 F.J. Wegner, A. Houghton, Phys. Rev. A J. Polchinski, Nucl. Phys. B T. R. Morris, Phys. Lett. B arxiv:hep-ph/ C. Wetterich, Phys. Lett. B M. Reuter, Phys. Rev. D , arxiv:hep-th/ D. Dou an R. Percacci, Class. Quant. Grav , arxiv:hep-th/ A. Coello, R. Percacci, an C. Rahmee, Ann. Phys , arxiv: hep-th. 6 W. Souma, Prog. Theor. Phys , arxiv:hep-th/ O. Lauscher an M. Reuter, Phys. Rev. D , arxiv:hep-th/008040; 8 M. Reuter an F. Saueressig, Phys. Rev. D , arxiv:hep-th/ D.F. Litim, Phys. Rev. D , arxiv:hep-th/00395; Phys. Rev. Lett , arxiv:hep-th/034. P. Fischer an D.F. Litim, Phys. Lett. B , arxiv:hep-th/ D. Beneetti, New J. Phys. 4, arxiv:07.30 hep-th A. Eichhorn, H. Gies, an M. Scherer, Phys. Rev. D , arxiv: hep-th. K. Groh an F. Saueressig00 J. Phys. A arxiv: hep-th 3 A. Eichhorn, H. Gies 00 Phys. Rev. D8, arxiv: hep-th 4 I. Donkin an J. Pawlowski, arxiv: hep-th