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.
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.