A description of certain affine open subschemes that form an open covering of Hilb^n_A^2_k.
It is well known that the Hilbert scheme \(\text{Hilb}^n_S\), parametrizing the \(0\)-dimensional closed subschemes of length \(n\) of an irreducible projective smooth surface \(S\), is irreducible and smooth of dimension \(2n\) [\textit{J. Fogarty}, Am. J. Math. 90, 511--521 (1968; Zbl 0176.18401)]. Here the author is interested in studying \(\mathbf{H}^n\subset \text{Hilb}^n_{\mathbb P^2}\), which parametrizes \(0\)-dimensional subschemes of the affine plane over an algebraically closed field \(K\). It results to be an open subscheme of \(\text{Hilb}^n_{\mathbb P^2}\), whose points are naturally identified with the ideals \(I\) of \(K[x,y]\) such that the dimension of \(K[x,y]/I\) is \(n\). \(\mathbf{H}^n\) has already been considered by \textit{M. Haiman} [Discrete Math. 193, No.1--3, 201--224 (1998; Zbl 1061.05509)], who constructed an open covering of it, by affine open subschemes \(U_\mu\), where \(\mu\) varies in the set of the partitions of \(n\). More precisely, if \(\mu=(p_1,\dots, p_l)\), with \(p_1\geq p_2\geq\dots\geq p_l\), one defines \(U_\mu\) to be the set of ideals \(I\) such that \({\mathcal B}_\mu\) generates \(k[x,y]/I\), where \({\mathcal B}_\mu\) is the set of monomials \(\{ x^hy^k\mid 0\leq h<l, 0\leq k<p_{h+1}\}\). Haiman constructed also an infinite set of generators of the coordinate ring of \(U_\mu\) as a \(K\)-algebra. Here a finite, although not minimal, set of generators is described. Moreover a basis of the first module of syzygies of such generators is given. Also a sufficient condition is given for \(U_\mu\) to be an affine cell in \(\mathbf{H}^n\), i.e. an open subscheme isomorphic to \(\mathbb A^{2n}_K\).
- An elementary, explicit, proof of the existence of Hilbert schemes of points
- Recovering the good component of the Hilbert scheme
- Explicit projective embeddings of standard opens of the Hilbert scheme of points
- Hilbert scheme of a pair of codimension two linear subspaces
- Some amplifications and a correction of Iarrobino's construction of local parameters of \(\text{Hilb}_{P_k^2}^n\)
- A stratification of the Hilbert scheme of points in the projective plane
- On the Stratification of Nested Hilbert Schemes
- A Borel open cover of the Hilbert scheme
- Irreducible components of the equivariant punctual Hilbert schemes
- Hilbert schemes of zero-dimensional subschemes of smooth varieties
- On border basis and Gröbner basis schemes
- Infinite intersections of open subschemes and the Hilbert scheme of points.
- Commuting matrices and the Hilbert scheme of points on affine spaces
- Resultants and the Hilbert scheme of points on the line
- Explicit projective embeddings of standard opens of the Hilbert scheme of points
- Smooth and irreducible multigraded Hilbert schemes
- From oil fields to Hilbert schemes
- Gröbner strata in the Hilbert scheme of points
- Cotangent spaces and separating re-embeddings
- Irreducible components of the equivariant punctual Hilbert schemes
- Some syzygies of the generators of the ideal of a border basis scheme
- Isolated singularities, inverse systems and the punctual Hilbert scheme
- Re-embeddings of affine algebras via Gröbner fans of linear ideals
- On the regularity of the monomial point of a border basis scheme
- Canonical Hilbert-Burch matrices for ideals of \(k[x,y]\)
- Deformations of border bases
This page was built for publication: A description of certain affine open subschemes that form an open covering of \(\text{Hilb}^n_{\mathbb{A}^2_k}\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701250)
