From Algebraic Quantum Field Theory to Effective Quantum Gravity
Total Page:16
File Type:pdf, Size:1020Kb
Algebraic approach to QFT Quantum gravity Locality and beyond: from algebraic quantum field theory to effective quantum gravity Kasia Rejzner University of York Local Quantum Physics and beyond in memoriam Rudolf Haag, 26.09.2016 Kasia Rejzner Locality and beyond 1 / 26 Algebraic approach to QFT Quantum gravity Outline of the talk 1 Algebraic approach to QFT AQFT LCQFT pAQFT 2 Quantum gravity Effective quantum gravity Observables The author of a beautiful book Local Quantum Physics. One of the fathers of LQP. We will all miss him. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT The father of Local Quantum Physics Rudolf Haag (1922 – 2016). Kasia Rejzner Locality and beyond 2 / 26 One of the fathers of LQP. We will all miss him. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT The father of Local Quantum Physics Rudolf Haag (1922 – 2016). The author of a beautiful book Local Quantum Physics. Kasia Rejzner Locality and beyond 2 / 26 We will all miss him. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT The father of Local Quantum Physics Rudolf Haag (1922 – 2016). The author of a beautiful book Local Quantum Physics. One of the fathers of LQP. Kasia Rejzner Locality and beyond 2 / 26 AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT The father of Local Quantum Physics Rudolf Haag (1922 – 2016). The author of a beautiful book Local Quantum Physics. One of the fathers of LQP. We will all miss him. Kasia Rejzner Locality and beyond 2 / 26 It started as the axiomatic framework of Haag-Kastler[ Haag & Kastler 64]: a model is defined by associating to each region O of Minkowski spacetime the algebra A(O) of observables that can be measured in O. The physical notion of subsystems is realized by the condition of isotony, i.e.: O2 ⊃ O1 ) A(O2) ⊃ A(O1). We obtain a net of algebras. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Local Quantum Physics Algebraic Quantum Field Theory (Local Quantum Physics) is a mathematically rigorous framework, which allows to investigate conceptual problems in QFT. Kasia Rejzner Locality and beyond 3 / 26 The physical notion of subsystems is realized by the condition of isotony, i.e.: O2 ⊃ O1 ) A(O2) ⊃ A(O1). We obtain a net of algebras. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Local Quantum Physics Algebraic Quantum Field Theory (Local Quantum Physics) is a mathematically rigorous framework, which allows to investigate conceptual problems in QFT. It started as the axiomatic framework of Haag-Kastler[ Haag & Kastler 64]: a model is defined by associating to each region O of Minkowski spacetime the algebra A(O) of observables that can be measured in O. A(O1) O1 Kasia Rejzner Locality and beyond 3 / 26 AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Local Quantum Physics Algebraic Quantum Field Theory (Local Quantum Physics) is a mathematically rigorous framework, which allows to investigate conceptual problems in QFT. It started as the axiomatic framework of Haag-Kastler[ Haag & Kastler 64]: a model is defined by associating to each region O of Minkowski spacetime the algebra A(O) of observables that can be measured in O. The physical notion of subsystems A(O2) ⊃ A(O1) is realized by the condition of isotony, i.e.: O2 ⊃ O1 ) A(O2) ⊃ A(O1). We obtain a net of algebras. O2 ⊃ O1 Kasia Rejzner Locality and beyond 3 / 26 Different aspects of AQFT and relations to physics Renor- malization QFT, PARTICLE COSMOLOGY PHYSICS Quantum gravity KMS states Defor- mations PAQFT MODEL QUANTUM LCQFT STATISTICAL BUILDING QUANTUM MECHANICS CFT in 2D INFORMATION THEORY QFT ON NONCO- MUTATIVE SPACETIMES AQFT NONCOM- ALGEBRAIC MUTATIVE QIT GEOMETRY CONSTRUC- Foundations Entan- TIVE QFT of quantum glement theory Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Algebras A(O) are constructed using only the local data. Local features of the theory (observables) are separated from the global features (states). Main advantages The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. Kasia Rejzner Locality and beyond 5 / 26 Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Algebras A(O) are constructed using only the local data. Local features of the theory (observables) are separated from the global features (states). Main advantages AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. Kasia Rejzner Locality and beyond 5 / 26 Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Algebras A(O) are constructed using only the local data. Local features of the theory (observables) are separated from the global features (states). AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. Main advantages Kasia Rejzner Locality and beyond 5 / 26 Algebras A(O) are constructed using only the local data. Local features of the theory (observables) are separated from the global features (states). AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. Main advantages Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Kasia Rejzner Locality and beyond 5 / 26 Local features of the theory (observables) are separated from the global features (states). AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. Main advantages Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Algebras A(O) are constructed using only the local data. Kasia Rejzner Locality and beyond 5 / 26 AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Algebraic QFT on curved spacetimes Conceptual problems of QFT on curved spacetimes can be easily solved in the algebraic approach, because of the powerful principle of locality. The corresponding generalization of AQFT is called locally covariant quantum field theory[ Hollands-Wald 01, Brunetti-Fredenhagen-Verch 01, Fewster-Verch 12,. ]. Main advantages Local algebras of observables A(O) are defined abstractly, the Hilbert space representation comes later (this deals with the non-uniqueness of the vacuum). Algebras A(O) are constructed using only the local data. Local features of the theory (observables) are separated from the global features (states). Kasia Rejzner Locality and beyond 5 / 26 Replace O1 and O2 with arbitrary spacetimes M = (M; g), N = (N; g0) and require the embedding : M ! N to be an isometry. Require that preserves orientations and the causal structure (no new causal links are created by the embedding). Assign to each spacetime M an algebra A(M) and to each admissible embedding a homomorphism of algebras A (notion of subsystems). This has to be done covariantly. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Locally covariant quantum field theory (LCQFT) In the original AQFT axioms we associate algebras to regions of a fixed spacetimes. Now we go a step further. Kasia Rejzner Locality and beyond 6 / 26 Require that preserves orientations and the causal structure (no new causal links are created by the embedding). Assign to each spacetime M an algebra A(M) and to each admissible embedding a homomorphism of algebras A (notion of subsystems). This has to be done covariantly. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Locally covariant quantum field theory (LCQFT) In the original AQFT axioms we associate algebras to regions of a fixed spacetimes. Now we go a step further. Replace O1 and O2 with arbitrary spacetimes M = (M; g), N = (N; g0) and require the embedding : M ! N to be an isometry. N M Kasia Rejzner Locality and beyond 6 / 26 Assign to each spacetime M an algebra A(M) and to each admissible embedding a homomorphism of algebras A (notion of subsystems). This has to be done covariantly. AQFT Algebraic approach to QFT LCQFT Quantum gravity pAQFT Locally covariant quantum field theory (LCQFT) In the original AQFT axioms we associate algebras to regions of a fixed spacetimes. Now we go a step further. Replace O1 and O2 with arbitrary spacetimes M = (M; g), N = (N; g0) and require the embedding : M ! N to be an isometry.