From physical symmetries to emergent gauge symmetries

Gauge symmetries indicate redundancies in the description of the relevant degrees of freedom of a given field theory and restrict the nature of observable quantities. One of the problems faced by emergent theories of relativistic fields is to understand how gauge symmetries can show up in systems that contain no trace of these symmetries at a more fundamental level. In this paper we start a systematic study aimed to establish a satisfactory mathematical and physical picture of this issue, dealing first with abelian field theories. We discuss how the trivialization, due to the decoupling and lack of excitation of some degrees of freedom, of the Noether currents associated with physical symmetries leads to emergent gauge symmetries in specific situations. An example of a relativistic field theory of a vector field is worked out in detail in order to make explicit how this mechanism works and to clarify the physics behind it. The interplay of these ideas with well-known results of importance to the emergent gravity program, such as the Weinberg-Witten theorem, are discussed.


Introduction
Despite decades of ongoing research, understanding how to combine the principles of general relativity and quantum mechanics remains elusive [1]. One of the stumbling blocks is the importance of gauge symmetries in the mathematical structure of general relativity: as a geometric theory describing the dynamics of spacetime, general relativity cannot be understood without diffeomorphism invariance. There are two possibles stances when it comes to the relative importance given to this idiosyncrasy in research programs aiming to find a theory of quantum gravity. The first possibility is assuming that diffeomorphism invariance is a fundamental property of the next layer, beyond general relativity, in our description of nature. Research programs falling in this category seek for a background independent theory of quantum gravity (see, e.g., [2]). The second possibility is considering that diffeomorphism invariance is an effective feature, so that it emerges together with other relevant features in the low-energy limit of a hypothetical theory which is not necessarily background independent. The ultimate goal of research programs following this hypothesis is finding both an alternative set of principles that would supersede the geometric principles embedded in general relativity and a mechanism ensuring the emergence of the properties of the latter theory.
It is in the latter category, which we call in the following emergent gravity approach, 1 in which this work is framed. The singular structure of general relativity makes sensible to JHEP10(2016)084 expect that this paradigm has chances of being feasible, though the difficulties to overcome cannot be underestimated [3]. For instance, the Weinberg-Witten theorem [4] is usually invoked to argue that this program might be doomed from the start. A related difficulty was recently and sharply pointed out by Marolf [5]. These criticisms are intimately related to the difficulties in understanding how gauge symmetries can emerge in systems with no gauge symmetries [3], although examples of this type of emergence have been described in condensed matter systems (see, e.g., [6]). These difficulties lie in the different meaning of gauge and physical symmetries. There are various ways to highlight their differences, each of them emphasizing certain peculiarities. In the main body of the text we will make precise statements using the associated Noether currents and charges. However, for the sake of this introductory discussion, probably the most convenient way to stress the different nature of gauge and physical symmetries is the well-known feature that gauge symmetries indicate redundancies in the field-theoretical description of a given system, as it can be made explicit through the occurrence of first-class constraints in its Hamiltonian formulation (see, e.g., [7]). This implies that the fields being used, as well as some combinations of them, cannot be given an operational meaning; that is, do not correspond to observable quantities. Probably one of the most well-know (and debated) examples of this feature is the lack of a meaningful local notion of energy density in general relativity (see, e.g., [8], Sec 20.4). Hence we might say, in more intuitive terms, that understanding the emergence of gauge symmetries is understanding how and why quantities that are a priori observable (i.e., the fields themselves) become non-observable.
Here we deepen into this question. Working with particular theories has led us to consider a general definition of emergent gauge symmetries that might be applicable to a large class of systems. In the first part of this paper, section 2, we present this definition. In order to properly grasp its content, it is necessary to define quite precisely what is meant by local, global, gauge, and physical symmetries. Some of these concepts are often used interchangeably: local and gauge symmetries are sometimes considered synonymous terms, while the same happens with global and physical symmetries. The fine distinctions between these notions do not matter in most situations, though they are of essential importance for our discussion. In section 3 we consider a specific example of physical significance in order to illustrate the meaning of the general definition of emergent gauge symmetries, and check that it leads to sensible results. In this paper we restrict ourselves to the example of an abelian field theory of a relativistic vector field, which is complex enough to illustrate conveniently some of the most relevant features. We discuss several aspects of these systems including the behaviour of observables and how they could emerge form a Galilean underlying structure. While the definition of emergent gauge symmetries presented here should irrespectively apply to abelian and non-abelian settings, theories falling in the latter cathegory display important peculiarities that are left for future research. Some brief indications of these peculiarities are given in section 4, along with a discussion of the relevance of the contents of this paper to the emergent gravity program mentioned in this introduction.
Notation and conventions: we work in four spacetime dimensions, though all the results can be equally formulated in arbitrary dimensions. The sign convention chosen for the flat JHEP10(2016)084 metric η ab in Minkowski spacetime is (−, +, +, +). The symbol ∇ denotes always the covariant derivative compatible with the flat metric structure of Minkowski spacetime.
2 Global or local, physical or gauge?

Some definitions
Local and global symmetries are classified quite intuitively by the form they are labeled. When the group parameter labeling a set of symmetries are independent of the position in spacetime, the symmetries are said to be global (or rigid). If the group parameters show an explicit dependence on the spacetime coordinates, the symmetry is said to be local. It is important to note that the current and following nomenclature definitions might deviate from other conventions existing in the literature. However, we find this notation the most convenient one for the aspects we want to highlight.
On the other hand, whether a symmetry of a field theory is gauge or physical is not determined by the form of their group parameters. In finite-dimensional systems, a typical shortcut to know whether a symmetry is gauge or not might be checking whether their group parameters depend on functions or constitute just a finite set of parameters [7,9]. In field theories one has to be careful with this procedure: a field theory has an infinite number of physical symmetries which are parametrized by functions. Hence the occurrence of local group parameters cannot be used as a faithful criterion to tell whether a symmetry is gauge or physical (when the group parameters depend on completely arbitrary functions though, one can be sure that one is facing a gauge symmetry [9]). In controversial situations a possible way to proceed is to perform a canonical Hamiltonian analysis, in which gauge symmetries are associated with the occurrence of first-class constraints [10]. An equivalent procedure is to study the associated Noether currents or charges [7,9].
The evaluation of Noether currents permits to discriminate between gauge and physical symmetries in a simple way. Physical symmetries have associated non-trivial Noether currents that, after integration, lead to non-trivial Noether charges that can be used to parametrize the space of solutions of the classical theory. On the contrary, gauge symmetries lead to trivial (i.e., identically zero) Noether charges. The associated Noether currents J a take the so-called superpotential form (see, e.g., [11]): where W a is zero on shell, W a | S = 0 with S being the space of solutions, and the superpotential S a = ∇ b N ba , with N ab being an antisymmetric tensor, is identically conserved. The classification of gauge and physical symmetries in terms of Noether charges is valid for both finite-and infinite-dimensional systems. Following these definitions, local symmetries are not necessarily gauge symmetries in field theory, as we show in the next section. For the moment let us clarify the definition of physical and gauge symmetries using the well-known example of spinor electrodynamics, with Lagrangian density

JHEP10(2016)084
This example will help us to fix the language that we will use. Eq. (2.2) implies so that the electromagnetic field equations are given by The Lagrangian density (2.2) is invariant under the local transformations with θ an arbitrary real scalar field, containing as a particular case the global transformations for which θ is a constant function. The Noether current associated with the global symmetry is given by namely the current that appears on the right-hand side of the Maxwell equations (2.4).
On the other hand, the Noether current associated with a local symmetry (2.5), defined using a one-parameter group of transformations βθ with β ∈ R for a given function θ(x), is given by This current can be written as This is the superpotential form (2.1) expected for gauge symmetries: a term which vanishes on shell plus a superpotential (i.e., an identically conserved quantity). Let us show explicitly that this form implies that the corresponding Noether charges are trivial on shell. The Noether charge associated to the current (2.8) is given on shell by Here n i is the normal on the two-dimensional boundary surface ∂V of a finite volume V and d 2 σ the measure of integration on ∂V . Now let us take into account the falloff conditions imposed on the fields at spatial infinity in the limit ∂V → ∞. The lack of sources of the electromagnetic field at spatial infinity leads to a decay of the electric field F i0 of the form r −2 . Eq. (2.9) displays a finite value only if θ behaves asymptotically as r α with α ≤ 0. Then only the limiting case α = 0 leads in eq. (2.9) to non-trivial charges, but these are the same charges obtained from the Noether current associated with the global symmetries (2.6), corresponding to the electric charge of the system. The remaining cases with α < 0 lead to identically zero Noether charges. Hence the Noether current (2.8) is trivial in the sense that it does not contain any physical information of the system which is not already contained in the Noether current (2.6) associated with global transformations.

Local does not imply gauge
Following the definitions in the previous section, local and gauge symmetries are not necessarily identified. Indeed, it is possible to construct a quite illuminating counterexample to this premature identification, using the simple setting of a complex Klein-Gordon field φ. We take this example from the work of Aldaya and collaborators [12]. Let us consider the Lagrangian density Being the equations of motion linear on φ, they are invariant under the transformation with χ itself satisfying the Klein-Gordon equation: On the other hand the Lagrangian density changes in a divergence, thus keeping the action invariant; at first order in χ one has The generator of the shift symmetry (2.11) is a functional parameter χ, and hence the symmetry is local (for m = 0 there is not even a global subgroup). However, this symmetry is not gauge: the associated Noether current is non-trivial. This shows that eq. (2.11) is indeed a physical symmetry, albeit local. Indeed, taking a specific complex solution χ of eq. (2.12), the Noether current associated with the one-parameter group of symmetries generated by βχ with β ∈ R is given by 14) It is straightforward to show that this current is conserved on shell, ∇ a J a χ S = 0. Most importantly, the Noether current (2.14) cannot be written in a superpotential form, which shows that the associated symmetries are physical.
To be more explicit, let us also evaluate the corresponding Noether charges to show that they are non-trivial. The physical meaning of the Noether charges associated with the conserved current J a χ is better grasped if we use the decomposition of φ in terms of plane waves. Let us consider specific spacetime coordinates {t, x} and a finite box with finite volume V = L 3 centered at the origin. Periodic boundary conditions on the edges of the box lead to the decomposition of the solutions of the Klein-Gordon equation in terms of plane waves with

JHEP10(2016)084
Here the components of n take integer values, and the value of k 0 represents the positive energy solution of the mass-shell condition k a k a + m 2 = 0. (2.17) The function χ, being a solution of the Klein-Gordon equation, also displays a decomposition of this form. Let us then consider the symmetry transformation associated with specific plane waves, namely The associated Noether charges are then given by and The charge Q R k is the conserved charge associated with the invariance of the action under constant shifts of the real part of a k , namely, (a * k + a k )/2. This is why the resulting value of this charge is precisely the canonically conjugated variable i(a * k − a k )/2. The same complementarity occurs with the charge Q I k . Taking instead of eq. (2.19) the solutions one gets the conserved charges Hence not only these symmetries have non-trivial Noether charges, being therefore physical symmetries, but their Noether charges span the entire space of solutions of the theory. The different solutions of the equation (2.12) that has to be satisfied by the generator χ are in one-to-one correspondence to the solutions (2.18) of the Klein-Gordon equation.
Hence the set of Noether charges associated with local symmetries The main remark to be taken from this discussion is that local symmetries are not necessarily gauge symmetries, being instead helpful to parametrize the space of classical solutions. This simple observation sets the basis for a mechanism that could give a meaning to the emergence of gauge symmetries, as we explain in general terms in the following discussion.

A mechanism for the emergence of gauge symmetries
Let us consider in general terms a field theory that depends on a set of fields collectively denoted by Φ, with S the space of solutions of the classical field equations. For our purposes it is only necessary that the system exhibits no gauge symmetries, that is, all the symmetries of the system must be associated with non-trivial Noether charges. In the canonical language, the corresponding Hamiltonian formulation must be free of firstclass constraints. In general terms the set Q of Noether charges associated with all the symmetries (most of them local in character) of the system can be used to parametrize the space of solutions S. Even though this complete set of symmetries exists, in general it cannot be obtained explicitly as finding it would amount to the complete integrability of the system, not possible in general for non-linear systems.
A further necessary condition for our discussion is that some of the degrees of freedom encoded in the fields Φ are effectively decoupled. That is, there must exist a set of fields Ψ that satisfy a closed system of equations (maybe only approximately), in the sense that non-trivial classical solutions with Ψ = 0 exist. In other words, the subset U ⊂ S defined by the condition Ψ = 0 has to be non-trivial, namely U = {0} with Φ = 0 the trivial solution to the field equations; in general the fields Ψ are not directly a subset of the fields Φ but specific combinations of them and their derivatives. This permits to define a natural projection The projection Π removes the degrees of freedom encoded in Ψ, leaving an effective field theory with reduced space of solutions U . It is not difficult to come up with general examples that permit to make sense of the existence of this kind of projection associated, for instance, with the consideration of the low-energy regime of a given theory. Indeed, imagine a system with gapless (i.e., massless) excitations and a tower of gapped excitations.
Considering the effective description of the system at energies much below the lowest energy gap leads naturally to the projection of any state with momentum k into the gapless branch of excitations. This removes the massive fields and leaves a theory with massless excitations only. It is convenient to characterize the projection Π in terms of Noether charges. Let us recall the assumption that the set of Noether charges Q parametrizes completely the space of solutions of the theory, as in the example discussed in the previous section. It would be then possible to find a subset Q Ψ ⊂ Q of Noether charges associated with suitable symmetries, most of them of local nature, so that Ψ = 0 is equivalently given by Q Ψ = 0 (this can be thought of as choosing adapted coordinates in configuration space). There are then two possibilities depending on the interplay between the local symmetries associated with the Noether charges Q Ψ and the projection Π: 1. There are no local symmetries that preserve the subset U : the effective field theory with space of solutions U has only symmetries with non-trivial Noether charges, that is, only physical symmetries. The sole effect of the projection Π is the elimination of the degrees of freedom parametrized by means of the set of Noether charges Q Ψ .

JHEP10(2016)084
2. There are local symmetries that preserve the subset U : the effective field theory with space of solutions U has both physical symmetries and local symmetries with trivial Noether charges (or equivalently, trivial currents). These local symmetries are emergent gauge symmetries. Indeed, the effect of the projection Π is twofold in this situation. Besides the elimination of the degrees of freedom that stems from its very definition, there is a further reduction on the number of degrees of freedom due to the fact that certain equivalence classes of fields on the subset U are indistinguishable from an operational perspective.
This abstract discussion offers a clear framework in which to formulate the emergence of gauge symmetries, following the path of the second case above. Our next aim is to complement this discussion, showing that all the elements and cases that have been introduced can be explicitly constructed in a detailed example of physical relevance. That is, we will discuss in a particular setting the existence and naturalness of the projection Π, showing how the structure of the original theory with no gauge symmetries leads either to the first or second cases above. A more systematic discussion of the emergence of gauge symmetries along the previous lines could be attained by working in a canonical formalism. The question then will be under which conditions one can introduce in a canonical system first class constraints. We will not pursue this here and concentrate more on the lessons to be obtained from the examples below.

Relativistic field theory of a vector field
The example we will consider is that of a relativistic field theory of a vector field A a . Here A a has four physical components, and the only symmetry requirement is that of Lorentz invariance. The only remaining condition is that the Lagrangian density is quadratic on the field A a ; this will be the most important contribution in any non-linear theory in the limit of small fields. This leads to the Lagrangian density Here ζ and m are arbitrary parameters. For ζ = m = 0 this expression reduces to the standard free electromagnetic Lagrangian density of Maxwell's theory, and hence displays the gauge symmetries that are characteristic of the latter. On the other hand, ζ = 0 and m = 0 leads to the Proca action. All of these systems are well known but here we are offering a rather different perspective on their physical content. The case ζ = 0, m = 0 (from now on ζ-theory) is somewhat more subtle. When analyzing the gauge symmetries of Maxwell's theory it is frequent to consider a covariant gauge-fixing condition: the Lorenz condition ∇ a A a = 0. This gauge fixing still leaves some residual gauge symmetry. Residual gauge transformations are given by A a → A a +∇ a χ with χ = 0. The fact that adding the ζ term to the free electromagnetic Lagrangian density does not break the residual gauge symmetry could lead to think that this symmetry is also JHEP10(2016)084 gauge in the ζ-theory. However, that is not the case: we show below explicitly that these transformations correspond to physical symmetries for ζ = 0, using the characterization in terms of Noether currents discussed above. Accordingly, one would expect the ζ-theory to describe four degrees of freedom. This qualitative estimation is consistent with a more rigorous counting based on the Hamiltonian formulation of the theory, which amounts to the determination of the constraints of the theory and their classification into firstand second-class constraints [7]. Performing this simple analysis we see that no first-class constraints appear in the ζ-theory.
In order to discuss the emergence of gauge symmetries it is convenient to include matter fields to which couple the vector field A a . For simplicity let us consider the Dirac Lagrangian density for fermion fields with the usual coupling to a vector field, namely L D in eq. (2.2). Hence the set of fields being considered is Φ = {A a , ψ}. There are two reasons for this particular choice. First, it makes easier to compare the present discussion with the features of the theory of spinor electrodynamics that has been briefly discussed previously in section 2.1. On the other hand, the theory with Lagrangian density L = L A + L D has been shown to arise as an emergent theory in specific condensed-matter-like systems [13], which gives to this example further physical relevance.
The field equations can be obtained straightforwardly from the Lagrangian density L = L A + L D . The field equation for fermion fields takes the form of the standard Dirac equation, while the field equation for the vector field is given by Here j a =ψγ a ψ is the standard fermion current, which is also the Noether current associated with the global symmetries of the Dirac Lagrangian density L D , The Lagrangian density (3.1) is rather well known, particularly for m = 0 (being in this case the starting point for the Gupta-Bleuler quantization of the electromagnetic field [14]). However, a not-so-well-known fact about it is its invariance under local transformations where χ is not completely arbitrary but satisfies the equation 2 That these local transformations are indeed symmetries can be shown directly using the field equations (3.2). Despite being local, these do not represent gauge symmetries, but rather physical symmetries. This potential confusion can be settled showing that the associated Noether currents (equivalently, charges) are nontrivial.

JHEP10(2016)084
For any solution χ of eq. (3.5) with we may consider a one-parameter set of symmetries generated by βχ with β ∈ R. Taking into account that the Lagrangian density L changes in a divergence, the associated Noether current is given by The first term in the last identity is a superpotential. On the other hand, the remaining terms are non-zero on-shell: Hence the current (3.6) leads to non-trivial Noether charges, implying that the local symmetries (3.4) are physical symmetries. In fact by defining ϕ = ∇ a A a one can see that the last two terms in eq. (3.7), ζ (ϕ∇ a χ − χ∇ a ϕ) , (3.8) have the same form as the Noether current in the previous example (2.14), but for a real field instead of a complex field. The analogy with the previous example of the complex scalar field goes further. The theory we are analyzing includes a source-free equation even in the presence of the fermion current j a . The scalar field ϕ = ∇ a A a behaves as a free scalar field with no sources: using conservation of j a one arrives directly to the wave equation Eq. (3.9) would be valid for any matter content, given that the vector field that is used on the right-hand side of the electromagnetic field equation (3.2) is conserved. Therefore, the local symmetries described by eqs. (3.4), (3.5) have as Noether charges the Fourier decomposition of the free field equation for ϕ. Only for ζ = 0 these symmetries correspond to residual gauge symmetries preserving the Lorenz condition, but for ζ = 0 these are genuine physical symmetries.
Up to now, the example being discussed runs parallel to our discussion in section 2.3. The field theory formulated on the fields Φ = {A a , ψ} displays global and local symmetries, all of them physical as the study of the associated Noether currents establishes. Furthermore, there is a sector of the theory that decouples dynamically: the field ϕ = ∇ a A a follows the evolution equation of a free scalar field. This permits to define the projection Π in terms of Ψ = {ϕ}. The space of solutions S contains all the solutions to the wave equation (3.9). However, the lack of sources in this field equation makes natural to consider the projection into the subset U defined by a trivial value of this scalar field, ϕ = 0. The action of Π is defined on the field A a (its action over the fermion field ψ is trivial) as

JHEP10(2016)084
where ξ is given in terms of a Green function G(x, x ) of the d'Alembert operator and the value of ∇ a A a as Alternatively, we can use the Helmholtz decomposition of the vector field A a to write it in terms of its longitudinal and transverse parts as where ξ satisfies eq. (3.11). The field content in the vector field A a can be parametrized in terms ofĀ a and ξ or, equivalently,Ā a and ϕ = ∇ a A a = ξ. Then the action of Π is defined on the pair (Ā a , ϕ) simply as Following the parallelism with our previous abstract discussion in section 2.3, the Noether current (3.6) associated with a local transformation (3.4) is rendered trivial on the subset U : whereF ab = ∇ aĀb − ∇ bĀa . As in the spinor electrodynamics case discussed in section 2.1, the Noether charges associated with the Noether current (3.14) are trivial. Let us summarize the relevant elements that have appeared so far in this example. The starting point is the Lorentz-invariant Lagrangian density (3.1) plus the Dirac Lagrangian density. From the classical equations of motion it follows that: 1. Some of the degrees of freedom are decoupled, satisfying equations of motion with no sources.
2. In the absence of field sources in the boundary of spacetime, trivial (i.e., identically zero) solutions are naturally selected for these fields.
Both features imply that some degrees of freedom are frozen in effective terms, though they might be excited at high energies due to, e.g., terms that violate Lorentz invariance explicitly. This leads to ϕ = 0 as a dynamical condition that is satisfied on-shell, which is identified with the projection Π defined in general terms in section 2.3. 3 Now, depending on the interplay between the local symmetries (3.4) and the subset U defined by means of the projection (3.13), the system would display emergent gauge symmetries or not. Let us consider in detail both cases as discussed in section 2.3.

No emergent gauge symmetries: massive case
For the massive case m 2 = 0, the local symmetries

JHEP10(2016)084
do not preserve the subset U . Indeed, the last identity in eq. (3.15) implies that any of these local symmetries changes the scalar field ϕ = ∇ a A a as (recall that ζ = 0) Hence the local symmetries (3.15) do not preserve the subset defined by ϕ = 0. The projection Π eliminates one of the four original degrees of freedom that are present for ζ = 0 and m = 0. The degree of freedom that is removed is parametrized by ϕ, and is decoupled from the rest of fields. On the subset U defined by ϕ = 0, the resulting theory displays three degrees of freedom and is equivalent to a Proca field theory with ζ = 0. Proca's theory yields directly as an equation of motion ϕ = ∇ a A a = 0, being in practical terms absolutely equivalent to the restriction of the theory with ζ = 0 to the subset U defined by the condition ϕ = 0. Proca's theory has therefore 3 degrees of freedom, corresponding in physical terms to a massive photon. Let us also recall that Proca's theory is an example of a theory with second-class constraints, which eliminates directly one degree of freedom.

Emergent gauge symmetries: massless case
For the massless case m = 0 the situation changes drastically. All the local symmetries (3.15) with m = 0 preserve the subset U . Hence all of these transformations qualify as emergent gauge symmetries, as the associated Noether charges are rendered trivial due to the projection Π. In other terms it is not possible to operationally distinguish between solutions that fall in the same equivalence class defined by the equivalence relation of being related by the transformations From the perspective of the fieldsĀ a and ψ, it is natural to assume that solutions within the same equivalence class represent the same physical solution. As in the massive case discussed above, the projection Π removes one degree of freedom from the system through the condition ϕ = 0. Now the emergent gauge symmetries remove another degree of freedom, leaving only the two degrees of freedom of standard electromagnetism (corresponding to transverse photons). From a canonical perspective, the canonical momentum associated with A 0 leads to a first-class (primary) constraint The resulting theory is then equivalent to the standard electromagnetic theory with both ζ = m = 0. Indeed, on the subset U the electromagnetic field equations (3.2) are reduced to the Maxwell equations in the Lorenz gauge ∇ aĀ a = 0, Nonetheless, and this is the main point of the paper, these equations arise in a system with no gauge symmetries in its original definition. The emergence of gauge symmetries only JHEP10(2016)084 make sense under the imposition of certain (natural) restrictions. From this perspective the ζ-theory has 4 degrees of freedom that, in some circumstances, appear effectively as if only two were operating. Hence in the massless case the Lorenz gauge condition would be better understood as a physical condition that ensures the effective decoupling of two of the degrees of freedom in the original theory. In section 4 we will also discuss this decoupling from the point of view of the stress-energy tensor.
Regarding this example, the ζ-theory, we can finally say that standard electromagnetism with its gauge invariance will emerge as soon as Lorentz invariance appears, the excitations are gapless, and natural boundary conditions are satisfied. It is interesting to stress that the claim just made, that electromagnetic gauge invariance can be seen as deriving from Lorentz invariance, has a different flavor than the grammatically equivalent assertion made for instance by Weinberg in [19], page 289. Given that in standard quantum field theory the massless limit is usually associated with the high-energy limit, a potentially confusing feature of this example is that the theory we are considering to describe a suitable low-energy limit is associated with massless excitations. However, this is not the adequate formalism to describe the way in which we are approaching the lowenergy limit. Rather we are considering a more general situation defined by analogy with well-known examples, such as condensed matter or string theory, in which the spectrum of excitations contains gapless (low-energy) and gapped (high-energy) modes. In these cases a small transfer of energy to the system would excite only the gapless modes, so that the low-energy phenomenology is controlled by massless excitations, probably showing certain emergent features which are not shared by gapped excitations. Gapped excitations can only be excited at high energies. This is the justification of the example developed in this section. In other words, a theory with no gauge symmetries will display emergent gauge symmetries if this example describes its gapless excitations.

Some comments regarding quantization
The discussion and definitions above have been entirely classical. As the example that has been worked out shows explicitly, the definition of the projection Π and the corresponding decoupling of certain degrees of freedom seems to rely on conditions that hold only on shell. In quantum field theory some off-shell properties are inevitably explored as a part of the theory. For this reason, one could suspect that this mechanism might break down when introducing quantization. Let us detail why this is not the case. Indeed, it is truly remarkable that the quantum-mechanical translation of the classical description given above is completely parallel to the indefinite, or Gupta-Bleuler quantization of the electromagnetic field (see, e.g., [14] for a textbook discussion). In quantum spinor electrodynamics, some of the features of this particular quantization procedure arise somewhat artificially, such as the introduction of the so-called gauge-breaking term proportional to (∇ a A a ) 2 (i.e., taking a theory with ζ = 0), and the subsequent imposition of the Lorenz condition on physical states.
In the indefinite quantization, a complete set of four independent pairs of creationannihilation operators are introduced for the vector field operatorÂ a . Then, from the canonical commutation relations one obtains the commutation relations for the creation JHEP10(2016)084 and annihilation operators We use A, B to represent the different polarizations, which being four in this case (corresponding to the four components ofÂ a ) are formally equivalent to a spacetime index. The negative sign on the left-hand side of (3.20) for the 0-polarization tells us that the Hilbert space will contain states of negative norm. However, these states with negative norm decouple from physical observables, as long as the electromagnetic field interacts with matter fields through a conserved current. The complete classical decoupling of the additional degrees of freedom of this theory with respect standard electromagnetism occurs when the classical solution ∇ a A a = 0 is singled out by means of the projection Π. This equation cannot be enforced as an operatorvalued equation, though. Remarkably, an equivalent quantum decoupling follows from the (operator-valued) field equations, by requiring the following condition to be satisfied by on-shell quantum states |ψ in the Hilbert space H: This condition guarantees that the condition ∇ a A a = 0 is verified in the classical limit. A slightly stronger but equivalent condition takes the form ∇ aÂ(+) a |ψ = 0, (3.22) where the (+) represents the annihilation part (positive energy) of the operator ∇ aÂ a . Either (3.21) or (3.22) would represent the analogue of the projection Π in the quantum theory. Let us stress that this is one of the points that work straightforwardly in the abelian case, but which could lead to subtleties for non-abelian interactions. 4

Emergent gauge symmetries and observables
We have been discussing how physical symmetries could lead to emergent gauge symmetries under certain natural conditions. The emergence of gauge symmetries implies that some quantities, such as some of the very degrees of freedom encoded in the basic fields Φ, lose their operational meaning. In this section we focus our attention in this feature using the example developed above with values of the parameters in eq. (3.1) given by ζ = 0 and m = 0.
Leaving aside the most basic observable quantities that lose their operational meaning, namely the very fields of the theory, let us focus on a specific quantity with physical significance: the stress-energy tensor. For the sake of simplicity we intentionally omit matter fields in this discussion (their explicit consideration does not change the conclusions). Application of Hilbert's prescription leads to the expression 4 A possible route to overcome this problem is starting with abelian settings and then consider the nonlinear completions that extend naturally this linear decoupling.

JHEP10(2016)084
What we want to highlight is that the stress-energy tensor above is not in general invariant under the local symmetries Let us recall that ϕ = ∇ a A a behaves as a free scalar field, verifying eq. (3.9). The most natural solution of this equation is ϕ = 0, but we could also propose any solution of the form (2.15) (working again on a finite volume V ), namely with k a k a = 0 and k 0 > 0, or any superposition of them (here we understand ϕ as a complex extension of the real field). A given functional form of ϕ can be fixed a priori precisely because ϕ is not changed by the transformations (3.24). If one selects the solution ϕ = 0 then the stress-energy tensor in eq. (3.23) becomes the standard Maxwell stress-energy tensor (containing only the first two terms in the latter equation). In this case the stress-energy tensor is invariant under the emergent gauge symmetries (3.24). However if we choose a non-zero solution like (3.25) the stress-energy tensor happens to be non-invariant. Under a local symmetry (3.24) one has Note that the stress-energy tensor is defined up to a superpotential, i.e., an identically conserved term. One might think that it could be possible to add a suitable superpotential to the stress-energy tensor (3.23) to make the overall expresion invariant under the local tranformations (3.24). But this is indeed not possible. Given that adding a superpotential does not change the conserved charges, the simplest way to show this is to prove that the associated conserved charges P a are not invariant, where From eq. (3.26), their finite change ∆P a = P a −P a under a local symmetry (3.24) is given by To show that the charges are not invariant it is enough to show that this is valid for a particular generator of the local symmetry (3.24). Let us then make the choice again withk ak a = 0 andk 0 > 0. Then we have The integration over the spatial coordinates x leads to a Kronecker delta δ k,k . Since both 4-vectors k a andk a are null and of positive energy, k =k implies thatk a = k a . Then, we obtain ∆P a = ζδ k,k k a . (3.31) Given a general solution for the field ϕ = (a k ϕ k + a * k ϕ * k ) the variation associated with the previous symmetry will result in ∆P a = ζakk a . (3.32) One could say that the symmetry extracts from the field its specific Fourier component. Hence the conserved charges associated with the stress-energy tensor are not invariant under the local symmetries (3.24). This is of course very sensible for a physical symmetry. We have already discussed in section 3 that local symmetries (3.24) are not gauge but represent indeed physical symmetries. The transformation of the conserved charges associated with the stress-energy tensor is just another manifestation of this feature: physical symmetries connect different physical solutions which in general have different conserved charges. The stress-energy tensor contains terms which depend directly on the functional form of the free scalar field ϕ. When we choose ϕ = 0 we are kind of imposing a background field (physically there seems to be no reason to justify a particular choice) and different states related by the residual symmetry interact with this background in different solutions, thus having different energies and momenta. There are two exceptions to this behavior. One of them is the trivial one: for ζ = 0 we recover the standard electromagnetic case in which the local transformations (3.24) are gauge symmetries, and hence do not change the conserved charges used to parametrize the space of solutions. Most importantly, this is also the case when we consider the projection Π to the subset ϕ = 0 of the space of classical solutions and the local transformations (3.24) are understood as emergent gauge symmetries. In this situation, not only the charges are invariant, but the very stress-energy tensor (3.23) is. That is, starting from a stress-energy tensor that is not invariant under a set of local symmetries, which is not surprising due to the physical nature of these symmetries, we end up with a stress-energy tensor which is invariant under the emergent gauge symmetries. From the perspective taken here, this is a peculiarity that stems from the structure of the example analyzed here. For instance, it is reasonable to imagine a situation in which the stress-energy tensor results to be non invariant under the emergent gauge symmetries, but the charges are. In other words, what is observable or not in the effective theory with emergent gauge symmetries depends on the nature of the projection Π and the very structure of the theory being analized; it is an outcome, not an a priori imposition. This is of clear importance to the emergent gravity program, as we describe in section 4.

Emergence of electromagnetism from a Galilean vector field
Except for this subsection, in this article we have assumed that a full Lorentz symmetry is at work from the start. Instead, here we are going to discuss how the emergence of a Lorentz symmetry in a Galilean system with only a basic Galilean vector field can lead JHEP10(2016)084 directly to standard electromagnetism. This subsection is a bit aside the main theme of this article, and can be skipped without loosing the main track. However, we have included it because it resonates with the key ingredients of the rest of the article.
Lorentz symmetry might be an emergent feature of high-energy physics not having this symmetry. The literature in this subject is large; for a small sample see for instance [20][21][22][23][24][25][26][27][28][29][30] and references therein. Not knowing the characteristics of this high-energy physics, one typical choice is to model it as a Galilean theory, which can be argued to be the simplest space-time structure. Indeed, it is by now well known that it is quite easy and ubiquitous to obtain emergent Lorentz symmetries in Galilean systems, through the presence of Fermi points [25,26]. In [26,31,32] it is shown how the use of Lorentzian notions might be just an epistemological election, appropriate for the description of a system by internal observers that do not want to use fiduciary external extructures in their description. For example in [32] it was shown that one can obtain the phenomenology of special relativity, for example the Michelson-Morley experiment, within an emergent scenario of low-energy fields living in a fiduciary external Galilean world. For that a crucial ingredient is that the clocks and rulers used by internal observers in the system are made themselves of the very same low-energy fields.
If the effective low-energy physics of a Galilean theory is described by a single scalar field, we can trivially say that a Lorentz symmetry has emerged if one shows that at low energies this scalar field happens to satisfy a Klein-Gordon equation. In terms of Galilean physics the next spatial structure one could be interested in, thinking in the next level of complexity, is a vector field V i . However, when the relevant effective field in the Galilean world is a vector field, it is not so direct to discern whether some relativistic behavior has emerged.
Imagine that we derive that at low energies the vector field satisfies where j i P is some physical source current; for simplicity we are using Cartesian coordinates in the Galilean world. Being V i a spatial vector this is not quite a completely covariant relativistic equation. However, some formal manipulations can make the system to look like completely relativistic. One can define a scalar potential with the same dimensions than V i implicitly through the equation This is not an independent quantity but completely fixed once one knows V i . Now, by assuming that the physical current satisfies a continuity equation one can straightforwardly show that The continuity equation fixes the functional form of the physical density except for the addition of an arbitrary function f (x). Once we choose a specific ρ P we can write

JHEP10(2016)084
The physical density can be defined precisely as the one choosen to appear as the source of V 0 . The previous equation can be combined with (3.33) resulting in (3.37) which is a fully relativistic equation. Once the full Lorentz symmetry is obtained it is a simple matter to decide working in any system of coordinates, not just Cartesian. Equation (3.37) is equivalent to the standard Proca equation once we take into account the existence of the Lorenz condition ∂ a V a = 0 [which now comes from the definition (3.34)]. In the source-free case, they exhibit the symmetry V a → V a + ∂ a χ with (∂ a ∂ a − m 2 )χ = 0. Moreover, in the case in which one assumes that the mass term can be neglected, these equations are exactly the standard electromagnetic equations in the Lorenz gauge.
Up to here the line of thought we have followed to add the field V 0 has been driven by a formal reasoning. However, it is interesting to realize that there are also physical reasons to do that. In a theory with just V i and equation (3.33) one can imagine situations in which j i P is zero from a specific moment of time on. Imagine for example a distribution of electric charges that become static at that time; let us also assume that there are no free waves present and that the total charge is zero. Then, it is reasonable to think that V i should be zero from that moment on because of the equation (∂ a ∂ a − m 2 )V i = 0. In turn, one could tend to think that the configuration has no energy as the only object available to define an energy is V i . However, thinking for instance in the previous charge configuration, one might start to suspect that this could or could be not the end of the story.
The definition of V 0 as the time integral of ∂ i V i makes it a variable that knows how an actual static configuration comes into being from a hypothetical initial state with no sources of any kind. The variable V 0 compiles this information; for instance, V i can be zero from some time on but this does not imply V 0 = 0, only that it does not depend on time. Therefore, the energy of the configuration could depend on the variable V 0 and could in general be non-zero even with V i = 0. This observation highlights the special status that a variable V 0 might have in the theory. In the case in which V 0 contributes to the energy of the system this variable acquires a real and independent status as a configuration variable: changes in V 0 (time component of the photons) are directly related and only related with changes in ∂ i V i (longitudinal component of the photons); instead, transverse changes are decoupled from V 0 (tranverse components of the photons) and can exist by themselves and propagate freely.
The situation we end up with is the following. From an emergent perspective, one could identify physical quanties underneath an effective low-energy electromagnetic field. As Maxwell himself did with his mechanical model of electromagnetism (see the discusion in [13] and references therein), one could identify some physical quantities playing the role of magnetic and electric fields. However, there is an even simpler description for the electromagnetic phenomena in terms of just one Galilean vector field. Physically this vector field represents some sort of flow field adapted to the flow of charges. Remarkably, a crucial ingredient for this description to be possible is that the instantaneous value of the field V i happens to be not enough to describe the instantaneous physical configuration. It might happen that to have at an instant all the information about the physical configuration JHEP10(2016)084 we need also V 0 , which takes into account how a particular configuration was obtained from the past evolution of the flow fields (i.e., V i and its relative j i P ). For instance, the stress-energy densities of a theory exhibiting a complete Lorentz symmetry would depend on the vector field V i and the scalar field V 0 , the latter one entering in the energy with a negative sign. Only when the theory for a Galilean vector field is of this sort one would have that in the massless case there is no observable that distinguishes a configuration V a from one V a = V a + ∂ a χ. Formally, the system would exhibit a gauge symmetry.
The previous discussion is true as long as the Lorenz condition eq. (3.34) is satisfied. However, there is a degeneracy in this very definition, in the following sense. Eq. (3.34) is not the most general equation leading to the Lorentz-invariant field equations (3.37). Indeed, the most general implicit definition of V 0 leading to the field equations (3.37) is given by Hence non-trivial solutions for ϕ break the tight connection between the time and longitudinal component of photons. Interestingly, it is for ϕ = 0 when we recover both this connection and the emergence of gauge symmetries in the massless case m = 0. Indeed, this setting is essentially the same we have been discussing above for the particular value ζ = −1 (the so-called Feynman gauge). This example leads to additional physical motivation for the imposition of the Lorenz condition, being the most natural among the choices in eq. (3.38).
To end up this section let us just say that it is remarkable how intertwined is the emergence of a Lorentz symmetry in a Galilean world with only one vector field with the emergence of an effective standard electromagnetism with its gauge symmetry. At the same time it is also remarkable how simple and natural is the scenario just described.

Further discussion and scope
In the example analyzed in section 3, starting from a stress-energy tensor that is not invariant under a set of local symmetries we end up with a stress-energy tensor which is invariant under the emergent gauge symmetries. From the perspective taken in this paper this is a peculiarity of the example analyzed, but not a generic feature applicable to an arbitrary system. The emergence of gauge symmetries following the discussion in section 2.3 implies that certain quantities lose their operational meaning. The determination of the quantities that retain their operational meaning has to he performed in a case-by-case basis. This is of relevance to understand the interplay between, e.g., the Weinberg-Witten (second) theorem [4] and the emergent gravity program. This theorem is formulated in the framework of linearized gravity (i.e., described by means the Fierz-Pauli theory of a tensor field h ab ) and asserts that one cannot construct a non-trivial Lorentz covariant stress-energy tensor for massless spin-two particles or, equivalently, for the tensor field h ab . This is true independently of whether these particles are fundamental or composite (see also the discussion in, e.g., [33]). By a Lorentz covariant stress-energy tensor they meant an object with a well-defined notion of local stress-energy densities, that is, an object which is invariant under the gauge transformations of the theory. Assuming that condensedmatter-like systems (or any system in general that does not contain gauge symmetries) do

JHEP10(2016)084
have a well-defined notion of local energy for all their degrees of freedom, one is pushed to conclude that from these degrees of freedom one would not be able to build up something mimicking a spin-two particle. The discussion in this paper invites to reconsider this line of thought. Indeed, it is possible that there exists a way to embed the Fierz-Pauli theory in a theory with no gauge symmetries, and hence with a local notion of energy, so that the former arises due to the projection to a suitable subset of classical solutions, in complete parallelism with our discussion of the electromagnetic example developed in section 3. Note that Fierz-Pauli theory is also a linear theory, which makes the comparison with the electromagnetic example quite acceptable. The only novelty in this case would be that the stress-energy tensor of the (linearized) gravitational field turns out to be non-invariant under the emergent gauge symmetries.
A similar comment applies to the results raised out recently by Marolf [5]. He argues that any condensed-matter-like system aiming to reproduce general relativity at low energies should contain some kinematic non-locality. In more general terms, the degrees of freedom of the bulk have to be trivial, leaving only the boundary degrees of freedom. Note that Marolf's results are intrinsically nonlinear and hence the interplay between the particular example developed in this paper and these results is subtler. But again, the suggestion coming from our general discussion in section 2.3 is the same. Marolf's results arise from the assumption that the gauge invariance of general relativity has to be preserved in some sense in the condensed-matter-like (or of any other kind) system. We have shown nevertheless in this paper that emergent gauge symmetries can arise from physical symmetries when a natural restriction on the space of solutions of a given theory with only physical symmetries is considered. Hence this opens the possibility to the existence of a theory with no gauge symmetries and with both bulk and boundary degrees of freedom, in which the degrees of freedom of the bulk are frozen due to the existence of a natural (local) projection to a subset of the space of classical solutions, and not as a characteristic of the very theory. Of course, at the moment this is only an intriguing possibility; we are currently studying the construction of a specific example that materializes this possibility. This is inextricably related to the point raised in the paragraph above concerning the Weinberg-Witten theorem. A quite natural possibility we are considering is starting with a linear theory leading to a satisfactory picture of emergence of gauge symmetries in Fierz-Pauli theory along the lines sketched in the paragraph above, and then complete this construction in a nonlinear fashion following the same rules that permit to obtain general relativity from Fierz-Pauli theory through the inclusion of self-interactions [34][35][36]. Results of this ongoing research will be reported elsewhere.
Let us add a final note on the problem of emergence of diffeomorphism invariance. Some works have found stringent bounds to some potential violations of this symmetry in Nature [37]. We want to stress here that whenever Lorentz invariance is at work, the type of gauge-breaking terms we are considering would be absolutely non-observable due to the exact decoupling we described. From the perspective of this paper, any observable violation of diffeomorphism invariance would be tightly associated with violations of Lorentz invariance (a connection that is also suggested in [38]). These stringent bounds therefore are in tune with the equally stringent bounds found for Lorentz violations.