On the generalisation of cohomology with compact support to non-finite type schemes

Abstract

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes profinite \'etale coverings as well as separated morphisms perfectly of finite type