History of tag 07TQ
Go back to the tag's page.
| type |
time |
link |
|
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
|
|
changed the statement and the proof
|
2013-12-27 |
31935a6 |
Move material on groupoid schemes and simplicial schemes
|
|
changed the statement
|
2013-08-03 |
6cc7a5d |
ell check: words starting with s, t, S, or T
|
|
assigned tag 07TQ
|
2012-06-05 |
113c346
|
Tags: Added new tags
|
|
created statement with label lemma-quasi-coherent-groupoid-R-cartesian 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?
|