Finiteness of rigid cohomology with coefficients
From MaRDI portal
Publication:2500442
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.
In this very important article, the author proves the finiteness of rigid cohomology with coefficients in full generality. More precisely, if \(k\) is a field of characteristic \(p>0\) and \(K\) is a \(p\)-adic field with residue field \(k\) and \(X\) is a separated scheme of finite type over \(k\) and if \(\mathcal{E}\) is an overconvergent \(F\)-isocrystal over \(X\) then the author proves that both the rigid cohomology \(H^i_{\text{rig}}(X/K,\mathcal{E})\) and the rigid cohomology with compact supports \(H^i_{c,\text{rig}}(X/K,\mathcal{E})\) are finite dimensional vector spaces over \(K\) for all \(i\). He also proves Poincaré duality and a Künneth formula with coefficients. The article begins with a very clear and informative introduction, giving in particular an overview of rigid cohomology and of the previously known cases of the article's main results as well as comments on possible future work, all of which we highly recommend for more details.
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
Cites work
- A p-adic local monodromy theorem
- A note on weakly complete algebras
- Analogue \(p\)-adique du théorème de Turrittin et le théorème de la monodromie \(p\)-adique.
- Barsotti-Tate groups and crystals
- Cohomological descent of rigid cohomology for proper coverings
- Cohomological descent of rigid cohomology for étale coverings
- Cohomologie cristalline des schemas de caractéristique \(p >0\)
- Complexe de de\thinspace Rham-Witt et cohomologie cristalline
- Dualité de Poincaré et formule de Künneth en cohomologie rigide
- Finite local monodromy of overconvergent unit-root F -isocrystals on a curve
- Finiteness and cohomological purity in rigid cohomology (with an appendix by Aise Johan de Jong)
- Finiteness of de Rham cohomology in rigid analysis.
- Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
- Formal cohomology. I
- Fourier transforms and p-adic ‘Weil II’
- Hasse-Arf filtrations and \(p\)-adic monodromy.
- Homomorphisms of Barsotti-Tate groups and crystals in positive characteristic. -- Erratum
- scientific article; zbMATH DE number 1683517 (Why is no real title available?)
- scientific article; zbMATH DE number 3857279 (Why is no real title available?)
- scientific article; zbMATH DE number 4202458 (Why is no real title available?)
- scientific article; zbMATH DE number 3979237 (Why is no real title available?)
- scientific article; zbMATH DE number 3782042 (Why is no real title available?)
- scientific article; zbMATH DE number 3504093 (Why is no real title available?)
- scientific article; zbMATH DE number 3574025 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 3322339 (Why is no real title available?)
- scientific article; zbMATH DE number 3351782 (Why is no real title available?)
- La conjecture de Weil. II
- Les zéros des fonctions analytiques d'une variable sur un corps valué complet
- Liftings of smooth algebras and of their morphisms
- LOCAL MONODROMY OF p-ADIC DIFFERENTIAL EQUATIONS: AN OVERVIEW
- More étale covers of affine spaces in positive characteristic
- Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals.
- Notes on Crystalline Cohomology. (MN-21)
- On base change theorem and coherence in rigid cohomology
- On the Gysin isomorphism of rigid cohomology
- On the index theorem for \(p\)-adic differential equations. III
- On the index theorem for p-adic differential equations. IV
- Relative log convergent cohomology and relative rigid cohomology II
- Rigid analytic spaces with overconvergent structure sheaf
- Semistable reduction for overconvergent F-isocrystals I: Unipotence and logarithmic extensions
- Semistable reduction for overconvergent \(F\)-isocrystals on a curve
- Slope filtration of quasi-unipotent overconvergent F-isocrystals
- Slope filtrations revisited
- Smoothness, semi-stability and alterations
- Sur le theoreme de finitude de la cohomologie p -adique d'une variete affine non singuliere.
- Theorem A und B in der nichtarchimedischen Funktionentheorie
- Étale covers of affine spaces in positive characteristic.
Cited in
(35)- Finiteness and cohomological purity in rigid cohomology (with an appendix by Aise Johan de Jong)
- Étale covers of affine spaces in positive characteristic.
- Finitary Čech-de Rham cohomology
- A variational Tate conjecture in crystalline cohomology
- Syntomic regulators of Asai-Flach classes
- Local acyclicity in \(p\)-adic cohomology
- Notes on isocrystals
- The \(p\)-adic monodromy group of abelian varieties over global function fields of characteristic \(p\)
- On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion
- Rigid cohomology and \(p\)-adic point counting
- Cohomological descent of rigid cohomology for étale coverings
- Minimal slope conjecture of \(F\)-isocrystals
- Cohomological descent on the overconvergent site
- Cohomology of arithmetic families of ( ,)-modules
- Ranks of elliptic curves over function fields
- A Recursive Method for Computing Zeta Functions of Varieties
- Classicality for small slope overconvergent automorphic forms on some compact PEL Shimura varieties of type C
- Géométrie rigide et cohomologie des variétés algébriques de caractéristique p
- Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic D-modules
- Direct images. I: Rigid analytic spaces and direct images
- Instances of cohomological triviality and rigidity
- scientific article; zbMATH DE number 923842 (Why is no real title available?)
- Product formula forp-adic epsilon factors
- Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
- Parabolicity conjecture of \(F\)-isocrystals
- Specialization of Néron-Severi groups in positive characteristic
- The total symbol theorem of a \(p\)-adic differential operator
- Isogeny classes of abelian varieties over finite fields in the LMFDB
- Exponentially twisted de Rham cohomology and rigid cohomology
- Dagger groups and p-adic distribution algebras
- Revisiting Dwork cohomology: visibility and divisibility of Frobenius eigenvalues in rigid cohomology
- Semistable representations as limits of crystalline representations
- On the geometric equivariant Tamagawa number conjecture in characteristic \(p>0\)
- The Iwasawa main conjecture for semistable abelian varieties over function fields
- The p-adic local monodromy theorem for fake annuli
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)
