Abstract
Let R be a ring. We prove that the homotopy category K(R-Proj) is always א1-compactly generated, and, depending on the ring R, it may or may not be compactly generated. We use this to give a description of K(R-Proj) as a quotient of K(R-Flat). The remarkable fact is that this new description of K(R-Proj) generalizes to non-affine schemes; this will appear in Murfet's thesis.
| Original language | English |
|---|---|
| Pages (from-to) | 255-308 |
| Number of pages | 54 |
| Journal | Inventiones Mathematicae |
| Volume | 174 |
| Issue number | 2 |
| DOIs | |
| Publication status | Published - Nov 2008 |