3
$\begingroup$

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=R^{e}-mod=R\bigotimes _{k}R^{o}-mod$.

Consider the action:

$B\times A\rightarrow A,(M,N)\mapsto M\bigotimes _{R}N$ is an action of monoidal category of $R^{e}-mod=B^{~}=(B,\bigotimes _{R},R)$ on A.

The paper said this action induces the action

$\Phi : D^{-}(B)\times D^{-}(A)\to D^{-}(A)$ of the monoidal derived category $D^{-}(B)$ on $D^{-}(A)$

I know this action should be $(M,N)\mapsto M\bigotimes_{R}^{L}N$.

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 ,\phi _{0})$

$\Phi :B=(B,\bigotimes _{R},R)\rightarrow End(A)$

$\Phi (V)\cdot \Phi (W)\overset{\phi }{\rightarrow}\Phi (V\bigotimes _{R}W)$

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

$\endgroup$
  • $\begingroup$ Maybe you could remove all the \[ and \] in the LaTeX code, which does not help readability :) $\endgroup$ – Mariano Suárez-Álvarez Feb 9 '10 at 5:37
  • 2
    $\begingroup$ It's almost definitely a paper by Kontsevich-Rosenberg. $\endgroup$ – Harry Gindi Feb 9 '10 at 5:39
  • 2
    $\begingroup$ Actually, it is the paper by Lunts-Rosenberg(unpublished but in Max-Plank) $\endgroup$ – Shizhuo Zhang Feb 9 '10 at 5:40
  • 2
    $\begingroup$ Have you read Toen-Vezzosi (HAG I & II)? From what I've read of it, it's pretty good. You might like it. $\endgroup$ – Harry Gindi Feb 9 '10 at 5:45
  • 2
    $\begingroup$ Maybe I am missing something but since you have an additive functor you can lift it to the level of homotopy categories and then just left derive it... I'd call that an induced action $\endgroup$ – Greg Stevenson Feb 9 '10 at 5:46
5
$\begingroup$

The original action takes the form of an additive functor $A \times B \to B$ with notation as in the question (and appropriate coherence conditions giving compatibility with the monoidal structure on $A$ presumably). By additivity this extends to the level of homotopy categories giving $K(A)\times K(B) \to K(B)$ where there is an obvious triangulation on the product category. Left deriving this functor gives the desired action $D(A)\times D(B) \to D(B)$ as uniquely as one can expect (and that there are coherent natural isomorphisms making this act as nicely as one could expect).

Note that taking categories of complexes bounded above is unneccesary.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.