Definition 24.4.1. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{A}$ be a sheaf of graded algebras on $(\mathcal{C}, \mathcal{O})$. A (right) graded $\mathcal{A}$-module or (right) graded module over $\mathcal{A}$ is given by a family $\mathcal{M}^ n$ indexed by $n \in \mathbf{Z}$ of $\mathcal{O}$-modules endowed with $\mathcal{O}$-bilinear maps

$\mathcal{M}^ n \times \mathcal{A}^ m \to \mathcal{M}^{n + m},\quad (x, a) \longmapsto xa$

called the multiplication maps with the following properties

1. multiplication satisfies $(xa)a' = x(aa')$,

2. the identity section $1$ of $\mathcal{A}^0$ acts as the identity on $\mathcal{M}^ n$ for all $n$.

We often say “let $\mathcal{M}$ be a graded $\mathcal{A}$-module” to indicate this situation. A homomorphism of graded $\mathcal{A}$-modules $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. The category of (right) graded $\mathcal{A}$-modules is denoted $\textit{Mod}(\mathcal{A})$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).