Cohomology with closed support on the overconvergent site
arXiv:1408.1970
Abstract
Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme.