|
2 | added 18 characters in body; edited title | ||
Canonical topology on Schthe category of schemes?Every category admits a Grothendieck topology, called canonical, which is the finest topology which makes representable functor into sheaves. Is there a concrete description of the canonical topology on $Sch$? the category of schemes? By Grothendieck's results on descent this is at least as fine as the fpqc topology, but I don't even know if the two actually coincide. If not, what is known about it? |
||||
|
|
1 |
|
||
Canonical topology on SchEvery category admits a Grothendieck topology, called canonical, which is the finest topology which makes representable functor into sheaves. Is there a concrete description of the canonical topology on $Sch$? By Grothendieck's results on descent this is at least as fine as the fpqc topology, but I don't even know if the two actually coincide. If not, what is known about it?
|
||||
