Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2015

    I have added the pair of references

    • John Francis, Derived algebraic geometry over n\mathcal{E}_n-Rings (pdf)

    • John Francis, The tangent complex and Hochschild cohomology of n\mathcal{E}_n-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 ;-)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2015

    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 E n2E_{n \geq 2}-algebraic geoemtry a derived version of this comes out by itself, without being put in by hand.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 1st 2015

    I do not understand. Francis’ higher rings are commutative…

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2015
    • (edited Apr 1st 2015)

    They are in between associative and commutative. For n=1n = 1 they are associative, for n=n = \infty they are commutative. But for n2n \geq 2 their π 0\pi_0 is always commutative, in this way they encode, for n2n \geq 2, a kind of formal noncommutative thickening of an abelian affine scheme.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2015

    Oh, wow, now I see that you, Zoran, had hidden an entry on Kapranov’s noncommutative geometry all along.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeApr 1st 2015
    • (edited Apr 1st 2015)

    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.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeApr 1st 2015

    5 hidden ? Not only created and reported but even put it in a title of a nforum thread :)