Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 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?

share|improve this question
2  
SGA IV Exp 2 gives a caracterisation of the canonical topology in terms of universally strict epimorphisms. I'm not sure what these are in the category of schemes though. –  YBL Dec 23 '09 at 0:16
2  
For the category of affine schemes I think (but am not certain) that the canonical topology is the flat topology (no finite presentation necessary); I think this is in Knutson. –  David Zureick-Brown Dec 23 '09 at 3:14
1  
The flat site is not even subcanonical according to Vistoli's notes. –  Harry Gindi Dec 23 '09 at 8:30
1  
Page 37 remark 2.56 for reference. –  Harry Gindi Dec 23 '09 at 8:39
add comment

2 Answers

up vote 9 down vote accepted

Proposition 3.4 in Orlov's paper

Quasicoherent sheaves in commutative and noncommutative geometry. (Russian) Izv. Ross. Akad. Nauk Ser. Mat. 67 (2003), no. 3, 119--138; translation in Izv. Math. 67 (2003), no. 3, 535--554.

describes the canonical topology and the universally strict epimorphisms on the category of affine schemes. In the same paper Orlov characterizes the quasicoherent sheaves on the small Zariski site in terms of the canonical topology. He also studies an important subcanonical topology - the effective descent topology - which seems to be finer than the flat topology.

share|improve this answer
1  
Thank you. I'm now home for Christmas holidays. Do you have any online reference? –  Andrea Ferretti Dec 23 '09 at 17:49
2  
    
But this studies only the canonical topology on the category of affine schemes, right? –  Martin Brandenburg May 24 '11 at 16:15
add comment

following the answers given by Pantev, I will give you more example of canonical topology on some category(universally strict epimorphism)

if C is an abelian category or a topos, then canonical topology consists of all epimorphism if C is a quasi abelian category,then canonical topology consists of all strict epimorphism(Note that strict epimorphism is subcanonical in general)

if C is a category of associative unital k-algebras(opposite category of affine schemes,not necessarily commutative). Canonical topology consists of all strict epimorphism which are precisely surjective morphism of algebras. In this case, univerally strict epimorphism coincides with strict epimorphism.

Rosenberg has a very detailed treatment for a category and 2-category(taken as category of spaces)with canonical topology(he called right exact structure).It is in MPIM preprint series," Homological algebra of noncommutative 'space' I"

What pantev mentioned is related to my answers in another question: Does sheafification preserve sheaves for a different topology?

The effective descent topology is finer that fpqc topology, fppf topology,smooth topology(in Kontsevich-Rosenberg sense)

The descent topology on category of affine schemes(not necessarily commutative) coincides with subcanonical topology

The reference is Orlov's paper and Kontsevich-Rosenberg MPIM preprint series. Noncommutative stack and Noncommutative grassmannian and related construction

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.