[论文解读] Ulrich modules over Cohen-Macaulay local rings with minimal multiplicity

Toshinori Kobayashi, Ryo Takahashi|arXiv (Cornell University)|Nov 2, 2017

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

一句话总结

本文研究了具有最小多重性的的Cohen-Macaulay局部环上的Ulrich模，建立了Ulrich模与无自由直和项的最大Cohen-Macaulay模的一阶挠化模相等的条件。证明了在最小多重性条件下，Ulrich模的范畴具有一个带有足够投射与内射对象的精确范畴结构，分别由$\Omega^d k$及其对偶生成，并给出了该等式成立的完整等价条件集。

ABSTRACT

Let R be a Cohen-Macaulay local ring. In this paper we study the structure of Ulrich $R$-modules mainly in the case where R has minimal multiplicity. We explore generation of Ulrich R-modules, and clarify when the Ulrich R-modules are precisely the syzygies of maximal Cohen-Macaulay R-modules. We also investigate the structure of Ulrich R-modules as an exact category.

研究动机与目标

• 理解具有最小多重性的Cohen-Macaulay局部环中Ulrich模的结构及其生成方式。
• 确定Ulrich模在何种情况下精确等于无自由直和项的最大Cohen-Macaulay模的一阶挠化模。
• 研究Ulrich模范畴的精确范畴结构。
• 在最小多重性条件下，建立Ulrich模恰好为最大Cohen-Macaulay模的挠化模的等价条件。
• 探讨$\Omega^d k$及其对偶在生成Ulrich模范畴中的作用。

提出的方法

• 使用典范对偶函子$(-)^\dagger = \operatorname{Hom}_R(-, \omega)$来关联Ulrich模与挠化模。
• 应用挠化函子$\Omega$从已有Ulrich模生成新的Ulrich模，特别是通过$\Omega(M/x_iM)$。
• 利用Quillen的精确结构公理研究Ulrich模范畴$\mathrm{Ul}(R)$作为精确范畴。
• 验证Ulrich模短正合序列类$\mathcal{S}$的精确范畴公理（Ex0–Ex2 op）。
• 利用对偶性及$\Omega^d k$的性质，识别$\mathrm{Ul}(R)$中的投射与内射对象。
• 在最小多重性条件下，建立多个同调与结构条件（如$\operatorname{Tor}_1$、$\operatorname{Ext}^{d+1}$的消失性及Gorenstein性）之间的等价性。

实验结果

研究问题

• RQ1 在何种条件下，$R$-上的Ulrich模恰好是无自由直和项的最大Cohen-Macaulay $R$-模的一阶挠化模？
• RQ2 在何种条件下，Ulrich模的范畴会具有一个带有足够投射与内射对象的精确范畴结构？
• RQ3 $\Omega^d k$及其对偶在生成Ulrich模范畴中起什么作用？
• RQ4 同调条件如$\operatorname{Tor}_1(\mathrm{Tr}(\Omega^d k)^\dagger, \omega) = 0$如何与等式$\mathrm{Ul}(R) = \mathrm{\Omega CM}^\times(R)$相关联？
• RQ5 何时环$R$是几乎Gorenstein的？这与Ulrich模的结构有何关联？

主要发现

• 若$R$是二维正常Cohen-Macaulay局部环，$k = \mathbb{C}$，具有最小多重性但无有理奇点，则$R$有无穷多个不可约的Ulrich模。
• 若$R$有孤立奇点，且对所有$1 \leq i \leq d-1$有$\operatorname{Ext}_R^i(M,N) = 0$，则当$M$或$N$为Ulrich模时，$\operatorname{Hom}_R(M,N)$也是Ulrich模。
• 对于满足$\mathfrak{m}^2 = \mathbf{x}\mathfrak{m}$的参数系$\mathbf{x} = x_1, \dots, x_d$，若$M$是Ulrich模，则对每个$i$，$\Omega(M/x_iM)$也是Ulrich模。
• $\mathrm{Ul}(R)$范畴的Ulrich模具有一个精确范畴结构，且具有足够投射与内射对象，其中$\operatorname{proj} \mathrm{Ul}(R) = \operatorname{add}(\Omega^d k)$，$\operatorname{inj} \mathrm{Ul}(R) = \operatorname{add}((\Omega^d k)^\dagger)$。
• 定理B中的条件(1)–(6)彼此等价，且(7)蕴含(1)；当$d=1$且$k$为无限域时，全部八个条件等价。
• 当$d=2$，$k=\mathbb{C}$，且$R$为完备正常环时，条件(1)–(7)等价，除非$R$具有循环商奇点。