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.
What problem does this paper attempt to address?
This paper aims to solve the problem of relative Poincaré duality in non - Archimedean geometry. Specifically, the authors prove the Bhatt - Hansen conjecture, that is, the derived push - forward of proper morphisms on rigid analytic spaces commutes with Verdier duality on Zariski - constructible complexes. This not only provides a basis for the duality statements of intersection cohomology, but also provides a new and simplified proof for p - adic Poincaré duality and the preservation of Fp - local systems by constructing cycle classes and trace maps in analytic geometry.
### Main Problem
The main problem that the paper attempts to solve is to verify the Bhatt - Hansen conjecture, that is, whether the derived push - forward of proper morphisms on rigid analytic spaces commutes with Verdier duality on Zariski - constructible complexes. The solution of this conjecture is of great significance for understanding the duality theory in non - Archimedean geometry.
### Key Results
1. **Proof of the Bhatt - Hansen Conjecture**:
- It is proved that the trace map \( \text{Tr}_f: Rf_* \omega_X \to \omega_Y \) between the derived push - forward \( Rf_* \omega_X \) of a proper morphism \( f: X \to Y \) on rigid analytic spaces and \( \omega_Y \) exists and satisfies a series of compatibility conditions.
- This result shows that the derived push - forward and Verdier duality are commutative on Zariski - constructible complexes.
2. **Construction of Trace Maps**:
- Trace maps for smooth morphisms and flat finite morphisms are constructed, and the properties of these trace maps are verified.
- In particular, for smooth and proper morphisms, trace maps are constructed and compared with algebraic trace maps.
3. **Applications**:
- As an application of the main results, the paper provides a new proof of p - adic Poincaré duality and proves that the higher - order direct images of Fp - local systems remain unchanged under smooth proper morphisms.
### Technical Details
- **Construction of Trace Maps**: By constructing cycle classes and trace maps in analytic geometry, the authors provide a new method to construct trace maps, which is applicable to any locally Noetherian analytic adic space.
- **Proof of Duality**: Using the properties of trace maps and some standard homological algebra techniques, the commutativity of the derived push - forward and Verdier duality is proved.
### Significance
The results of this paper not only verify an important conjecture, but also provide new tools and methods for the duality theory in non - Archimedean geometry. These results are of great value for further studying the cohomology theory and duality of rigid analytic spaces.