Lemma 27.9.1 (01MK)—The Stacks project

Lemma 27.9.1. Let $S$ be a graded ring. Let $(X, \mathcal{O}_ X) = (\text{Proj}(S), \mathcal{O}_{\text{Proj}(S)})$ be the scheme of Lemma 27.8.7. Let $f \in S_{+}$ be homogeneous. Let $x \in X$ be a point corresponding to the homogeneous prime $\mathfrak p \subset S$. Let $M$, $N$ be graded $S$-modules. There is a canonical map of $\mathcal{O}_{\text{Proj}(S)}$-modules

\[ \widetilde M \otimes _{\mathcal{O}_ X} \widetilde N \longrightarrow \widetilde{M \otimes _ S N} \]

which induces the canonical map $ M_{(f)} \otimes _{S_{(f)}} N_{(f)} \to (M \otimes _ S N)_{(f)} $ on sections over $D_{+}(f)$ and the canonical map $ M_{(\mathfrak p)} \otimes _{S_{(\mathfrak p)}} N_{(\mathfrak p)} \to (M \otimes _ S N)_{(\mathfrak p)} $ on stalks at $x$. Moreover, the following diagram

\[ \xymatrix{ M_0 \otimes _{S_0} N_0 \ar[r] \ar[d] & (M \otimes _ S N)_0 \ar[d] \\ \Gamma (X, \widetilde M \otimes _{\mathcal{O}_ X} \widetilde N) \ar[r] & \Gamma (X, \widetilde{M \otimes _ S N}) } \]

is commutative where the vertical maps are given by (27.9.0.1).

Proof. To construct a morphism as displayed is the same as constructing a $\mathcal{O}_ X$-bilinear map

\[ \widetilde M \times \widetilde N \longrightarrow \widetilde{M \otimes _ S N} \]

see Modules, Section 17.16. It suffices to define this on sections over the opens $D_{+}(f)$ compatible with restriction mappings. On $D_{+}(f)$ we use the $S_{(f)}$-bilinear map $M_{(f)} \times N_{(f)} \to (M \otimes _ S N)_{(f)}$, $(x/f^ n, y/f^ m) \mapsto (x \otimes y)/f^{n + m}$. Details omitted. $\square$

The Stacks project

Comments (0)

Post a comment