nLab
crystalline site

Context

Topos Theory

Could not include topos theory - contents

under construction

Contents

Definition

Let C etC_{et} be the etale site of complex schemes of finite type. For XX a scheme, its infinitesimal site Cris(X)Cris(X) is the big site C et/X dRC_{et}/X_{dR} of the de Rham space X dR:C etSetX_{dR} : C_{et} \to Set:

the site whose objects are pairs (SpecA,(SpecA) redX)(Spec A, (Spec A)_{red} \to X) of an affine SpecASpec A and a morphism from its reduced part ((SpecA) red=Spec(A/I)(Spec A)_{red} = Spec (A/I) for II the nilradical of AA) into XX.

More generally, for positive characteristic, the definition is more involved than that.

Properties

The abelian sheaf cohomology over Cris(X)Cris(X) is the crystalline cohomology of XX.

References

An original account of the definition of the crystalline topos is section 7, page 299 of

  • Alexander Grothendieck, Crystals and de Rham cohomology of schemes , chapter IX in Dix Exposes sur la cohomologie des schema (pdf)

A review of some aspects is in

and on page 7 of

In the article

  • Arthur Ogus, Cohomology of the infinitesimal site Annales scientifiques de l’École Normale Supérieure, Sér. 4, 8 no. 3 (1975), p. 295-318 (numdam)

it is shown that if XX is proper over an algebraically closed field kk of characteristic pp, and embeds into a smooth scheme over kk, then the infinitesimal cohomology of XX coincides with etale cohomology with coefficients in kk (or more generally W n(k)W_n(k) if we work with the infinitesimal site of XX over W n(k)W_n(k)).

Revised on March 30, 2011 08:47:59 by Urs Schreiber (89.204.153.85)