[论文解读] Sally modules of canonical ideals in dimension one and 2-AGL rings

Tran Do Minh Chau, Shirô Gotô+2 more|arXiv (Cornell University)|Apr 4, 2017

Commutative Algebra and Its Applications参考文献 25被引用 13

一句话总结

本文通过典范理想Sally模的秩，引入并研究了一维情形下的2-AGL环，作为几乎Gorenstein局部环的自然推广。研究发现此类环自然出现在数值半群环中，并通过Sally模结构与余导出理想刻画了它们，证明了商式$ K_n/R_n $同构于$ (R_n / \frak{c}_n)^{\oplus(e-2)} $，其中$ e $为环的重数，$ \frak{c}_n $为第$ n $个Veronese子环的余导出理想。

ABSTRACT

The notion of 2-AGL ring in dimension one which is a natural generalization of almost Gorenstein local ring is posed in terms of the rank of Sally modules of canonical ideals. The basic theory is developed, investigating also the case where the rings considered are numerical semigroup rings over fields. Examples are explored.

研究动机与目标

• 发展一维情形下几乎Gorenstein局部环的自然推广，使其超越解析非分支的情形。
• 通过典范理想Sally模的秩定义并研究2-AGL环。
• 在域上数值半群环的背景下，研究2-AGL环的结构。
• 通过余导出理想与Rees代数的模理论性质刻画2-AGL环。
• 将几乎Gorenstein环的理论扩展至一类具有受控Sally模秩的一维Cohen-Macaulay局部环。

提出的方法

• 通过典范理想$ I $关于参数理想$ Q $的Sally模$ \mathcal{S}_Q(I) $的秩定义2-AGL环，推广几乎Gorenstein条件。
• 利用Rees代数$ \mathcal{R}(I) = R[It] $及其对应的分次环，分析Sally模与余导出理想$ \frak{c} = R:S $的结构。
• 研究数值半群环$ R = k[H] $的Rees代数的Veronese子环$ R_n $，重点关注$ n > 0 $时的第$ n $个Veronese子环。
• 分析分式理想$ K_n = R_n[K] $，其中$ K = I/a $，并计算长度$ \ell_{R_n}(K_n/R_n) $以确定模结构。
• 利用滤链$ K_n = L_0 \supseteq L_1 \supseteq \cdots \supseteq L_n = R_n $计算$ K_n/R_n $的长度，证明其等于$ n(e-2) $。
• 通过分析分次分量与极大理想$ \mathfrak{m}_n $的作用，证明$ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $作为$ R_n $-模。

实验结果

研究问题

• RQ1 是否存在适用于解析分支环的一维几乎Gorenstein环的自然推广？
• RQ2 典范理想Sally模的秩如何刻画一维Cohen-Macaulay局部环的结构？
• RQ3 典范理想Sally模的秩为1或2时，其条件为何？这又对环的结构意味着什么？
• RQ4 余导出理想与数值半群环的Rees代数如何反映2-AGL性质？
• RQ5 在数值半群环的Veronese子环$ R_n $中，$ K_n/R_n $的模理论结构如何？

主要发现

• 对任意$ 0 < e \in H $，其中$ e $为数值半群$ H $的重数，且$ R_n $为$ R = k[H] $的第$ n $个Veronese子环，有$ R_n $为2-AGL环。
• 长度$ \ell_{R_n}(K_n/R_n) = n(e-2) $，其中$ K_n = R_n[K] $，$ K = I/a $，$ I $为典范理想，$ a $为参数。
• 商式$ K_n/R_n $作为$ R_n $-模同构于$ (R_n / \frak{c}_n)^{\oplus(e-2)} $，其中$ \frak{c}_n $为$ R_n $的余导出理想。
• 关于$ Q $的$ I $的Sally模秩为1当且仅当$ R $为几乎Gorenstein环；秩为2当且仅当$ R $为2-AGL但非几乎Gorenstein环。
• 通过滤链$ L_q = \mathfrak{m}_n^q K_n + R_n $刻画$ R_n $作为2-AGL环的结构，且对所有$ 0 \leq q < n $，有$ \ell_k(L_q / L_{q+1}) = e-2 $。
• 余导出理想$ \frak{c}_n = (t^{h_i + ne} \mid 0 \leq i \leq e-1)R_n $，且$ \ell_{R_n}(R_n / \frak{c}_n) = n $，该结果支持同构关系$ K_n/R_n \cong (R_n / \frak{c}_n)^{\oplus(e-2)} $。