Asymptotic boundary structure of Lagrangian gauge theories

Given a local gauge theory on spacetime with boundary, it naturally defines another gauge theory which can be regarded as a theory of the boundary values.

For Lagrangian theories, it comes equipped with the presymplectic structure which can be used to define one or another version of Hamiltonian-like formulation of the initial model.

This relation is especially manifest for AKSZ sigma models and more-generally gauge PDEs with compatible presymplectic structure in which case the boundary system is again a gauge PDE with presymplectic structure.

In the context of (flat space) holography one is interested in boundaries at infinity, also known as asymptotic boundaries.

The gauge PDE framework naturally extends to this setup, resulting in the notion of gauge PDE with asymptotic boundaries.

Although this works perfectly well at the level of equations of motion, the extension to Lagrangian systems appears quite subtle because the presymplectic structure capturing the Lagrangian is divergent at the boundary.

We show that any $Q$-cocycle in the bulk (and presymplectic structure in particular) determines a pair of compatible $Q$-cocycles of the boundary gauge PDE: the renormalized one of the same ghost-degree, and the anomaly cocycle of degree one lower.

For the latter, the construction is somewhat analogous to the residue map known in the context of b-geometry.

The general formalism is exemplified by scalar and Maxwell fields on AdS and Minkowski spaces.

It turns out that in the AdS case the natural action determined by the anomaly presymplectic structure is precisely the one known as the holographic Weyl anomaly in the AdS/CFT context while its null-infinity counterpart was known in a few very particular cases only.