Saturday, 12 July 2008

ag.algebraic geometry - How is this action of monoidal derived category induced?

I am reading a paper concerning the action of monoidal category to another category.
Let k be a commutative ring, R is a k-algebra. A=Rmod, B=Remod=RbigotimeskRomod.



Consider the action:



BtimesArightarrowA,(M,N)mapstoMbigotimesRN is an action of monoidal category of Remod=B =(B,bigotimesR,R) on A.



The paper said this action induces the action



Phi:D(B)timesD(A)toD(A) of the monoidal derived category D(B) on D(A)



I know this action should be (M,N)mapstoMbigotimesLRN.



But I do not know how is this action of monoidal derived category on the other derived category induced by the action of monoidal abelian category. Is there a canonical way(A natural transformation)to get this action?



Notice that the action of monoidal abelian category is defined as follows



Psi:=(Phi,phi,phi0)



Phi:B=(B,bigotimesR,R)rightarrowEnd(A)



Phi(V)cdotPhi(W)oversetphirightarrowPhi(VbigotimesRW)



The back ground of this question is localization of differential operator in derived category, so I added the tag"algebraic geometry"



This paper is "Differential Calculus in Noncommutative algebraic geometry I" which is available in MPIM

No comments:

Post a Comment