History of tag 07TN
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2014-09-09 |
9728b0a |
Changes thanks to correction_bot
Thanks to correction_bot
http://stacks.math.columbia.edu/tag/01G6#comment-1025
|
|
changed the statement and the proof
|
2013-12-28 |
f59391a |
Get rid of some bullets
|
|
moved the statement to file spaces-simplicial.tex
|
2013-12-27 |
31935a6 |
Move material on groupoid schemes and simplicial schemes
|
|
assigned tag 07TN
|
2012-06-05 |
113c346
|
Tags: Added new tags
|
|
created statement with label lemma-groupoid-simplicial in groupoids.tex
|
2012-05-23 |
fd2b510 |
Groupoids and simplicial schemes
Write out the relationship between groupoids in schemes and
simplicial schemes. Define quasi-coherent modules on simplicial
schemes. Define cartesian ones. Work out what they are and prove
elementary properties. Relate these to quasi-coherent modules on
groupoid schemes. Use this to prove that a quasi-coherent module
on a qc+qs+Noetherian groupoid is a filtered colimit of its
coherent submodules.
Also added: The usual argument in case the groupoid is affine
and there is a basis for O(R) over O(U). However, as far as I
can see this only gives that every module is a filtered colimit
of finitely generated things. In other words, I don't know how
to show that you can get finitely presented modules... Do you?
|