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=R−mod, B=Re−mod=RbigotimeskRo−mod.
Consider the action:
BtimesArightarrowA,(M,N)mapstoMbigotimesRN is an action of monoidal category of Re−mod=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