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