[论文解读] Annihilators of $D$-modules in mixed characteristic

Rankeya Datta, Nicholas Switala+1 more|arXiv (Cornell University)|Jul 23, 2019

Commutative Algebra and Its Applications参考文献 16被引用 4

一句话总结

该论文在混合特征下证明：对于离散赋值环 $V$ 上的多项式或形式幂级数环 $R$，任何非零 $$\mathscr{D}(R,V)$-模的零化子要么为零，要么是该均匀化参数 $\pi$ 的幂。论文提供了对霍斯特关于上局部上同调模忠实性问题的反例，表明 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 被 2 所零化，并进一步否定了吕贝兹尼克与伊利杜鲁姆关于局部上同调模的对偶模的关联素理想的一个猜想。

ABSTRACT

Let $R$ be a polynomial or formal power series ring with coefficients in a DVR $V$ of mixed characteristic with a uniformizer $π$. We prove that the $R$-module annihilator of any nonzero $\D(R,V)$-module is either zero or is generated by a power of $π$. In contrast to the equicharacteristic case, nonzero annihilators can occur; we give an example of a top local cohomology module of the ring $\mathbb{Z}_2[[x_0, \ldots, x_5]]$ that is annihilated by $2$, thereby answering a question of Hochster in the negative.

研究动机与目标

• 对混合特征下多项式或形式幂级数环上的 $\mathscr{D}(R,V)$-模的零化子进行分类。
• 研究混合特征下上局部上同调模的忠实性，特别是回应霍斯特的问题。
• 检验吕贝兹尼克与伊利杜鲁姆关于局部上同调模的对偶模的关联素理想的猜想在混合特征下的有效性。
• 构造局部上同调模被基环中非零元零化的显式例子。

提出的方法

• 使用 $\mathscr{D}(R,V)$-模，即 $R$ 上 $V$-线性微分算子环，来分析模的结构。
• 应用局部上同调理论及其与完备化的相容性，将 $\mathbb{Z}[x_0,\dots,x_5]$ 上的上同调与关于 $\mathfrak{m}$-进完备化的上同调联系起来。
• 在 $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 中构造一个特定理想 $I$，其由 10 个单项式生成，算术秩为 4，上同调维数为 4。
• 证明定义 $H^4_I(R)$ 的直接极限中的过渡映射是单射，从而推出 $H^4_I(R) \cong H^6_\mathfrak{m}(R/(2))$。
• 将 $H^4_I(R)$ 识别为 $\bar{R} = R/(2)$ 上的内射包 $E_{\bar{R}}(\bar{R}/\mathfrak{m})$，表明其被 2 所零化。
• 利用对偶模 $D(H^4_I(R)) \cong R/(2)$ 说明 0 不是 $D(H^4_I(R))$ 的关联素理想，从而与吕贝兹尼克-伊利杜鲁姆猜想矛盾。

实验结果

研究问题

• RQ1 在混合特征下，正则局部环的上局部上同调模是否总是忠实的？
• RQ2 在混合特征下，$\mathscr{D}(R,V)$-模是否可能出现非零零化子？
• RQ3 吕贝兹尼克-伊利杜鲁姆猜想关于局部上同调模的对偶模的关联素理想在混合特征下是否成立？
• RQ4 对于特定理想 $I$，上局部上同调模 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 的结构是什么？
• RQ5 混合特征下 $\mathscr{D}(R,V)$-模的零化子是否可以是均匀化参数 $\pi$ 的非平凡幂？

主要发现

• 对于 $R = V[[x_1,\dots,x_n]]$ 或 $R = V[x_1,\dots,x_n]$ 上的任何非零 $\mathscr{D}(R,V)$-模，其零化子要么为零，要么是均匀化参数 $\pi$ 的幂。
• 上局部上同调模 $H^4_I(\mathbb{Z}_2[[x_0,\dots,x_5]])$ 被 2 所零化，因此 $\operatorname{Ann}_R(H^4_I(R)) = (2)$，为霍斯特的问题提供了否定答案。
• $\mathbb{Z}_2[[x_0,\dots,x_5]]$ 中的理想 $I$ 的算术秩与上同调维数均为 4。
• $H^4_I(R)$ 同构于内射包 $E_{\bar{R}}(\bar{R}/\mathfrak{m})$，确认了其结构及其在极大理想的处的支撑。
• 对偶模 $D(H^4_I(R)) \cong R/(2)$，因此 0 不是 $D(H^4_I(R))$ 的关联素理想，与吕贝兹尼克-伊利杜鲁姆猜想矛盾。
• 该例子表明，霍斯特-杰弗里斯关于忠实性的特征零类比在混合特征下不成立。