[論文レビュー] Coarsenings, injectives and Hom functors

Fred Rohrer|arXiv (Cornell University)|Oct 19, 2012

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

ひとこと要約

この論文は、階数付き加群の圏における粗化函手が単射性を保存し、階数付きHom函手と可換となる条件を特徴づけている。単射性が粗化によって保存されるのは、全射の核が有限である場合にかつその場合に限ることを証明しており、また、Hom函手間の自然変換が同型となるのは、核が有限であるか、または加群が小さな加群である場合に限ることを示している。これは、自明な粗化に対する既知の結果を、任意の群全射へと一般化するものである。

ABSTRACT

It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded covariant Hom functors.

研究の動機と目的

• 階数付き加群の圏における粗化函手が単射的対象を保存する条件を特定すること。
• 自明な粗化（自明な群への）に対して既知の結果を、任意の群全射へと一般化すること。
• 粗化されたHom函手間の標準的準同型が同型となる条件を特徴づけること。
• やや弱い仮定の下で、全射の核の有限性が、単射性の保存にとって必要かつ十分であることを確立すること。
• もし核が無限大である全射について、Hom函手が粗化と可換ならば、すべての全射について同様に可換であることを示すこと。

提案手法

• 論文は群全射 ψ: G ↠ H に関連する粗化函手を用い、G-階数付きR加群をψの纤维上での成分の集約によってH-階数付きR[ψ]-加群に写像する。
• 粗化されたHom函手間の標準的モノモーフィズム hψ^M: Hom^G_R(M, ⋅)_[ψ] → Hom^H_R[ψ](M_[ψ], ⋅_[ψ]) を研究する。
• 証明技法は、標準的準同型を構成し、ψの核に関する性質と直和の性質を用いてその全単射性を分析することに依拠している。
• 「小さな加群」という概念を用いる。これは、可算個の直和への任意の準同型が、有限部分和へ因数分解可能であるような加群であり、Hom函手の同型性を特徴づける上で中心的な役割を果たす。
• 粗化の随伴函手（精錬函手）を用いて、階数付き加群の構造とそのHom集合の性質を分析する。
• 重要な技術的道具は、粗化された圏における対角線的写像（counital map）の分析であり、これは元の設定と粗化された設定における準同型を結びつけるのにも用いられる。

実験結果

リサーチクエスチョン

• RQ1 粗化函手は、階数付き加群の圏において、いつ単射的対象を保存するか？
• RQ2 粗化函手は、いつ階数付き共変Hom函手と可換になるか？
• RQ3 核の有限性の条件は、粗化における単射性の保存にとって必要かつ十分か？
• RQ4 標準的準同型 hψ^M が粗化されたHom函手間の同型となるのはいつか？
• RQ5 核が無限大である全射について、Hom函手の同型性にはどのような意味があるか？

主な発見

• 粗化函手は、全射 ψ: G ↠ H の核が有限である場合にかつその場合に限り、単射性を保存する。
• 標準的準同型 hψ^M: Hom^G_R(M, ⋅)_[ψ] → Hom^H_R[ψ](M_[ψ], ⋅_[ψ]) が同型となるのは、Ker(ψ) が有限であるか、または M が小さな加群である場合に限る。
• もし核が無限大である全射 ψ について hψ^M が同型であれば、任意の全射 φ: G ↠ H についても hφ^M は同型である。
• この結果は、Nǎstǎsescu, Raianu, Van Oystaeyen (2009) および Gómez Pardo, Militaru, Nǎstǎsescu (2004) の既存の定理を、任意の粗化へと一般化するものである。
• 核の有限性の条件は最適である：それがないと、一般に単射性は保存されない、非自明な粗化に対しても同様である。
• 本論文は、核の代数的有限性と、粗化の下でのHom函手の振る舞いとの間の強い構造的関係を確立している。