Images directes et fonctions L en cohomologie rigide

arXiv0803.1580MaRDI QIDQ6208719FDOQ6208719

Authors: J.-Y. Etesse 

Publication date: 11 March 2008

Abstract: Let $k$ be a perfect field of characteristic $p>0$, $mathcalV$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth over $k$, we partially prove here a conjecture of Berthelot about the overconvergence of the higher direct images of the structure sheaf under a proper smooth morphism $f:XoS$; when $k$ is perfect and $mathcalV$ is tamely ramified such direct images are always convergent, not only for the structure sheaf but also for (almost) every convergent $F$-isocrystals. More generally, we prove this overconvergence when $f$ is liftable over $mathcalV$, or when $X$ is a relative complete intersection in some projective spaces over $S$, and taking as coefficients any overconvergent isocrystals. We then apply these results to $L$-functions with coefficients such direct images with Frobenius structure: we derive rationality or meromorphy for these $L$-functions (Dwork's conjecture), and we study their $p$-adic unit zeroes and poles (Katz's conjecture) ; and explicit case concerns the ordinary abelian schemes. A more precise presentation of results by chapters is given in the introduction.

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Rigid analytic geometry (14G22) Formal groups, (p)-divisible groups (14L05) Arithmetic algebraic geometry (Diophantine geometry) (11Gxx) Integral closure of commutative rings and ideals (13B22) (p)-adic cohomology, crystalline cohomology (14F30) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Étale and flat extensions; Henselization; Artin approximation (13B40) Group schemes (14L15) Zeta functions and (L)-functions (11S40) Completion of commutative rings (13B35) Abelian varieties and schemes (14Kxx)

This page was built for publication: Images directes et fonctions L en cohomologie rigide

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