History of tag 03IV
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2011-08-10 |
65ce54f |
LaTeX: \Spec
Introduced the macro
\def\Spec{\mathop{\rm Spec}}
and changed all the occurences of \text{Spec} into \Spec.
|
|
changed the statement
|
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
|
|
changed the statement
|
2010-01-17 |
451b3b9 |
Morphisms of Spaces: Uniform latex labels for lemmas
Only coding changes, except for moving a lemma in
spaces-descent.tex to its proper place.
|
|
assigned tag 03IV
|
2009-10-25 |
2ad4800
|
Tags: New tags added and two fixed
|
|
created statement with label example-strange-universally-closed in spaces-morphisms.tex
|
2009-10-20 |
2100745 |
Morphisms of spaces: Characterizing universally closed morphisms
Namely, to see that X --> Y is universally closed, it suffices
to check that the base change by any affine scheme mapping into
Y is universally closed
Future idea: We might consider the collection of algebraic
spaces X with the property that there exist a set of schemes U_i
and a surjective, etale surjection \coprod U_i --> X such that
each U_i \to X is quasi-compact. Note that this includes all
schemes, it includes all quasi-separated algebraic spaces, as
well as all Zariski locally quasi-separated algebraic spaces...
But it does not contain [A^1/Z].
|