[论文解读] The lex-plus-power inequality for local cohomology modules

Giulio Caviglia, Enrico Sbarra|arXiv (Cornell University)|Aug 10, 2012

Commutative Algebra and Its Applications参考文献 26被引用 7

一句话总结

本文在标准分次代数上建立了关于局部上同调模的 Hilbert 系列的 Lex-Plus-Power 不等式，证明了当一个齐次理想包含正则序列时，其局部上同调模的 Hilbert 系列被对应 Lex-Plus-Power 理想的 Hilbert 系列所上界。关键结果将 Evans 的 Lex-Plus-Power 猜想扩展至局部上同调范畴，表明在 Eisenbud-Green-Harris 猜想的已知情形下，通过 Lex-Plus-Power 理想时，投影维数与 Castelnuovo-Mumford 正则性不会减少。

ABSTRACT

We prove an inequality between Hilbert functions of local cohomology modules supported in the homogeneous maximal ideal of standard graded algebras over a field, within the framework of embeddings of posets of Hilbert functions. As a main application, we prove an analogue for local cohomology of Evans' Lex-Plus-Power Conjecture for Betti numbers. This results implies some cases of the classical Lex-Plus-Power Conjecture, namely an inequality between extremal Betti numbers. In particular, for the classes of ideals for which the Eisenbud-Green-Harris Conjecture is currently known, the projective dimension and the Castelnuovo-Mumford regularity of a graded ideal do not decrease by passing to the corresponding Lex-Plus-Power ideal.

研究动机与目标

• 建立标准分次代数中局部上同调模的 Hilbert 函数在齐次极大理想上的不等式。
• 将 Evans 的 Lex-Plus-Power 猜想——最初针对 Betti 数提出——推广至局部上同调模的范畴。
• 在 Eisenbud-Green-Harris 猜想的已知情形下，证明分次理想的投影维数与 Castelnuovo-Mumford 正则性在映射到 Lex-Plus-Power 理想时不会减少。
• 通过偏序集结构为局部上同调模的 Hilbert 函数嵌入提供一个框架。
• 通过局部上同调与部分 Castelnuovo-Mumford 正则性，刻画极端 Betti 数及其行为。

提出的方法

• 作者利用 Hilbert 函数的偏序集嵌入框架，比较给定理想与其 Lex-Plus-Power 对应物的局部上同调模。
• 他们应用定理 4.4，该定理建立了局部上同调模 Hilbert 系列之间的系数逐项不等式：当正则序列的像满足 Eisenbud-Green-Harris 猜想时，有 $\operatorname{Hilb}(H^i_{\mathfrak{m}}(A/I)) \leq \operatorname{Hilb}(H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r}))))$。
• 证明依赖于通过局部上同调刻画极端 Betti 数，使用恒等式 $\beta^{A}_{ij}(M) = \operatorname{Hilb}(H^{n-i}_{\mathfrak{m}_A}(M))_{j-n}$，其中 $(i,j-i)$ 是 $M$ 的一个角点。
• 他们利用部分 Castelnuovo-Mumford 正则性 $\operatorname{reg}_h(M)$，定义为 $\sup\{j-i : \beta_{ij}^A(M) \neq 0, i \geq n-h\}$，将 Betti 表角点与局部上同调的支撑联系起来。
• 作者利用一般初等理想保持极端 Betti 数的事实，并用此比较 $R/I$ 与 $S/\epsilon_{\rm{CL}}(I)$。
• 关键的技术工具是比较 $\operatorname{reg}_h(R/I)$ 与 $\operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$，在 EGH 假设下证明前者被后者上界控制。

实验结果

研究问题

• RQ1 Lex-Plus-Power 不等式是否在 Hilbert 系列（而非 Betti 数）的局部上同调模中成立？
• RQ2 能否通过局部上同调，用 Lex-Plus-Power 对应物的极端 Betti 数来上界分次理想的极端 Betti 数？
• RQ3 在何种条件下，分次理想的投影维数或 Castelnuovo-Mumford 正则性在映射到其 Lex-Plus-Power 理想时不会减少？
• RQ4 部分 Castelnuovo-Mumford 正则性如何与局部上同调模的支撑及 Betti 表角点相关联？
• RQ5 Hilbert 系列的局部上同调模在多大程度上可用于刻画极端 Betti 数及其在 Betti 图中的位置？

主要发现

• 当正则序列的像满足 Eisenbud-Green-Harris 猜想时，局部上同调模 $H^i_{\mathfrak{m}}(A/I)$ 的 Hilbert 系列被 $H^i_{\mathfrak{m}}(A/(L + (X_1^{d_1}, \ldots, X_r^{d_r})))$ 的 Hilbert 系列上界控制。
• 当 $(i,j-i)$ 是 $S/\epsilon_{\rm{CL}}(I)$ 的一个角点时，$R/I$ 的极端 Betti 数被 $S/\epsilon_{\rm{CL}}(I)$ 的极端 Betti 数上界控制，即 $\beta^{A}_{ij}(R/I) \leq \beta^{A}_{ij}(S/\epsilon_{\rm{CL}}(I))$。
• 对于 $R/I$ 的任意角点 $(i,j-i)$，存在 $S/\epsilon_{\rm{CL}}(I)$ 的一个角点 $(i',j'-i')$，使得 $i \leq i'$ 且 $j-i \leq j'-i'$，表明 Betti 区域的包含关系。
• 对所有 $h$，有 $\operatorname{reg}_h(R/I) \leq \operatorname{reg}_h(S/\epsilon_{\rm{CL}}(I))$，这蕴含了 Betti 数与角点的不等式。
• 在 Eisenbud-Green-Harris 猜想成立的所有情形下，$R/I$ 的投影维数与 Castelnuovo-Mumford 正则性在映射到 Lex-Plus-Power 理想 $S/\epsilon_{\rm{CL}}(I)$ 时不会减少。
• 结果确认了经典 Lex-Plus-Power 猜想在 Eisenbud-Green-Harris 猜想已知成立的各类理想中对极端 Betti 数成立。