[論文レビュー] 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

ひとこと要約

この論文は、最小多重度をもつコhen-Macaulay局域環上のウルリッヒ加群について調査し、ウルリッヒ加群が最大コhen-Macaulay加群の第一シジージに一致する条件を確立する。最小多重度のもとで、ウルリッヒ加群の圏は十分な射影的および投射的対象をもつ正確な圏構造をもち、それぞれ $\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.

研究の動機と目的

• 最小多重度をもつコhen-Macaulay局域環におけるウルリッヒ加群の構造と生成について理解すること。
• ウルリッヒ加群が自由加群を含まない最大コhen-Macaulay加群の第一シジージに正確に一致する条件を特定すること。
• ウルリッヒ加群の圏の正確な圏構造を調査すること。
• 最小多重度のもとで、ウルリッヒ加群が最大コhen-Macaulay加群のシジージに正確に一致するための同値条件を確立すること。
• $\Omega^d k$ 及びその双対がウルリッヒ加群の圏を生成する役割を調査すること。

提案手法

• ウルリッヒ加群とシジージを関連付けるために、標準双対関手 $(-)^\dagger = \operatorname{Hom}_R(-, \omega)$ を用いる。
• 既存のウルリッヒ加群から新たなウルリッヒ加群を生成するためのシジージ関手 $\Omega$ の応用、特に $\Omega(M/x_iM)$ を通じての応用。
• クイレンの正確構造の公理を用いて、ウルリッヒ加群の圏 $\mathrm{Ul}(R)$ を正確な圏として研究する。
• ウルリッヒ加群の短い完全系列の族 $\mathcal{S}$ に対して、正確な圏の公理（Ex0–Ex2 op）を検証する。
• 双対性および $\Omega^d k$ の性質を用いて、$\mathrm{Ul}(R)$ 内の射影的および投射的対象を同定する。
• 最小多重度のもとで、複数のホモロジー的および構造的条件（例：$\operatorname{Tor}_1$、$\operatorname{Ext}^{d+1}$ の消滅、ゴレンスタイン性）の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ウルリッヒ $R$-加群が、自由加群を含まない最大コhen-Macaulay $R$-加群の第一シジージに正確に一致するのはいつか？
• RQ2 ウルリッヒ加群の圏が十分な射影的および投射的対象をもつ正確な圏構造をもつのはどのような条件下か？
• RQ3 $\Omega^d k$ 及びその双対がウルリッヒ加群の圏を生成する役割は何か？
• RQ4 ホモロジー的条件 $\operatorname{Tor}_1(\mathrm{Tr}(\Omega^d k)^\dagger, \omega) = 0$ は、等式 $\mathrm{Ul}(R) = \mathrm{\Omega CM}^\times(R)$ とどのように関係するか？
• RQ5 環 $R$ がほぼゴレンスタイン的であるのはいつか？ そしてそれはウルリッヒ加群の構造とどのように関係するか？

主な発見

• $R$ が $2$ 次元で正規なコhen-Macaulay局域環であり、$k = \mathbb{C}$ で最小多重度をもち、有理特異点をもたないならば、$R$ は無限個の非分解ウルリッヒ加群をもつ。
• $R$ が孤立特異点をもち、すべての $1 \leq i \leq d-1$ に対して $\operatorname{Ext}_R^i(M,N) = 0$ ならば、$M$ もしくは $N$ がウルリッヒならば、$\operatorname{Hom}_R(M,N)$ もウルリッヒである。
• パラメータ系 $\mathbf{x} = x_1, \dots, x_d$ が $\mathfrak{m}^2 = \mathbf{x}\mathfrak{m}$ を満たすとき、$M$ がウルリッヒならば、各 $i$ に対して $\Omega(M/x_iM)$ もウルリッヒである。
• ウルリッヒ加群の圏 $\mathrm{Ul}(R)$ は、射影的および投射的対象を十分にもつ正確な圏構造をもち、$\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$ が無限大のとき、すべての8つの条件は同値である。
• $d=2$、$k=\mathbb{C}$、$R$ が完全正規のとき、条件（1）〜（7）は、$R$ が巡回商特異点をもたない限り同値である。