Frame Covariance in Quantum Gravity - arXiv:1910 · 1) + m 2 1 4ˇ2 ln p 2 + m2 1 (4ˇ)2 4C UV 4 9 Z 1 0 dx ln x(x 21)p2 + m 1 2 Higgs Self-Energy: Modulus and Argument HH(p) =(p2

Frame Covariance in Quantum GravityFrame Covariance in Quantum Gravity

Kieran Finnwith Apostolos Pilaftsis and Sotirios Karamitsos

Wednesday 20th May 2020 arXiv:1910.06661

Frame Covariance in Quantum Gravity

Outline

Motivational Example

Covariance

Frame Covariance

Frame Covariance in Gravity

Frame Covariance in Quantum Gravity

Summary

Kieran Finn (The University of Manchester) Frame Covariance in Quantum Gravity arXiv:1910.06661 1 / 22

Complex Scalar Field

L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4

, φ = 1√2

(φ1 + iφ2)

Real and Imaginary Parts

L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

〈φ〉 = ρ0 ≡√−m2

λ , m21 = m2 + 3λρ2

0

Feynman Rules

=i

p2 −m21

, =i

p2,

= −6iλρ0, = −2iλρ0,

= −6iλ, = −6iλ, = −2iλ



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2(φ1 + iφ2)


L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

〈φ〉 = ρ0 ≡√−m2

λ , m21 = m2 + 3λρ2

0

Feynman Rules

=i

p2 −m21

, =i

p2,

= −6iλρ0, = −2iλρ0,

= −6iλ, = −6iλ, = −2iλ



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2(φ1 + iφ2)


L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

〈φ〉 = ρ0 ≡√−m2

λ , m21 = m2 + 3λρ2

0

Feynman Rules

=i

p2 −m21

, =i

p2,

= −6iλρ0, = −2iλρ0,

= −6iλ, = −6iλ, = −2iλ


Higgs Self-energy

iΓHH(p) =

+ + +

+ + +

ΓHH(p) =(p2 −m21) +

λm21

4π2ln

(p2

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]CUV ≡

2

4− D− γE + ln(4π)


Higgs Self-energy

iΓHH(p) =

+ + +

+ + +

ΓHH(p) =(p2 −m21) +

λm21

4π2ln

(p2

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]CUV ≡

2

4− D− γE + ln(4π)



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4

, φ = 1√2ρe

i σρ0

Modulus and Argument

L = 12∂µρ∂

µρ+ 12

(ρρ0

)2

∂µσ∂µσ − 1

2m2ρ2 − λ

4 ρ4

Feynman Rules: Modulus and Argument

=i

p2 −m21

, = −6iλρ0, = −6iλ,

=i

p2,

k1

k2

= − 2i

ρ0k1 · k2,

k1

k2

= − 2i

ρ20

k1 · k2



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2ρe

i σρ0


L = 12∂µρ∂

µρ+ 12

(ρρ0

)2


2m2ρ2 − λ

4 ρ4


=i

p2 −m21

, = −6iλρ0, = −6iλ,

=i

p2,

k1

k2

= − 2i

ρ0k1 · k2,

k1

k2

= − 2i

ρ20

k1 · k2


Feynman Rules: Real and Imaginary Parts

=i

p2 −m21

, = −6iλρ0, = −6iλ,

=i

p2, = −2iλρ0, = −2iλ

= −6iλ,


=i

p2 −m21

, = −6iλρ0, = −6iλ,

=i

p2,

k1

k2

= − 2i

ρ0k1 · k2,

k1

k2

= − 2i

ρ20

k1 · k2


Higgs Self-Energy

iΓHH(p) =

+ + +

+ + +

Higgs Self-Energy: Modulus and Argument

ΓHH(p) = (p2 −m21) +

3λm21 + λ p4

m41

(4π)2ln

(p2

µ2

)+

λm21

(4π)2

(3 +

p4

m41

)CUV

+λm2

1

(4π)2

[2p4

m41

− 6− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


Higgs Self-Energy

iΓHH(p) =

+ + +

+ + +


ΓHH(p) = (p2 −m21) +

3λm21 + λ p4

m41

(4π)2ln

(p2

µ2

)+

λm21

(4π)2

(3 +

p4

m41

)CUV

+λm2

1

(4π)2

[2p4

m41

− 6− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


Higgs Self-Energy: Real and Imaginary Parts

ΓHH(p) =(p2 −m21) +

λm21

4π2ln

(p2

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


ΓHH(p) = (p2 −m21) +

3λm21 + λ p4

m41

(4π)2ln

(p2

µ2

)+

λm21

(4π)2

(3 +

p4

m41

)CUV

+λm2

1

(4π)2

[2p4

m41

− 6− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


On Shell p2 = m21


ΓHH(p2 = m21) =

λm21

4π2ln

(m2

1

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)m2

1 + m21

µ2

)]


ΓHH(p2 = m21) =

λm21

4π2ln

(m2

1

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)m2

1 + m21

µ2

)]


Off Shell


ΓHH(p) =(p2 −m21) +

λm21

4π2ln

(p2

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


ΓHH(p) = (p2 −m21) +

3λm21 + λ p4

m41

(4π)2ln

(p2

µ2

)+

λm21

(4π)2

(3 +

p4

m41

)CUV

+λm2

1

(4π)2

[2p4

m41

− 6− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


Off Shell


ΓHH(p) =(p2 −m21) +

λm21

4π2ln

(p2

µ2

)+

λm21

(4π)2

[4CUV − 4− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


ΓHH(p) = (p2 −m21) +

3λm21 + λ p4

m41

(4π)2ln

(p2

µ2

)+

λm21

(4π)2

(3 +

p4

m41

)CUV

+λm2

1

(4π)2

[2p4

m41

− 6− 9

∫ 1

0

dx ln

(x(x − 1)p2 + m2

1

µ2

)]


Field Space CovarianceVilkovisky 1983

Field Theory

Fields: φA

Field Redefinitions: φA → φA(φ)

field space manifold

Field-space tensors: S , V A, TAB

Spacetime

Coordinates: xµ

Diffeomorphisms: xµ → xµ(x)

spacetime manifold

Spacetime tensors: S , V µ, Tµν



Field Theory

Fields: φA




Spacetime

Coordinates: xµ


spacetime manifold




Field Theory

Fields: φA




Spacetime

Coordinates: xµ


spacetime manifold




Field Theory

Fields: φA




Spacetime

Coordinates: xµ


spacetime manifold



Are Feynman Diagrams Covariant?

Propagators

φBφA =

(∂2L

∂φA∂φB

∣∣∣〈φ〉

)−1

Vertices

φA

φB φC

φN

= ∂NL∂φA...∂φN

∣∣∣〈φ〉


Are Feynman Diagrams Covariant?

Propagators

φBφA =(∇A∇BL|〈φ〉

)−1

Vertices

φA

φB φC

φN

= ∇A . . .∇NL|〈φ〉


Field Space Covariant Derivatives

∇BXA = ∂XA

∂φB + ΓABCX

C , ∇BXA = ∂XA

∂φB − ΓCBAXC , etc.

Field-space Christoffels: ΓABC ≡ 1

2GAD[∂GBD

∂φC + ∂GDC

∂φB − ∂GBC

∂φD

]

Properties of theField Space Metric

1 Transforms as a symmetric rank 2tensor

2 Determined solely and uniquelyfrom the QFT

3 Reduces to Euclidean metric forcanonical theory

Field Space Metric

GAB ≡ gµν

D∂2L

∂(∂µφA)∂(∂νφB )

Example: Scalar field Theory

L = 12kAB∂

µφA∂µφB − V (φ)

⇓GAB = kAB



∇BXA = ∂XA

∂φB + ΓABCX

C , ∇BXA = ∂XA



2GAD[∂GBD

∂φC + ∂GDC

∂φB − ∂GBC

∂φD

]





Field Space Metric

GAB ≡ gµν

D∂2L



L = 12kAB∂


⇓GAB = kAB



∇BXA = ∂XA

∂φB + ΓABCX

C , ∇BXA = ∂XA



2GAD[∂GBD

∂φC + ∂GDC

∂φB − ∂GBC

∂φD

]





Field Space Metric

GAB ≡ gµν

D∂2L



L = 12kAB∂


⇓GAB = kAB



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4

, φ = 1√2

(φ1 + iφ2)


L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

Field Space Metric

GAB =

(1 00 1

) Field Space Christoffels

ΓABC = 0



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2(φ1 + iφ2)


L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

Field Space Metric

GAB =

(1 00 1

) Field Space Christoffels

ΓABC = 0



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2(φ1 + iφ2)


L = 12∂µφ1∂

µφ1 + 12∂µφ2∂

µφ2 − 12m

2(φ21 + φ2

2)− λ4 (φ2

1 + φ22)2

Covariant Feynman Rules: Real and Imaginary Parts

=i

p2 −m21

, =i

p2,

= −6iλρ0, = −2iλρ0,

= −6iλ, = −6iλ, = −2iλ



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2ρe i

σρ0


L = 12∂µρ∂

µρ+ 12

(ρρ0

)2


2m2ρ2 − λ

4 ρ4

Field Space Metric

GAB =

(1 0

0(ρρ0

)2

)Field Space Christoffels

Γρσσ = − ρ

ρ20

,

Γσρσ =1

ρ



L = ∂µφ∗∂µφ−m2 |φ|2 − λ |φ|4, φ = 1√

2ρe i

σρ0


L = 12∂µρ∂

µρ+ 12

(ρρ0

)2


2m2ρ2 − λ

4 ρ4

Covariant Feynman Rules: Modulus and Argument

=i

p2 −m21

, =i

p2,

= −6iλρ0, = −2iλρ0,

= −6iλ, = −6iλ, = −2iλ


The Quantum Effective ActionSchwinger 1951

exp(i~Γ[ϕ]

)=

∫[Dφ] exp

i~

[S [φ] +

∫d4x δΓ[ϕ]

δϕA (ϕA − φA)]

Non-invariant measureNot a field-space vector


Is the Quantum Effective ActionReparametrisation Invariant?

Schwinger 1951

exp(i~Γ[ϕ]

)=

∫[Dφ] exp

i~

[S [φ] +

∫d4x δΓ[ϕ]





Schwinger 1951

exp(i~Γ[ϕ]

)=

∫[Dφ] exp

i~

[S [φ] +

∫d4x δΓ[ϕ]


Non-invariant measure

Not a field-space vector



Schwinger 1951

exp(i~Γ[ϕ]

)=

∫[Dφ] exp

i~

[S [φ] +

∫d4x δΓ[ϕ]




The Configuration Space

Must integrate over all spacetime configurations of the fields

Introduce infinite-dimensional configuration space manifold withcoordinates φa ≡ φA(xA)

Configuration space metric should be ultra-local

Configuration Space Metric

Gab ≡gµνD

δ2S

δ(∂µφa)δ(∂νφb)

= GABδ(D)(xA − xB)

Configuration Space Measure

[Dφ]√

det(G)







Gab ≡gµνD

δ2S




[Dφ]√

det(G)







Gab ≡gµνD

δ2S




[Dφ]√

det(G)







Gab ≡gµνD

δ2S




[Dφ]√

det(G)







Gab ≡gµνD

δ2S




[Dφ]√

det(G)


Covariant Source Term

(ϕA − φA)

→ ΣA(ϕ,φ)

ΣA[ϕ,φ] = (C−1[ϕ])AB σB [ϕ,φ]

〈ΣA[ϕ,φ]〉 = 0

C AB [ϕ] = 〈∇Bσ

A[ϕ,φ]〉 σA[ϕ,φ]



(ϕA − φA)→ ΣA(ϕ,φ)


〈ΣA[ϕ,φ]〉 = 0







〈ΣA[ϕ,φ]〉 = 0


A[ϕ,φ]〉

σA[ϕ,φ]





〈ΣA[ϕ,φ]〉 = 0


A[ϕ,φ]〉

σA[ϕ,φ]





〈ΣA[ϕ,φ]〉 = 0




The Vilkovisky DeWitt Effective ActionVilkovisky 1984, DeWitt 1985

exp

(i

~Γ[ϕ]

)=

∫[Dφ]

√det(G) exp

i

~

[S [φ] +

∫d4x

δΓ[ϕ]

δϕAΣA(ϕ,φ)

]


Gravity

Scalar-Tensor Gravity

S =∫d4x√−g[− f (φ)

2 R + 12g

µνkAB(φ)∂µφA∂νφ

B − V (φ)]

Field Redefinitions

gµν → gµν(gµν ,φ)

φA → φA(gµν ,φ)

Grand Field Space

ΦI =

(gµν

φA

)

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Gravity


S =∫d4x√−g[− f (φ)

2 R + 12g


B − V (φ)]

Frame Transformations

gµν → Ω2(φ)gµν

φA → φA(φ)

Grand Field Space

ΦI =

(gµν

φA

)

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Gravity


S =∫d4x√−g[− f (φ)

2 R + 12g


B − V (φ)]



φA → φA(φ)

Grand Field Space

ΦI =

(gµν

φA

)

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Gravity


S =∫d4x√−g[− f (φ)

2 R + 12g


B − V (φ)]



φA → φA(φ)

Grand Field Space

ΦI =

(gµν

φA

)

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Gravity


S =∫d4x√−g[− f (φ)

2 R + 12g


B − V (φ)]



φA → φA(φ)

Grand Field Space

ΦI =

(gµν

φA

)

(((((((((((GIJ =

gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Spacetime in the Grand Field Space

Spacetime Line Element

ds2 = gµνdxµdxν

Conformal Transformation

gµν → Ω2(φ)gµν ⇒ ds2 → Ω2(φ)ds2




((((((((ds2 = gµνdx

µdxν


gµν → Ω2(φ)gµν ⇒ ds2 → Ω2(φ)ds2




ds2 = gµνdxµdxν

gµν = 1`2(φ)gµν


gµν → Ω2gµν

`→ Ω`⇒ ds2 → ds2

Grand Field Space Metric

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )




ds2 = gµνdxµdxν

gµν = 1`2(φ)gµν


gµν → Ω2gµν

`→ Ω`⇒ ds2 → ds2

Grand Field Space Metric

GIJ =gµν

D∂2L

∂(∂µΦI )∂(∂νΦJ )


Effects of `(φ)

Dirac Delta Function∫dDx√−g δ(D)(x) = 1

Functional Determinant

det(Mxy ) ≡ exp

[i

∫dDx√−g ln(M)xx

]

Functional Derivative

δF [Φ(x)]

δΦ(y)≡ limε→0

F [Φ(x) + εδ(D)(x − y)]− F [Φ(x)]

ε


Gij ≡gµνD

δ2S

δ(∂µΦi )δ(∂νΦj)


[DΦ

]=∏I ,x

DΦI (x)

= exp

[∑I

∫dDx

√−g(x) ln

(DΦI (x)

)]


Effects of `(φ)

Dirac Delta Function∫dDx√−g δ(D)(x) = 1

Functional Determinant

det(Mxy ) ≡ exp

[i

∫dDx√−g ln(M)xx

]

Functional Derivative

δF [Φ(x)]

δΦ(y)≡ limε→0

F [Φ(x) + εδ(D)(x − y)]− F [Φ(x)]

ε


Gij ≡gµνD

δ2S

δ(∂µΦi )δ(∂νΦj)


[DΦ

]=∏I ,x

DΦI (x)

= exp

[∑I

∫dDx

√−g(x) ln

(DΦI (x)

)]


Frame Covariant Quantum Gravity

Action

S =

∫d4x√−g[− f (φ)

2R +

1

2gµνkAB(φ)∂µφ

A∂νφB − V (φ)

]

Metric

Gij ≡ 14 gµν

δ2Sδ(∂µΦi )δ(∂νΦj )

= `2

(12 f Pµνρσ − 1

2 f,Bgµν− 1

2 f,Agρσ kAB

)δD(xI − xJ)

Pµνρσ = 12 (gµρgσν + gµσgρν − gµνgρσ)

Invariant Quantum Effective Action

exp

(i

~Γ[ϕ]

)=

∫ [DΦ

]√det (Gij) exp

[i

~

(S [Φ] +

δΓ

δΦiΣi [ϕ,Φ]

)]


Frame Covariant Quantum Gravity

Action

S =

∫d4x√−g[− f (φ)

2R +

1

2gµνkAB(φ)∂µφ

A∂νφB − V (φ)

]

Metric

Gij ≡ 14 gµν

δ2Sδ(∂µΦi )δ(∂νΦj )

= `2

(12 f Pµνρσ − 1

2 f,Bgµν− 1

2 f,Agρσ kAB

)δD(xI − xJ)

Pµνρσ = 12 (gµρgσν + gµσgρν − gµνgρσ)

Invariant Quantum Effective Action

exp

(i

~Γ[ϕ]

)=

∫ [DΦ

]√det (Gij) exp

[i

~

(S [Φ] +

δΓ

δΦiΣi [ϕ,Φ]

)]


Field space for Gravity

Einstein Hilbert Action

S = −1

2

∫dDx√−gR

Model Functions

` = 1 f = 1 kAB = 0 V = 0

Field Space Metric

G(µν)(ρσ) =gλτD

∂2L∂(∂λgµν)∂(∂τgρσ)

=1

2

(gµρgσν + gµσgρν −

4

Dgµνgρσ

)


Field Space Curvature Invariants for Gravity

Field Space Riemann Tensor

R(µν)(αβ)(ρσ)(γδ) =− 1

32δµρ δ

νβgσγgαδ +

1

32δµγ δ

νβgρδgσα

+1

4Dgργg

µνgσαgβδ −1

4Dgµνgρβgσγgαδ

+ permutations

Field Space Ricci Tensor

R(µν)(ρσ) =1

4gµνgρσ −

D

8gµρgνσ −

D

8gµσgνρ

Field Space Ricci Scalar

R =D

4− D2

8− D3

8


Summary

The standard approach to quantum field theory is parametrisationdependent

This can be rectified using field-space covariance

The inclusion of gravity forces us to introduce a new model function `(φ)and redefine the spacetime metric as gµν = 1

`2 gµν

We can then construct a fully reparametrisation invariant description ofquantum gravity

because gravity has a curved field space, there is no frame in which thestandard approach is valid


Documents

Frame Covariance in Quantum Gravity - arXiv:1910 · 1) + m 2 1 4ˇ2 ln p 2 + m2 1 (4ˇ)2 4C UV 4 9 Z 1 0 dx ln x(x 21)p2 + m 1 2 Higgs Self-Energy: Modulus and Argument HH(p) =(p2