On presheaves associated to modules (Q1267123): Difference between revisions

Let \(A\) be a commutative unitary ring, \(M\) an \(A\)-module, \(\widetilde M\) the sheaf associated to \(M\) on \(\text{Spec} (A)\) and \(\overline M\) the presheaf of modules on \(\text{Spec} (A)\) given by \(\overline M(U) =S_U^{-1} M\) for each open subset \(U\) of \(\text{Spec} (A)\), where \(S_U\) is the intersection of all sets \(A\setminus P\) for \(P\in U\). Then \(\overline M\) is a sheaf if and only if \(\overline M= \widetilde M\). In the paper under review, the author studies the following conditions for a given domain \(A\): (S.1) \(\overline M=\widetilde M\) for each \(A\)-module \(M\), (S.2) \(\overline I=\widetilde I\) for each ideal \(I\) of \(A\), and (S.3) \(\overline A=\widetilde A\), when the domain \(A\) is Prüfer, Krull, Dedekind, UFD, PID or valuation domain. He proves that (S.3) holds, (S.1)\( \Leftrightarrow\)(S.2), when \(A\) is a valuation domain, that (S.1)\( \Leftrightarrow\)(S.3)\( \Leftrightarrow\) \(A\) has torsion ideal class group, when \(A\) is a Dedekind domain, and that (S.3) holds (S.1)\( \Leftrightarrow \)(S.2)\( \Leftrightarrow\) \(A\) is a PID, when \(A\) is a UFD. Some applications and examples are given (for instance, the author shows that \(\mathbb{Z} [\sqrt{-3}]\) and \(\mathbb{Z} [\sqrt 5]\) satisfy (S.1), but \(\mathbb{C} [X,Y]/(Y^2- X^3-a X-b)\) does not satisfy (S.3), when \(a,b\in \mathbb{C}\), \(4a^3+ 27b^2=0)\).