Doosung Park

Six-functor formalism for Kummer \'etale cohomology of log schemes

We establish a Grothendieck six-functor formalism for Kummer \'etale cohomology including Poincar\'e duality for every separated vertical exact log smooth morphism of noetherian fs log schemes $f\colon X\rightarrow S$ when the coefficient ring $\Lambda$ is killed by an integer invertible on $S$. This is done via log \'...