[論文レビュー] Monomorphism Categories via Morita rings, Gorenstein algebras, AR sequences and derived equivalences

Nan Gao, Chrysostomos Psaroudakis|arXiv (Cornell University)|Aug 12, 2015

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

ひとこと要約

本稿は、双模形式がゼロであるモラータ環上のゴレンシュタイン・プロジェクト型加群を構成することにより、単形カテゴリとモラータ環の間の新しい接続を確立する。また、このような環がゴレンシュタイン・アルチン代数であるための十分条件を証明する。さらに、これらの構造を単形カテゴリにおけるアウスランダー＝ライデンン系列と結びつけ、モノ(A)の有界導来カテゴリを、torsion対とティルティングA加群からのティルティング対象を用いてアーベルカテゴリの導来カテゴリとして実現する。

ABSTRACT

For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the monomorphism category Mono(R) as a full subcategory of the module category over the Morita ring with all entries the ring R and zero bimodule homomorphisms. This approach provides an interesting link between Morita rings and monomorphism categories. The aim of this paper is two-fold. First, we construct Gorenstein-projective modules over Morita rings with zero bimodule homomorphisms and we provide sufficient conditions for such rings to be Gorenstein Artin algebras. This is the first part of our work, which is strongly connected with monomorphism categories that we study in the second part. In particular, following the work of Ringel-Schmidmeier we investigate Auslander-Reiten sequences in the monomorphism category mono(A) of an Artin algebra A. The last aim of this paper is to show how we can realize the bounded derived category of the monomorphism category over an Artin algebra A, as the bounded derived category of an abelian category. This is achieved by using the existence of a natural torsion pair in the exact category mono(A), and by constructing tilting objects in the bounded derived category of mono(A) from tilting A-modules.

研究の動機と目的

• 双模形式がゼロであるモラータ環上にゴレンシュタイン・プロジェクト型加群を構成し、そのような環がゴレンシュタイン・アルチン代数であるための十分条件を同定すること。
• アルチン代数Aの単形カテゴリmono(A)におけるアウスランダー＝ライデンン系列を調査し、リングエル＝シュムダイマーの結果を拡張すること。
• torsion対とティルティング対象を用いて、mono(A)の有界導来カテゴリをアーベルカテゴリの導来カテゴリとして実現すること。
• A上のティルティング加群を用いて、mono(A)の有界導来カテゴリとアーベルカテゴリの導来カテゴリとの間の導来同値を確立すること。

提案手法

• すべての成分がRで、双模形式がゼロであるモラータ環上の加群カテゴリの完全部分カテゴリとして単形カテゴリMono(R)をモデル化すること。
• 三角行列環の構造を用いて、準同型カテゴリを特徴付け、それらをモラータ環上の加群カテゴリに関連付けること。
• ゴレンシュタインホモロジー代数の技術を適用し、双模形式がゼロであるモラータ環上にゴレンシュタイン・プロジェクト型加群を構成すること。
• exactカテゴリmono(A)に自然なtorsion対が存在することを活用し、mono(A)の有界導来カテゴリにティルティング対象を構成すること。
• ティルティングA加群を用いて、mono(A)の導来カテゴリにそれに対応するティルティング対象を構成し、導来同値を可能にすること。
• 導来同値およびtorsion対に関する結果を応用し、D^b(mono(A))をアーベルカテゴリの導来カテゴリとして実現すること。

実験結果

リサーチクエスチョン

• RQ1 双模形式がゼロであるモラータ環がゴレンシュタイン・アルチン代数であるための条件は何か？
• RQ2 アルチン代数Aの単形カテゴリmono(A)におけるアウスランダー＝ライデンン系列はどのように特徴づけられるか？
• RQ3 mono(A)の有界導来カテゴリは、アーベルカテゴリの導来カテゴリとして実現可能か？
• RQ4 ティルティングA加群は、mono(A)の導来カテゴリにおけるティルティング対象の構成において果たす役割は何か？
• RQ5 mono(A)におけるtorsion対は、導来同値の構成をどのように支援するか？

主な発見

• 本稿は、双模形式がゼロであるモラータ環上にゴレンシュタイン・プロジェクト型加群を構成し、それらの新たなクラスを提供する。
• 双模形式がゼロであるモラータ環がゴレンシュタイン・アルチン代数であるための十分条件が同定された。
• mono(A)におけるアウスランダー＝ライデンン系列が調査され、アルチン代数Aの単形カテゴリの文脈で存在することが示された。
• D^b(mono(A))は、torsion対とティルティング対象を用いて、アーベルカテゴリの導来カテゴリとして実現された。
• D^b(mono(A))におけるティルティング対象は、ティルティングA加群から構成され、D^b(mono(A))とアーベルカテゴリの導来カテゴリとの間の導来同値が可能になった。
• この枠組みにより、単形カテゴリとアーベルカテゴリとの間の導来同値が確立され、導来表現論における既知の結果を一般化した。