Let be an fs log scheme, and let be a group scheme over the underlying scheme which is étale locally representable by (1) a finite dimensional -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 from the Kummer log flat site to the classical flat site. In particular, we show that: in case (1) the higher direct images of vanish; and in case (2) the first higher direct image of vanishes and the -th () higher direct image of is isomorphic to the -th higher direct image of . 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本