Geometric uniqueness for non-vacuum Einstein equations and applications

We prove in this note that local geometric uniqueness holds true without loss of regularity for Einstein equations coupled with a large class of matter models. We thus extend the Planchon-Rodnianski uniqueness theorem for vacuum spacetimes. In a second part of this note, we investigate the question of local regularity of spacetimes under geometric bounds.