[论文解读] Locally Gorensteinness over Cohen-Macaulay rings

Tokuji Araya, Kei-ichiro Iima|arXiv (Cornell University)|Aug 17, 2014

Algebraic structures and combinatorial models参考文献 2被引用 7

一句话总结

本文通过塞雷条件（S_n）建立了相对于一个半对偶模的模的挠自由性的刻画。此外，还提供了一个判别准则，用于判断科恩-麦克aul伊环 R 是否对所有高度小于 n 的素理想 p 满足 R_p 为哥罗温斯坦环，从而通过半对偶模和 (S_n) 条件将局部哥罗温斯坦性质与同调条件联系起来。

ABSTRACT

In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As an application we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p with height less than n.

研究动机与目标

• 通过塞雷条件 (S_n) 刻画相对于一个半对偶模的模的挠自由性。
• 研究科恩-麦克aul伊环 R 满足对所有高度小于 n 的素理想 p 都有 R_p 哥罗温斯坦的同调条件。
• 建立科恩-麦克aul伊环中局部哥罗温斯坦性与同调有限性条件之间的联系。
• 通过半对偶模的视角，扩展对科恩-麦克aul伊环局部化中哥罗温斯坦性质的理解。

提出的方法

• 利用半对偶模理论，在相对模范畴中定义并分析挠自由性。
• 将塞雷条件 (S_n) 作为同调准则，以控制模的深度和维数行为。
• 运用局部上同调与对偶理论，将 (S_n) 条件与局部化的哥罗温斯坦性质联系起来。
• 分析贝斯数与典范模相对于半对偶模的行为。
• 应用相对哥罗温斯坦维数的概念，刻画局部化为哥罗温斯坦的条件。
• 利用澳斯兰德-布希维茨逼近理论与 (S_n) 条件之间的相互作用，推导出主要结果。

实验结果

研究问题

• RQ1 在何种条件下，一个模相对于一个半对偶模是挠自由的？
• RQ2 塞雷条件 (S_n) 在半对偶模的语境下如何与挠自由性相关联？
• RQ3 在何种条件下，科恩-麦克aul伊环 R 满足对所有高度小于 n 的素理想 p 都有 R_p 哥罗温斯坦？
• RQ4 何种同调条件可确保科恩-麦克aul伊环在有界高度素理想的局部化为哥罗温斯坦？
• RQ5 如何利用半对偶模的结构来检测科恩-麦克aul伊环中局部哥罗温斯坦性？

主要发现

• 在适当假设下，一个模相对于半对偶模的挠自由性等价于该模满足塞雷条件 (S_n)。
• 科恩-麦克aul伊环 R 满足对所有高度小于 n 的素理想 p 都有 R_p 哥罗温斯坦，当且仅当 R 的典范模相对于半对偶模满足 (S_n) 条件。
• 本文建立了一个涉及 (S_n) 条件的同调准则，用于刻画科恩-麦克aul伊环在低高度素理想局部化为哥罗温斯坦的条件。
• 结果通过引入半对偶模在控制挠自由性与深度条件中的作用，扩展了先前关于哥罗温斯坦局部化的研究。
• 该刻画为研究科恩-麦克aul伊环中局部哥罗温斯坦性质提供了新的同调框架。
• 半对偶模与 (S_n) 条件之间的相互作用，使得对有界高度下不同素理想处的局部哥罗温斯坦性可实现统一处理。