Representability of cohomology of finite flat abelian group schemes
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917981024419840 |
|---|---|
| author | Bragg, Daniel Olsson, Martin |
| author_facet | Bragg, Daniel Olsson, Martin |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2107_11492 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Representability of cohomology of finite flat abelian group schemes Bragg, Daniel Olsson, Martin Algebraic Geometry Number Theory 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. |
| title | Representability of cohomology of finite flat abelian group schemes |
| topic | Algebraic Geometry Number Theory |
| url | https://arxiv.org/abs/2107.11492 |