Infinite intersections of open subschemes and the Hilbert scheme of points. (Q1427412): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0205239 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2731691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resultants and the Hilbert scheme of points on the line / rank | |||
Normal rank |
Revision as of 15:26, 6 June 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