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

MaRDI QIDQ6423940zbMATH OpenFDO

Authors Heer Zhao

Publication date 20 January 2023

Mathematics Subject Classification ID

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

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.

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)