We prove a K-theoretic excess intersection formula for derived Artin stacks. When
restricted to classical schemes, it gives a refinement and new proof of R. Thomason’s
formula.
Keywords
derived algebraic geometry, algebraic K-theory, excess
intersection formula