Polynomial homological Dehn functions from non-proper actions

We establish a homological algebra framework for proving polynomiality of higher homological Dehn functions of groups. As an application, we show a combination theorem for polynomial Dehn functions, which is reminiscent of a theorem of Brown for finiteness properties.