Skip to main content
added 22 characters in body; edited title
Source Link
David White
  • 30.3k
  • 9
  • 153
  • 250

Tensor prodcutproduct of dg-modules in the framework of dg categories

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in the framework of dg-categories, the following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give a concrete definition and proof of the Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ along enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for the existence of this Kan extension.

I want to know more details about the right definition of this functor.

Tensor prodcut of dg-modules in framework of dg categories

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in framework of dg-categories, following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give concrete definition and proof of Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ along enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for existence of this Kan extension.

I want to know more details about right definition of this functor.

Tensor product of dg-modules in the framework of dg categories

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in the framework of dg-categories, the following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give a concrete definition and proof of the Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ along enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for the existence of this Kan extension.

I want to know more details about the right definition of this functor.

added 2 characters in body
Source Link
ht zou
  • 191
  • 6

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in framework of dg-categories, following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give concrete definition and proof of Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ andalong enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for existence of this Kan extension.

I want to know more details about right definition of this functor.

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in framework of dg-categories, following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give concrete definition and proof of Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ and enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for existence of this Kan extension.

I want to know more details about right definition of this functor.

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in framework of dg-categories, following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give concrete definition and proof of Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ along enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for existence of this Kan extension.

I want to know more details about right definition of this functor.

Source Link
ht zou
  • 191
  • 6

Tensor prodcut of dg-modules in framework of dg categories

Let $\mathcal{A}$ and $\mathcal{B}$ be two dg categories, and let $M \in \text{Mod}_{\mathcal{B}}^{\mathcal{A}}$ be a $\mathcal{A}$-$\mathcal{B}$ bimodule. In many references in framework of dg-categories, following 'tensor functor' is mentioned $$ - \otimes_{\mathcal{A}}M: \text{Mod}_\mathcal{A} \rightarrow \text{Mod}_\mathcal{B} $$ but none of them give concrete definition and proof of Quillen adjunction to $\text{Hom}_{\mathcal{B}}(M,-)$, which makes me confused.

In this paper Relative Calabi-Yau structures, $- \otimes _{\mathcal{A}} M$ is defined as the left Kan extension of $M$ and enriched Yoneda embedding $Y: \mathcal{A} \rightarrow \text{Mod}_{\mathcal{A}}$ without reasons for existence of this Kan extension.

I want to know more details about right definition of this functor.