A name for "not quite saturated" graded modules - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T16:42:19Z http://mathoverflow.net/feeds/question/70661 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70661/a-name-for-not-quite-saturated-graded-modules A name for "not quite saturated" graded modules Charles Staats 2011-07-18T19:37:02Z 2011-07-19T13:09:33Z <p>Let $M$ be a finitely generated graded module over a graded ring $R$. Let $\mathcal{F}$ be the corresponding coherent sheaf on $\operatorname{Proj} R$. There is a natural map of graded $R$-modules $$\phi \colon M \to \Gamma^*(\mathcal{F}) := \bigoplus_{n} \Gamma(\operatorname{Proj} R, \mathcal{F}(n)).$$ If I recall Ravi Vakil's notes correctly, $M$ is called <i>saturated</i> if $\phi$ is an isomorphism.</p> <blockquote> <p>Is there a term (perhaps semi-saturated, or some such) for modules $M$ such that $\phi$ is injective?</p> </blockquote> <p>This concept is appealing for several reasons. For one thing, it is easier to test "semi-saturatedness" than saturatedness; e.g., unless I am mistaken, $\phi$ is automatically injective if $M$ admits any positive-degree homogeneous nonzerodivisor. For another, at least if $R$ is a polynomial ring, $M = R/I$ is "semi-saturated" iff $I$ is a saturated ideal of $R$. (Note that the definition of "saturated ideal" is different from the definition given above for "saturated module", and I do not think the two are equivalent for ideals.)</p> http://mathoverflow.net/questions/70661/a-name-for-not-quite-saturated-graded-modules/70709#70709 Answer by Hailong Dao for A name for "not quite saturated" graded modules Hailong Dao 2011-07-19T05:10:14Z 2011-07-19T13:09:33Z <p>To elaborate on Karl's comment:</p> <p>Let $m$ be the irrelevant ideal of $R$, then there is a short exact sequence:</p> <p>$$0 \to H_m^0(M) \to M \to \Gamma^*(\mathcal{F}) \to H_m^1(M) \to 0$$</p> <p>(see Eisenbud's book, Theorem A4.1, p. 693). Here $H_m^i(M)$ denote the local cohomology modules. So the map is injective precisely when $H_m^0(M):= \cup_n (0:_M m^n) = 0$. I believe such module is called $m$-<em>torsion-free</em> (don't know a reference off hand, may be Brodmann-Sharp's book on local cohomology?). </p> <p>Also, it is equivalent to $m$ contains a non-zerodivisor on $M$ (may be that's what you meant in the last paragraph?)</p>