The higher direct images of locally constant group schemes from the Kummer log flat topology to the classical flat topology

arXiv2301.08566MaRDI QIDQ6423940FDOQ6423940

Heer Zhao

Publication date: 20 January 2023

Abstract: Let $S$ be an fs log scheme, and let $F$ be a group scheme over the underlying scheme which is 'etale locally representable by (1) a finite dimensional $mathbbQ$-vector space, or (2) a finite rank free abelian group, or (3) a finite abelian group. We give a full description of all the higher direct images of $F$ from the Kummer log flat site to the classical flat site. In particular, we show that: in case (1) the higher direct images of $F$ vanish; and in case (2) the first higher direct image of $F$ vanishes and the $n$-th ($n>1$) higher direct image of $F$ is isomorphic to the $(n-1)$-th higher direct image of $Fotime{s}_{mathbbZ}mathbbQ/mathbbZ$. In the end, we make some computations when the base is a standard log trait or a Dedekind scheme endowed with the log structure associated to a finite set of closed points.

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Logarithmic algebraic geometry, log schemes (14A21)

This page was built for publication: The higher direct images of locally constant group schemes from the Kummer log flat topology to the classical flat topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6423940)