北京雁栖湖应用数学研究院

The stable motivic homotopy categories of schemes are nice ∞-categories, which admit a whole six-functor formalism. For a smooth morphism of schemes f: X→Y over a base S, the usual pullback functor f*: SH(Y)→SH(X) admits a left adjoint f_♯, the additive pushforward; they are packaged in a functor from an ∞-category of spans.
Recently, Bachmann and Hoyois discovered a multiplicative pushforward, or norm g_⊗: SH(X)→SH(Y), for g: X→Y finite étale (generalises the tensor product). These satisfy a distributivity property, and are encoded by a functor from an (∞, 2)-category of bispans. The norm functors categorify Rost’s multiplicative transfers on Grothendieck–Witt rings and are an enhancement of motivic E_∞-ring spectra; similar distributivity for additive and multiplicative transfers on genuine G-spectra played a key role in the solution of the Kervaire invariant one problem by Hill, Hopkins, and Ravenel. In this course, we introduce the notion of bispans, whose universal property categorifies distributivity in commutative (semi)rings, following Elmanto-Haugseng. We will then discuss some important examples in motivic homotopy theory. Most part will be of interest to quite general audiences.