1
$\begingroup$

This question is related to differential operator in noncommutative geometry. I wonder whether there is any approach to differential operator that taking differential operator as a functor? I think it might be easier to do localization from the functorial point of view.

Improve this question
$\endgroup$
4
  • 1
    $\begingroup$ A. Don't post two questions one immediately after the other. B. In commutative algebra, the Kahler differentials are defined by an adjunction, that is, it's more than functorial, it's a universal construction. Also, you should post some links (i.e., not links to the questions that you just posted) to relevant material, and also, you should add some motivation/work you've done yourself.. $\endgroup$
    – Harry Gindi
    Commented Jan 25, 2010 at 9:11
  • $\begingroup$ Functor from what category to what category? $\endgroup$
    – Yemon Choi
    Commented Jan 25, 2010 at 10:20
  • 1
    $\begingroup$ This is very vague; it seems outside the scope of what can usefully be asked on mathoverflow. There's been recent discussion of this at meta. $\endgroup$
    – Kim Morrison
    Commented Jan 26, 2010 at 0:53
  • $\begingroup$ @YemonChoi Better late than never, I suppose, but yeah, the full-form of The adjunction is $A-\operatorname{Alg}/B \leftrightarrows B-\operatorname{Mod}$ (the first one is $A$-algebras with an $A$-algebra map to $B$) where $Y\mapsto \Omega_{Y/A} \otimes_Y B$ and its adjoint is given by $M\mapsto B\oplus M$. I happened to be looking back over things to find the precise adjunction, and it's given as proposition 1.7 of Quillen's Homology of Commutative Rings $\endgroup$
    – Harry Gindi
    Commented Nov 16, 2017 at 8:44

0

Reset to default

You must log in to answer this question.