This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

11institutetext: 1 Instituto de Física, Benemérita Universidad Autónoma de Puebla, Apartado Postal J-48, CP 72570, Puebla, Puebla, México.

Evolution of Lifshitz metric anisotropies in Einstein-Proca theory under the Ricci-DeTurck flow

Roberto Cartas-Fuentevilla 11 Manuel de la Cruz 11 Alfredo Herrera-Aguilar 11 Jhony A. Herrera-Mendoza 11 Daniel F. Higuita-Borja rcartas@ifuap.buap.mx,  mdelacruz@ifuap.buap.mx,  aherrera@ifuap.buap.mx,  jherrera@ifuap.buap.mx,  dhiguita@ifuap.buap.mx. 11
(Received: date / Revised version: date)
Abstract

By starting from a Perelman entropy functional and considering the Ricci-DeTurck flow equations we analyze the behaviour of Einstein-Hilbert and Einstein-Proca theories with Lifshitz geometry as functions of a flow parameter. In the former case, we found one consistent fixed point that represents flat space-time as the flow parameter tends to infinity. Massive vector fields in the latter theory enrich the system under study and have the same fixed point achieved at the same rate as in the former case. The geometric flow is parametrized by the metric coefficients and represents a change in anisotropy of the geometry towards an isotropic flat space-time as the flow parameter evolves. Indeed, the flow of the Proca fields depends on certain coefficients that vanish when the flow parameter increases, rendering these fields constant. We have been able to write down the evolving Lifshitz metric solution with positive, but otherwise arbitrary, critical exponents relevant to geometries with spatially anisotropic holographic duals. We show that both the scalar curvature and matter contributions to the Ricci-DeTurck flow vanish under the flow at a fixed point consistent with flat space-time geometry. Thus, the behaviour of the scalar curvature always increases, homogenizing the geometry along the flow. Moreover, the theory under study keeps positive-definite but decreasing the entropy functional along the Ricci-DeTurck flow.

pacs:
PACS-keydiscribing text of that key and PACS-keydiscribing text of that key

1 Introduction and summary

Many physical systems have a gradient flow that codifies the dynamical behaviour of the variable of interest, for example, diffusion equations that arise in molecular dynamics and heat conduction. There are conceptual analogs of these dynamical systems with a geometric flow of manifolds with curvature. In 1982, R. S. Hamilton 10.4310/jdg/1214436922 proposed the Ricci-flow equation to classify 3-dimensional manifolds in which the metric is dynamical with respect to a flow parameter

gμνλ=2Rμν,g(0)=g0,\frac{\partial g_{\mu\nu}}{\partial\lambda}=-2R_{\mu\nu},\ \ \ \ g(0)=g_{0}, (1.1)

that describes the deformation of the Riemannian metric gμνg_{\mu\nu} with respect to an auxiliary time variable λ\lambda. This flow is analog to the heat equation in the sense that temperature homogenizes in the entire space, and corresponds to the curvature that homogenizes in all space-time.

Ricci flow equations have been used to explore a thermodynamic potential for a canonical ensemble related to the Euclidean gravity action with S1×S2S^{1}\times S^{2} boundary and in which the fixed points of the flow correspond to black hole stable (or unstable) configurations Headrick:2006ti ; to study the evolution, under the λ\lambda-parameter, of a two dimensional closed surface and its corresponding Hawking mass which asymptotically corresponds to the ADM energy Samuel:2007zz ; to investigate relations between Bekenstein-Hawking entropy with Perelman entropy Samuel:2007ak ; wormhole geometries, identifying different throat geometries by critical parameters, revealing topological changes on the manifold Husain:2008rg as well as to construct maximally symmetric Cartas-Fuentevilla:2017cvt and Lifshitz space-times Cartas-Fuentevilla:2018rez . In the context of pure mathematics, G. Perelman made use of the Ricci flow to prove Thurston’s geometrization conjecture and demonstrated the existence of a diffeomorphism map between 3-sphere into all kinds of compact 33-manifolds without holes perelman . Soon after Hamilton’s work, D. DeTurck 10.4310/jdg/1214509286 used the diffeomorphism invariance to render the Ricci flow equation into a strictly parabolic partial differential equation of the form

gμνλ=2Rμν+2(μVν),\frac{\partial g_{\mu\nu}}{\partial\lambda}=-2R_{\mu\nu}+2\nabla_{(\mu}V_{\nu)}, (1.2)

where VμV^{\mu} is a vector field that generates diffeomorphisms along the flow. These Ricci-DeTurck flow equations are intriguingly similar to the so-called Holographic Renormalization Group Flow within holographic models deBoer:1999tgo . In fact, this flow was introduced earlier by Friedan PhysRevLett.45.1057 to study the renormalization group flow for two-dimensional sigma models. The standard holographic example considers that type IIB string theory compactified on AdS5×S5AdS_{5}\times S^{5} is exactly dual to NN D3D3-branes. Taking the low-energy limit, D3D3 branes yield 𝒩=4\mathcal{N}=4 SYM, whereas the same low-energy limit leaves the supergravity description with AdS5×S5AdS_{5}\times S^{5}. In the Poincaré patch of AdSAdS geometry, the radius of curvature LL is related to parameters of Conformal Field Theory (SYMSYM) by L=(gYM2N)1/4L=\left(g_{YM}^{2}N\right)^{1/4} that are described exhaustively in the boundary of AdSAdS, due to the complete match of space-time symmetries with the field theory symmetries. An important match (or dictionary) is that the radial rr-coordinate of bulk space-time is interpreted as a scale of the boundary field theory with a distance (energy) scale rμr\sim\mu that controls the particle interactions.

A natural question is whether we can relate the dynamical evolution of hypersurfaces parametrized by the rr-coordinate in bulk space-time with a Renormalization Group Flow of the theory defined on these hypersurfaces. Many attempts to relate this conceptual equivalent statements can be traced back in deBoer:1999tgo ; Heemskerk:2010hk ; Akhmedov:1998vf ; Balasubramanian:1999jd and a Wilsonian β\beta-functions interpretation is given in Faulkner:2010jy . In deBoer:1999tgo , the RG flow for the metric is constructed using a Hamilton-Jacobi formalism with the holographic coordinate rr as a flow parameter. Despite the nature of the flow parameter, Ricci-DeTurck flow is intriguingly similar to the holographic renormalization group flow. In Mikula:2019tyj the flow parameter has been implemented to describe vortex configurations in holographic descriptions of superconductivity. Besides, in this case, the flow parameter has been identified with a dimensionless Euclidean time to describe the equilibrium state in free energy functional. However, as far as the authors know, the exact relation between geometric flows111And in particular, Ricci flows. and the RG holographic flow is yet unknown.

Concomitant with the previous paragraph, Lifshitz spaces are dual to quantum critical points in condensed matter systems Hartnoll:2016apf . They arise in holography from a general compactification of string theory in top-down model constructions. Nowadays, holography in Lifshitz spacetimes constitutes an intensive line of research that was first considered in Kachru:2008yh . Anisotropic space-times were also engineered within the holographic framework from a General Relativity perspective with the aid of multiple Proca fields as well as 33-forms with topological structure Taylor:2008tg . Another spatially anisotropic Lifshitz metric supported by a single Proca field coupled to gravity was presented in Cartas-Fuentevilla:2018sbl while constructing Lifshitz spaces using the Ricci flow was considered in Cartas-Fuentevilla:2018rez . Regarding the theories222Like Massive vector field, supergravity and string theory Gregory:2010gx . that support a metric with anisotropic scaling symmetry tsztt\mapsto s^{z}t, xjsxjx^{j}\mapsto sx^{j}, where zz is the dynamical or critical exponent, Lifshitz solutions can be considered as a generalization of AdS space-time with no boost symmetry. Then, the holographic dictionary relates these geometries with the vacuum state in the dual theory and by a suitable construction of relevant operator on the boundary, the relations between Lifshitz and AdS geometries can be investigated from the RG flow perspective. This construction is realized in Braviner:2011kz obtaining solutions that interpolate between AdSAdS or Lifshitz geometries in the UVUV and the IRIR regimes. As far as the authors know, none of these interesting papers treat the Ricci-DeTurck flow in Lifshitz spaces in the presence of matter and this work pretends to fill this gap. In order to achieve this aim, we take advantage of two facts: on the one hand, spatially anisotropic Lifshitz geometries are supported by Einstein-Proca theory with multiple vector fields, and on the other hand, these metrics are compatible with the Ricci-DeTurck flow equations.

This work is structured as follows. In Section 2 we present the Ricci-DeTurck flow equations due to matter Proca fields and their derivation from an entropy functional. In Section 3 we present the flow for a Lifshitz metric and its fixed points in the case of Einstein-Hilbert with no matter fields. Section 4 is devoted to the theory with multiple massive vector fields and the same Lifshitz background, the analysis of the fixed points and the behaviour of the fields and the entropy functional along the flow. Conclusions and comments are presented in final Section 5.

2 Ricci-DeTurck flow equations

The connection between the Ricci flow and the renormalization group flow in quantum field theory has allowed to show that the former is a gradient flow defined on the space of Riemannian metrics, in such a way that an entropy functional is increasing monotonically along the flow perelman . Based on this gradient formulation, one can construct a Ricci flow for Lorentzian metrics (or for metrics of arbitrary signature) by promoting the dynamical variables in an action principle to a family of variables connected by the corresponding Ricci flows, constituting a dynamical system defined on the space of solutions up to diffeomorphisms and gauge transformations.

Considering the Einstein-Proca action with multiple vector fields we have the family of field variables (g(λ),𝒜a(λ))\left(g(\lambda),\ \mathcal{A}^{a}(\lambda)\right) that define a functional on the space of metrics and connections,

S(g(λ),𝒜a(λ))=116πGdddxg(λ)[R(g(λ))2Λ(λ)14a[(Fa(𝒜a))2+ma2(λ)(𝒜a(λ))2]],S\left(g(\lambda),\mathcal{A}^{a}(\lambda)\right)=\dfrac{1}{16\pi G_{d}}\int d^{d}x\sqrt{-g(\lambda)}\left[R\left(g(\lambda)\right)-2\Lambda(\lambda)-\dfrac{1}{4}\sum_{a}\left[\left(F_{a}(\mathcal{A}^{a})\right)^{2}+m_{a}^{2}(\lambda)\left(\mathcal{A}^{a}(\lambda)\right)^{2}\right]\right], (2.1)

where RR is the Ricci scalar of the metric gg, Λ\Lambda is a negative cosmological constant, FaF_{a} are the strength tensors of the Proca fields 𝒜a\mathcal{A}^{a} with masses mam_{a}, the index aa labels the set of vector fields and all the field variables are functions of the flow parameter λ\lambda.

Thus, its gradient flow reads

δS=116πGdddxg[(TμνGμνΛgμν)gμνλ+(μFaμν12ma2𝒜aν)𝒜νaλ]δλ,\delta S=\dfrac{1}{16\pi G_{d}}\int d^{d}x\sqrt{-g}\left[\left(T^{\mu\nu}-G^{\mu\nu}-\Lambda g^{\mu\nu}\right)\dfrac{\partial g_{\mu\nu}}{\partial\lambda}+\left(\nabla_{\mu}F_{a}^{\mu\nu}-\dfrac{1}{2}m_{a}^{2}\mathcal{A}_{a}^{\nu}\right)\dfrac{\partial\mathcal{A}^{a}_{\nu}}{\partial\lambda}\right]\delta\lambda, (2.2)

where the energy-momentum tensor is given by

δ[(14g)a(Fa2+ma2𝒜a2)]=gTμνgμνλδλ,\delta\left[\left(-\dfrac{1}{4}\sqrt{-g}\right)\sum_{a}\left(F_{a}^{2}+m_{a}^{2}\mathcal{A}_{a}^{2}\right)\right]=\sqrt{-g}T^{\mu\nu}\dfrac{\partial g_{\mu\nu}}{\partial\lambda}\delta\lambda, (2.3)

therefore, if the evolution equations with respect to the parameter λ\lambda are fixed to be

gμνλ+£V~gμν=TμνGμνΛgμν;𝒜νaλ+£V~𝒜νa=μ\tensor(Fa)νμ12ma2𝒜νa,\dfrac{\partial g_{\mu\nu}}{\partial\lambda}+\pounds_{\widetilde{V}}g_{\mu\nu}=T_{\mu\nu}-G_{\mu\nu}-\Lambda g_{\mu\nu};\ \ \ \ \dfrac{\partial\mathcal{A}^{a}_{\nu}}{\partial\lambda}+\pounds_{\widetilde{V}}\mathcal{A}^{a}_{\nu}=\nabla_{\mu}\tensor{(F^{a})}{{}^{\mu}_{\nu}}-\dfrac{1}{2}m_{a}^{2}\mathcal{A}^{a}_{\nu}, (2.4)

where £V~gμν\pounds_{\widetilde{V}}g_{\mu\nu} and £V~𝒜μa\pounds_{\widetilde{V}}\mathcal{A}^{a}_{\mu} are modifying the flows by a diffeomorphism generated by the vector field V~\widetilde{V}

£V~gμν=2(μV~ν),£V~𝒜μa=V~νν𝒜μa+𝒜νaμV~ν,£V~𝒜aμ=V~νν𝒜aμ𝒜aννV~μ,\pounds_{\widetilde{V}}g_{\mu\nu}=2\nabla_{(\mu}\widetilde{V}_{\nu)},\ \ \ \ \pounds_{\widetilde{V}}\mathcal{A}^{a}_{\mu}=\widetilde{V}^{\nu}\partial_{\nu}\mathcal{A}^{a}_{\mu}+\mathcal{A}^{a}_{\nu}\partial_{\mu}\widetilde{V}^{\nu},\ \ \ \ \pounds_{\widetilde{V}}\mathcal{A}_{a}^{\mu}=\widetilde{V}^{\nu}\partial_{\nu}\mathcal{A}_{a}^{\mu}-\mathcal{A}_{a}^{\nu}\partial_{\nu}\widetilde{V}^{\mu}, (2.5)

then, the gradient flow reduces to

δS=116πGdddxg[(TμνGμνΛgμν)2+(μFaμν12ma2𝒜ν)2]δλ.\delta S=\dfrac{1}{16\pi G_{d}}\int d^{d}x\sqrt{-g}\left[\left(T_{\mu\nu}-G_{\mu\nu}-\Lambda g_{\mu\nu}\right)^{2}+\left(\nabla_{\mu}F_{a}^{\mu\nu}-\dfrac{1}{2}m_{a}^{2}\mathcal{A}^{\nu}\right)^{2}\right]\delta\lambda. (2.6)

Thus, for Riemannian metrics, this entropy functional is increasing along the flows, however, for a general metric with arbitrary signature, the functional may decrease and/or increase along the flows333See for example Woolgar:2007vz for some applications of Ricci flows in General Relativity..

The fixed points of the dynamical system are those solutions that do not change in λ\lambda-time; thus, they are geometries for which

λgμν=0=TμνGμνΛgμν,λ𝒜νa=0=μ(Fa)μν12ma2𝒜ν;\partial_{\lambda}g_{\mu\nu}=0=T_{\mu\nu}-G_{\mu\nu}-\Lambda g_{\mu\nu},\ \ \ \ \partial_{\lambda}\mathcal{A}^{a}_{\nu}=0=\nabla_{\mu}\left(F_{a}\right)^{\mu\nu}-\dfrac{1}{2}m_{a}^{2}\mathcal{A}^{\nu}; (2.7)

these geometries correspond to solutions of equations of motion related with the theory (2.1).

In this work, we consider the addition of matter fields by means of the reduced energy-momentum tensor of the Einstein-Proca theory defined as

T¯μν=2Λd2gμν+14a[2(Fa)μρ\tensor(Fa)+νρma2𝒜μa𝒜νa1d2(Fa)2gμν],\bar{T}_{\mu\nu}=\dfrac{2\Lambda}{d-2}g_{\mu\nu}+\dfrac{1}{4}\sum_{a}\left[2\left(F^{a}\right)_{\mu\rho}\tensor{\left(F^{a}\right)}{{}_{\nu}^{\rho}}+m_{a}^{2}\mathcal{A}^{a}_{\mu}\mathcal{A}^{a}_{\nu}-\dfrac{1}{d-2}\left(F^{a}\right)^{2}g_{\mu\nu}\right], (2.8)

in such a way that the flow of Ricci-DeTurck equations (2.4) evolve as follows

λgμν\displaystyle\partial_{\lambda}g_{\mu\nu} =2Rμν+2T¯μν+2(νVμ),Vμ=2V~μ;\displaystyle=-2R_{\mu\nu}+2\bar{T}_{\mu\nu}+2\nabla_{(\nu}V_{\mu)},\qquad\qquad V_{\mu}=-2\widetilde{V}_{\mu}; (2.9a)
λ𝒜νa\displaystyle\partial_{\lambda}\mathcal{A}^{a}_{\nu} =2μFμνma2𝒜νa+Vμμ𝒜νa+𝒜μaνVμ,\displaystyle=2\nabla^{\mu}F_{\mu\nu}-m_{a}^{2}\mathcal{A}^{a}_{\nu}+V^{\mu}\nabla_{\mu}\mathcal{A}^{a}_{\nu}+\mathcal{A}^{a}_{\mu}\nabla_{\nu}V^{\mu}, (2.9b)

where we have accordingly rescaled the flow parameter when passing from Eq. (2.4) to Eq. (2.9). We call these equations Ricci-DeTurck flow equations and VμV^{\mu} is the DeTurck vector field associated with diffeomorphisms along the flow.

The equations (2.9) constitute the principal framework of this work. To begin their analysis, we consider that the action (2.1) depends on λ\lambda through the dynamical fields and the following metric

ds2=dr2+i=0d2e2γirηijdxidxj,i,j=0,,d2,ds^{2}=dr^{2}+\sum_{i=0}^{d-2}e^{2\gamma_{i}r}\eta_{ij}dx^{i}dx^{j},\ \ \ \ i,j=0,...,d-2, (2.10)

has a set of arbitrary γi(λ)\gamma_{i}(\lambda) coefficients that encode both the space-time and purely spatial anisotropic structure of the Lifshitz geometry. The metric ηij\eta_{ij} stands for the Minkowski space-time.

On the other hand, the ansatz for the vector fields is taken to be

𝒜ka=Akaeβkr,a=0,d2,\mathcal{A}^{a}_{k}=A^{a}_{k}e^{\beta_{k}r},\ \ \ \ a=0,...d-2, (2.11)

where the coefficients AkaA^{a}_{k} are considered to be constant and βk(λ)\beta_{k}(\lambda), appearing in the argument of the exponential, constitute another set of coefficients that need to be determined. The DeTurck vector field Vμ(r,λ)V^{\mu}(r,\lambda) depends on both the flow parameter and the holographic coordinate for consistency. Throughout this paper we consider metrics with (,+)\left(-,\textbf{+}\right) signature; Greek indices run over (0,d1)\left(0,d-1\right) and Latin indices run over (0,d2)\left(0,d-2\right). The vector field ansatz (2.11) is compatible with the metric (2.10) since the rr-component of the latter has no exponential factor and we shall consider that the rr-components of the Proca fields AraA^{a}_{r} vanish for all indices aa.

Finally, we would like to stress that the γi\gamma_{i} parameters of the metric, the cosmological constant, the βk\beta_{k} coefficients of the vector fields and their masses mam_{a} are assumed to have all λ\lambda functional dependency. In what follows we shall explore the Ricci-DeTurck flow (2.9) for the Einstein-Proca theory (2.1).

3 Geometric Ricci-DeTurck flow

Before proceeding to analyze the flow equations of the complete Einstein-Proca theory, it is important to obtain qualitative and quantitative insights into the behaviour of the pure Lifshitz geometry (2.10) under the Ricci-DeTurck flow, i.e., without considering any matter fields as we shall see.

Under the geometric Ricci-DeTurck flow (1.2), we have

λgrr=2Rrr+2(rVr)λgij=2Rij+2(iVj).\begin{array}[]{rcl}\partial_{\lambda}g_{rr}&=&-2R_{rr}+2\nabla_{(r}V_{r)}\\ \partial_{\lambda}g_{ij}&=&-2R_{ij}+2\nabla_{(i}V_{j)}.\end{array} (3.1)

Considering the metric (2.10), the components of the Ricci tensor are

Rrr=k=0d2γk2(λ),Rij=ηije2γi(λ)rγi(λ)k=0d2γk(λ).R_{rr}=-\sum_{k=0}^{d-2}\gamma_{k}^{2}(\lambda),\ \ \ \ \ R_{ij}=-\eta_{ij}e^{2\gamma_{i}(\lambda)r}\gamma_{i}(\lambda)\sum_{k=0}^{d-2}\gamma_{k}(\lambda). (3.2)

Then, Eqs. (3.1) read (suppressing the λ\lambda-dependency for simplicity)

0\displaystyle 0 =k=0d2γk2+rVr,\displaystyle=\sum_{k=0}^{d-2}\gamma_{k}^{2}+\nabla_{r}V_{r}, (3.3a)
rγ˙iηij\displaystyle r\dot{\gamma}_{i}\eta_{ij} =ηijγik=0d2γk+e2γir(iVj),\displaystyle=\eta_{ij}\gamma_{i}\sum_{k=0}^{d-2}\gamma_{k}+e^{-2\gamma_{i}r}\nabla_{(i}V_{j)}, (3.3b)

where an overdot denotes derivatives with respect to the flow parameter λ\lambda. The structure of the latter equations implies that the DeTurck vector must have the form

Vr=A(λ)r+B(λ),V_{r}=-A(\lambda)r+B(\lambda), (3.4)

and is the unique (r,λ)(r,\lambda) functional dependency consistent with them. Therefore, from Eqs. (3.3) we get

0\displaystyle 0 =k=0d2γk2A,\displaystyle=\sum_{k=0}^{d-2}\gamma_{k}^{2}-A, (3.5a)
rγ˙i\displaystyle r\dot{\gamma}_{i} =γik=0d2γk+γi(rA+B),i=0,,d2;\displaystyle=\gamma_{i}\sum_{k=0}^{d-2}\gamma_{k}+\gamma_{i}\left(-rA+B\right),\ \ \ \forall\ i=0,...,d-2; (3.5b)

which in turn render the functions A(λ)A(\lambda) and B(λ)B(\lambda) in terms of γk\gamma_{k} as well as a differential equation for these coefficients

A(λ)\displaystyle A(\lambda) =k=0d2γk2,\displaystyle=\sum_{k=0}^{d-2}\gamma_{k}^{2}, (3.6a)
B(λ)\displaystyle B(\lambda) =k=0d2γk,\displaystyle=-\sum_{k=0}^{d-2}\gamma_{k}, (3.6b)
γ˙i+γiA(λ)\displaystyle\dot{\gamma}_{i}+\gamma_{i}A(\lambda) =0,i=0,,d2.\displaystyle=0,\ \ \ \forall\ i=0,...,d-2. (3.6c)

If we take two arbitrary γi\gamma_{i} in (3.6c) with different index, we can see that γi\gamma_{i} and γj\gamma_{j} are proportional to each other, for all ii and jj. Therefore, we can write

γi(λ)χ(λ)zi,zi>0i,\gamma_{i}(\lambda)\equiv\chi(\lambda)z_{i},\ \ \ z_{i}>0\ \ \forall\ i, (3.7)

where the proportionality factors ziz_{i} are associated with the anisotropic structure of the metric (2.10), representing critical exponents444We mentioned in the introduction section that, within the holographic framework, the so-called critical exponents ziz_{i} of a Lifshitz geometry are to be related with order parameters in quantum critical points of a dual field theory. that can be considered positive, but otherwise arbitrary. Therefore, the equation (3.6c) now reads

χ˙(λ)=χ3(λ)k=0zi2,\dot{\chi}(\lambda)=-\chi^{3}(\lambda)\sum_{k=0}z_{i}^{2}, (3.8)

with solution

χ(λ)=[12k=0d2zk2(λλ0)]1/2=[12Z(λλ0)]1/2,Zk=0d2zk2,\chi(\lambda)=\left[\dfrac{1}{2\sum_{k=0}^{d-2}z_{k}^{2}\left(\lambda-\lambda_{0}\right)}\right]^{1/2}=\left[\dfrac{1}{2Z\left(\lambda-\lambda_{0}\right)}\right]^{1/2},\ \ \ Z\equiv\sum_{k=0}^{d-2}z_{k}^{2}, (3.9)

where we chose the (+)(+) sing in χ(λ)\chi(\lambda) in order to be consistent with the positive signs of the ziz_{i} critical exponents and the defined ZZ constant will be useful in forthcoming sections. We therefore have now the functions AA and BB that define the DeTurck vector field VμV_{\mu} according to (3.4) completely determined by the critical exponents ziz_{i} and the flow parameter λ\lambda. The explicit expressions for A(λ)A(\lambda) and B(λ)B(\lambda) as functions of the flow parameter adopt the form

A(λ)=χ2k=0d2zk2=12(λλ0),B(λ)=k=0d2γk=k=0d2zk[2Z(λλ0)]1/2.\begin{array}[]{rcl}A(\lambda)&=&\chi^{2}\sum_{k=0}^{d-2}z_{k}^{2}=\dfrac{1}{2\left(\lambda-\lambda_{0}\right)},\\ \\ B(\lambda)&=&-\sum_{k=0}^{d-2}\gamma_{k}=-\dfrac{\sum_{k=0}^{d-2}z_{k}}{\left[2Z\left(\lambda-\lambda_{0}\right)\right]^{1/2}}.\end{array} (3.10)

As a result of this analysis, the metric (2.10) is now an evolving metric due to λ\lambda dependency

ds2=dr2+i=0d2e2ziχ(λ)rηijdxidxj,ds^{2}=dr^{2}+\sum_{i=0}^{d-2}e^{2z_{i}\chi(\lambda)r}\eta_{ij}dx^{i}dx^{j}, (3.11)

and has a fixed point in the limit λ\lambda\mapsto\infty, which is the flat space-time on dd-dimensions

dsλ2=dr2+ηijdxidxj.ds^{2}_{\lambda\mapsto\infty}=dr^{2}+\eta_{ij}dx^{i}dx^{j}. (3.12)

This implies that the curvature scalar must vanish in that limit and, indeed, it does:

R=k=0d2γk2(k=0d2γk)2=12Z(λλ0)[k=0d2zk2+(k=0d2zk)2];\begin{array}[]{rcl}R=-\sum_{k=0}^{d-2}\gamma_{k}^{2}-\left(\sum_{k=0}^{d-2}\gamma_{k}\right)^{2}=-\frac{1}{2Z\left(\lambda-\lambda_{0}\right)}\left[\sum_{k=0}^{d-2}z_{k}^{2}+\left(\sum_{k=0}^{d-2}z_{k}\right)^{2}\right];\end{array} (3.13)

thus, the negative-definite Ricci scalar tends to zero as the flow goes by.

General fixed points in the Ricci-DeTurck flow are solutions of the equation

λgμν=0;\partial_{\lambda}g_{\mu\nu}=0; (3.14)

from the evolving metric (3.11) fixed point equations read

λgrr=0,λgij=2rηijZzi[2Z(λλ0)]3/2e2χzir=0,\begin{array}[]{rcl}\partial_{\lambda}g_{rr}&=&0,\\ \\ \partial_{\lambda}g_{ij}&=&-2r\eta_{ij}\dfrac{Zz_{i}}{\left[2Z\left(\lambda-\lambda_{0}\right)\right]^{3/2}}e^{2\chi z_{i}r}=0,\\ \end{array} (3.15)

ensuring that the fixed point of anisotropic Lifshitz geometries corresponds to flat space-time under the evolution of the Ricci-DeTurck flow parameter.

Thus, we have shown that the pure geometric Ricci-DeTurck flows compatible with a completely anisotropic Lifshitz space, where the metric coefficients are parameterized by distinct critical exponents, have Minkowski space-time as a fixed point under the flow evolution. In other words, by starting with a totally anisotropic (spatially as well) geometry with constant negative Ricci curvature, as the flow parameter λ\lambda evolves the metric isotropizes and tends to flat space-time while the scalar curvature vanishes in accordance with the monotonic increasing behaviour predicted by a geometric flow.

4 Ricci-DeTurck flow in the presence of Proca fields

In this section we consider the Ricci-DeTurck flow for the full Einstein-Proca theory, i.e. in the presence of massive vector fields with the relevant flow equations (2.9).

The reduced stress-energy tensor (2.8) for the Einstein-Proca theory (2.1) has the form (suppressing the λ\lambda-dependency for simplicity)

T¯rr=2Λd2+d32(d2)ak=0e2(βkγk)rηkkβk2Aka2,T¯ij=2Λd2ηije2γir+14a[(2βiβj+ma2)AiaAjae(βi+βj)r2d2ηije2γirk=0e2(βkγk)rηkkβk2Aka2].\begin{array}[]{rcl}\bar{T}_{rr}&=&\dfrac{2\,\Lambda}{d-2}+\dfrac{d-3}{2(d-2)}\sum_{a}\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\beta_{k}^{2}\,{A^{a}_{k}}^{2},\\ \\ \bar{T}_{ij}&=&\dfrac{2\,\Lambda}{d-2}\,\eta_{ij}\,e^{2\gamma_{i}r}+\dfrac{1}{4}\sum_{a}\left[\Bigl{(}2\beta_{i}\beta_{j}+m_{a}^{2}\Bigr{)}A^{a}_{i}A^{a}_{j}e^{\left(\beta_{i}+\beta_{j}\right)r}-\dfrac{2}{d-2}\eta_{ij}\,e^{2\gamma_{i}r}\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\beta_{k}^{2}{A^{a}_{k}}^{2}\right].\end{array} (4.1)

Armed with the expressions for the components of the Ricci tensor (3.2) and the stress-energy tensor (4.1), the Ricci-DeTurck flow equations for both the metric and the Proca fields (2.9) read

  • for the rrrr component of the metric flow (2.9a)

0=k=0γk2+rVr+2Λd2+d32(d2)ak=0e2(βkγk)rηkkβk2Aka2.0=\sum_{k=0}\gamma_{k}^{2}+\,\partial_{r}V_{r}+\dfrac{2\,\Lambda}{d-2}+\dfrac{d-3}{2(d-2)}\sum_{a}\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\beta_{k}^{2}\,{A^{a}_{k}}^{2}. (4.2)
  • for the ijij-component of the metric flow (2.9a)

rγ˙iηij=2Λd2ηij+14a[(2βiβj+ma2)AiaAjae(βi+βj2γi)r2d2ηijk=0e2(βkγk)rηkkβk2Aka2]+γiηij(k=0γk+Vr).\begin{split}r\,\dot{\gamma}_{i}\,\eta_{ij}=&\dfrac{2\,\Lambda}{d-2}\,\eta_{ij}+\dfrac{1}{4}\sum_{a}\left[\Bigl{(}2\beta_{i}\beta_{j}+m_{a}^{2}\Bigr{)}A^{a}_{i}A^{a}_{j}e^{\left(\beta_{i}+\beta_{j}-2\gamma_{i}\right)r}-\dfrac{2}{d-2}\eta_{ij}\,\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\beta_{k}^{2}{A^{a}_{k}}^{2}\right]\\ &+\gamma_{i}\,\eta_{ij}\Bigl{(}\sum_{k=0}\gamma_{k}+V_{r}\Bigr{)}.\end{split} (4.3)
  • for the ii-component of the Proca vector field flow (2.9b)

rβi˙Aia=(2βi2+2k=0d2γkβi4γiβima2+βiVr)Aia,r\dot{\beta_{i}}{A}^{a}_{i}=\left(2\beta_{i}^{2}+2\sum_{k=0}^{d-2}\gamma_{k}\beta_{i}-4\gamma_{i}\beta_{i}-m_{a}^{2}+\beta_{i}\,V_{r}\right){A}^{a}_{i}\,, (4.4)

since the rr-component gives no contribution to this flow.

Before proceeding with our construction, it is worthwhile to consider the off-diagonal elements of equation (4.3) implying the following restriction

14a(2βiβj+ma2)AiaAja=0,ij.\dfrac{1}{4}\sum_{a}\left(2\beta_{i}\beta_{j}+m_{a}^{2}\right)A^{a}_{i}A^{a}_{j}=0,\qquad i\neq j. (4.5)

On the other hand, by writing the equation (4.4) in matrix form one realizes that it includes two cases. In the first one, this equation can be satisfied if and only if the masses of the Proca vector fields are identical ma2=m2m_{a}^{2}=m^{2} for all aa values, a fact that implies in turn that βi=β\beta_{i}=\beta for all ii, yielding a single effective Proca field that is not able to support a completely spatial anisotropic Lifshitz geometry Cartas-Fuentevilla:2018sbl . The second case consists in considering different masses for the Proca fields, forcing the vector fields to have the following form

𝒜ka=Akδkaeβkr,\mathcal{A}^{a}_{k}=A_{k}\delta^{a}_{k}e^{\beta_{k}r}, (4.6)

which also satisfies Eq. (4.5). The structure of the vector field (4.6) was proposed in Taylor:2008tg when constructing a partial spatially anisotropic geometry supported by Lifshitz gravity coupled to several Proca fields. The latter case is the one we will deal with from here on, from which Eqs. (4.2)-(4.4) now read

0=\displaystyle 0= k=0γk2+rVr+2Λd2+(d3)2(d2)k=0e2(βkγk)rηkkβk2Ak2,\displaystyle\sum_{k=0}\gamma_{k}^{2}+\partial_{r}V_{r}+\dfrac{2\,\Lambda}{d-2}+\dfrac{(d-3)}{2(d-2)}\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\,\beta_{k}^{2}\,A_{k}^{2}\,, (4.7a)
rγ˙iηij=\displaystyle r\,\dot{\gamma}_{i}\,\eta_{ij}= γiηij(k=0γk+Vr)+2Λd2ηij+14(2βi2+mi2)δijAi2e2(βiγi)r\displaystyle\ \gamma_{i}\,\eta_{ij}\Bigl{(}\sum_{k=0}\gamma_{k}+V_{r}\Bigr{)}+\dfrac{2\,\Lambda}{d-2}\eta_{ij}+\dfrac{1}{4}\Bigl{(}2\beta_{i}^{2}+m_{i}^{2}\Bigr{)}\,\delta_{ij}A_{i}^{2}\,e^{2\left(\beta_{i}-\gamma_{i}\right)r} (4.7b)
ηij2(d2)k=0e2(βkγk)rηkkβk2Ak2,\displaystyle-\dfrac{\eta_{ij}}{2(d-2)}\,\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\,\beta_{k}^{2}\,A_{k}^{2}\,,
rβi˙=\displaystyle r\dot{\beta_{i}}= 2βi2+2k=0d2γkβi4γiβimi2+βiVr.\displaystyle 2\beta_{i}^{2}+2\sum_{k=0}^{d-2}\gamma_{k}\beta_{i}-4\gamma_{i}\beta_{i}-m_{i}^{2}+\beta_{i}\,V_{r}\,. (4.7c)

The structure of these equations leads to the same functional dependency for the DeTurck vector field555In principle one can integrate Eq. (4.7a) and get linear in rr expression supplemented by an exponential term for the DeTurck vector field. However, there is no way to get rid of this term in Eq. (4.7c) without trivializing the vector field. Hence, this case reduces to the one treated in Sec. 3.

Vr=g(λ)r+f(λ),V_{r}=-g(\lambda)\,r+f(\lambda), (4.8)

as in the previous Section. Hence, Eqs. (4.7a)-(4.7c) adopt the form

0=\displaystyle 0= k=0γk2g(λ)+2Λd2+(d3)2(d2)j,k=0e2(βkγk)rηkkβk2Ak2,\displaystyle\sum_{k=0}\gamma_{k}^{2}-g(\lambda)+\dfrac{2\,\Lambda}{d-2}+\dfrac{(d-3)}{2(d-2)}\sum_{j,k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\,\beta_{k}^{2}\,A_{k}^{2}\,, (4.9a)
rγ˙iηij=\displaystyle r\,\dot{\gamma}_{i}\,\eta_{ij}= γiηij[k=0γkg(λ)r+f(λ)]+2Λd2ηij+14(2βi2+mi2)δijAi2e2(βiγi)r\displaystyle\ \gamma_{i}\,\eta_{ij}\Bigl{[}\sum_{k=0}\gamma_{k}-g(\lambda)\,r+f(\lambda)\Bigr{]}+\dfrac{2\,\Lambda}{d-2}\eta_{ij}+\dfrac{1}{4}\Bigl{(}2\beta_{i}^{2}+m_{i}^{2}\Bigr{)}\,\delta_{ij}A_{i}^{2}\,e^{2\left(\beta_{i}-\gamma_{i}\right)r}\, (4.9b)
ηij2(d2)k=0e2(βkγk)rηkkβk2Ak2,\displaystyle-\dfrac{\eta_{ij}}{2(d-2)}\,\sum_{k=0}e^{2\left(\beta_{k}-\gamma_{k}\right)r}\eta^{kk}\,\beta_{k}^{2}\,A_{k}^{2}\,,
rβi˙=\displaystyle r\dot{\beta_{i}}= 2βi2+2k=0d2γkβi4γiβimi2+βi[g(λ)r+f(λ)].\displaystyle 2\beta_{i}^{2}+2\sum_{k=0}^{d-2}\gamma_{k}\beta_{i}-4\gamma_{i}\beta_{i}-m_{i}^{2}+\beta_{i}\,\Bigl{[}-g(\lambda)\,r+f(\lambda)\Bigr{]}\,. (4.9c)

The consistency of Eq. (4.9a) forces us to set

βi=γi,i=0,,d2.\beta_{i}=\gamma_{i},\ \qquad\ \forall\ i=0,...,d-2. (4.10)

which yields the following system of equations

g(λ)\displaystyle g(\lambda) =k=0γk2+2Λd2+d32(d2)k=0ηkkγk2Ak2,\displaystyle=\sum_{k=0}\gamma_{k}^{2}+\dfrac{2\Lambda}{d-2}+\dfrac{d-3}{2(d-2)}\sum_{k=0}\eta^{kk}\,\gamma_{k}^{2}\,A_{k}^{2}\,, (4.11a)
γif(λ)ηij\displaystyle-\gamma_{i}\,f(\lambda)\,\eta_{ij} =k=0γkγiηij+2Λd2ηij+14(2γi2+mi2)Ai2δij12(d2)k=0ηkkγk2Ak2ηij,\displaystyle=\sum_{k=0}\gamma_{k}\,\gamma_{i}\,\eta_{ij}+\dfrac{2\Lambda}{d-2}\eta_{ij}+\dfrac{1}{4}\Bigl{(}2\gamma_{i}^{2}+m_{i}^{2}\Bigr{)}\,A_{i}^{2}\,\delta_{ij}-\dfrac{1}{2(d-2)}\sum_{k=0}\eta^{kk}\,\gamma_{k}^{2}\,A_{k}^{2}\,\eta_{ij}\,, (4.11b)
0\displaystyle 0 =γ˙i+γig(λ),\displaystyle=\dot{\gamma}_{i}+\gamma_{i}\,g(\lambda)\,, (4.11c)
mi2=\displaystyle m_{i}^{2}= 2k=0d2γkγi2γi2+f(λ)γi.\displaystyle 2\sum_{k=0}^{d-2}\gamma_{k}\,\gamma_{i}-2\gamma_{i}^{2}+f(\lambda)\,\gamma_{i}\,. (4.11d)

from which we need to determine {Λ,γi,f,g,mi}\{\Lambda,\gamma_{i},f,g,m_{i}\} in terms of the flow parameter λ\lambda and the AkA_{k} vector coefficients, a task that will be worked out next.

4.1 Solving the system

In order to solve the system {Λ,γi,f,g,mi}\{\Lambda,\gamma_{i},f,g,m_{i}\} it is convenient to start separating the temporal and spatial parts in (4.11b)

γ0(114A02)f(λ)\displaystyle\gamma_{0}\left(1-\dfrac{1}{4}A_{0}^{2}\right)f(\lambda) =k=0γkγ02Λd2+12k=0γkγ0A02+12(d2)k=0ηkkγk2Ak2,\displaystyle=-\sum_{k=0}\gamma_{k}\gamma_{0}-\dfrac{2\Lambda}{d-2}+\dfrac{1}{2}\sum_{k=0}\gamma_{k}\gamma_{0}A_{0}^{2}+\dfrac{1}{2(d-2)}\sum_{k=0}\eta^{kk}\gamma_{k}^{2}A_{k}^{2}, (4.12a)
l=1γl(1+14Al2)f(λ)\displaystyle-\sum_{l=1}\gamma_{l}\left(1+\dfrac{1}{4}A_{l}^{2}\right)f(\lambda) =k=0γkl=1γl+2Λ+12k=0γkl=1γlAl212k=0ηkkγk2Ak2.\displaystyle=\sum_{k=0}\gamma_{k}\sum_{l=1}\gamma_{l}+2\Lambda+\dfrac{1}{2}\sum_{k=0}\gamma_{k}\sum_{l=1}\gamma_{l}A_{l}^{2}-\dfrac{1}{2}\sum_{k=0}\eta^{kk}\gamma_{k}^{2}A_{k}^{2}. (4.12b)

where we have used the Eq. (4.11d) to eliminate the dependency of mim_{i} and sum the spatial part (4.11b) over the spatial coordinates. Multiplying by 1/(d2)1/(d-2) this spatial part and summing with (4.12a), we obtain an expression for the function f(λ)f(\lambda), namely

f(λ)=k=0γk[1+h(Ak,γk)],f(\lambda)=-\sum_{k=0}\gamma_{k}\left[1+h\left(A_{k},\gamma_{k}\right)\right], (4.13)

where we have defined

h(Ak,γk)(d3)A02γ0+k=0Ak2γk4(d1)γ0+4k=0γk+(d3)A02γ0+k=0Ak2γk,h\left(A_{k},\gamma_{k}\right)\equiv\dfrac{(d-3)A_{0}^{2}\gamma_{0}+\sum_{k=0}A_{k}^{2}\gamma_{k}}{-4(d-1)\gamma_{0}+4\sum_{k=0}\gamma_{k}+(d-3)A_{0}^{2}\gamma_{0}+\sum_{k=0}A_{k}^{2}\gamma_{k}}, (4.14)

and the denominator of h(Ak,γk)h\left(A_{k},\gamma_{k}\right) is restricted to be non-zero.

It is important to stress that the case Ak=0A_{k}=0 for all kk, reduces the Eq. (4.13) to the B(λ)B(\lambda) function in the purely geometric Ricci-DeTurck flow Eq. (3.10).

Taking the temporal component (4.12a) and considering the function (4.13), an expression for the cosmological constant is obtained

2Λd2=14k=0γkγ0[A02+4hA02h]+12(d2)k=0ηkkAk2γk2,\dfrac{2\Lambda}{d-2}=\dfrac{1}{4}\sum_{k=0}\gamma_{k}\gamma_{0}\left[A_{0}^{2}+4h-A_{0}^{2}h\right]+\dfrac{1}{2(d-2)}\sum_{k=0}\eta^{kk}A_{k}^{2}\gamma_{k}^{2}, (4.15)

whereas, from the spatial components of (4.11b) with no sum, we obtain d2d-2 restrictions between γk\gamma_{k} and AkA_{k}:

4h(γkγ0)+(γ0A02+γkAk2)(h1)=0,4h\left(\gamma_{k}-\gamma_{0}\right)+\left(\gamma_{0}A_{0}^{2}+\gamma_{k}A_{k}^{2}\right)\left(h-1\right)=0, (4.16)

which can always be satisfied.

On the other hand, each mass of the vector fields (4.11d) adopts the form

mi2=k=0γk(1h)γi2γi2.m_{i}^{2}=\sum_{k=0}\gamma_{k}\left(1-h\right)\gamma_{i}-2\gamma_{i}^{2}. (4.17)

Also, with the help of (4.15), the g(λ)g(\lambda) function in (4.11a) reads

g(λ)=k=0γk2+14k=0γkγ0[A02+4hA02h]+12k=0ηkkγk2Ak2.g(\lambda)=\sum_{k=0}\gamma_{k}^{2}+\dfrac{1}{4}\sum_{k=0}\gamma_{k}\gamma_{0}\left[A_{0}^{2}+4h-A_{0}^{2}h\right]+\dfrac{1}{2}\sum_{k=0}\eta^{kk}\gamma_{k}^{2}A_{k}^{2}. (4.18)

Having obtained the functions {Λ,f,g,mi}\{\Lambda,f,g,m_{i}\} we can solve for the metric coefficients γi\gamma_{i}. By analyzing the structure of Eq. (4.11c) where the γi\gamma_{i} coefficients depend on λ\lambda, we are led to the same result as in Sec. 3:

γiziχ(λ),i,\gamma_{i}\equiv z_{i}\chi(\lambda),\ \ \forall\ i, (4.19)

with arbitrary critical exponents ziz_{i}. From this relation, Eq. (4.11c) renders

χ˙=χg(λ),\dot{\chi}=-\chi g(\lambda), (4.20)

where g(λ)g(\lambda) is now known according to Eq. (4.18). Because of the relation (4.19), the hh function becomes independent of λ\lambda.

On the other hand, analogue to the case of pure geometric flow (3), we define

Zmk=0zk2+14k=0zkz0[A02+4hA02h]+12k=0ηkkAk2zk2,Z_{m}\equiv\sum_{k=0}z_{k}^{2}+\dfrac{1}{4}\sum_{k=0}z_{k}z_{0}\left[A_{0}^{2}+4h-A_{0}^{2}h\right]+\dfrac{1}{2}\sum_{k=0}\eta^{kk}A_{k}^{2}z_{k}^{2}, (4.21)

which reduces to pure geometric Ricci-DeTurck flow when all the vector fields and their masses vanish (see the last equation in (3.9)). From this definition, the function χ(λ)\chi(\lambda) in (4.20) with λ0\lambda_{0} as initial flow condition, is completely integrable

χ(λ)=[12Zm(λλ0)]1/2.\chi(\lambda)=\left[\frac{1}{2Z_{m}\left(\lambda-\lambda_{0}\right)}\right]^{1/2}. (4.22)

Analyzing this solution, the positiveness (or negativeness) of ZmZ_{m} can be ensured with a suitable choice of the coefficients of the Proca fields and the anisotropic critical exponents. For simplicity and without loss of generality, it is lawful to assume that ZmZ_{m} is positive. Recall that from the physical standpoint, we assumed that all the γi>0\gamma_{i}>0 in order to relate them with the positive critical exponents for possible dual Condensed Matter Theories (see Cartas-Fuentevilla:2018sbl for the case of Lifshitz geometries). Taking these considerations together, we choose χ>0\chi>0 in (4.22) from now on. In Figure (1) we show the behaviour of the χ(λ)\chi(\lambda) function under the evolution of the flow parameter for different values of ZmZ_{m}.

Refer to caption
Figure 1: Behavior of χ(λ)\chi(\lambda) for different values of Zm>0Z_{m}>0 and initial flow condition λ0\lambda_{0}. For all cases, there is a χ0\chi\mapsto 0 convergence.

4.2 Evolution of the system under λ\lambda and fixed points

Having obtained the explicit expression for the function χ(λ)\chi(\lambda), the metric (2.10) and the Proca fields (4.6) become evolving functions under the flow parameter

ds2=dr2+i=0d2e2χ(λ)zirηijdxidxj,𝒜ka=Akδkaeχ(λ)zkr.ds^{2}=dr^{2}+\sum_{i=0}^{d-2}e^{2\chi(\lambda)z_{i}r}\eta_{ij}dx^{i}dx^{j}\,,\qquad\mathcal{A}_{k}^{a}=A_{k}\delta_{k}^{a}e^{\chi(\lambda)z_{k}r}\,. (4.23)

We see that the metric and the Proca fields in (4.23) are well defined in the interval λ0<λ<\lambda_{0}<\lambda<\infty due to the behaviour of (4.22).

On the other hand, the scalar curvature (3.13) has the same structure as (3.13) up to a ZmZ_{m} factor

R=12Zm(λλ0)[k=0d2zk2+(k=0d2zk)2],R=-\frac{1}{2Z_{m}\left(\lambda-\lambda_{0}\right)}\left[\sum_{k=0}^{d-2}z_{k}^{2}+\left(\sum_{k=0}^{d-2}z_{k}\right)^{2}\right], (4.24)

and is also negative-definite if ZmZ_{m} is positive-definite, and is zero when λ\lambda\mapsto\infty. In other words, we successfully reach a Ricci-flat space-time in this limit. The fixed points of the flow (3.14) are obtained from the metric (4.23) as

λgrr=0,λgij=2rηijZmzi[2Zm(λλ0)]3/2e2χzir=0,\begin{array}[]{rcl}\partial_{\lambda}g_{rr}&=&0,\\ \\ \partial_{\lambda}g_{ij}&=&-2r\eta_{ij}\dfrac{Z_{m}z_{i}}{\left[2Z_{m}\left(\lambda-\lambda_{0}\right)\right]^{3/2}}e^{2\chi z_{i}r}=0,\\ \end{array} (4.25)

which verify the fixed point of space-time when λ\lambda\mapsto\infty. The figure (2) shows that under the flow, the evolution of scalar curvature and the homogenization of the geometry are consistent for different values of ZmZ_{m}.

Refer to caption
Figure 2: Behavior of R/αR/\alpha where α\alpha is the numerator in (4.24). For different values of Zm>0Z_{m}>0 and initial flow condition λ0\lambda_{0}, there is a R0R\mapsto 0 flat convergence.

Obtained the functions f(λ)f(\lambda), g(λ)g(\lambda) and χ(λ)\chi(\lambda), we can analyze the behaviour of the cosmological constant under the Ricci-DeTurck flow. By substituting the χ\chi expression in the Eq. (4.15), we have

Λ=18Zm(λλ0){d22k=0zkz0[A02+(4A02)h]+k=0ηkkAk2zk2},\Lambda=\dfrac{1}{8Z_{m}\left(\lambda-\lambda_{0}\right)}\left\{\dfrac{d-2}{2}\sum_{k=0}z_{k}z_{0}\left[A_{0}^{2}+\left(4-A_{0}^{2}\right)h\right]+\sum_{k=0}\eta^{kk}A_{k}^{2}z_{k}^{2}\right\}, (4.26)

which can be taken to be negative during the flow by a suitable relation between vector coefficients and critical exponents. Finally, the masses of the vector fields (4.17) adopt the form

mi2=12Zm(λλ0)[k=0zk(1h)zi2zi2],i=0,,d2.m_{i}^{2}=\dfrac{1}{2Z_{m}\left(\lambda-\lambda_{0}\right)}\left[\sum_{k=0}z_{k}\left(1-h\right)z_{i}-2z_{i}^{2}\right],\ \ \ \ \forall\ i=0,...,d-2. (4.27)

In the limit λ\lambda\mapsto\infty, which corresponds to χ0\chi\mapsto 0, these functions converge to zero while the Proca fields tend to a constant, yielding a vanishing entropy functional in concordance with the flat space-time fixed point. Therefore, the matter content of the functional (2.1), the vacuum energy density as well as the scalar curvature become trivial in this limit. Another important result is that the functional (2.1) maintains positive-definite the entropy functional along the whole the Ricci-DeTurck flow.

5 Discussion and concluding remarks

In this work, we consider an entropy functional and analyze the behaviour of a family of completely anisotropic Lifshitz metrics under the Ricci-DeTurck flow. We studied the Ricci-DeTurck flow formalism in two scenarios: Einstein-Hilbert and Einstein-Proca with multiple vector fields and negative cosmological constant. For both setups we encountered a single fixed point corresponding to flat geometry as the flow parameter tends to infinity.

In the case when multiple massive vector fields are considered, the λ\lambda parameter of the Ricci-DeTurck flow allows us to analyze the conditions under which the parameters of the vector fields generate a family of geometries with completely arbitrary metric coefficients as λ(λ0,)\lambda\in\left(\lambda_{0},\infty\right) evolve. The analysis considered here has been performed using the so-called DeTurck trick, in which the structure of Ricci flow equations (1.1) can be transformed into a strictly parabolic equation (1.2), and allows us to elucidate an unique functional dependency of the DeTurck vector VrV_{r}. By studying the flat space-time fixed point we prove that the entropy functional defined by the Einstein-Proca theory with a negative cosmological constant vanishes as λ\lambda grows since the scalar curvature, the cosmological constant as well as the mass terms of the Proca fields vanish, while the Proca fields adopt constant values at this point, rendering a trivial Faraday tensor for each field. Interestingly enough, for the particular case in which the vector fields are trivial, treated in section (3), we still have a Ricci-DeTurck flow of strictly geometric type with the same fixed point. Besides, along the flow the scalar curvature displays an increasing monotonous behavior: it starts from infinite negative values at certain value of the flow parameter, increases as the flow goes by, and asymptotically vanishes, in concordance with the expected geometric homogenization picture.

From a theoretical perspective, the entropy functional (2.6) can decrease with the flow for general pseudo-Riemannian metrics. The term entropy suggests that we can use it to explore black hole Thermodynamics considering a modification of Perelman’s geometric entropy to obtain Ricci solitons, as in Samuel:2007zz . Ricci solitons are gradients of suitable scalar fields which modify the Ricci flow and closely resemble the DeTurck vector. With the aid of deformations due to matter, it is interesting to explore metric configurations with black holes and their respective thermodynamic entropy. The behavior of entropy as a function of radial coordinate is central in bulk geometries with holographic dual like Reissner-Nordström-AdS and Lifshitz black holes. The exact relation between the holographic entropy and the entropy functional is one of the subjects of investigation that we want to explore.

In turn, in the same direction, the family of anisotropic metrics is an important geometric framework in the context of non-relativistic holographic duality in which the scaling symmetry is different for each coordinate. This type of anisotropic scaling symmetry is believed to be present in dual quantum critical points of Condensed Matter Theory, being the Lifshitz space-time the most studied case. In these theories, the critical exponents codify the second-order transitions for physical condensed matter quantities like the density of Cooper electrons in superconducting states.

In this work, we were able to write the full anisotropic metric as a function of these critical exponents, which correspond to the respective scalings of each coordinate of the holographic dual field theory, together with a flowing structure with respect to the λ\lambda parameter, getting closer to a general description of non-relativistic holographic systems with Ricci flow. In this respect, it has been reported that the Ricci flow is the Holographic Renormalization Group flow deBoer:1999tgo . The latter needs to define the stress tensor for the gravity bulk space-time defined in an rr constant surface, using the (d+1)(d+1) decomposition. The Hamilton equation for the canonical momenta is the Ricci flow but with the radial coordinate as a flow parameter. These canonical momenta are holographically dual to the induced energy-momentum tensor of the field theory defined on that surface. An interesting question is whether the DeTurck vector has meaning in this holographic construction knowing that in (d+1)(d+1) decomposition, corresponds to a particular choice of phase vector (with the corresponding lapse vector). The freedom of the choice of phase vector must be reflected on the diffeomorphism invariance of the DeTurck vector. As far as the authors know, this question has not been considered yet and is a motivation for future work.

Acknowledgments

All authors have been benefited from the CONACYT grant No. A1-S-38041, while RCF and AHA were supported by the VIEP-BUAP grant No. 122. MCL thanks the financial assistance provided by a CONACYT postdoctoral grant No. 30563. JAHM acknowledges support from CONACYT through a PhD grant No. 750974. DFHB is also grateful to CONACYT for a Postdoc por México grant No. 372516.

References

  • [1] R. S. Hamilton, “Three-manifolds with positive Ricci curvature,” Journal of Differential Geometry 17 (1982), no. 2, 255 – 306.
  • [2] M. Headrick and T. Wiseman, “Ricci flow and black holes,” Class. Quant. Grav. 23 (2006) 6683–6708, hep-th/0606086.
  • [3] J. Samuel and S. R. Chowdhury, “Geometric flows and black hole entropy,” Class. Quant. Grav. 24 (2007) F47–F54, 0711.0428.
  • [4] J. Samuel and S. R. Chowdhury, “Energy, entropy and the Ricci flow,” Class. Quant. Grav. 25 (2008) 035012, 0711.0430.
  • [5] V. Husain and S. S. Seahra, “Ricci flows, wormholes and critical phenomena,” Class. Quant. Grav. 25 (2008) 222002, 0808.0880.
  • [6] R. Cartas-Fuentevilla, A. Herrera-Aguilar, and J. A. Olvera-Santamaría, “Evolution and metric signature change of maximally symmetric spaces under the Ricci flow,” Eur. Phys. J. Plus 133 (2018), no. 6, 235, 1707.07235.
  • [7] R. Cartas-Fuentevilla, A. Herrera-Aguilar, and J. A. Herrera-Mendoza, “Constructing Lifshitz spaces using the Ricci flow,” Annals Phys. 415 (2020) 168093, 1812.06239.
  • [8] G. Perelman, “The entropy formula for the Ricci flow and its geometric applications,” arXiv Mathematics e-prints (Nov., 2002) math/0211159, math/0211159.
  • [9] D. M. DeTurck, “Deforming metrics in the direction of their Ricci tensors,” Journal of Differential Geometry 18 (1983), no. 1, 157 – 162.
  • [10] J. de Boer, E. P. Verlinde, and H. L. Verlinde, “On the holographic renormalization group,” JHEP 08 (2000) 003, hep-th/9912012.
  • [11] D. Friedan, “Nonlinear models in 2+ϵ2+\epsilon dimensions,” Phys. Rev. Lett. 45 (Sep, 1980) 1057–1060.
  • [12] I. Heemskerk and J. Polchinski, “Holographic and Wilsonian Renormalization Groups,” JHEP 06 (2011) 031, 1010.1264.
  • [13] E. T. Akhmedov, “A Remark on the AdS / CFT correspondence and the renormalization group flow,” Phys. Lett. B 442 (1998) 152–158, hep-th/9806217.
  • [14] V. Balasubramanian and P. Kraus, “Space-time and the holographic renormalization group,” Phys. Rev. Lett. 83 (1999) 3605–3608, hep-th/9903190.
  • [15] T. Faulkner, H. Liu, and M. Rangamani, “Integrating out geometry: Holographic Wilsonian RG and the membrane paradigm,” JHEP 08 (2011) 051, 1010.4036.
  • [16] P. Mikula, M. E. Carrington, and G. Kunstatter, “Nonequilibrium approach to holographic superconductors using gradient flow,” Phys. Rev. D 100 (2019), no. 4, 046004, 1902.08669.
  • [17] S. A. Hartnoll, A. Lucas, and S. Sachdev, “Holographic quantum matter,” 1612.07324.
  • [18] S. Kachru, X. Liu, and M. Mulligan, “Gravity duals of Lifshitz-like fixed points,” Phys. Rev. D 78 (2008) 106005, 0808.1725.
  • [19] M. Taylor, “Non-relativistic holography,” 0812.0530.
  • [20] R. Cartas-Fuentevilla, A. Herrera-Aguilar, V. Matlalcuatzi-Zamora, U. Noriega, and J. M. Romero, “Anisotropic Lifshitz holography in Einstein-Proca theory with stable negative mass spectrum,” Eur. Phys. J. Plus 135 (2020), no. 2, 155, 1804.02278.
  • [21] R. Gregory, S. L. Parameswaran, G. Tasinato, and I. Zavala, “Lifshitz solutions in supergravity and string theory,” JHEP 12 (2010) 047, 1009.3445.
  • [22] H. Braviner, R. Gregory, and S. F. Ross, “Flows involving Lifshitz solutions,” Class. Quant. Grav. 28 (2011) 225028, 1108.3067.
  • [23] E. Woolgar, “Some Applications of Ricci Flow in Physics,” Can. J. Phys. 86 (2008) 645–651, 0708.2144.