[論文レビュー] Generalizing Serre's Splitting Theorem and Bass's Cancellation Theorem via free-basic elements

Alessandro De Stefani, Thomas Polstra+1 more|arXiv (Cornell University)|Aug 30, 2016

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

ひとこと要約

本稿は、射影的でないモジュールへとセールの分割定理とバースのキャンセレーション定理を一般化する。そのために、ホモモルフィズムの部分モジュール内での自由基本的要素の概念を導入する。素点の次元に関する帰納的議論と局所化技術を用いて、各素点において十分に大きな自由和分解成分を局所的に持つ有限生成モジュールは、グローバルな自由和分解成分を含むことを証明する。これは古典的結果を非射影的モジュールへと拡張し、F-符号度理論への応用を可能にする。

ABSTRACT

We give new proofs of two results of Stafford, which generalize two famous Theorems of Serre and Bass regarding projective modules. Our techniques are inspired by the theory of basic elements. Using these methods we further generalize Serre's Splitting Theorem by imposing a condition to the splitting maps, which has an application to the case of Cartier algebras.

研究の動機と目的

• 射影的でない有限生成モジュールへ、セールの分割定理とバースのキャンセレーション定理を拡張すること。
• 射影的モジュールのランクに関する古典的条件を、各素点 p において R/p の次元 +1 以上のランクの自由和分解成分の存在という局所的条件に置き換えることによる一般化を達成すること。
• 部分モジュール 𝔈 ⊆ Hom_R(M, R) に関する自由基本的要素の理論を導入・発展させ、分裂写像の制御を可能にする。
• 一般化された枠組みを、特に非局所的 F-有限な素数の特徴を持つ環におけるカーティエ代数における F-符号度の研究に応用すること。
• 局所的和分解成分がすべての p に対して N_p に含まれるとき、グローバルな自由和分解成分が指定された部分モジュール N 内に実現可能であることを示すことにより、結果を強化すること。

提案手法

• 部分モジュール 𝔈 ⊆ Hom_R(M, R) に関する自由基本的要素の概念を導入する。x ∈ M が 𝔈-自由基本的であるとは、R ≅ ⟨x⟩ → M の包含写像が 𝔈 に属する写像により分裂することを意味する。
• δ_𝔭^𝔈(S, M) を ⟨S⟩ / I^𝔈(S, M) の長さとして定義する。ここで I^𝔈(S, M) は、すべての f ∈ 𝔈 によって極大イデアルへ写される ⟨S⟩ の元の集合である。
• 必要な自由和分解成分のランク i に関する帰納法を用い、分裂写像と核の分解により、問題を低ランクのケースに還元する。
• M = F ⊕ M′ で F がランク i の 𝔈-和分解成分であるとき、δ_𝔭^𝔈′(S′, M′) = δ_𝔭^𝔈(S, M) − i であるという鍵となる補題を活用する。
• j-Spec(R) の設定に応用し、dim_j-Spec(R)(𝔭) を 𝔭 から始まる最大の鎖の長さとして測定することで、より鋭い評価を得る。
• 定理 C を証明する。M_p がランク ≥ i + dim_j-Spec(R)(𝔭) の自由 𝔈_p-和分解成分を持つならば、M はランク ≥ i の自由 𝔈-和分解成分を持つことを示し、その位置が部分モジュール N 内に制御可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 セールの分割定理は、射影的でない有限生成モジュールに対し、局所的自由和分解成分に関する条件を満たす場合に拡張可能か？
• RQ2 ノエター環上の有限生成モジュール M が、射影的でない場合でもグローバルな自由 R-和分解成分を含むための条件は何か？
• RQ3 制御された分裂写像を用いて、射影的モジュールの古典的キャンセレーション性質を非射影的モジュールへ一般化できるか？
• RQ4 部分モジュール 𝔈 ⊆ Hom_R(M, R) に制限することで、基本的要素の理論をどのように洗練できるか？また、この制限からどのような新しい不変量が生じるか？
• RQ5 局所的和分解成分がすべての p に対して N_p に含まれるとき、グローバルな自由和分解成分が与えられた部分モジュール N 内に実現可能であるための条件は何か？

主な発見

• 本稿は定理 C を確立する：すべての p ∈ Spec(R) に対して M_p がランクが dim(R/p) + 1 以上の自由 𝔈_p-和分解成分を持つならば、M は自由 𝔈-和分解成分を含む。
• 著者らは、M_p がすべての p ∈ j-Spec(R) に対してランクが i + dim_j-Spec(R)(𝔭) 以上の自由 𝔈_p-和分解成分を持つならば、M にランク i の自由 𝔈-和分解成分が存在することを証明する。
• 局所的自由和分解成分がすべての p ∈ j-Spec(R) に対して N_p に含まれるとき、M のグローバルな自由 𝔈-和分解成分を部分モジュール N 内に実現可能である。
• 定理 A の結論を強化し、局所的自由和分解成分のランクが dim(R/p) + i 以上であれば、M のグローバルな自由和分解成分のランクが少なくとも i 以上であることを示す。
• 𝔈 に関する自由基本的要素の理論は、ランクに関する帰納的還元を用いた、グローバルな自由和分解成分を構成する体系的な方法を提供する。
• この枠組みはカーティエ代数に適用可能であり、特に非局所的 F-有限な素数の特徴を持つ環において、グローバルな F-符号度の存在を証明可能である。