[论文解读] Eulerian graded $D$-modules

Linquan Ma, Wenliang Zhang|arXiv (Cornell University)|Oct 31, 2012

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

一句话总结

本文在任意特征下引入了欧拉型D-模——满足高阶欧拉型公式的D-模——作用于多项式环上。证明了局部上同调模与分次F-模均为欧拉型，从而证明在迭代局部上同调模 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 中的所有陪集元素均位于度数 $-n$，解决了 [Zha12] 中提出的问题，并在特征无关的设定下重新获得了其主要结果。

ABSTRACT

Let $R$ be a polynomial ring over a field $K$ of arbitrary characteristic and $D$ be the ring of differential operators over $R$. Inspired by Euler formula for homogeneous polynomials, we introduce a class of graded $D$-modules, called Eulerian graded $D$-modules. It is proved that a vast class of $D$-modules, including all composite of local cohomology modules, $H_{J_0}^{i_0}(H_{J_1}^{i_1}...(H_{J_n}^{i_n}(R)))$ where $J_1,...,J_n$ are homogeneous ideals of $R$, are Eulerian graded. As an application of our theory, we prove that in all characteristic, these composite of local cohomology modules must be isomorphic to a direct sum of $^{*}E(n)$, the graded injective hull of $R/m$ shifted by $n$. This answers a question raised in arXiv:1102.5336. An application of our theory of Eulerian graded $D$-modules to the graded injective hull of $R/P$, where $P$ is a homogeneous prime ideal of $R$, is discussed as well.

研究动机与目标

• 定义并研究一类新的分次D-模，称为欧拉型分次D-模，其灵感来源于齐次多项式欧拉公式的推广。
• 证明在任意特征下，局部上同调模 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $（其中 $ J_1, \dots, J_s $ 为齐次理想）均为欧拉型。
• 通过证明在 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 中所有陪集元素的度数均为 $-n$，从而解决 [Zha12] 中提出的问题。
• 证明分次F-模为欧拉型，从而在更广泛的设定下恢复 [Zha12] 的主要结果。
• 确定分次内射包 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 的自然分次结构，使其成为欧拉型，该结构与 $ R/P $ 的 a-不变量相关。

提出的方法

• 通过高阶欧拉公式定义欧拉型分次D-模，推广经典欧拉恒等式 $ \sum x_i \partial_i f = \deg(f)f $（对齐次 $ f $ 成立）。
• 利用 $ R $ 和 $ \scr{D} $ 上的 $ \mathbb{Z} $-分次结构，其中 $ \deg(x_i) = 1 $，$ \deg(\partial_i^{[j]}) = -j $，定义分次D-模及其扭模 $ M(\ell) $。
• 利用 $ R/\frak{m} $ 的分次内射包 $ \sideset{{}^{*}}{}{\operatorname{E}} $ 的性质，证明 $ R(\ell) $ 为欧拉型当且仅当 $ \ell = 0 $，且 $ \sideset{{}^{*}}{}{\operatorname{E}}(\ell) $ 为欧拉型当且仅当 $ \ell = n $。
• 通过归纳法和D-模的结构性质，证明所有局部上同调模 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 均为欧拉型。
• 应用该理论，证明 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 作为分次D-模同构于 $ \sideset{{}^{*}}{}{\operatorname{E}}(n) $ 的若干份直和，其陪集元素位于度数 $-n$。
• 利用分次局部对偶性及 $ \operatorname{Ext}_R^h(R/P, R) \cong \operatorname{Hom}_R(R/P, H_P^h(R)) $ 的结构，定义 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 上的典范分次结构，设定 $ \ell = a(R/P) + n $ 以实现欧拉性。

实验结果

研究问题

• RQ1 在什么条件下一个分次D-模是欧拉型的？这一定义如何推广齐次多项式欧拉公式的经典形式？
• RQ2 对于任意特征下，局部上同调模 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $（其中 $ J_1, \dots, J_s $ 为齐次理想）是否均为欧拉型？
• RQ3 在迭代局部上同调模 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 中，所有陪集元素是否均位于度数 $-n$？这一结论在所有特征下是否成立？
• RQ4 每个分次F-模是否都是欧拉型？这是否能恢复 [Zha12] 的主要结果？
• RQ5 使 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 成为欧拉型的自然分次结构是什么？它与 $ R/P $ 的 a-不变量有何关系？

主要发现

• 所有局部上同调模 $ H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R) $ 均为欧拉型分次D-模，无论基域 $ K $ 的特征如何。
• 模 $ R(\ell) $ 为欧拉型当且仅当 $ \ell = 0 $；$ \sideset{{}^{*}}{}{\operatorname{E}}(\ell) $ 为欧拉型当且仅当 $ \ell = n $，其中 $ \sideset{{}^{*}}{}{\operatorname{E}} $ 为 $ R/\frak{m} $ 的分次内射包。
• 在 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 中，所有陪集元素的度数均为 $-n$，且该结论在任意特征下均成立。
• 迭代局部上同调模 $ H^{i_0}_{\frak{m}}(H^{i_1}_{J_1} \cdots H^{i_s}_{J_s}(R)) $ 作为分次D-模同构于若干份 $ \sideset{{}^{*}}{}{\operatorname{E}}(n) $ 的直和。
• 分次F-模为欧拉型，因此在特征无关的框架下恢复了 [Zha12] 的主要结果。
• 分次内射包 $ \sideset{{}^{*}}{}{\operatorname{E}}(R/P) $ 为欧拉型当且仅当其被扭为 $ \ell = a(R/P) + n $，其中 $ a(R/P) $ 为 $ R/P $ 的 a-不变量。