Specialization of crystalline cohomology (Q1820832): Difference between revisions

Let \(f: X\to S\) be a proper smooth morphism of schemes over a perfect field of characteristic \(p\). Using the theory of convergent isocrystals, it is shown that the Newton polygons of the \({\mathbb{Q}}\otimes H^ i_{cris}(X_ s/W(s))\) (the relative crystalline cohomology of a fiber) are constant along the strata of a suitable stratification of A and rise under specialization.