[论文解读] Remarks on torsionfreeness and its applications

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

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文在交换诺特环 $R$ 关于半自对模 $C$ 的背景下，通过塞尔条件 $(S_n)$，建立了对模的 $n$-C-挠自由性的刻画。它证明了在某些条件下——如 $R$ 满足 $(S_n)$，且在高度小于 $n$ 的素理想上满足 $(G_{n-1}^C)$ 或局部完全 $C$-挠自由性——$n$-C-挠自由性、$n$-C-挠自由模、以及满足 $(S_n)$ 的概念是等价的。该结果使得对低高度素理想具有哥伦坡林局部化的科恩-麦克aul伊环的新刻画成为可能，并为塔奇卡瓦猜想和奥尔施勒德-雷滕猜想提供了部分进展。

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 its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is Gorenstein for all prime ideals p of height less than n, and we will give a partial answer of Tachikawa conjecture and Auslander-Reiten conjecture.

研究动机与目标

• 在半自对模的背景下，利用塞尔条件 $(S_n)$ 对 $n$-C-挠自由性进行刻画。
• 为科恩-麦克aul伊环 $R$ 提供一个新判据，使其对所有高度小于 $n$ 的素理想 $\frak p$ 满足 $R_{\frak p}$ 为哥伦坡林环。
• 将主定理应用于塔奇卡瓦猜想和奥尔施勒德-雷滕猜想，推动其进展。
• 在非哥伦坡林的科恩-麦克aul伊环上，构造非平凡的半自对模。

提出的方法

• 通过 $C$-转置和上同调消失条件，引入并利用 $n$-C-挠自由性的概念。
• 在适当假设下，建立 $n$-C-挠自由性、$n$-C-通用上移、$n$-C-挠自由模性质与满足 $(S_n)$ 之间的等价性。
• 通过 $(G_{n-1}^C)$ 条件或在高度 $< n$ 的素理想上的局部完全 $C$-挠自由性，确保等价性成立。
• 将主结果应用于分析高度小于 $n$ 的素理想 $\frak p$ 的 $R_{\frak p}$ 结构，特别是当 $R$ 为科恩-麦克aul伊环时。
• 通过 $C = \mathrm{Ext}^2_S(R,S)$ 构造非平凡的半自对模，其中 $R = S/I_2$ 为特定商环，$S$ 为科恩-麦克aul伊环。
• 验证对所有高度 $\leq n$ 的 $\frak p$，有 $C_{\frak p}$ 为 $R_{\frak p}$ 的典范模，从而确保 $R$ 满足 $(G_n^C)$。

实验结果

研究问题

• RQ1 当 $R$ 满足 $(S_n)$ 且在 $C$-挠自由性或 $(G_{n-1}^C)$ 上具有某些局部条件时，$R$-模 $M$ 何时为 $n$-C-挠自由？
• RQ2 科恩-麦克aul伊环 $R$ 需满足何种条件，才能使其对所有高度小于 $n$ 的素理想 $\frak p$ 满足 $R_{\frak p}$ 为哥伦坡林环？
• RQ3 主等价结果能否用于推动塔奇卡瓦和奥尔施勒德-雷滕猜想的解决？
• RQ4 如何显式构造非哥伦坡林科恩-麦克aul伊环上的非平凡半自对模？

主要发现

• 当 $R$ 满足 $(S_n)$ 且在高度小于 $n$ 的素理想上满足 $(G_{n-1}^C)$ 或局部完全 $C$-挠自由性时，$n$-C-挠自由性、$n$-C-挠自由模性质与满足 $(S_n)$ 三者等价。
• 科恩-麦克aul伊环 $R$ 对所有高度小于 $n$ 的素理想 $\frak p$ 满足 $R_{\frak p}$ 为哥伦坡林环，当且仅当 $R$ 满足 $(G_{n-1}^C)$ 且 $R$ 关于某个合适的半自对模 $C$ 为 $n$-C-挠自由。
• 通过证明：若 $R$ 为 $n$-C-挠自由且满足 $(G_{n-1}^C)$，则某些有限生成模为自由模，从而部分解决了塔奇卡瓦和奥尔施勒德-雷滕猜想。
• 当 $S$ 为科恩-麦克aul伊环且 $R = S/I_2$，其中 $I_2$ 为正则序列的幂时，构造 $C = \mathrm{Ext}^2_S(R,S)$ 可得到非平凡的半自对 $R$-模。
• 当 $R = S/I_2$，$S$ 为 $d+2$ 维科恩-麦克aul伊环，且 $I_2 = (y_1,y_2)^\ell$ 时，$R$ 满足 $(G_n^C)$，其中 $n = d-1$，即使 $R$ 不是哥伦坡林环。
• 在示例中，对所有高度 $\leq n$ 的 $\frak p$，有 $C_{\frak p}$ 为 $R_{\frak p}$ 的典范模，从而确认 $R$ 满足 $(G_n^C)$，即使 $R$ 不满足 $(G_n^R)$ 对所有 $n$。