Virtual excess intersection theory

TL;DR

This paper establishes a K-theoretic excess intersection formula for derived Artin stacks, providing a refined and new proof of Thomason's classical scheme formula, advancing intersection theory in algebraic geometry.

Contribution

It introduces a K-theoretic excess intersection formula for derived stacks, extending and refining classical intersection results.

Findings

Proves a new K-theoretic excess intersection formula for derived Artin stacks.

Refines and provides a new proof of Thomason's classical excess intersection formula.

Advances the understanding of intersection theory in derived algebraic geometry.

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.