[论文解读] Tilting modules and universal localization

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

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

一句话总结

本文建立了投影维数为一的倾斜模与普遍局部化之间的深刻联系，证明了每一个此类倾斜模均可自然地通过在一组投影维数为一的有限表示模上进行普遍局部化而构造出来。关键贡献在于一个刻画：在阿廷代数和普吕弗整环上，形式为 $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.

研究动机与目标

• 澄清任意环上投影维数为一的倾斜模与普遍局部化之间的结构性关系。
• 研究形式为 $S \oplus S/R$ 的倾斜模在何种条件下源于普遍局部化或完美加布里埃尔拓扑。
• 在特殊环类（尤其是阿廷代数和普吕弗整环）中，建立倾斜模构造与局部化理论之间的等价性。
• 通过普遍局部化与完美局部化，恢复并推广萨尔斯关于普吕弗整环上倾斜模的结果。
• 通过关联模序列的同调条件，刻画倾斜类何时源于完美加布里埃尔拓扑或普遍局部化。

提出的方法

• 使用正交类别构造 $\mathcal{X}_{T_1} = \{M \mid \operatorname{Hom}_R(T_1,M) = \operatorname{Ext}^1_R(T_1,M) = 0\}$，将倾斜模 $T$ 与环同态 $\lambda: R \to S$ 关联起来。
• 应用加布里埃尔与德拉萨佩尼亚的结果，将 $\mathcal{X}_{T_1}$ 实现为某个环 $S$ 上的模范畴，并证明 $\lambda$ 是在一组投影维数为一的有限表示模集合 $\mathcal{U}$ 上的普遍局部化 $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$ 上，每一个投影维数为一的倾斜模是否都能通过在一组投影维数为一的有限表示模上进行普遍局部化而实现？
• RQ2 在何种条件下，形式为 $S \oplus S/R$ 的倾斜模源于完美加布里埃尔拓扑 $\mathcal{G}$？
• RQ3 在普吕弗整环上，普遍局部化与完美加布里埃尔局部化之间有何关系？
• RQ4 当普吕弗整环 $R$ 的有限型加布里埃尔拓扑 $\mathcal{L}$ 的局部化 $Q_{\mathcal{L}}$ 的投影维数至多为一的条件是什么？
• RQ5 如何通过关联模序列的同调与范畴性质来刻画形式为 $S \oplus S/R$ 的倾斜模？

主要发现

• 在任意环 $R$ 上，每一个投影维数为一的倾斜模 $T$ 都与在一组投影维数为一的有限表示模集合 $\mathcal{U}$ 上的普遍局部化 $R \to R_{\mathcal{U}}$ 相关联。
• 在阿廷代数上，每一个形式为 $S \oplus S/R$ 的有限生成倾斜模均可通过在一组有限表示模上的普遍局部化而实现。
• 在普吕弗整环上，每一个投影维数为一的倾斜模 $T$ 满足 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$ 当且仅当 $Q_{\mathcal{L}} \oplus Q_{\mathcal{L}}/R$，从而恢复萨尔斯的结果。
• 在普吕弗整环上，每一个在有限表示循环模集合上的普遍局部化均可源自完美加布里埃尔拓扑。
• 形式为 $S \oplus S/R$ 的倾斜模 $T$ 源于完美加布里埃尔拓扑 $\mathcal{G}$ 当且仅当存在一个正合序列 $0 \to R \to T_0 \to T_1 \to 0$，其中 $T_0, T_1 \in \operatorname{Add}T$，$\operatorname{Hom}_R(T_1, T_0) = 0$，且 $\mathcal{X}_{T_1}$ 是一个吉拉德子范畴。
• 在普吕弗整环上，条件 $\operatorname{pd}(Q_{\mathcal{L}}) \leq 1$、$T$ 源于完美局部化、$T$ 源于普遍局部化，以及此类序列的存在性，全部等价。