[论文解读] $F$-stable submodules of top local cohomology modules of Gorenstein rings

Mordechai Katzman|ArXiv.org|Feb 24, 2006

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

一句话总结

本文通过 $F$-有限模和弗罗贝尼乌斯作用，明确描述了 Gorenstein 环的上局部上同调模中 $F$-稳定子模及参数测试理想。它在正则环的某些理想与上局部上同调模的 $A[T;f]$-子模之间建立了一个双射，从而将测试理想表征为满足弗罗贝尼乌斯稳定性条件的理想的交集。

ABSTRACT

This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.

研究动机与目标

• 通过 $F$-有限模理论，描述 Gorenstein 环上局部上同调模 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 的 $F$-稳定子模。
• 通过扩展 $F$-有限模的框架，将完全交截环的结果推广到 Gorenstein 环。
• 以正则环 $R$ 中的理想为基准，提供参数测试理想的一个显式代数表征。
• 在 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 的 $A[T;f]$-子模与满足弗罗贝尼乌斯稳定性条件的 $R$ 中理想之间建立对应关系。
• 证明参数测试理想等于所有满足 $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$ 且 $\text{ht}(IA) > 0$ 的 $R$-理想 $I$ 的交集。

提出的方法

• 利用 G. Lyubeznik 的 $F$-有限模理论，分析 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 作为 $A[T;f]$-模的结构。
• 应用函子 $\mathcal{H}_{R,A}$，将 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 的 $A[T;f]$-子模与 $R$ 上的 $F_R$-有限 $F$-模联系起来。
• 引入集合 $\mathcal{I}(R,\mathbf{u})$，即所有包含 $K_{\mathbf{u}}$ 且满足 $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$ 的理想 $I \subseteq R$，推广完全交截情形。
• 利用局部对偶性，将 $\mathcal{H}_{R,A}(H^{ ext{dim} A}_{\mathfrak{m}A}(A)) \cong H^{\delta}_{\mathfrak{m}}(R)$ 识别为 $\delta = \dim R - \dim A$，并通过 $\varepsilon(\mathbf{u})$ 构造生成态射。
• 在 $T$-挠自由假设下，建立 $\mathcal{I}(R,\mathbf{u})$ 中的理想与 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 的 $A[T;f]$-子模之间的双射。
• 应用对偶性 $\operatorname{ann}_H(IA) \cong (0:_{A} A/IA)$，将测试理想表示为所有满足 $\text{ht}(IA) > 0$ 的 $I \in \mathcal{I}(R,\mathbf{u})$ 的 $IA$ 的交集。

实验结果

研究问题

• RQ1 如何用正则环中的理想来描述 Gorenstein 环的上局部上同调模的 $F$-稳定子模？
• RQ2 理想 $I \subseteq R$ 的精确条件是什么，使得 $IA$ 是 $A$ 中的 $F$-理想？
• RQ3 Gorenstein 环的参数测试理想能否被表征为来自 $F$-有限模结构的理想交集？
• RQ4 上局部上同调模 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 上的弗罗贝尼乌斯作用如何与测试理想的零化子相关？
• RQ5 在什么条件下，$F$-有限模 $H^{\delta}_{\mathfrak{m}}(R)$ 的生成态射成为根，以及这对理想结构有何影响？

主要发现

• Gorenstein 环 $A = R/\mathbf{u}R$ 的参数测试理想等于 $\bigcap \{ I \in \mathcal{I}(R,\mathbf{u}) \mid \text{ht}(IA) > 0 \}$，其中 $\mathcal{I}(R,\mathbf{u})$ 是包含 $K_{\mathbf{u}}$ 且满足 $\varepsilon(\mathbf{u})I \subseteq I^{[p]}$ 的理想集合。
• 存在唯一极小理想 $\tau \in \{ I \in \mathcal{I}(R,\mathbf{u}) \mid \text{ht}(IA) > 0 \}$，且此 $\tau$ 即为 $A$ 的参数测试理想。
• 映射 $I \mapsto IA$ 在 $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$ 为 $T$-挠自由时，给出 $\mathcal{I}(R,\mathbf{u})$ 与 $A$-特殊 $H^{\text{dim} A}_{\mathfrak{m}A}(A)$-理想之间的双射。
• $A$ 是 $F$-正则当且仅当 $\mathcal{I}(R,\mathbf{u}) = \{0, R\}$，从而给出了以理想集为基准的 $F$-正则性判别准则。
• 测试理想 $\overline{\tau}$ 满足 $\overline{\tau} = \bigcap \{ IA \mid I \in \mathcal{I}(R,\mathbf{u}), \text{ht}(IA) > 0 \}$，确认了交集公式。
• 生成态射 $\mathcal{H}_{R,A}(H^{ ext{dim} A}_{\mathfrak{m}A}(A))$ 由乘法 $\varepsilon(\mathbf{u})$ 给出，其根为 $R/K_{\mathbf{u}} \to R/K_{\mathbf{u}}^{[p]}$，其中 $K_{\mathbf{u}} = \bigcup_e (\mathbf{u}^{p^{e+1}} : \varepsilon(\mathbf{u})^{1+p+\cdots+p^e})$。