## What is the insight of Quillen’s proof that all projective modules over a polynomial ring are free?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

One of the more misleadingly difficult theorems in mathematics is that all finitely generated projective modules over a polynomial ring are free. It involves some of the most basic notions in commutative algebra, and really sounds as though it should be easy (the graded case, for example, is easy), but it's not. The question at least goes as far back as Serre's FAC, but it wasn't proved until 1976, by Quillen EDIT: and also independently by Suslin.

I decided that this is the sort of fact that I should know a rough outline of how to prove, but the paper was not very helpful. Usually when someone kills off a famous conjecture in 5 pages, it's because they've developed some fantastic new piece of machinery people didn't have before. And, indeed, Quillen is famous for inventing some fancy and wonderful machinery, and the paper is only 5 pages long, but as far as I can tell, none of that fancy machinery actually appears in the proof.

So, what was it that Quillen saw, that Serre missed?

-

1
It is said that there is an elementary proof years later. – 7-adic Mar 28 2010 at 5:14

3
Bit surprised not to see Suslin's name get appended. Does the en.wikipedia.org/wiki/… give pointers to helpful literature, or are those sources just repeating what you already outlined in your post? – Yemon Choi Mar 28 2010 at 5:16

7
Vaserstein gave a more elementary proof of the Quillen-Suslin theorem. This was included in the second and third editions of Lang's Algebra. – Robin Chapman Mar 28 2010 at 7:03

1
I didn't think to look at the Wikipedia page, which obviously I should have, but it basically just links to the original papers. Leaving out Suslin was really just a matter of me not knowing. My recollection had been that Serre had proved the theorem, not that he had asked the question, until did a little Googling and found Quillen's paper. – Ben Webster♦ Mar 28 2010 at 16:51

3
T Y Lam has a book on the subject. Two actually. He's a first-class expositor. – David Feldman Dec 14 2010 at 5:58
show 3 more comments

## 2 Answers

Here is a summary of what I learned from a nice expository account by Eisenbud (written in French), can be found as number 27 here.

First, one studies a more general problem: Let $A$ be a Noetherian ring, $M$ a finite presented projective $A[T]$-module. When is $M$ extended from $A$, meaning there is $A$-module $N$ such that $M = A[T]\otimes_AN$?

The proof can be broken down to 2 punches:

Theorem 1 (Horrocks) If $A$ is local and there is a monic $f \in A[T]$ such that $M_f$ is free over $A_f$, then $M$ is $A$-free

(this statement is much more elementary than what was stated in Quillen's paper).

Theorem 2 (Quillen) If for each maximal ideal $m \subset A$, $M_m$ is extended from $A_m[T]$, then $M$ is extended from $A$

(on $A$, locally extended implies globally extended).

So the proof of Serre's conjecture goes as follows: Let $A=k[x_1,\cdots,x_{n-1}]$, $T=x_n$, $M$ projective over $A[T]$. Induction (invert all monic polynomials in $k[T]$ to reduce the dimension) + further localizing at maximal ideals of $A$ + Theorem 1 show that $M$ is locally extended. Theorem 2 shows that $M$ is actually extended from $A$, so by induction must be free.

Eisenbud note also provides a very elementary proof of Horrocks's Theorem, basically using linear algebra, due to Swan and Lindel (Horrocks's original proof was quite a bit more geometric).

As Lieven wrote, the key contribution by Quillen was Theorem 2: patching. Actually the proof is fairly natural, there is only one candidate for $N$, namely $N=M/TM$, so let $M'=A[T]\otimes_AN$ and build an isomorphism $M \to M'$ from the known isomorphism locally.

It is hard to answer your question: what did Serre miss (-:? I don't know what he tried? Anyone knows?

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Actually, Quillen's proof did contain a fantastic new idea : Quillen patching.

It states that if P is a fg projective R[t]-module then the set of all f in R, such that (for localizations at the multiplicative systems {1,f,f^2,...}) P_f is extended from R_f (that is P_f = Q \otimes_{R_f} R_f[t] for a projective R_f-module Q, is an ideal of R.

Apply this to R=k[x1,...,xd] then the localization of P at the set of all monic polynomials in R[t] is a projective k(t)[x0,...,xd] module whence free by induction. But then P_g is free for some monic poly g in t.

Now take a maximal ideal m of R and consider the extension Pm of P to R_m[t] (the localization at R-m). Because (Pm)_g is a free (R_m[t])_g module it follows from Horrocks result that Pm is a free R_m[t]-module and extended from R_m. Whence the Quillen-ideal for P equals R. Serre's conjecture follows by considering 1 and induction.

-

2
That's right. And when you look how he proves that, you see that he observes it suffices to consider covers of the spectrum of a ring with just two standard open sets. This elementary observation came as a shock. – Wilberd van der Kallen Mar 28 2010 at 8:41
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 33, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9586499333381653, "perplexity_flag": "middle"}