The Stacks project

Chern classes perfect complexes

Take two

Much better this time. It still irks me that I don't know an elementary
argument for the general case in the definition.

Still to do: fix up the lemmas following the definition to work in the
generality we have now.

chern -> Chern and noetherian -> Noetherian

Thanks to Lor Gro
https://stacks.math.columbia.edu/tag/0FWC#comment-5372

New macro for Chow groups

Introduced mainly to distinguish between Chow groups of cycles of
codimension p and bivariant classes of degree p

Towards localized chern classs

As much as possible work with (a) objects in the derived category and
(b) cycle classes and not actual cycles.

Tags: Added new tags

Also fixed a couple of internal references

Chern classes of complexes

For the moment we can only prove that the result is well defined, i.e.,
independent of the global resolution.