[論文レビュー] A note on cancellation of reflexive modules

Narasimha Kumar|ArXiv.org|Oct 4, 2002

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

ひとこと要約

この論文は、特性が0の代数的に閉じた体上のアフィン環上の反射的加群のキャンセル性を調査する。ランクが環の次元以上で、有限個の点を除いて局所自由であり、有限なホモロジカル次元をもつ反射的加群はキャンセル的であることを証明している——つまり、自由加群 $ F $ に対して $ F \bigoplus M \backsimeq F \bigoplus N $ ならば $ 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/J $（$ J $ は根理想）において、同型問題を矛盾に帰着させる。ここで、根や単元の存在が示されない。
• 行列式の議論と $ R/I $ へのベースチェンジを用い、加群が同型になるはずなのに矛盾が生じることを導く。

実験結果

リサーチクエスチョン

• RQ1 アフィン環上の反射的加群がキャンセル的である条件は何か。すなわち、有限生成自由加群 $ F $ に対して $ F \bigoplus M \backsimeq F \bigoplus N $ ならば $ M \backsimeq N $ となる条件は？
• RQ2 加群が有限個の点を除いて局所自由であり、ランクが環の次元以上である場合、反射的加群のキャンセルが保証されるか？
• RQ3 高ランクの反射的加群に対してもキャンセルが失敗する可能性はあるか。その場合、環論的条件は何か？
• RQ4 主定理における仮定（代数的に閉じた体、特性0、有限ホモロジカル次元）は必要不可欠か？
• RQ5 定理における有限ホモロジカル次元の条件は本質的であり、取り除けるものか？

主な発見

• 主定理は、代数的に閉じた体の特性0におけるアフィン環上、ランクが $ \text{rank}(M) \neq \text{dim}(R) $ で、有限個の点を除いて局所自由であり、有限ホモロジカル次元をもつ反射的加群はキャンセル的であることを確立している。
• 反例により、正の特性ではキャンセルが失敗することが示された：$ R = k[x,y,z] $、$ k $ を特性 $ p>0 $ の体とすると、ランク $ p $ の反射的加群が存在し、安定同型ではあるが同型ではない。
• 特性0でも、底体が代数的に閉じていない場合、反例が存在する。有限拡大における非 $ 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 $ 乗根や単元の式が成立しないことから、安定同型ではあるが同型ではないことが証明される。
• 局所自由性条件の必要性が確認された：それがないと、商環における行列式条件が成立せず、キャンセルが失敗する。