Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.