\mathbb{A}^1-homotopy theory of log schemes

arXiv2205.14750MaRDI QIDQ6400486FDOQ6400486

Authors: Doosung Park 

Publication date: 29 May 2022

Abstract: We construct the $mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the localization property. As a consequence, we obtain the Grothendieck six functors formalism for strict morphisms of fs log schemes. We extend $mathbb{A}^1$-invariant cohomology theories of schemes to fs log schemes. In particular, we define motivic cohomology, homotopy $K$-theory, and algebraic cobordism of fs log schemes. For any fs log scheme log smooth over a scheme, we express cohomology of its boundary in terms of cohomology of schemes.

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) (K)-theory of schemes (19E08) Logarithmic algebraic geometry, log schemes (14A21)

This page was built for publication: $\mathbb{A}^1$-homotopy theory of log schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6400486)