Observer dependent background geometries arxiv:

Transcription

1 Observer dependent background geometries arxiv: Manuel Hohmann Laboratory of Theoretical Physics Physics Institute University of Tartu DPG-Tagung Berlin Session MP März 2014 Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

2 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

3 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Geometry imposes several conditions: Local Lorentz invariance General covariance Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

4 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Geometry imposes several conditions: Local Lorentz invariance General covariance Theories of quantum gravity may break these conditions: Loop quantum gravity Spin foam networks Causal dynamical triangulations Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

5 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Geometry imposes several conditions: Local Lorentz invariance General covariance Theories of quantum gravity may break these conditions: Loop quantum gravity Spin foam networks Causal dynamical triangulations Possible stronger, non-tensorial dependence of physical quantities on observer s motion. Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

6 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Geometry imposes several conditions: Local Lorentz invariance General covariance Theories of quantum gravity may break these conditions: Loop quantum gravity Spin foam networks Causal dynamical triangulations Possible stronger, non-tensorial dependence of physical quantities on observer s motion. More general, non-tensorial, observer dependent geometries: Finsler spacetimes Cartan geometry on observer space Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

7 Motivation of spacetime serves multiple roles: Causality Observers, observables and observations Gravity Geometry imposes several conditions: Local Lorentz invariance General covariance Theories of quantum gravity may break these conditions: Loop quantum gravity Spin foam networks Causal dynamical triangulations Possible stronger, non-tensorial dependence of physical quantities on observer s motion. More general, non-tensorial, observer dependent geometries: Finsler spacetimes Cartan geometry on observer space How to serve the same roles as metric geometry? Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

8 Geometrical structures Manifold M Lorentzian metric g Orientation Time orientation Finsler geometry Tangent bundle TM Geometry function L : TM R Finsler function F : TM R Finsler metric g F (x, y) Cartan non-linear connection N a b Cartan linear connection Cartan geometry Lie group G = ISO 0 (3, 1) Closed subgroup K = SO(3) Principal K -bundle π : P O Cartan connection A Ω 1 (P, g) Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

9 Geometrical structures Manifold M Lorentzian metric g Orientation Time orientation From metric to Finsler Coordinates (x a ) on M Coordinates (x a, y a ) on TM Define L(x, y) = g ab (x)y a y b Finsler geometry Tangent bundle TM Geometry function L : TM R Finsler function F : TM R Finsler metric g F (x, y) Cartan non-linear connection N a b Cartan linear connection Cartan geometry Lie group G = ISO 0 (3, 1) Closed subgroup K = SO(3) Principal K -bundle π : P O Cartan connection A Ω 1 (P, g) From Finsler to Cartan Space O of observer 4-velocities Space P of observer frames Define A from connection Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

10 Causal structure Geometry function: L = g ab y a y b y a timelike for L < 0. Sx sign L = 1 sign L =1 sign L =1 sign L = 1 Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

11 Causal structure Geometry function: L = g ab y a y b y a timelike for L < 0. Sx sign L = 1 sign L =1 sign L =1 sign L = 1 Finsler geometry Fundamental geometry function L Hessian: L = 1 Sx L =1 (+,,, ) L>0 (+,,, ) L<0 (, +, +, +) L<0 g L ab (x, y) = 1 2 a b L(x, y) (, +, +, +) L>0 Use sign of L and signature of g L. Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

12 Causal structure Geometry function: L = g ab y a y b y a timelike for L < 0. Finsler geometry Sx sign L = 1 sign L =1 sign L =1 sign L = 1 Fundamental geometry function L Hessian: gab L (x, y) = 1 2 a b L(x, y) L = 1 Sx Cartan geometry Observer space: O = L =1 (+,,, ) L>0 x M S x O contains only future unit timelike vectors. (, +, +, +) L>0 (+,,, ) L<0 (, +, +, +) L<0 Use sign of L and signature of g L. Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

13 Observers Timelike curve γ: γ : R M τ γ(τ) g ab γ a γ b = 1 Orthonormal frame f : f a 0 = γa g ab fi a fj b = η ij Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

14 Observers Timelike curve γ: γ : R M τ γ(τ) g ab γ a γ b = 1 Orthonormal frame f : f a 0 = γa g ab fi a fj b = η ij Finsler geometry Timelike curve γ: γ : R M τ γ(τ) γ(τ) S γ(τ) TM Canonical lift Γ: Γ(τ) = (γ(τ), γ(τ)) Γ(τ) O TM Orthonormal frame f : f a 0 = γa gab F f i a fj b = η ij Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

15 Observers Timelike curve γ: γ : R M τ γ(τ) g ab γ a γ b = 1 Orthonormal frame f : f a 0 = γa g ab fi a fj b = η ij Finsler geometry Timelike curve γ: γ : R M τ γ(τ) γ(τ) S γ(τ) TM Canonical lift Γ: Γ(τ) = (γ(τ), γ(τ)) Γ(τ) O TM Orthonormal frame f : f a 0 = γa gab F f i a fj b = η ij Cartan geometry Observer curve Γ: Γ : R O τ Γ(τ) Lift condition: ẽ i Γ(τ) = δ i 0 Orthonormal frame f : f π 1 (Γ(τ)) P Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

16 Inertial observers Minimize arc length integral: t2 t 1 g ab (γ(t)) γ a (t) γ b (t) dt Geodesic equation: γ a + Γ a bc γ b γ c = 0 Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

17 Inertial observers Minimize arc length integral: t2 t 1 g ab (γ(t)) γ a (t) γ b (t) dt Geodesic equation: γ a + Γ a bc γ b γ c = 0 Finsler geometry Minimize arc length integral: t2 t 1 F(γ(t), γ(t))dt Geodesic equation: γ a + N a b γ b = 0 Geodesic spray: S = y a ( a N b a b ) Integral curves: Γ(τ) = S(Γ(τ)) Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

18 Inertial observers Minimize arc length integral: t2 t 1 g ab (γ(t)) γ a (t) γ b (t) dt Geodesic equation: γ a + Γ a bc γ b γ c = 0 Cartan geometry Geodesic condition: Integral curves: b α Γ(τ) = 0 Γ(τ) = ẽ 0 (Γ(τ)) Finsler geometry Minimize arc length integral: t2 t 1 F(γ(t), γ(t))dt Geodesic equation: γ a + N a b γ b = 0 Geodesic spray: S = y a ( a N b a b ) Integral curves: Γ(τ) = S(Γ(τ)) Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

19 Field theory Tensor bundle: T r,s M = TM r T M s Tensor fields Φ in T r,s M Observer frame f Tensor components of Φ wrt f Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

20 Field theory Tensor bundle: T r,s M = TM r T M s Finsler geometry Horizontal tensor bundle: H r,s TM = HTM r H TM s Tensor fields Φ in T r,s M Observer frame f Tensor components of Φ wrt f Horizontal tensor fields Φ in H r,s TM Observer frame f Tensor components of Φ wrt f Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

21 Field theory Tensor bundle: T r,s M = TM r T M s Finsler geometry Horizontal tensor bundle: H r,s TM = HTM r H TM s Cartan geometry Horizontal tensor bundle: H r,s O = HO r H O s Tensor fields Φ in T r,s M Observer frame f Tensor components of Φ wrt f Horizontal tensor fields Φ in H r,s TM Observer frame f Tensor components of Φ wrt f Horizontal tensor fields Φ in H r,s O Horizontal basis ẽ i Tensor components of Φ wrt ẽ i Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

22 Gravity Einstein-Hilbert action: S EH = 1 d 4 x g R 2κ M Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

23 Gravity Einstein-Hilbert action: S EH = 1 d 4 x g R 2κ M Finsler geometry Using non-linear connection: S N = 1 Vol κ G R a aby b Σ Using linear connection: S L = 1 Vol κ G g F ab R c acb Σ Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

24 Gravity Einstein-Hilbert action: S EH = 1 d 4 x g R 2κ M Finsler geometry Using non-linear connection: S N = 1 Vol κ G R a aby b Σ Using linear connection: S L = 1 Vol κ G g F ab R c acb Σ Cartan geometry Using horizontal vector fields: S H = b α ([ẽ α, ẽ 0 ]) Vol O O Using Cartan curvature: S C = κ h ( F h F h ) Vol S O Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

25 Gravity Einstein-Hilbert action: S EH = 1 d 4 x g R 2κ M Finsler geometry Using non-linear connection: S N = 1 Vol κ G R a aby b Σ Using linear connection: S L = 1 Vol κ G g F ab R c acb Σ Cartan geometry Using horizontal vector fields: S H = b α ([ẽ α, ẽ 0 ]) Vol O O Using Cartan curvature: S C = κ h ( F h F h ) Vol S O Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

26 Spacetime Spacetime manifold M Finsler geometry Spacetime manifold M Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

27 Spacetime Spacetime manifold M Finsler geometry Spacetime manifold M Cartan geometry Cartan connection A Ω 1 (P, g) induces split of TP: R p P B p P H p P Ω + b + e + e 0 = A k y z z 0 = g If RP BP is integrable: Foliation F exists. Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11 H 0 pp Spacetime M as leaf space. No underlying spacetime. Causality, observers, observables and gravity defined in both cases. = T p P If RP BP is non-integrable: No foliation exists.

28 Summary Finsler spacetimes Generalization of metric spacetimes. Geometry defined by function L on TM. Lengths measured by Finsler function F = L 1 n. Metric generalized by Finsler metric g F ab. Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

29 Summary Finsler spacetimes Generalization of metric spacetimes. Geometry defined by function L on TM. Lengths measured by Finsler function F = L 1 n. Metric generalized by Finsler metric g F ab. Cartan geometry on observer space Can be obtained from Finsler spacetimes. Geometry on principal SO(3)-bundle π : P O. Space O of physical observer four-velocities. Space P of physical observer frames. Geometry defined by Cartan connection A Ω 1 (P, g). Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

30 Summary Finsler spacetimes Generalization of metric spacetimes. Geometry defined by function L on TM. Lengths measured by Finsler function F = L 1 n. Metric generalized by Finsler metric g F ab. Cartan geometry on observer space Can be obtained from Finsler spacetimes. Geometry on principal SO(3)-bundle π : P O. Space O of physical observer four-velocities. Space P of physical observer frames. Geometry defined by Cartan connection A Ω 1 (P, g). Different geometries provide compatible definitions of: Causality Observers Observables Gravity Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

31 Open questions Experimental effects of non-tensorial structures? Properties of matter (gauge) theories on these backgrounds? Quantization of these structures? Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11

32 Open questions Experimental effects of non-tensorial structures? Properties of matter (gauge) theories on these backgrounds? Quantization of these structures? MH, Observer dependent geometries, in: Mathematical Structures of the Universe, Copernicus Center Press, Krakow, 2014 arxiv: Manuel Hohmann (University of Tartu) Observer dependent geometries DPG Berlin 18. März / 11