arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0607677math.AG
收藏

有理曲面上无穷远点有一个位置的曲线和线性系

Curves having one place at infinity and linear systems on rational surfaces

F. Monserrat

摘要:

用${\mathcal L}_d(m_0,m_1,...,m_r)$表示通过射影平面的$r+1$类属点$p_0,p_1,...,p_r$的平面曲线的线性系统,在每个$p_i$上具有重数$m_i$(或更大),我们证明了由一族广泛的重数$\bold{m}=(m_i)_{i=0}^r$和任意次数$d$系统确定的线性系${\mathcal L}_d(m_0,m_1,...,m_r)$的Harbourne-Hirschowitz猜想。此外,我们还提供了计算任意系统$\bold{m}$的正则性界的算法,并给出了当$\bold{m}$在上述族中时正则性界的精确值。为了做到这一点,我们证明了一个$H^1$ -消失定理的线丛在曲面上与一些铅笔"在无穷远“。

英文摘要:

Denoting by ${\mathcal L}_d(m_0,m_1,...,m_r)$ the linear system of plane curves passing through $r+1$ generic points $p_0,p_1,...,p_r$ of the projective plane with multiplicity $m_i$ (or larger) at each $p_i$, we prove the Harbourne-Hirschowitz Conjecture for linear systems ${\mathcal L}_d(m_0,m_1,...,m_r)$ determined by a wide family of systems of multiplicities $\bold{m}=(m_i)_{i=0}^r$ and arbitrary degree $d$. Moreover, we provide an algorithm for computing a bound of the regularity of an arbitrary system $\bold{m}$ and we give its exact value when $\bold{m}$ is in the above family. To do that, we prove an $H^1$-vanishing theorem for line bundles on surfaces associated with some pencils ``at infinity''.

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

↑