History of tag 09DS
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2019-12-09 |
3cc2fa3 |
Insert small words
Thanks to Ariyan Javanpeykar
https://stacks.math.columbia.edu/tag/08WC#comment-4571
|
|
changed the statement and the proof
|
2017-04-11 |
b742920 |
Introduce macros for moduli stacks/spaces
Not sure this is a good idea but at least for the
different versions of Pic it was necessary to more
clearly distinguish especially in statements of
lemmas (bc of the italics that is used there by
LaTeX).
|
|
changed the proof
|
2017-04-08 |
22a63b3 |
Done with Max's moduli
|
|
changed the proof
|
2016-11-06 |
7b82497 |
Application to the stack of coherent sheaves
Terrific! This is just how doing things more generally should work.
|
|
changed the statement
|
2014-10-03 |
0f8c41f |
Fix idiotic error
In the proof of the algbraicity of the stack of coherent sheaves we
forgot to check all the conditions of the application of Grothendiecks
existence theorem. One of these is "separated", which is absolutely
necessary and we have now added this to the assumptions.
|
|
assigned tag 09DS
|
2013-08-06 |
9a0eed8
|
Tags: Added new tags
|
|
created statement with label theorem-coherent-algebraic-general in quot.tex
|
2013-08-06 |
3930c57 |
Final commit on stack of coherent sheaves on algebraic spaces
OK, the situation is now as follows:
(0) Philosofically speaking the result holds because you can prove it
using methods from derived algebraic geometry.
(1) It is clear that the method as presented works.
(2) Quite a few details are omitted, mostly of a nature of checking
that certain diagrams commute -- some of these checks have been done in
the literature (eg Illusie) and others are variants of these.
However, at this point it seems preferable to continue on with
applications to Quot spaces for example rather than continuing to
add innumerable details.
|