Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 06QG

Go back to the tag's page.

type time link
changed the proof 2017-02-16 b1066f4
Fix typo in 06QG

Thanks to Minseon Shin
changed the proof 2011-08-11 f496b59
LaTeX: \Sch

	Introduced a new macro

	\def\Sch{\textit{Sch}}

	and replaced all the occurences of \textit{Sch} with \Sch.
assigned tag 06QG 2011-06-15 2aa1b6c
Tags: Added new tags
changed the statement and the proof 2011-06-15 0825897
Big set of changes

	Most of this is geared towards proving (in the "correct" way)
	that an algebraic stack is a gerbe if and only if the inertia is
	flat and locally of finite presentation over it.

	Other additions are:
		stackification and inertia
		[U/G] ---> U/G in the case of free actions
		residual gerbes are gerbes (not nec over a point!)
		presentations of inertia stacks
		definition free action
		U ---> U/R is flat + lfp in final bootstrap theorem
created statement with label lemma-gerbe-with-section in stacks-morphisms.tex 2011-06-14 e855389
Flatness of gerbes

	The statement is that if X ---> Y is a morphism of algebraic
	stacks such that X is a gerbe over Y, then X ---> Y is
	surjective, flat, and locally of finite presentation.

	There are a couple of not-completely-trivial lemmas that I added
	in this commit whose proof I will add in the next couple of
	commits.