Logarithmic angle-dependent gauge transformations at null infinity

Logarithmic angle-dependent gauge transformations are symmetries of electromagnetism that are canonically conjugate to the standard $\mathcal O(1)$ angle-dependent $u(1)$ transformations. They were exhibited a few years ago at spatial infinity. In this paper, we derive their explicit form at null infinity. We also derive the expression there of the associated "conserved" surface integrals. To that end, we provide a comprehensive analysis of the behaviour of the electromagnetic vector potential $A_\mu$ in the vicinity of null infinity for generic initial conditions given on a Cauchy hypersurface. This behaviour is given by a polylogarithmic expansion involving both gauge-invariant logarithmic terms also present in the field strengths and gauge-variant logarithmic terms with physical content, which we identify. We show on which explicit terms, and how, do the logarithmic angle-dependent gauge transformations act. Other results of this paper are a derivation of the matching conditions for the Goldstone boson and for the conserved charges of the angle-dependent $u(1)$ asymptotic symmetries, as well as a clarification of a misconception concerning the non-existence of these angle-dependent $u(1)$ charges in the presence of logarithms at null infinity. We also briefly comment on higher spacetime dimensions.