Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have added the pair of references
John Francis, Derived algebraic geometry over -Rings (pdf)
John Francis, The tangent complex and Hochschild cohomology of -rings (pdf)
to the References-section at various related entries, such as at derived noncommutative geometry.
(Thanks to Adeel in the MO-comments here. He watched me ask the question there on three different forums, before then giving a reply on the fourth ;-)
Also added there and at noncommutative algebraic geometry pointer to
which discusses formal NCG perturbing around ordinary abelian schemes. This is pretty much exactly what I had in mind when I asked the question, though of course its intriguing that in -algebraic geoemtry a derived version of this comes out by itself, without being put in by hand.
I do not understand. Francis’ higher rings are commutative…
They are in between associative and commutative. For they are associative, for they are commutative. But for their is always commutative, in this way they encode, for , a kind of formal noncommutative thickening of an abelian affine scheme.
Oh, wow, now I see that you, Zoran, had hidden an entry on Kapranov’s noncommutative geometry all along.
Please do not use word “abelian” in this context. Abelian in commutative algebraic geometry is about the class of abelian varieties, which is a subclass of group schemes, which are abelian as groups. In the same time they are never affine. So for an algebraic geometer words “abelian affine scheme” do not parse.
As far as thickenings coming naturally or not, Rosenberg and Lunts had general framework in 1996 a la Grothendieck of noncommutative thickenings of (generally noncommutative) subschemes within ambient noncommutative in context of abelian categories of quasicoherent sheaves. It is internal viewpoint similar to working in topos theory and nothing is added by hand. Part I http://www.mpim-bonn.mpg.de/preblob/3894, Part II http://www.mpim-bonn.mpg.de/preblob/3916
Third comment: taking derived to noncommutative world is adding some level of commutativity in the picture. You see, in rough terms, abelian categories of sheaves do not reduce to homotopy theory, while triangulated categories do. And homotopy theory is essentially spaces, commutative. As late Rosenberg used to say, the notions are usually much easier as many things from abelian context coalesce once you pass to derived category. Specially in repesentation theory, where the functors induced on the derived categories of representations behave better and are easier to study but loose some information living on abelian level.
5 hidden ? Not only created and reported but even put it in a title of a nforum thread :)
1 to 7 of 7