Relatively geometric actions on CAT(0) cube complexes

We develop the foundations of the theory of relatively geometric actions of relatively hyperbolic groups on CAT(0) cube complexes, a notion introduced in our previous work [5]. In the relatively geometric setting we prove: full relatively quasi-convex subgroups are convex compact; an analog of Agol's Theorem; and a version of Haglund--Wise's Canonical Completion and Retraction.