REVIEW 4 cited by
Representability of cohomology of finite flat abelian group schemes
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
abstract
We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^nf_*G$ is representable for all $n$. More generally, we study the derived pushforwards $R^nf_*G$ for $f\colon X\rightarrow 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.
Forward citations
Cited by 4 Pith papers
-
Sheared displays and $p$-divisible groups
Over p-nilpotent rings, p-divisible groups are equivalent to sheared displays, resolving Drinfeld's conjecture and giving a Dieudonné theory for all p-divisible groups.
-
Higher dimensional dominoes in de Rham-Witt cohomology
Two-dimensional dominoes in de Rham–Witt cohomology are classified by orbits of Frobenius-skew polynomials, all dominoes admit a triangular normal form, and the resulting theory bounds the p-primary Brauer exponent of...
-
Perfect $F$-gauges and finite flat group schemes
Over arbitrary p-adic formal bases, finite locally free p-power torsion commutative group schemes are exactly the perfect F-gauges of Tor amplitude [-1,0] and Hodge-Tate weights 0,1, via an exact, Cartier-duality-comp...
-
F-isocrystals of Higher Direct Images of $p$-Divisible Groups
For a p-divisible group G over a smooth projective X/k in characteristic p, the formal group R^i f_fppf* G is isogenous to a p-divisible group whose Dieudonné crystal is the slope-[0,1] part of R^i f_crys* M^cr(G).
Discussion (0). Continue with ORCID to comment.