[論文レビュー] Tilting modules and universal localization

Lidia Angeleri Hügel, Maria Archetti|ArXiv.org|Aug 13, 2009

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

ひとこと要約

本稿は、射影次元1のティルティング加群と普遍局域化の間の深い関係を確立し、すべてのこのようなティルティング加群が、射投影次元1の有限生成加群の集合における普遍局域化から自然に生じることを証明している。主な貢献は、アーティン代数およびプリューファー整域において、形のティルティング加群 $S \oplus S/R$ が普遍局域化および完全ガブリエル局域化にちょうど一致することを示す特徴づけである。

ABSTRACT

We show that every tilting module of projective dimension one over a ring R is associated in a natural way to the universal localization (in the sense of Schofield) of R at a set of finitely presented modules of projective dimension one. We then investigate tilting modules arising from universal localization. Furthermore, we discuss the relationship between universal localization and the localization given by a perfect Gabriel topology. Finally, we give some applications to Artin algebras and to Pruefer domains.

研究の動機と目的

• 任意の環上における射影次元1のティルティング加群と普遍局域化の間の構造的関係を明確化すること。
• 形のティルティング加群 $S \oplus S/R$ がいつ普遍局域化または完全ガブリエルトポスから生じるかを調査すること。
• 特にアーティン代数およびプリューファー整域を含む特別な環のクラスにおいて、ティルティング加群の構成と局域化理論との同値性を確立すること。
• 普遍局域化および完全局域化を用いて、サルセによるプリューファー整域上のティルティング加群に関する結果を回復・一般化すること。
• 関連する加群列のホモロジー的条件を用いて、ティルティングクラスが完全ガブリエルトポスまたは普遍局域化からいつ生じるかを特徴づけること。

提案手法

• 射影次元1のティルティング加群 $T$ を、環のエピモルフィズム $\lambda: R \to S$ に結びつけるために、直交カテゴリ構成 $\mathcal{X}_{T_1} = \{M \mid \operatorname{Hom}_R(T_1,M) = \operatorname{Ext}^1_R(T_1,M) = 0\}$ を用いる。
• ガブリエルおよびデ・ラ・ペーニャの結果を適用し、$\mathcal{X}_{T_1}$ を環 $S$ の加群の圏として実現し、$\lambda$ が有限生成加群の集合 $\mathcal{U}$ における射影次元1の普遍局域化 $R \to R_{\mathcal{U}}$ であることを示す。
• 加群 $T_0, T_1 \in \operatorname{Add}T$ におけるホモロジー的条件と $\operatorname{Hom}_R(T_1, T_0) = 0$ の消滅を用いて、ティルティング加群 $S \oplus S/R$ と完全ガブリエル局域化 $R \to Q_{\mathcal{G}}$ の間の同値性を確立する。
• プリューファー整域の性質を活用し、有限生成巡回加群の集合における普遍局域化が、常に完全ガブリエルトポスから生じることを示す。
• プリューファー整域では、ティルティングクラスと有限型の完全ガブリエルトポスが一対一対応すること、および $\mathcal{L}$-可除加群が $\operatorname{Gen}T$ と一致することを用いる。
• 射影次元 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$ であることと $T \simeq Q_{\mathcal{L}} \oplus Q_{\mathcal{L}}/R$ であることが同値であることの証明を行い、サルセの結果を系として回復する。

実験結果

リサーチクエスチョン

• RQ1 任意の環 $R$ 上の射影次元1のティルティング加群は、射影次元1の有限生成加群の集合における普遍局域化として常に実現可能か？
• RQ2 ティルティング加群 $S \oplus S/R$ が完全ガブリエルトポス $\mathcal{G}$ から生じる条件は何か？
• RQ3 プリューファー整域上では、普遍局域化と完全ガブリエル局域化はどのように関係しているか？
• RQ4 プリューファー整域 $R$ の有限型ガブリエルトポス $\mathcal{L}$ における局域化 $Q_{\mathcal{L}}$ が射影次元1以下であるのはいつか？
• RQ5 関連する加群列のホモロジー的およびカテゴリカルな性質を用いて、形のティルティング加群 $S \oplus S/R$ を特徴づけるのは何か？

主な発見

• 任意の環 $R$ 上の射影次元1のティルティング加群 $T$ は、射影次元1の有限生成加群の集合 $\mathcal{U}$ における普遍局域化 $R \to R_{\mathcal{U}}$ に関連づけられる。
• アーティン代数では、形 $S \oplus S/R$ のすべての有限生成ティルティング加群が、有限生成加群の集合における普遍局域化から生じる。
• プリューファー整域では、射影次元 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$ を満たすすべてのティルティング加群 $T$ は $Q_{\mathcal{L}} \oplus Q_{\mathcal{L}}/R$ と同値であり、サルセの結果が回復される。
• プリューファー整域では、有限生成巡回加群の集合における普遍局域化は、常に完全ガブリエルトポスから生じる。
• 形 $S \oplus S/R$ のティルティング加群 $T$ が完全ガブリエルトポス $\mathcal{G}$ から生じるための必要十分条件は、$T_0, T_1 \in \operatorname{Add}T$ で $\operatorname{Hom}_R(T_1, T_0) = 0$ かつ $\mathcal{X}_{T_1}$ がギラウド部分圏であるような完全列 $0 \to R \to T_0 \to T_1 \to 0$ の存在である。
• プリューファー整域上では、$\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$、$T$ が完全局域化から生じる、$T$ が普遍局域化から生じる、およびこのような完全列の存在という4つの条件はすべて同値である。