The Morel-Voevodsky Construction over Algebraic Stacks

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 Chowdhury and D’Angelo. As an application, we extend Bachmann’s spectral rigidity theorem to algebraic stacks. Moreover, we extend the construction of the framed motivic homotopy category to algebraic stacks and prove Hoyois’ Reconstruction Theorem in this setting. Finally, we discuss an extension of the formalism of cocomplete coefficient systems à la Drew-Gallauer to algebraic stacks.