History of tag 077U
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-06-04 |
aee2e1a |
\text{Spec} ---> \Spec
|
|
changed the statement
|
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?
|
|
assigned tag 077U
|
2011-11-20 |
c348c9f
|
Tags: added new tags
|
|
created statement with label lemma-colimit-kappa in groupoids.tex
|
2011-10-17 |
9088d78 |
Gabber's argument for QCoh(U, R, s, t, c)
|