institute for theoretical physics vienna university of...

88
Gravity in two dimensions Daniel Grumiller Institute for Theoretical Physics Vienna University of Technology Universit´ e catholique de Louvain, Belgium, April 2011

Upload: others

Post on 23-May-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Gravity in two dimensions

Daniel Grumiller

Institute for Theoretical PhysicsVienna University of Technology

Universite catholique de Louvain, Belgium, April 2011

Page 2: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Outline

Why lower-dimensional gravity?

Which 2D theory?

Quantum dilaton gravity with matter

D. Grumiller — Gravity in two dimensions 2/26

Page 3: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Outline

Why lower-dimensional gravity?

Which 2D theory?

Quantum dilaton gravity with matter

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 3/26

Page 4: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 5: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 6: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 7: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 8: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 9: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 10: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 11: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 12: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 13: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Quantum gravityThe Holy Grail of theoretical physics

There is a lot we do know about quantum gravity already

I It should exist in some form

I String theory: (perturbative) theory of quantum gravity

I Microscopic understanding of black hole entropy

I Conceptual insight — information loss problem essentially resolved

There is a lot we still do not know about quantum gravity

I Reasonable alternatives to string theory?

I Cosmological constant problem? Gravity at large distances?

I Full history of evaporating quantum black hole?

I Experimental signatures? Data?

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 4/26

Page 14: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Gravity in lower dimensions

Riemann-tensor D2(D2−1)12 components in D dimensions:

I 11D: 1210 (1144 Weyl and 66 Ricci)I 10D: 825 (770 Weyl and 55 Ricci)I 5D: 50 (35 Weyl and 15 Ricci)I 4D: 20 (10 Weyl and 10 Ricci)

I 3D: 6 (Ricci)I 2D: 1 (Ricci scalar)

I 2D: lowest dimension exhibiting black holes (BHs)

I Simplest gravitational theories with BHs in 2D

I 3D: lowest dimension exhibiting BHs and gravitons

I Simplest gravitational theories with BHs and gravitons in 3D

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 5/26

Page 15: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Gravity in lower dimensions

Riemann-tensor D2(D2−1)12 components in D dimensions:

I 11D: 1210 (1144 Weyl and 66 Ricci)I 10D: 825 (770 Weyl and 55 Ricci)I 5D: 50 (35 Weyl and 15 Ricci)I 4D: 20 (10 Weyl and 10 Ricci)I 3D: 6 (Ricci)I 2D: 1 (Ricci scalar)

I 2D: lowest dimension exhibiting black holes (BHs)

I Simplest gravitational theories with BHs in 2D

I 3D: lowest dimension exhibiting BHs and gravitons

I Simplest gravitational theories with BHs and gravitons in 3D

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 5/26

Page 16: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Gravity in lower dimensions

Riemann-tensor D2(D2−1)12 components in D dimensions:

I 11D: 1210 (1144 Weyl and 66 Ricci)I 10D: 825 (770 Weyl and 55 Ricci)I 5D: 50 (35 Weyl and 15 Ricci)I 4D: 20 (10 Weyl and 10 Ricci)I 3D: 6 (Ricci)I 2D: 1 (Ricci scalar)

I 2D: lowest dimension exhibiting black holes (BHs)

I Simplest gravitational theories with BHs in 2D

I 3D: lowest dimension exhibiting BHs and gravitons

I Simplest gravitational theories with BHs and gravitons in 3D

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 5/26

Page 17: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Gravity in lower dimensions

Riemann-tensor D2(D2−1)12 components in D dimensions:

I 11D: 1210 (1144 Weyl and 66 Ricci)I 10D: 825 (770 Weyl and 55 Ricci)I 5D: 50 (35 Weyl and 15 Ricci)I 4D: 20 (10 Weyl and 10 Ricci)I 3D: 6 (Ricci)I 2D: 1 (Ricci scalar)

I 2D: lowest dimension exhibiting black holes (BHs)

I Simplest gravitational theories with BHs in 2D

I 3D: lowest dimension exhibiting BHs and gravitons

I Simplest gravitational theories with BHs and gravitons in 3D

D. Grumiller — Gravity in two dimensions Why lower-dimensional gravity? 5/26

Page 18: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Outline

Why lower-dimensional gravity?

Which 2D theory?

Quantum dilaton gravity with matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 6/26

Page 19: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 1: Einstein–Hilbert in and near two dimensions

Let us start with the simplest attempt. Einstein-Hilbert action in 2dimensions:

IEH =1

16πG

∫d2x√|g|R =

1

2G(1− γ)

A specific 2D dilaton gravity model

Result of attempt 1:

D. Grumiller — Gravity in two dimensions Which 2D theory? 7/26

Page 20: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 1: Einstein–Hilbert in and near two dimensions

Let us start with the simplest attempt. Einstein-Hilbert action in 2dimensions:

IEH =1

16πG

∫d2x√|g|R =

1

2G(1− γ)

I Action is topological

I No equations of motion

I Formal counting of number of gravitons: -1

[in D dimensions Einstein gravity has D(D− 3)/2 graviton polarizations]

A specific 2D dilaton gravity model

Result of attempt 1:

D. Grumiller — Gravity in two dimensions Which 2D theory? 7/26

Page 21: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 1: Einstein–Hilbert in and near two dimensions

Let us continue with the next simplest attempt. Einstein-Hilbert

action in 2+ε dimensions:

IEHε =

1

16πG(ε)

∫d2+εx

√|g|R

A specific 2D dilaton gravity model

Result of attempt 1:

D. Grumiller — Gravity in two dimensions Which 2D theory? 7/26

Page 22: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 1: Einstein–Hilbert in and near two dimensions

Let us continue with the next simplest attempt. Einstein-Hilbert

action in 2+ε dimensions:

IEHε =

1

16πG(ε)

∫d2+εx

√|g|R

I Weinberg: theory is asymptotically safe

I Mann: limit ε→ 0 should be possible and lead to 2D dilaton gravity

I DG, Jackiw: limit ε→ 0 (with G(ε→ 0)→ 0) yields Liouville gravity

limε→0

IEHε =

1

16πG2

∫d2x√|g|[XR− (∇X)2 + λe−2X

]

A specific 2D dilaton gravity model

Result of attempt 1:

D. Grumiller — Gravity in two dimensions Which 2D theory? 7/26

Page 23: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 1: Einstein–Hilbert in and near two dimensions

Let us continue with the next simplest attempt. Einstein-Hilbert

action in 2+ε dimensions:

IEHε =

1

16πG(ε)

∫d2+εx

√|g|R

I Weinberg: theory is asymptotically safe

I Mann: limit ε→ 0 should be possible and lead to 2D dilaton gravity

I DG, Jackiw: limit ε→ 0 (with G(ε→ 0)→ 0) yields Liouville gravity

limε→0

IEHε =

1

16πG2

∫d2x√|g|[XR− (∇X)2 + λe−2X

]

A specific 2D dilaton gravity model

Result of attempt 1:

D. Grumiller — Gravity in two dimensions Which 2D theory? 7/26

Page 24: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:

I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar XI Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 25: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJ

I Take field strength F = dA+ 12 [A,A] and coadjoint scalar X

I Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 26: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar X

I Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 27: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar XI Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]

I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 28: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar XI Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)

I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 29: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar XI Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 30: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 2: Gravity as a gauge theory and the Jackiw-Teitelboim model

Jackiw, Teitelboim (Bunster): (A)dS2 gauge theory

[Pa, Pb] = Λ εabJ [Pa, J ] = εabPb

describes constant curvature gravity in 2D. Algorithm:I Start with SO(1, 2) connection A = eaPa + ωJI Take field strength F = dA+ 1

2 [A,A] and coadjoint scalar XI Construct non-abelian BF theory

I =

∫XAF

A =

∫ [Xa(de

a + εabω ∧ eb) +X dω + εabea ∧ eb ΛX

]I Eliminate Xa (Torsion constraint) and ω (Levi-Civita connection)I Obtain the second order action

I =1

16πG2

∫d2x√−g X [R− Λ]

A specific 2D dilaton gravity model

Result of attempt 2:

D. Grumiller — Gravity in two dimensions Which 2D theory? 8/26

Page 31: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 3: Dimensional reductionFor example: spherical reduction from D dimensions

Line element adapted to spherical symmetry:

ds2 = g(D)µν︸︷︷︸

full metric

dxµ dxν = gαβ(xγ)︸ ︷︷ ︸2D metric

dxα dxβ − φ2(xα)︸ ︷︷ ︸surface area

dΩ2SD−2

,

Insert into D-dimensional EH action IEH = κ∫

dDx√−g(D)R(D):

IEH = κ2π(D−1)/2

Γ(D−12 )

∫d2x√−g φD−2

[R+

(D − 2)(D − 3)

φ2((∇φ)2 − 1

) ]Cosmetic redefinition X ∝ (λφ)D−2:

IEH =1

16πG2

∫d2x√−g[XR+

D − 3

(D − 2)X(∇X)2 − λ2X(D−4)/(D−2)

]

A specific class of 2D dilaton gravity models

Result of attempt 3:

D. Grumiller — Gravity in two dimensions Which 2D theory? 9/26

Page 32: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 3: Dimensional reductionFor example: spherical reduction from D dimensions

Line element adapted to spherical symmetry:

ds2 = g(D)µν︸︷︷︸

full metric

dxµ dxν = gαβ(xγ)︸ ︷︷ ︸2D metric

dxα dxβ − φ2(xα)︸ ︷︷ ︸surface area

dΩ2SD−2

,

Insert into D-dimensional EH action IEH = κ∫

dDx√−g(D)R(D):

IEH = κ2π(D−1)/2

Γ(D−12 )

∫d2x√−g φD−2

[R+

(D − 2)(D − 3)

φ2((∇φ)2 − 1

) ]

Cosmetic redefinition X ∝ (λφ)D−2:

IEH =1

16πG2

∫d2x√−g[XR+

D − 3

(D − 2)X(∇X)2 − λ2X(D−4)/(D−2)

]

A specific class of 2D dilaton gravity models

Result of attempt 3:

D. Grumiller — Gravity in two dimensions Which 2D theory? 9/26

Page 33: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 3: Dimensional reductionFor example: spherical reduction from D dimensions

Line element adapted to spherical symmetry:

ds2 = g(D)µν︸︷︷︸

full metric

dxµ dxν = gαβ(xγ)︸ ︷︷ ︸2D metric

dxα dxβ − φ2(xα)︸ ︷︷ ︸surface area

dΩ2SD−2

,

Insert into D-dimensional EH action IEH = κ∫

dDx√−g(D)R(D):

IEH = κ2π(D−1)/2

Γ(D−12 )

∫d2x√−g φD−2

[R+

(D − 2)(D − 3)

φ2((∇φ)2 − 1

) ]Cosmetic redefinition X ∝ (λφ)D−2:

IEH =1

16πG2

∫d2x√−g[XR+

D − 3

(D − 2)X(∇X)2 − λ2X(D−4)/(D−2)

]

A specific class of 2D dilaton gravity models

Result of attempt 3:

D. Grumiller — Gravity in two dimensions Which 2D theory? 9/26

Page 34: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 4: Poincare gauge theory and higher power curvature theories

Basic idea: since EH is trivial consider f(R) theories or/and theories withtorsion or/and theories with non-metricity

I Example: Katanaev-Volovich model (Poincare gauge theory)

IKV ∼∫

d2x√−g[αT 2 + βR2

]I Kummer, Schwarz: bring into first order form:

IKV ∼∫ [

Xa(dea + εabω ∧ eb) +X dω + εabe

a ∧ eb (αXaXa + βX2)]

I Use same algorithm as before to convert into second order action:

IKV =1

16πG2

∫d2x√−g[XR+ α(∇X)2 + βX2

]

A specific 2D dilaton gravity model

Result of attempt 4:

D. Grumiller — Gravity in two dimensions Which 2D theory? 10/26

Page 35: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 4: Poincare gauge theory and higher power curvature theories

Basic idea: since EH is trivial consider f(R) theories or/and theories withtorsion or/and theories with non-metricityI Example: Katanaev-Volovich model (Poincare gauge theory)

IKV ∼∫

d2x√−g[αT 2 + βR2

]I Kummer, Schwarz: bring into first order form:

IKV ∼∫ [

Xa(dea + εabω ∧ eb) +X dω + εabe

a ∧ eb (αXaXa + βX2)]

I Use same algorithm as before to convert into second order action:

IKV =1

16πG2

∫d2x√−g[XR+ α(∇X)2 + βX2

]

A specific 2D dilaton gravity model

Result of attempt 4:

D. Grumiller — Gravity in two dimensions Which 2D theory? 10/26

Page 36: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 4: Poincare gauge theory and higher power curvature theories

Basic idea: since EH is trivial consider f(R) theories or/and theories withtorsion or/and theories with non-metricityI Example: Katanaev-Volovich model (Poincare gauge theory)

IKV ∼∫

d2x√−g[αT 2 + βR2

]I Kummer, Schwarz: bring into first order form:

IKV ∼∫ [

Xa(dea + εabω ∧ eb) +X dω + εabe

a ∧ eb (αXaXa + βX2)]

I Use same algorithm as before to convert into second order action:

IKV =1

16πG2

∫d2x√−g[XR+ α(∇X)2 + βX2

]

A specific 2D dilaton gravity model

Result of attempt 4:

D. Grumiller — Gravity in two dimensions Which 2D theory? 10/26

Page 37: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 5: Strings in two dimensions

Conformal invariance of the σ model

Iσ ∝∫

d2ξ√|h|[gµνh

ij∂ixµ∂jx

ν + α′φR+ . . .]

requires vanishing of β-functions

βφ ∝ −4b2 − 4(∇φ)2 + 4φ+R+ . . .

βgµν ∝ Rµν + 2∇µ∇νφ+ . . .

Conditions βφ = βgµν = 0 follow from target space action

Itarget =1

16πG2

∫d2x√−g[XR+

1

X(∇X)2 − 4b2

]where X = e−2φ

A specific 2D dilaton gravity model

Result of attempt 5:

D. Grumiller — Gravity in two dimensions Which 2D theory? 11/26

Page 38: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Attempt 5: Strings in two dimensions

Conformal invariance of the σ model

Iσ ∝∫

d2ξ√|h|[gµνh

ij∂ixµ∂jx

ν + α′φR+ . . .]

requires vanishing of β-functions

βφ ∝ −4b2 − 4(∇φ)2 + 4φ+R+ . . .

βgµν ∝ Rµν + 2∇µ∇νφ+ . . .

Conditions βφ = βgµν = 0 follow from target space action

Itarget =1

16πG2

∫d2x√−g[XR+

1

X(∇X)2 − 4b2

]where X = e−2φ

A specific 2D dilaton gravity model

Result of attempt 5:

D. Grumiller — Gravity in two dimensions Which 2D theory? 11/26

Page 39: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Selected List of ModelsBlack holes in (A)dS, asymptotically flat or arbitrary spaces (Wheeler property)

Model U(X) V (X)

1. Schwarzschild (1916) − 12X

−λ2

2. Jackiw-Teitelboim (1984) 0 ΛX3. Witten Black Hole (1991) − 1

X−2b2X

4. CGHS (1992) 0 −2b2

5. (A)dS2 ground state (1994) − aX

BX6. Rindler ground state (1996) − a

XBXa

7. Black Hole attractor (2003) 0 BX−1

8. Spherically reduced gravity (N > 3) − N−3(N−2)X

−λ2X(N−4)/(N−2)

9. All above: ab-family (1997) − aX

BXa+b

10. Liouville gravity a beαX

11. Reissner-Nordstrom (1916) − 12X

−λ2 + Q2

X

12. Schwarzschild-(A)dS − 12X

−λ2 − `X13. Katanaev-Volovich (1986) α βX2 − Λ

14. BTZ/Achucarro-Ortiz (1993) 0 Q2

X− J

4X3 − ΛX15. KK reduced CS (2003) 0 1

2X(c−X2)

16. KK red. conf. flat (2006) − 12

tanh (X/2) A sinhX

17. 2D type 0A string Black Hole − 1X

−2b2X + b2q2

18. exact string Black Hole (2005) lengthy lengthy

D. Grumiller — Gravity in two dimensions Which 2D theory? 12/26

Page 40: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metricI Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 41: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature R

I Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metricI Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 42: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)

I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metricI Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 43: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometries

I Gibbons–Hawking–York boundary term guarantees Dirichlet boundaryproblem for metric

I Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 44: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metric

I Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 45: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metricI Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0

I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 46: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Synthesis of all attempts: Dilaton gravity in two dimensions

Second order action:

I =1

16πG2

∫M

d2x√|g|[XR− U(X)(∇X)2 − V (X)

]− 1

8πG2

∫∂M

dx√|γ| [XK − S(X)] + I(m)

I Dilaton X defined by its coupling to curvature RI Kinetic term (∇X)2 contains coupling function U(X)I Self-interaction potential V (X) leads to non-trivial geometriesI Gibbons–Hawking–York boundary term guarantees Dirichlet boundary

problem for metricI Hamilton–Jacobi counterterm contains superpotential S(X)

S(X)2 = e−∫X U(y) dy

∫ X

V (y)e∫ y U(z) dz dy

and guarantees well-defined variational principle δI = 0I Interesting option: couple 2D dilaton gravity to matter

D. Grumiller — Gravity in two dimensions Which 2D theory? 13/26

Page 47: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Outline

Why lower-dimensional gravity?

Which 2D theory?

Quantum dilaton gravity with matter

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 14/26

Page 48: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 49: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 50: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 51: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 52: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 53: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 54: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 55: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 56: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 57: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Exact path integral quantization of 2D dilaton gravityOverview of the quantization procedure

Implement the following algorithm:

I Matter provides propagating degrees of freedom

I Consider 2D dilaton gravity with a scalar field

I Do the BRST gymnastics

I Integrate out geometry exactly!

I Obtain non-local non-polynomial matter action

I Treat matter perturbatively

I Calculate Feynman rules

I Reconstruct intermediate geometry (Virtual BHs)

I Calculate S-matrix or corrections to classical quantities (like specificheat)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 15/26

Page 58: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-minimally coupled matterProminent example: Einstein-massless Klein-Gordon model (Choptuik)

I no matter: integrability, no scattering, no propagating physical modes

I with matter: no integrability in general, scattering, critical collapse

Massless scalar field S:

I(m) =

∫d2x√−gF (X)(∇S)2

I minimal coupling: F = const.

I non-minimal coupling otherwise

I spherical reduction: F ∝ X

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 16/26

Page 59: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-minimally coupled matterProminent example: Einstein-massless Klein-Gordon model (Choptuik)

I no matter: integrability, no scattering, no propagating physical modes

I with matter: no integrability in general, scattering, critical collapse

Massless scalar field S:

I(m) =

∫d2x√−gF (X)(∇S)2

I minimal coupling: F = const.

I non-minimal coupling otherwise

I spherical reduction: F ∝ X

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 16/26

Page 60: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-perturbative path integral quantizationIntegrating out geometry exactly

I constraint analysisGi(x), Gj(x′)

= GkCk

ijδ(x− x′)I BRST charge Ω = ciGi + cicjCij

kpk (ghosts ci, pk)

I gauge fixing fermion to achieve EF gauge

integrating ghost sector yields

Z[sources] =

∫Dfδ

(f + iδ/δje+1

)Z[f, sources]

with (S = S√f)

Z[f, sources] =

∫DSD(ω, ea, X,Xa) det ∆F.P. exp i(Ig.f. + sources)

Can integrate over all fields except matter non-perturbatively!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 17/26

Page 61: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-perturbative path integral quantizationIntegrating out geometry exactly

I constraint analysisGi(x), Gj(x′)

= GkCk

ijδ(x− x′)I BRST charge Ω = ciGi + cicjCij

kpk (ghosts ci, pk)

I gauge fixing fermion to achieve EF gauge

integrating ghost sector yields

Z[sources] =

∫Dfδ

(f + iδ/δje+1

)Z[f, sources]

with (S = S√f)

Z[f, sources] =

∫DSD(ω, ea, X,Xa) det ∆F.P. exp i(Ig.f. + sources)

Can integrate over all fields except matter non-perturbatively!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 17/26

Page 62: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-local effective theoryConvert local gravity theory with matter into non-local matter theory without gravity

Generating functional for Green functions (F = 1):

Z[f, sources] =

∫DS exp i

∫(Lk + Lv + Ls)d2x

Lk = ∂0S∂1S − E−1 (∂0S)2 , Lv = −w′(X) , Ls = σS + je+1E+

1 + . . . ,

S = Sf1/2 , E+1 = eQ(X) , X = a+ bx0︸ ︷︷ ︸

X

+∂−20 (∂0S)2︸ ︷︷ ︸non−local

+ . . . , a = 0 , b = 1 ,

E−1 = w(X) +M , E+1 = eQ(X) + eQ(X)U(X)∂−20 (∂0S)2 + . . .∫

DS exp i

∫Lk = exp

(i/96π

∫x

∫yfRx

−1xyRy

)︸ ︷︷ ︸

Polyakov

Red: geometry, Magenta: matter, Blue: boundary conditions

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 18/26

Page 63: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Non-local effective theoryConvert local gravity theory with matter into non-local matter theory without gravity

Generating functional for Green functions (F = 1):

Z[f, sources] =

∫DS exp i

∫(Lk + Lv + Ls)d2x

Lk = ∂0S∂1S − E−1 (∂0S)2 , Lv = −w′(X) , Ls = σS + je+1E+

1 + . . . ,

S = Sf1/2 , E+1 = eQ(X) , X = a+ bx0︸ ︷︷ ︸

X

+∂−20 (∂0S)2︸ ︷︷ ︸non−local

+ . . . , a = 0 , b = 1 ,

E−1 = w(X) +M , E+1 = eQ(X) + eQ(X)U(X)∂−20 (∂0S)2 + . . .∫

DS exp i

∫Lk = exp

(i/96π

∫x

∫yfRx

−1xyRy

)︸ ︷︷ ︸

Polyakov

Red: geometry, Magenta: matter, Blue: boundary conditions

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 18/26

Page 64: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some Feynman diagrams

lowest order non-local vertices:

V(4)(x,y)a

x y

∂0 S

q’

∂0 S

q

∂0 S

k’

∂0 S

k

+

V(4)(x,y)b

x y

∂0 S

q’

∂0 S

q

∂1 S

k’

∂0 S

k

propagator corrections:

vacuum bubbles:

vertex corrections:

I so far: calculated only lowest order vertices and propagator corrections

I partial resummations possible (similar to Bethe-Salpeter)?

I non-local loops vanish to this order

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 19/26

Page 65: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

S-matrix for s-wave gravitational scatteringQuantizing the Einstein-massless-Klein-Gordon model

ingoing s-waves q = αE, q′ = (1− α)E interact and scatter into outgoings-waves k = βE, k′ = (1− β)E

T (q, q′; k, k′) ∝ T δ(k + k′ − q − q′)/|kk′qq′|3/2 (1a)

with Π = (k + k′)(k − q)(k′ − q) and

T = Π lnΠ2

E6+

1

Π

∑p

p2 lnp2

E2·

(3kk′qq′ − 1

2

∑r 6=p

∑s6=r,p

r2s2

)(1b)

Plot of cross-section

I result finite and simple

I monomial scaling with E

I forward scattering poles Π = 0

I decay of s-waves possible

I not understood why so simple!(intermediate results vastly more complicated)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 20/26

Page 66: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

S-matrix for s-wave gravitational scatteringQuantizing the Einstein-massless-Klein-Gordon model

ingoing s-waves q = αE, q′ = (1− α)E interact and scatter into outgoings-waves k = βE, k′ = (1− β)E

T (q, q′; k, k′) ∝ T δ(k + k′ − q − q′)/|kk′qq′|3/2 (1a)

with Π = (k + k′)(k − q)(k′ − q) and

T = Π lnΠ2

E6+

1

Π

∑p

p2 lnp2

E2·

(3kk′qq′ − 1

2

∑r 6=p

∑s6=r,p

r2s2

)(1b)

Plot of cross-section

I result finite and simple

I monomial scaling with E

I forward scattering poles Π = 0

I decay of s-waves possible

I not understood why so simple!(intermediate results vastly more complicated)

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 20/26

Page 67: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Other selected successes of (quantum) dilaton gravity with/without matter

I Gravity as non-abelian gauge theory Jackiw, Teitelboim ’84I Black holes in string theory Witten ’91I Black hole evaporation Callan, Giddings, Harvey, Strominger ’92I Gravity as non-linear gauge theory Ikeda, Izawa ’93I Dirac quantization Louis-Martinez, Gegenberg, Kunstatter ’94I All classical solutions Klosch, Strobl ’96 –’98I Virtual black holes DG, Kummer, Vassilevich ’00I Unitary S-matrix DG, Kummer, Vassilevich ’01I Quantum corrected specific heat DG, Kummer, Vassilevich ’03I Liouville Field Theory Nakayama ’04I Duality DG, Jackiw ’06I Holographic renormalization DG, McNees ’07I Central charge in AdS2 Hartman, Strominger ’08I AdS2 holography Castro, DG, Larsen, McNees ’08I Model for gravity at large distances DG ’10I Quantization of cosmological constant? Govaerts, Zonetti ’11

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 21/26

Page 68: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Summary

— Thank you for your attention!

I Dilaton gravity in two dimensions is surprisingly rich!

I Dilaton gravity in two dimensions provides valuable lessons for blackhole physics and quantum gravity

I Dilaton gravity in two dimensions is also capable of providing insightsinto gravity at large distances

I ... there still may be surprises waiting to be discovered!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 22/26

Page 69: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Summary

— Thank you for your attention!

I Dilaton gravity in two dimensions is surprisingly rich!I Dilaton gravity in two dimensions provides valuable lessons for black

hole physics and quantum gravity

I Dilaton gravity in two dimensions is also capable of providing insightsinto gravity at large distances

I ... there still may be surprises waiting to be discovered!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 22/26

Page 70: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Summary

— Thank you for your attention!

I Dilaton gravity in two dimensions is surprisingly rich!I Dilaton gravity in two dimensions provides valuable lessons for black

hole physics and quantum gravityI Dilaton gravity in two dimensions is also capable of providing insights

into gravity at large distances

I ... there still may be surprises waiting to be discovered!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 22/26

Page 71: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Summary

— Thank you for your attention!

I Dilaton gravity in two dimensions is surprisingly rich!I Dilaton gravity in two dimensions provides valuable lessons for black

hole physics and quantum gravityI Dilaton gravity in two dimensions is also capable of providing insights

into gravity at large distancesI ... there still may be surprises waiting to be discovered!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 22/26

Page 72: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Summary — Thank you for your attention!

I Dilaton gravity in two dimensions is surprisingly rich!I Dilaton gravity in two dimensions provides valuable lessons for black

hole physics and quantum gravityI Dilaton gravity in two dimensions is also capable of providing insights

into gravity at large distancesI ... there still may be surprises waiting to be discovered!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 22/26

Page 73: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some literature

J. D. Brown, “LOWER DIMENSIONAL GRAVITY,” World ScientificSingapore (1988).

D. Grumiller, W. Kummer, and D. Vassilevich, “Dilaton gravity in twodimensions,” Phys. Rept. 369 (2002) 327–429, hep-th/0204253.

D. Grumiller, R. Meyer, “Ramifications of lineland,” Turk. J. Phys. 30(2006) 349-378, hep-th/0604049.

D. Grumiller, R. McNees, “Thermodynamics of black holes in two (andhigher) dimensions,” JHEP 0704 (2007) 074, hep-th/0703230.

D. Grumiller, R. Jackiw, “Liouville gravity from Einstein gravity,” 0712.3775.

J. Govaerts, S. Zonetti, “Quantized cosmological constant in 1+1dimensional quantum gravity with coupled scalar matter,” 1102.4957.

Thanks to Bob McNees for providing the LATEX beamerclass!

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 23/26

Page 74: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]

I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 75: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdS

I Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 76: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field E

I Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 77: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge field

I Cosmological constant Λ = − 8L2 parameterized by AdS radius L

I Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 78: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius L

I Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 79: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positive

I δφ EOM: R = − 8L2 ⇒ AdS2!

I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 80: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!

I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 81: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constant

I δg EOM:

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 82: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constantI δg EOM: complicated for non-constant dilaton...

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 83: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Recent example: AdS2 holographyTwo dimensions supposed to be the simplest dimension with geometry, and yet...

I extremal black holes universally include AdS2 factorI funnily, AdS3 holography more straightforwardI study charged Jackiw–Teitelboim model as example

IJT =α

∫d2x√−g

[e−2φ

(R+

8

L2

)− L2

4F 2

]I Metric g has signature −,+ and Ricci-scalar R< 0 for AdSI Maxwell field strength Fµν = 2E εµν dual to electric field EI Dilaton φ has no kinetic term and no coupling to gauge fieldI Cosmological constant Λ = − 8

L2 parameterized by AdS radius LI Coupling constant α usually is positiveI δφ EOM: R = − 8

L2 ⇒ AdS2!I δA EOM: ∇µFµν = 0 ⇒ E = constant

I δg EOM: ...but simple for constant dilaton: e−2φ = L4

4 E2

∇µ∇νe−2φ − gµν ∇2e−2φ+4

L2e−2φ gµν+

L2

2Fµ

λ Fνλ−L2

8gµν F

2 = 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 24/26

Page 84: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some surprising resultsHartman, Strominger = HS Castro, DG, Larsen, McNees = CGLM

I Holographic renormalization leads to boundary mass term (CGLM)

I ∼∫

dx√|γ|mA2

Nevertheless, total action gauge invariant

I Boundary stress tensor transforms anomalously (HS)

(δξ + δλ)Ttt = 2Ttt∂tξ + ξ∂tTtt −c

24πL∂3t ξ

where δξ + δλ is combination of diffeo- and gauge trafos that preservethe boundary conditions (similarly: δλJt = − k

4πL∂tλ)I Anomalous transformation above leads to central charge (HS, CGLM)

c = −24αe−2φ =3

G2=

3

2kE2L2

I Positive central charge only for negative coupling constant α (CGLM)

α < 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 25/26

Page 85: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some surprising resultsHartman, Strominger = HS Castro, DG, Larsen, McNees = CGLM

I Holographic renormalization leads to boundary mass term (CGLM)

I ∼∫

dx√|γ|mA2

Nevertheless, total action gauge invariantI Boundary stress tensor transforms anomalously (HS)

(δξ + δλ)Ttt = 2Ttt∂tξ + ξ∂tTtt −c

24πL∂3t ξ

where δξ + δλ is combination of diffeo- and gauge trafos that preservethe boundary conditions (similarly: δλJt = − k

4πL∂tλ)

I Anomalous transformation above leads to central charge (HS, CGLM)

c = −24αe−2φ =3

G2=

3

2kE2L2

I Positive central charge only for negative coupling constant α (CGLM)

α < 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 25/26

Page 86: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some surprising resultsHartman, Strominger = HS Castro, DG, Larsen, McNees = CGLM

I Holographic renormalization leads to boundary mass term (CGLM)

I ∼∫

dx√|γ|mA2

Nevertheless, total action gauge invariantI Boundary stress tensor transforms anomalously (HS)

(δξ + δλ)Ttt = 2Ttt∂tξ + ξ∂tTtt −c

24πL∂3t ξ

where δξ + δλ is combination of diffeo- and gauge trafos that preservethe boundary conditions (similarly: δλJt = − k

4πL∂tλ)I Anomalous transformation above leads to central charge (HS, CGLM)

c = −24αe−2φ =3

G2=

3

2kE2L2

I Positive central charge only for negative coupling constant α (CGLM)

α < 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 25/26

Page 87: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Some surprising resultsHartman, Strominger = HS Castro, DG, Larsen, McNees = CGLM

I Holographic renormalization leads to boundary mass term (CGLM)

I ∼∫

dx√|γ|mA2

Nevertheless, total action gauge invariantI Boundary stress tensor transforms anomalously (HS)

(δξ + δλ)Ttt = 2Ttt∂tξ + ξ∂tTtt −c

24πL∂3t ξ

where δξ + δλ is combination of diffeo- and gauge trafos that preservethe boundary conditions (similarly: δλJt = − k

4πL∂tλ)I Anomalous transformation above leads to central charge (HS, CGLM)

c = −24αe−2φ =3

G2=

3

2kE2L2

I Positive central charge only for negative coupling constant α (CGLM)

α < 0

D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 25/26

Page 88: Institute for Theoretical Physics Vienna University of ...quark.itp.tuwien.ac.at/~grumil/pdf/belgium2011.pdf · Quantum gravity The Holy Grail of theoretical physics There is a lot

Virtual black holesReconstruct geometry from matter

“Intermediate geometry” (caveat: off-shell!):

i0

i-

i+

ℑ-

ℑ+

y

ds2 = 2 dudr+ [1− δ(u− u0)θ(r0 − r)︸ ︷︷ ︸localized

(2M/r+ ar+ d)] du2

I Schwarzschild and Rindler termsI nontrivial part localizedI geometry is non-local (depends on r, u, r0, u0︸ ︷︷ ︸

y

)

I geometry asymptotically fixed (Minkowski)D. Grumiller — Gravity in two dimensions Quantum dilaton gravity with matter 26/26