Download Towards a Deformation Quantization of Gravity

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Symmetry in quantum mechanics wikipedia , lookup

Oscillator representation wikipedia , lookup

Invariant convex cone wikipedia , lookup

Transcript
Towards a Deformation
Quantization of Gravity
Luther Rinehart
1
1. Classical Mechanics = Symplectic Geometry
2. Deformation Quantization
3. Field Theory
4. Gravity
2
Part 1:
Classical Mechanics = Symplectic Geometry
3
Definition: A symplectic manifold is a manifold
Ξ¦ with a tensor field Ξ©π‘Žπ‘ (symplectic form)
satisfying:
1. Antisymmetric: Ξ©π‘Žπ‘ = βˆ’Ξ©π‘π‘Ž
2. Non-degenerate: detΞ© β‰  0
3. Closed: π›»π‘Ž Ω𝑏𝑐 + 𝛻𝑏 Ξ©π‘π‘Ž + 𝛻𝑐 Ξ©π‘Žπ‘ = 0
4
π‘Žπ‘
There is a unique field Ξ©
π‘Žπ‘
Ξ© Ω𝑏𝑐 =
satisfying
π‘Ž
βˆ’π›Ώ 𝑐
5
Canonical form:
0
Ξ©=
βˆ’πŸ™
πŸ™
0
6
Definition: Let 𝑓 and 𝑔 be scalar functions on
Ξ¦. Their Poisson bracket is
𝑓, 𝑔 =
π‘Žπ‘
Ξ© π›»π‘Ž 𝑓𝛻𝑏 𝑔
7
Definition: A canonical transformation is a
function π‘ˆ: Ξ¦ β†’ Ξ¦ that preserves Ξ©:
π‘Ž
𝑐
π·π‘ˆ 𝑏 π·π‘ˆ 𝑑 Ξ©π‘Žπ‘
= Ω𝑏𝑑
8
Canonical transformations are generated by
scalar functions: for η ∈ Φ,
π‘Ž
π‘Žπ‘
Ξ· = Ξ© 𝛻𝑏 𝐻
where 𝐻 is some function on Φ.
9
This is Hamiltonian Mechanics!
β€’ Phase space is a symplectic manifold
β€’ Observables are scalar functions with Poisson bracket
𝑓, 𝑔 = Ξ©π‘Žπ‘ π›»π‘Ž 𝑓𝛻𝑏 𝑔
β€’ Dynamical evolution is a canonical transformation
β€’ Hamilton’s equations: Ξ·π‘Ž = Ξ©π‘Žπ‘ 𝛻𝑏 𝐻
10
Part 2:
Deformation Quantization
11
In quantum mechanics, we are interested in the
∞
algebra of observables 𝔸 = 𝐢 (Ξ¦).
This has a commutative product given by
multiplication of functions.
How do we turn this classical theory into a
quantum theory?
12
Deformation Quantization: turning 𝔸 into the
quantum algebra of observables by deforming
the product to be non-commutative.
13
Specifically, we want to find a smooth curve
⋆ (ℏ) in the space of associative bilinear
products.
14
Correspondence principle/Canonical
commutation:
⋆ 0 = multiplication
⋆ 0 = 𝑖 2 Poisson bracket
15
The algebraic viewpoint: 𝔸 with ⋆ is sufficient
structure to formulate quantum mechanics.
β€’ States, expectation values, spectra, and time evolution can
all be defined algebraicly.
16
Example: Weyl Quantization when Ξ¦ is a
finite-dimensional vector space.
17
𝑖ℏ
𝑖ℏ
𝑓 ⋆ 𝑔 = 𝑓 exp
Ξ©(𝛻, 𝛻) 𝑔 = 𝑓𝑔 +
2
2
𝑓, 𝑔 + 𝑂(ℏ2 )
18
It can be shown that Weyl quantization is
equivalent to regular quantum mechanics.
However, it does not work for more general
symplectic manifolds because there is no
canonical derivative operator 𝛻.
19
Current research: how to determine an
appropriate ⋆ on more general symplectic
manifolds.
β€’ Perturbative expansion: Kontsevich (2003) Lett. Math. Phys. 66 157
[arxiv: q-alg/9709040].
β€’ Geodesics?: Rinehart (2015) [arxiv: 1506.01618].
20
Part 3:
Field theory
21
Ξ¦ = set of solutions to the field equations
An infinite-dimensional manifold, with
tangent spaces given by the linearized field
equations.
22
Example:
2
2
πœ† 3
βˆ’ πœ™
3!
2
2
πœ† 2
βˆ’ πœ™ πœ“
2
Field equation: 𝛻 πœ™ + π‘š πœ™ =
Tangent space: 𝛻 πœ“ + π‘š πœ“ =
23
To make this into a symplectic manifold, we
need to assign a tensor Ξ©π‘Žπ‘ to each tangent
space.
For field equations derived from an action
principle, there is a canonical choice of Ξ©π‘Žπ‘ .
24
πœ‡
πœ“1 Ξ 2
Ξ© πœ“1 , πœ“2 =
βˆ’
πœ‡
πœ“2 Ξ 1
π‘›πœ‡
Ξ£
πœ‡
Ξ  is the canonically conjugate momentum to πœ“
in the linearized equation.
The integral is over a spacial slice Ξ£ with normal
π‘›πœ‡ . It is independent of the choice of Ξ£.
25
So Ξ¦ is a symplectic manifold, and
∞
𝔸 = 𝐢 (Ξ¦) has a Poisson bracket.
β€’ Khavkine (2014) Int. J. Mod. Phys. A 29 1430009 [arxiv: 1402.1282].
β€’ Khavkine and Moretti (2014) [arxiv: 1412.5945].
26
Part 4:
Gravity
27
For a fixed spacetime manifold 𝑀, let phase
space Ξ¦ be the space of solutions to
1
π‘…πœ‡Ξ½ βˆ’ π‘…π‘”πœ‡Ξ½ = 8πœ‹πΊπ‘‡πœ‡Ξ½
2
28
As before, the tangent spaces to Ξ¦ are
selected by the linearized field equation:
𝛻 𝛼 π›»πœ‡ β„ŽΞ½π›Ό + 𝛻 𝛼 𝛻ν β„Žπœ‡π›Ό βˆ’ 𝛻 2 β„Žπœ‡Ξ½ βˆ’ π‘”πœ‡Ξ½ 𝛻 𝛼 𝛻𝛽 β„Žπ›Όπ›½ βˆ’ π›»πœ‡ 𝛻ν β„Ž + π‘”πœ‡Ξ½ 𝛻 2 β„Ž = 0
29
The canonical momenta to β„Žπ›Όπ›½ are:
Ξ  πœ‡π›Όπ›½ = 𝛻 𝛼 β„Žπ›½πœ‡ + 𝛻𝛽 β„Žπ›Όπœ‡ βˆ’ π›»πœ‡ β„Žπ›Όπ›½ βˆ’ 𝑔𝛼𝛽 𝛻ν β„ŽΞ½πœ‡ βˆ’ π‘”π›Όπœ‡ 𝛻𝛽 β„Ž + 𝑔𝛼𝛽 π›»πœ‡ β„Ž
30
πœ‡π›Όπ›½
β„Ž1𝛼𝛽 Ξ 2
Ξ© β„Ž1 , β„Ž2 =
βˆ’
πœ‡π›Όπ›½
β„Ž2𝛼𝛽 Ξ 1
π‘›πœ‡
Ξ£
31
Problem: Ξ© is degenerate. It vanishes on any
field of the form
β„Žπ›Όπ›½ = 𝛻𝛼 𝑣𝛽 + 𝛻𝛽 𝑣𝛼
32
This theory has gauge freedom! Redundancy
up to diffeomorphisms of 𝑀.
β„Žπ›Όπ›½ β†’ β„Žπ›Όπ›½ + 𝛻𝛼 𝑣𝛽 + 𝛻𝛽 𝑣𝛼
33
β€œQuotient out” the gauge freedom:
Let Ξ¦β€² be the set of equivalence classes of Ξ¦
under diffeomorphisms of 𝑀.
34
Now, Ξ© is non-degenerate on the tangent
spaces of Ξ¦β€².
∞
β€²
Algebra 𝔸 = 𝐢 (Ξ¦ ). Equivalently, functions
that are constant on the equivalence classes.
35
So gravity can be formulated as a symplectic
manifold.
If we can work out a satisfactory deformation
quantization of symplectic manifolds, this
would give a route to a mathematically welldefined formulation of quantum gravity.
36
Final Thoughts
Physics currently lacks a mathematically sound formulation of
quantum field theory.
Failure to have a clear understanding of what we mean by
quantum field theory (or a clear understanding of what is
mathematically allowable and what is not) is a major obstacle
to understanding quantum gravity.
Deformation quantization and the algebraic formulation
provide one path to resolving this issue.
37