History of tag 03IO
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2012-05-16 |
7e05565 |
Improve chapter on decent spaces
A collection of things: get rid of the very reasonable material.
This is possible because we can now prove everything for
reasoble spaces which was previously only proved for very
reasonable spaces.
|
|
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 label to example-quasi-compact-not-very-reasonable
|
2010-01-31 |
1642b95 |
Terminology changes:
"reasonable" ---> "very reasonable"
"almost reasonable" ---> "reasonable"
David Rydh suggested this change since the notion of being (what
is now called) very reasonable is not a particularly good
notion. On the other hand the notion of being (what is now
called) reasonable behaves quite well in various situations, and
it seems hard to envision results that use the assumption of
being very reasonable that do not hold for reasonable spaces.
Still, currently there are still some results of this form, so
we need to keep the notion "very reasonable" around (of course
we will always keep it around for the sake of referencing, but
in the future we may delegate it to a forgotten corner).
TODO (soon): Introduce decent spaces. These will be
characterized by having property (gamma).
|
|
changed the statement
|
2010-01-31 |
1642b95 |
Terminology changes:
"reasonable" ---> "very reasonable"
"almost reasonable" ---> "reasonable"
David Rydh suggested this change since the notion of being (what
is now called) very reasonable is not a particularly good
notion. On the other hand the notion of being (what is now
called) reasonable behaves quite well in various situations, and
it seems hard to envision results that use the assumption of
being very reasonable that do not hold for reasonable spaces.
Still, currently there are still some results of this form, so
we need to keep the notion "very reasonable" around (of course
we will always keep it around for the sake of referencing, but
in the future we may delegate it to a forgotten corner).
TODO (soon): Introduce decent spaces. These will be
characterized by having property (gamma).
|
|
assigned tag 03IO
|
2009-10-25 |
2ad4800
|
Tags: New tags added and two fixed
|
|
created statement with label example-quasi-compact-unreasonable in spaces-properties.tex
|
2009-10-22 |
2bd9d8e |
Properties of Spaces: Reasonable spaces have sober underlying |X|
We have not yet completely proved this but it looks like it is
going to work out. This commit has two FIXMES
|