[論文レビュー] Homological flat dimensions

Parviz Sahandi, Tirdad Sharif+1 more|ArXiv.org|Sep 26, 2007

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

ひとこと要約

この論文は、noether局域環上の任意の加群に対して、完全交差平坦次元（CIfd）およびCohen-Macaulay平坦次元（CMfd）をホモロジー的不変量として導入し、有限生成加群に限らない古典的概念の拡張を行う。平坦次元の精密な階層を確立する：Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd であり、任意の有限値の左側で等号が成り立つ。等質的零特徴の環に対して平坦次元版の交差定理を証明する。

ABSTRACT

For finitely generated module $M$ over a local ring $R$, the conventional notions of complete intersection dimension $\cid_R M$ and Cohen-Macaulay dimension $\cmdim_R M$ do not extend to cover the case of infinitely generated modules. In this paper we introduce similar invariants for not necessarily finitely generated modules, (namely, complete intersection flat and Cohen-Macaulay flat dimensions) which for finitely generated modules, coincide with the corresponding classical ones.

研究の動機と目的

• 有限生成加群にのみ定義されていた古典的ホモロジー次元を、noether局域環上の任意の加群へと拡張する。
• 特に完全交差およびCohen-Macaulay平坦次元に関して、無限生成加群をカバーしない既存理論のギャップを埋める。
• 平坦次元の整合的な階層を確立し、平坦、Gorenstein平坦、制限付き平坦次元といった古典的概念を精緻化する。
• 等質的零特徴の環に対して平坦次元版の交差定理を証明し、次元、深さ、ホモロジー的平坦次元を結びつける。
• 特に有限準同型および局所化の下で、新しい不変量の基本変換性および双対性条件を調査する。

提案手法

• 平坦加群とインジェクティブ加群によるテンソル積の正確性条件を用いて、完全交差平坦次元（CIfd）およびCohen-Macaulay平坦次元（CMfd）を解体により定義する。
• 上位バージョンとして、Extの消失条件を用いて定義されるCM∗fdおよびG∗fdを導入し、標準的平坦次元の双対である。
• 制限付き平坦次元（Rfd）を基礎的不変量として用い、有限平坦次元を持つ加群におけるTorの非消失性を用いて定義する。
• 不等式の鎖を確立する：Rfd ≤ CMfd ≤ Gfd ≤ CIfd ≤ fd であり、任意の有限値の左側で等号が成り立つ。
• 局所化、深さ比較、Extの消失といったホモロジー代数の技術を用いて、これらの次元の振る舞いを分析する。
• Gruson-RaynaudおよびJensenによる平坦加群の有限射影次元に関する結果を活用し、新しい不変量の有限性挙動を正当化する。

実験結果

リサーチクエスチョン

• RQ1 完全交差およびCohen-Macaulay平坦次元を非有限生成加群へ一般化する方法は何か？
• RQ2 新しい平坦次元（CIfd、CMfd）と既存の不変量（Rfd、Gfd、fd）との関係は何か？
• RQ3 等質的零特徴の環に対して、平坦次元版の交差定理は成り立つか？
• RQ4 H ∈ {CI, G∗, CM∗, CM} のとき、Hfd(M) + depth(M) = depth(R) が成り立つ条件は何か？
• RQ5 特に有限準同型 R → R/(x₁,…,xₙ) 沿いでの基本変換において、これらの新しい次元はどのように振る舞うか？

主な発見

• 任意のR加群Mに対して、不等式の鎖が成り立つ：Rfd_R(M) ≤ CMfd_R(M) ≤ Gfd_R(M) ≤ CIfd_R(M) ≤ fd_R(M) であり、任意の有限値の左側で等号が成り立つ。
• 定理Aは、Gfd_R(M) ≤ CIfd_R(M) を示し、CIfd_R(M) が有限のとき等号が成り立つ。これにより、CIfdはGfdの適切な精緻化であることが示される。
• 等質的零特徴の環では、平坦次元版の交差定理が成り立つ：dim R ≤ dim_R M + Hfd_R(M)（H ∈ {CI, G∗, CM∗}）。
• Cohen-Macaulay環上では、Hfd_R(M) + depth_R(M) = depth_R が成り立つための必要十分条件は、すべての 𝔭 ∈ Supp(M) に対して depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭 が成り立つことである。これは既知の双対性結果を一般化する。
• 命題8.2は、Rfd_R(M) + depth_R(M) = depth_R ならば、すべての素イデアル 𝔭 に対して depth_R(M) ≤ grade(𝔭, M) + dim R/𝔭 が成り立ち、逆はCohen-Macaulay環上で成り立つことを示す。
• 系8.3は、すべての有限深さを持つ加群Mに対して Rfd_R(M) + depth_R(M) = depth_R が成り立つことと、RがCohen-Macaulay環であることとが同値であることを特徴づける。これはChristensen, Foxby, およびFrankildの結果を拡張する。