Motivic six-functor formalism for log schemes

Abstract

We establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincaré duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology of fs log schemes and the category of Chow motives over fs log schemes.

The étale local case added in Theorem 1.3.1, 47 pages