{"id":"arxiv/2608.29386","url":"https://arxiv.org/abs/2608.29386","tags":["math.AG"],"score":0,"title":"Six-functor formalism for Kummer étale cohomology of log schemes","domain":"math.AG","source":"arxiv","authors":["Doosung Park"],"reviews":0,"subject":"math.AG","summary":"We establish a Grothendieck six-functor formalism for Kummer étale cohomology including Poincaré duality for every separated vertical exact log smooth morphism of noetherian fs log schemes $f\\colon X\\rightarrow S$ when the coefficient ring $Λ$ is killed by an integer invertible on $S$. This is done via log étale rigidity \\[\\mathrm{D}_{\\mathrm{l\\acute{e}t}}(S,Λ)\\simeq \\mathrm{DA}_{\\mathrm{l\\acute{e}t}}(S,Λ).\\] To achieve this, we also prove that Kummer étale cohomology satisfies $\\mathbb{A}^1$-invariance, invariance under virtual isomorphisms, log cdh-descent, and invariance under…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-29","reactions":{}}