Example 22.25.6 (09MN): Graded category of graded modules

Example 22.25.6 (Graded category of graded modules). Let $A$ be a $\mathbf{Z}$-graded algebra over a ring $R$. We will construct a graded category $\text{Mod}^{gr}_ A$ over $R$ whose associated category $(\text{Mod}^{gr}_ A)^0$ is the category of graded $A$-modules. As objects of $\text{Mod}^{gr}_ A$ we take right graded $A$-modules (see Section 22.14). Given graded $A$-modules $L$ and $M$ we set

\[ \mathop{\mathrm{Hom}}\nolimits _{\text{Mod}^{gr}_ A}(L, M) = \bigoplus \nolimits _{n \in \mathbf{Z}} \mathop{\mathrm{Hom}}\nolimits ^ n(L, M) \]

where $\mathop{\mathrm{Hom}}\nolimits ^ n(L, M)$ is the set of right $A$-module maps $L \to M$ which are homogeneous of degree $n$, i.e., $f(L^ i) \subset M^{i + n}$ for all $i \in \mathbf{Z}$. In terms of components, we have that

\[ \mathop{\mathrm{Hom}}\nolimits ^ n(L, M) \subset \prod \nolimits _{p + q = n} \mathop{\mathrm{Hom}}\nolimits _ R(L^{-q}, M^ p) \]

(observe reversal of indices) is the subset consisting of those $f = (f_{p, q})$ such that

\[ f_{p, q}(m a) = f_{p - i, q + i}(m)a \]

for $a \in A^ i$ and $m \in L^{-q - i}$. For graded $A$-modules $K$, $L$, $M$ we define composition in $\text{Mod}^{gr}_ A$ via the maps

\[ \mathop{\mathrm{Hom}}\nolimits ^ m(L, M) \times \mathop{\mathrm{Hom}}\nolimits ^ n(K, L) \longrightarrow \mathop{\mathrm{Hom}}\nolimits ^{n + m}(K, M) \]

by simple composition of right $A$-module maps: $(g, f) \mapsto g \circ f$.

The Stacks project

Comments (0)

Post a comment