Virtual fundamental classes of derived stacks I

Abstract

We construct the \'etale motivic Borel-Moore homology of derived Artin stacks. Using a derived version of the intrinsic normal cone, we construct fundamental classes of quasi-smooth derived Artin stacks and demonstrate functoriality, base change, excess intersection, and Grothendieck-Riemann-Roch formulas. These classes also satisfy a general cohomological B\'ezout theorem which holds without any transversity hypotheses. The construction is new even for classical stacks and as one application we extend Gabber's proof of the absolute purity conjecture to Artin stacks.