Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
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