History of tag 07TG
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2017-01-30 |
8925126 |
Generalities on cartesian sheaves
For simplicial topoi
Also: what does it mean to be quasi-coherent on a simplicial topos
|
|
changed the statement
|
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 07TG
|
2012-06-05 |
113c346
|
Tags: Added new tags
|
|
created statement with label lemma-check-cartesian-module 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?
|