[论文解读] Injective modules over some rings of Differential operators

Tony J. Puthenpurakal|arXiv (Cornell University)|Jan 7, 2013

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

一句话总结

本论文证明了，在某些微分算子环上——具体而言，是在特征为零的域上的Weyl代数、形式幂级数环以及收敛幂级数环上——的内射左模，同时也是基多项式环或幂级数环上的内射模。关键结果依赖于证明微分算子环作为基环上的模是投射模，从而实现内射性的传递。该结果被应用于证明局部上同调的Mayer-Vietoris序列中的连接同态是$A_n(K)$-线性的。

ABSTRACT

Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$-linear differential operators on $R$. Let $E$ be an injective left $D$-module. We ask the question, when is $E$ injective as a $R$-module? We show that this is indeed the case when $R = K[X_1,...,X_n]$ or $R = K[[X_1,...,X_n]]$ or $R = \mathbb{C}\{z_1,...,z_n\}$. We also give an application of our result to local cohomology.

研究动机与目标

• 确定在何种条件下，一个微分算子环上的内射左模在作为基环模时仍为内射模。
• 解决局部上同调中的一个关键开放问题：局部上同调模的Mayer-Vietoris序列中的连接同态是否为$A_n(K)$-线性。
• 推广在较大环上内射性蕴含子环上内射性的条件，特别是在微分算子的背景下。
• 分析当作为基正则环上的模时，微分算子环上不可约内射模的结构。

提出的方法

• 证明：若$S$是左诺特环，包含一个正则交换环$R$作为子环，且$S$作为右$R$-模是投射模，则任意内射左$S$-模也是$R$-模意义上的内射模。
• 使用一个技术性判别准则：$R$-模$E$是内射模当且仅当对所有由正则序列生成的理想$J$，有$\operatorname{Ext}^1_R(R/J, E) = 0$。
• 证明了在$R = K[X_1,\dots,X_n]$、$R = K[[X_1,\dots,X_n]]$或$R = \mathbb{C}\{z_1,\dots,z_n\}$上的微分算子环满足所需假设，包括关键条件$(*)$：存在$r$使得$I^r s \subseteq S I$。
• 将主定理应用于证明：当$R = K[X_1,\dots,X_n]$时，局部上同调模的Mayer-Vietoris序列是$A_n(K)$-模的复形。
• 分析作为$R$-模时，内射$S$-模的关联素理想，证明$\operatorname{Ass}_R E_S(M)$有唯一的极大元。
• 利用Koszul复形的结构和导子的性质，验证了在微分多项式环等例子中条件$(*)$的成立。

实验结果

研究问题

• RQ1 在何种条件下，一个微分算子环上的内射左模在作为基正则环模时也保持为内射模？
• RQ2 局部上同调的Mayer-Vietoris序列中的连接同态$\delta^i$是否为$A_n(K)$-线性？
• RQ3 当作为$R$-模时，不可约内射$S$-模的关联素理想的结构如何？
• RQ4 $S$-模作为$R$-模的内射性如何依赖于$S$作为右$R$-模的投射性？
• RQ5 确保$I^r s \subseteq S I$的条件$(*)$是否对微分算子环成立？

主要发现

• 当$R = K[X_1,\dots,X_n]$、$R = K[[X_1,\dots,X_n]]$或$R = \mathbb{C}\{z_1,\dots,z_n\}$时，内射左$A_n(K)$-模在作为$R$-模时仍为内射模。
• 局部上同调序列中Mayer-Vietoris的连接同态$\delta^i$是$A_n(K)$-线性。
• 对于不可约内射$S$-模$E_S(M)$，其关联素理想集$\operatorname{Ass}_R E_S(M)$有唯一的极大元$P$，且$P \in \operatorname{Ass}_R M$。
• 当$S$是有限生成的、Cohen-Macaulay的$R$-代数，且$\mathfrak{m}$是$S$的极大理想时，有$E_S(S/\mathfrak{m}) \cong E_R(R/\mathfrak{n})^{\ell_R(S/Q_1)}$，其中$\mathfrak{n} = \mathfrak{m} \cap R$，$Q_1$是$\mathfrak{n}S$的$\mathfrak{m}$-幂零分支。
• 条件$(*)$在微分算子环上成立，包括Weyl代数和微分多项式环，从而保证$\Gamma_I(M)$是$S$-子模，对任意$S$-模$M$成立。
• Weyl代数$A_n(K)$作为右$R$-模是自由的（因此是投射的），其中$R = K[X_1,\dots,X_n]$，这是主定理成立的关键。