arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2007.12119math.AGmath.AC
收藏

行列式概形的形变与无障碍性

Deformation and Unobstructedness of Determinantal Schemes

Jan O. Kleppe, Rosa M. Miró-Roig

AI总结:

本文研究 Hilbert 概形中行列式概形轨迹闭包的维数、一般光滑性、正规模深度及外幂形变,将标准行列式情形推广到一般 $r$。

摘要:

令 $Hilb^{p(t)}(P^n)$ 为 $P^n$ 中具有 Hilbert 多项式 $p(t)\in Q[t]$ 的闭子概形的 Hilbert 概形,并令 $W:=\overline{W(\underline{b};\underline{a};r)}$ 为 $Hilb^{p(t)}(P^n)$ 中行列式概形轨迹的闭包;这些行列式概形由某个 $t\times(t+c-1)$ 矩阵 $\mathcal A$ 的 $(t-r+1)\times(t-r+1)$ 子式消失所定义,其 $ij$ 元是次数为 $a_j-b_i$ 的齐次形式,且 $r$ 满足 $\max\{1,2-c\}\le r<t$。$W$ 是不可约代数集。首先,我们用 $a_j$ 和 $b_i$ 计算 $W$ 维数的一个与 $r$ 无关的上界,该上界在 $r=1$ 时是精确的。在线性情形($a_j=1$、$b_i=0$)以及足够接近的情形中,我们猜想并在一定程度上证明该上界对所有 $r$ 都能达到。随后,我们研究 $W$ 在何种程度上是 $Hilb^{p(t)}(P^n)$ 的一般光滑分支。在对整数 $a_j$ 和 $b_i$ 的某些弱数值假设下(或在某些深度条件下),我们猜想并常常证明 $W$ 是一般光滑分支。此外,我们还研究属于 $W$ 的 $(X)$ 的齐次坐标环的正规模以及一个密切相关模的深度。我们猜想并在某些情形证明,它们的余深度通常为 $1$(相应地为 $r$)。这些结果把关于标准行列式概形的先前结果推广到行列式概形;也就是说,把作者关于 $W(\underline{b};\underline{a};1)$ 的先前结果推广到 $1\le r<t$ 且 $c\ge2-r$ 的 $W$。最后,研究由 $\mathcal A$ 确定的映射之余核的外幂的形变,并证明当 $\dim X\ge3$ 时,它们由 $X\subset P^n$ 的形变给出。本工作包含许多说明所得结果的例子,以及相当数量的开放问题;其中一些作为猜想汇集在最后一节。

英文摘要:

Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of determinantal schemes defined by the vanishing of the $(t-r+1)\times (t - r+1)$ minors of some matrix $\mathcal A$ of size $t\times (t+c-1)$ with $ij$-enty a homogeneous form of degree $a_j-b_i$ and with $r$ satisfying $\max\{1,2-c\} \le r < t$. $W$ is an irreducible algebraic set. First of all, we compute an upper $r$-independent bound for the dimension of $W$ in terms of $a_j$ and $b_i$ which is sharp for $r=1$. In the linear case ($a_j = 1, b_i=0$) and cases sufficiently close, we conjecture and to a certain degree prove that this bound is achieved for all $r$. Then, we study to what extent $W$ is a generically smooth component of $Hilb ^{p(t)}(P^n)$. Under some weak numerical assumptions on the integers $a_j$ and $b_i$ (or under some depth conditions) we conjecture and often prove that $W$ is a generically smooth component. Moreover, we also study the depth of the normal module of the homogeneous coordinate ring of $(X)\in W$ and of a closely related module. We conjecture, and in some cases prove, that their codepth is often 1 (resp. $r$). These results extend previous results on standard determinantal schemes to determinantal schemes; i.e. previous results of the authors on $W(\underline{b};\underline{a};1)$ to $W$ with $1\le r < t$ and $c\ge 2-r$. Finally, deformations of exterior powers of the cokernel of the map determined by $\mathcal A$ are studied and proven to be given as deformations of $X \subset P^n$ if $\dim X \ge 3$. The work contains many examples which illustrate the results obtained and a considerable number of open problems; some of them are collected as conjectures in the final section.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑