A Borel open cover of the Hilbert scheme

被引:16
作者
Bertone, Cristina [1 ]
Lella, Paolo [1 ]
Roggero, Margherita [1 ]
机构
[1] Univ Turin, Dipartimento Matemat, I-10124 Turin, Italy
关键词
Hilbert scheme; Borel-fixed ideal; Marked scheme;
D O I
10.1016/j.jsc.2013.01.001
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Let p(t) be an admissible Hilbert polynomial in P-n of degree d. The Hilbert scheme Hilb(p(t))(n) can be realized as a closed subscheme of a suitable Grassmannian G, hence it could be globally defined by homogeneous equations in the Plucker coordinates of G and covered by open subsets given by the non-vanishing of a Plucker coordinate, each embedded as a closed subscheme of the affine space A(D), D = dim(G). However, the number E of Plucker coordinates is so large that effective computations in this setting are practically impossible. In this paper, taking advantage of the symmetries of Hillb(p(t))(n), we exhibit a new open cover, consisting of marked schemes over Borel-fixed ideals, whose number is significantly smaller than E. Exploiting the properties of marked schemes, we prove that these open subsets are defined by equations of degree <= d + 2 in their natural embedding in A(D). Furthermore we find new embeddings in affine spaces of far lower dimension than D, and characterize those that are still defined by equations of degree <= d + 2. The proofs are constructive and use a polynomial reduction process, similar to the one for Grobner bases, but are term order free. In this new setting, we can achieve explicit computations in many non-trivial cases. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码:119 / 135
页数:17
相关论文
共 23 条
[1]  
Alonso M., 2009, ARXIV E PRINTS
[2]  
ARBARELLO E., 2011, FUNDAMENTAL PRINCIPL, P268
[3]   A CRITERION FOR DETECTING M-REGULARITY [J].
BAYER, D ;
STILLMAN, M .
INVENTIONES MATHEMATICAE, 1987, 87 (01) :1-11
[4]  
Bayer D. A., 1982, Ph.D. dissertation
[5]   Upgraded methods for the effective computation of marked schemes on a strongly stable ideal [J].
Bertone, Cristina ;
Cioffi, Francesca ;
Lella, Paolo ;
Roggero, Margherita .
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 50 :263-290
[6]  
Brachat J., 2011, ARXIV E PRINTS
[7]  
Ciliberto C, 1989, LECT RIEMANN SURFACE, P428
[8]   Segments and Hilbert schemes of points [J].
Cioffi, Francesca ;
Lella, Paolo ;
Marinari, Maria Grazia ;
Roggero, Margherita .
DISCRETE MATHEMATICS, 2011, 311 (20) :2238-2252
[9]   Flat families by strongly stable ideals and a generalization of Grobner bases [J].
Cioffi, Francesca ;
Roggero, Margherita .
JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (09) :1070-1084
[10]   MINIMAL RESOLUTIONS OF SOME MONOMIAL IDEALS [J].
ELIAHOU, S ;
KERVAIRE, M .
JOURNAL OF ALGEBRA, 1990, 129 (01) :1-25