Virtual fundamental classes of derived stacks I

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 Bezout theorem which holds without any transversity hypotheses. The construction is new even for classical stacks and as one application we extend Gabbers proof of the absolute purity conjecture to Artin stacks.