[论文解读] Mittag-Leffler conditions on modules

Lidia Angeleri Hügel, Dolors Herbera|LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)|Apr 27, 2007

Algebraic structures and combinatorial models参考文献 9被引用 10

一句话总结

本文通过 ${\mathcal{Q}}$-Mittag-Leffler 模和 ${\mathcal{B}}$-平稳模引入了模的相对 Mittag-Leffler 条件，推广了 Raynaud 和 Gruson 的经典结果。提供了 Baer 分裂问题的新证明，证明了倾斜模在其自同态环上满足某种有限性条件，并将这些条件与余挠对及纯半单猜想联系起来。

ABSTRACT

We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting problem. Moreover, we show that modules arising in cotorsion pairs satisfy certain Mittag-Leffler conditions. In particular, this implies that tilting modules satisfy a useful finiteness condition over their endomorphism ring. In the final section, we focus on a special tilting cotorsion pair related to the pure-semisimplicity conjecture.

研究动机与目标

• 开发模的 Mittag-Leffler 条件的相对版本，推广 Raynaud 和 Gruson 的经典结果。
• 通过 Mittag-Leffler 条件提供 Baer 分裂问题的新证明。
• 证明余挠对中的模（尤其是倾斜模）在其自同态环上满足特定的有限性条件。
• 研究 Mittag-Leffler 条件在纯半单猜想背景下的作用。
• 建立利用预投射模的可数直积系的 $P$-平稳性来判断有限表示型的标准。

提出的方法

• 通过类 ${\mathcal{Q}}$ 的模，引入 ${\mathcal{Q}}$-Mittag-Leffler 模，即自然映射 $\rho: M \otimes_R \prod Q_i \to \prod (M \otimes_R Q_i)$ 的正则性。
• 将 ${\mathcal{B}}$-平稳模定义为：对所有 $B \in {\mathcal{B}}$，逆系 $\mathrm{Hom}_R(F_\alpha, B)$ 满足 Mittag-Leffler 条件。
• 通过自然变换 $\nu: M \otimes_R \mathrm{Hom}_S(B,V) \to \mathrm{Hom}_S(\mathrm{Hom}_R(M,B), V)$ 的正则性，引入严格 ${\mathcal{B}}$-平稳模。
• 利用矩阵子群理论及 Zimmermann 的结果，将这些条件与自同态有限性及有限性性质联系起来。
• 将该理论应用于余挠对，特别是倾斜余挠对，以推导倾斜模上的有限性条件。
• 利用这些条件分析纯半单猜想，并在遗传代数中推导出有限表示型的标准。

实验结果

研究问题

• RQ1 如何通过模类 ${\mathcal{Q}}$ 和 ${\mathcal{B}}$ 将经典的 Mittag-Leffler 条件推广为相对版本？
• RQ2 能否通过相对 Mittag-Leffler 条件解决 Baer 分裂问题？
• RQ3 倾斜模是否在其自同态环上满足某种有限性条件？若满足，其特征是什么？
• RQ4 Mittag-Leffler 条件如何与余挠对及倾斜类的结构相关联？
• RQ5 模范畴的何种条件可推出有限表示型？如何通过 $P$-平稳性来刻画？

主要发现

• 通过证明满足合适类 $\mathcal{B}$ 的 $\mathcal{B}$-平稳性条件的模是 Mittag-Leffler 模，获得了 Baer 分裂问题的新证明。
• 倾斜模在其自同态环上满足有限性条件，具体表现为 $W$-Mittag-Leffler，这蕴含自同态有限性。
• 对于倾斜模 $W$，$W^+$ 是 $W$-Mittag-Leffler 的条件等价于 $W$ 是自同态有限的。
• 通过刻画满足 $\mathcal{L}$-平稳性的模（其中 $\mathcal{L}$ 是一个倾斜类），推进了对纯半单猜想的研究。
• 当且仅当每个可数直积系的预投射模都是 $P$-平稳时，环 $R$ 具有有限表示型，其中 $P$ 是 $\mathbf{p}$ 中同构类代表元的直和。
• ${\mathcal{B}}$-平稳模类对直极限和纯子模封闭，且严格 ${\mathcal{B}}$-平稳性蕴含 ${\mathcal{B}}$-平稳性。