Infinite intersections of open subschemes and the Hilbert scheme of points. (Q1427412): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 19:07, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite intersections of open subschemes and the Hilbert scheme of points. |
scientific article |
Statements
Infinite intersections of open subschemes and the Hilbert scheme of points. (English)
0 references
14 March 2004
0 references
A. Grothendieck constructed the Hilbert scheme \(\text{Hilb}^n_X\) of \(n\) points on \(X\), for any quasi-projective scheme \(X\) on a noetherian base scheme \(S\). In the paper under review, the authors are interested in showing the existence of the Hilbert scheme of \(n\) points on \(\text{Spec}({\mathcal O}_{X,P})\), where \(P\) is a (non necessarily closed) point on such a scheme \(X\). A natural candidate would be \(\bigcap_{P\in U_\alpha}\text{Hilb}^n_{U_\alpha}\), where \(U_\alpha\) varies in the set of open subsets of \(X\) containing \(P\). But in general an infinite intersection of open subschemes of a scheme is not a scheme. It is a scheme if one takes only locally principal open subschemes. The authors introduce and study the notion of generalized fraction rings and localized subschemes, of which \(\text{Spec}({\mathcal O}_{X,P})\) is a particular case. They prove that, if \(X\) is a scheme such that \(\text{Hilb}^n_X\) exists, then the functor of points of a localized scheme \({\mathcal S}^{-1}X\) is representable. As a particular case, they get the following result: If \(X\rightarrow S\) is a projective morphism of Noetherian schemes and \(P\) is a point in \(X\), then the Hilbert scheme of \(n\) points on \(\text{Spec}({\mathcal O}_{X,P})\) exists and coincides with the intersection of the Hilbert schemes of \(n\) points of the open subschemes of \(X\) containing \(P\).
0 references
localized schemes
0 references
determinants
0 references
fraction rings
0 references