The Stacks project

Change of base scheme in chow

There is a lot more that we can say in this section. What isn't so clear
is if we can define a map on bivariant chow rings...

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.

Move some lemmas earlier

\dim(M) ---> \dim(\text{Supp}(M))

Small changes to chow.tex

zerodivisor and nonzerodivisor

	Seems better this way.

Whitespace changes

Fix more references

	Final fix for now

New tags added to the project

	modified:   tags/tags

Fix small error in chow.tex

	modified:   chow.tex

Filling in the proofs in chow.tex, continued

	modified:   chow.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex

Moved the file intersections.tex to chow.tex

	renamed:    intersections.tex -> chow.tex

Added Serre subcategories to homology.tex
Lots of edits to intersections.tex

	modified:   homology.tex
	modified:   intersections.tex
	modified:   morphisms.tex
	modified:   my.bib

Why not add this? Can always remove it later.

	new file:   intersections.tex
	modified:   my.bib