Horava-Lifshitz. Based on: work with ( ), ( ) arxiv: , JCAP 0911:015 (2009) arxiv:

Transcription

1 @ Horava-Lifshitz Based on: work with ( ), ( ) arxiv: , JCAP 0911:015 (2009) arxiv:

2 Motivation A quantum gravity candidate Recently Horava proposed a power-counting renormalizable theory of gravitation Lorentz symmetry Can perform concrete calculations: Validity needs to be checked; still controversial Interesting to explore cosmological consequences

3 Plan Motivation Horava-Lifshitz gravity (10 slides) Cosmology in Horava-Lifshitz gravity (7 slides + 2) Summary

4 Lorentz symmetry breaking as regulator Visser Pedagogical example: scalar field theory Free Lagrangian invariant under dtd 3 x φ2 φ( ) z φ Interactions Anisotropic scaling x E 1 x, t E z t φ E (3 z)/2 φ dtd 3 xφ n E s s =3+z + n(z 3)/2

5 Lorentz symmetry breaking as regulator Visser Pedagogical example: scalar field theory Free Lagrangian invariant under dtd 3 x φ2 φ( ) z φ Interactions Anisotropic scaling x E 1 x, t E z t φ E (3 z)/2 φ dtd 3 xφ n E s s =3+z + n(z 3)/2 Lorentz invariant (z = 1) Renormalizable if s =4 n 0 Lorentz invariant (z = 3) Renormalizable for any n s =6

6 Horava s idea for quantum gravity Curvature[g ij = δ ij + h ij ] n=0 h n h Abandon Lorentz invariance in exchange for (powercounting) renormalizability Apply this idea to gravity and consider z=3 theory Horava ;

7 Horava-Lifshitz gravity Variables: x = const. Lapse function Shift vector Spatial metric N N i g ij Ndt N i dt g ij (t, x) Σ(t + dt) Σ(t) Symmetry: foliation-preserving diffeomorphism invariance t t(t), x i x i (t, x) cf. ADM decomposition of spacetime ds 2 = N 2 dt 2 + g ij (dx i + N i dt)(dx j + N j dt)

8 Horava , ; Sotiriou, Visser, Weinfurtner , Action Volume elements 3D Ricci tensor Extrinsic curvature Ndt, gd 3 x R ij Covariant under t t(t), x i x i (t, x) K ij := 1 2N ( tg ij i N j j N i ) Kinetic term S K = dtd 3 x gnl K Potential term S V = dtd 3 x gnv L K = g K Kij K ij λk 2 GR λ =1 V R, R ij R ij,... (nest slide)

9 Potential Up to 6th derivative of metric dtd 3 x gn 6 g E 3 z 6th derivative 5th (violating parity) 4th 2nd 0th R 3,RR ij R ij,r ij R jk R ki, R R, i R jk i R jk ijk R il j R l k R 2,R ij R ij R Λ Can also include terms such as a i a i,r i a i,..., a i := i ln N Blas, Pujolas, Sibiryakov

10 Projectability condition Infinitesimal foliation-preserving diff. transformation t t + f(t), x i x i + χ i (t, x) g ij g ij fġ ij i χ k g jk j χ k g ik N i N i +... N N t (fn) χ i i N Space-independent N remains to be space-independent Natural to assume N = N(t) Projectable

11 Field equations Action: S = dtd 3 x gn (L K V+ L m ) Matter Evolution eq. δg ij 1 N g g ikg jl t g K kl λkg kl +... = T ij M 2 Pl T ij = L m g ij 2 δl m δg ij Momentum constraints δn i j K ij λkg ij = J i MPl 2 J i = N δl m δn i Hamiltonian constraint δn (nest slide)

12 Hamiltonian constraint Projectability condition δn(t) Hamiltonian constraint is not a local equation d 3 x g L K + V +2M 2 Pl ρ =0 Integration over the whole space ρ = L m N δl m δn

13 Matter Energy conservation: Momentum conservation: Example of matter Lagrangian L m = 1 2N 2 ϕ N i i ϕ 2 V d 3 x [ t ( gρ)+...] =0 j T ij +... =0 Calcagni ; Kiritsis, Kofinas ; Mukohyama ; Wang, Wands, Maartens V = V 0 (ϕ)+ 1 2 ( iϕ) V 6 (ϕ) ϕ 2 ϕ EOM 1 N g t g N ϕ N i i ϕ =...

14 Physical d.o.f. Transverse-traceless graviton + longitudinal graviton g ij = δ ij + h ij 2ψδ ij Quadratic action S 2 = dtd 3 x 1 c 2 g ψ 2 ( ψ) 2,c 2 g := 1 λ 3λ 1 c 2 g > 0: c 2 g < 0: ghost unstable Horava ; Blas, Pujolas, Sibiryakov ; Koyama, Arroja See, however: Izumi, Mukohyama Strong self-coupling for, c 2 g 0 S 3 1 c 4 g ψ ψ 2

15 Horava-Lifshitz cosmology Flat cosmological background: N =1,N i =0,g ij = a 2 (t)δ ij Evolution eq. If matter is conserved locally 2Ḣ +3H2 = 8πGp H := ȧ/a 8πG := 2/M 2 Pl(3λ 1)

16 Horava-Lifshitz cosmology Flat cosmological background: N =1,N i =0,g ij = a 2 (t)δ ij Evolution eq. If matter is conserved locally ρ +3H(ρ + p) =0 2Ḣ +3H2 = 8πGp Integrate H := ȧ/a 8πG := 2/M 2 Pl(3λ 1) 3H 2 =8πG [ρ + E], E = C a 3

17 Horava-Lifshitz cosmology Flat cosmological background: N =1,N i =0,g ij = a 2 (t)δ ij Evolution eq. If matter is conserved locally ρ +3H(ρ + p) =0 2Ḣ +3H2 = 8πGp Integrate H := ȧ/a 8πG := 2/M 2 Pl(3λ 1) 3H 2 =8πG [ρ + E], E = C a 3 In GR, local Hamiltonian constraint forces C to vanish But not in HL gravity Dust-like component (~ a -3 )... cold dark matter? Mukohyama

18 Global Hamiltonian constraint is not restrictive in cosmology 3H d 3 xa 3 2 8πG ρ = d 3 xa 3 E =0 Homogeneous in our observable patch of the universe Not necessarily homogeneous on lager scales E > 0 Cold dark matter? Mukohyama x Our universe E < 0

19 See also: Takahashi, Soda ; Gao, Wang, Brandenberger, Riotto ; Wang, Maartens ; Gong, Koh, Sasaki ;... Cosmological perturbations Scalar-type variables: N =1+A(t), N i = a 2 β,i,g ij = a 2 [(1 2ψ)δ ij +2E,ij ]

20 See also: Takahashi, Soda ; Gao, Wang, Brandenberger, Riotto ; Wang, Maartens ; Gong, Koh, Sasaki ;... Cosmological perturbations Scalar-type variables: N =1+A(t), N i = a 2 β,i,g ij = a 2 [(1 2ψ)δ ij +2E,ij ] Set A=0 by t t + f(t) Set E=0 by x i x i + i χ(t, x)

21 See also: Takahashi, Soda ; Gao, Wang, Brandenberger, Riotto ; Wang, Maartens ; Gong, Koh, Sasaki ;... Cosmological perturbations Scalar-type variables: N =1+A(t), N i = a 2 β,i,g ij = a 2 [(1 2ψ)δ ij +2E,ij ] Set A=0 by t t + f(t) Set E=0 by x i x i + i χ(t, x) Study large scale evolution of perturbations without using Hamiltonian constraint TK, Urakawa, Yamaguchi a 2 H2

22 Perturbation equations Evolution eq. 2 ψ +3H ψ + O( 2 )=8πGδp Define ε(t, x) by 8πG [ε(t, x)+δρ] = 6H ψ Perturbation of DM 8πGε = 8πGδT 0 0 δg 0 0 Hamiltonian constraint is not satisfied locally

23 Perturbation equations Evolution eq. 2 ψ +3H ψ + O( 2 )=8πGδp Define ε(t, x) by 8πG [ε(t, x)+δρ] = 6H ψ Perturbation of DM 8πGε = 8πGδT 0 0 δg 0 0 Hamiltonian constraint is not satisfied locally Evolution eq. can be written in the form of coservation eq. ε + δρ +3H(ε + δρ + δp) 3 ψ(e + ρ + p) =O( 2 )

24 Translating into a suggestive form... Define ζ := ψ H ε + δρ E + ρ Evolution eq. translates to: ζ = ψ + Ḣ H H E + ρ + p δp nad + Hc 2 sf(1 f)s HL where δp nad = δp c 2 sδρ, c 2 s =ṗ/ ρ, f = ρ E + ρ ψ

25 Translating into a suggestive form... Define ζ := ψ H ε + δρ E + ρ Evolution eq. translates to: ζ = ψ + Ḣ H H E + ρ + p δp nad + Hc 2 sf(1 f)s HL where δp nad = δp c 2 sδρ, c 2 s =ṗ/ ρ, f = ρ E + ρ ψ

26 Translating into a suggestive form... Define ζ := ψ H ε + δρ E + ρ Evolution eq. translates to: ζ = ψ + Ḣ H H E + ρ + p δp nad + Hc 2 sf(1 f)s HL where δp nad = δp c 2 sδρ, c 2 s =ṗ/ ρ, f = ρ E + ρ Relative entropy perturbation between DM and ordinary matter S HL =3(ζ HL ζ m ) ψ where ζ HL = ψ H ε E,ζ m = ψ H δρ ρ

27 ζ Conservation of? ζ H E + ρ + p δp nad + Hc 2 sf(1 f)s HL ζ 0 c 2 s =0 ρ E if / Matter energy conservation δρ +3H(δρ + δp) 3 ψ(ρ + p) 1 a 2 i ζ m 0, ζhl 0 J i +(ρ + p)n i = O( 4 /M 2 ) S HL 0 Can solve for ψ : ψ(t, x) = ζ HL (x )+S HL (x ) H(t) 2 (1 + p/ρ)dt 1+E/ρ

28 If DM is really DM, need natural mechanism to explain S HL 0 If possible, would be very interesting Observed perturbations are almost adiabatic P S P ζ + P S < 0.1 WMAP; Kawasaki, Sekiguchi

29 Healthy extension Blas, Pujolas, Sibiryakov Can construct healthy non-projectable model by adding a i a i,r i a i,..., a i := i ln N Gravitational Lagrangian: M 2 Pl 2 LK + R + ηa i a i +... Longitudinal graviton is stable in IR if L 2 3λ 1 λ 1 ψ 2 2 η ( ψ) 2 η 0 <η<2 IR limit is equivalent to special case of Einstein-Aether theory (*) (*) GR coupled to a dynamical, unit timelike vector Jacobson

30 Healthy extension contd. Low energy phenomenology Gravitational field of static point source Blas, Pujolas, Sibiryakov PPN 8πG N = γ =1 Density perturbations δ +2H δ = 2 a 2 φ, 2 a 2 φ =4πG Nρδ 1 MPl 2 (1 η/2) = 2 MPl 2 (3λ 1) =8πG cosm TK, Urakawa, Yamaguchi

31 Summary In Horava gravity Lorentz symmetry is broken in exchange for power-counting renormalizability Natural to assume projectability condition Hamiltonian constraint is not satisfied locally DM-like component: Need mechanism to make isocurvature contribution small TK et al Non-projectable model can be extended to healthy one Cosmology and perturbation evolution are addressed TK et al