首页 | 本学科首页   官方微博 | 高级检索  
     


Dimension of families of determinantal schemes
Authors:Jan O. Kleppe   Rosa M. Miró  -Roig
Affiliation:Faculty of Engineering, Oslo University College, Cort Adelers gt. 30, N-0254 Oslo, Norway ; Facultat de Matemàtiques, Departament d'Algebra i Geometria, Universitat de Barcelona, Gran Via de les Corts Catalanes 585, 08007 Barcelona, Spain
Abstract:A scheme $Xsubset 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 $Xsubset mathbb{P} ^{n+c}$ of codimension $c$ defined by the maximal minors of a $ttimes (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 $2le cle 5$, and for $cge 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 $2le c le 4$ and $nge 2$, and for $cge 5$ under certain numerical assumptions.

Keywords:
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号