Algebraic approach to QFT Quantum gravity Conclusions Effective quantum gravity from the point of view of perturbative algebraic QFT Kasia Rejzner University of York Marcel Grossmann Meeting MG14, 13.07.2015 Kasia Rejzner Effective QG in pAQFT 1 / 17
68
Embed
Effective quantum gravity from the point of view of ...rejzner.com/talks/MG.pdf · Quantum gravity Conclusions AQFT LCQFT Algebraic quantum field theory A convenient framework to
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Algebraic approach to QFTQuantum gravity
Conclusions
Effective quantum gravity from the point of view ofperturbative algebraic QFT
A convenient framework to investigate conceptual problems inQFT is the Algebraic Quantum Field Theory (recently alsoperturbative AQFT).
It started as the axiomatic framework of Haag-Kastler [Haag &
Kastler 64]: a model is defined by associating to each region O ofMinkowski spacetime the algebra A(O) of observables that canbe measured in O.
The physical notion of subsystemsis realized by the condition of isotony,i.e.: O2 ⊃ O1 ⇒ A(O2) ⊃ A(O1).We obtain a net of algebras.
Kasia Rejzner Effective QG in pAQFT 2 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic quantum field theory
A convenient framework to investigate conceptual problems inQFT is the Algebraic Quantum Field Theory (recently alsoperturbative AQFT).
It started as the axiomatic framework of Haag-Kastler [Haag &
Kastler 64]: a model is defined by associating to each region O ofMinkowski spacetime the algebra A(O) of observables that canbe measured in O.
The physical notion of subsystemsis realized by the condition of isotony,i.e.: O2 ⊃ O1 ⇒ A(O2) ⊃ A(O1).We obtain a net of algebras.
O1
A(O1)
Kasia Rejzner Effective QG in pAQFT 2 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic quantum field theory
A convenient framework to investigate conceptual problems inQFT is the Algebraic Quantum Field Theory (recently alsoperturbative AQFT).
It started as the axiomatic framework of Haag-Kastler [Haag &
Kastler 64]: a model is defined by associating to each region O ofMinkowski spacetime the algebra A(O) of observables that canbe measured in O.
The physical notion of subsystemsis realized by the condition of isotony,i.e.: O2 ⊃ O1 ⇒ A(O2) ⊃ A(O1).We obtain a net of algebras.
A(O2)
O2 O1
A(O1)⊃
⊃
Kasia Rejzner Effective QG in pAQFT 2 / 17
Different aspects of AQFT and relations to physics
AQFT
QUANTUMSTATISTICALMECHANICS
KMS states
LCQFTMODEL
BUILDING
CFT in 2D
Defor-mations
QFT ONNONCO-
MUTATIVESPACETIMES
PAQFT
Renor-malization
Quantumgravity
ALGEBRAICQIT
Foundationsof quantum
theory
Entan-glement
QUANTUM
INFORMATION
THEORY
QFT, PARTICLE
PHYSICSCOSMOLOGY
NONCOM-MUTATIVE
GEOMETRY
CONSTRUC-TIVE QFT
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Difficulties in QFT on curved spacetimes
To include effects of general relativity into QFT, one has to be able todescribe quantum fields on a general class of spacetimes.
Generically, the group of spacetime symmetriesis trivial, so concept of particles as irreduciblerepresentations of such a group doesn’t makesense.
The concept of the vacuum as the state with noparticles also becomes meaningless.
Transition to imaginary times (Wick rotation) ispossible only in special cases.
Problems with the Fourier transform:calculations relying on momentum space cannotbe performed.
Kasia Rejzner Effective QG in pAQFT 4 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Difficulties in QFT on curved spacetimes
To include effects of general relativity into QFT, one has to be able todescribe quantum fields on a general class of spacetimes.
Generically, the group of spacetime symmetriesis trivial, so concept of particles as irreduciblerepresentations of such a group doesn’t makesense.
The concept of the vacuum as the state with noparticles also becomes meaningless.
Transition to imaginary times (Wick rotation) ispossible only in special cases.
Problems with the Fourier transform:calculations relying on momentum space cannotbe performed.
Kasia Rejzner Effective QG in pAQFT 4 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Difficulties in QFT on curved spacetimes
To include effects of general relativity into QFT, one has to be able todescribe quantum fields on a general class of spacetimes.
Generically, the group of spacetime symmetriesis trivial, so concept of particles as irreduciblerepresentations of such a group doesn’t makesense.
The concept of the vacuum as the state with noparticles also becomes meaningless.
Transition to imaginary times (Wick rotation) ispossible only in special cases.
Problems with the Fourier transform:calculations relying on momentum space cannotbe performed.
Kasia Rejzner Effective QG in pAQFT 4 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Difficulties in QFT on curved spacetimes
To include effects of general relativity into QFT, one has to be able todescribe quantum fields on a general class of spacetimes.
Generically, the group of spacetime symmetriesis trivial, so concept of particles as irreduciblerepresentations of such a group doesn’t makesense.
The concept of the vacuum as the state with noparticles also becomes meaningless.
Transition to imaginary times (Wick rotation) ispossible only in special cases.
Problems with the Fourier transform:calculations relying on momentum space cannotbe performed.
Kasia Rejzner Effective QG in pAQFT 4 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Difficulties in QFT on curved spacetimes
To include effects of general relativity into QFT, one has to be able todescribe quantum fields on a general class of spacetimes.
Generically, the group of spacetime symmetriesis trivial, so concept of particles as irreduciblerepresentations of such a group doesn’t makesense.
The concept of the vacuum as the state with noparticles also becomes meaningless.
Transition to imaginary times (Wick rotation) ispossible only in special cases.
Problems with the Fourier transform:calculations relying on momentum space cannotbe performed.
Kasia Rejzner Effective QG in pAQFT 4 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.
The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Algebraic QFT on curved spacetimes
These conceptual problems can be easily solved in the algebraicapproach.The corresponding generalization of AQFT is called locallycovariant quantum field theory [Hollands & Wald CMP 01 Brunetti,
Fredenhagen & Verch CMP 01, Fewster & Verch AHP 12,. . . ],Come to the QFT parallel sessions!
Main advantages
Local algebras of observables A(O) are defined abstractly, the Hilbertspace representation comes later (this deals with the non-uniqueness ofthe vacuum).
Algebras A(O) are constructed using only the local data.
Local features of the theory (observables) are separated from the globalfeatures (states).
Kasia Rejzner Effective QG in pAQFT 5 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant quantum field theory (LCQFT)
In the original AQFT axioms we associatealgebras to regions of a fixed spacetimes.Now we go a step further.
Replace O1 and O2 with arbitrary spacetimesM = (M, g), N = (N, g′) and require theembedding ψ : M→ N to be an isometry.
Require that ψ preserves orientations and thecausal structure (no new causal links arecreated by the embedding).
Assign to each spacetime M an algebraA(M) and to each admissible embedding ψa homomorphism of algebras Aψ (notion ofsubsystems). This has to be donecovariantly.
Kasia Rejzner Effective QG in pAQFT 6 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant quantum field theory (LCQFT)
In the original AQFT axioms we associatealgebras to regions of a fixed spacetimes.Now we go a step further.
Replace O1 and O2 with arbitrary spacetimesM = (M, g), N = (N, g′) and require theembedding ψ : M→ N to be an isometry.
Require that ψ preserves orientations and thecausal structure (no new causal links arecreated by the embedding).
Assign to each spacetime M an algebraA(M) and to each admissible embedding ψa homomorphism of algebras Aψ (notion ofsubsystems). This has to be donecovariantly.
N M
ψ
Kasia Rejzner Effective QG in pAQFT 6 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant quantum field theory (LCQFT)
In the original AQFT axioms we associatealgebras to regions of a fixed spacetimes.Now we go a step further.
Replace O1 and O2 with arbitrary spacetimesM = (M, g), N = (N, g′) and require theembedding ψ : M→ N to be an isometry.
Require that ψ preserves orientations and thecausal structure (no new causal links arecreated by the embedding).
Assign to each spacetime M an algebraA(M) and to each admissible embedding ψa homomorphism of algebras Aψ (notion ofsubsystems). This has to be donecovariantly.
N M
ψ
Kasia Rejzner Effective QG in pAQFT 6 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant quantum field theory (LCQFT)
In the original AQFT axioms we associatealgebras to regions of a fixed spacetimes.Now we go a step further.
Replace O1 and O2 with arbitrary spacetimesM = (M, g), N = (N, g′) and require theembedding ψ : M→ N to be an isometry.
Require that ψ preserves orientations and thecausal structure (no new causal links arecreated by the embedding).
Assign to each spacetime M an algebraA(M) and to each admissible embedding ψa homomorphism of algebras Aψ (notion ofsubsystems). This has to be donecovariantly.
A(N)
A
N M
ψ A
A(M)
Aψ
Kasia Rejzner Effective QG in pAQFT 6 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant fields
In the framework of LCQFT, locallycovariant fields are used to identify (putlabels on) observables localized in differentregion of spacetime, in the absence ofsymmetries.
Let D(O) denote the space of test functionssupported in O. An LC field is a family ofmaps ΦM : D(M)→ A(M), labeled byspacetimes M such that:Aψ(ΦO(f )) = ΦM(ψ∗f )[h].
This generalizes the notion of Wightman’soperator-valued distributions
Locally covariant fields are candidates forobservables in GR.
M ψ(O)
O
ψ
Kasia Rejzner Effective QG in pAQFT 7 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant fields
In the framework of LCQFT, locallycovariant fields are used to identify (putlabels on) observables localized in differentregion of spacetime, in the absence ofsymmetries.
Let D(O) denote the space of test functionssupported in O. An LC field is a family ofmaps ΦM : D(M)→ A(M), labeled byspacetimes M such that:Aψ(ΦO(f )) = ΦM(ψ∗f )[h].
This generalizes the notion of Wightman’soperator-valued distributions
Locally covariant fields are candidates forobservables in GR.
M
ΦM(ψ∗f )
ΦO(f )
ψ(O)
O
ψ∗f
f
ψψ−1
Kasia Rejzner Effective QG in pAQFT 7 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant fields
In the framework of LCQFT, locallycovariant fields are used to identify (putlabels on) observables localized in differentregion of spacetime, in the absence ofsymmetries.
Let D(O) denote the space of test functionssupported in O. An LC field is a family ofmaps ΦM : D(M)→ A(M), labeled byspacetimes M such that:Aψ(ΦO(f )) = ΦM(ψ∗f )[h].
This generalizes the notion of Wightman’soperator-valued distributions
Locally covariant fields are candidates forobservables in GR.
M
ΦM(ψ∗f )
ΦO(f )
ψ(O)
O
ψ∗f
f
ψψ−1
Kasia Rejzner Effective QG in pAQFT 7 / 17
Algebraic approach to QFTQuantum gravity
ConclusionsAQFTLCQFT
Locally covariant fields
In the framework of LCQFT, locallycovariant fields are used to identify (putlabels on) observables localized in differentregion of spacetime, in the absence ofsymmetries.
Let D(O) denote the space of test functionssupported in O. An LC field is a family ofmaps ΦM : D(M)→ A(M), labeled byspacetimes M such that:Aψ(ΦO(f )) = ΦM(ψ∗f )[h].
This generalizes the notion of Wightman’soperator-valued distributions
Locally covariant fields are candidates forobservables in GR.
Based on our recent work: R. Brunetti, K. Fredenhagen, KR,Quantum gravity from the point of view of locally covariant quantumfield theory, [arXiv:1306.1058].
Non-renormalizability: use Epstein-Glaserrenormalization to obtain finite results for any fixedenergy scale. Think of the theory as an effective theory.
Dynamical nature of spacetime: make a split of themetric into background and perturbation, quantize theperturbation as a quantum field on a curved background,show background independence at the end.
Diffeomorphism invariance: use the BV formalism todo the gauge fixing. Possible difficulties: base manifoldis Lorentzian and non-compact, symmetry group isinfinite dimensional, so is the space of metrics.
Based on our recent work: R. Brunetti, K. Fredenhagen, KR,Quantum gravity from the point of view of locally covariant quantumfield theory, [arXiv:1306.1058].
Non-renormalizability: use Epstein-Glaserrenormalization to obtain finite results for any fixedenergy scale. Think of the theory as an effective theory.
Dynamical nature of spacetime: make a split of themetric into background and perturbation, quantize theperturbation as a quantum field on a curved background,show background independence at the end.
Diffeomorphism invariance: use the BV formalism todo the gauge fixing. Possible difficulties: base manifoldis Lorentzian and non-compact, symmetry group isinfinite dimensional, so is the space of metrics.
Based on our recent work: R. Brunetti, K. Fredenhagen, KR,Quantum gravity from the point of view of locally covariant quantumfield theory, [arXiv:1306.1058].
Non-renormalizability: use Epstein-Glaserrenormalization to obtain finite results for any fixedenergy scale. Think of the theory as an effective theory.
Dynamical nature of spacetime: make a split of themetric into background and perturbation, quantize theperturbation as a quantum field on a curved background,show background independence at the end.
Diffeomorphism invariance: use the BV formalism todo the gauge fixing. Possible difficulties: base manifoldis Lorentzian and non-compact, symmetry group isinfinite dimensional, so is the space of metrics.
Based on our recent work: R. Brunetti, K. Fredenhagen, KR,Quantum gravity from the point of view of locally covariant quantumfield theory, [arXiv:1306.1058].
Non-renormalizability: use Epstein-Glaserrenormalization to obtain finite results for any fixedenergy scale. Think of the theory as an effective theory.
Dynamical nature of spacetime: make a split of themetric into background and perturbation, quantize theperturbation as a quantum field on a curved background,show background independence at the end.
Diffeomorphism invariance: use the BV formalism todo the gauge fixing. Possible difficulties: base manifoldis Lorentzian and non-compact, symmetry group isinfinite dimensional, so is the space of metrics.
In experiment, geometric structure is probed bylocal observations. We have the following data:
Some region O of spacetime where themeasurement is performed,An observable Φ, which we measure,We don’t measure the observable (e.g. curvature)at a point. This is modeled by smearing with a testfunction f . For example:
Φ(f ) =
∫f (x)R(x)dµ(x).
Think of the measured observable as a function ofa perturbation of the fixed background metric:gµν = gµν + hµν .
Diffeomorphism transformation: move ourexperimental setup to a different region O′.
In experiment, geometric structure is probed bylocal observations. We have the following data:
Some region O of spacetime where themeasurement is performed,
An observable Φ, which we measure,We don’t measure the observable (e.g. curvature)at a point. This is modeled by smearing with a testfunction f . For example:
Φ(f ) =
∫f (x)R(x)dµ(x).
Think of the measured observable as a function ofa perturbation of the fixed background metric:gµν = gµν + hµν .
Diffeomorphism transformation: move ourexperimental setup to a different region O′.
In experiment, geometric structure is probed bylocal observations. We have the following data:
Some region O of spacetime where themeasurement is performed,An observable Φ, which we measure,We don’t measure the observable (e.g. curvature)at a point. This is modeled by smearing with a testfunction f . For example:
Φ(f ) =
∫f (x)R(x)dµ(x).
Think of the measured observable as a function ofa perturbation of the fixed background metric:gµν = gµν + hµν .
Diffeomorphism transformation: move ourexperimental setup to a different region O′.
In experiment, geometric structure is probed bylocal observations. We have the following data:
Some region O of spacetime where themeasurement is performed,An observable Φ, which we measure,We don’t measure the observable (e.g. curvature)at a point. This is modeled by smearing with a testfunction f . For example:
Φ(f ) =
∫f (x)R(x)dµ(x).
Think of the measured observable as a function ofa perturbation of the fixed background metric:gµν = gµν + hµν .
Diffeomorphism transformation: move ourexperimental setup to a different region O′.
In experiment, geometric structure is probed bylocal observations. We have the following data:
Some region O of spacetime where themeasurement is performed,An observable Φ, which we measure,We don’t measure the observable (e.g. curvature)at a point. This is modeled by smearing with a testfunction f . For example:
Φ(f ) =
∫f (x)R(x)dµ(x).
Think of the measured observable as a function ofa perturbation of the fixed background metric:gµν = gµν + hµν .
Diffeomorphism transformation: move ourexperimental setup to a different region O′.
One of the methods to build models in LCQFT is the so calledfunctional approach.
The main idea is to model observables as functionals on the thespace E(M) of off-shell field configurations. For the effectivetheory of gravity E(M) = Γ((T∗M)⊗2).
On the space F(M) of sufficiently well behaving functionals weintroduce first the classical dynamics by defining a Poissonstructure.
Next, we use the deformation quantization to construct thenon-commutative quantum algebra.
We work all the time on the same set of functionals, but we equipit with different algebraic structures (i.e. Poisson bracket,non-commutative ? product).
One of the methods to build models in LCQFT is the so calledfunctional approach.
The main idea is to model observables as functionals on the thespace E(M) of off-shell field configurations. For the effectivetheory of gravity E(M) = Γ((T∗M)⊗2).
On the space F(M) of sufficiently well behaving functionals weintroduce first the classical dynamics by defining a Poissonstructure.
Next, we use the deformation quantization to construct thenon-commutative quantum algebra.
We work all the time on the same set of functionals, but we equipit with different algebraic structures (i.e. Poisson bracket,non-commutative ? product).
One of the methods to build models in LCQFT is the so calledfunctional approach.
The main idea is to model observables as functionals on the thespace E(M) of off-shell field configurations. For the effectivetheory of gravity E(M) = Γ((T∗M)⊗2).
On the space F(M) of sufficiently well behaving functionals weintroduce first the classical dynamics by defining a Poissonstructure.
Next, we use the deformation quantization to construct thenon-commutative quantum algebra.
We work all the time on the same set of functionals, but we equipit with different algebraic structures (i.e. Poisson bracket,non-commutative ? product).
One of the methods to build models in LCQFT is the so calledfunctional approach.
The main idea is to model observables as functionals on the thespace E(M) of off-shell field configurations. For the effectivetheory of gravity E(M) = Γ((T∗M)⊗2).
On the space F(M) of sufficiently well behaving functionals weintroduce first the classical dynamics by defining a Poissonstructure.
Next, we use the deformation quantization to construct thenon-commutative quantum algebra.
We work all the time on the same set of functionals, but we equipit with different algebraic structures (i.e. Poisson bracket,non-commutative ? product).
One of the methods to build models in LCQFT is the so calledfunctional approach.
The main idea is to model observables as functionals on the thespace E(M) of off-shell field configurations. For the effectivetheory of gravity E(M) = Γ((T∗M)⊗2).
On the space F(M) of sufficiently well behaving functionals weintroduce first the classical dynamics by defining a Poissonstructure.
Next, we use the deformation quantization to construct thenon-commutative quantum algebra.
We work all the time on the same set of functionals, but we equipit with different algebraic structures (i.e. Poisson bracket,non-commutative ? product).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
We realize the choice of a coordinate system by introducing fourscalar fields Xµ, which parametrize points of spacetime.
Fix a function f : R4 → R, then the change of f = X∗f due to thechange of the coordinate system is realized through the changeof scalar fields Xµ.
For an LC field Φ we obtain a map
Φf (h,X).= Φ(M,g)(X∗f)(h) ,
In the next step make Xµ dynamical either by interpreting themas 4 dust fields (Brown-Kuchar model) or by constructing themlocally from the metric and its derivatives.
Denote such metric dependent coordinates by Xµg+h.
Each Φf induces a relational observable g 7→ Φf (h,Xg+h).
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
as locally covariant fields ΦM : D(M)→ F(M),
as covariant functionals Φf (g,X),as relational observables Φf (.,Xg).
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.
Kasia Rejzner Effective QG in pAQFT 16 / 17
Algebraic approach to QFTQuantum gravity
Conclusions
Results
AQFT is a convenient framework to solve conceptual problemsof QFT on curved spacetimes. It also allows to formulate thetheory of effective QG.In our framework, physical diffeomorphism invariant quantitiescan be viewed in 3 ways:
To quantize the theory, we make a tentative split into a free andinteracting part. We quantize the free theory first and then usethe Epstein-Glaser renormalization to introduce the interaction.
We have shown that our theory is background independent, i.e.independent of the split into free and interacting part.