[論文レビュー] 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 の分解問題に対する新しい証明が与えられ、tilting モジュラスがその自己準同型環上で有限性条件を満たすことが示され、これらの条件がコトルシオン対および純半単純性予想と関連している。

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 の分解問題に対する新しい証明を提供すること。
• 特に tilting モジュラスを含むコトルシオン対に属するモジュラスが、その自己準同型環上で特定の有限性条件を満たすことを示すこと。
• Mittag-Leffler 条件が純半単純性予想の文脈において果たす役割を調査すること。
• preprojective モジュラスの可算直和系の $P$-安定性を用いた、有限表現型の基準を確立すること。

提案手法

• ${\mathcal{Q}}$-Mittag-Leffler モジュラスを、クラス ${\mathcal{Q}}$ のモジュラスに対して自然な写像 $\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 の結果を用いて、これらの条件を自己有限性および有限性性質と関連付ける。
• コトルシオン対、特に tilting コトルシオン対に理論を適用し、tilting モジュラスにおける有限性条件を導出する。
• これらの条件を用いて純半単純性予想を分析し、遺伝的代数における有限表現型の基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的 Mittag-Leffler 条件は、モジュラスのクラス ${\mathcal{Q}}$ および ${\mathcal{B}}$ を用いてどのように相対的バージョンに一般化できるか？
• RQ2 相対的 Mittag-Leffler 条件を用いて Baer の分解問題を解決できるか？
• RQ3 tilting モジュラスはその自己準同型環上で有限性条件を満たすか？ もしそうなら、それを特徴づけるのは何か？
• RQ4 Mittag-Leffler 条件はコトルシオン対および tilting 系の構造とどのように関係するか？
• RQ5 モジュラス圏にどのような条件が成り立つと有限表現型が成立するか？ また、$P$-安定性を用いてどのように特徴づけられるか？

主な発見

• 適切なクラス $\mathcal{B}$ に対して $\mathcal{B}$-安定性条件を満たすモジュラスが Mittag-Leffler であることを示すことにより、Baer の分解問題に対する新しい証明が得られた。
• tilting モジュラスは、その自己準同型環上で有限性条件を満たしており、具体的には $W$-Mittag-Leffler であることが示され、これは自己有限性を意味する。
• tilting モジュラス $W$ に対して、$W^+$ が $W$-Mittag-Leffler であることは、$W$ が自己有限であることと同値である。
• 純半単純性予想は、$\mathcal{L}$ を tilting 系とするとき、$\mathcal{L}$-安定性を満たすモジュラスの特徴づけを介して扱われた。
• 環 $R$ が有限表現型をもつのは、preprojective モジュラスの可算直和系がすべて $P$-安定であるとき、かつそのときに限る。ここで $P$ は $\mathbf{p}$ の同型類の代表元の直和である。
• ${\mathcal{B}}$-安定モジュラスのクラスは、直和極限および純部分モジュラスに関して閉じており、厳密な ${\mathcal{B}}$-安定性は ${\mathcal{B}}$-安定性を含意する。