[论文解读] Support varieties over complete intersections made easy

Petter Andreas Bergh, David A. Jorgensen|arXiv (Cornell University)|Sep 25, 2015

Commutative Algebra and Its Applications参考文献 6被引用 4

一句话总结

本文引入了一种无坐标的、支持簇在完整交环上的替代定义，简化了已知结果的证明，并开启了新的应用。通过在超曲面 $ Q/(f) $ 上基于 Ext 范性来重新定义支持簇，作者提供了更清晰的概念性证明，并证明了每个仿射锥均可作为完整交上有限长模的支持簇。

ABSTRACT

Using an alternate description of support varieties of pairs of modules over a complete intersection, we give several new applications of such varieties, including results for support varieties of intermediate complete intersections. Simpler proofs of known results are also given.

研究动机与目标

• 通过引入无坐标的定义，简化并澄清完整交环上支持簇理论。
• 利用新定义，为支持簇理论中的已知结果提供更具概念清晰性的证明。
• 为中间完整交环及其相关环上的支持簇建立新的应用。
• 证明仿射空间中的每个仿射锥均可作为完整交上有限长模的支持簇。
• 证明任意锥均可作为有限长模的支持簇实现，即使在有限长情况下亦然。

提出的方法

• 将支持簇 $ \operatorname{V}_R(M,N) $ 定义为满足 $ \operatorname{Ext}^i_{Q/(f)}(M,N) \neq 0 $ 对无穷多个 $ i $ 成立的 $ \overline{f} \in V = I/\mathfrak{n}I $ 的集合，再加上原点。
• 利用该定义不依赖于 $ f \in I $ 的代表元选择（只要其在 $ V $ 中的像 $ \overline{f} $ 固定），确保其定义良好。
• 利用 Avramov-Buchweitz 和 Jorgensen 建立的无坐标定义与经典通过上同调算子的定义之间的等价性。
• 应用通过多项式环 $ k[\chi] $ 上 $ \operatorname{Ext}^*_{R}(M,N) $ 的零化子的上同调支持簇理论，将簇识别为齐次理想的零点集。
• 利用 $ \operatorname{Ext}^*_{R}(M,N) $ 在 $ R[\chi] $ 上是有限生成的这一事实，确保支持簇为闭锥。
• 利用支持簇在取挠射影和正合列下保持不变的性质，支持归纳与结构性论证。

实验结果

研究问题

• RQ1 能否以无坐标的定义方式重新定义完整交上的支持簇，以简化证明并揭示新结构？
• RQ2 新定义是否允许对中间完整交环及其相关环实现新的应用？
• RQ3 在 $ \mathbb{A}^c $ 中的每个仿射锥是否都可实现为某个完整交上有限生成模的支持簇？
• RQ4 有限长模的支持簇是否能实现仿射空间中的任意给定锥？
• RQ5 与经典的上同调算子方法相比，新定义在概念清晰性和计算实用性方面有何差异？

主要发现

• 使用 $ Q/(f) $ 上的 Ext 范性来重新定义支持簇的替代方法是定义良好的，且不依赖于 $ f \in I $ 的代表元选择（只要 $ \overline{f} \in V $ 固定）。
• 支持簇 $ \operatorname{V}_R(M,N) $ 是 $ V $ 中的闭锥，且在选择坐标时与通过上同调算子的经典定义一致。
• 对任意有限生成 $ R $-模 $ M $，若 $ M $ 是余维 $ m $ 的科恩-麦克aul伊，则有 $ \operatorname{V}_R(M) = \operatorname{V}_R(\operatorname{Ext}^m_R(M,R)) $，特别地，对极大科恩-麦克aul伊模，有 $ \operatorname{V}_R(M) = \operatorname{V}_R(\operatorname{Hom}_R(M,R)) $。
• 模的支持簇在取挠射影下保持不变：若 $ M', N' $ 分别是 $ M, N $ 的挠射影，则 $ \operatorname{V}_R(M,N) = \operatorname{V}_R(M',N') $。
• 对任意有限生成 $ R $-模 $ M $，若 $ x_1,\dots,x_d $ 是 $ M $-正则序列，则有 $ \operatorname{V}_R(M) = \operatorname{V}_R(M/(x_1,\dots,x_d)M) $。
• 在 $ \mathbb{A}^c(\overline{k}) $ 中的每个闭锥均可作为某个有限生成 $ R $-模（甚至有限长模）在完整交 $ R = Q/I $ 上的支持簇实现。