Strict homotopy invariance theorem for presheaves with transfers over an arbitrary field

by Andrei Druzhinin (SPbU)

Thursday 16 Dec 2021, 11:30 → 13:30 Europe/Moscow

818-1526-4739 (Zoom)

The strict homotopy invariance is a property of presheaves of abelian groups or complexes or $S^1$-spectra that naturally appear whenever the combination of $\mathbb{A}^1$-homotopy invariance property and Nisnevich sheafification and localisation are considered together. The strict homotopy invariance theorems for presheaves with transfers allow to compute the motivic localisation in terms of the transfers structures, and play an important role for the computational results and the structural properties of categories for transfers-based motivic theories such as Voevodsky’s motives and Garkusha-Panin’s framed motives.

We extend the generality of the strict homotopy invariance theorems in the latter studies to the case of an arbitrary base field. 

At the same time, we discuss formulations of some partial results on box-homotopy invariance that can be obtained at the present moment by applying in such setting geometric constructions already contained in the proof written for $\mathbb{A}^1$-homotopy case.

Video