Let p(t) be an admissible Hilbert polynomial in P^n of degree d. It is well known that the Hilbert scheme Hilb_p(t)^n can be seen as a closed subscheme of a Grassmannian, hence, by Plucker embedding, it becomes a closed subset of a suitable projective space P^E. Unluckily, the dimension E of this projective space is generally huge, so effective computations are practically impossible. In this paper, we exhibit an open covering of Hilb_p(t)^n, defined from monomial Borel ideals, made up of "few" open subsets. We prove that each open subset of the covering can be embedded in an affine space of dimension far lower than E using equations of degree <=d+2; furthermore, with no more bound on the degree of the equations, we show that each open subset can be embedded into a linear subspace of even lower dimension. The proofs are constructive and use a polynomial reduction process: it is similar to the one for Groebner bases, but term order free. So in this setting, explicit computations are achievable in many non-trivial cases.

A Borel open cover of the Hilbert scheme

BERTONE, Cristina;LELLA, PAOLO;ROGGERO, Margherita
2013-01-01

Abstract

Let p(t) be an admissible Hilbert polynomial in P^n of degree d. It is well known that the Hilbert scheme Hilb_p(t)^n can be seen as a closed subscheme of a Grassmannian, hence, by Plucker embedding, it becomes a closed subset of a suitable projective space P^E. Unluckily, the dimension E of this projective space is generally huge, so effective computations are practically impossible. In this paper, we exhibit an open covering of Hilb_p(t)^n, defined from monomial Borel ideals, made up of "few" open subsets. We prove that each open subset of the covering can be embedded in an affine space of dimension far lower than E using equations of degree <=d+2; furthermore, with no more bound on the degree of the equations, we show that each open subset can be embedded into a linear subspace of even lower dimension. The proofs are constructive and use a polynomial reduction process: it is similar to the one for Groebner bases, but term order free. So in this setting, explicit computations are achievable in many non-trivial cases.
2013
53
119
135
http://arxiv.org/pdf/0909.2184.pdf
Hilbert scheme; Borel-fixed ideal; marked scheme
Cristina Bertone; Paolo Lella; Margherita Roggero
File in questo prodotto:
File Dimensione Formato  
ABorelOpenCoverAperTO.pdf

Open Access dal 09/01/2015

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 806.57 kB
Formato Adobe PDF
806.57 kB Adobe PDF Visualizza/Apri
ABorelOpenCoverElsevier.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 331.8 kB
Formato Adobe PDF
331.8 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/130180
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 14
social impact