[论文解读] Cohen-Macaulay Nilpotent Schemes

Nicolae Manolache|ArXiv.org|Dec 31, 2003

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本文研究了光滑代数簇（特别是射影空间中的平面）上的 Cohen-Macaulay 幂零概形结构——具体而言是双重和三重结构。通过比较 Hilbert 多项式与利用 Riemann-Roch-Hirzebruch 定理得到的 Chern 类约束，证明了在 $
𝔵^5$ 上不存在某些不可约的秩三向量丛，其零点集为平面上的三重结构，原因在于该向量丛的 Hilbert 多项式中出现非整数值。

ABSTRACT

The first part of this paper, written mainly for nonspecialists, is a short and partial survey about the construction and classification of nilpotent Cohen-Macaulay scheme structures on a scheme "less nilpotent"(e.g. a smooth variety) as support. The second part presents some old and new examples about degree 4 curves in the projective space and inexistence of certain vector bundles.

研究动机与目标

• 研究 Cohen-Macaulay 多重结构（特别是双重和三重结构）在光滑代数簇（如射影空间中的平面）上的存在性。
• 确定此类结构是否可作为某个向量丛截面的零点集出现，特别是在 Hilbert 滞留簇与模问题的背景下。
• 分析 Riemann-Roch-Hirzebruch 定理对零概形为多重结构的向量丛的 Chern 类所施加的约束。
• 解决代数几何中一个关于具有指定幂零概形结构的不可约向量丛存在性的猜想性问题。

提出的方法

• 通过理想定义的正合列构造光滑代数簇 $X$ 上多重结构 $Y$（双重或三重）的 Hilbert 多项式。
• 将由几何结构导出的概形 $Y$ 的 Hilbert 多项式，与通过 Riemann-Roch-Hirzebruch 定理由向量丛 $E$ 的 Chern 类导出的 Hilbert 多项式进行比较。
• 利用向量丛的 Hilbert 多项式必须对所有整数 $t$ 取整数值这一条件，推导出对 Chern 类的数论约束。
• 在二项式系数 $\binom{t+i}{i}$ 的基下应用 Riemann-Roch-Hirzebruch 公式，表达向量丛 $E$ 的 Hilbert 多项式，并检验其系数的整性。
• 通过 $\mathrm{Ext}^1$ 群的消失性，实现正合列的分裂，从而在双重结构情况下保证收缩结构的存在。
• 分析假设的向量丛 $E$ 的 Chern 类 $c_1, c_2, c_3$，其零点集为平面上的三重结构，并通过 Hilbert 多项式中出现非整系数导出矛盾。

实验结果

研究问题

• RQ1 在 $
  𝔵^5$ 上，是否存在一个不可约的秩三向量丛，其截面的零点集为平面 $X \subset \mathbb{P}^5$ 上的三重结构？
• RQ2 向量丛的 Hilbert 多项式与 Chern 类对这类幂零概形结构的存在性施加了何种约束？
• RQ3 在已知的几何与上同调约束下，$
  𝔵^5$ 上是否存在一个秩三向量丛，其截面的消失概形为平面上的 Cohen-Macaulay 三重结构？
• RQ4 为何某些 Chern 类的组合会导致向量丛的 Hilbert 多项式中出现非整数值？这又对这类丛的存在性意味着什么？
• RQ5 由 Riemann-Roch-Hirzebruch 定理导出的 Hilbert 多项式系数的代数条件，如何排除此类丛的存在？

主要发现

• 由于该向量丛的 Hilbert 多项式中出现非整系数，因此在 $
  𝔵^5$ 上不存在不可约的秩三向量丛 $F$，其消失概形为平面上的三重结构 $X \subset \mathbb{P}^5$。
• 由 Riemann-Roch-Hirzebruch 定理导出的假设丛 $E$ 的 Hilbert 多项式中，包含一个非整数系数 $\frac{207R^4 - 1512R^3 - 1845R^2 - 828R - 134}{12}$，该系数对任意整数 $R$ 均非整数，违反了 Hilbert 多项式必须取整数值的要求。
• 此类丛的 Chern 类应为 $c_1 = 6R - 3$，$c_2 = 57R^2 + 27R + 13$，$c_3 = -3$，但这些导致 Hilbert 多项式非整，因此该丛不可能存在。
• 对于双重结构，由于 $H^1(G^\vee(2r))$ 的消失性，定义正合列中存在收缩，从而保证了序列的分裂。
• 平面上双重结构的 Hilbert 多项式计算为 $\chi_Y(t) = t^2 + (r+3)t + \frac{r^2 + 3r + 4}{2}$，与几何构造一致。
• 本文表明，假设此类向量丛存在将导致 Hilbert 多项式整性矛盾，从而证明了其不存在性。