The Stacks project

Restrict first then cap

Thanks to WhatJiaranEatsTonight
https://stacks.math.columbia.edu/tag/02TM#comment-6643

New macro for Chow groups

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

L should be N

Thanks to Xia
https://stacks.math.columbia.edu/tag/02TK#comment-2983

Simplify proof key lemma in chow

Large set of changes in order to simplify the proof of the key lemma
used in proofs of properties for intersecting with effective Cartier
divisors and capping with c_1 of invertible modules.

Probably the original proof was a bit too original. It is still there
in an appendix, but the current proof can be read within an hour by
those familiar with standard (Noetherian) commutative algebra. The
original proof required checking commutativity of many diagrams and
checking many signs.

We also added more explanation of what is happening in the introduction
as well as a comment on Milnor K-theory giving the reference to Kato's
paper and how it is more general.

Typos in chow

Move some material on Weil divisors to divisors.tex

More improvement of the material on gysin maps

amalg and coprod

Use the key lemma to get gysin map modulo rational equivalence

Much better than before!

Fix more references

	Final fix for now

New tags added to the project

	modified:   tags/tags

The Gysin homomorphism really factors through rational equivalence

	modified:   chow.tex