Proper pushforwards on analytic adic spaces
We construct proper pushforwards for partially proper morphisms of analytic adic spaces. This generalises the theory due to van der Put in the case of rigid analytic varieties over a non-Archimedean field. For morphisms which are smooth and partially proper in the sense of Kiehl, we furthermore construct the trace map and duality pairing.