Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: electromagnetic interactions played a key role in the history of physics since they are related to the first successful example of unification of two apparently different fields , the electric and the magnetic one , into a single body , the faraday tensor @xmath0 . the latter fulfills the so - called maxwell s equations which , on a flat background , are automatically poincar invariant and they yield that @xmath0 can be described in terms of an auxiliary field , the vector potential @xmath1 . even though @xmath0 stays the basic observable of the theory , @xmath1 has the advantage of being apparently easier to handle since every faraday tensor , solution of maxwell s equations , can be reconstructed from a vector potential which solves both the wave equation and a second one , known as the lorenz gauge . with the advent of quantum field theory , this interplay between @xmath1 and @xmath0 has been even more emphasized since the quantization scheme which is canonically employed still focuses on the vector potential and considers @xmath0 , also known as the field strength , as a derived object , albeit it is the real observable . in view of the aharonov - bohm effect this latter assertion might be considered even erroneous since it is often stated that it is actually @xmath1 the true physical object . yet , as noted for example in @xcite , in all idealized and real experiments of the aharonov - bohm kind the true observable is actually the flux of the magnetic field which is present inside an impenetrable region , typically a cylinder . hence even this quantity can be expressed in terms of the components of the field strength tensor . the role of the vector potential becomes primary as soon as interactions are switched on , but , till we consider only a free maxwell system , @xmath0 should contain all the physical information both at a classical and at a quantum level . it is far from the scope of this paper to discuss the details of this procedure , but suffice to say that , on minkowski background and in absence of sources , the result is pretty much satisfactory . yet the situation starts to complicate itself as soon as it is assumed that the spacetime @xmath2 has a non trivial geometry . although we shall provide more details in the main body of the paper , we can easily explain the source of all potential problems . the field strength tensor is best described as a two - form @xmath3 which satisfies maxwell s equations , which in absence of sources can be expressed as @xmath4 and @xmath5 where @xmath6 is the exterior derivative while @xmath7 is the codifferential . it is important to remark that , while the second equation depends on the metric associated to @xmath2 and hence on the geometry , the first one relies only on the smooth differentiable structure of the background and it is thus a constraint . it is at this stage that the scheme employed on minkowski background encounters the first difficulties since , if we leave @xmath2 arbitrary and thus not a priori diffeomorphic to @xmath8 , we can not apply poincar lemma to conclude the existence of @xmath9 such that @xmath10 . in other words it is not true that it is always possible to reconstruct all field strengths fulfilling maxwell s equations , even starting from an auxiliary object such as the vector potential @xmath1 . the consequences of this result of differential geometry has far reaching consequences , since it tells us that , if one wants to quantize maxwell s equations on a curved background , unless @xmath2 is somehow special , one can not use @xmath1 as the building block , but has to refer uniquely to @xmath0 . an example of a field strength which can not be derived from the vector potential can be found in @xcite . the aim of this paper is indeed to develop a quantization scheme for the field strength on an arbitrary four dimensional globally hyperbolic spacetime within the framework of the algebraic formulation of quantum field theory  see @xcite for an earlier investigation in this language . this is certainly not the first investigation in this direction and preliminary works are present in @xcite and , as a special case of a much broader analysis , in @xcite . compared to these earlier publications , we rectify some minor problems mostly in the analysis of the classical dynamical system , but our main contribution will be related to the construction of a field algebra of observables for the field strength . in this endeavour we will prove in particular that the commutator between two generators of the algebra is given by the lichnerowicz propagator @xcite regardless of the chosen spacetime . this allows us also to make a direct connection with an old result of ashtekar and sen @xcite , who identified the existence of a two - parameter family of unitary inequivalent representations of the canonical commutation relations for the field strength on schwarzschild spacetime . in our language this translates in the existence of a non trivial centre for the field algebra whenever the second de rham cohomology group of the manifold , either with real or with complex coefficients , is non trivial .    as a last point we can address the question whether the field strength tensor can be described as a locally covariant quantum field theory . first introduced in @xcite , the so - called principle of general local covariance was formulated leading to the realization of a quantum field theory as a covariant functor between the category of globally hyperbolic ( four - dimensional ) lorentzian manifolds with isometric embeddings as morphisms and the category of @xmath11-algebras with injective homomorphisms as morphisms . already shown to hold true for scalars @xcite , spinors @xcite and recently for the proca field and for the vector potential ( though in this case it has been assumed that the first de rham cohomology group of the underlying background is trivial ) @xcite , such paradigm turns out not to hold true in the case of a quantum field theory based on the field strength . although we will be more explicit in the main body of the paper , we stress that the obstruction is related to a potential clash between the presence of a non trivial centre for the field algebra of @xmath0 in a globally hyperbolic spacetime @xmath2 and the existence of isometric embeddings of @xmath2 into backgrounds @xmath12 with trivial second de rham cohomology group . as a potential way out , we show that general local covariance can be restored if the category of admissible spacetimes is suitably reduced , although , as we shall comment later in detail , this has certainly far reaching physical consequences . .2 cm    the paper will be organized as follows : in section 1.1 we will recollect the notations and conventions we shall use throughout the paper . in section 2 we will instead discuss maxwell s equations and the associated initial value problem , showing that it is well - defined and that the space of solutions can be constructed also in this case with the help of the causal propagator for a suitable second order hyperbolic differential operator . section 3 will be instead entirely devoted to the issue of constructing the associated field algebra and , in particular , we shall prove that the commutator between two generators can be computed via the lichnerowicz propagator . in section 3.1 we shall show that , whenever certain topological invariants of the background are not trivial , the field algebra possesses a non trivial centre and we fully characterize its elements also providing explicit examples . in section 3.2 we tackle the problem whether the principle of general local covariance holds true for the field strength finding in general a negative answer unless the class of admissible spacetimes is reduced . in section 4 we draw some conclusions .      in this paper , each background will always be referred to as a _ `` spacetime '' _ , that is a four dimensional differentiable , second countable , hausdorff manifold @xmath2 with a lorentzian metric @xmath13 whose signature is @xmath14 . we shall also assume that @xmath2 is _ globally hyperbolic _ , hence there exists a closed achronal subset @xmath15 whose domain of dependence coincides with @xmath2 itself . note , that a spacetime is usually assumed to be connected in the literature . yet , in this paper and with respect to the construction of the field algebra in particular , we are also interested in disconnected manifolds with finitely many connected components . see in particular the remark after proposition [ universal algebra properties ] . note , that there is no ambiguity in carrying over established results from the connected case to the disconnected case with finitely many connected components . on account of standard results in differential geometry and of the recent analysis in @xcite and of theorem 1.1 in @xcite , global hyperbolicity entails that there exists an isometry @xmath16 between @xmath2 and a smooth product manifold @xmath17 . thus @xmath18 turns out to be a three - dimensional embedded submanifold and theorem 2.1 in @xcite guarantees , moreover , that @xmath19 splits as @xmath20 where @xmath21 is a temporal function , @xmath22 while @xmath23 induces for fixed values of @xmath24 a smooth riemannian metric on @xmath18 . furthermore global hyperbolicity yields that @xmath2 admits an orientation and thus , henceforth , we assume that a choice has been done and all spacetimes are globally hyperbolic as well as time oriented and oriented . on top of the geometric structure we shall consider @xmath25 and @xmath26 , respectively the set of smooth and of smooth and compactly supported @xmath27-forms on @xmath2 with values in the field @xmath28 , usually chosen either as @xmath29 or @xmath30 . here @xmath31 and @xmath32 , where the parenthesis around the subscript indicates that the statement holds true both with and without the subscript itself . let @xmath28 be the complex numbers ; then , on these spaces , one can define two natural operators , the external derivative @xmath33 and the hodge dual @xmath34 . notice that , while @xmath6 is completely independent from @xmath13 , @xmath35 is instead a function of the underlying metric . furthermore , since @xmath35 is invertible , we can introduce a third operator , known as the codifferential @xmath36 .    in the main body of the paper we will be often interested in compactly supported smooth forms which are either closed or coclosed and to avoid to be redundant in the exposition we introduce the following novel notation : @xmath37 to conclude , we mention two further ingredients we shall need in the forthcoming discussion . the first is @xmath38 which is the @xmath27-th de rham cohomology group of @xmath2  see @xcite for the definition and for a recollection of the main properties . it is noteworthy that , since such groups are built only out of the external derivative , they are completely independent from the underlying geometry and from @xmath13 in particular . we can combine together @xmath6 and @xmath7 to define the laplace - de rham operator @xmath39 . the second ingredient is instead @xmath40 which stands for the @xmath27-th smooth singular homology group of the manifold and whose main properties are discussed in @xcite . as stated in the introduction , the main objective of this paper is to shed some light on the classical and on the quantum structure of maxwell s equations on curved backgrounds , emphasizing in particular how the underlying topology affects the qualitative behaviour of the system . to start with , we need to introduce the key objects of our analysis : the curved spacetime analogue of maxwell s equations sees @xmath3 as the dynamical variable and the dynamics is ruled by @xmath41 where @xmath42 is the external current such that @xmath43 . a key property of when defined on a generic spacetime @xmath44 lies in the analysis of the first identity . this is a constraint on the form of @xmath0 which usually leads to state both that there exists @xmath9 such that @xmath10 and that one can consider @xmath1 , the so - called vector potential as the underlying dynamical field . this statement is based on the poincar lemma which , alas , can not be always applied since it fails to hold true whenever @xmath45 is not trivial . in this particular case , it turns out that there exist classical field strengths which can not be derived as the external derivative of a suitable one - form . since , from a physical point of view , it is @xmath0 the observable field of the dynamical system , it is natural to wonder whether a full classical and quantum analysis of could be performed without making use of any auxiliary structure such as the vector potential .    in order to grasp the classical behaviour of a dynamical system ruled by , we need to prove that this set of equations admits a well - defined initial value problem on every globally hyperbolic spacetime . despite the apparent obviousness of this question , to the best of our knowledge it turns out that this problem has been only partly treated in details and the discussions available in the literature are either partly incomplete or based upon further restrictive assumptions , such as the compactness of the cauchy surface @xmath18  see @xcite , but also @xcite although they work with the vector potential . on the opposite , since we want to cope with the most general scenario , we need the following statement  see also @xcite for a similar analysis :    [ cauchy problem field strength tensor ] let @xmath46 be an oriented 4-dimensional globally hyperbolic spacetime with at most finitely many connected components whose smooth spacelike cauchy surface is @xmath18 with smooth embedding @xmath47 . then , for each triple @xmath48 such that @xmath49 , @xmath50 with @xmath51 and @xmath52 , there exists a unique solution @xmath53 of the initial value problem as @xmath54 in place of @xmath55 . furthermore we indicate with @xmath56 the hodge dual induced on the cauchy surface @xmath18 to distinguish it from the one on @xmath2 . ] @xmath57 furthermore , @xmath0 depends linearly and continuously on both the source term @xmath58 , and on the initial data @xmath59 , @xmath60 . each solution also enjoys the following support property : @xmath61 where @xmath62 are the causal future and past of @xmath63 respectively . we start with the connected case . since @xmath64 , one can realize by direct inspection that every solution of also solves @xmath65 . yet , in order to use the latter as a starting point to solve maxwell s equations , we need to prove that we can always select suitable initial data for the wave equation so that a solution of the latter yields also one of . to this avail , let us consider @xmath66 where @xmath54 here is the pull - back induced from @xmath47 on the compactly supported sections of the exterior bundle on @xmath2 . in other words @xmath67 and @xmath68 are maps from @xmath18 into @xmath69 such that @xmath70 on account of @xmath2 being isometric to @xmath17 with line element @xmath71 as outlined in section [ notations ] , here @xmath72 is a coordinate patch of @xmath2 adapted to this last metric . it intersects @xmath18 on a non empty open set and it is endowed with a local chart @xmath73 , whereas @xmath74 is the unit normal vector to @xmath18 . hence , the cauchy problem @xmath75 where both @xmath67 and @xmath68 are chosen as in the previously displayed set of two equations , admits a unique solution @xmath76 which , furthermore , on account of ( * ? ? ? * thm.3.2.11 ) , depends linearly and continuously both on the source term and on the initial data @xmath67 , @xmath68 . at the same time it holds @xmath77 where @xmath78 , which , in turn , entails the sought support property . it remains to be shown that the obtained solution @xmath0 of the cauchy problem for the wave equation solves as well . to achieve this , it suffices to show that @xmath0 also satisfies @xmath79 with vanishing initial data . since @xmath80=[\box,\delta]=0 $ ] , the two equations automatically descend from @xmath65 and thus only the initial data have to be checked . it suffices to show it in @xmath81 . from @xmath82 and @xmath83 it follows directly @xmath84 , whereas , from @xmath85 , it descends @xmath86 ; hence @xmath87 . equivalently @xmath88 yields @xmath89 . notice that @xmath90 is a by - product of both @xmath51 and @xmath91 ; thus @xmath92 . the remaining initial condition @xmath93 arises out of @xmath65 , of the properties of @xmath94 $ ] and of the symmetries of the riemannian curvature tensor  see @xcite . hence , on account ( * ? ? ? * cor.3.2.4 ) , this suffices for @xmath4 to hold true on @xmath2 . to conclude , @xmath95 is a result of @xmath4 , @xmath65 and of the conservation of the current @xmath43 . as above this suffices to prove @xmath96 on @xmath2 . to conclude , in order to establish that the solution of , it suffices to suppose that there exists two different solutions , say @xmath0 and @xmath97 . their difference @xmath98 must satisfy @xmath99 and @xmath100 with vanishing initial data on the cauchy surface @xmath18 . this entails that @xmath101 must also satisfy @xmath102 with vanishing inital data on @xmath18 and , according to standard results of the theory of partial differential equations , this holds true only if @xmath103 , hence @xmath104 . if @xmath2 is disconnected with finitely many connected components @xmath105 , @xmath106 , we consider the partition of unity @xmath107 subordinated to @xmath108 such that @xmath109 and @xmath110 for @xmath111 . since @xmath44 is globally hyperbolic , so is @xmath112 , with smooth spacelike cauchy surface @xmath113 ; we obtain , therefore , the initial value problem @xmath114 we solve each of these initial value problems as prescribed in the connected case , therefore obtaining unique solutions @xmath115 . the unique solution @xmath0 is then assembled via the partition of unity , @xmath116 .    as a by - product of this last proposition , we can construct the solutions of maxwell s equations on a globally hyperbolic spacetime starting from the wave equation . if we focus on the source free case , that is @xmath117 , we can generate all solutions of @xmath118 with compactly supported initial data as @xmath119 where @xmath120 and where @xmath121 is the causal propagator @xcite . here @xmath122 are the uniquely defined advanced and retarded green operators such that @xmath123 and @xmath124 , for all @xmath120 . notice that these properties of @xmath125 also entail that every compactly supported smooth solution of @xmath118 must vanish identically . an additional noteworthy property of the causal propagator associated to the laplace - de rham operator originates from its structure and from the fact that @xmath126 intertwines between the codifferential operator @xmath7 acting on @xmath27 and on @xmath127-forms , that is @xmath128 . to wit , at a level of solutions of the corresponding wave equation with smooth and compactly supported initial data , this entails that , if @xmath129 with @xmath120 , then @xmath130 . the very same properties hold with respect to the exterior derivative @xmath6 .    since not all @xmath131 fulfil also the source free maxwell s equations , one needs to impose some further constraints on the set of initial test functions @xmath132 in order to take into account only the two - forms solving . the following proposition amends this deficiency :    a smooth complex @xmath133-form @xmath0 is a solution of with @xmath117 and with compactly supported smooth initial data if and only if there exist @xmath134 and @xmath135 such that @xmath136 . `` @xmath137 '' since @xmath138 and @xmath139 are of compact support and since g commutes with @xmath6 and @xmath7 , it holds that @xmath140 and that @xmath141 . furthermore , on account of the properties of the causal propagator , it is also guaranteed that the initial data of maxwell s equations associated to @xmath142 are smooth , compactly supported and their form fulfils the constraints of . + `` @xmath143 '' since @xmath4 and @xmath5 entail @xmath118 , there must exist @xmath120 such that @xmath119 . furthermore , @xmath144 and @xmath145 entail the existence of @xmath134 and @xmath135 satisfying @xmath146 and @xmath147 . on account of the nilpotency of both @xmath6 and @xmath7 , it holds @xmath148 and @xmath149 which suffices to conclude that @xmath150 , @xmath138 and @xmath139 being compactly supported . the same reasoning entails that the following chain of identities @xmath151 yields @xmath152 , up to an irrelevant sign the sought result . the full control of the classical dynamics of maxwell s equations allows us to address the problem of quantising a field theory with @xmath0 as the main ingredient . as it is customary in the algebraic approach , this is a two - step procedure , the first calling for the identification of a suitable algebra of observables and the second requiring the assignment of a state to represent such an algebra in terms of operators on a suitable hilbert space . in this paper we will focus on the first part of the programme , hence we shall construct the full field algebra and investigate its properties . in the process we will benefit from ideas which first appeared in earlier works @xcite and @xcite ; the sketch of the construction is the following : first we consider a suitable covering of @xmath44 in globally hyperbolic submanifolds @xmath153 , @xmath154 where @xmath155 is a set , which we will specify below . afterwards , we construct the local field algebras @xmath156 of the field strength tensor , whereas the global one is defined as the universal algebra @xmath157 associated to the local algebras @xmath156 . the commutation relations encoded in @xmath157 will turn out to be given by the lichnerowicz s commutator and the algebra itself will have all the properties required to deserve the name  _ global _ " field algebra . one could wonder why it is necessary to go through such an involute construction . there are many conceptual reasons but it is noteworthy that the form of the commutator is in principle only known for spacetimes with certain topological restrictions and thus we need to show that a generalization to a more generic spacetime exists . [ universal algebra ] let @xmath155 be a set and @xmath158 a family of unital @xmath35-algebras together with linking unital @xmath35-homomorphisms @xmath159 where the admissible pairs @xmath160 are a suitable subset of @xmath161 . furthermore the compatibility condition @xmath162 holds true whenever @xmath163 and @xmath164 are defined . then , there exists a unique ( up to @xmath35-isomorphism ) unital @xmath35-algebra @xmath165 together with a family of unital @xmath35-homomorphisms @xmath166 such that the following universal property holds true :    ( uva ) : :    for each unital @xmath35-algebra @xmath60 and for each    family @xmath167 of unital    @xmath35-homomorphisms such that    @xmath168 whenever    @xmath164 exists , there exists a unique unital    @xmath35-homomorphism @xmath169    which satisfies @xmath170 for all    @xmath154 . the pair @xmath171 is called the * universal algebra * of @xmath172 .    to begin with , we regard the unital @xmath35-algebras @xmath173 , @xmath154 , as complex vector spaces and construct the associative tensor algebra @xmath174 of their direct sum . with componentwise addition , componentwise multiplication with a scalar , componentwise antilinear involution @xmath35 and multiplication induced by the algebraic tensor product @xmath175 , @xmath174 becomes a unital @xmath35-algebra . next , we consider the two - sided @xmath35-ideal @xmath176 generated by those elements of the form @xmath177 @xmath178 and for all given @xmath164 . @xmath179 denotes the vector in @xmath180 for which every entry is zero except the @xmath58-th one which is precisely @xmath181 . we denote the equivalence class of an element @xmath182 with respect to that quotient by @xmath183 $ ] . now , define @xmath184 and for @xmath185 @xmath186 . \end{aligned}\ ] ] @xmath165 defined in this way is a unital @xmath35-algebra and , per direct inspection , @xmath187 turns out to be a well - defined unital @xmath35-homomorphism for all @xmath154 . the pair @xmath171 satisfies the universal property . to wit , let @xmath60 be any arbitrary unital @xmath35-algebra and @xmath167 a family of unital @xmath35-homomorphisms such that @xmath168 , whenever @xmath164 exists . since any element @xmath183\in a_u$ ] can be written as @xmath188=\underset{n\in\mathbb{n}}{\sum}t_n^{k_1\dots k_n}\underset{l=1}{\overset{n}{\prod}}\underset{j\in i}{\sum}\big[0_\mathbb{c},(a_{k_l}^i)^j_{i\in i } , 0_{(\bigoplus_{i\in i}a_i)^{\otimes 2}},\dots\big],\end{aligned}\ ] ] @xmath189 , by the structure of @xmath174 , a unital @xmath35-homomorphism @xmath169 such that @xmath170 for all @xmath154 is uniquely fixed by @xmath190)=\underset{n\in\mathbb{n}}{\sum}t_n^{k_1\dots k_n}\underset{l=1}{\overset{n}{\prod}}\underset{j\in i}{\sum}\phi_j(a^j_{k_l}).\end{aligned}\ ] ] this shows the existence of the universal algebra . let @xmath191 be another pair consisting of a unital @xmath35-algebra and unital @xmath35-homomorphisms having the universal property ( uva ) . thus we have a unique unital @xmath35-homomorphism @xmath192 fulfilling @xmath193 for all @xmath154 . according to ( uva ) , @xmath194 is the unique unital @xmath35-homomorphism such that @xmath195 for all @xmath154 . @xmath196 and @xmath197 for all @xmath154 . however , since @xmath171 has the universal property , thus the unital @xmath35-homomorphism @xmath198 is unique , and @xmath199 satisfies @xmath200 for all @xmath154 as well , necessarily it holds that @xmath201 . @xmath202 and @xmath203 for all @xmath154 . in the same manner , since @xmath191 has the universal property , the unital @xmath35-homomorphism @xmath204 is unique and @xmath205 satisfies @xmath206 for all @xmath154 , @xmath207 . thereby @xmath165 and @xmath60 are isomorphic via a unital @xmath35-isomorphism . let us recall that every connected component @xmath208 , @xmath209 for an @xmath106 , of an oriented 4-dimensional globally hyperbolic spacetime @xmath46 with at most finitely many connected components will turn into a connected , oriented , 4-dimensional , globally hyperbolic , embedded subspacetime , if endowed with the structures induced by @xmath46 . consequently any of these @xmath208 can be foliated up to isometries as @xmath210 . here @xmath211 being a smooth spacelike cauchy surface endowed with the natural structures inherited from @xmath212 , @xmath213 is a smooth spacelike cauchy surface of @xmath46 . therefore each @xmath214 lies precisely in one connected component @xmath208 and at least on one of such surfaces , which we denote by @xmath215 , and we can always construct an open subset @xmath216 that is either contractible or disconnected with finitely many contractible connected components . the net advantage is that its associated cauchy development @xmath217 is in turn a contractible open subset or a disconnected open subset of @xmath2 with finitely many contractible connected components that will become an oriented , 4-dimensional , globally hyperbolic , embedded subspacetime , if equipped with the structures induced by @xmath46 . since this procedure can be repeated for all points of the manifold , we can always cover @xmath2 with contractible open subsets and disconnected open subsets with finitely many contractible connected components such that these open subsets will become oriented , 4-dimensional , globally hyperbolic , embedded subspacetimes , if endowed with the structures induced by @xmath46 . but not any such cover will do the trick . we need a very specific cover , namely @xmath218 that of all contractible open subsets of @xmath2 and all disconnected open subsets of @xmath2 with finitely many contractible connected components such that @xmath219 becomes an oriented , 4-dimensional , globally hyperbolic , embedded subspacetime for all @xmath154 , if endowed with the structures induced by @xmath46 and such that in addition the image of the inclusion @xmath220 is causally convex . the endpoint are oriented 4-dimensional globally hyperbolic spacetimes with at most finitely many contractible connected components , which we denote as @xmath153 , @xmath154 . @xmath155 is actually a set because this cover @xmath221 is contained in the power set of @xmath2 .      for each @xmath154 , we associate to the oriented 4-dimensional globally hyperbolic spacetime @xmath153 with at most finitely many contractible connected components the local field algebra @xmath156 of @xmath0 . notice that , since @xmath219 has at most finitely many contractible connected components contractible , the first equation in entails via poincar lemma that @xmath10 where @xmath222 . also , there is no ambiguity in constructing the field algebra for a disconnected spacetime with finitely many contractible connected components in the same manner as it is done in the connected contractible case . [ fieldal ] we call the field algebra of the field strength tensor on an oriented 4-dimensional globally hyperbolic spacetime @xmath44 with at most finitely many contractible connected components , @xmath223 , the unital @xmath35-algebra generated by the elements @xmath224 with @xmath225 together with the defining relations @xmath226=i\,(\int_m g\delta\omega\wedge*\delta\omega')\,1_{\mathfrak{f}(m)},\enspace\forall\omega , \omega'\in\omega^2_0(m , \mathbb{c}),\\ \end{array}\ ] ] where @xmath227 is the causal propagator associated to the @xmath228-operator and @xmath229 is the identity element of the algebra . the @xmath35-operation is the complex conjugation . we remark that , in the above definition , the first two conditions entail the fulfillment of the equations of motion and the equalities are meant in a distributional sense , _ i.e. _ , @xmath230 and similarly for _ eom 2)_. the form of the commutator descends from earlier analyses , see in particular @xcite . notice also that isotony is automatically implemented , that is , for given @xmath231 and @xmath232 with @xmath233 and @xmath234 , then @xmath235 . in other words there always exists an injective unital @xmath35-homomorphism of algebras @xmath236 , realised by @xmath237 with the help of the inclusion @xmath238 and subject to the additional compatibility condition @xmath239 , whenever we consider three oriented 4-dimensional globally hyperbolic spacetimes with at most finitely many contractible connected components such that @xmath240 . consequently , we obtain a family @xmath241 of unital @xmath35-algebras together with linking unital @xmath35-homomorphisms @xmath242 for @xmath243 that meet the compatibility condition @xmath162 whenever @xmath244 .      since the system of unital @xmath35-algebras together with the unital @xmath35-homomorphisms as specified before satisfies the conditions of theorem [ universal algebra ] , its application yields the universal algebra @xmath245 . we define the global field algebra of the field strength tensor of an arbitrary oriented 4-dimensional globally hyperbolic spacetime @xmath44 with at most finitely many connected components to be the unital @xmath35-algebra @xmath157 . its properties are clarified in the following statements :    @xmath157 satisfies the local compatibility condition @xmath246 whenever @xmath225 such that @xmath247 . since @xmath44 is globally hyperbolic , its standard topology coincides with the alexandrov one , i.e. that which has the diamonds @xmath248 as its basis . as a result of that , there exists for every point @xmath249 a contractible diamond @xmath250 containing @xmath251 and @xmath252 , in particular @xmath253 . with the structures induced by @xmath44 these diamonds @xmath250 become 4-dimensional oriented globally hyperbolic embedded subspacetimes and therefore belong to our chosen cover @xmath218 . let @xmath254 be a partition of unity subordinated to that open cover @xmath255 . since a partition of unity is locally finite , all appearing sums are actually finite and we can compute @xmath256 which is the sought result .    [ universal algebra properties ] in @xmath223 , we can define _ global _ smeared field strength operators @xmath257 for all @xmath225 such that    1 . @xmath223 is generated by the global smeared field strength operators @xmath257 , @xmath120 , 2 . @xmath258 fulfils maxwell s equations in a weak sense , i.e. eom 1 ) @xmath259 for all @xmath260 and eom 2 ) @xmath261 for all @xmath262 , 3 . @xmath263 for all @xmath264 , for all @xmath265 ( linearity ) , 4 . @xmath266 for all @xmath120 ( hermicity ) . furthermore , @xmath223 obeys the principle of locality , i.e. @xmath267=0 $ ] for all @xmath268 that are spacelike separated . choose any partition of unity @xmath269 subordinated to the cover @xmath218 and define @xmath270 first of all , the sum is finite because the partition of unity is locally finite and @xmath132 is of compact support . secondly , this definition does not depend on the chosen partition of unity for let @xmath271 be another partition of unity , then @xmath272 where we applied the local compatibility of @xmath223 , i.e. the foregoing lemma . note , that this implies another local compatibility property for @xmath223 , namely let @xmath225 be completely contained in one @xmath273 for a @xmath185 , i.e. @xmath274 , then @xmath275 linearity , hermicity and maxwell s equations in a weak sense follow from this definition and from their implementation at a level of local field algebras @xmath156 , @xmath154 . to show locality , we start with a slightly simpler statement . let @xmath225 and @xmath276 be spacelike separated and @xmath277 for a @xmath154 and @xmath278 for a @xmath185 such that @xmath219 and @xmath273 are spacelike separated , i.e. @xmath279 . @xmath280 can be regarded as an oriented , 4-dimensional , globally hyperbolic , embedded submanifold of @xmath44 with finitely many contractible connected components . hence , we have an injective unital @xmath35-homomorphism @xmath281 for @xmath282 . we find that @xmath283&=\big[\alpha_{i\sqcup j}\big(\widehat{\textbf{f}}_{i\sqcup j}(\iota^*_{i\sqcup j}\omega)\big ) , \alpha_{i\sqcup j}\big(\widehat{\textbf{f}}_{i\sqcup j}(\iota^*_{i\sqcup j}\omega')\big)\big]\\ & = \alpha_{i\sqcup j}\big[\widehat{\textbf{f}}_{i\sqcup j}(\iota^*_{i\sqcup j}\omega ) , \widehat{\textbf{f}}_{i\sqcup j}(\iota^*_{i\sqcup j}\omega')\big]\\ & = \alpha_{i\sqcup j}\big(i\int_{m_i\sqcup m_j}g\delta\iota_{i\sqcup j}^*\omega\wedge*\delta\iota_{i\sqcup j}^*\omega'\enspace1_{\mathfrak{f}(m_i\sqcup m_j)}\big)\\ & = 0\end{aligned}\ ] ] because @xmath132 and @xmath284 are spacelike separated and , therefore , so are @xmath285 and @xmath286 . now , let @xmath268 be spacelike separated without further restrictions or assumptions . since the topology of @xmath44 coincides with the alexandrov one and since @xmath132 and @xmath284 being spacelike separated implies @xmath287 in particular , we can cover @xmath288 with diamonds @xmath250 , @xmath289 , and @xmath290 with diamonds @xmath291 , @xmath292 in such a way that @xmath293 for all pairs @xmath294 ( smooth manifolds are @xmath295 ) . these diamonds will turn into contractible 4-dimensional oriented globally hyperbolic spacetimes if we endow them with the structures induced by @xmath44 . let @xmath296 be a partition of unity subordinated to @xmath297 and @xmath298 be a partition of unity subordinated to @xmath299 respectively . on account of the previous results , it holds @xmath283&=\big[\widehat{\textbf{f}}_u(\underset{x}{\sum}\psi^x\omega ) , \widehat{\textbf{f}}_u(\underset{y}{\sum}\varphi^y\omega')\big]=\big[\widehat{\textbf{f}}_u(\underset{x}{\sum}\omega^x ) , \widehat{\textbf{f}}_u(\underset{y}{\sum}\omega'^y)\big]\\ & = \underset{x , y}{\sum}\big[\widehat{\textbf{f}}_u(\omega^x ) , \widehat{\textbf{f}}_u(\omega'^y)\big]\\ & = 0,\end{aligned}\ ] ] since @xmath300 are pairwise spacelike separated and @xmath301 and @xmath302 . note that the sums are finite because the partition of unity is locally finite . the proof of @xmath157 obeying the principle of locality makes it clear why we wanted to consider disconnected spacetimes with finitely many connected contractible components in the first place . what remains to be shown is our claim that the commutator in @xmath157 is given by the lichnerowicz commutator :    [ propagator ] the commutator between two algebra elements in @xmath157 is provided by the so - called lichnerowicz commutator @xcite @xmath303=i\,(\int_mg\delta\omega\wedge*\delta\omega')\,1_{\mathfrak{f}_u(m)}\enspace\forall\omega,\omega'\in\omega^2_0(m , \mathbb{c}),\end{aligned}\ ] ] where @xmath304 is the identity element of the universal algebra and @xmath227 the causal propagator of the @xmath228-operator . we sketch here the main steps of the proof pointing an interested reader to @xcite for the details of some lengthy albeit straightforward computations . choose a cauchy surface @xmath305 in the future of @xmath306 and @xmath307 and consider the compact set @xmath308 . cover @xmath309 with finitely many contractible open subsets @xmath310 , @xmath311 of @xmath305 whose cauchy developments will be called @xmath312 . without loss of generality , all @xmath312 belong to the chosen cover of @xmath2 . let @xmath313 be a finite refinement of @xmath310 such that @xmath314 such a refinement exists , because , whenever ( [ refinement ] ) is not fulfilled by two sets @xmath313 and @xmath315 , we can replace them with finitely many other sets satisfying such condition and all other constraints of our construction . construct the cauchy developments @xmath316 of each set @xmath313 in the refinement ; automatically it holds that there exists @xmath317 , such that @xmath318 . if @xmath319 then @xmath316 and @xmath320 are spacelike separated . if instead @xmath321 then there exists an @xmath317 such that @xmath322 . since there exist finitely many sets @xmath316 , we can always find a spacelike cauchy surface @xmath323 in the future of @xmath305 and a spacelike cauchy surface @xmath324 in the past such that @xmath325 , @xmath326 , @xmath327 and @xmath328 are all contained in @xmath329 . now , let @xmath330 be chosen in such a way that @xmath331 and @xmath332 is identically @xmath333 in @xmath334 and @xmath335 in @xmath336 . consider @xmath337 and @xmath338 . on account of the construction and of the properties of @xmath339 , @xmath340 , @xmath341 and @xmath342 are compactly supported and their supports lie in @xmath343 . choose a partition of unity @xmath344 belonging to @xmath345 . on account of the properties eom 1 ) and eom 2 ) , @xmath346 and @xmath347 . hence @xmath348=\sum_{k , k'}\big[\widehat{\bf{f}}(\psi_k\tilde{\omega } ) , \widehat{\bf{f}}(\psi_{k'}\tilde{\omega}')\big]=\sum_{k\sim k'}\big[\widehat{\bf{f}}(\psi_k\tilde{\omega } ) , \widehat{\bf{f}}(\psi_{k'}\tilde{\omega}')\big],\ ] ] where @xmath349 means that we consider only the pairs @xmath350 such that @xmath351 and where in the last equality we used that spacelike separated observables do commute . hence @xmath352 = \sum_{k\sim k'}i\,\left(\int_mg\delta(\psi_k\tilde{\omega})\wedge*\delta(\psi_{k'}\tilde{\omega}')\right)\,1_{\mathfrak{f}_u(m)}=\\ = \sum_{k , k'}i\,\left(\int_mg\delta(\psi_k\tilde{\omega})\wedge*\delta(\psi_{k'}\tilde{\omega}')\right)\,1_{\mathfrak{f}_u(m ) } = i\,\left(\int_mg\delta\tilde{\omega}\wedge*\delta\tilde{\omega}'\right)\,1_{\mathfrak{f}_u(m)}\end{aligned}\ ] ] @xmath353 where , in the second equality we consider all possible values for @xmath354 and @xmath355 since the additional ones contribute @xmath335 to the integral . notice that in the various identities we used the fact that all test functions are compactly supported , that @xmath227 commutes with both @xmath6 and @xmath7 and that all sums are over a finite set of indices . we have shown that @xmath157 enjoys all the properties wanted by a genuine algebra of observables ; hence we can start investigating its additional features . to start with ,    [ time slice axiom ] the universal algebra @xmath157 satisfies the time slice axiom , that is , if @xmath18 is a cauchy surface of @xmath46 and @xmath356 a globally hyperbolic subset of @xmath2 containing @xmath18 , it holds that @xmath357 . let @xmath358 be an open neighbourhood of @xmath18 . it is sufficient to show that for every @xmath120 there exists a @xmath276 with @xmath359 such that @xmath360 . since @xmath358 is an open neighbourhood of @xmath18 and @xmath361 is compact , there exist cauchy surfaces @xmath362 and @xmath363 respectively in the future and in the past of @xmath18 such that @xmath364 and @xmath365 . let @xmath366 lie in @xmath367 and let us fix them in such a way that @xmath368 and that @xmath332 vanishes in the past of @xmath363 , whereas it is equal to @xmath333 in the future of @xmath362 . then , if we define @xmath369 it holds that @xmath359 is compact due to the properties of @xmath370 and @xmath371 . furthermore , from the conditions eom 1 ) and eom 2 ) on @xmath157 , it follows that @xmath360 .      the aim of this subsection is to investigate a distinguishing aspect of the universal algebra , namely the appearance of new features which have no counterpart in the local algebras , above dubbed as @xmath372 . from a technical point of view , this translates in the existence of a non trivial centre in @xmath157 , that is there exists a non trivial subalgebra whose elements are commuting with all those of the universal algebra . yet we want to stress that this happens only if the topology of the underlying background is rather peculiar , namely if @xmath373 . if , on the contrary , the second de rham cohomology group is trivial , then the equation @xmath4 in entails the existence of a global one - form @xmath1 such that @xmath10 . in this case the field algebra of the field strength tensor could be globally defined as the differential of that of the vector potential and no non - trivial centre would appear . therefore , we will henceforth assume that @xmath373 and , with the next lemma , we show how to characterize the elements of the centre of @xmath157 .    [ centre ] an algebra element @xmath374 lies in the centre of @xmath157 if and only if @xmath375 with @xmath376 and @xmath377 . @xmath374 is in the centre of @xmath157 if and only if @xmath378=\int_m\delta g\omega\wedge*\delta\omega'=\int_md\delta g\omega\wedge*\omega'=0 $ ] for all @xmath276 . since @xmath69 comes endowed with the non - degenerate scalar product @xmath379 , then the commutator between @xmath374 and @xmath380 vanishes if and only if @xmath381 . in turn , this last equality holds if and only if @xmath382 and @xmath383 , @xmath384 . we can exploit the properties of the green s functions to conclude that the following chains of identities hold @xmath385 and equivalently @xmath386 . furthermore , it holds true that @xmath387 . notice that the proposition guarantees that the centre is trivial if and only if @xmath388 since , in this case , the closedness of @xmath138 and the coclosedness of @xmath139 would guarantee the existence of @xmath389 and of @xmath390 such that @xmath391 . under this assumption , on account of @xmath392 and of @xmath393 for @xmath157 , the field strength operator vanishes . in order to better understand this feature , it is worth to construct explicitly non trivial elements of the centre whenever @xmath394 , the latter bound being assumed only for the sake of simplicity . notice that in the forthcoming analysis we will work with real forms , thus dropping the reference to @xmath30 ; this does not clash with the previous results and it is assumed still only for the sake of simplicity . out of the non - degenerateness of the scalar product on @xmath45 , @xmath2 being four dimensional , and out of poincar duality , ( * ? ? ? 1 ) , the following chain of isomorphisms holds true : @xmath395 where the subscript @xmath396 here stands for compact support . notice that , in the first and in the third isomorphism , the hypothesis of @xmath45 being finite dimensional plays a key role . to wit both @xmath45 and @xmath397 are finite - dimensional vector spaces and hence isomorphic to their dual . consequently every element @xmath398 of @xmath399 can be represented as @xmath400\longmapsto \lambda([f])=\int_m f\wedge\eta.\end{aligned}\ ] ] notice that the symbol @xmath401 $ ] to indicate an equivalence class in @xmath45 has been chosen for a notational reason which will be manifest in the forthcoming discussion . furthermore , on the right hand side , @xmath0 is an arbitrary representative of @xmath401 $ ] as well as @xmath402 is an arbitrary representative of a unique equivalence class @xmath403\in h^2_c(m)$ ] . by direct inspection , one can realize that the integral does not depend on the various choices . since every @xmath404\in h^\infty_2(m)$ ] defines a linear map @xmath405 , there exists a unique @xmath406\in h^2_c(m)$ ] such that @xmath407\in h^2(m ) \end{aligned}\ ] ] where all formulas are independent from the choice of a representative in the various equivalence classes . we can interpret the above remarks as follows : on account of the hypothesis @xmath373 , there exists at least an equivalence class of non - exact field strength tensor @xmath401 $ ] . as a result of that , there exists @xmath404\in h^\infty_2(m)$ ] and @xmath406\in h^2_c(m)$ ] fulfilling regardless of the chosen representative @xmath408 hence we have constructed a classical field strength @xmath0 whose associated algebra element @xmath409 is a non - trivial element of the centre which can be interpreted as the magnetic flux through the 2-cycle @xmath410 . the very same discussion holds true also for @xmath411 in place of @xmath411 because of @xmath412 for all @xmath401\in h^2(m)$ ] . from a physical point of view @xmath413 can be interpreted as the electric flux through @xmath410 . we would like to draw the attention to the fact that these non - trivial elements of the algebra give rise to superselection sectors as discussed in @xcite .      as the very last point of our investigation on the algebra of observables for the free maxwell field , we address the question whether it defines a local covariant quantum field theory as per definition 2.1 in @xcite . in this section we shall use both the terminology and the nomenclature of this last cited paper ; we refer to it for an extensive analysis and here we recollect instead just the definition of the main ingredients we need :    * @xmath414 : the category whose objects are @xmath44 , that is four dimensional oriented and time oriented globally hyperbolic spacetimes with at most finitely many connected components , endowed with a smooth metric of signature @xmath14 . a morphism between two objects @xmath44 and @xmath415 is a smooth embedding @xmath416 such that @xmath417 is causally convex of a globally hyperbolic spacetime is called _ causally convex _ if @xmath418 all causal curves connecting @xmath251 to @xmath419 lie entirely inside @xmath356 . ] , preserves orientation and time orientation and @xmath420 on @xmath2 . * @xmath421 : the subcategory of @xmath414 whose objects are those @xmath422 and @xmath423 . a morphism between two objects @xmath44 and @xmath415 is a smooth embedding @xmath416 such that @xmath417 is causally convex , preserves orientation and time orientation and @xmath420 on @xmath2 . notice that , since @xmath417 is diffeomorphic to @xmath2 , its cohomology groups are isomorphic to those of @xmath2  ( * ? ? ? * @xmath424 : the category whose objects are unital @xmath35-algebras whereas morphisms are injective unit - preserving @xmath35-homomorphisms .    since the composition map between morphisms and the existence of an identity map are straightforwardly defined in every case we shall consider , we will omit them . we shall start proving a weaker form of general local covariance , where the class of spacetimes we consider is not the most general one . we wish to postpone the explanation for this choice to after the proof of the following proposition since we feel that reading it will make our point clearer than an abstract a priori argument . there exists a covariant function @xmath425 which assigns to every object @xmath44 in @xmath421 the @xmath35-algebra @xmath157 with the induced action on the morphisms . in diagrammatic form : @xmath426 here @xmath427 is the unit - preserving @xmath35-homomorphism defined by its action on the generators as @xmath428 where @xmath429 is the pull - back of @xmath132 via @xmath430 . furthermore , such local covariant quantum field theory is causal and it fulfils the time slice axiom .    as discussed at the beginning of the session , we can associate to each @xmath422 the universal algebra along the lines of the previous section . hence , if we consider any morphism @xmath431 between two objects @xmath44 and @xmath415 , we can consider @xmath432 as a globally hyperbolic spacetime on its own . since @xmath431 is an isometry , it means that any covering of @xmath2 via globally hyperbolic contractible subsets @xmath219 , @xmath311 induces a cover of @xmath417 via @xmath433 . it is easy to realize that @xmath434 where @xmath427 acts on each generator @xmath224 , @xmath435 yielding @xmath436 . notice that , since @xmath6 is independent from the metric and @xmath7 is constructed out of @xmath6 and of the hodge dual @xmath35 , they both commute with isometries . hence @xmath437 and @xmath438 . this also suffices to claim that , if we call @xmath439 the causal propagator of the @xmath228-operator on @xmath417 , it holds that @xmath440 . hence we can consider the commutator between two generators to prove @xmath441=i\int_{\mu(m)}\!\!g_\mu(\mu_*\omega)\wedge * d\delta(\mu_*\omega')=\\ i\int_{\mu(m)}\!\!\mu_*(g\omega)\wedge \mu_*(*d\delta\omega')=\int_{\mu(m)}\!\!\mu_*(g\omega\wedge * d\delta\omega')=\\ = i\int_m g\omega\wedge * d\delta\omega'=\left[\widehat{\bf f}(\omega),\widehat{\bf f}(\omega')\right].\end{gathered}\ ] ] since complex conjugation is not affected by isometric embeddings , we have proven that @xmath442 actually defines a unit preserving @xmath35-homomorphism between @xmath372 and @xmath443 . we can now without loss of generality assume that the collection of @xmath433 is part of a covering of @xmath12 with globally hyperbolic contractible spacetimes . on account of the structural properties of the universal algebra and of the absence of a centre in both @xmath157 and @xmath444 this entails that @xmath427 is indeed an injective @xmath35-homomorphism . furthermore on account of the commutator being defined out of the causal propagator , the theory is causal and the time - slice axiom is fulfilled as already proven in lemma [ time slice axiom ] .    we need to answer why one is forced to restrict the attention to backgrounds with trivial second de rham cohomology group . as one can realize from the above proof , if we would have considered @xmath414 , one would have to consider the homomorphism induced by the embedding @xmath431 from @xmath2 into @xmath12 . since @xmath2 is diffeomorphic to @xmath417 , it is known that these two spacetimes have isomorphic cohomology groups , but we have to go one step further and see @xmath417 as an open subset of @xmath12 . here is the source of potential problems since , even if @xmath373 , there is no reason why @xmath445 should be isomorphic to @xmath45 ; actually it can also be trivial . we provide an explicit example : let us consider the ultrastatic globally hyperbolic spacetime @xmath446 endowed with the line element @xmath447 where @xmath448 is the canonical metric of the unit @xmath133-sphere . by knneth formula  ,  5 ) , @xmath449 which is non trivial since @xmath450 . let us now consider as @xmath12 , the ultrastatic spacetime @xmath451 whose metric coincides in a local chart to @xmath452 . it is manifest that @xmath2 is isometrically embedded in @xmath12 , but still knneth formula entails that @xmath453 . since @xmath29 is contractible , only @xmath454 contributes and therefore the second cohomology group of @xmath451 is trivial . let us now consider in the framework outlined above @xmath455 , then @xmath224 lies in the centre of @xmath157 thanks to proposition [ centre ] . under the isometric embedding @xmath456 , one obtains @xmath457 . yet , since @xmath442 commutes with @xmath7 , @xmath429 is coclosed and since @xmath445 is trivial , there exists @xmath458 such that @xmath459 . this entails that @xmath460 on account of maxwell s equation . barring a minor generalization , this entails that every element of the centre of @xmath157 is mapped into ( the equivalence class of ) @xmath335 in @xmath444 . this is tantamount to claim that @xmath427 can not be an injective @xmath35-homomorphism , injectivity failing to be achieved . in this paper we have developed a full - fledged quantization scheme for the field strength tensor obeying maxwell s equations . since we wanted to keep the discussion as general as possible we have neither used the vector potential as an auxiliary tool nor we have assumed the compactness of the cauchy surface of the underlying globally hyperbolic spacetime @xmath2 . this forced us to use two - forms @xmath0 obeying as the building block of the theory ; we have shown in particular that it still possible to construct a field algebra whose generators obey the commutation relations provided by the lichnerowicz propagator . yet we have also proven that the overall procedure does not fit in the scheme of general local covariance as developed in @xcite since there exist spacetimes @xmath2 with @xmath461 . in this case the universal algebra @xmath157 possesses a non trivial centre whose elements have been fully characterized in proposition [ centre ] . nonetheless it is possible to conceive that @xmath2 is isometrically embedded in a second globally hyperbolic spacetime @xmath12 which has a trivial second de rham cohomology group and thus the associated field algebra has a trivial centre . this translates in the failure of the homomorphism from @xmath157 into @xmath444 from being injective and thus the embedding translates in a loss of a qualitative feature of the field algebra of @xmath2 when seen from @xmath12 , such as the presence of superselection sectors as first discussed in @xcite . as we have proven in the previous section , a potential way out is to restrict the class of spacetimes we consider and general local covariance is restored as soon as we assume to work only with backgrounds with vanishing second de rham cohomology group . yet it is fair to admit that the situation is rather puzzling : on the one hand the proposed solution would discard spacetimes , such as schwarzschild , which are certainly of physical relevance , while on the other hand the requirement that @xmath388 vanishes entails that all field strength tensors would descend from a vector potential . this feature is certainly desirable as soon as we want to move from a free field theory to an interacting one such as quantum electrodynamics where the spinor fields are known to interact via @xmath9 rather than via the faraday tensor . yet we feel it is still early to claim we have a total loss : as a matter of fact , if we focus on any equivalence class @xmath401\in h^2(m)$ ] , we are considering all elements of the form @xmath462 where @xmath9 while @xmath3 . in other words each non trivial cohomology class is composed of two parts . the first , is responsible for qualitative features such as global topological charges or , from the quantum perspective , for the identification of a specific superselection section and , hence , it is strictly tied to the specific chosen spacetime . the second is instead tied to a @xmath333-form , a sort of vector potential , and it is well - suited both to discuss interactions and to apply the principle of general local covariance . although we are aware that this is simply a remark which does not necessarily solve all problems we have at hand , we still feel it is a starting point for further investigations which is worth to consider in detail . the work of c.d . is supported partly by the university of pavia and by the indam - gnfm project `` stati quantistici di hadamard e radiazione di hawking da buchi neri rotanti '' . we gratefully acknowledge the kind hospitality of the ii . institute fr theoretische physik of the university of hamburg during the realization of part of this work . we are also indebted for enlightening discussions and comments with klaus fredenhagen , thomas - paul hack , valter moretti , nicola pinamonti , jan schlemmer as well as with the whole lqp research group in hamburg . we are grateful to andrey saveliev for drawing the picture present in the main body of the text . the content and result of this paper are partly inspired to those present in the diploma thesis of b.l . the details of the construction of the universal algebra were worked out in york and we would like to thank chris fewster for numerous discussions , in particular for his suggestion to consider disconnected spacetimes as well in order to realise that the universal algebra obeys the principle of locality .
Abstract:

Answer: we develop a quantisation scheme for maxwell s equations without source on an oriented 4-dimensional globally hyperbolic spacetime with at most finitely many connected components . the field strength tensor is the key dynamical object and it is not assumed a priori that it descends from a vector potential . it is shown that , in general , the associated field algebra can contain a non trivial centre and , on account of this , such a theory can not be described within the framework of general local covariance unless further restrictive assumptions on the topology of the spacetime are made .