Wikipedia's definition of 'locally free sheaf' - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T13:45:36Z http://mathoverflow.net/feeds/question/44839 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/44839/wikipedias-definition-of-locally-free-sheaf Wikipedia's definition of 'locally free sheaf' roger123 2010-11-04T16:08:14Z 2011-10-12T11:49:48Z <p>Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent:</p> <ol> <li>The module $M$ is locally free (<strong>Edit:</strong> this means there is an open cover $\{U_i\}$ of $Spec R$ such that every $\tilde{M}_{|U_i}$ is free as an ${\mathcal{O}_{Spec R}}{|U_i}$-module.)</li> <li>$M_p$ is a free $R_p$-module for every prime ideal $p$ of $R$.</li> </ol> <p>I see that these two things are equivalent if $M$ is finitely generated but I cannot see this in general, even if $R$ is noetherian. Am I missing something or is there a mistake on Wikipedia?</p> <p>If the latter case is true, has anybody an example of a (<strong>non-finitely generated</strong>) $R$-module $M$ over a <strong>noetherian</strong> $R$ such that $M_p=(R_p)^{n_p}$ for every prime ideal $p$ of $R$ and such that $M$ is not locally free?</p> http://mathoverflow.net/questions/44839/wikipedias-definition-of-locally-free-sheaf/44846#44846 Answer by Michael for Wikipedia's definition of 'locally free sheaf' Michael 2010-11-04T17:25:09Z 2010-11-04T17:28:59Z <p>I'm a bit confused about your question since an $R$-module $M$ is defined to be locally free if $M_{\mathfrak{p}}$ is a free $R_\mathfrak{p}$-module for all primes $\mathfrak{p}$. I'll assume that you are asking for any example where $M_{\mathfrak{p}}$ is a free $R_\mathfrak{p}$-module for all primes $\mathfrak{p}$ but $M$ is not projective. If this is not what you are after, just ignore this answer.</p> <p>Let $R=\mathbb{Z}$ and let $M$ be the submodule of $\mathbb{Q}$ generated by all $\frac{1}{p}$ where $p$ is a prime number. Then $M$ is not projective/free, but it is locally free since <code>$M_{(p)}=\mathbb{Z}_{(p)}\frac{1}{p}=R_{(p)}$</code> and <code>$M_{(0)}=\mathbb{Q}=R_{(0)}$</code>.</p> http://mathoverflow.net/questions/44839/wikipedias-definition-of-locally-free-sheaf/44881#44881 Answer by Georges Elencwajg for Wikipedia's definition of 'locally free sheaf' Georges Elencwajg 2010-11-04T22:00:42Z 2010-11-05T00:51:54Z <p>Dear roger123, let $R$ be a commutative ring and $M$ an $R$-module ( which I do <em>not</em> suppose finitely generated). In order to minimize the risk of misunderstandings, allow me to introduce the following terminology:</p> <p><strong>Locfree</strong> The module $M$ is locally free if for every $P \in Spec (R)$ there is an element $f \in Spec(R)$ such that $f \notin P$ and that $M_f$ is a free $R_f$ - module.</p> <p><strong>Punctfree</strong> The module $M$ is punctually free if for every $P \in Spec (R)$ the $R_{P}$ - module $M_P$ is free.</p> <p><strong>Fact 1</strong> Every locally free module is punctually free. Clear.</p> <p><strong>Fact 2</strong> Despite Wikipedia's claim, it is false that a punctually free module is locally free.</p> <p><strong>Fact 3</strong> However if the punctually free $R$- module $M$ is also finitely presented, then it is indeed locally free.</p> <p><strong>Fact 4</strong> A finitely generated module is locally free if and only it is projective.</p> <p><strong>Fact 5</strong> A projective module over a local ring is free.This was proved by Kaplansky and is remarkable in that, let me repeat it, the module $M$ is not supposed to be finitely generated.</p> <p><strong>A family of counterexamples to support Fact 2</strong> Let <em>R</em> be a Von Neumann regular ring. This means that every $r\in R$ can be written $r=r^2s$ for some $s\in R$. For example, every Boolean ring is Von Neumann regular. Take a non-principal ideal $I \subset R$. Then the $R$- module $R/I$ is finitely generated (by one generator: the class of 1 !), all its localizations are free but it is not locally free because it is not projective (cf. Fact 4) .The standard way of manufacturing that kind of examples is to take for R an infinite product of fields $\prod \limits_{j \in J}K_j$ and for $I$ the set of families $(a_j)_{j\in J}$ with $a_j =0$ except for finitely many $j$ 's. </p> <p><strong>Final irony</strong> In the above section on counterexamples I claimed that the $R$ - module $R/I$ is not projective.This is because in all generality a quotient $R/I$ of a ring $R$ by an ideal $I$ can only be $R$ - projective if $I$ is principal . And I learned this fact in...<a href="http://en.wikipedia.org/wiki/Projective_module" rel="nofollow">Wikipedia</a> !</p>