History of tag 06D5
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2022-01-23 |
9cee969 |
Try to use L/K notation for field extensions
We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.
|
|
changed the statement
|
2012-06-11 |
eb81cb2 |
stacks ---> cats fibred groupoids
A small improvement...
|
|
changed the statement and the proof
|
2011-08-12 |
dd4090b |
LaTeX: Remove useless brackets
|
|
changed the statement
|
2011-08-11 |
f496b59 |
LaTeX: \Sch
Introduced a new macro
\def\Sch{\textit{Sch}}
and replaced all the occurences of \textit{Sch} with \Sch.
|
|
changed the proof
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
assigned tag 06D5
|
2011-05-17 |
929f4fe
|
Tags: Added new tags
Also fixed a reference.
|
|
created statement with label lemma-base-change-surjective in criteria.tex
|
2011-05-17 |
dd9236b |
Bootstrapping stacks
We finally proved the analogue for algebraic stacks of the final
bootstrap theorem for algebraic spaces proved in commit d70ec1d.
The theorem states that if X ---> Y is a morphism from an
algebraic space to a stack in groupoids, and if this morphism is
representable by algebraic spaces, surjective, flat, and locally
of finite presentation, then Y is an algebraic stack.
An application (to be added still) is that if G/S is a flat and
locally finitely presented group scheme, then [X/G] is an
algebraic stack over S. Etc, etc, etc.
|