Phase space for gravity with boundaries

This explanatory note, based on the geometrical method by Kijovski and Tulczyjew, describes the construction of the reduced phase space of Lagrangian field theories, i.e., the correct space of initial conditions with its symplectic structure. Several examples and, in particular, the case of four-dimensional gravity in the coframe formalism (Palatini–Cartan theory) are analyzed.