We revisit the problem of extending the phase space of diffeomorphism-invariant theories to account for embeddings associated with the boundary of subregions. We do so by emphasizing the importance of a careful treatment of embeddings in all aspects of the covariant phase space formalism. In so doing we introduce a new notion of the extension of field space associated with the embeddings which has the important feature that the Noether charges associated with all extended corner symmetries are in fact integrable, but not necessarily conserved.
View Article and Find Full Text PDF