Finiteness of rigid cohomology with coefficients

DOI10.1215/S0012-7094-06-13412-9zbMATH Open1133.14019arXivmath/0208027OpenAlexW2013586667MaRDI QIDQ2500442FDOQ2500442

Authors: Kiran S. Kedlaya 

Publication date: 24 August 2006

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Abstract: We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.

Full work available at URL: https://arxiv.org/abs/math/0208027

Recommendations

• Finiteness and cohomological purity in rigid cohomology (with an appendix by Aise Johan de Jong)
• Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
• Dualité de Poincaré et formule de Künneth en cohomologie rigide
• Cohomological descent of rigid cohomology for étale coverings
• On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion

zbMATH Keywords

rigid cohomologyWeil conjectures\(p\)-adic differential equations

Mathematics Subject Classification ID

Varieties over finite and local fields (11G25) Rigid analytic geometry (14G22) (p)-adic cohomology, crystalline cohomology (14F30) (p)-adic differential equations (12H25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Smoothness, semi-stability and alterations
• La conjecture de Weil. II
• On base change theorem and coherence in rigid cohomology
• Cohomological descent of rigid cohomology for étale coverings
• Complexe de de\thinspace Rham-Witt et cohomologie cristalline
• Relative log convergent cohomology and relative rigid cohomology II
• Notes on Crystalline Cohomology. (MN-21)
• Finiteness and cohomological purity in rigid cohomology (with an appendix by Aise Johan de Jong)
• Cohomological descent of rigid cohomology for proper coverings
• Theorem A und B in der nichtarchimedischen Funktionentheorie
• Dualité de Poincaré et formule de Künneth en cohomologie rigide
• Title not available (Why is that?)
• Semistable reduction for overconvergent \(F\)-isocrystals on a curve
• Rigid analytic spaces with overconvergent structure sheaf
• Cohomologie cristalline des schemas de caractéristique \(p >0\)
• Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions
• On the index theorem for \(p\)-adic differential equations. IV
• Slope filtration of quasi-unipotent overconvergent \(F\)-isocrystals
• Fourier transforms and $p$-adic ‘Weil II’
• Slope filtrations revisited
• On the index theorem for \(p\)-adic differential equations. III
• Formal cohomology. I
• Sur le theoreme de finitude de la cohomologie p -adique d'une variete affine non singuliere.
• Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
• Title not available (Why is that?)
• Liftings of smooth algebras and of their morphisms
• Les zéros des fonctions analytiques d'une variable sur un corps valué complet
• A \(p\)-adic local monodromy theorem
• Morphisms of \(F\)-isocrystals and the finite monodromy theorem for unit-root \(F\)-isocrystals.
• On the Gysin isomorphism of rigid cohomology
• More étale covers of affine spaces in positive characteristic
• Hasse-Arf filtrations and \(p\)-adic monodromy.
• Analogue \(p\)-adique du théorème de Turrittin et le théorème de la monodromie \(p\)-adique.
• Finiteness of de Rham cohomology in rigid analysis.
• Homomorphisms of Barsotti-Tate groups and crystals in positive characteristic. -- Erratum
• LOCAL MONODROMY OF p-ADIC DIFFERENTIAL EQUATIONS: AN OVERVIEW
• A note on weakly complete algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite local monodromy of overconvergent unit-root F -isocrystals on a curve
• Title not available (Why is that?)
• Barsotti-Tate groups and crystals
• Étale covers of affine spaces in positive characteristic.
• Title not available (Why is that?)

Cited In (30)

• The \(p\)-adic local monodromy theorem for fake annuli
• The total symbol theorem of a \(p\)-adic differential operator
• Finitary Čech-de Rham cohomology
• On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion
• Direct images. I: Rigid analytic spaces and direct images
• Ranks of elliptic curves over function fields
• A Recursive Method for Computing Zeta Functions of Varieties
• A variational Tate conjecture in crystalline cohomology
• Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic \(\mathcal D\)-modules
• Cohomological descent on the overconvergent site
• Classicality for small slope overconvergent automorphic forms on some compact PEL Shimura varieties of type C
• Isogeny classes of abelian varieties over finite fields in the LMFDB
• Parabolicity conjecture of \(F\)-isocrystals
• Cohomological descent of rigid cohomology for étale coverings
• Specialization of Néron-Severi groups in positive characteristic
• Exponentially twisted de Rham cohomology and rigid cohomology
• Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
• Syntomic regulators of Asai-Flach classes
• Local acyclicity in \(p\)-adic cohomology
• Rigid cohomology and \(p\)-adic point counting
• Instances of cohomological triviality and rigidity
• Title not available (Why is that?)
• The \(p\)-adic monodromy group of abelian varieties over global function fields of characteristic \(p\)
• Minimal slope conjecture of \(F\)-isocrystals
• The Iwasawa main conjecture for semistable abelian varieties over function fields
• Notes on isocrystals
• Étale covers of affine spaces in positive characteristic.
• Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
• Cohomology of arithmetic families of \((\varphi ,\Gamma)\)-modules
• Product formula forp-adic epsilon factors

This page was built for publication: Finiteness of rigid cohomology with coefficients

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