Definition 24.17.1. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{A}$ and $\mathcal{B}$ be a sheaves of differential graded algebras on $(\mathcal{C}, \mathcal{O})$. A *differential graded $(\mathcal{A}, \mathcal{B})$-bimodule* is given by a complex $\mathcal{M}^\bullet $ of $\mathcal{O}$-modules endowed with $\mathcal{O}$-bilinear maps

and

called the multiplication maps with the following properties

multiplication satisfies $a(a'x) = (aa')x$ and $(xb)b' = x(bb')$,

$(ax)b = a(xb)$,

$\text{d}(ax) = \text{d}(a) x + (-1)^{\deg (a)}a \text{d}(x)$ and $\text{d}(xb) = \text{d}(x) b + (-1)^{\deg (x)}x \text{d}(b)$,

the identity section $1$ of $\mathcal{A}^0$ acts as the identity by multiplication, and

the identity section $1$ of $\mathcal{B}^0$ acts as the identity by multiplication.

We often denote such a structure $\mathcal{M}$ and sometimes we write ${}_\mathcal {A}\mathcal{M}_\mathcal {B}$. A *homomorphism of differential graded $(\mathcal{A}, \mathcal{B})$-bimodules* $f : \mathcal{M} \to \mathcal{N}$ is a map of complexes $f : \mathcal{M}^\bullet \to \mathcal{N}^\bullet $ of $\mathcal{O}$-modules compatible with the multiplication maps.

## Comments (0)