[论文解读] Regularity, singularities and $h$-vector of graded algebras

Hailong Dao, Linquan Ma+1 more|arXiv (Cornell University)|Jan 4, 2019

Commutative Algebra and Its Applications参考文献 23被引用 6

一句话总结

该论文证明了：对于域上标准分次代数，若代数满足 Serre 条件 $(S_r)$ 且具有轻微奇点——特征 0 下为 Du Bois 奇点，或正特征下为 $F$-纯奇点——则其 $h$-向量满足 $h_i \geq 0$ 对所有 $i = 0,\dots,r$ 成立。关键贡献在于对 Ext 模的正则性建立了精确界限，从而得到此类奇点下的 K"{o}daira 型消去定理，并证明：当多重性界取等时，代数必为 Cohen-Macaulay。

ABSTRACT

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furthermore the multiplicity of $R$ is at least $h_0+h_1+\dots+h_{r-1}$. We also prove that equality in many cases forces $R$ to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others.

研究动机与目标

• 理解 $\mathrm{Spec\;}R$ 或 $\mathrm{Proj\;}R$ 的奇点如何影响标准分次代数 $R$ 的 $h$-向量。
• 在 Serre 条件 $(S_r)$ 下，确定 $h$-向量分量 $h_0, \dots, h_r$ 非负的条件。
• 将经典关于 Cohen-Macaulay 性与 $h$-向量非负性的结果，推广至具有轻微奇点的代数。
• 通过正则性界限建立 $\operatorname{Ext}$ 模的 K"{o}daira 型消去定理，推广 Muraï-Terai 的工作。
• 证明：当多重性界取等且早期 $h_i$ 为零时，$R$ 必为 Cohen-Macaulay，推广 Bertram-Ein-Lazarsfeld 的结果。

提出的方法

• 引入并分析 $(MT_r)$ 条件，即与缺陷模相关的 $\operatorname{Ext}$ 模的正则性约束。
• 利用谱序列论证与 Serre 对偶性，界定奇异簇上对偶复形的上同调。
• 在低余维下，于 Du Bois 或 $F$-纯假设下，证明 $H_{\mathfrak{m}}^j(R)_{<0}$ 在 $j \leq d-k$ 时的消去性。
• 应用定理 3.2 与 3.3，分解对偶复形，并通过支撑维数控制上同调。
• 利用短正合列 $0 \to h^{-(d-1)}(\underline{\omega}_X^\bullet) \to h^{-(d-1)}(\omega_X^\bullet) \to C \to 0$，其中 $\dim \operatorname{Supp} C \leq k-1$，证明消去性。
• 利用 $h$-向量定义 $H_R(t) = \frac{h_0 + \cdots + h_s t^s}{(1-t)^d}$，将上同调界转化为 $h$-向量的非负性。

实验结果

研究问题

• RQ1 在何种奇点与深度条件下，分次代数的 $h$-向量满足 $h_i \geq 0$ 对所有 $i = 0,\dots,r$？
• RQ2 能否将 $h$-向量在度数 $r$ 以内的非负性结果，从 Cohen-Macaulay 情况推广至具有 Du Bois 或 $F$-纯奇点的代数？
• RQ3 在 $(S_r)$ 条件与轻微奇点下，$R$ 的多重性是否满足 $e(R) \geq h_0 + \cdots + h_{r-1}$？
• RQ4 在何种条件下，$h_i = 0$ 对所有 $i \leq r$ 或正则性小于 $r$ 能推出 $R$ 为 Cohen-Macaulay？
• RQ5 能否将全局 Du Bois 或 $F$-纯奇点的假设弱化为局部或余维条件，同时保持 $h_i \geq 0$？

主要发现

• 若 $R$ 满足 $(S_r)$ 且在特征 0 下为 Du Bois，或在正特征下为 $F$-纯，则对所有 $i = 0,\dots,r$ 有 $h_i \geq 0$。
• 代数 $R$ 的多重性至少为 $h_0 + h_1 + \cdots + h_{r-1}$，且等号成立当且仅当 $R$ 为 Cohen-Macaulay。
• 若 $R$ 的 Castelnuovo-Mumford 正则性小于 $r$，或存在某个 $i \leq r$ 使得 $h_i = 0$，则 $R$ 为 Cohen-Macaulay。
• $h$-向量满足 $h_r + h_{r+1} + \cdots + h_s \geq 0$，这等价于多重性界。
• 对于满足 $e + l \geq d_1 + \cdots + d_e$ 且具有 MJ-对数可极化奇点的代数，若 $R$ 为无瑕且等维的，则其为 Cohen-Macaulay。
• 该结果推广了 Muraï-Terai 关于单纯复形的定理，并将 Bertram-Ein-Lazarsfeld 的 Cohen-Macaulay 判别准则推广至轻微奇点情形。