De Rham-Witt Cohomology and Displays
Displays were introduced to classify formal $p$-divisible groups over an arbitrary ring $R$ where $p$ is nilpotent. We define a more general notion of display and obtain an exact tensor category. In many examples the crystalline cohomology of a smooth and proper scheme $X$ over $R$ carries a natural display structure. It is constructed from the relative de Rham-Witt complex. For this we refine the comparison between crystalline cohomology and de Rham-Witt cohomology of [LZ]. In the case where $R$ is reduced the display structure is related to the strong divisibility condition of Fontaine [Fo].
2000 Mathematics Subject Classification: 14F30, 14F40
Keywords and Phrases: crystalline cohomology
Full text: dvi.gz 74 k, dvi 194 k, ps.gz 903 k, pdf 360 k.
Home Page of DOCUMENTA MATHEMATICA