Related papers: Universal Properties and Constructions of Pullback…
In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong…
In this article, we give a construction of the (un-)stable motivic homotopy category of an algebraic stack in the spirit of Morel-Voevodsky. We prove that this new construction agrees with the stable motivic homotopy category defined by…
The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…
We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of…
We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification…
In this article, we study the properties of motivic homotopy category $\mathcal{SH}_{\operatorname{ext}}(\mathcal{X})$ developed by Chowdhury and Khan-Ravi for $\mathcal{X}$ a Nis-loc Stack. In particular, we compare the above construction…
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…
Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of…
We introduce mappings between spaces of functions on (super)manifolds that generalize pullbacks with respect to smooth maps but are, in general, nonlinear (actually, formal). The construction is based on canonical relations and generating…
We establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincar\'e duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology…
Let f : X -> Y be a morphism between normal complex varieties, and assume that Y is Kawamata log terminal. Given any differential form, defined on the smooth locus of Y, we construct a "pull-back form" on X. The pull-back map obtained by…
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…
We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.
We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…
It is a fundamental property of the Chow groups of algebraic schemes that they are contra-functorial with respect to flat morphisms between schemes. While the pullback homomorphism is easy to define at the level of algebraic cycles, the…
We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g.…
We study the stability of pullback foliations under morphisms and rational maps via Grothendieck's Drapeaux scheme. In the local setting, a foliated version of Schlessinger's Theorem on rigidity of conical singularities was achieved. We…