Motives with modulus

We construct and study a triangulated category of motives with modulus $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ over a field $k$ that extends Voevodsky's category $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ in such a way as to encompass non-homotopy invariant phenomena. In a similar way as $\mathbf{DM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of smooth $k$-varieties, $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ is constructed out of \emph{proper modulus pairs}, that is, pairs of a proper $k$-variety $X$ and an effective divisor $D$ on $X$ such that $X \setminus |D|$ is smooth. To a modulus pair $(X, D)$ we associate its motive $M(X, D) \in \mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$. In some cases the Hom group in $\mathbf{MDM}_{\mathrm{gm}}^{\mathrm{eff}}$ between the motives of two modulus pairs can be described in terms of Bloch's higher Chow groups.