[论文解读] A note on cancellation of reflexive modules

Narasimha Kumar|ArXiv.org|Oct 4, 2002

Rings, Modules, and Algebras参考文献 7被引用 3

一句话总结

本文研究了在特征零的代数闭域上仿射环上的反射模的消去性质。证明了：若反射模的秩至少等于环的维数、在除有限个点外局部自由，且具有有限同调维数，则其满足消去律——即若 $ F \bigoplus M \backsimeq F \bigoplus N $，其中 $ F $ 为自由模，则 $ M \backsimeq N $。该结果确立了消去律成立的条件，而反例则表明这些假设的必要性。

ABSTRACT

We prove that cancellation of reflexive modules over affine rings holds under some restrictions. We construct examples to show that this is false even over polynomial rings without the extra assumptions.

研究动机与目标

• 确定多项式环上反射模是否满足消去律，即 $ F \bigoplus M \backsimeq F \bigoplus N $ 是否蕴含 $ M \backsimeq N $。
• 识别反射模满足消去律的充分条件，推广已知的关于投影模的结果。
• 通过反例表明，若缺少关键假设（如在有限个点外局部自由或足够高的秩），则消去律不成立。
• 阐明主定理中假设的必要性，特别是针对正特征或非代数闭域的情形。
• 探究有限同调维数条件是否本质，尽管此问题仍悬而未决。

提出的方法

• 使用 Quillen 的粘贴定理与局部化技巧，证明某些模是扩张模，因此在局部化后为自由模。
• 应用 Suslin 关于单位元素与初等变换的定理，以操控关系模。
• 通过多项式环 $ A[t] $ 的形变论证，证明在 $ t=0 $ 与 $ t=1 $ 处模同构，通过扩展模实现。
• 构造显式反例，利用 $ R^n $ 中的向量，其生成的理想相等但关系模不构同。
• 将同构问题约化为商环 $ R/J $（其中 $ J $ 为根式理想）中的矛盾，通过证明根或单位不存在。
• 使用行列式论证与基变换至 $ R/I $，在模本应同构时导出矛盾。

实验结果

研究问题

• RQ1 在何种条件下，仿射环上的反射模满足消去律，即 $ F \bigoplus M \backsimeq F \bigoplus N $ 是否蕴含 $ M \backsimeq N $（$ F $ 为有限生成自由模）？
• RQ2 当反射模在有限个点外局部自由且秩至少等于环的维数时，其消去律是否成立？
• RQ3 即使对于高秩反射模，消去律是否仍可能不成立？若成立，其环论条件为何？
• RQ4 主定理中的假设（如代数闭域、特征零、有限同调维数）是否必要？
• RQ5 定理中的有限同调维数条件是否具有本质作用，或可被移除？

主要发现

• 主定理表明：在特征零的代数闭域上，仿射环上秩满足 $ \text{rank}(M) \neq \text{dim}(R) $、在除有限个点外局部自由、且具有有限同调维数的反射模是消去的。
• 反例表明：在正特征下消去律不成立：对 $ R = k[x,y,z] $，$ k $ 为特征 $ p>0 $ 的域，存在秩为 $ p $ 的反射模，其稳定同构但不构同。
• 在特征零下，当基域非代数闭时，反例存在：利用有限扩张中非 $ n $ 次幂的元素，构造出秩为 $ n $ 的非同构反射模，但其与自由模的直和同构。
• 以 $ v_1 = (x^{n}, x^{n-1}y, \dots, y^n, zt-1) $ 与 $ v_2 = (zx^n, x^{n-1}y, \dots, y^n, zt-1) $ 的例子表明：即使秩很高，若基域非代数闭，消去律仍不成立。
• 矛盾出现在 $ R/J = k[z,z^{-1}] $ 中，因所需 $ p $ 次根或单位方程无法成立，从而证明尽管存在稳定同构，模并不同构。
• 局部自由性条件的必要性得到确认：若无此条件，消去律不成立，如在商环中行列式条件失效所示。