The Stacks project

Slogans by slogan_bot

Proper + rel ample sheaf => locally projective

Clarification surjectivity in proof Lemma Tag 01WN

	Hopefully this is a clarification and doesn't make the thing
	harder to read...

Mistake in the proof of tag 01WN

	There is a mistake in the stacks project (in morphisms, proof of
	lemma 41.7, tag 01WM). The set denoted I' is said to be an
	ideal, but it is not since it does not contain any multiple of
	y.

	In the file I am sending you there is a corrected version I
	wrote with my advisor. The idea is the same, but the mistake I
	pointed out above is avoided and it does not mention the
	projective line.

	Best regards,
	Alberto Gioia.

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Cohomolgoy and base change improved
Changed corresponding tags in tags/tags
Added more variants of etale localizing quasi-finite maps
Started section on structure of quasi-finite maps
Improved section on proper morphisms
Improved section on integra; and finite morphisms
Characterizing integral morphisms as universally closed and affine
Comment added to section on proper maps in topology

	modified:   coherent.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   schemes.tex
	modified:   tags/tags
	modified:   topology.tex

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

Starting to write proof of finite surjective with source affine has
target affine

	modified:   algebra.tex
	modified:   limits.tex
	modified:   morphisms.tex