Temporal vs spatial conservation and memory effect in electrodynamics

We consider the standard Maxwell’s theory in 1+3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1+3$$\end{document} dimensions in the presence of a timelike boundary. In this context, we show that (generalized) Ampere-Maxwell’s charge appears as a Noether charge associated with the Maxwell U(1) gauge symmetry which satisfies a spatial conservation equation. Furthermore, we also introduce the notion of spatial memory field and its corresponding memory effect. Finally, similar to the temporal case through the lens of Strominger’s triangle proposal, we show how spatial memory and conservation are related.


Introduction
Contrary to the thought that the gauge symmetries in gauge theories are redundancy, they can lead to non-trivial charges in the presence of boundaries [1][2][3][4][5][6].For example, Maxwell's theory in the presence of a codimension-1 spacelike and lightlike boundaries yields an infinite extension of the global electric charge, Q λ = λ(x)E • da [4,5,[7][8][9][10][11][12][13][14].This equation reduces to standard Gauss's law for λ(x) = 1, and we call it generalized Gauss's charge for a generic λ(x).It can be very beneficial to experiment with this charge using different surfaces.Indeed, Lorentzian geometry allows us to have three kinds of boundaries: timelike, lightlike, and spacelike.In this paper our focus will be on timelike boundaries.These sorts of boundaries arise when we are interested in the Maxwell theory in a box [15][16][17][18] or as another example one may also note to the timelike boundary of AdS spacetime (for symmetries and charges of a generic timelike boundary in gravity see [19]).
Furthermore, it has been demonstrated using timelike boundaries instead of spacelike boundaries (Cauchy surfaces) provides a more direct route to celestial holography [20].To be more specific, celestial currents naturally are defined on codimension-2 integrals which are spanned with a time coordinate and a spatial coordinate.The codimension-2 nature of celestial currents raises the question of whether they can be derived as surface charges of underlying gauge symmetries.In [20], it was shown that the answer is affirmative and that starting with a codimension-1 timelike surface does the job.
In this paper we consider the Maxwell theory in 1 + 3 dimensions in presence of a codimension-1 timelike boundary (1+2 dimensional hypersurface).Interestingly, we show how studying charges over these 1+2 hypersurfaces prompts us to the generalized Ampere-Maxwell's charge (see equations (2.14) and (2.16)).Similar to the generalized Gauss charge, its global part reduces to the standard Ampere-Maxwell law.
The definition of charges over spacelike and timelike surfaces yields two aspects of charge conservation as we call them temporal and spatial respectively.These definitions show up naturally in the framework of gauge theories.As a key property of charges in gauge theories, they are expressed as an integral over a codimension-2 surface and hence are called surface charges.So, they can generically depend on two coordinates and hence we can explore their conservation along each of them.Assume one of these coordinates to be time and the other one to be one of our spatial coordinates.In this regard, we can respectively define two kinds of conservation laws: temporal and spatial.We will clarify the low dimensional property of charges in gauge theories implies a neat relation between charges associated with these two types of conservation.
Memory fields are defined as the change of a gauge field between early and late times when the associated field strength vanishes (see equation (3.1) and e.g.[21][22][23]).On the other hand, memory effects are designed as a physical setup to relate the permanent shifts in probe quantities (such as position, velocity, and spin) to the memory fields after this long period of time [5,[24][25][26][27][28][29][30][31][32].
In this paper, we ask if such a phenomenon also has a spatial version.Intriguingly, we will see the answer is affirmative and we define the spatial memory fields as the change of a gauge field between two spatially distant locations where the field strength associated with the gauge field vanishes.Similar to the temporal case, we show that there exist spatial memory effects which relate the permanent shifts in the probe quantities between two distant places.
From the Strominger triangle proposal [5], we know that temporal conservation and memory effects are related.One can ask whether such a relation holds for spatial ones.Interestingly, we extract an explicit connection between spatial conservation and spatial memory that reveals an exact analogy with the temporal one.However, one may note that here we do not have the notion of "soft states" and IR physics similar to Strominger's "IR triangle", more precisely we instead consider "low momentum" physics (along one of the spatial directions). 1he organization of this paper is as follows.In section 2 we briefly review the generalized Noether charge associated with U (1) gauge symmetry in the Maxwell theory and the relation between temporal conservation and Gauss's law.Then we illustrate how the spatial conservation similarly leads to generalized Ampere-Maxwell's charge which the correspondence charge (the generalized electric current) generates a gauge transformation.After that in section 3 we propose the notion of spatial memory field and its corresponding probes and explain how the memory field is generated by the generalized electric current.Finally, in section 4 we show how the spatial conservation of generalized Noether charge and the spatial memory effect are connected.
We consider the standard Maxwell theory of electrodynamics in the presence of a generic matter field ψ with the following action where the field strength F αβ is given by This theory respects the gauge transformation when is accompanied by an appropriate transformation of matter field δ λ ψ(x) 2 .By varying the action with respect to the A α and ψ we can obtain the equations of motion as where the current j α is defined as j α = ∂L M ∂Aα .Using the standard Noether's procedure it is easy to obtain a conserved Noether current associated with the mentioned symmetry One can simply show this Noether current is conserved on-shell, ∂ α J α λ = 0.By applying the equations of motion (2.3), we can rewrite the Noether current as a total derivative As one may expect from the Noether theorem for gauge theories, the corresponding conserved charge Q λ = Σ dΣ α J α λ must be given by a codimension-2 integral Here Σ is a codimension-1 hypersurface with ∂Σ as its boundary (boundaries) 3 .This is the key property of gauge theories which was mentioned in the introduction.As we will argue in the following, this equation is equivalent to the generalized form of Gauss's and Ampere-Maxwell's charges for spacelike and timelike hypersurface Σ respectively.
To get intuition on the Noether current (2.4), let us look at its temporal and spatial components.To do so, we assume the metric of the spacetime to be flat ds 2 = −dt 2 + h ij dx i dx j 4 and we also use definitions 3 It is useful to note that λ(x) is a function over the whole spacetime and not just Σ or ∂Σ. 4 Where spatial metric hij in the Cartesian, Cylindrical and Spherical coordinates takes the following form to obtain components of J α λ = ( λ , J λ ) as following For the global Noether current, λ(x) = 1, we have They respectively coincide with the Gauss and Ampere-Maxwell laws.
Roughly speaking, we can think about the Noether current for generic λ(x) as a differential form of the generalized Gauss and Ampere-Maxwell charges.
In the following section, we use these results to explore well-known temporal conservation as well as its spatial counterpart.

Temporal Conservation and Gauss's Law
As mentioned, the notion of the conserved charge Q λ (2.6) depends on the nature of the hypersurface Σ.It is common to assume that Σ = Σ t to be a spacelike hypersurface at t =const.Then by using the relationship between components of strength tensor and electric field F 0i = E i , the Q λ reduces to (e.g [4,5,7,9]) (2.9) Simply this integral computes the flux of electric field E through the codimension-2 boundary ∂Σ t , and is just the standard Gauss's law for λ(x) = 1.For non-constant λ(x), it may be dubbed as (the integral form of) generalized Gauss's charge.
To get more insight into the conservation of Q λ , it is worthwhile to calculate dQ λ dt .We start from and perform an integration over a codimension-1 spacelike hypersurface Σ t to obtain Finally, by using the explicit form of J λ from equation (2.8), we get Clearly, the rate of change in charges is given by their flux through the spacelike codimension-2 boundary ∂Σ t (see figure 1).For global part, λ(x) = 1, we have the standard conservation of the electric charge dQ dt = − ∂Σt j • da .

Spatial Conservation and Ampere-Maxwell's Law
As we saw in the previous subsection, the relationship between conservation and its derivation through Noether's theorem does not rely on the codimension-one surface being spacelike (Cauchy).So it makes sense to explore this conservation for other types of surfaces as . Left: Electric charges in a segment of flat wire (yellow) at fixed times is given by Q (t) = dxdydz ρ.Right: Electric charges that pass through z = const sections of a flat wire (yellow) during a time interval is given by Q (z) = dtdxdy j z .
well.With this in mind, we examine Maxwell's electromagnetism when there is a timelike boundary present.In this regard, here we assume that Σ = Σ z is a timelike hypersurface at z = const (for reasons of simplification we will use the cylindrical coordinates system {t, s, φ, z}).In this case, one may rearrange continuity equation where ∇• is divergent operator on z = const hypersurface (it contains derivatives along {t, s, φ}).Now we can consider J z λ as a kind of charge density and define the corresponding charge by integration over a timelike codimension-1 hypersurface Σ z as Q One may compare this definition with (2.10).We can employ (2.8) to get Here Σ zt denotes a codimension-2 surface at t, z = const and dσ is its area element (in z direction) 5 .Now the Stokes theorem lets us to rephrase the recent equation as where d stands for the line element tangent to ∂Σ zt . 6othing Q (z) λ = dt dσJ z λ is just the total charge that passes hypersurface Σ z during a certain time interval, so we naturally define a generalized electric current as (2.15) Using this we get the generalized Ampere-Maxwell's charge .16)This equation reduces to the standard Ampere-Maxwell's law for λ(x) = 1, and ∂ t (λ(x)E) indicates (generalized) displacement current.Intriguingly, it implies that λ as the spatial conserved charge of gauge transformation (2.2).Alternatively, a simple calculation (see appendix A) shows this charge generates gauge transformations as one may expect: (2.17) Equations (2.16) and (2.17) are parts of this paper's main results; to our knowledge, they have not been previously reported.
Naturally, we would like to interpret λ as a conserved quantity along spacelike diz and so introduce the notion of spatial conservation.To illuminate this, let us start by integrating the continuity equation Noteworthy, using the definition of I λ we can read the spatial conservation law for the generalized electric current as Where we have defined ∆ x O ≡ O(x 2 ) − O(x 1 ) and in cylindrical coordinates Γ denotes the lateral boundary of a cylinder.This shows the change in the amount of the current between Σ tz 2 and Σ tz 1 surfaces is equal to the difference of (generalized) displacement current through them as well as the flux passing through the lateral boundary.
From Stromiger's triangle proposal [5], conservation law (associated with asymptotic symmetries in gauge theories) and memory effects are related.So naturally one may be looking for the memory effect corresponding to the spatial conservation law (2.13).By this motivation, in the following sections, we will define the spatial memory field and its corresponding spatial memory effect and demonstrate how this memory relates to spatial conservation of (2.16).

Temporal vs Spatial Memory
The temporal memory field is defined as the difference of gauge potential (A α ≡ (A t , A)) at two different times (e.g.[21,23,29,33]) where ∆ t A(x) is a field over the space (not spacetime).One can rewrite this equation in terms of the electric field E = −∂ t A + ∇A t as follows where the temporal gauge A t = 0 has been used.For simplicity's sake, let us consider the non-relativistic regime, then Newton's second law m dv dt = qE, implies the relationship between the temporal memory field and the change in the velocity of a charged point particle at two different times where ∆ t v x denotes the velocity change of a probe that initially is located at x 7 .This relation provides a setup to measure the temporal memory effect and is dubbed as the kick memory effect [29].One may note that for E −T = 0 = E +T , the memory field ∆ t A(x) shows a pure gauge transformation which is generated by Q λ (2.9).This is the first signal that memory effect and surface charges associated with large gauge transformations are related concepts [5].Nothing prevents us to define spatial memory fields as the difference of the gauge field at two different spatial positions.For simplicity's sake, here we only consider the magnetostatics case and work in the cylindrical coordinate.In this case, we define the spatial memory field for the radial component of A,8 where the memory field ∆ z A s (s, φ) is defined on Σ tz surface.Similar to the temporal case, one can exploit B = ∇ × A to express the memory field in terms of the gauge invariant quantities here we used the gauge ∂ s A z = 0 and assume B z = 0. Again using m dv dt = qv × B, the spatial memory effect can also be expressed in terms of the velocity difference of a charged point particle where ∆ z v s (s,φ) shows the velocity change of a charged particle which initially is located at (φ, s) and moved from −Z to +Z.To obtain the recent equation, we used an approximation exactly similar to the temporal case (3.4). 7To be more precise, we note that in equation (3.3) we have an approximation, namely, To clarify the notion of the spatial effect, assume we have a point particle with a nonvanishing initial velocity.In the absence of external force, this particle keeps its initial velocity.Now suppose this particle enters a region where the magnetic field is a nonzero, magnetic region, and then leaves that region.Now we can compare its initial velocity (before entering the magnetic region) and final velocity (after leaving the magnetic region).Equation (3.7) shows this change of velocity is encoded in the spatial memory field.It is comparable with the temporal memory effect where the interaction of a charged particle with the electromagnetic field during a finite time interval changes particle velocity [29,30].
One may note that the probe of memory effect is not unique.For example, we can consider the total torque on a series of magnetic dipoles which are located over a certain path, namely (m × B) x dz = −m z ∆ z A x , in ∂ x A z = 0 gauge.Here, the total torque is an observable quantity and is proportional to the memory field.
To see how the spatial memory field and generalized conserved charge λ (2.15) are related, let us assume the magnetic field vanishes at z = ±Z, it implies the gauge field A is a pure gauge at these points.Hence, the memory field ∆ z A s (s, φ) is given by a pure gauge transformation with gauge parameter λ (s, φ, +Z) − λ(s, φ, −Z).As we have discussed, in the previous section and (appendix A), this transformation is generated by

17).
As the last comment in this section, we note that the relativistic Lorentz force is given by m dp dt = q(E + 1 c v × B) where p α = (p 0 , p) = m(U 0 , U) and U α = dx α dτ .By integrating over time, the first term in the Lorentz law leads to the standard temporal memory effect, and also the second term yields to the spatial memory effect ∆p = −q ∆ t A + 1 c ∆ x A .In this regard, due to the factor 1/c, spatial memory appears as the subleading memory effect.Nevertheless, it is the leading term in the magnetostatics regime where there is no temporal memory effect.
In what follow we derive an explicit relation between the spatial memory field and spatial conservation law in the magnetostatics regime.

Conservation and Memory
In this section we explore the relation between charge conservation and memory effects [5,[30][31][32].In this part, we only focus on the magnetostatics case.To do so, we start from the conservation of Equivalently, we can use Stokes' theorem to write this as Now we restrict ourselves to the following class of gauge transformations Then, we get By doing the z-integration of the first term in the first integral and employing the equations of motion ∇ × B = J, we find Now, we remind that the memory field (3.6) is defined for B z = 0 and ∂ s A z = 0 so the second line vanishes.This restricts the allowed gauge transformations (4.3) to After applying these conditions the final result is given by where I(λ) = Γ λ j • dσ.Intriguingly, this equation relates the spatial memory field to the spatial conservation law.In particular, the spatial non-conservation of λ is encoded in the flux of (hard) current, λj, through the lateral boundary and memory field ∆ z A s .It is another main result of this paper.
One can compare (4.6) with the more familiar relation for temporal memory and temporal conservation at null infinity [33] ∆ where J (λ) = ∞ −∞ du S 2 dΩλ(Ω)J u and D A is the covariant derivative on two sphere S 2 .In this sense, we generalize the well-known relation between temporal memory effect and conservation [5] to the spatial case.

Summery and Discussion
For studying conservation law in field theories it is natural to define charge Q (t) by integrating over a spacelike slice (t = const hypersurface Σ t ).However, one may note that the definition of charges over a spacelike hypersurface is not a necessity.Indeed, it is possible to define charge Q (r) by integrating over a timelike slice (r = const hypersurface Σ r ).From this perspective, temporal and spatial conservation are just a relation between charges over various time and spatial slices respectively (see figure 2).
As we mentioned several times, charges in gauge theories have a fascinating property: they are expressed in terms of a codimension-2 integral.In other words, in gauge theories, we can write the temporal (spatial) charge, Q (t) (Q (r) ), over the boundary of Σ t (Σ r ) namely ∂Σ t (∂Σ r ).
This low-dimensional property of charges in gauge theories allows us to relate temporal and spatial conservation.Time evolution of ∂Σ t provides a natural timelike hypersurface 2).Therefore, one may expect the temporal conservation of Q (t) and spatial conservation of Q (r) to be connected.In the interest of simplification, let us consider ∂Σ t as a two dimensional sphere S 2 (in contrast to the cylindrical boundary assumption in 4).Then its time evolution during [t − , t + ] provides a timelike boundary Σ r = R × S 2 .As shown in figure 2, ∂Σ r = ∂Σ t + ∪ ∂Σ t − , obviously it implies Q (r) = Q (t) t + − Q (t) t − .By this inspiration, we have investigated Maxwell's theory in the presence of a timelike boundary and showed how the (generalized) Ampere-Maxwell charge appears as the surface charge associated with the standard U (1) Maxwell gauge symmetry.We also showed these surface charges obey a spatial conservation law. 9urthermore, we defined the spatial memory field and its associated spatial memory effect as the same as the temporal one.In the context of Strominger's triangle proposal, we showed how the generalized electric current (spatial charge) generates this memory field.Besides, we derived an explicit relation between spatial conservation and spatial memory field.In other words, the spatial changes in the charges associated with residual gauge symmetry are encoded in the hard flux and the memory effect.More accurately, as indicated in the introduction, here we do not have the notion of IR physics similar to Strominger's IR triangle, but instead, we have sort of low momentum physics.
One may note that the conservation of Q λ constrains electromagnetic fields generated by charges and current distributions.Constraints due to the conservation of Q (t) λ over a radiating system have been partially studied in [9].The notion of spatial conservation allows us to survey the implications of constraints even in the absence of radiation.In particular, it would be interesting to investigate the impact of (4.1) on currents and magnetic field in magneto-static.
In this paper, we only focus on the Maxwell theory in 1 + 3 dimensions.But we expect these concepts to arise naturally in any theory with local symmetries.In this regard, studying non-Abelian gauge theories and diffeomorphism invariant theories of gravity will be interesting.