Gravity as a four dimensional algebraic quantum field theory G´abor Etesi

Gravity as a four dimensional algebraic quantum
field theory
G´abor Etesi
Department of Geometry, Mathematical Institute, Faculty of Science,
Budapest University of Technology and Economics,
Egry J. u. 1, H e´ p., H-1111 Budapest, Hungary ∗
October 27, 2014
Abstract
Based on an indefinite unitary representation of the diffeomorphism group of an oriented 4manifold an algebraic quantum field theory formulation of gravity is exhibited. More precisely the
representation space is a Krein space therefore as a vector space it admits a family of direct sum
decompositions into orthogonal pairs of maximal definite Hilbert subspaces coming from the Krein
space structure. It is observed that the C∗ -algebra of bounded linear operators associated to this
representation space contains algebraic curvature tensors. Classical vacuum gravitational fields i.e.,
Einstein manifolds correspond to quantum observables obeying at least one of the above decompositions of the space. In this way classical general relativity exactly in 4 dimensions naturally embeds
into an algebraic quantum field theory whose net of local C∗ -algebras is generated by local algebraic
curvature tensors and vector fields. This theory is constructed out of the structures provided by an
oriented 4-manifold only hence possesses a diffeomorphism group symmetry.
Motivated by the Gelfand–Naimark–Segal construction and the Dougan–Mason construction
of quasi-local energy-momentum we construct certain representations of the limiting global C∗ algebra what we call the “positive mass representations”. Finally we observe that the bunch of
these representations give rise to a 2 dimensional conformal field theory in the sense of G. Segal.
AMS Classification: Primary: 83C45, 81T05, Secondary: 57N13
Keywords: General relativity; Algebraic quantum field theory; Four dimensions
1
Introduction
The outstanding problem of modern theoretical physics is how to unify the obviously successful and
mathematically consistent theory of general relativity with the obviously successful but yet mathematically problematic relativistic quantum field theory. It has been generally believed that these two
fundamental pillars of modern theoretical physics conflict each other not only in the mathematical tools
they use but even at a deep foundational level [7]: classical concepts of general relativity such as the
space-time event, the light cone or the event horizon of a black hole are too “sharp” objects from a
∗ e-mail:
[email protected]
G. Etesi: Gravity as algebraic quantum field theory
2
quantum theoretic viewpoint meanwhile relativistic quantum field theory is not background independent from the aspect of general relativity. We do not attempt here to survey the vast physical and
even mathematical and philosophical literature created by the unification problem; we just mention that
nowadays the two leading candidates expected to be capable for a sort of unification are string theory
and loop quantum gravity but surely there is still a long way ahead.
Nevertheless we have the conviction that one day the language of classical general relativity will
sound familiar to quantum theorists and vice versa i.e., conceptual bridges must exist connecting the
two theories. In this note an effort has been made to embed classical general relativity into a quantum
framework. This quantum framework is algebraic quantum field theory formulated by Haag–Kastler
and others during the past decades, cf. [6]. Recently this language also appears to be suitable for
formulating quantum field theory on curved space-time [8] or even quantum gravity [2].
In more detail we will do something very simple here. Namely using structures given by an oriented
smooth 4-manifold M only, our overall guiding principle will be seeking unitary representations of
the corresponding orientation-preserving diffeomorphism group Diff+ (M). There is a unique such
representation on the space of sections of ∧2 M ⊗R C via pullback. However the natural scalar product
on this space—namely the one given by integration of the wedge product of two 2-forms—is indefinite
hence cannot be used to complete the space of smooth 2-forms into a Hilbert space. Rather in struggling
with the completion problem one comes up with a complete topological vector space K (M) with a
non-degenerate indefinite Hermitian scalar product h · , · iL2 (M) i.e., a Krein space. Therefore the bare
space—i.e., not considered as a Diff+ (M)-module—admits non-canonical decompositions K (M) =
H + (M) ⊕ H − (M) into maximal definite orthogonal Hilbert subspaces H ± (M) with respect to the
indefinite scalar product.
Given this Krein space carrying a unitary representation of the diffeomorphism group the next obvious task is to explore the C∗ -algebra of its bounded linear operators. So far our construction is merely
representation theory. However it comes as a surprise (at least to the author) that precisely in 4 dimensions among these operators one can discover curvature tensors! This is because of the well-known fact
that the curvature tensor Rg of a pseudo-Riemannian 4-manifold (M, g) can be regarded as a section
of End(∧2 M ⊗R C) i.e., gives rise to a linear operator acting on K (M). This permits to construct a
diffeomorphism-invariant algebraic quantum field theory {O 7→ U(O)}OjM whose C∗ -algebras U(O)
of local quantum observables are generated by bundle endomorphisms and Lie derivatives commuting
outside O with the O-preserving subgroup of the diffeomorphism group. The local algebras obtained
this way are natural generalizations of the CCR algebra. This construction satisfies the Haag–Kastler
axioms [6, pp. 105-107] of algebraic quantum field theory. As a result classical general relativity
naturally embeds into a quantum framework if one interprets classical curvature tensors as quantum
observables. The appearence of the curvature tensor as a local quantum observable is reasonable even
from the physical viewpoint: in local gravitational physics the metric tensor has no direct physical
meaning only its curvature can cause local physical effects such as tidal forces. Moreover if one wishes
at least in principle the metric i.e., the geometry locally can be reconstructed from its curvature [5].
A meaningful quantum field theory must exhibit stability i.e., unitary representations of its local
observables which are the “positive mass” representations in the sense of Wigner. In our case this
directly leads to the long-standing problem of gravitational mass [11]. It is quite interesting that the
Gelfand–Naimark–Segal construction in the theory of C∗ -algebras and the Dougan–Mason construction
of quasi-local energy-momentum [3] in general relativity naturally meet up here and provide us with
unitary representations in which the expectation values of quasi-local infinitesimal translations along
surfaces in a state corresponding to a gravitational field give Dougan–Mason-like quasi-local quantities.
These representations and the corresponding quasi-local energy-momenta are constructed from im-
G. Etesi: Gravity as algebraic quantum field theory
3
mersed surfaces in M with a choice of a complex structure on them. However the whole construction
is expected to be independent of this choice leading to the by-now classical observation of Witten [15]
that in fact one has to deal with a conformal field theory on these surfaces. We construct this theory: its
conformal blocks are the Clifford algebras generated by finite energy meromorphic sections of certain
unitary holomorphic vector bundles on punctured Riemannian surfaces.
Our algebraic quantum field theory of gravity possesses a giant symmetry group leading to some unexpected consequences. The most fundamental of these is that already the desire to distinguish between
pure gravity and matter requires breaking the diffeomorphism symmetry in some extent. We already
mentioned that after breaking the diffeomorphism symmetry K (M) has an extra structure: a family
of orthogonal splittings into positive and negative definite subspaces. Consequently it is natural to ask
which field operators Q obey at least one of these splittings i.e., have the form Q(H ± (M)) j H ± (M)
with respect to a decomposition K (M) = H + (M) ⊕ H − (M)? In the classical situation this holds for
the curvatures of solutions of the vacuum Einstein’s equation (possibly with a cosmological constant)
with respect to the canonical splitting into (anti)self-dual 2-forms induced by the metric. Indeed, Einstein’s equation says that term mixing H + (M) with H − (M) is proportional to the traceless part of
the energy-momentum tensor of matter. Therefore generally a local quantum observable corresponding
to gravity coupled to matter must be an operator which mixes H + (M) and H − (M) in some splitting
and this mixing term is identified with the “material content” of the operator relative to this splitting.
From this we draw the second conclusion that our diffeomorphism-invariant quantum field theory
lacks any causal structure. (This is in accordance with recent expectations of Lorentz symmetry violations in high energy cosmic processes.) Indeed, the operational description of causality requires a
distinction between pure gravity and matter. The causal future J + (p) ⊂ M of an event p ∈ M in spacetime is by definition the hull of all future-inextendible worldlines of particles departing from p and
moving forward in time locally not faster than light. The causal past J − (p) ⊂ M is defined similarly.
The collection of these causal futures and pasts furnish the space-time with a special topology, the
causal structure. The Lorentzian metric is a mathematical fusion of the geometry captured by a Riemannian metric and the causal structure captured by a “causal topology”. But from this it is clear that
the construction of a causal structure refers to not only gravity but other entities of physical reality as
well which are moreover classical: pointlike particles, electromagnetic waves, time, etc. However they
cannot exist for instance in a vacuum space-time considered in the strict sense. Very strictly speaking
even the interpretation of a space-time point as a “physical event” fails in an empty space-time. Henceforth we are convinced that causality cannot be a fundamental feature of a fully quantum description
of gravity if it is a diffeomorphism-invariant quantum field theory. As a technical consequence we
will prefer to use Riemannian metrics in this note. To summarize: from our standpoint causality is
an emergent statistical phenomenon created by the highly complex interaction of gravity and matter.
Consequently in order to understand it first we should should be able to dinstinguish pure gravity from
matter hence break the diffeomorphism symmetry.
This note is organized as follows. In Sect. 2 we construct a natural indefinite unitary representation
of the orientation-preserving diffeomorphisms of an oriented 4-manifold. Then we take a look of the
C∗ -algebra of bounded linear operators of this representation space. We identify its “classical part”
with local Einstein spaces. In Sect. 3 we introduce an algebraic quantum field theory and in Theorem
3.1 we construct certain representations of its algebras of local observables what we call “positive mass
representations”. In Sect. 4 we bunch these representations together into a conformal field theory.
´
Acknowledgement. The author is grateful to A.G.
Horv´ath, L.B. Szabados and P. Vrana for the stimulating discussions and to the Alfr´ed R´enyi Institute of Mathematics for their hospitality. This work was
supported by OTKA grant No. NK81203 (Hungary).
G. Etesi: Gravity as algebraic quantum field theory
2
4
A representation of the diffeomorphism group
Let M be a connected orientable smooth 4-manifold, possibly non-closed (i.e., it can be non-compact
and-or with non-empty boundary). Fix an orientation on M. Given only these data at our disposal it
is already meaningful to talk about the group of its orientation-preserving diffeomorphisms Diff+ (M).
Our guiding principle simply will be a search for unitary representations of Diff+ (M). A bunch of
representations arise in a geometric way as follows. Consider T (r,s) M ⊗R C, the bundle of complexified (r, s)-type tensors with the associated vector spaces Cc∞ (M; T (r,s) M ⊗R C) of their compactly supported smooth complexified sections. Then the group Diff+ (M) acts from the left via pushforward on
Cc∞ (M; T (r,0) M ⊗R C) for all r ∈ N while from the right via pullback on Cc∞ (M; T (0,s) M ⊗R C) for all
s ∈ N. However these representations are typically not unitary because the underlying vector spaces do
not carry extra structures in a natural way.
The only exception is the 2nd exterior power ∧2 M ⊂ T (0,2) M of the cotangent bundle with the
corresponding space of sections Cc∞ (M; ∧2 M ⊗R C) =: Ω2c (M; C), the space of complexified smooth
2-forms with compact support. Indeed, this vector space has a natural non-degenerate Hermite scalar
product h · , · iL2 (M) : Ω2c (M; C) × Ω2c (M; C) → C given by integration on oriented smooth manifolds;
more precisely for α, β ∈ Ω2c (M; C) put
hα, β iL2 (M) :=
Z
α ∧β
(1)
M
(complex conjugate-linear in its first variable). Note however that this scalar product is indefinite: an
unavoidable fact which plays a key role in our considerations ahead. Consequently this scalar product
cannot be used to complete Ω2c (M; C) into a Hilbert space. Instead with respect to (1) there is a nonunique direct sum decomposition
−
Ω2c (M; C) = Ω+
c (M; C) ⊕ Ωc (M; C)
with the property that they are maximal definite orthogonal subspaces i.e., ±h · , · iL2 (M) |Ω±c (M;C) :
±
+
−
Ω±
c (M; C) × Ωc (M; C) → C are both positive definite moreover Ωc (M; C) ⊥L2 (M) Ωc (M; C). There2
±
fore these restricted scalar products can be used to complete Ω±
c (M; C) into L Hilbert spaces H (M)
respectively.
Lemma 2.1. Given a connected orientable smooth 4-manifold M with a fixed orientation, up to unitary
transformations the Hilbert spaces H ± (M) are independent of the particular choice of the decomposition used to construct them.
Proof. Pick two particular decompositions
0
−
0
Ω2c (M; C) = Ω+
c (M; C) ⊕ (Ωc (M; C)
and
00
−
00
Ω2c (M; C) = Ω+
c (M; C) ⊕ Ωc (M; C)
into maximal definite pairwise orthogonal subspaces with corresponding Hilbert spaces H ± (M)0 and
H ± (M)00 respectively. Let U : Ω2c (M; C) → Ω2c (M; C) be a unitary transformation with respect to (1)
which rotates the first decomposition into the second one. Then obviously the restricted-extended maps
U ± : H ± (M)0 → H ± (M)00 are unitary equivalences hence give rise to Hilbert space isomorphisms
H ± (M)0 ∼
= H ± (M)00 as claimed. 3
G. Etesi: Gravity as algebraic quantum field theory
5
−
Given some decomposition Ω2c (M; C) = Ω+
c (M; C) ⊕ Ωc (M; C) consider the partially completed space
+
−
K (M) := H (M) ⊕ H (M) in the above sense. One can complete K (M) to an L2 Hilbert space
with respect to the definite scalar product
(α, β )L2 (M) := hα + , β + iL2 (M) − hα − , β − iL2 (M)
(2)
where K (M) 3 ω = (ω + , ω − ) ∈ H + (M)⊕H − (M). Although this Hilbert space structure on K (M)
depends on the decomposition the induced norm is always the same hence we obtain a well-defined
topology on K (M), independent of the particular decomposition K (M) = H + (M) ⊕ H − (M) we
began with.
Summing up, starting with an M we can complete Ω2c (M; C) into a pair (K (M), h · , · iL2 (M) ) consisting of a complete topological vector space K (M) and a non-degenerate indefinite Hermitian scalar
product
h · , · iL2 (M) : K (M) × K (M) −→ C
(3)
induced by integration (1) with the following properties. The space admits a family of direct sum
Hilbert space structures K (M) = H + (M) ⊕ H − (M) such that the summands are orthogonal and
maximal definite closed subspaces for the scalar product:
H + (M) ⊥L2 (M) H − (M),
h · , · iL2 (M) |H ± (M) : H ± (M) × H ± (M) −→ C are positive or negative definite, respectively.
Definition 2.1. Let M be a connected oriented smooth 4-manifold. The pair (K (M), h · , · iL2 (M) )
consisting of a complete topological vector space and a non-degenerate indefinite Hermitian scalar
product on it is called the Krein space of M.
Moreover (K (M), h · , · iL2 (M) ) carries a representation of Diff+ (M) from the right given by the unique
extension of the pullback of 2-forms: ω 7→ f ∗ ω for ω ∈ Ω2c (M; C) and f ∈ Diff+ (M). It is easy to
check that these operators are unitary with respect to (3) and if the corresponding diffeomorphism is
the identity outside a compact subset then they are also bounded for the unique norm induced by (2) .
This representation has the following immmediate properties:
Lemma 2.2. Consider the indefinite unitary reprsentation of Diff+ (M) from the right on the Krein
space (K (M), h · , · iL2 (M) ) constructed above.
(i) A vector ω ∈ K (M) satisfies f ∗ ω = ω for all f ∈ Diff+ (M) if and only if ω = 0 (“no vacuum”);
(ii) The closed subspaces B(M) j Z (M) ⊂ K (M) generated by exact or closed 2-forms respectively are invariant under the action of Diff+ (M).
Proof. (i) Assume that there exists an element 0 6= ω ∈ K (M) stabilized by the whole Diff+ (M).
Consider a 1-parameter subgroup { ft }t∈(−1,+1) ∈ Diff+ (M) such that f0 = IdM and let X be the vector
field on M generating this subgroup. Differentiating the equation ft∗ ω = ω with respect to t ∈ (−1, +1)
at t = 0 we obtain LX ω = 0 where LX is the Lie derivative by X. Since an arbitrary compactly supported
vector field generates a 1-parameter subgroup of Diff+ (M) we obtain that in fact ω = 0 which is a
contradiction.
(ii) The statement readily follows by naturality of exterior differentiation i.e., d( f ∗ ϕ) = f ∗ dϕ for
all f ∈ Diff+ (M) and ϕ ∈ Ωkc (M; C). 3
Remark. 1. We succeeded to construct a faithful, reducible, unitary representation of the diffeomorphism group out of the structures provided only by an orientable smooth 4-manifold.1 But the scalar
1 In
fact our construction so far works in any 4k (k = 1, 2, . . . ) dimensions if the diffeomorphism group acts on 2k-forms.
G. Etesi: Gravity as algebraic quantum field theory
6
product h · , · iL2 (M) on K (M) is indefinite therefore there is an extra structure on K (M) namely
a family of decompositions K (M) = H + (M) ⊕ H − (M) into orthogonal pairs of maximal definite
Hilbert subspaces. Note that such decompositions cannot hold for K (M) as a Diff+ (M)-module
or in other words such decompositions break the diffeomorphism symmetry. Their relevance is that
the classical vacuum Einstein equation can be viewed as saying that there is a canonical splitting
K (M) = H + (M) ⊕ H − (M) in which the curvature is blockdiagonal.
2. We also remark that making use of the structures given by an orientable differentiable manifold
only one cannot construct canonically a Hilbert space structure on K (M) i.e., as a Hilbert space its
splittings like K (M) = H + (M) ⊕ H − (M) are unavoidable without using some extra piece of data.
3. From the mathematical viewpoint in many important cases we do not loose any information on
the topology of the original manifold if we replace M by the representation space (K (M), h · , · iL2 (M) ).
Indeed, restricting Ω2c (M; C) to closed forms then dividing by the exact ones we can pass to compactly
supported cohomology Hc2 (M; C); then by the Poincar´e duality Hc2 (M; C) ∼
= (H 2 (M; C))∗ we can switch
to the ordinary de Rham cohomology. If we assume that M is compact and simply connected then the
singular cohomology H 2 (M; Z) maps injectively into H 2 (M; C) hence finally the scalar product (3)
descends to the topological intersection form
qM : H 2 (M; Z) × H 2 (M; Z) −→ H 4 (M; Z) ∼
=Z
of the underlying topological 4-manifold. However taking into account that by assumption M has a
smooth structure we can refer to Freedman’s fundamental result [4] that qM uniquely determines the
topology of M.
Taking into account that all of our constructions so far are local we can consider all the objects on open
subsets. Take the Krein space (K (M), h · , · iL2 (M) ) with ∗ being the adjoint operation for the indefinite
scalar product (3). Moreover let k·kL2 (M) be the unique norm on K (M) induced by a particular definite
scalar product (2). Given a linear map A : K (M) → K (M) take its usual operator norm
kAk :=
kAωkL2 (M)
sup
06=ω∈K (M)
kωkL2 (M)
and consider the Banach ∗-algebra B(M) := {A ∈ EndK (M) | kAk < +∞} of all bounded linear operators on (K (M), h · , · iL2 (M) ). One can check that B(M) is in fact a C∗ -algebra. Pick a relatively
compact open subset O j M and define the local C∗ -algebra (with unit)
B(O) := B ∈ B(M) B|K (M\O) , Diff+
(M)
=
0
O
i.e., B(O) ⊂ B(M) consists of operators which commute on the closed subspace K (M \ O) ⊂ K (M)
+
with the subgroup Diff+
O (M) ⊂ Diff (M) consisting of diffeomorphisms preserving O j M.
Consider the assignment {O 7→ B(O)}OjM for all relatively compact open subsets. This assignment has the following properties. Take two relatively compact open subsets O j V ; then the embedding eVO : U → V induces a unit-preserving injective homomorphism EVO : B(O) → B(V ) of local
C∗ -algebras such that the corresponding diagram
O
eVO
V
/ B(O)
/
EVO
B(V )
G. Etesi: Gravity as algebraic quantum field theory
7
is commutative. This allows us to define the algebra B(O) for any open O j M and B(M) arises
as the C∗ -algebra direct (inductive) limit of these local algebras. Note that by construction for all
O j M we simply have unital sub-C∗ -algebras B(O) j B(M) acting on the common Krein space
(K (M), h · , · iL2 (M) ). However observe that if we consider the dual process namely the restriction
then the elements of these local algebras do not behave well because they lack the presheaf property in
general.
As a consequence of the geometric origin of the global C∗ -algebra B(M), it has an interesting
subalgebra C (M). Indeed, consider the sheaf CM over M whose spaces of local sections C (O) over
open subsets are algebras of local smooth bundle (i.e., fiberwise) morphisms
C∞ (O ; End(∧2 O ⊗R C)) for all open O j M.
In contrast to general elements of B(O), sections of C (O) behave well under restriction due to their
presheaf property. Given two open subsets O j V j M the restriction map rVO : V → O induces a
unit-preserving injective homomorphism RVO : C (V ) → C (O) of algebras such that the corresponding
diagram
/ C (O)
OO O
RVO
rVO
V
/
C (V )
is commutative. If M happens to be compact then C (M) can be completed to a unital C∗ -algebra and
there is an obvious embedding of unital C∗ -algebras C (M) $ B(M).
Remark. It is possible to demonstrate that for compact M the C∗ -algebra of global sections C (M) of
the sheaf CM is strongly Morita equivalent to the unital commutative C∗ -algebra C0 (M; C) consisting
of bounded functions. By the classical result of Gelfand we know that M can be recovered from
C0 (M; C). Consequently we can think of the whole C∗ -algebra B(M) as a sort of enhancement of M
to a “noncommutative space” in the spirit of noncommutative geometry.
Examples. The time has come to take a closer look of the these C∗ -algebras emerging through a unitary
representation of the diffeomorphism group of an oriented 4-manifold M.
1. Let (M, g) be a 4-dimensional Riemannian Einstein manifold i.e., assume that g is a Riemannian
metric on M with Ricci tensor rg satisfying the vacuum Einstein equation rg = ΛM g with a cosmological
constant ΛM ∈ R. In this special situation the vast symmetry group of the original theory reduces to
the stabilizer subgroup Iso+ (M, g) $ Diff+ (M) leaving the geometry (M, g) unaffected. In this realm
the Riemannian metric together with the orientation gives a Hodge operator ∗ : ∧2 M → ∧2 M with
∗2 = Id∧2 M . This induces a usual real splitting
∧2 M = ∧+ M ⊕ ∧− M.
(4)
It is a well-known fact [10] but from our viewpoint is an interesting coincidence that in exactly 4
dimensions the full Riemannian curvature tensor can be regarded as a real linear map Rg : ∧2 M → ∧2 M
which decomposes as
+ sg
Bg
Wg + 12
Rg =
s
B∗g
Wg− + 12g
with respect to the splitting (4). Here the traceless symmetric maps Wg± : ∧± M → ∧± M are the
(anti)self-dual parts of the Weyl tensor, the diagonal sg : ∧2 M → ∧2 M is the scalar curvature while
G. Etesi: Gravity as algebraic quantum field theory
8
Bg : ∧+ M → ∧− M is the traceless Ricci tensor together with its adjoint B∗g : ∧− M → ∧+ M. Observe that the Einstein equation exactly says that Bg = 8πT0 where T0 is the traceless part of the
energy-momentum tensor and the vacuum is equivalently characterized by the condition Bg = 0 i.e.,
Rg ∈ C∞ (M; End(∧2 M)) obeys (4). The pointwise splitting above in addition yields a canonical decomposition
−
Ω2c (M; C) = Ω+
c (M; C) ⊕ Ωc (M; C)
of the space of 2-forms into (anti)self-dual forms which is the same as decomposing this space into
mutually orthogonal maximal definite subspaces with respect to the scalar product (1). Therefore in
the presence of a metric—which is a way to break the original symmetry group Diff+ (M) down to
a smaller one—there is a distinguished splitting K (M) = H + (M) ⊕ H − (M) obeyed by the curvature Rg . Switching to our notation we conclude that Rg ∈ C (M) such that Rg (H ± (M)) j H ± (M).
Moreover by the usual symmetries of the curvature tensor Rg is self-adjoint for (3). Note that all the
conclusions hold for the complexified curvature tensor of a Lorentzian manifold.
Therefore we come up with a natural embedding of classical Riemannian vacuum general relativity
into a quantum framework (although note that formally all of our conclusions work for the Lorentzian
case, too):
C. The real Riemannian curvature tensor Rg of an orientable Riemannian Einstein 4-manifold (M, g)
can be interpreted as an operator Rg ∈ C (M). The existence of a metric breaks the original symmetry
group Diff+ (M) down to the finite dimensional group Iso+ (M, g). This operator as well as the reduced
symmetry group obeys the canonical splitting K (M) = H + (M) ⊕ H − (M) induced by the metric.
Moreover Rg is a real self-adjoint operator with respect to the scalar product (3) on K (M).
2. Next we consider a generic element RM ∈ C (M). In this case the previous picture can almost
be reversed in the sense that at least locally such operators correspond to Einstein metrics i.e., classical
structures and these local operators obey the canonical splittings of the local Krein spaces induced by
these local metrics.
More precisely we claim that
Lemma 2.3. Let M be a connected oriented smooth 4-manifold. Take any RM ∈ C (M). Assume that
(i) In every point x ∈ M it is real and is a smooth algebraic curvature tensor i.e., the restricted map
Rx : ∧2x M → ∧2x M is real moreover is symmetric and satisfies Bianchi’s first identity;
(ii) For every point x ∈ M there exists a non-singular Riemannian metric gx on some neighbourhood
of x such that its Riemann tensor at x satisfies Rgx = Rx and its Ricci tensor at x satisfies rgx = Λx gx
with a constant Λx ∈ R.
Then about every point x ∈ M one can find a neighbourhood x ∈ O and a local Riemannian metric gO
on O such that
(i) Its Riemannian curvature coincides with RM on O more precisely RgO = RM |O = RO ∈ C (O);
(ii) The metric also satisfies the vacuum Einstein equation on U with the local cosmological constant
Λx ∈ R i.e., rgO = Λx gO on O.
Note that these local Riemannian Einstein metrics may not fit together into a global one over M.
Proof. By referring to a local solvability result of Gasqui [5] for a pseudo-Riemannian algebraic curvature tensor the conditions in the lemma guarantee the existence of a neighbourhood x ∈ V and a
Riemannian metric gV on V such that
G. Etesi: Gravity as algebraic quantum field theory
9
(i) gV = gx at least in x ∈ V ;
(ii) RgV = Rx at least in x ∈ V ;
(iii) rgV = Λx gV along V with the local cosmological constant Λx ∈ R.
We would like to extend part (ii) of this statement from the point x to a whole but probably smaller
neighbourhood x ∈ O j V . Since by the Definition CM is a sheaf recall [14] that there exists an isomorphism of sheaves τ : CM −→ C M where C M is the e´ tal´e space of CM defined by C M = ∪x∈M Cx with
Cx being the stalk of CM at x ∈ M. This latter space arises as a direct (inductive) limit
Cx = lim C (W )
−→
W 3x
with well-defined restriction maps rW
x : C (W ) → Cx for all x ∈ W j M open. But note that for any
RM ∈ C (M) ∩C∞ (M ; End(∧2 M ⊗R C)) its value Rx at x ∈ M satisfies
rxM (RM ) = Rx
consequently Rx ∈ Cx . In addition the local Riemannian curvature RgV obviously satisfies RgV ∈ C (V )
and part (ii) of Gasqui’s result shows that
rVx (RgV ) = Rx .
However these last two equations imply by the aid of the definition of a stalk that there exists a neighbourhood x ∈ O j V j M such that in fact
M
rO
(RM ) = rVO (RgV ).
Therefore we put the neighbourhood around x to be this U and the metric on it to be the restriction
gO := rVO (gV ).
Moreover part (iii) of Gasqui’s theorem obviously provides us that gO also satisfies the local Einstein
equation with cosmological constant Λx ∈ R as desired. 3
We conclude that generic elements of C (M) can be interpreted as a certain structure on the manifold
which at least locally resembles to classical Riemannian general relativity (we note again that all of
these conclusions are valid in the Lorentzian case, too):
SC. Given a connected oriented smooth 4-manifold M a generic element RM ∈ C (M) satisfying the
technical conditions of Lemma 2.3 gives rise to local Riemannian Einstein metrics on open subsets O
around every points of M. The corresponding restricted operators RO ∈ C (O) and reduced symmetry
groups obey the local canonical splittings K (O) = H + (O) ⊕ H − (O) induced by the local metrics.
3. Finally we take a further departure from classical general relativity and explore the deep quantum
regime. Of course the trouble is how to describe a generic bounded linear operator Q ∈ B(M) in terms
of a geometric linear operator R ∈ C (M). Our quantum instinct tells us that a truely quantum operator
should be constructed by somehow smearing a semiclassical operator over regions in M. This instinct
will be justified by the famous Schwartz kernel theorem applied below.
Fix a semiclassical operator R ∈ C (M) ∩C∞ (M; End(∧2 M ⊗R C)) and a point x ∈ M. Then on any
2-form ω ∈ Ω2c (M; C) its action can be expressed in a fully local form (Rω)x = Rx ωx . We can generalize
this as follows. Pick finitely many distinct further points y1 , . . . , yn(x) ∈ M where n(x) ∈ N may depend
G. Etesi: Gravity as algebraic quantum field theory
10
on x ∈ M. Consider diffeomorphisms fi ∈ Diff+ (M) such that f0 = IdU hence f0 (x) = x moreover
fi (x) = yi for i = 1, . . . , n(x). An operator Q ∈ B(M) from R ∈ C (M) ∩C∞ (M; End(∧2 M ⊗R C)) and
f0 , . . . , fn(x) ∈ Diff+ (M) is constructed such that on vectors ω ∈ Ω2c (M; C) ⊂ K (M) forming a dense
subset in any point x ∈ M it has the shape
n(x)
(Qω)x :=
∑
n(x)
fi∗ (Rω) = Rx ωx +
i=0
∑ fi∗(Rω).
(5)
i=1
Note that this linear operator is not local in the sense that its effect on ωx depends not only on Rx and
ωx but on the value of R and ω in further distant points y1 , . . . , yn(x) ∈ M as well. The question arises
how to generalize this construction for infinite sums or even integrals. For all points y ∈ M pick up
unique diffeomorphisms fy ∈ Diff+ (M) such that fy (x) = y and fx = IdM . Then for all ω ∈ K (M) the
assignment y 7→ fy∗ (Rω) gives a function from M into ∧2x M ⊗R C. Suppose moreover that there is a
complex measure µx on M constructed as follows. Recall that a double 2-form K is a section of the
bundle (∧2 M ⊗R C) × (∧2 M ⊗R C) over M × M. Then the kernel K is a right tool how to integrate this
function against this measure i.e., for all x ∈ M and ω ∈ K (M) we put
Z
y∈M
fy∗ (Rω)dµx (y) :=
Z
y∈M
Kx,y ∧ (Rω)y ∈ ∧2x M ⊗R C.
Consequently the appropriate way to generalize the discrete formula (5) is to set
Z
(Qω)x :=
Kx,y ∧ (Rω)y .
y∈M
Of course this integral to make sense we have to specialize the precise class of these “kernel functions”.
We do not do it here but note that the more singular the kernel is, the more general the resulting bounded
linear operator is. The general situation is covered by the Schwartz kernel theorem: there exists a
distributional double 2-form K ∈ D 0 (M × M ; (∧2 M ⊗R C) × (∧2 M ⊗R C)) such that any bounded
linear operator can be constructed in the form
hα, Qβ iL2 (M) = (K, α ⊗ (Rβ ))M×M
where this latter bracket is the pairing between dual spaces (cf. e.g. [12, Vol. I. Section 4.6]).
We summarize again our findings as follows:
Q. Over a connected oriented smooth 4-manifold M a generic element Q ∈ B(M) always can be
constructed from a geometric one R ∈ C (M) by a smearing procedure provided by the Schwartz kernel
theorem. In this general situation no pointwisely given geometric object has a meaning because the
original symmetry group Diff+ (M) is unbroken. This is in accord with the physical expectations.
We have completed the exploration of the elements of C (M) and B(M).
3
Gravity as an algebraic quantum field theory
Before proceeding further let us summarize the situation we have reached in Sect. 2. To any given
smooth oriented 4-manifold M one can associate a Krein space (K (M), h · , · iL2 (M) ) such that this
space carries an indefinite unitary representation of the group Diff+ (M) from the right. Moreover
G. Etesi: Gravity as algebraic quantum field theory
11
the associated C∗ -algebra B(M) of bounded linear operators acting on K (M) from the left contains
algebraic curvature tensors. Classical solutions of the vacuum Einstein equations i.e., Riemannian
Einstein manifolds (M, g) can be characterized by the fact that they obey a canonical splitting of the
Krein space induced by the metric moreover they are real and self-adjoint operators. (In the case of
Lorentzian metrics the same holds except that the corresponding operators are not real.) Therefore
one is tempted to look at the curvature operators as local quantum observables in a quantum field
theory possessing a huge symmetry group coming from diffeomorphisms. We would like to make
these observations more formal by constructing something which resembles an algebraic quantum field
theory in the sense of [6] with local quantum observables containing gravitational curvature tensors.
For this aim we have to associate a “net of local algebras” to M i.e., we need an assignment O 7→ U(O)
of certain algebras for all open O j M such that the basic axioms of this theory having still meaning
in our more general context should be satisfied. The simplest and most natural way of doing this is as
follows.
Recall that the space of local smooth complexified (0, 4)-type algebraic curvature tensors over M is
C∞ (M; (S2 ∧2 M ∩ Ker b) ⊗R C) where b : C∞ (M; (∧1 M)⊗4 ) → C∞ (M; (∧1 M)⊗4 ) is the usual algebraic
Bianchi map. Making use of a metric i.e., pseudo-Euclidean structures on the fibers, the corresponding
(2, 2)-type algebraic curvature tensors fulfill a subspace of C∞ (M; End(∧2 M ⊗R C)). However now
we lack any preferred metric hence only the whole endomorphism space is at our disposal. Consider
the Krein space (K (M), h · , · iL2 (M) ) with ∗ being the correspondiong adjoint operation and the norm
k · kL2 (M) on K (M) given by any (2) as usual. This gives the C∗ -algebra B(M) of all bounded linear
operators on K (M). For an R ∈ Cc∞ (M; End(∧2 M ⊗R C)) and a vector field X ∈ Cc∞ (M; T M ⊗R C) with
1
∗
the associated Lie derivative LX write B(R) := e 2 (R+R ) as well as B(LX ) := eLX (note that LX is already
self-adjoint because it generates diffeomorphisms which are unitary). Fix a relatively compact open
subset O j M and let U(O) ⊂ B(M) be the C∗ -algebra generated by operators B(R), B(LX ) ∈ B(M)
+
which commute on the closed subspace K (M \ O) ⊂ K (M) with the subgroup Diff+
O (M) ⊂ Diff (M)
consisting of O-preserving diffeomorphisms:
+
U(O) := B(R), B(LX ) ∈ B(M) B(R)|K (M\O) , Diff+
(M)
=
0,
B(L
)|
,
Diff
(M)
=
0
.
X
K
(M\O)
O
O
By construction U(O) j B(M) therefore as usual, all these local algebras act on K (M) and the global
algebra U(M) is constructed as the C∗ -algebra direct (inductive) limit of these local algebras.
Definition 3.1. For a relatively compact open O j M the algebra U(O) is called the local generalized
CCR algebra of local quantum observables while U(M) is the global generalized CCR algebra of M.
Remark. 1. By construction U(O) contains curvature tensors hence solutions of classical general relativity via their curvatures can be incorporated into U(M).
2. U(O) also contains a usual CCR algebra at least when O ⊂ M is a coordinate ball. Consider
the maximal subspace of those pairs of local endomorphisms and local vector fields which either commute: [R1 + R∗1 , R2 + R∗2 ] = 0, [LX , LY ] = 0, [R + R∗ , LX ] = 0 or are canonically conjugate to each other
i.e., [R + R∗ , LX ] = cIdK (O) with some c ∈ C which means that for all ω ∈ Ω2c (O; C) the identity
[R + R∗ , LX ]ω = cω holds and extends continuously over K (O). Then the sub-C∗ -algebra in U(O)
generated by B(R), B(LX ) from these restricted classes of algebraic curvature tensors and vector fields
respectively, yields a usual CCR algebra; R + R∗ and LX play the role of the position operator Q and
its canonically conjugate momentum operator P, respectively. This standard CCR algebra within U(O)
describes the “free graviton part” while the rest of U(O) the “self-interacting part” of this quantum field
theory.
G. Etesi: Gravity as algebraic quantum field theory
12
Putting things together then let us consider the algebraic quantum field theory defined by the assignment
O 7−→ U(O), U j M is relatively compact open.
Moreover U(M) is taken to be the C∗ -algebra direct (inductive) limit of the U(O)’s as usual. Note
that the formulation of this theory rests only on the smooth structure on M hence does not refer to
any metric on M for instance. The Krein space (K (M), h · , · iL2 (M) ) carries an action of all U(O)’s
from the left and a unitary one of Diff+ (M) from the right. Elements of the algebra U(O) are the local
quantum observables and those of the group Diff+ (M) are the symmetry transformations. The states
are continuous normalized positive linear functionals on U(O) and the expectation value of B ∈ U(O)
in the state Φ is Φ(B) ∈ C. Now we introduce the concept of a “quantum gravitational field”.
Definition 3.2. Let M be a connected oriented smooth 4-manifold and (K (M), h · , · iL2 (M) ) its Krein
space. Given a local generalized CCR algebra U(O) generated by B(R)’s and B(LX )’s as above a local
observable Q of the infinitesimal form
d m1
n1
mk
nk
Q := (B (tR1 )B (tLX1 ) · · · B (tRk )B (tLXk ))
dt
t=0
is called a local quantum gravitational field on O j M.
Take any splitting K (M) = H + (M) ⊕ H − (M) into maximal definite orthogonal subspaces (note
that this breaks the diffeomorphism symmetry). The off-blockdiagonal part of Q is the material content
of the local quantum gravitational field relative to the splitting. In particular a Q is called a local
quantum vacuum gravitational field relative to the splitting if its material content relative to the splitting
vanishes i.e., it respects the splitting i.e., Q(H ± (M)) j H ± (M).
In a quantum field theory the algebra of quantum observables must possess positive mass and energy
representations in the spirit of E. Wigner. Let us therefore proceed further and construct some representations of our C∗ -algebra U(M) what we will call positive mass representations. When doing this
we touch upon the problem of gravitational mass and energy which is probably the most painful part of
current general relativity [11]. Therefore our considerations here are tentative.
Theorem 3.1. Take a compact oriented surface-without-boundary Σ. Let (Σ, p1 , . . . , pn ) denote a
generic smooth immersion Σ ⊂ M where the points p1 , . . . , pn ∈ Σ are the preimages of the multiple
points of this immersion. Moreover let ω ∈ Ω2c (M; C). Assume that
(i) ω|Σ satisfies
1 R
2πi Σ ω
= 1 and
1 R
∗
2πi Σ (B B)ω
= 0 for all B ∈ End(Ω2c (M; C)) ∩ U(M);
(ii) For any complex structure C = C(Σ) on Σ there exists a positive definite unitary holomorphic
vector bundle structure induced by ω|C on the rank 4 vector bundle E := T M ⊗R C|C over C ⊂ M
satisfying dimC H 0 (C; O(E)) = 4.
Then (Σ, p1 , . . . , pn , ω) gives rise to a unitary representation πΣ,ω of U(M) on a Hilbert space HΣ,ω
as follows. For every B ∈ U(M) there exists a complex 4-vector PC,ω,B ∈ H 0 (C; O(E)) defined by (6)
below, called the quasi-local energy-momentum of the corresponding state [B] ∈ HΣ,ω . Its length
mC,ω,B := kPC,ω,B kL2 (C) = 0
with respect to a natural Hermitian scalar product ( · , · )L2 (C) on H 0 (C; O(E)) is called the mass of the
state. HΣ,ω also carries a unitary representation of Diff+ (M) such that there exists a unique vector
ΩΣ,ω ∈ HΣ,ω of unit length left invariant by the diffeomorphism group and having zero mass.
The unitary representation πΣ,ω on HΣ,ω is called a positive mass representation of U(M) with
vacuum vector ΩΣ,ω ∈ HΣ,ω .
G. Etesi: Gravity as algebraic quantum field theory
13
Proof. The unique continuous extension of the map ΦΣ,ω : U(M) → C given by
1
B 7−→ ΦΣ,ω (B) :=
2πi
Z
Bω ∈ C
Σ
on elements B ∈ End(Ω2c (M; C)) ∩ U(M) is a continuous normalized positive functional on U(M) by the
assumptions (i) of the theorem. Hence the GNS construction can be used to construct a corresponding
unitary representation of the C∗ -algebra U(M). Recall that this goes as follows. One has the induced
left-multiplicative Gelfand ideal IΣ,ω := {B ∈ U(M) | ΦΣ,ω (B∗ B) = 0} ⊂ U(M). The functional provides us with a well-defined positive definite scalar product ([A], [B])Σ,ω := ΦΣ,ω (A∗ B) on U(M)/IΣ,ω
with A ∈ [A], B ∈ [B] where [A] := A + IΣ,ω , etc. Making use of this scalar product one completes
U(M)/IΣ,ω to a Hilbert space HΣ,ω and then lets U(M) act from the left by the continuous extension of
πΣ,ω (A)[B] := [AB] from U(M)/IΣ,ω to HΣ,ω . Two representations πΣ1 ,ω1 and πΣ2 ,ω2 are unitary equivalent if and only if there is a positive real number a ∈ R+ such that ΦΣ2 ,ω2 = aΦΣ1 ,ω1 i.e., there exists
an element f ∈ Diff+ (M) satisfying Σ2 = f (Σ1 ) and ω2 = a f ∗ ω1 . In fact the case of a = 1 with any f
is nothing else than a representation of the conjugate algebra f ∗ U(M)( f −1 )∗ on HΣ1 ,ω1 since Diff+ (M)
acts on U(M) induced by its unitary representation on K (M) as in Sect. 2. In particular the identically
zero curvature R = 0 gives B(0) = 1U(M) and its class
ΩΣ,ω := [1U(M) ] ∈ HΣ,ω
is the unique vector which is left invariant by this adjoint action of Diff+ (M).
Consider the smooth complex vector bundle E := T M ⊗R C|Σ satisfying degE = 0 and rkE = 4.
The 2-form ω can also be used to construct a Hermitian
metric on it. Indeed, such a Hermitian metric
1
is defined by h(X,Y ) := 2 ω(X, iY ) − ω(iX,Y ) for all vector fields X,Y ∈ C∞ (Σ; E). By assumption
this makes E into a smooth positive definite unitary vector bundle (E, h) over Σ (hence in particular
ω|Σ must be non-degenerate). Take a smooth connetion ∇E : C∞ (Σ; E) → C∞ (Σ; E ⊗C (∧1 Σ ⊗R C))
satisfying ∇E h = 0 which means that it is compatible with the unitary structure. Picking any complex
structure on Σ we can identify it with a compact Riemann surface C = C(Σ). The (0, 1)-part ∂ E of
the connection endows (E, h) with the structure of a unitary holomorphic vector bundle over C. The
finite dimensional subspace of holomorphic sections of this bundle is denoted by H 0 (C; O(E)). The
Riemann–Roch–Hirzebruch theorem gives dimC H 0 (C; O(E)) = 4(1 − g(C)) but by assumptions (ii) in
the theorem this vector space is supposed to be precisely 4 dimensional. In addition one also obtains a
non-degenerate definite L2 Hermitian scalar product on C∞ (C; E) by putting
(X,Y )L2 (C) :=
1
2πi
Z
h(X,Y )ω.
C
In usual Poincar´e-invariant quantum field theory a 4 dimensional set of infinitesimal space-time
symmetries is distinguished because they commute hence are regarded as infinitesimal translations; the
corresponding operators are interpreted as energy-momentum operators acting on the Hilbert space of
the theory. Here the space-time symmetry transformations are all the diffeomorphisms hence in our
algebraic quantum field theory the corresponding infinitesimal transformations are the Lie derivatives
with respect to vector fields. However in general one cannot find a distinguished 4 dimensional commuting subspace which could be called as “infinitesimal translations”. To overcome this difficulty we
will follow the Dougan–Mason quasi-local construction [3] (or [11, Chapter 8]) to find a distinguished
4 dimensional subspace of vector fields by holomorphicity:
G. Etesi: Gravity as algebraic quantum field theory
14
Definition 3.3. A vector field X ∈ Cc∞ (M; T M ⊗R C)) is a called an infinitesimal quasi-local translation
of Σ if X|Σ ∈ H 0 (C; O(E)) ⊂ C∞ (Σ; E) where C = C(Σ) is a complex structure on the surface Σ ⊂ M.
Let’s continue the proof. If ω ∈ Ω2c (M; C) and X ∈ Cc∞ (M; T M ⊗R C) then LX ω ∈ Ω2c (M; C) is meaningful; therefore if B ∈ End(Ω2c (M; C)) then we make sense of LX B ∈ B(M) by setting
(LX B)ω := LX (Bω) − B(LX ω) for all ω ∈ Ω2c (M; C)
and define LX B for B ∈ U(M) by continuity. Proceeding further, if [B] ∈ U(M)/IΣ,ω ⊂ HΣ,ω then we
put πΣ,ω (LX )[B] := [LX B]. If { ft | t ∈ R} ⊂ Diff+ (M) is a 1-parameter subgroup generated by X and
B ∈ End(Ω2c (M; C)) then we can see that πΣ,ω (LX )[B] ∈ HΣ,ω satisfies
∗ ∗
f
B
f
−
B
t
−t
= 0.
lim π
(L
)[B]
−
X
Σ,ω
t→0 t
Σ,ω
Finally we define πΣ,ω (LX )ψ by continuity for a generic state ψ ∈ HΣ,ω . The expectation value of LX
in a state 0 6= ψ ∈ HΣ,ω is therefore
(ψ , πΣ,ω (LX )ψ)Σ,ω
∈ C.
kψk2Σ,ω
Take an infinitesimal quasi-local translation LX of Σ, an element B ∈ U(M) and regard the corresponding
expectation value as a component of the quasi-local energy-momentum 4-vector for [B] ∈ HΣ,ω . By
construction
Z
1
∗
(B∗ LX B)ω
([B], πΣ,ω (LX )[B])Σ,ω = ΦΣ,ω (B LX B) =
2πi
C
consequently the expectation value can be expressed as the evaluation on X of a C-linear functional
PC,ω,B on H 0 (C; O(E)) whose shape is
R
(B∗ LY B)ω
C
PC,ω,B (Y ) := R
(B∗ B)ω
for all Y ∈ H 0 (C; O(E)).
(6)
C
This is called the quasi-local energy-momentum 4-vector of the state 0 6= [B] ∈ HΣ,ω . The Hermitian
∗
structure ( · , · )L2 (C) gives H 0 (C; O(E)) ∼
= H 0 (C; O(E)) hence we can regard PC,ω,B as a 4-vector
PC,ω,B ∈ H 0 (C; O(E)) by setting (PC,ω,B , X)L2 (C) := PC,ω,B (X). Moreover mC,ω,B := kPC,ω,B kL2 (C) = 0
is interpreted as the mass of [B] ∈ HΣ,ω . The invariant vector satisfies πΣ,ω (LX )ΩΣ,ω = [LX 1U(M) ] = 0
hence has vanishing mass as claimed. 3
Remark. 1. The formula (6) for the quasi-local energy-momentum formally remains meaningful for
quantum gravitational fields introduced in Definition 3.2. Hence the corresponding quantitites PC,ω,Q
and mC,ω,Q are interpreted as the quasi-lolcal energy-momentum 4-vector and the mass of a quantum
gravitational field Q. Among local quantum gravitational fields one can recognize classical curvature
tensors hence we obtain quasi-local quantities for classical general relativity, too.
2. The usual axioms of algebraic quantum field theory (cf. e.g. [6, pp. 58-60 or pp. 105-107])
typically make no sense in this very general setting. But for clarity we check them one-by-one in order
to see in what extent our algebraic quantum field theory more general is than the usual ones.2
2 We
quote from Haag [6, p. 60]: “On the other hand the word axiom suggests something fixed, unchangeable. This
is certainly not intended here. Indeed, some of the assumptions are rather technical and should be replaced by some more
natural ones as deeper insight is gained. We are concerned with a developing area of physics which is far from closed and
should keep an open mind for modifications of assumptions, additional structural principles as well as information singling
out a specific theory within the general frame.”
G. Etesi: Gravity as algebraic quantum field theory
15
[6, Axiom A on p. 106] can be translated to saying that the Hilbert space HΣ,ω carrying a unitary
representation πΣ,ω of the global generalized CCR algebra U(M) is also acted upon by the orientationpreserving diffeomorphism group Diff+ (M) in a unitary way such that there exists a unique invariant
ray generated by the vector ΩΣ,ω ∈ HΣ,ω . Moreover Dougan–Mason quasi-local translations of Σ ⊂ M
give rise to quasi-local energy-momentum 4-vectors in this representation such that the state ΩΣ,ω has
zero quasi-local energy-momentum hence mass. Consequently this vector (or ray) might be called the
vacuum in this representation. This is interesting because the concepts of mass and energy are quite
problematic in classical general relativity [11] as well as the concept of the vacuum in a general quantum
field theory [8]. Nevertheless this construction of representations of the generalized CCR algebra—
which mixes ideas of quasi-local constructions in classical general relativity [3, 11] and standard GNS
representation theory of C∗ -algebras—contains a technical ambiguity namely a choice of a complex
structure on an embedded surface in M. However one expects the whole machinery to be independent
of this choice. We treat this problem in Sect. 4.
[6, Axioms B and C on p. 107] dealing with the additivity of local algebras and their hermiticity by
construction hold here.
[6, Axiom D on p. 107] can be translated by saying that since the diffeomorphism group is the
symmetry group of the theory, it acts on the net of local algebras like
f ∗ U(O)( f −1 )∗ = U( f (O))
(7)
for all f ∈ Diff+ (M) i.e., symmetry transformations map the local algebra of a region to that one of the
transformed region. This continues to be valid here.
[6, Axiom E on p. 107] holds in a trivial way as an unavoidable consequence of the vast diffeomorphism invariance. It is easy to see that [U(O), U(V )] = 0 if and only if O ∩ V = 0.
/ Indeed, (7) shows
that regardless what U(O) actually is, it must commute with those elements of Diff+ (M) which are the
identity on O; consequently if A ∈ U(O) ⊂ B(M) then A|K (M\O) ∈ Z(B(M \ O)) = C IdK (M\O) . But
K (V ) ⊂ K (M \ O) if O ∩ V = 0/ hence the claim follows. Therefore there is no causality hence no
dynamics present here. Hence the reason we prefer to use Riemannian metrics over Lorentzian ones
throughout the paper. We can also physically say that this theory represents a very elementary level of
physical reality where even no causality exists yet. Causality should emerge through breaking of the
diffeomorphism symmetry.
[6, Axiom F on p. 107] This completeness requirement claims for the validity of Schur’s lemma i.e.,
the only bounded operator which commutes with all quantum gravitational fields should be a multiple
of the identity operator 1 ∈ B(M). This also holds in our case.
[6, Axiom G on p. 107] about “primitive causality” has no meaning in this general setting.
We finished the comparison with the usual axioms of algebraic quantum field theory.
4
Positive mass representations and conformal field theory
In Sect. 3 by the aid of the Krein space K (M) of a 4-manifold M the global generalized CCR-algebra
U(M) has been introduced together with a bunch of its unitary representations πΣ,ω constructed by
standard means from a smooth immersion (Σ, p1 , . . . , pn ) of a surface Σ into M and a regular element
ω ∈ K (M). If a complex structure C = C(Σ) is put onto the surface as well then the quasi-local energy
momentum PC,ω,B ∈ H 0 (C; O(E)) and mass mC,ω,B ∈ R+ ∪ {0} of a non-zero state [B] ∈ HΣ,ω can
be defined enriching πΣ,ω further to a positive mass representation. However on physical grounds we
expect the whole construction to be independent of these technicalities i.e., any choice of these complex
G. Etesi: Gravity as algebraic quantum field theory
16
structures have to result in the same construction. Following Witten [15] this means that a conformal
field theory lurks behind the curtain. We can indeed find this theory which however turns out to be a
very simple topological conformal field theory in the sense that its Hilbert space is finite dimensional
and the correlation functions are insensitive for the insertion of marked points i.e., how the immersion
looks like.
In constructing this topological conformal field theory we will follow G. Segal [9]. That is first
construct a “modular functor extended with an Abelian category possessing a symmetric object” (cf.
in particular [1, Definition 5.1.12]) and [1, Chapters 5 and 6] in general). In other words we have to
construct an assignment
τ : (Σ, p1 , . . . , pn ) 7−→ τ(Σ, p1 , . . . , pn )
(8)
which somehow associates to surfaces with marked points finite dimensional complex vector spaces
satisfying certain axioms. Consider a positive mass representation πΣ,ω of U(M) constructed out of
(Σ, p1 , . . . , pn , ω) as in Theorem 3.1. Recall that the marked points pi ∈ Σ correspond the multiple points
of the immersion Σ ⊂ M (the case (Σ, 0,
/ ω) is an embedding). Then to a positive mass representation
of U(M) a holomorphic vector bundle E of conformal blocks τ(Σ, p1 , . . . , pn ) over the coarse moduli
space Mg,n of complex structures on (Σ, p1 , . . . , pn ) will be assigned in manner that if 0 6= [B] ∈ HΣ,ω
is a state then its quasi-local energy-momentum 4-vector PC,ω,B gives rise to a conformal block in this
conformal field theory i.e., a section PΣ,ω,B of E . This section will be moreover (projectively) flat with
respect to the natural (projectively) flat connection ∇ on E (the Knizhnik–Zamolodchikov connection).
We begin with the following simple observation (an elementary version of Uhlenbeck’s singularity
removal theorem [13]).
Lemma 4.1. Take any compact Riemann surface C = C(Σ) with distinct marked points p1 , . . . , pn ∈ C
and a holomorphic unitary vector bundle F over C \ {p1 , . . . , pn }. Let s ∈ H 0 (C \ {p1 , . . . , pn }; O(F))
2 (C; O(F)) i.e., having locally finite energy over C.
be a holomorphic section with the property s ∈ Lloc
If s is singular in pi ∈ C then one can find a local gauge transformation about this point such that
the gauge transformed section extends holomorphically across it i.e., pointlike singularities of locally
finite energy meromorphic sections over C are removable. More precisely there exists a unique unitary
holomorphic vector bundle F 0 over C satisfying F 0 |C\{p1 ,...,pn } ∼
= F so that for any locally finite energy
0
0
section s ∈ H (C \ {p1 , . . . , pn }; O(F)) there exists a section s ∈ H 0 (C; O(F 0 )) so that s0 |C\{p1 ,...,pn } is
gauge equivalent to s.
Proof. First we prove the existence of the unique extendibility of the unitary bundle (F, h). Consider
a local holomorphic coordinate system (U, z) on C such that z(U) = D(0) ⊂ C some open disc about
the origin and U contains only one marked point pi ∈ U satisfying z(pi ) = 0. Cutting out the open
neighbourhood U ⊂ C of pi we obtain a manifold-with-boundary C \U and ∂ (C \U) ∼
= S1 . Consider the
restriction (F, h)|∂ (C\U) regarded as a smooth U(k)-bundle over S1 . Taking smooth local trivializations
the corresponding smooth local transition functions of (F, h)|∂ (C\U) give rise to a monodromy map
µ : S1 → U(k) where k = rk F. However π0 (U(k)) ∼
= 1 hence this monodromy map together with its
derivatives along S1 extends over pi as the identity consequently (F, h)|U\{pi } can be extended over this
point as a smooth unitary vector bundle (Fi0 , h0i )|U . Consider a smooth trivialization Fi0 |U ∼
= U × Ck and
write in this smooth gauge the restriction of the partial connection defining the holomorphic structure
on F as ∂ F |U\{pi } = ∂ + αU\{pi } . Then the Hermitian scalar product on Fi0 satisfies
∂ F (h0i |U\{pi } ) = ∂ (h0i |U\{pi } ) + αU\{pi } (h0i |U\{pi } ) = 0
0 := −(∂ h0 | )(h0 | )−1 on U defines a
and h0i |U\{pi } extends smoothly over pi as h0i |U . Therefore αi,U
iU
iU
0
smooth extension of αU\{pi } over pi in a manner that ∂ Fi0 |U := ∂ + αi,U is the restriction of a com-
G. Etesi: Gravity as algebraic quantum field theory
17
patible partial connection ∂ Fi0 yielding a compatible holomorphic structure on (Fi0 , h0i ). Performing
this procedure around every marked points we obtain a unique unitary holomorphic vector bundle i.e.,
(F 0 , h0 , ∂ F 0 ) with ∂ F 0 h0 = 0.
Now we come to the extendibility of sections. Compatibility provides us that in a local holomorphic
trivialization F 0 |U ∼
= U × Ck the coefficients of h0 |U are holomorphic functions. Performing a GL(k, C)valued holomorphic gauge transformation if necessary we can pass to a local holomorphic trivialization
in which h0 |U has the standard form. Take any holomorphic section of F or equivalently, a meromorphic
section of F 0 with singularities in the marked points i.e., pick any
s ∈ H 0 (C \ {p1 , . . . , pn }; O(F)) ∼
= H 0 (C \ {p1 , . . . , pn }; O(F 0 ))
with local shape s|U (z) = s1 (z) f1 + · · · + sk (z) fk in this local trivialization. Since s|U is holomorphic
outside 0 ∈ C each component s j : U → C admit Laurent expansions
+∞
s j (z) =
∑
amj zm , amj ∈ C.
m=−N j
Moreover the local L2 -norm of the section in this special gauge looks like
ks|U k2L2 (U)
1
=
2πi
Z 1
2
k
2
|s (z)| + · · · + |s (z)|
ω|U =
U
Z |s1 (z)|2 + · · · + |sk (z)|2 ϕU (z, z)dz ∧ dz
U
where ϕU is a smooth nowhere vanishing function on U. Assume that the section has locally finite
energy. On substituting the above expansions into this integral the finiteness then dictates to conclude
that N j = 0 for all j = 1, . . . , k and i = 1, . . . , n hence in fact s is holomorphic over the whole C as
claimed. 3
Now we turn to the construction of the relevant modular functor. Suppose that Σ ⊂ M is a compact
surface without boundary. Choose any complex structure C = C(Σ) on it and n distinct marked points
p1 , . . . , pn ∈ C. Let E := T M ⊗R C|C\{p1 ,...,pn } be a holomorphic unitary vector bundle over the punctured surface as in Theorem 3.1. Or rather more generally, if C = tiCi is an abstract compact nonpunctured Riemann surface with connected components Ci then let E 0 be a holomorphic unitary vector
bundle over C with rk(E 0 |Ci ) = 4, deg(E 0 |Ci ) = 0 and dimC H 0 (Ci ; O(E 0 |Ci )) = 4. Then in terms of the
restricted bundle E := E 0 |C\{p1 ,...,pn } our choice is as follows:
τ(Σ, p1 , . . . , pn ) :=

n
C
0

X ∈ H (C \ {p1 , . . . , pn }; O(E)) kXkL2
 Cl
loc


C
(C) < +∞
o
if (Σ, p1 , . . . , pn ) 6= 0;
/
(9)
if (Σ, p1 , . . . , pn ) = 0/
that is, this vector space is the underlying vector space of the complexified Clifford algebra of
0
Re(H (C \ {p1 , . . . , pn }; O(E))) , Re( · , · )L2 (C) ∼
= R4Euclid ,
the vector fields of M having locally finite energy and being holomorphic except in the marked points
when restricted to C.
G. Etesi: Gravity as algebraic quantum field theory
18
Lemma 4.2. Let (Σ, p1 , . . . , pn ) be a smooth surface with marked points and take a complex structure
C = C(Σ) rendering it as a Riemann surface with marked points (C, p1 , . . . , pn ). Also take the holomorphic unitary vector bundle E over C \ {p1 , . . . , pn } as before. Attach to every marked point pi ∈ C the
single label
ν := {a holomorphic section of E has a finite energy singularity in pi ∈ C}.
Then the assignment (8) with the choice (9) is a modular functor which is not normalized in the sense
that τ(S2 , 0)
/ = ClC (H 0 (CP1 ; O(E))) instead of τ(S2 , 0)
/ = C.
Moreover the vector spaces τ(Σ, p1 , . . . , pn ) fit together into a trivial holomorphic vector bundle E
over the coarse moduli space Mg,n of genus g Riemann surfaces with n marked points carrying a flat
connection ∇ (the Knizhnik–Zamolodchikov connection). The vector PC,ω,B ∈ H 0 (C; O(E)) is the value
at C ∈ Mg,n of a section PΣ,ω,B of this bundle over Mg,n satisfying ∇PΣ,ω,B = 0.
Proof. We check the three relevant axioms of [1, Definition 5.1.2]. First of all Lemma 4.1 yields that if
(Σ, p1 , . . . , pn ) 6= 0/ then
τ(Σ, p1 . . . , pn ) ∼
= ClC (H 0 (C; O(E 0 )))
consequently the vector spaces are finite dimensional. It also readily follows from (9) that
τ((Σ1 , p1 , . . . , pn ) t (Σ2 , q1 , . . . , qm )) ∼
= τ(Σ1 , p1 , . . . , pn ) ⊗C τ(Σ2 , q1 , . . . , qm )
as in [1, part (iii) of Definition 5.1.2]. The second axiom to check is the glueing axiom [1, part
(iv) of Definition 5.1.2]. Let γ ⊂ (Σ, p1 , . . . , pn ) be a closed curve without self-intersections. Cut
(Σ, p1 , . . . , pn ) along γ. The resulting surface has naturally the structure of a not necessarily connected
˜ p1 , . . . , pn , q1 , q2 ) where the two new marked points q1 , q2 come from the circle
punctured surface (Σ,
˜
γ. Putting E := E|C\({p1 ,...,pn }∪γ) into (9) by the aid of Lemma 4.1 we obtain that locally finite energy
˜ p1 , . . . , pn , q1 , q2 ) correspond to those on (C, p1 , . . . , pn ) consequently
meromorphic sections on (C,
˜ p1 , . . . , pn , q1 , q2 ) ∼
τ(Σ,
= τ(Σ, p1 , . . . , pn )
hence the glueing axiom indeed holds in a trivial way here.
The third axiom to check is the functorial behaviour under diffeomorphisms [1, part (ii) of Definition 5.1.2]. In turn this is equivalent to checking the existence of a Knizhnik–Zamolodchikov
connection. Let Mg,n be the coarse moduli space of connected non-singular Riemann surfaces of
genus g and n marked points. We take a complex vector bundle E over Mg,n whose fibers over
(C, p1 , . . . , pn ) ∈ Mg,n are the individual conformal blocks τ(Σ, p1 , . . . , pn ) constructed from the holomorphic bundle E over C \ {p1 , . . . , pn } or equivalently E 0 over C. Recall that M is acted upon by its
+
diffeomorphism group. Hence the subgroup Diff+
Σ (M) ⊂ Diff (M) consisting of Σ-preserving diffeomorphisms acts on the real smooth punctured surface such that it deforms its complex structure i.e.,
(Σ, p1 , . . . , pn ) and f (Σ, p1 , . . . , pn ) correspond in general to different points in Mg,n . This subgroup
also acts on C∞ (Σ; E 0 ) by pushforward. Consequently it transforms the subspaces τ(Σ, p1 , . . . , pn ) ∼
=
C
C ∞
0
0
0
Cl (H (C; O(E ))) ⊂ Cl (C (Σ; E )) giving rise to linear isomorphisms
τ(Σ, p1 , . . . , pn ) ∼
= τ( f (Σ, p1 , . . . , pn )) for all f ∈ Diff+
Σ (M).
These linear isomorphisms can be interpreted as parallel translations along E by a flat connection ∇
called the Knizhnik–Zamolodchikov connection. Note that since the representation of Diff+
Σ (M) on
C∞ (Σ; E 0 ) is not only projective but in fact a true representation, the resulting connection is not only
G. Etesi: Gravity as algebraic quantum field theory
19
projectively but truely flat on E . In particular the bundle E as a complex vector bundle is trivial over
Mg,n but is equipped with a holomorphic structure. Via Lemma 4.1 the holomorhic section PC,ω,B can
be regarded as a meromorphic one i.e., PC,ω,B ∈ H 0 (C \ {p1 , . . . , pn }; O(E)). Define a section PΣ,ω,B
of E on Mg,n by putting PΣ,ω,B (C) := PC,ω,B . It follows from the invariance of the definition (6) of the
quasi-local energy-momentum 4-vector
2
PC,ω,B ∈ H 0 (C \ {p1 , . . . , pn }; O(E)) ∩ Lloc
(C; O(E)) ∼
= H 0 (C; O(E 0 ))
⊂ ClC H 0 (C; O(E 0 )) = τ(Σ, p1 , . . . , pn )
under diffeomorphisms that as the complex structure varies PΣ,ω,B of E satisfies ∇PΣ,ω,B = 0 i.e., is
parallel for the Knizhnik–Zamolodchikov connection.
We conclude that the assignment (8) with (9) is a C-extended modular functor as in [1, Definition
5.1.2] i.e., a weakly conformal field theory a´ la G. Segal [9]. 3
After having constructed the modular functor, we find the vector space on which it acts hence exhibit the
conformal field theory given by (8) and (9). This step is very simple: the space (Σ, p1 , . . . , pn ) identified
with an oriented smooth cobordism between the disjoint compact oriented 1-manifolds S1p1 t · · · t S1pk
and S1pk+1 t · · · t S1pn . To the oriented 1-manifold S1p1 t · · · t S1pk t (S1pk+1 )∗ t · · · t (S1pn )∗ , regardless what
it actually is, we associate the finite dimensional vector space S ⊗C S∗ where S ∼
= C4 is the unique
irreducible Clifford-module. The resulting conformal field theory is a topological one because its state
space is finite dimensional and its correlation functions are insensitive for the marked points.
References
[1] Bakalov, B., Kirillov, A. Jr.: Lectures on tensor categories and modular functors, Providence,
American Mathematical Society (2001);
[2] Brunetti, R., Fredenhagen, K., Rejzner, K.: Quantum gravity from the point of view of locally
covariant quantum field theory, arXiv: 1306.1058 [math-phys] (preprint), 51pp. (2013);
[3] Dougan, A.J., Mason, L.J.: Quasilocal mass constructions with positive energy, Phys. Rev. Lett.
67, 2119-2122 (1991);
[4] Freedman, M.H.: The topology of four-manifolds, Journ. Diff. Geom. 17, 357-454 (1982);
[5] Gasqui, J.: Sur la r´esolubilit´e locale des e´ quations d’Einstein, Compositio Math. 47, 43-69
(1982);
[6] Haag, R.: Local quantum physics, Springer–Verlag, Berlin (1993);
[7] Hedrich, R.: String theory—nomological unification and the epicycles of the quantum field theory
paradigm , arXiv: 1101.0690 [physics] (preprint), 23pp. (2011);
[8] Hollands, S., Wald, R.M.: Quantum field theory in curved spacetime, arXiv:
[gr-qc] (preprint), 52pp. (2014);
1401.2026v1
[9] Segal, G.B.: Two-dimensional conformal field theories and modular functors, IXth International
Congress of Mathematical Physics (Swansea, 1988), Hilger, Bristol, 22-37 (1989);
G. Etesi: Gravity as algebraic quantum field theory
20
[10] Singer, I.M., Thorpe, J.A.: The curvature of 4-dimensional Einstein spaces, in: Global analysis,
Papers in honour of K. Kodaira, Princeton Univ. Press, Princeton, 355-365 (1969);
[11] Szabados, L.B.: Quasi-local energy momentum and angular momentum in general relativity,
Living Rev. Relativity 12, 4 (2009);
[12] Taylor, M.E.: Partial differential equations I-III, AMS 115, 116, 117, Springer, New York (1996,
1996, 1996);
[13] Uhlenbeck, K.K.: Removable singularities in Yang–Mills fields, Comm. Math. Phys. 83, 11-29
(1982);
[14] Wells, R.O.: Differential analysis on complex manifolds, GTM 65, Springer, New York (2008);
[15] Witten, E.: Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121, 351-399
(1989).