Anton at 23:55, 25 November 2011

2011-11-25T23:55:55Z

← Older revision		Revision as of 15:55, 25 November 2011
Line 2:		Line 2:

	This suggests the following mechanism for isolating a component of a scheme in general. Suppose $X$ is a scheme with many components, and we're after a particular component $X_0$. Suppose we are able to produce an ideal $I$ whose closed subscheme is the union of all the components other than $X_0$, and that these components intersect $X_0$ simply. Then $X_0$ will be the blowup of $X$ along $I$.		This suggests the following mechanism for isolating a component of a scheme in general. Suppose $X$ is a scheme with many components, and we're after a particular component $X_0$. Suppose we are able to produce an ideal $I$ whose closed subscheme is the union of all the components other than $X_0$, and that these components intersect $X_0$ simply. Then $X_0$ will be the blowup of $X$ along $I$.

			[[Category:Note]]

Anton: Created page with "In Rydh and Skjelnes's [http://arxiv.org/abs/math/0703329v2 The space of generically étale families], they construct the principal component of the Hilbert scheme of points on a..."

2011-11-25T23:55:34Z

Created page with "In Rydh and Skjelnes's [http://arxiv.org/abs/math/0703329v2 The space of generically étale families], they construct the principal component of the Hilbert scheme of points on a..."

New page

In Rydh and Skjelnes's [http://arxiv.org/abs/math/0703329v2 The space of generically étale families], they construct the principal component of the Hilbert scheme of points on a smooth surface $S$. Given a family of length $n$ subschemes $F$ over $B$, we get a morphism from $B$ to $Sym^n(S)$. They cook up a sheaf of ideals $I$ on $Sym^n(R)$ so that $I$ always pulls back to the discriminant ideal of $F$ over $B$. By the universal property of blow-ups, we see that the map from $B$ factors through the blowup of $Sym^n(R)$ along $I$. They show that this blowup is the principal component of the Hilbert scheme of $n$ points on $S$.

This suggests the following mechanism for isolating a component of a scheme in general. Suppose $X$ is a scheme with many components, and we're after a particular component $X_0$. Suppose we are able to produce an ideal $I$ whose closed subscheme is the union of all the components other than $X_0$, and that these components intersect $X_0$ simply. Then $X_0$ will be the blowup of $X$ along $I$.

Isolating a component by blowup - Revision history

Anton at 23:55, 25 November 2011

Anton: Created page with "In Rydh and Skjelnes's [http://arxiv.org/abs/math/0703329v2 The space of generically étale families], they construct the principal component of the Hilbert scheme of points on a..."