Virtual excess intersection theory
arXiv:1909.13829 · doi:10.2140/akt.2021.6.559
Abstract
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.
12 pages, final version (minor revisions)