Boundary structure of gauge fields on asymptotically AdS spaces

TL;DR

This paper develops a systematic boundary calculus for gauge fields on asymptotically AdS spaces, extending the Fefferman-Graham construction to include subleading sectors and explicit boundary equations.

Contribution

It introduces a new systematic boundary calculus using gauge PDEs and the concept of Q-boundary, enabling explicit derivation of boundary equations for gauge fields.

Findings

Constructed an efficient recursive boundary calculus for gauge fields.

Derived explicit boundary equations including obstruction and conservation equations.

Extended the Fefferman-Graham construction to subleading sectors.

Abstract

We study boundary structure of asymptotically AdS gravity and (gauge) fields defined on this background by employing the gauge PDE approach. The essential step of the construction is the incorporation of the boundary-defining function among the fields of the theory, which allows us to realise the asymptotic boundary as a space-time submanifold by employing the gauge PDE implementation of Penrose's concept of asymptotically-simple space. In so doing the gauge PDE describing the boundary structure is obtained by restricting to the boundary of spacetime and simultaneously restricting to the boundary of the field space by setting the boundary defining function to zero. To implement this step systematically we introduce a notion of $Q$-boundary which seems to be new. The main concrete result of this work is the construction of the efficient boundary calculus, which gives a recursive procedure to obtain the explicit form of the equations satisfied by the boundary fields and their gauge transformations for boundary dimension $d \geq 3$. These include obstruction equations (such as Bach equation or Yang-Mills equation for $d=4$) and generalised conservation equations in the subleading sector. In particular, we derive the explicit form of the higher conformal Yang-Mills equation for $d=8$. The approach is very general and, in principle, applies to generic (gauge) fields on the Einstein gravity background producing a conformally-invariant gauge theory on the boundary, which describes their boundary structure. It can be considered as an extension of the Fefferman-Graham construction that takes into account both the leading and the subleading sector of the bulk fields.