The classical dynamics of gauge theories in the deep infrared

Gauge and gravitational theories in asymptotically flat settings possess infinitely many conserved charges associated with large gauge transformations or diffeomorphisms that are nontrivial at infinity. To what extent do these charges constrain the scattering in these theories? It has been claimed in the literature that the constraints are trivial, due to a decoupling of hard and soft sectors for which the conserved charges constrain only the dynamics in the soft sector. We show that the argument for this decoupling fails due to the failure in infinite dimensions of a property of symplectic geometry which holds in finite dimensions. Specializing to electromagnetism coupled to a massless charged scalar field in four dimensional Minkowski spacetime, we show explicitly that the two sectors are always coupled using a perturbative classical computation of the scattering map. Specifically, while the two sectors are uncoupled at low orders, they are coupled at quartic order via the electromagnetic memory effect. This coupling cannot be removed by adjusting the definitions of the hard and soft sectors (which includes the classical analog of dressing the hard degrees of freedom). We conclude that the conserved charges yield nontrivial constraints on the scattering of hard degrees of freedom. This conclusion should also apply to gravitational scattering and to black hole formation and evaporation. In developing the classical scattering theory, we show that generic Lorenz gauge solutions fail to satisfy the matching condition on the vector potential at spatial infinity proposed by Strominger to define the field configuration space, and we suggest a way to remedy this. We also show that when soft degrees of freedom are present, the order at which nonlinearities first arise in the scattering map is second order in Lorenz gauge, but can be third order in other gauges.