Magnetic Carrollian gravity from the Carroll algebra

A bstract We explicitly establish the equivalence between the magnetic Carrollian limit of Einstein gravity defined through the Hamiltonian formalism and the Carrollian theory of gravity defined through a gauging of the Carroll algebra along the lines of standard Poincaré (or (A)dS) gaugings.