2025/11/12 by Magen, Roy
#Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2511.09371
In this article, we prove various results about six-functor formalisms and morphisms between them. In particular, we show that the stable motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong sense: it is initial in some category whose objects are six-functor formalisms, and whose morphisms commute with the six operations. This strengthens previous results of this form, which only showed that stable motivic homotopy theory is a six-functor formalism, and is initial, but not that the morphisms from it commute with the six operations. We also prove a similar result for the stable motivic homotopy theory of complex analytic stacks, and produce a Betti realization for stacks that commutes with Grothendieck's six operations, generalizing previous results of Ayoub for quasi-projective schemes. In order to do this, we give a generalized and enhanced account of Voevodsky's geometric criterion for six-functor formalisms. Our version of Voevodsky's principle makes sense in more general geometric contexts (not only algebraic geometry), and also provides a criterion for showing that a morphism between six-functor formalisms is compatible with the six operations.