arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1406.7404math.AGmath.AC
收藏

Castelnuovo-Mumford正则性的二重点因子界

A bound for Castelnuovo-Mumford regularity by double point divisors

Sijong Kwak, Jinhyung Park

摘要:

设$X \subseteq \mathbb{P}^r$是定义在特征为零的代数闭域上的维数为$n$,余维数为$e$,次数为$d$的非退化光滑射影簇.本文首先证明了$\text{reg} (\mathcal{O}_X) \leq d-e$,并对极值和次极值情形进行了分类.我们的结果减少了Eisenbud-Goto正则性猜想光滑的情况下,找到一个Castelnuovo型的正常界的问题。值得注意的是,McCullough-Peeva最近构造了正则性猜想的反例,证明了当$X$不光滑时,$\text{reg} (\mathcal{O}_X)$甚至不被$d$的任何多项式函数上界。对于光滑情形下的正态性界,我们建立了$\text{reg}(X) \leq n(d-2)+1$,改进了Mumford,Bertram-Ein-Lazarsfeld和Noma先前的结果.最后,通过推广Mumford关于二重点因子的方法,证明了$\text{reg}(X) \leq d-1+m$,其中$m$是由与外部一般投影相关的二重点因子产生的不变量.利用与内投影相关的二重点因子,在适当的假设下,我们也得到了$\text{reg}(X)$的一个稍好的界.

英文摘要:

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $\text{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $\text{reg} (\mathcal{O}_X)$ is not even bounded above by any polynomial function of $d$ when $X$ is not smooth. For a normality bound in the smooth case, we establish that $\text{reg}(X) \leq n(d-2)+1$, which improves previous results obtained by Mumford, Bertram-Ein-Lazarsfeld, and Noma. Finally, by generalizing Mumford's method on double point divisors, we prove that $\text{reg}(X) \leq d-1+m$, where $m$ is an invariant arising from double point divisors associated to outer general projections. Using double point divisors associated to inner projection, we also obtain a slightly better bound for $\text{reg}(X)$ under suitable assumptions.

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

↑