Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Dimension of families of determinantal schemes


Authors: Jan O. Kleppe and Rosa M. Miró-Roig
Journal: Trans. Amer. Math. Soc. 357 (2005), 2871-2907
MSC (2000): Primary 14M12, 14C05, 14H10, 14J10; Secondary 14N05
Published electronically: December 9, 2004
MathSciNet review: 2139931
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A scheme $X\subset \mathbb{P} ^{n+c}$ of codimension $c$ is called standard determinantal if its homogeneous saturated ideal can be generated by the maximal minors of a homogeneous $t \times (t+c-1)$ matrix and $X$ is said to be good determinantal if it is standard determinantal and a generic complete intersection. Given integers $a_0,a_1,...,a_{t+c-2}$ and $b_1,...,b_t$ we denote by $W(\underline{b};\underline{a})\subset \operatorname{Hilb} ^p(\mathbb{P} ^{n+c})$(resp. $W_s(\underline{b};\underline{a})$) the locus of good (resp. standard) determinantal schemes $X\subset \mathbb{P} ^{n+c}$ of codimension $c$ defined by the maximal minors of a $t\times (t+c-1)$ matrix $(f_{ij})^{i=1,...,t}_{j=0,...,t+c-2}$ where $f_{ij}\in k[x_0,x_1,...,x_{n+c}]$ is a homogeneous polynomial of degree $a_j-b_i$.

In this paper we address the following three fundamental problems: To determine (1) the dimension of $W(\underline{b};\underline{a})$ (resp. $W_s(\underline{b};\underline{a})$) in terms of $a_j$ and $b_i$, (2) whether the closure of $W(\underline{b};\underline{a})$ is an irreducible component of $\operatorname{Hilb} ^p(\mathbb{P} ^{n+c})$, and (3) when $\operatorname{Hilb} ^p(\mathbb{P} ^{n+c})$ is generically smooth along $W(\underline{b};\underline{a})$. Concerning question (1) we give an upper bound for the dimension of $W(\underline{b};\underline{a})$ (resp. $W_s(\underline{b};\underline{a})$) which works for all integers $a_0,a_1,...,a_{t+c-2}$ and $b_1,...,b_t$, and we conjecture that this bound is sharp. The conjecture is proved for $2\le c\le 5$, and for $c\ge 6$ under some restriction on $a_0,a_1,...,a_{t+c-2}$and $b_1,...,b_t$. For questions (2) and (3) we have an affirmative answer for $2\le c \le 4$ and $n\ge 2$, and for $c\ge 5$ under certain numerical assumptions.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 14M12, 14C05, 14H10, 14J10, 14N05

Retrieve articles in all journals with MSC (2000): 14M12, 14C05, 14H10, 14J10, 14N05


Additional Information

Jan O. Kleppe
Affiliation: Faculty of Engineering, Oslo University College, Cort Adelers gt. 30, N-0254 Oslo, Norway
Email: JanOddvar.Kleppe@iu.hio.no

Rosa M. Miró-Roig
Affiliation: Facultat de Matemàtiques, Departament d’Algebra i Geometria, Universitat de Barcelona, Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain
Email: miro@ub.edu

DOI: http://dx.doi.org/10.1090/S0002-9947-04-03648-7
PII: S 0002-9947(04)03648-7
Received by editor(s): August 1, 2003
Received by editor(s) in revised form: December 23, 2003
Published electronically: December 9, 2004
Additional Notes: The second author was partially supported by BFM2001-3584
Article copyright: © Copyright 2004 American Mathematical Society