[論文レビュー] Dual Bass Numbers and Co-Cohen Macaulay Modules

Lingguang Li|arXiv (Cornell University)|Sep 12, 2010

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

この論文は、双対バース数の消滅を用いて、ネーター環上の共コhenマカウレー加群を特徴づけ、古典的コhenマカウレー理論との双対性を確立する。共局所化が特定の条件下で共コhenマカウレー性を保つことを証明し、各共補題素点における共次元より小さい添え字の双対バース数の消滅と、共コhenマカウレー性が同値であることを示す。

ABSTRACT

In this paper, we give a characterization of co-Cohen Macaulay modules by vanishing properties of the dual Bass numbers of modules. In addition, we show that the co-localization of co-Cohen Macaulay modules preserves co-Cohen Macaulayness under a certain condition.

研究の動機と目的

• 双対バース数の消滅性を用いた共コhenマカウレー加群の双対的特徴づけを提供すること。
• 特に特定の環の条件の下で、共局所化が共コhenマカウレー性を保存するかどうかを調査すること。
• 双対バース数を介して、古典的コhenマカウレー加群と共コhenマカウレー加群の間の双対性を確立すること。
• アーティン加群における共次元、共補題、および共正則列の関係を明確にすること。
• U-環上の共コhenマカウレー加群へ、既知の双対バース数および共局所化に関する結果を拡張すること。

提案手法

• Mの最小フラット解体を用いて定義される双対バース数πᵢ(𝔭, M) = dimₖ(𝔭) Torᵢᴿₚ(k(𝔭), Homᴿ(Rₚ, M)) を用いる。
• 乗法的集合Sを用いた共局所化Homᴿ(Rₛ, M)を適用し、共補題CosᴿMを{𝔭 ∈ Spec R | Homᴿ(Rₚ, M) ≠ 0}として定義する。
• 共次元CdimᴿM = sup{dim R/𝔭 | 𝔭 ∈ CosᴿM}と、共高さhtᴹ𝔭 = CosᴿMにおける𝔭を終点とする鎖の長さの上限を導入する。
• すべての𝔭 ∈ V(AnnᵣM)に対してAnnᵣ(0:ₘ𝔭) = 𝔭を満たす条件を用いる。これはU-環（例えば、完備局所環）で成立する。
• 先行研究（例：[6], [7]）におけるネーター次元および共局所化に関する結果を応用し、共正則列と共階数の関係を導く。
• 共コhenマカウレー性と、すべての𝔭 ∈ CosᴿMに対してi < htᴹ𝔭のときπᵢ(𝔭, M) = 0であることを組み合わせ、すべての𝔪 ∈ SuppᴿMに対してhtᴹ𝔪 = CdimᴿMが成り立つことを利用する。

実験結果

リサーチクエスチョン

• RQ1 ネーター環上のアーティン加群における共局所化が、どのような条件下で共コhenマカウレー性を保存するか。
• RQ2 双対バース数の消滅を用いて、共コhenマカウレー加群をどのように特徴づけられるか。
• RQ3 共コhenマカウレー加群における共正則列、共階数、および共次元の関係は何か。
• RQ4 U-環上の共コhenマカウレー加群の共補題は、キャタネリア性を満たすか。
• RQ5 バース数と双対バース数の双対性が、コhenマカウレーと共コhenマカウレー加群の双対性をどの程度反映しているか。

主な発見

• すべての𝔭 ∈ CosᴿMおよびすべてのi < htᴹ𝔭に対してπᵢ(𝔭, M) = 0であり、かつすべての𝔪 ∈ SuppᴿMに対してhtᴹ𝔪 = CdimᴿMが成り立つことと、共コhenマカウレー性は同値である。
• RがU-環であり、Mがすべての𝔭 ∈ V(AnnᵣM)に対してAnnᵣ(0:ₘ𝔭) = 𝔭を満たすとき、共局所化は共コhenマカウレー性を保存する。
• U-環上の共コhenマカウレー加群の共補題はキャタネリア的である：CosᴿMにおける𝔮から𝔭へのすべての飽和鎖の長さは、ht(𝔭/𝔮)に等しい。
• 任意の共コhenマカウレー加群Mに対して、すべての𝔪 ∈ SuppᴿMにおける共階数は共高さhtᴹ𝔪に等しく、かつCdimᴿMに等しい。
• U-環の条件下で、すべてのi < htᴹ𝔪に対して双対バース数πᵢ(𝔪, M)が消えることと、Mが共コhenマカウレーであることとは同値である。
• 共次元CdimᴿMは、最大共補題素点における最小共階数以上に有界であり、等号が成り立つのはMが共コhenマカウレーである場合に限る。