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

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?

-
It is said that there is an elementary proof years later. –  7-adic Mar 28 '10 at 5:14
Bit surprised not to see Suslin's name get appended. Does the en.wikipedia.org/wiki/Quillen%E2%80%93Suslin_theorem give pointers to helpful literature, or are those sources just repeating what you already outlined in your post? –  Yemon Choi Mar 28 '10 at 5:16
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 '10 at 7:03
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 '10 at 16:51
T Y Lam has a book on the subject. Two actually. He's a first-class expositor. –  David Feldman Dec 14 '10 at 5:58

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?

-