[Math] Punctured spectrums of local rings

ac.commutative-algebraag.algebraic-geometry

Let $A$ be a local ring with the unique maximal ideal $\mathfrak{m}$. The punctured spectrum of $A$ is the open subset $\text{Spec}(A)\setminus \{\mathfrak{m}\}$. I have seen many papers (for instance Horrocks' papers) studying vector bundles over algebraic varieties (in particular, projective spaces) by putting them over a punctured spectrum of a local ring.

However, I am wondering why punctured spectrum is better than varieties in this satiation. I feel that geometric pictures of varieties are clearer than that of a punctured spectrum. More essential, are the categories of coherent sheaves over a variety and its punctured spectrum equivalent? How much information about coherent sheave (in particular, vector bundles) can be recovered from punctured spectrums? For second question, I am thinking examples that reflect some relations between those two gadgets.

Best Answer

Here is a general principle. If a problem is formulated over a general (say noetherian) base, by localization arguments one can often reduce to the case of a local base. Arguing by induction on the dimension of the base, we can exploit the fact that the punctured spectrum, while often not affine, is of smaller dimension! Then we can try to "extend" the solution over the punctured spectrum to a solution over the local spectrum (by taking into account local cohomology or other tools). I think this brilliant idea is due to Grothendieck (truly exploiting the concept of a scheme).

For example, observe that the punctured spectrum of a 2-dimensional regular local ring is a (typically non-affine!) Dedekind scheme, over which flatness is a hands-on concept. Much deeper, the proof of Zariski's Main Theorem in EGA IV$_3$ goes via dimension induction on the base using the above trick with a punctured spectrum having smaller dimension.

For the study of coherent sheaves, the categories on the spectrum and punctured spectrum are not at all equivalent, though the situation for vector bundles is more accessible; the problem is governed by local cohomology and depth considerations (so the situation is more tractable over a regular base). This is studied in depth (no pun intended) in the middle of SGA2.