Mixed Hodge modules on stacks

Abstract

Using the $\infty$-categorical enhancement of mixed Hodge modules constructed by the author in a previous paper, we explain how mixed Hodge modules canonically extend to algebraic stacks, together with all the $6$ operations and weights. We also prove that Drew's approach to motivic Hodge modules gives an $\infty$-category that embeds fully faithfully in mixed Hodge modules, and we identify the image as mixed Hodge modules of geometric origin.

32 pages, accepted version, fixed cleveref bug