Definition 24.8.1. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{A}$ and $\mathcal{B}$ be a sheaves of graded algebras on $(\mathcal{C}, \mathcal{O})$. A *graded $(\mathcal{A}, \mathcal{B})$-bimodule* is given by a family $\mathcal{M}^ n$ indexed by $n \in \mathbf{Z}$ 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)$,

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}$. A *homomorphism of graded $(\mathcal{A}, \mathcal{B})$-bimodules* $f : \mathcal{M} \to \mathcal{N}$ is a family of maps $f^ n : \mathcal{M}^ n \to \mathcal{N}^ n$ of $\mathcal{O}$-modules compatible with the multiplication maps.

## Comments (0)