[论文解读] The cone of Betti tables over a rational normal curve

Manoj Kummini, Steven V Sam|arXiv (Cornell University)|Jan 29, 2013

Algebraic structures and combinatorial models参考文献 11被引用 7

一句话总结

本文刻画了有理正则曲线的齐次坐标环上有限长模的Betti表锥，表明此类Betti表由具有特定度序列的纯解析决定。关键结果是通过阶化关系与层论技术推导出的不等式，完整描述了该锥，将已知的正则环结果推广至具有有限柯本-麦克唐纳表示类型的奇异情形。

ABSTRACT

We describe the cone of Betti tables of Cohen-Macaulay modules over the homogeneous coordinate ring of a rational normal curve.

研究动机与目标

• 描述有理正则曲线齐次坐标环上有限长模的Betti表锥。
• 将Boij–Söderberg框架扩展至具有有限柯本-麦克唐纳表示类型的非正则分次环。
• 通过这些环上的纯解析与系统模刻画Betti表的结构。
• 分析总Betti数的渐近行为，并导出多面体锥描述。

提出的方法

• 利用 $\Gamma_*^{(d)}$ 函子，建立有理正则曲线环 $B$ 上的分次模与 $\mathbb{P}^1$ 上凝聚层之间的对应关系。
• 将极大柯本-麦克唐纳 $B$-模刻画为 $M^{(\ell)} = \bigoplus_{n \geq 0} S_{nd + \ell}$ 的直和，其中 $\ell = 0, \dots, d-1$，$S = \Bbbk[x,y]$。
• 将有限长 $B$-模的纯解析定义为各分量生成于单一度数的极小自由解析，关联度序列 $(d_0, d_1, d_2; \ell)$。
• 利用递推关系 $\beta_i = (d-1)^{i-3} \beta_2 \frac{d\ell}{\ell+1}$（$i \geq 3$）推导Betti数关于前三个Betti数与参数 $\ell$ 的显式公式。
• 对层化解析应用 $\Gamma_*^{(d)}$ 函子，将 $B$-解析提升为 $S$-解析，利用 $\Gamma_*^{(d)}(\widetilde{N})$ 在 $N$ 为极大柯本-麦克唐纳时的自由性。
• 利用解析的偏欧拉示性数导出定义总Betti数锥的一组不等式，从而得到具有四个极射线的凸多面体锥。

实验结果

研究问题

• RQ1 有理正则曲线坐标环上有限长模的Betti表锥具有何种结构？
• RQ2 此类环上有限长模的纯解析如何与Betti数及系统模相关联？
• RQ3 Boij–Söderberg框架能否推广至具有有限柯本-麦克唐纳表示类型的奇异环（如有理正则曲线）？
• RQ4 此类模的总Betti数序列的渐近行为如何？它们如何生成该锥？
• RQ5 为何该方法在其他Veronese嵌入（如 $\mathbb{P}^2(2)$ 情形）中失效？

主要发现

• 有限长 $B$-模的Betti表锥完全由纯解析的偏欧拉示性数导出的不等式系统描述。
• 对于类型为 $(d_0, d_1, d_2; \ell)$ 的纯解析，Betti数由前三个Betti数唯一确定（至多比例常数），且 $\beta^{B}(d_0,d_1,d_2;\ell) = (d(d_2 - d_1) - \ell, d(d_2 - d_0) - \ell, d(d_1 - d_0)(\ell + 1))$。
• 当 $i \geq 3$ 时，Betti数满足 $\beta_i = (d-1)^{i-3} \beta_2 \frac{d\ell}{\ell+1}$，表明比值 $\beta_i / \beta_2$ 呈指数衰减。
• 总Betti数锥 $\mathbb{B}_{\mathrm{tot}}(B)$ 是 $\mathbb{Q}^4$ 中由不等式 $b_3 \geq 0$，$b_2 \geq \frac{b_3}{d-1}$，$b_1 \geq b_2 - \frac{b_3}{d}$，$b_0 \geq b_1 - b_2 + \frac{b_3}{d}$ 定义的凸多面体锥。
• 锥 $\mathbb{B}_{\mathrm{tot}}(B)$ 的闭包由射线 $(1,0,0,0)$，$(1,1,0,0)$，$(0,1,1,0)$ 和 $(0,1,d,d(d-1))$ 生成，后两者为具有纯解析的模序列的极限。
• 该方法在Veronese嵌入 $\mathbb{P}^2(2)$ 中失效，因为 $\Gamma_*^{(2)}(\widetilde{M^{(3)}})$ 在 $S = \Bbbk[x,y,z]$ 上不是极大柯本-麦克唐纳模，故提升后的复形未必自由。