Relative Poincaré duality in nonarchimedean geometry
Abstract
We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the intersection cohomology of proper rigid-analytic spaces. In our argument, we construct cycle classes in analytic geometry as well as trace maps for morphisms that are either smooth or proper or finite flat, with appropriate coefficients. As an application of our methods, we obtain new, significantly simplified proofs of $p$-adic Poincaré duality and the preservation of $\mathbf{F}_p$-local systems under smooth proper higher direct images.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2024
- DOI:
- 10.48550/arXiv.2410.08200
- arXiv:
- arXiv:2410.08200
- Bibcode:
- 2024arXiv241008200L
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Number Theory
- E-Print:
- 127 pages, comments welcome