[論文レビュー] tCG Torsion Pairs

Daniel Bravo, Carlos E. Parra|arXiv (Cornell University)|Oct 20, 2016

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

ひとこと要約

本稿は、関連するハッペル＝ライテン＝スモラ t-構造がコンパクト生成である R-Mod 内の torsion ペアとしての tCG torsion ペアを導入する。torsion ペアが tCG であるための必要十分条件として、その torsion-free 級が torsion 級に属する有限生成 R-モジュールの集合からの Hom ファンクターの核の共通部分集合に一致することを証明し、すべての tCG torsion ペアが有限型であるが、逆は成り立たないことを示す。さらに、ネーター環およびヴォイニュアム・ノイマン正則環上での tCG torsion ペアの特徴づけを行う。

ABSTRACT

We investigate conditions for when the $t$-structure of Happel-Reiten-Smalo associated to a torsion pair is a compactly generated $t$-structure. The concept of a $t$CG torsion pair is introduced and for any ring $R$, we prove that $\mathbf{t}=(\mathcal{T},\mathcal{F})$ is a $t$CG torsion pair in $R ext{-Mod}$ if, and only if, there exists, $\{T_{\lambda}\}$ a set of finitely presented $R$-modules in $\mathcal{T}$, such that $\mathcal{F}=\bigcap ext{Ker}({ ext{Hom}}_{R}(T_{\lambda},?))$. We also show that every $t$CG torsion pair is of finite type, and show that the reciprocal is not true. Finally, we give a precise description of the $t$CG torsion pairs over Noetherian rings and von Neumman regular rings.

研究の動機と目的

• R-Mod 内の torsion ペアに関連する t-構造がコンパクト生成である条件を特徴づけること。
• 強いホモロジー的制御を持つ torsion ペアのクラスとしての tCG torsion ペアを導入し、その性質を研究すること。
• torsion ペアが tCG であるための必要十分条件を、torsion-free 級の構造に注目して特定すること。
• tCG torsion ペアと有限型 torsion ペアの関係を調査し、tCG ならば有限型であるが、逆は成り立たないことを示すこと。
• 特にネーター環およびヴォイニュアム・ノイマン正則環の特殊な環のクラスにおいて、tCG torsion ペアの明示的特徴づけを提供すること。

提案手法

• コンパクト生成である関連する t-構造を持つ R-Mod 内の torsion ペア (T, F) として tCG torsion ペアの概念を導入する。
• torsion ペアが tCG であるための定義的条件として、{T_λ} を T に属する有限生成 R-モジュールの集合とするとき、F = ∩ Ker(Hom_R(T_λ, ?)) であることを用いる。
• コンパクト対象の生成集合を通じて t-構造のコンパクト生成性を分析するためのホモロジー代数的技法を適用する。
• 有限生成モジュールの性質およびそれらの Hom-直交性を用いて、torsion-free 級の構造を記述する。
• 環論的構造的結果を応用し、ネーター環およびヴォイニュアム・ノイマン正則環上での tCG torsion ペアの分類を実施する。
• torsion-free 級がフィルター付き帰納極限に関して閉じていることから、すべての tCG torsion ペアが有限型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 R-Mod 内の torsion ペアに関連する t-構造がコンパクト生成であるのはいつか？
• RQ2 torsion ペア (T, F) が関連する t-構造をコンパクト生成にするために必要な条件は何か？
• RQ3 tCG torsion ペアのクラスと有限型 torsion ペアのクラスの関係はいかなるものか？
• RQ4 ネーター環上での tCG torsion ペアの正確な構造は何か？
• RQ5 ヴォイニュアム・ノイマン正則環上での tCG torsion ペアに成り立つ特徴づけは何か？

主な発見

• R-Mod 内の torsion ペア (T, F) が tCG であるための必要十分条件は、T に属する有限生成 R-モジュールの集合 {T_λ} が存在し、F = ∩ Ker(Hom_R(T_λ, ?)) が成り立つことである。
• すべての tCG torsion ペアは有限型である。つまり、torsion-free 級 F はフィルター付き帰納極限に関して閉じている。
• 逆は成り立たない。有限型であるが tCG でない torsion ペアが存在することから、厳密な階層関係が成立する。
• ネーター環上では、tCG torsion ペアは有限生成生成子を用いた上記の核の共通部分集合条件によって完全に特徴づけられる。
• ヴォイニュアム・ノイマン正則環上では、tCG torsion ペアは有限生成射影モジュールを用いた核条件を満たす遺伝的 torsion ペアと一致する。
• t-構造のコンパクト生成性は、torsion 級に属するコンパクト生成子の集合が存在し、それらが torsion-free 級をホモロジーの消失によって特定できることと同値である。