Representability of cohomology of finite flat abelian group schemes

Abstract

We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f:X\to \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^n{f}_{\ast }G$ is representable for all $n$. More generally, we study the derived pushforwards $R^n{f}_{\ast }G$ for $f:X\to S$ a projective morphism and $G$ a finite flat abelian group scheme over $X$. We also define compactly supported cohomology for finite flat abelian group schemes, describe cohomology in terms of the cotangent complex for group schemes of height $1$, and prove higher categorical versions of our main representability results.

This paper has been completely rewritten and revised in response to referee comments. 84 pages. Comments still welcome

References in corpus (1)

• Higher and derived stacks: a global overview