Hilbert manifold structure for asymptotically hyperbolic relativistic initial data

We provide a Hilbert manifold structure {`a} la Bartnik for the space of asymptotically hyperbolic initial data for the vacuum constraint equations. The adaptation led us to prove new weighted Poincar{'e} and Korn type inequalities for AH manifolds with inner boundary and weakly regular metric.