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

复曲面分次Betti表的计算

Computing graded Betti tables of toric surfaces

Wouter Castryck, Filip Cools, Jeroen Demeyer, Alexander Lemmens

摘要:

我们提出了各种事实上的分级贝蒂表的投影嵌入复曲面,表示在其定义的晶格多边形的组合学。这些事实包括一些条目的明确公式,以及我们推测为尖锐的线性链长度的下界(并在几种特殊情况下证明是如此)。我们还提出了一个算法,用于确定一个给定的复曲面的分级贝蒂表明确计算其Koszul上同调,并报告在SageMath的实施。这适用于维数高达大约$25$的周围射影空间,这取决于具体的组合,尽管当前的实现仅在有限特征中运行。作为主要应用,我们得到了Veronese曲面$ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$在特征$40\,009$下的分次Betti表.这使我们能够制定精确的示意图,预测在任意Veronese曲面$ν_d(\mathbb{P}^2)$的情况下某些条目的外观。

英文摘要:

We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly $25$, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface $ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$ in characteristic $40\,009$. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface $ν_d(\mathbb{P}^2)$.

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

↑