The Stacks project

LaTeX: \etale

Introduced the macro

\def\etale{{\acute{e}tale}}

and replaced all occurences of \acute{e}tale by \etale

QCoh on lisse-etale is weak serre

	The proof of this is now finally done. What's more important is
	that we have finally proved the result that is going to be a key
	ingredient later on, namely that Lg_!H with H quasi-coherent on
	the lisse-etale site) is a complex whose cohomology sheaves are
	locally quaasi-coherent and have the flat base change property.
	Essentially this is saying the following: Given a ring A and a
	module M the functor

		B |---> Tor_p^A(B, M)

	is locally quasi-coherent and has the flat base change property.
	This is obvious as these Tor groups can be computed using a
	fixed free resolution of M.

Tags: added new tags

Small improvement

Move section + slight improvement

Pushforward LQC via qc+qs morphisms

	This is the first ingredient for a naive discussion of
	pushforward of quasi-coherent sheaves.