Motivic Homotopy Theory of Algebraic Stacks

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 examples: quasi-separated algebraic spaces, local quotient stacks and moduli stacks of vector bundles. We use the language of $\infty$-categories developed by Lurie. Morever, we use the so-called 'enhanced operation map' due to Liu and Zheng to extend the six functor formalism from schemes to our class of algebraic stacks. We also prove that six functors satisfy properties like homotopy invariance, localization and purity.