Rigid cohomology

From HandWiki - Reading time: 2 min


In mathematics, specifically in algebraic geometry, rigid cohomology is a p-adic cohomology theory introduced by Pierre Berthelot in 1986.[1] It extends crystalline cohomology to schemes that need not be proper or smooth, and extends Monsky–Washnitzer cohomology to non-affine varieties.

For a scheme X of finite type over a perfect field k, there are rigid cohomology groups Hrigi(X/K) which are finite dimensional vector spaces over the field K of fractions of the ring of Witt vectors of k. More generally, one can define rigid cohomology with compact supports, or with support on a closed subscheme, or with coefficients in an overconvergent isocrystal. If X is smooth and proper over k, the rigid cohomology groups are the same as the crystalline cohomology groups.

The name "rigid cohomology" comes from its relation to rigid analytic spaces.

In 2006, Kiran Kedlaya used rigid cohomology to give a new proof of the Weil conjectures.[2]

References



  1. Berthelot, Pierre (1986). "Géométrie rigide et cohomologie des variétés algébriques de caractéristique p". Mémoires de la Société Mathématique de France. Nouvelle série (23): 7–32. ISSN 0037-9484. https://www.numdam.org/item/?id=MSMF_1986_2_23__R3_0. 
  2. Kedlaya, Kiran S. (2006). "Fourier transforms and p-adic 'Weil II'". Compositio Mathematica 142 (6): 1426–1450. doi:10.1112/S0010437X06002338. ISSN 0010-437X. 

Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Rigid_cohomology
12 views | Status: cached on March 29 2026 16:58:56
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF