I just took a look at the nlab entry: [Nikolai Durov](http://ncatlab.org/nlab/show/Nikolai+Durov). It seems that Skoda never mentioned that what Durov introduced was a special case of generalized scheme theory. I did not read his [dissertation](http://arxiv.org/abs/0704.2030) carefully or completely. I wonder whether his "generalized scheme" is a special case of noncommutative scheme in the sense of A. Rosenberg. 


I will give a talk on noncommutative schemes in a few days. Now I am collecting interesting examples of noncommutative schemes (quasi schemes). Examples that I already know are:


commutative schemes; D-modules; quantum D-modules; almost schemes by Gabber; general Grothendieck category (abelian category); Artin-Zhang noncommutative projective schemes; quantum flag variety in the sense of Rosenberg and Lunts; holonomic D-modules. 


Thanks!



Did Durov's work give an example of noncommutative schemes?
No, there is no need for the Rosenberg [noncommutative scheme](http://ncatlab.org/nlab/show/noncommutative+scheme) that the categories be abelian in general; whatever being said in his 1998 paper he does not mean so. He defines a relative scheme over a base category given by exactness properties of direct and inverse image functors describing covers used for gluing and the affinity property. In general one has to be careful, with formulating correctly the exactness properties for nonabelian context. 


Of course, to justify this one needs to say that the Durov's schemes are determined by the categories of quasicoherent modules. I do not know if the reconstruction theorem a la Gabriel-Rosenberg holds for the generalizes schemes of Durov. Durov glues schems along categorical localizations which he calls for some reason "pseudolocalizations". They just have the correct exactness properties. On the other hand, for commutative monads, Durov has two nice versions of prime spectra; now one should compare those with a version of Rosenberg's spectrum for nonabelian context. Now one version if the spectrum for right exact categories of Rosenberg. What is a right exact structure for the case of categories like the ones in Durov's work ? Well Durov has spent some time to develop a theory of [vectoids](http://ncatlab.org/nlab/show/vectoid) which generalize topoi, but also the categories of modules over finitary monads in Set and, more generally, the categories of quasicoherent sheaves of $\mathcal{O}$-modules over generalized schemes. Durov wrote a draft text in Russian about vectoids (which I have seen but is not released yet), and a video of a talk at Steklov. Is there a canonical right exact structure on a vectoid for which the spectrum of the right exact category in the sense of Rosenberg gives a sensible reconstruction theorem, it would be very interesting to investigate. 


Remark: I believe that that the quantum flag variety of Lunts-Rosenberg is isomorphic in the case of $SL\_n$ to the flag variety studied in my thesis from the dual point of view and with explicit Ore localizations. I never had time to check and publish all the details. 


