On Serre-duality for coherent sheaves on rigid-analytic spaces

DOI10.1007/BF02677468MaRDI QIDQ1360940zbMATH OpenOpenAlexFDO

Publication date 8 January 1998

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/156296

analytic sheaves and cohomology groups special sheaves vector bundles

(p)-adic cohomology, crystalline cohomology (14F30) Analytic sheaves and cohomology groups (32C35) Non-Archimedean analysis (32P05)

Review text

The main purpose of this article is to prove a Serre-duality theorem for coherent sheaves in the rigid-analytic context. Let \(X\) be a smooth proper rigid-analytic variety over \(K\) of dimension \(n\). Let \(\omega_X=\wedge^n\varOmega_{X/K}^1\) be the sheaf of holomorphic \(n-\)forms on \(X\). Then there exists a trace map \(t:H^n(X, \omega_X)\to K\) with the following property: If \(\mathcal F\) is a coherent sheaf on \(X,\) then the morphism \(t\) induces by composition with the canonical map a perfect pairing \[ \text{Hom}(\mathcal F,\omega_X)\times H^n(X,\mathcal F)\to H^n(X,\omega_X)\to K \] of \(K-\)vector spaces. Especially there is a canonical isomorphism \[ H^n(X,\mathcal F)^\lor\widetilde{\longrightarrow}\text{Hom}(\mathcal F, \omega_X). \] The proof is given by using results from algebraic local cohomology.

Cites work

Cited in

(13)

This page was built for publication: On Serre-duality for coherent sheaves on rigid-analytic spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1360940)