English

Motivic homotopy theory with ramification filtrations

Algebraic Geometry 2025-04-04 v1 K-Theory and Homology

Abstract

The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme SS, in which cohomology theories with ramification filtrations are representable. Every such cohomology theory enjoys basic properties such as the Nisnevich descent, the cube-invariance, the blow-up invariance, the smooth blow-up excision, the Gysin sequence, the projective bundle formula and the Thom isomorphism. In case SS is the spectrum of a perfect field, the cohomology of every reciprocity sheaf is upgraded to a cohomology theory with a ramification filtration represented in our categories. We also address relations of our theory with other non-A1\mathbb{A}^1-invariant motivic homotopy theories such as the logarithmic motivic homotopy theory of Binda, Park, and {\O}stv{\ae}r and the theory of motivic spectra of Annala-Iwasa.

Keywords

Cite

@article{arxiv.2504.02223,
  title  = {Motivic homotopy theory with ramification filtrations},
  author = {Junnosuke Koizumi and Hiroyasu Miyazaki and Shuji Saito},
  journal= {arXiv preprint arXiv:2504.02223},
  year   = {2025}
}

Comments

62 pages, comments welcome!