[論文レビュー] On some applications of balanced pairs and their relation with cotorsion triplets

Sergio Estrada, Marco A. Pérez+1 more|arXiv (Cornell University)|Feb 27, 2018

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

ひとこと要約

本稿は、クーヴィー表現理論を活用することで、アーベル圏におけるバランスの取れたペアと完全な遺伝的コトルージョントリプレットの間の深い関係を確立する。非離散的で左および右に根を持つクーヴィー $ Q $ に対して、表現圏 $ \mathrm{Rep}(Q,\mathsf{Mod}(R)) $ におけるバランスの取れたペア $(\Phi(\mathcal{F}), \Psi(\mathcal{L}))$ が存在するための必要十分条件は、元のペア $(\mathcal{F},\mathcal{H})$ および $(\mathcal{G},\mathcal{L})$ が $\mathsf{Mod}(R)$ において完全な遺伝的コトルージョントリプレットを形成することである。この結果により、準フロベニウス環の新たな特徴付けが得られ、バーチャルにゴレンスタイン環に関する結果が拡張される。

ABSTRACT

Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case.

研究の動機と目的

• バランスの取れたペアが完全な遺伝的コトルージョントリプレットを誘導する条件を解明するという未解決問題を解決すること。
• クーヴィー表現が相対的ホモロジー代数的構造を拡張する役割を明らかにすること。
• 表現圏におけるバランスの取れたペアを用いて、準フロベニウス環およびバーチャルにゴレンスタイン環の新たな特徴付けを提供すること。
• クーヴィー理論的手法を用いて、エンオークスの平坦バランスに関する結果を非可換設定に一般化すること。

提案手法

• ファンクター $\Phi$ および $\Psi$ を用いて、$\mathsf{Mod}(R)$ から $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ へのコトルージョンペアの持ち上げにクーヴィー表現理論を適用する。
• ホルムとヨルゲンセンの結果を応用し、表現圏における誘導されたコトルージョンペアの性質を適用する。
• 左および右に根を持つクーヴィーの概念を用いて、$\mathrm{Rep}(Q,\mathsf{Mod}(R))$ における完全な遺伝的コトルージョンペアの存在を保証する。
• ホモロジー的正確性条件および $\mathsf{Hom}$-正確な列を用いて、導来ファンクターのバランスを検証する。
• 文献[16]および[10]の定理を応用し、完全な遺伝的コトルージョンペアを表現圏へ持ち上げる。
• $\mathcal{H} = \mathcal{G}$ であるという条件と、表現圏におけるバランスの取れたペア条件との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 十分に射影的かつインジェクティブな対象を備えたアーベル圏において、バランスの取れたペアが完全な遺伝的コトルージョントリプレットから生じる条件は何か？
• RQ2 平坦分解を用いて計算される $\mathsf{Hom}$-導来ファンクターのバランスは、可換の場合を越えて拡張可能か？
• RQ3 表現圏におけるバランスの取れたペアを用いた、準フロベニウス環のカテゴリカルな特徴付けは可能か？
• RQ4 クーヴィー表現は、バランスの取れたペアから完全な遺伝的コトルージョントリプレットを構成するのにどのように寄与するか？
• RQ5 バーチャルにゴレンスタイン環の特徴付けを表現論的手法を用いて拡張可能か？

主な発見

• 非離散的で左および右に根を持つクーヴィー $ Q $ に対して、$\mathrm{Rep}(Q,\mathsf{Mod}(R))$ におけるバランスの取れたペア $(\Phi(\mathcal{F}), \Psi(\mathcal{L}))$ が存在するための必要十分条件は、$\mathcal{H} = \mathcal{G}$ すなわち $(\mathcal{F},\mathcal{G},\mathcal{L})$ が $\mathsf{Mod}(R)$ において完全な遺伝的コトルージョントリプレットを形成することである。
• 環 $ R $ が準フロベニウス環であるための必要十分条件は、ある非離散的で左および右に根を持つクーヴィー $ Q $ に対して、$(\Phi(\mathsf{Mod}(R)), \Psi(\mathsf{Mod}(R)))$ が $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ でバランスの取れたペアを形成することである。
• モノモルフィズム圏 $\Phi(\mathsf{Mod}(R))$ とエピモルフィズム圏 $\Psi(\mathsf{Mod}(R))$ は、$ R $ が準フロベニウス環である場合に限り、バランスの取れたペアを形成することが示された。
• $ R $ が左 $ n $-perfect かつ右コherrent であると仮定すると、$\mathsf{Mod}(R)$ におけるペア $(\mathsf{GProj}(R), \mathsf{GInj}(R))$ がバランスの取れたペアであるための必要十分条件は、ある非離散的で左および右に根を持つクーヴィー $ Q $ に対して、$\mathrm{Rep}(Q,\mathsf{Mod}(R))$ におけるペア $(\Phi(\mathsf{GProj}(R)), \Psi(\mathsf{GInj}(R)))$ がバランスの取れたペアを形成することである。
• 本稿は、平坦分解を用いて導来ファンクター $\mathsf{Hom}$ のバランスが欠如していることの短い証明を提供し、エンオークスの結果を非可換の場合にまで拡張する。
• この構成により、適切なクーヴィーおよびクラスの条件のもとで、完全な遺伝的コトルージョントリプレットの存在が、対応する表現圏におけるペアのバランスと同値であることが確認された。