For a smooth and proper variety over an algebraically closed field of characteristic , the group is a direct sum of finitely many copies of and an abelian group of finite exponent. The latter is an extension of a finite group by the group of -points of a connected commutative unipotent algebraic group . In this paper we show that (1) if is ordinary, then ; (2) if is a surface, then is the Pontryagin dual of ; (3) if is an abelian variety, then . Using Crew’s formula, we compute the dimension of for surfaces and abelian -folds. We show that, if is ordinary, then the unipotent subgroup of is isomorphic to the unipotent subgroup of . Generalizing a result of Ogus, we give a criterion for the injectivity of the canonical map from flat to crystalline cohomology in degree .

生成讲解博客的中文版本

生成AI智能校验的中文版本