A ring such that all projectives are stably free but not all projectives are free? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T09:49:33Z http://mathoverflow.net/feeds/question/27424 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free A ring such that all projectives are stably free but not all projectives are free? Hailong Dao 2010-06-08T04:08:38Z 2010-06-09T19:34:06Z <p>This question is motivated by this recent <a href="http://mathoverflow.net/questions/27406/free-resolution-dimension" rel="nofollow">question</a>. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and projective resolutions (with all modules f.g.) of $M$ respectively. </p> <p>We will be interested in two conditions on $R$:</p> <p>(1) For all f.g. $M$, $PD(M)&lt;\infty$ if and only if $FD(M)&lt;\infty$.</p> <p>(2) For all f.g. $M$, $PD(M)=FD(M)$. </p> <p>It is not hard to see that one is equivalent to (3): <em>all f.g. projective modules are stably free</em>. Also, (2) is equivalent to (4): <em>all f.g projectives are free</em>. It is natural to ask whether (1) and (2) are equivalent. I don't think they are, but can't find a counter-example. Thus:</p> <blockquote> <p>Can we find a commutative Noetherian ring which satisfies (3) but not (4)? </p> </blockquote> <p>Some thoughts: (3) is equivalent to the Grothendick group of projective $K_0(R)=\mathbb Z$. Well-known class of rings satisfying (3): local rings or polynomial rings over fields. </p> <p>Of course, there are well known rings which fails (4): coordinate rings of $n$-spheres $R_n=\mathbb R[x_0,\cdots,x_n]/(x_0^2+\cdots+x_n^2-1)$ for $n$ even. <strike>Unfortunately, for those rings we have $K_0(R_n)=\mathbb Z^2$.</strike> (except for $n=8r+6$ which do provide examples, see below)</p> <p>UPDATE: it seems to me that Tyler's answer suggests $R_5$ may work, but one needs to check some details. </p> <p>UPDATE 2: I think one can put together a more or less complete solution, based on Tyler and Torsten's answers, the comments and some digging online. </p> <p><strong>Claim</strong>: $R_n$ satisfies (3) but not (4) if $n=5,6$ or $n=8r+k$ with $r>0$, <code>$k\in \{3,5,6,7\}$</code> </p> <p><strong>Proof</strong>: Let $S^n$ be the $n$-sphere and $C(S^n)$ be the ring of continuous functions.</p> <p>To show that $R_n$ satisfies (3), it suffices to show $K_0(R_n)=\mathbb Z$ (Lemma 2.1, Chapter 2 of Weibel's <a href="http://www.math.rutgers.edu/~weibel/Kbook.html" rel="nofollow">K-book</a>) or the reduced group $\tilde K_0(R_n)=0$. But one has isomorphism (known to Swan, see for example 5.7 of <a href="http://www.math.ku.edu/~mandal/talks/bottPP1.pdf" rel="nofollow">this paper</a>): $$\tilde K_0(R_n) \cong \tilde KO_0(S^n)$$ the <a href="http://math.ucr.edu/home/baez/octonions/node10.html" rel="nofollow">reduced $K$-groups of real vector bundles</a>, and it is well-known that $\tilde KO_0(S^n) =0$ if $n\equiv 3,5,6,7 (\text{mod} 8)$. </p> <p>It remains to show our choices of $R_n$ fail (4). Let $T_n$ be the kernel of the surjection $R_n^{\oplus n+1} \to R$ defined by the column of all the $x_i$s. $R$ is projective, so the sequence splits, thus $T_n$ is stably free. </p> <p>On the other hand, $R_n$ embeds in $C(S^n)$ and tensoring with $C(S^n)$ turns $T_n$ into the tangent bundle of $S^n$. If $T_n$ is free, said bundle has to be trivial. But $S_n$ <a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.bams/1183522319&amp;page=record" rel="nofollow">has trivial tangent bundle if and only if $n=1,3,7$</a>.</p> <p>While it is not surprising that topological machinery is helpful, I would still be interested in seeing a pure algebraic example, so if you have one, please post. </p> http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free/27427#27427 Answer by Tyler Lawson for A ring such that all projectives are stably free but not all projectives are free? Tyler Lawson 2010-06-08T04:27:46Z 2010-06-08T04:45:40Z <p>EDIT: Not an example because I missed the Noetherian hypothesis. Left here for posterity.</p> <p>Let R be the ring of continous functions on the 5-sphere. Swan's theorem implies that finitely generated projective modules over this ring are the same thing as vector bundles on $S^5$. The tangent bundle of the 5-sphere is not trivial (it is not parallelizable, which is classical). However, the limiting homotopy group $\varinjlim \pi_5 BO(n)$ classifying stable isomorphism classes of vector bundles is trivial, and so every vector bundle on $S^5$ is stably trivial.</p> http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free/27437#27437 Answer by Torsten Ekedahl for A ring such that all projectives are stably free but not all projectives are free? Torsten Ekedahl 2010-06-08T06:53:31Z 2010-06-08T12:44:03Z <p>This is an attempt to complete Tyler's argument. We first note that $KO^0(S^5)=\mathbb Z$ (note this true for all spheres of dimension $\equiv 5,6,7 \bmod 8$). This means that every topological vector bundle on $S^5$ is <em>topologically</em> stably trivial. Let now $E$ be an algebraic vector bundle on $S^n$, i.e., an f.g. projective module over $\mathbb R[x_0,\dots,x_n]/(x_0^2+\cdots+x_n^2-1)$, of rank $k$. As it is topologically stably trivial that means that there are continuous sections $f_1,\dots,f_k$ of some $E\bigoplus R^m$ trivialising it, i.e., form a basis at each fibre. Now, being a trivialisation is an open condition under the sup norm (with respect to some metric on the vector bundle to be precise) so if we can show that the algebraic sections of any vector bundle $F$ are dense in the space of continuous sections we get that it is also algebraically trivial. However, picking a $G$ such that $F\bigoplus G$ is trivial reduces this to showing that $\mathbb R[x_0,\dots,x_n]/(x_0^2+\cdots+x_n^2-1)$ is dense in the ring of continuous (real-valued) functions on $S^n$ but this follows from the Stone-Weierstrass theorem.</p> <p><b>Addendum</b>: I made a small thinko, I implicitly use that an element of $\mathbb R[x_0,\dots,x_n]/(x_0^2+\cdots+x_n^2-1)$ that is invertible as continuous function on the sphere is invertible in the ring which of course is not true (it can be zero on a complex point of the sphere). Hence, it is necessary to consider the localisation where all such functions are inverted. This still gives a Noetherian ring however.</p> <p><b>Addendum 1</b>: I confused real and complex K-theory in my initial description which is now fixed. I also (unsurprisingly) found a reference for the arguments in Bochnak, Coste, Roy: Real algebraic geometry, Cap 12.</p> http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free/27445#27445 Answer by Simon Wadsley for A ring such that all projectives are stably free but not all projectives are free? Simon Wadsley 2010-06-08T08:05:40Z 2010-06-08T08:05:40Z <p>Example 1.2.2 in Chapter 1 of Weibel's book in progress on K-theory <a href="http://www.math.rutgers.edu/~weibel/Kbook.html" rel="nofollow">http://www.math.rutgers.edu/~weibel/Kbook.html</a> says that $R_2$ in the notation of your question has a stably free module that is not free.</p> <p>Intertestingly, further down the page is the "Bass Cancellation Theorem for stably free modules". This says that if $R$ is a commutative Noetherian ring of Krull dimension $d$ then every stably free module of rank $>d$ is free.</p> http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free/27610#27610 Answer by Seamus for A ring such that all projectives are stably free but not all projectives are free? Seamus 2010-06-09T19:09:44Z 2010-06-09T19:09:44Z <p>Here is an example of a non commutative ring which satisfies (3) but not (4): the integral group ring $\mathbb{Z}[C_\infty \times Q_8]$ where $Q_8$ is the quaternion group of order 8 and $C_\infty$ is the infinite cyclic group. Using the methods developed by Swan in (Projective resolutions over binary polyhedral groups, Journal fur die Reine und Ang. Math. 342 66---172 (1983)), Frank Johnson at UCL has shown:</p> <p>(i) $K_0(\mathbb{Z}[C_\infty \times Q_8])\cong K_0(\mathbb{Z}[Q_8])\cong \mathbb{Z}$ (which is (3));</p> <p>(ii) $\mathbb{Z}[C_\infty \times Q_8]$ has infinitely many isomorphically distinct stably free modules of rank 1. So (4) fails quite badly. </p> <p>The proof involves decomposing the ring as a fibre product and then analyzing the module structure a la chapter 2 of Milnor's Algebraic K-Theory.</p> <p>Swan's paper gives examples of integral group rings of finite groups with stably free, non-free modules. However there are no finite commutative groups whose integral group rings have non-trivial stably frees. T.Y. Lam's excellent book on Serre's problem has lots of information on this kind of thing. </p> http://mathoverflow.net/questions/27424/a-ring-such-that-all-projectives-are-stably-free-but-not-all-projectives-are-free/27611#27611 Answer by Mohan Kumar for A ring such that all projectives are stably free but not all projectives are free? Mohan Kumar 2010-06-09T19:34:06Z 2010-06-09T19:34:06Z <p>The more canonical example probably is the standard universal example for such a question. So, let $R_n=k[x_i,y_i]/\sum x_iy_i=1$ where $k$ is any field and there are $2n$ variables. By localization one easily checks that $K_0(R_n)=\mathbb{Z}$ for any $n$. But the projective module given by the presentation, $$0\to R_n\stackrel{(x_i,\ldots,x_n)}{\to} R_n^n\to P\to 0$$ is clearly stably free but not free if $n\geq 3$. An algebraic proof (given by myself and Madhav Nori) can be found in the article of Swan (Annals of Math studues, vol 113, pp 432-522). </p>