#### Abstract

In a spacetime divided into two regions and by a hypersurface , a perturbation of the field in is coupled to perturbations in by means of the holographic imprint that it leaves on . The linearized gluing field equation constrains perturbations on the two sides of a dividing hypersurface, and this linear operator may have a nontrivial null space. A nontrivial perturbation of the field leaving a holographic imprint on a dividing hypersurface which does not affect perturbations on the other side should be considered physically irrelevant. This consideration, together with a locality requirement, leads to the notion of gauge equivalence in Lagrangian field theory over confined spacetime domains. Physical observables in a spacetime domain can be calculated integrating (possibly nonlocal) gauge invariant conserved currents on hypersurfaces such that . The set of observables of this type is sufficient to distinguish gauge inequivalent solutions. The integral of a conserved current on a hypersurface is sensitive only to its homology class , and if is homeomorphic to a four ball the homology class is determined by its boundary . We will see that a result of Anderson and Torre implies that for a class of theories including vacuum general relativity all local observables are holographic in the sense that they can be written as integrals of over the two-dimensional surface . However, nonholographic observables are needed to distinguish between gauge inequivalent solutions.

#### 1. Context

Motivated by the development of black hole thermodynamics [1, 2], more than two decades ago pioneers of modern physics put forward a holographic principle that sparked immense interest in the community [3, 4]. More recently, motivations from string theory lead to the discovery of the gauge/gravity correspondence [5] providing an avenue for defining new quantum gravity theories. Interestingly, quantum information has been found to play an important role in the gauge/gravity correspondence [6–9].

Despite its motivation, this article does not contribute by elongating the promising road towards quantum gravity emerging from the gauge/gravity correspondence, and our work is classical in substance.

A recurrent theme in this study is that a hypersurface locally splits spacetime into two regions and can be thought of as the communication channel between them.

Spacetime localized properties of the field will be of our interest. Since measuring devices live in spacetime as well, measurement will be understood as the interaction between the system of interest (a certain field) and the measuring device (a field or a detector modeled otherwise). Think for example of a beam interacting with a screen for a short period of time; a spacetime description of the situation takes place in a bounded spacetime domain where part of its boundary is the world history of the screen. In this situation, our point of view will be that measurement did not take place inside a spacetime region where the field lives but at a boundary where it interacts with another system. We will focus on the idea that measurement requires a division of a system into two subsystems, the system of interest, and the reference system with respect to which we measure. A division of the field into two subsystems is achieved by considering a bounded spacetime region and considering the field inside as the system of interest and the field outside the region as the reference with respect to which we measure. The system of interest interacts with the reference system though the boundary of the region . We will exhibit observables for pure gravity defined on spacetime domains with boundary defined by considering the field at , together with its partial derivatives, as a reference system.

From this point of view, there could be field configurations in which are different, but which cannot be distinguished by the reference system, which for us is the field outside of (or the field together with enough partial derivatives at ).

We will also play with the idea of having the ability of separating a system into subsystems in arbitrary ways as indicated by splitting a spacetime region into subregions like (which means that the union of the subregions is and the intersection is the hypersurface ). We will study the gluing conditions that the field and its perturbations satisfy at hypersurfaces serving as communication channel between subsystems.

From the study of how perturbations propagate through communicating hypersurfaces a condition for gauge equivalence naturally arises. We complement it with requirements of locality and relativity of measurement to give rise to a notion of gauge vector fields which is suited to work on spacetime confined domains. This notion of gauge becomes a cornerstone for the version of Lagrangian field theory presented in this work and for the study of observables and holography given in the rest of the article.

A close relative to our proposal is the discovery of holographic behavior in gauge theories confined to bounded domains; more precisely, that the presence of boundaries in gauge theories leads to “would be gauge degrees of freedom” living at the boundary [10, 11] showing that entanglement entropy, gauge, and locality are interestingly intertwined [12, 13].

Our interest on communicating hypersurfaces and on measurement makes it natural to consider observables modeled by the integration of currents on hypersurfaces. We want to consider the data at as characterizing a solution (at least partially) in a neighborhood of and we want the function to depend on the solution being as independent of as possible. This is our reason for considering conserved currents. Additionally since our intention is to model measurement, we should consider gauge invariant conserved currents. In the paper we show that observables calculated integrating this type of currents are capable of distinguishing gauge inequivalent solutions.

In bounded spacetime domains with the topology of a ball observables calculated integrating conserved currents do not depend on more details of the integrating hypersurface than its boundary, . The hypersurface can be deformed within keeping its boundary fixed and the evaluation of the observable would not change. On the other hand, the field inside is completely determined by the field (together with enough of its partial derivatives) in . Generic observables in bounded spacetime domains can be thought of as complicated functionals of the field in .

It is natural to wonder about observables calculated from conserved currents which depend only on the field at the codimension two surface . We study this type of holographic observables in detail.

Before we finish setting up the context of this study, we have to give a pair of remarks. The first one regards the causal structure. General relativity is one of the theories that we intend to cover in our study, and it sets spacetime geometry as a dynamical field interacting with matter fields. Since causal structure follows from spacetime geometry, at the initial stage of our setting we consider a spacetime without a prefixed causal structure which could let us talk about spacelike surfaces or Cauchy surfaces for example. Once we have a metric, or a class of metrics, we can refer to a causal structure. The previous remark gives us the opportunity to mention that we will consider observables which are not defined for all field configurations (or for all solutions). Important observables will need a specific physical context to be defined, and this context may only be consistent in a domain of definition consisting of a certain class of fields. A mathematical side to the same issue could be that the expressions defining a given observable may be well defined only in a certain domain.

The second remark is about the term “local”. In this introductory section we already mentioned “spacetime localized” properties of the field; it refers to properties of the field inside a bounded spacetime region . This term will not appear often and if it does its meaning should be clear. We also mentioned a principle of “locality of measurement” when we were talking about our notion of gauge equivalence. We will see later that this refers to being able to calculate a physical observable as a sum of “local contributions” where each of them is gauge invariant in the appropriate context. In the next section we will talk about “local functionals” of the field. This term will appear often and it refers to functionals depending on the field and finitely many of its partial derivatives. But the terminology needs to be more specific. A physical observable is called “spacetime local” if it is calculated integrating a density which depends on finitely many partial derivatives of the field. A physical observable calculated integrating a current is said to be “hypersurface local” if the current depends on finitely many partial derivatives of the field. Consider a field theory which admits a formulation in terms of initial data. Call the map sending initial data to solutions. We can use the pull-back map to transform spacetime covariant functionals into functionals of initial data. Since this procedure involves integrating nonlinear equations, it is generically a nonlocal procedure which transforms spacetime local functionals into functionals which fail to be hypersurface local. There are very few hypersurface local observables apart from Noether charges. A set of observables calculated integrating currents needs to include observables which are not hypersurface local to be rich enough to describe the system.

The organization of this paper is as follows. In Section 2 we will present a version of Lagrangian field theory and pay special attention to the gluing conditions that the field and its perturbations satisfy at hypersurfaces separating the system of interest into two pieces. We chose a version of field theory based in two aspects which we considered essential for our study: spacetime covariance and locality. The version of Lagrangian field theory that we describe in the next section is a spacetime covariant and local description in the sense of Oeckl’s General Boundary Formulation of field theory [14]. The example of two-dimensional abelian BF theory is developed in this section with the intention of providing a simple example which is useful for the rest of the article. General relativity is mentioned frequently in the paper, but instead of performing technical calculations for that example we give references for the results that we mention. In Section 3 we develop a notion of gauge equivalence appropriate for bounded spacetime regions. With this notion of gauge, the version of Lagrangian field theory presented here is completed. Our argument supporting the definition equivalence is a covariant and local version of Newton’s principle of determinacy. In Section 4 we study the class of observables that can be calculated integrating gauge invariant conserved currents. In Section 5 we describe how results of Anderson and Torre [15, 16] imply that hypersurface local gravitational observables (in the vacuum) are holographic. In Section 6 we present families of gravitational observables which are holographic and large families of observables which are not holographic. Section 7 contains a summary of our work and gives some concluding remarks.

#### 2. Lagrangian Classical Field Theory

In this section we give a brief review of the version of Lagrangian classical field theory that will be used in this work. It will also be useful to fix the notation for the rest of the article. Local functionals and the variational principle are elegantly treated in the jet bundle using the tools of the variational bicomplex. Vector fields in the space of solutions play an important role in our work, in particular because observables and observable currents have associated Hamiltonian vector fields. In order to correctly model those vector fields we have to step out of the geometrical formalism of the jet bundle and work at the level of sections using analytical methods. Here we will give a minimal description of the part of this formalism that is essential for presenting our results. For an excellent short introduction the variational bicomplex see [17], and for a combination of this framework with analytical methods see [18, 19]. First we will have a general review of the formalism, and we will finish the section with the example of two-dimensional abelian BF theory. We choose this example because it is very simple and it still lets us illustrate how the formalism works for field theories with gauge freedom. In the paper we will often mention general relativity, but we will not do the calculations here and just cite the relevant references.

##### 2.1. General Framework

We will aim to have a* local description* of field theory closely related to the General Boundary formulation of field theory [14]. In our setting there is a fixed spacetime manifold of dimension , and we will study the field in a region which may have a boundary and corners.

There is a bundle over spacetime with an dimensional fiber , and the field studied in this work is considered to be a section of the restriction of the bundle to the region of interest, .

Points in the jet bundle , are equivalence classes of local sections of that agree up to -th order partial derivatives when evaluated at a given point . The evaluation of a section of the original bundle is written using a local chart as . Accordingly, the -jet gets the following coordinates:where ; and is a* multi-index* consisting on an unordered -tuple of coordinate indices (because this type of indices indicate a -th order partial derivative of a section). We write , , for the degree of the multi-index. (In the case we set .)

Different jets are related by projection maps. The projection is defined by erasing the coordinates that do not fit in the jet of lower order. In this structure the infinite jet is the jet of highest order. That is, it is a space from which there is a projection to every jet of finite order; and one can think of any jet of finite order as a truncation of the infinite jet. This idea is formalized defining the infinite jet by an inverse limit. For notational convenience we denote the infinite jet simply by .

Smooth functions on are those and only those that can be pulled back from a jet of finite order. Vector fields on are derivative operators on the ring of smooth functions.

Given a section , its prolongation to the jet is

In classical field theory the main objects are not points of but sections of . Thus, curves of sections and flows of sections will be of primary importance. It turns out that given any section the tangent space to the space of sections can be properly modeled by objects (vector fields) coming from the jet, but generic vector fields in cannot.

A vector field in generates a flow of points in . Vector fields sending sections into sections without moving points in the base manifold are vertical vector fieldsIf the coefficients are allowed to depend on partial derivatives of the field up to finite order this “vector field” (called an* evolutionary vector field*) would generate a flow of sections that if seen in the jet would be generated by the vector field in where is the total derivative (to be defined below) and where implies a successive application of the total derivative as indicated by the multi index . The important property of evolutionary vector fields is that they send sections in which are prolongations of sections of into other sections that are prolongations. The coefficients in the expansion of a vector field in in terms of a basis are functions in the jet; that is, they may depend on arbitrarily many, but finite, partial derivatives of the field. When seen from the point of view natural to the infinite dimensional manifold the vector fields obtained from vector fields in the jet belong to a very special class; they are called local vector fields. At the end of this section we will mention that at the level of solutions generic vector fields are not local vector fields, and including nonlocal vector fields is essential for a physically appropriate treatment of classical field theory [19, 20].

A convenient basis for differential forms in is generated by wedge products of the set of generators , whereFactors of the type are called “horizontal” and factors of the type are called “vertical”. The space of -forms is a direct sum of spaces which are products of exactly horizontal one forms and vertical one forms. Since the differential brings up the degree of forms by one, the direct sum structure makes the differential split as a sum of operatorswhere and are characterized by their action on functionsThe differentials of the generators areThe following identities are easy to verify:where is any evolutionary vector field, is an arbitrary section of , is a differential form of horizontal degree and vertical degree , is a differential form of horizontal degree and vertical degree , and stands for the de Rham differential in . In the closely related context of the covariant phase space formulation of classical field theory [18, 21] the counterpart of is the field differential (or variational differential), and leads to the spacetime differential.

Let us consider Hamilton’s principle of extremal action for a Lagrangian density of th order, . Given a history , the variation of the action induced by the evolutionary vector field is written aswhere an essential result of calculus of variations says that integration by parts lets us write any differential form of type , like , uniquely as a source form plus a boundary term, , and we have defined . (A source form has horizontal degree and its vertical part is proportional to the generator which sees the variation of the field and not the partial derivatives of the variation.) For a description of the integration by parts operator see [17].

The field equation is written as . Histories solving the field equation are called solutions . The space is an infinite dimensional manifold; the tangent space of a solution is generated by variations of the field induced by evolutionary vector fields satisfying the linearization of the field equation around . Our notation will be as follows: induces a tangent vector . In this language the conservation of the presymplectic current follows from and is written as the vanishing of the differential form when restricted to points of the jet which are the image of a solution and when both inserted variations satisfy the linearization of the field equation around . If we integrate on a hypersurface we obtain the functional measuring the presymplectic product of the variations induced by and which due to the conservation law is insensitive to deformations .

Vector fields in , assignments of tangent vectors to points, are not properly modeled by objects of the jet. It turns out that for nonlinear PDEs generic vector fields in are not local. In particular, we will see later on in the paper that for vacuum general relativity Anderson and Torre [15, 22] showed that the set of local vector fields do not generate all the nontrivial flows in Sols that are relevant to study field theory. Generic flows in are generated by nonlocal vector fields in .

For example, if we are interested in using two vector fields , in to insert them in the presymplectic form to obtain the functional that calculates their presymplectic product, the calculations leads to the integral of a conserved current that is nonlocal. We will change our notation to accommodate for nonlocal objects; we will writewhere the presymplectic current evaluated on tangent vectors to a given solution is the same that we defined above, but if we insert tangent vectors which do not vary locally (when the solution is modified) the result is not a differential form in the jet.

When dealing with nonlocal objects (like nonlocal vector fields or nonlocal currents) we will work at the level of sections and modify the notation as done with the functional written above. Thus, symbols with a tilde denote forms in which depend on the field (possibly in a nonlocal way) and on (possibly nonlocal) vector fields. An important remark is that we do not need to define the objects with tildes separately because if a given solution is chosen with the aim of evaluating the functional, we can work with local objects using the formulas written above using the language of the jet.

According to the terminology that we declared in the introductory section, the functional is not hypersurface local.

##### 2.2. Example: Two-Dimensional Abelian BF Theory

This example will take place considering that spacetime is a cylinder, . We can consider that the region of interest is .

The fields that we will consider are a -form in , which we call , and a -form, which will be denoted by . The field bundle is . We could continue calling the total field , but we choose to change to a more descriptive symbol. A history in will be denoted by . We choose a chart in with coordinates , and in we denote points using the induced local trivialization. Then the evaluation of a section may be written as . We may also use a more compact notation

The evaluation of the prolongation of the section in the jet is written as . The curvature of is denoted by and in the local trivialization it is written as . When pulled back to , the curvature yields a two form which is determined by a function specifying the proportionality factor with respect to the area form given by the chart.

The basis for tangent vectors in the jet induced by the chart can be written as . The basis of one forms adapted to the vertical horizontal decomposition is ; . Notice that we have simplified the natural notation in the sense that we could have decided to write instead of the simplified symbol and the same for all the vertical generators related to partial derivatives of the field. Then we are using a notation in which the presence of a super index means that it is related to the field and the absence of a superscript means that it is related to the field.

We live as an exercise to the reader to calculate the horizontal and vertical differentials of the coordinate functions that we chose for . The most relevant in the calculations below are , , , .

We consider the first order actionThis is the two-dimensional version of a class of field theories whose quantization was called “quantum cohomology” by Horowitz in the paper [23] where he introduces BF theories as nonabelian generalizations of this class of field theories.

We start calculating ; we obtainAfter integration by parts (to get rid of differential forms which see partial derivatives of the variation) we obtainFrom this calculation we can read the field equations (which turn out to be linear)and also the presymplectic current

The space of solutions in this example is formed by pairs consisting of a constant function (the field) and a closed -form (the field). Notice that since the field equations are linear, perturbations of the field obey the same equations.

This example is completely different from general relativity in the sense that vector fields in the space of solutions can be modeled by local vector fields. The field equations and the linearized field equations are linear, and every class of solutions modulo gauge contains local representatives. Then if we work with only local fields and local vector fields the description continues being physically appropriate.

In the next section we will be able to comment on the space of solutions modulo gauge. Then it will be clear why is that Horowitz called the quantization of this class of theories quantum cohomology.

#### 3. Gauge from Holography

Consider a solution of the field equations and a hypersurface separating spacetime into two connected components and that intersect along . Clearly, if we restrict the solution to one of the components we get a solution in a restricted domain . Consider a different solution over subdomain such that its restriction to coincides with up to its partial derivatives of order and recall that the field equation is of order . It is fact that we could cut and paste to replace the portion of solution over with and generate a different solution . As far as the field over is concerned, the cut and paste operation is not physically relevant. In the case in which the field in —the system of interest—is being studied through measurements at , the field configurations and are not distinguishable by any measuring device. Therefore a natural extension to Newton’s principle of determinacy to this scenario requires declaring and as physically equivalent.

Let us study the cut and paste operation just described. Consider two domains intersecting at a hypersurface in such a way that they form a composite domain . If the field is considered as smooth at each subdomain but only continuous over , the variation of the action for the composite domain includes a termA physical field in must be an extremum of the action for all variations vanishing at zeroth order over . That is, the allowed variations do not affect the evaluation of the field at the boundary, but they can induce changes in the partial derivatives of the field at the boundary. Given a history , let us call the space of variations considered by Hamilton’s principle of extremum action. As described in the previous section, we will model by evolutionary vector fields in the jet. We will study the conditions for extremality of the action in two steps corresponding to a decomposition of as a sum of two of its subspaces , where the first summand is the space of variations vanishing at zeroth order over and and the second summand is the space of variations vanishing at zeroth order over and satisfying the linearization of the field equation (possibly with source if is not a solution) in the interior of the domains and . Consider an arbitrary ; it generically does not belong to because it may not vanish at zeroth order over . However since the restriction to of the zeroth order component of elements of is completely unconstrained, there is a (possibly not unique) such that .

Thus, the extremality of the action is equivalent to demanding first extremality with respect to variations in and later extremality with respect to variations in . We know that the first condition is equivalent to imposing the field equation in the interior of the domains and . The second condition does not impose any further restriction to the field in the interior of the domains and , but it requires that (19) vanishes for every . Integration by parts is unnecessary if is already a source form, as happens with the usual definition. The resulting gluing field equation of order demands that the -momentum crossing coming from needs to match the -momentum crossing coming from .

Because of our interest in the type of relative measurements described in Section 1, we are particularly interested in the propagation of variations of the field through hypersurfaces. Consider a one parameter family of fields (starting at and generated by the flow of the vector field ) satisfying the field equation in and and solving the gluing problem over for each value of the parameter. Now we are considering vector fields in , and as we mentioned earlier, restricting to local vector fields could be physically inappropriate. Following the notation of Section 2, we will indicate vector fields in the space of solutions by lower case letters and they will be inserted in multilinear operators denoted by letters with a tilde over them indicating that they are defined at the level of sections and they may be nonlocal. Recall that we do not need to define the objects with tildes separately because if a given solution is chosen with the aim of evaluating the functional, we can work with local objects using the formulas written in the language of the jet. Since (19) vanishes for any when evaluated at ; then up to first order in the parameter vanishes when restricted to . Thus, the linearized gluing field equation for the vector field is the requirement thatvanishes for any . A more convenient statement is that for any solution and any satisfying the linearized field equations (20) vanishes up to an exact differential linear in . Our derivation of (20) uses , where stands for the field derivative, and the property that implies that is in the kernel of .

It is interesting to characterize pairs of perturbations and in that would be compatible with the same perturbation on . There are two conditions: the first one is a continuity requirement along , stating that the perturbations evaluated at the hypersurface agree. This condition, written in terms of their difference , is the zeroth order condition . The second condition arising from the linearized gluing equation is that be an exact differential for any solution and for any vector field in . This condition carries information about the perturbations in the bulk of because, even when it is a condition imposed at , it is sensitive to directional derivatives of the perturbation in directions transversal to the hypersurface. Moreover, of the two conditions the second one is the only one capable of transmitting information about in the bulk from to through . We will call the* holographic imprint* of a perturbation; the second condition compares the holographic imprint of two perturbations and it decides if they are distinguishable or not. Notice that, this condition is linear in and it may have a nontrivial null space. In that case, there would be some perturbations which are different in the bulk of , but such that their difference cannot be resolved by this condition; those aspects of bulk perturbation are filtered out by the gluing condition at and do not couple to .

Now let us consider a spacetime domain without any physical division into subdomains, and study the propagation of perturbations through thought hypersurfaces arbitrarily placed inside . A vector field satisfying the condition for every hypersurface is the zero perturbation . On the other hand, there may be nonzero vector fields such thatfor any solution and any vector field in . Such a vector field hits a hypersurface leaving a* null holographic imprint*, one that necessarily loses all information transversal to the hypersurface, for* any* hypersurface. The conservation law for the presymplectic current described in Section 2 implies that is an exact differential for a given hypersurface if and only if it is also an exact differential for any homologous hypersurface . Notice that vector fields of this type form a vector space. If these perturbations are regarded as physically irrelevant, and the space of physical perturbations is considered to be the quotient vector space in which perturbations satisfying condition (21) are identified with zero, then we could say that physical perturbations are those capable of transmitting holographic information. This is a mild type of holographic principle which in the context of this work, where spacetime geometry has not been fixed a priori, may be thought of as the covariant ingredient needed for Newton’s principle of determinism. Elevating this to a definition is described in the title of this article with the phrase* gauge from holography*. In Section 5 we will talk about local gravitational observables exhibiting holographic behavior; there our use of the term holographic is in the stronger sense meaning that the observables can be evaluated through integration over codimension two surfaces.

Relativity and locality of measurement motivate the second condition needed in our definition of gauge perturbations. The simplest way to present it is recalling that we were searching for conditions for two variations of the field , on a spacetime domain to be indistinguishable to any field perturbation over the spacetime domain intersecting with at . Now we will consider the situation in which we have one domain of interest with two perturbations , and we look for conditions that make those two perturbations indistinguishable to any perturbation of the field in the complement of . Those indistinguishable perturbations will be called gauge related in . Because perturbations in are judged with respect to perturbations in its complement, it makes sense to demand that gauge perturbations do not disturb the reference system. Then since separates from its complement, we should demand that a gauge vector field act trivially in the boundary

Now we comment on locality of measurement. Consider a situation in which spacetime has a Cauchy surface without boundary and where there is an observable of interest which is calculated as the integral of a gauge invariant current, e.g., . We may calculate as a sum of local contributions one of which corresponds to our spacetime domain of interest as , where . The locality condition amounts to requiring that for any gauge invariant current. (A current is declared to be invariant under vector field in the space of solutions if and only if is a pure divergence for any solution.) and for any hypersurface with integrals of the type can be evaluated and are gauge invariant. The locality condition is satisfied if (22) holds. If we do not impose that gauge transformations act trivially on the boundary we would end up in a situation in which is a gauge invariant observable which may be calculated as a sum of local pieces, but in which the terms of the sum are not gauge invariant individually.

*Definition 1 (Gauge vector fields in ). *A vector field in is declared to be a gauge vector field if and only if is in the null space of the linearized field equation for every hypersurface and every solution , and it additionally vanishes at . More precisely, we demand that

(i) satisfies (21);

(ii) satisfies (22).

Isolated gravitational systems may be modeled over a spacetime domain of the type with the boundary representing a world tube at spatial infinity (and possibly an inner boundary modeling a horizon). Our framework applies to any Lagrangian formulation of general relativity, where it is known that all generators of diffeomorphisms induce perturbations such that is a pure divergence [24], which implies that satisfies Condition (i) of the definition of gauge vector fields. However, regarding variations that do not vanish at infinity as gauge is inappropriate since they modify the reference frame needed to define energy, momentum and angular momentum. Thus, preserving a reference frame at the boundary that may be used as a reference for measurements is another motivation for Condition (ii) of the definition of gauge.

The standard definition for gauge perturbations used in Lagrangian field theory (appropriate in manifolds with no boundary) is in terms of families of symmetries of the Lagrangian depending on a parameter that may be locally varying, and through Noether’s second theorem this is related to ambiguities and over determination in the field equation (see [21]). It is known that the standard definition implies our Condition (i), and there are works which have conjectured that Condition (i) may be equivalent to that definition (see for example [25]).

It can be verified that this definition of gauge perturbations leads to a Lie subalgebra of the algebra of vector fields in and to a notion of gauge equivalence among solutions; see [26] for a proof.

Now it may be illustrative for the reader to go back to the two-dimensional abelian BF theory example. We have already calculated for that example in (17). It is not difficult to show that condition (21) for the vector field in the space of solutions implies that it must generate transformations in the closed one form by exact forms, i.e., for some function of the base manifold .

Recall that in the example spacetime was a cylinder . If the domain of interest is the whole spacetime we can ignore Condition (ii) for gauge vector fields. In this case the space of solutions modulo gauge is the two-dimensional space parametrizing constant functions (the field) and cohomology classes of -forms (the field). On the other hand, if there are boundaries in the region of interest the space of solutions modulo gauge is larger. The usual space of solutions modulo gauge would be recovered only after gluing all the regions of our subdivision of spacetime. In the next subsection we will see that Condition (ii) allows for the existence of nontrivial observables measuring degrees of freedom in bounded regions of spacetime.

#### 4. Observables from Currents

It is natural to consider functions of the field calculated integrating currents over hypersurfaces. If the currents depend locally on the field and its partial derivatives those functions may be written as ; in the general case we use the notationThis functional is gauge invariant if the hypersurface is such that and the current is gauge invariant in the sense that for every gauge vector field and every solution the Lie derivative of the current yields a pure divergence. Moreover, a current is conserved if when evaluated on any solution the function does not depend on local deformations of the hypersurface of the type . In this case the resulting observable is a function of the solution defined by the current (and the homology type of the surface).

A physical observable is spacetime local if it is calculated integrating a density which depends on finitely many partial derivatives of the field. A physical observable calculated integrating a current is said to be hypersurface local if the current depends on finitely many partial derivatives of the field; for those currents we could write for some differential form in the restriction of the jet to . The locality of an observable current can also be determined by an almost locally Hamiltonian vector field associated with it; if is a depends on finitely many partial derivatives of the field then the current is local and the observable is hypersurface local. Consider a field theory which admits a formulation in terms of initial data. Call the map sending initial data to solutions. We can use the pull-back map to transform spacetime covariant functionals into functionals of initial data. Since this procedure involves integrating nonlinear equations, it is generically a nonlocal procedure which transforms spacetime local functionals into functionals which fail to be hypersurface local.

There are very few hypersurface local observables, but we will see in this section that there are plenty of (possibly nonlocal) observables calculated integrating currents. One reason to suspect it is that transforms every spacetime observable into an observable depending on initial data and if the resulting observable is a current (calculated with a collection of maps labeled by the integrating hypersurface), it must be conserved.

Here we will consider this type of observables where the domain of definition of the current may be a proper open subset of the space of fields [27]. Consequently, we consider physical observables which may be only defined in certain open domain of the space of solutions.

Since in this work we will refer multiple times to (possibly nonlocal) gauge invariant conserved currents defined in an open domain of the space of solutions, we will use the term* observable current* to refer to a current of this type.

In order to make definitions a bit more concrete let us consider as an example two-dimensional abelian BF theory as defined in Section 2.2. The field equation for the field is ; then is a conserved current and the functionalis gauge invariant if . That is, the functional is defined in the space of solutions modulo gauge in , and its value is independent of deformations of the integrating surface of the form with .

Notice that if Condition (ii) for gauge vector fields were not present we would not have a gauge invariant observables measuring degrees of freedom in bounded domains. In that situation, if we glued a collection of bounded domains that covered spacetime we would discover that even when there were no observables measuring the field in each of the domains , after gluing them all together an observable measuring the holonomy of around a noncontractible loop in the cylinder would appear. In contrast, in our setting the mentioned physical observable in is the sum of local contributions which when considered in the bonded spacetime regions where they are defined are gauge invariant with respect to the appropriate notion of gauge (not with respect to the notion of gauge relevant when the region under study is the complete spacetime).

The resulting family of observables is a large family capable of distinguishing solutions which are not gauge related. Thus, the family of observables includes Noether charges for systems with simple Lagrangian symmetries whose generators are defined everywhere in the domain of the Lagrangian density, and it includes many more observables. Two aspects of our treatment are essential for proving separability of points in the space of solutions modulo gauge: The first one is properly modeling the space of variations of a given solution and the space of vector fields in as discussed in Section 2. The second essential aspect is allowing observables which are not defined for all fields, but which are defined only in a certain open domain in . This will allow a tight correspondence between the differential of observable currents and almost locally Hamiltonian vector fields. A locally Hamiltonian vector field in is a vector field in which preserves the multisymplectic form in the sense that for any solution and any two vector fields , in Locally Hamiltonian vector fields in preserve the presymplectic forms defined using any hypersurface with . An* almost locally Hamiltonian* vector field is a solution of the linearized field equation satisfying a version of (25) in which the condition that the exact differential should vanish at is not imposed. Thus, almost locally Hamiltonian vector fields may not preserve the presymplectic forms due to boundary terms. The importance of this type of vector fields for us is that given a solution we can model the tangent space of the space of solutions by vertical vector fields in the jet satisfying the linearized field equation which moreover are almost locally Hamiltonian; we drop the condition over for the boundary term in (25) because it could become an obstruction to generating . There is an alternative to working with almost locally Hamiltonian vector fields, if the domain of interest is of the form , it is endowed with a foliation by Cauchy surfaces , and we are only interested in evaluating integrals on hypersurfaces belonging to the foliation. The alternative is to work with locally Hamiltonian vector fields using a version of (25) in which the exact differential is required to vanish only over . This alternative does not make sense if the metric is not such that the leaves of the foliation are Cauchy surfaces. If the gravitational field is part of the system under study, using this alternative implies considering only some allowed fields. For a discussion see Appendix A.

The linearized field equation is a nonlinear partial differential equation, which is linear only when not studied in the whole jet, but only on for a fixed solution ; thus when the linearized field equation is considered in the jet, its solutions may exist only in a certain open domain. Since we are interested in providing conserved currents which are linked to given solutions of the linearized field equation, it is important for us to consider conserved currents which may be defined only on a certain open domain. Given any almost locally Hamiltonian vector field there is a (nonempty) family of observable currents which have it as their associated almost Hamiltonian vector field. That is, for any solution of the field equation there is a family of observable currents such that for any vector field in is an exact differential. Thus, the derivative of in the direction of a perturbation , which we will write as , is given by except for a boundary term which would vanish if the integrating hypersurface has no boundary or if vanishes over .

It turns out that, in field theories with local degrees of freedom, observable currents can distinguish gauge inequivalent solutions. A local version this statement is as follows: Consider any given solution and any given curve of solutions starting at and determined by a vector field in which is not a gauge vector field. We will see thatNow we sketch the main part of the proof leaving out a case whose treatment requires a more detailed calculation for Appendix B.

There are two nonexclusive possibilities for not being a generator of gauge transformations; the first one is that condition (21) fails and the second one is that condition (22) fails. Consider now the case in which condition (21) does not hold for . Thus, there is a solution , a vector field in and a point in the interior of such that. Now we will denote points in spacetime by the letter in order to avoid confusion with our notation for vector fields in the space of solutions.At this stage, our argument needs a concrete statement for the properties assumed about field theories with local degrees of freedom. We assume that in a theory with local degrees of freedom all perturbations of the field which are not gauge generators have conjugated perturbations which are localized; more precisely, given (i) any point , (ii) any solution and (iii) a satisfying the condition stated in (28), we assume that there must be a hypersurface containing (in which we chose an auxiliary volume element ) and a choice of vector field in (which can be chosen to be almost locally Hamiltonian) such that (28) holds and where with the proportionality constant satisfying and where is a neighborhood of contained in the interior of such that . Thenwhich concludes the part of the proof that we give in the main body of the article.

Previous works on similar approaches to classical field theory argue that there are not many physical observables arising from integrating conserved currents besides Noether charges (see for example [18, 28–31]). The definitions on which our work is based differ from those used in the cited literature in two aspects: First, we allow for nonlocal currents. Second, the currents that we consider may be defined only in a certain open domain in . The previous paragraph shows that the observable currents considered here are an interesting source of physical observables.

The case that was not covered in the proof given above is that relation (22) fails, which means that there is a solution and a point such that . Since the subcase in which (21) fails was treated above, considering the case where (22) fails and (21) holds would conclude the proof; this is the case in which is not a gauge perturbation only because it fails to vanish over — a “would be gauge” perturbation. Since this part of the proof involves detailed expressions of the boundary terms we deal with it in Appendix B.

Before closing this section we comment on the type of measurements of the bubble chamber, which are not properly modeled integrating currents. We consider that if the field of interest couples with the measuring field in such a way that gauge equivalent fields are resolved, it should be claimed that the measuring field significantly disturbs the system, and the actual field being measured is the one corresponding to the composite system. If the system is not considerably disturbed, the measurement induces a perturbation of the field satisfying the linearized field equation (which could be chosen to be almost locally Hamiltonian). In this scenario, the tools provided in this section show that an alternative equivalent description of the measurement is constructed integrating a conserved current.

#### 5. Hypersurface Local Gravitational Observables Are Holographic

We saw that a perturbation of the field modeled by an almost locally Hamiltonian vector field is related to a family of observable currents by (26). If we call an element of this family all the other elements of the family differ from it by “a constant” , where an observable induced by the “constant” is “field independent except for possible field dependence” due to boundary terms; in particular, when the observable is truly field independent. Another important aspect of the relation set up by (26) is that given an observable current there is a whole class of almost locally Hamiltonian vector fields related to it. The difference between any two such perturbations satisfies (21).

The results described in the previous section show that the family of observable currents and perturbations satisfying (26) is capable of distinguishing gauge inequivalent solutions. This suggests that all observable currents may satisfy that equation for a given almost locally Hamiltonian perturbation, and the intuition turns out to be a fact. For a more thorough explanation see [26].

Consider observables calculated integrating conserved currents of the type as defined in (23) in a bounded spacetime domain with the topology of a four ball. In such a domain the homology type of a hypersurface with is determined by the spacetime codimension two surface . (Hypersurfaces and are considered homologous if where is dimension manifold with boundary contained in the closed spacetime domain .) Due to the conservation law, evaluation of this type of observables depends only on the homotopy type of , and in this situation ’s homotopy type is determined by . Additionally, after our notion of gauge excluded perturbations which do not propagate trough hypersurfaces, the field modulo gauge in the interior is determined by . Thus, the evaluation of an observable of this type is determined by and by . This result suggests studying an interesting subclass of these observables such that their evaluation depends on even if the evaluation cannot be achieved integrating a differential form on . We will see below that in the case of general relativity hypersurface local observables of the type can be evaluated as integrals of differential forms over .

Let us recall the terminology declared in the introductory section now that we have developed concepts and notation that let us be more explicit. A physical observable is spacetime local if it is calculated integrating a density which depends on finitely many partial derivatives of the field. A physical observable calculated integrating a current is said to be hypersurface local if the current depends on finitely many partial derivatives of the field; for those currents we could write for some differential form in the restriction of the jet to . The locality of an observable current can also be determined by an almost locally Hamiltonian vector field associated with it; if depends on finitely many partial derivatives of the field, then the current is local and the observable is hypersurface local. We also mentioned in the introduction that for a field theory admitting a formulation in terms of initial data, the integration of the field equations induces a map which generically sends local spacetime covariant functionals into functionals of initial data which fail to be hypersurface local.

Consider general relativity on a spacetime domain . The field describing the system is the spacetime metric and perturbations are written as . A perturbation corresponding to a (possibly field dependent) diffeomorphism generator has the form . It is a well-known fact that for general relativity perturbations corresponding to diffeomorphisms satisfy the linearized field equation and satisfy (21); that is, their insertion in the presymplectic current yields a pure divergence (see for example [24]). According to our definition, the gauge generators of general relativity in the given domain turn out to be vector fields generating diffeomorphisms whose restriction to is the identity.

Then the observables related to a gauge vector field by (26) yield no information because they are field independent. However, if satisfies (21) but does not vanish over its associated observables do carry nontrivial information. Those observables may have a field dependence due to boundary termswhere is a field dependent differential form. Even when these observables are initially written in terms of bulk fields, they can be calculated as integrals on the boundary of the integrating hypersurface; one may say that those observables are holographic.

Anderson and Torre [15, 22] proved that the only solutions of the linearized field equation for vacuum general relativity in the absence of matter depending on an arbitrary, but finite, number of partial derivatives of the metric areTheir result shows that, apart from rescaling generators, all* local* vector fields in are gauge or “would be gauge” vector fields. Moreover, since rescaling generators are not almost locally Hamiltonian vector fields, those vector fields are not associated with gravitational observables. A corollary of Torre [16] can be read as saying that* all hypersurface local gravitational observables (in the vacuum) are holographic*.

In the next section we will exhibit a family of holographic gravitational observables and a large family of nonholographic gravitational observables.

In contrast to the case of general relativity, as discussed in Section 2.2 the example of two-dimensional abelian BF theory is so simple that local fields and local vector fields are enough for a physically reasonable model of the system. The observable currents that we exhibited in Section 4 for that field theory are local and the induced observables are not holographic. However if the domain of interest is not the cylinder spacetime but a domain with the topology of a ball, the closed form becomes exact when restricted to , and the observables are indistinguishable from observables which are holographic.

Khavkine has proposed a generalized notion of spacetime local observables and exhibited a large family of gravitational observables which are spacetime local according to his definition [27]. As mentioned previously, if those observables are transformed into functionals of initial data and those functionals turn out to be integrals of currents, they would generically be nonlocal observable currents.

#### 6. Examples of Gravitational Observables, Holographic and Not Holographic

For the sake of concreteness, in this section we will consider a spacetime domain with the topology of a four ball.

There are many gravitational observables in our setting. According to the conventions stated in the previous paragraph, the components of the induced metric on the boundary (the pull back of the spacetime metric to the boundary) evaluated any point are considered observables.

This fact just talks about our choice of reference system. Part of our motivation to impose (22) to gauge vector fields was to provide a reference with respect to which we could measure the system of interest, the bulk field. The observables mentioned in the previous paragraph are not of physical interest in themselves, but they will enable us to define interesting gravitational observables.

In Section 4 we described how in our framework given an almost locally Hamiltonian vector field which is not a gauge perturbation there is a family of observable currents corresponding to the given vector field. We also argued that for field theories with local degrees of freedom there are plenty of almost locally Hamiltonian vector fields which are not gauge. Since for any observable associated with a locally Hamiltonian vector field which is not gauge the second term in (26) does not vanish, those observables are not holographic.

In the previous section we asked if hypersurface nonlocal gravitational observables could be approximated by local ones implying that nonlocal gravitational observables are also holographic. With the aide of (26) we see that this question is equivalent to asking if for any given solution the tangent space to the space of solutions at can be generated by local almost locally Hamiltonian vector fields, where the term “locally Hamiltonian” refers to preserving the presymplectic form and the term “local” refers to depending on partial derivatives of the field of at most order for some finite . In this terminology Anderson and Torre’s result cited above says that the tangent space to the space of solutions of vacuum general relativity based on any solution is not generated by the local solutions of the linearized field equation. Local perturbations generate only gauge or would be gauge directions, proving that hypersurface nonlocal gravitational observables cannot be approximated by hypersurface local ones.

A large family of observables is given by the symplectic product of physical perturbations (see [26]). There is a subfamily which is holographic and a subfamily which is not. Assume that we are given two almost locally Hamiltonian vector fields , . The observable referred to as the symplectic product isIt is simple to verify that this observable is associated with the Hamiltonian vector field . If satisfies (21) and does not vanish in the jet over , then is a nontrivial holographic observable. These are not very extravagant conditions; in the case of general relativity, they would be satisfied by two diffeomorphisms generators whose commutator does not vanish over . A point that needs to be mentioned is that in general relativity the diffeomorphism generators may be field dependent and in this way observables of this type encode nontrivial information about the field. On the other hand, if does not satisfy (21) the second term of (26) does not vanish implying that is not a holographic observable.

Below we give another family of examples of gravitational observables that can be defined thanks to the existence of a reference at the boundary. If the reader would like to have further motivation for considering bounded spacetime domains, it could be illuminating to read Appendix A. There we use a covariant initial value formulation on a given hypersurface with boundary , which may be thought of as a laboratory where enough data is retrieved at a given time as to determine a solution inside , to discuss key aspects of the formalism described earlier in this article.

When the location of individual points inside can be determined in terms of matter fields, a wealth of options for gravitational observables opens up. Different variants of the procedure to construct observables of the system of gravity coupled to matter used at the beginning of our argument have appeared in uncountably many references. If two points (which are sufficiently close according to the metric field) are located using relations involving matter fields an example of an observable is the length of a geodesic where we have denoted the gravitational field by and the matter fields collectively by . If the gauge choice is changed, the location of and in the coordinate chart will change and the coordinate expression of the metric will also change in such a way as to leave the value of the observable unchanged; this is what makes it a physical observable. Notice that the condition that the points and be sufficiently close forces us to consider observables which are only locally defined in the space of fields. This observable depends on the gravitational field and on the matter fields relative to which the points are located.

On the other hand, if the points and belong to they can also be determined by the matter fields (or even by the gravitational field) outside of . If this is done, the family of observables has the interpretation of measuring the gravitational field in with respect to a reference frame determined by the fields outside of ; then we can proceed assuming that measures the gravitational field inside and is defined without the need of matter fields inside . Furthermore, considering the restriction of the field to as unaffected by changes of gauge (as demanded by (22)) implies that the function depending only gravitational field inside is an observable. The interpretation of such an observable is that it measures the field inside with respect to a reference system located at which could be thought of as determined by fields outside of .

Similar arguments could be used to define physical observables measuring areas of minimal surfaces determined by curves fixed at , or measuring volumes enclosed by collections of such surfaces.

Are observables in these families holographic? They are not. One way to see that this might be true is to observe that the requirement for the functional to be an observable is that is a* spacetime geodesic* and when spacetime data has to be retrieved from initial data at a given hypersurface the nonlinear field equations together with any gauge condition used enable calculations which need to be solved to have the location of the spacetime geodesic determined in terms of the initial data. Torre’s result [16] confirms that our suspicion that is not a holographic observable is in fact correct.

#### 7. Conclusions

We started reviewing the notion of what a gauge perturbation is in the context of Lagrangian field theories defined on confined spacetime domains. The initial assumptions included that we are working in a covariant setting in which spacetime geometry may be one of the dynamical fields, implying that there is no causal structure fixed a priori. The initial consideration to determine which perturbations are considered gauge was a covariant form of a determinism principle thoroughly explained in Section 3. The outcome was (21), and it emerged from a study of how perturbations propagate through hypersurfaces as dictated by the linearized gluing equation. Since the transmission of information through spacetime codimension one surfaces played a key role, we referred to the argument as gauge from holography, and it was admitted that the term referred to a mild type of holography as compared to the holographic behavior of hypersurface local gravitational observables described on Section 5 which is associated with spacetime codimension two surfaces.

At first glance, it may seem that both aspects of holography mentioned in the previous paragraph are disjointed, and that the term holography refers to completely are unrelated phenomena in both instances. However, the work presented in this article shows the intimate relationship between them: first of all, from our definition of gauge vector fields and our considerations of observables which are only locally defined in the space of solutions, we could give a straight forward argument proving that observables calculated integrating observable currents (see (17)) are capable of distinguishing gauge inequivalent solutions. A key ingredient of the argument was that almost locally Hamiltonian vector fields (these are perturbations of the field which respect the presymplectic form up to boundary terms which may not vanish) defined locally in the jet generate the tangent space to the space of solutions based at any solution. Second, any almost locally Hamiltonian vector field induces a (family of locally defined) observables which are holographic if satisfies (21) and they are nontrivial if condition (22) is not satisfied. Thus, field perturbations related to nontrivial holographic observables are exactly those which could be referred to as “would be gauge vector fields” in the sense that they are not gauge only due to the presence of a boundary. The information encoded in those observables can be nontrivial because the perturbations satisfying (21)—in the case of general relativity the diffeomorphism generators—may depend nontrivially on the field.

In Section 6 we exhibited a large family of examples of observables corresponding to the symplectic product of field perturbations, and we characterized the subfamily consisting of nontrivial holographic observables.

Observables in nonlinear theories with gauge redundancies defined in spacetime domains foliated by Cauchy surfaces with no boundary are expected to be nonlocal in the sense of depending on infinitely many derivatives of the field. A brief discussion of the reasons behind this expectation is given in Section 6. However, we saw that in the presence of boundaries nontrivial observables with holographic behavior arise.

Can every gravitational observable be approximated by local observables, inheriting their holographic behavior? This issue is addressed in Section 6, where we show that this is not the case.

Is the family of holographic observables capable of separating points in the space of solutions modulo gauge? The arguments given above tell us that this question is equivalent to asking if for any given solution the tangent space to the space of solutions based on it is generated by gauge vector fields together with would be gauge vector fields, which is clearly not the case.

#### Appendix

#### A. Working with Bounded Spacetime Domains in the Covariant Initial Value Formulation

In this appendix we motivate working with bounded spacetime domains from the point of view of a covariant initial value formulation on a given hypersurface with boundary which may be thought of as a laboratory where data is retrieved at a given time. We comment on the correspondence between this formalism and the one used in the main body of this article emphasizing interpretational issues which arise when setting up the correspondence and their relation with two key aspects of our formalism: considering locally defined observables and the notion of gauge.

For the sake of concreteness, consider the following scenario for gravitational thought measurements on earth: Earth’s southern hemisphere is covered by laboratories (covering a layer from a height of to meters above the sea level) equipped with clocks and measuring devices for gravitational field, and all the matter fields coupling to it, and their rates of change as to have initial data at a certain time slice for the system consisting of gravity and gravitating matter. From those measurements we should be able to predict (and retrodict) physical properties of the fields inside the domain of dependence of that hypersurface . In order to start calculations we choose a coordinate chart for a spacetime region containing and also choose a gauge. Then the measurements are translated into functionals of the initial conditions for a system of partial differential equations that can be solved inside . In fact, one thing that can be calculated is the actual location of according to the chosen coordinate chart. Let us call the spacetime domain resulting from a truncation of with a topology of the type (where is a three dimensional ball). The domain is endowed with a foliation in which one of the leaves is a truncation of . A truncation procedure starts with removing a tubular neighborhood of from , and consider . Then consider the subset of which is covered by leaves with . A truncation with the properties we seek is . Let us assume that the system, consisting of general relativity coupled to matter, has a description in which active spacetime diffeomorphisms are a gauge symmetry. In this case, the location of in the host four manifold is gauge dependent. Picturing as a given portion of a four manifold implies either partially fixing the gauge or considering equivalence classes (somehow defined in terms of the fields themselves) which are the ones associated with resulting in a formalism where active diffeomorphisms are no longer a gauge symmetry. The formalism described in Sections 1 and 3, in particular the definition of gauge perturbations, includes these ideas at its core; from the outset we worked on a given spacetime domain (which may be a portion of spacetime and where gluing descriptions over such spacetime domains enjoys of interesting properties [26]). Thus, one way of picturing the spacetime domains endowed with a foliation used in the main body of this article may be as truncated domains of dependence of a given hypersurface with boundary. However, this interpretation works only in a certain regime of fields whose induced causal structure is compatible with such an interpretation. Observables would have that interpretation only (and possibly be well defined only) for a given domain of fields. Working with locally defined observables is a crucial point of our framework.

#### B. Completion of the Proof of Equation (27)

In this appendix the submanifold of the jet in which the field equation holds will be denoted by ; the space whose elements are solutions of the linearized field equation will be denoted by , those which are almost locally Hamiltonian by , and the locally Hamiltonian ones by . Clearly .

Here we consider the case in which the curve of solutions with is determined by a vector field in which satisfies condition (21) and does not satisfy condition (22). Thus, satisfies the following two conditions:

(i)

for every solution and every vector field in , and where is an operator which depends linearly on a vector field and acts as a differential operator in the field and it is valued in forms of .

(ii)

for some solution and some .

Now we choose an almost locally Hamiltonian vector field in , which means that for every solution and every pair of vector fields , in , and where is an operator depending linearly on each of the vector fields and acting as a differential operator in the field. Condition (26) expressing the compatibility of with a current may be written as for every solution and every vector field in and where the differential operator satisfies (with ) for every solution and every pair of vector fields in . Thenwhere we have used (i).

The equation is one scalar condition which can be studied with and as unknowns. Clearly for generic values of and the above equation does not hold. In this way we arrive to the desired conclusion that also in the case considered in this appendix observables constructed integrating observable currents suffice to separate points in the curve of solutions in a neighborhood of .

For a more detailed presentation, see [26].

#### Data Availability

No data were used to support this study.

#### Conflicts of Interest

There are no conflicts of interest associated with the publication of this work.

#### Acknowledgments

I would like to thank Igor Khavkine for important clarifications on the subject of local observables. I acknowledge correspondence and discussions about the subject of the article with Jasel Berra, Homero Daz, Laurent Fridel, Alberto Molgado, Robert Oeckl, Michael Reisenberger, Charles Torre, José A. Vallejo, and Luca Vitagliano. This work was partially supported by Grants PAPIIT-UNAM IN 109415 and IN100218 and by a sabbatical grant by PASPA-UNAM.